紧空间族及其性质

讨论了几类具有某种覆盖和局部有限某种加细定义的各种紧性和仿紧性的拓扑空间类,研究了它们间的内在联系,获得了一些相关成果.     

决策细化的粗糙集理论分析

对基于粗糙集的决策系统,从理论上分析了决策数据细化的程度对规则近似质量、近似分类精度、核属性和信息熵的影响.证明了决策属性的属性值划分越细,则其规则近似质量、近似分类精度和信息熵就越小,并且决策表中决策属性值细化后所得到的核属性集一定包含细化前的核属性集.因此,在对决策属性离散化时,决策数据细化的程度要适宜.研究结果对研究决策表属性的约简、决策规则的形成和有效性等问题具有实际意义.     

属性细化的粗糙集理论分析

针对粗糙集的决策系统,给出了有效等价类细化和有效集合细化的定义,从理论上分析了必要属性细化后对上近似和下近似、近似分类精度和质量以及决策规则的数量和相对约简的影响.针对细化的区域分三种情况讨论,得出了在各种区域下划分的结果,如果对有效集合细化划分的越细,上近似和下近似就越逼近给定的集合,分类精度和近似分类质量就越大,产生的规则在包含原规则的基础上增多,并且相对约简和属性的必要和不必要的性质保持不变.研究结果对决策表的属性约简、决策规则形成和有效性等问题具有实际意义.     

论程序价值的现代实现

现代程序价值不能仅停留在价值讨论上,更应在程序的立法与实施中贯彻和实现,但是如何体现,用什么方式体现却一直没有得到重视.现代程序价值的实现必须落实到具体规则的设置——也就是规则的程序性和程序度问题.程序既要体现程序“性”,还必须科学适“度”地设置程序规则,才能体现和实现程序价值.     

带有非局部条件的分数阶中立型发展方程的近似可控性

讨论了带有非局部条件的分数阶中立型微分系统的近似可控性. 利用分数幂算子和Krasnoselskii不动点定理, 证明了半线性分数阶中立型微分系统温和解的存在性. 进而在相应线性系统近似可控的基础上, 讨论了半线性中立型微分系统的近似可控性.     

一种一维细胞自动机的分类

讨论了基本细胞自动机的一种扩展模型,通过二元矩阵展现了局部规则与全局演化的关系.利用矩阵的秩对这类细胞自动机进行了计算机实验分类.     

双向变异S-概率粗集和它的属性概率性质

利用双向变异S-粗集的属性动态迁移特性,结合知识库中的统计信息,提出了双向变异S-概率粗集.讨论了双向变异S-概率粗集的属性概率性质,为获得动态的决策规则奠定了基础.利用上述讨论,给出了一个具体的应用实例.     

一类耦合的KdV型方程的周期解

讨论了一类耦合的KdV方程在一定条件下周期解的存在性.利用Sobolev不等式,给出了此方程解的估计以及它们的一二三阶导数的估计,然后根据Galerkin近似解及其先验估计,得到了耦合KdV方程弱解的局部存在性.     

基于多粒度理论的不完备决策规则获取

将多粒度理论引入不完备决策系统中,针对其不完备性,结合非对称相似关系提出基于相似关系的不完备多粒度粗糙集模型,并讨论该模型的性质。随后重点讨论基于相似关系的不完备多粒度粗糙集模型中属性约简和决策规则获取的问题,将多粒度理论和近似分布约简相结合,提出了不完备多粒度近似分布约简,获得所有的最简确定决策规则和最简可能决策规则。最后通过实例分析,发现使用多粒度近似分布约简与规则获取方法比原有的单粒度近似分布约简与决策获取方法更合理有效。     

局部外观设计专利侵权判定规则研究

我国《专利法》第四次修正引入了局部外观设计专利制度，其侵权判定规则成为学界和实务界亟须回应的重大理论和实践问题。针对当前我国外观设计侵权判定规则在保护局部设计创新上的不足，梳理司法裁判思路，借鉴域外较为成熟的经验，提出在个案适用中具体分析“一般消费者”所对应的主体范畴，适应性的调整和提高判断主体的认知水平，确定侵权判断主体；以表示在图片设计为准，相同或者相近的产品类别为原则，有限认可局部外观设计的独立价值，厘清权利保护范围；以“整体观察+综合判断”为基础，吸收创新标准有益内核的修正“整体观察+综合判断”,明确侵权判断方法，从整体上修正现有的侵权判定规则以接纳局部外观设计。     

