Kramer定理的推广

证明了下述定理：定理１（ｋｒａｒｎｅｒ定理的推广）设Ｇ为有限可解群，Ｇ／Ｎ为超可解群．如果对某ｋ及Ｇ的每一极大子群Ｌ均有等于１或素数，则Ｇ为超可解群，其中Ｆ＿ｎ（Ｇ）归纳定义如次：定理２设群Ｇ有限可解，为满整群系｛ｆ（ｐ）｝所局部定义的群系，Ｇ／Ｎ如果存在Φ（Ｎ）到Ｆｉｔ（Ｎ）的Ｇ的主列使     

基于Vague集的TOPSIS方法及其应用

逼近理想解的排序方法(TOPSIS)是求解多属性决策问题的一个典型方法,将TOPSIS方法在V ague集下进行了扩展。介绍了V ague集的概念及其相似度量方法,提出了用V ague值表示的语言术语集。根据V ague值的优势函数定义了V ague正、负理想解。根据V ague值的相似度量定义了各方案到正理想解和负理想解的距离,得出各方案的相对贴近度,并据此排序,供决策者选择最优方案。     

有限群的m-正规子群

定义了有限群的m-正规子群，并给出了下列结论：1．若G的sylow子群全都是m-正规的，且至少有一个sylow子群在G中正规，则G可解。2．若G的sylow子群全都是m-正规的，且有一个Sylow子群在G中正规，且|G|至少有三个不同的素因子，则G幂零。     

关于有限群极大子群的极大完备

利用有限群极大子群的极大完备的性质，在限制条件较相关文献弱的情形下，研究群的可解或超可解性。     

Vague集上基于蕴含算子I(,■)的三I算法

给出区间集上蕴含算子的定义和一个蕴含算子。利用三I思想,给出了Vague集上基于蕴含算子I(x,y)的三IVMP算法的计算公式,分析了三IVMP算法的还原性,并给出了基于区间集上蕴含算子I(x,y)的三IVMP算法具有还原性的本质条件.由于Vague集具有表达不确定性知识比Fuzzy集更为丰富的特点,三I思想更为可信,故在不确定性的推理中,三IVMP算法是较为令人满意的算法。     

双诱导映射下的TL-子群

讨论了在双诱导映射下TL子群的性质。     

(QU)型模糊拓扑群直积的子群和商群

研究了(QU)型模糊拓扑群直积的子群及(QU)型模糊拓扑群直积的商群,证明了任意(QU)型模糊拓扑群族直积与其模糊拓扑商群的同构定理及任意(QU)型模糊拓扑群族直积与其模糊拓扑子群的同构定理.     

多Agent虚拟环境中的行为建模及其动画表现

多Agent虚拟环境是由多个Agent复杂多样的行为交互作用组成的分布式虚拟环境,它要求能够产生具有高度的沉浸感、可交互的环境,特别是环境中Agent所表现出来的行为必须具有足够的真实感,这一要求充分体现在针对分布交互仿真领域的计算机生成兵力(CGF)的研究中。本文基于此,提出了一个多agent行为建模方法,它支持可重用、可扩展,同时行为动画易于实现。     

计算机生成航空兵力的多分辨率建模方法研究

仿真实体的多粒度表示在分布仿真环境中具有十分重要的研究意义.探讨了多分辨率建模的概念和内涵,对多分辨率模型的建模方法进行了比较分析.根据仿真任务的不同,适应不同的仿真阶段,建立了不同粒度的航空兵力模型.聚合级飞机的运动方程主要考虑质心运动的运动学方程,动力学模型采用极限参数模型实现.通过补充姿态角信息和飞机位置信息实现了解聚过程.通过航向控制、航迹迫近、位置迫近算法,实现了聚合过程.     

第二类华结构的Einstein—Kahler度量及其全纯截曲率

给出一类特殊第二类华结构HCⅡ（p（p＋1）/4＋1,p＋1/2）的Einstein-Kahler度量的显表达式，并计算了在此度量下的全纯截曲率．此时HCⅡ一般而言是非齐性的．