属性偏序形式结构的数学形式化

属性偏序形式结构,作为一种基于人类认知原理和粒计算思想的知识发现和知识表示新理论,目前已有广泛的应用,但其理论基础缺乏抽象化数学化,这势必影响该理论的系统发展。针对上述问题,研究了属性偏序形式结构的数学形式化描述问题。首先,基于粒计算的思想提出了知识表示的形式化框架。在此基础上,通过定义对象集合的覆盖和最简覆盖,给出属性偏序形式结构的粒和粒群的概念,进而通过对粒衍生出粒群的充要条件的讨论,给出了属性偏序形式结构中的知识结构,从而完成属性偏序形式结构的数学形式化描述。最后,通过具体实例展示了利用数学形式化描述构造属性偏序形式结构的过程,并揭示了该过程所体现的人类认知规律。     

线性算子在商空间上的诱导算子的若干性质

论证了线性算子f在模f的核的商空间上所诱导的算子保持f的有界性及闭性,Banach空间上满的线性算子f所诱导的算子T：X/X0→X/f（X0）保持f的紧性,并且当f为线性同构时,T是线性同胚映射。     

动力系统极小性的两点注记

讨论动力系统的极小性,根据系统有无孤立点对极小系统进行了分类,并给出了两极小系统的乘积仍为极小系统的充要条件.     

两个符号半动力系统的乘积系统的动力学性质

从系统的回复性质、不可分解性和复杂性等方面讨论了两个符号半动力系统的乘积系统的动力学性质。具体结果如下:(1)该系统有以任何正整数n为周期的周期点,并且周期点集在∑+m×∑+m中稠密;(2)通过构造一个轨道在∑+m×∑+m中稠密的点,证明了该系统的拓扑传递性;(3)该系统是拓扑混合的;(4)借助于对该系统正向可扩性的讨论,得到了该系统在Devaney意义下混沌的结论。     

浮游生物植化相克时滞微分方程周期解的存在性

考虑一类浮游生物植化相克时滞微分方程,得到了该系统存在一个周期解的充分条件.     

时标上二阶线性中立型动力方程有界解的振动准则

考虑时标上的二阶线性中立型动力方程有界解的振动准则，针对p的不同取值分别进行讨论，给出方程有界解振动的条件，分为p〈0，p=0，0〈p〈1，p=1，p〉1五种情况。     

Stolz定理的应用

在极限理论中“离散”型是基础,scolz定理是求解“离散”型不定式极限问题的有效方法,下面将通过实例分两部分充分挖掘scolz定理在极限求解和理论证明中的应用价值。