可分离凸规划问题的交替邻近梯度法的次线性收敛率

给出了目标函数为3个凸函数的和且具有线性约束的可分离凸规划问题的交替邻近梯度法在遍历意义下的次线性收敛率为■的一个充分条件.     

矩阵秩优化问题的一种分离算法

具有线性约束的最小矩阵秩优化问题在控制、信号处理、系统识别等领域都有着广泛的应用。在矩阵优化问题中,矩阵的秩能够反应数据的稀疏性,但由于矩阵秩函数的非凸性,矩阵秩优化问题一般解决起来比较困难。目前,矩阵核范数的应用对于解决矩阵秩优化问题提供了有效的工具。具有线性约束的最小核范数问题为最小秩问题最紧的凸松弛问题,对于最小核范数问题,如今已存在大量的算法,而可以解决最小化2个下半连续凸函数之和这一类优化问题的Douglas-Rachford分离技巧也同样可以用于此类问题的研究,运用此类技巧得到的算法具有良好的稳健性、有效性和收敛性。     

厄米-高斯光束通过硬边光阑光学系统变换的近解析传输公式

将硬边光阑门数函展开成复高斯函数,利用高斯光阑的ABCD矩阵形式,应用于厄米-高斯(H-G)光束,推导出了H-G光束通过内含硬边光阑的近轴ABCD光学系统的场分布的近解析传输公式,并与Collins公式计算结果比较,说明所得的解析结果的应用和优点.     

用积分形式表示幂级数The integral

导出了求幂级数Σ∞n=1xnnk( k≥ 2 )的和函数的定积分表达式的递推公式 ,由此可得当 k=2 ,3,4,…时其和函数的定积分表达式。它们都是非初等积分 ,并利用收敛 P -级数Σ∞n=11np( p >1 )的和数 (或和数近似值 ) ,得到几个非初等定积分的值 (或近似值 )     

关于子空间的直和的证明

介绍了一个关于子空间的直和的定理并给予证明,利用该定理可以绕过子空间的和,直接证明关于子空间的直和的结论．     

复杂点阵对单晶体多波长衍射的影响

本文根据单晶体简单点阵劳厄衍射理论,利用衍射指数变换的方法,论证了复杂点阵对单晶体多波长衍射的影响导致某些衍射指数在衍射中消失,结果表明各种复杂点阵衍射指数消失的条件是C面底心点阵H与K的和为奇数;B面底心点阵L与H的和为奇数;A面底心点阵K与L的和为奇数;体心点阵H,K和L三者的和为奇数;面心点阵H,K和L奇偶混杂。     

探讨卷积和的求解方法

讨论了求卷积和的意义,求卷积和常用的方法及优缺点,在此基础上提出了两种新的求卷积和的计算方法,并阐述了其基本原理,这些方法避开了求卷积和时需大量画图的繁琐过程,简化了求卷积和的计算.     

实方阵的对称与正交和分裂的存在性与惟一性

证明了n阶实方阵的对称与正交和分裂定理 ,即在一定条件下 ,一个实方阵可以惟一地分裂成一个对称矩阵与一个正交矩阵之和 ,在更一般意义下 ,可惟一地分裂成一个对称矩阵与一个正交矩阵的常数倍之和。     

可除酉D模的构造

本文构造了可除模K/D及其子模D(p~∞),得到以下结果:(1)如果可除酉D模是挠的,则它同构于D(p~∞)的多重直和;(2)如果可除酉D模是挠自由的,则它同构于K的多重直和;(3)每个可除酉D模同构于多重K与多重D(p~∞)的直和(p是变动的)。     

一类n项和数的表达式

用Ｃｈｅｂｙｓｈｅ多项式的零点为节点的Ｌａｇｒａｎｇｅ多项式逼近高阶多项式时，误差公式中出现一类ｎ面和数。现给出此类和表达式，并用归纳法证明之。