有限幂零半群的幂半群研究

研究了有限幂零半群的幂半群，主要结果是：若P（S1) ≌P（S2），且S1是有限幂零半群，则S2也是，并且S1和S2中幂零阶为i的元素个数相等。若S1是有限单演半群，则S1≌S2。     

从先民的美学意识看汉字的构形

:汉字作为传播语言信息的符号系统 ,从产生开始 ,就具有实用价值和艺术审美价值。汉字的艺术审美价值体现在 :汉字的造字构形思维来源于人类先天的审美要求、汉字的构形方式是人类后天美感形成的必然、汉字的构形体现了审美活动本体生成的特征等三个方面 ,人类的审美意识与汉字构形之间具有密不可分的联系     

关于一个例子的注记

证明了命题：⑴若G有一个指数为奇素数幂的超可解极大子群，则G可解；⑵若G有一个指数为素数的超可解极大子群，则G可解；⑶若G有两个指数为不同素数的可解极大子群，则G有Sylow塔；⑷若G有3个指数为不同素数的超可解极大子群，则G超可解。     

关于属性G-(g-)量子文法与属性量子自动机

为了提高量子文法的描述能力，较好地克服上下文有关文法的难点，引入了属性G－（g-）量子文法、（广义）属性量子自动化等概念，进而研究了它们之间的关系，即：对每一给定的属性G－（g-）量子文法， 都可以构造出一个广义属性量子自动机Q，使得它们所接受的语言集相等，反之亦然。从而达到了自动识别属性G－（g-）量子语言的目的。     

二分图中相互独立的圈

证明了下面的结论：设k≥1是一个整数，G＝（V1,V2；E）是一个二分图，满足|V1|=|V2|=n≥2k 1。若对G中任意两个不相邻的面点x∈V1，y∈V2，都有d(x) d(y)≥2k 2，并且δ（G）≥2，则G包含k个相互独立的图。     

自反Banach空间上C0半群的一些结果

设T（t）是自反Banach空间X上满足两个条件的一类C0半群。本文证明如果T（t）是弱L^p稳定的，则其生成元的谱界是负的。再由文献[1]得到的关于这一类C0半群在任何Banach空间上其增长界都与生成元谱界相等的结果得出，自反Banach空间上此类半群弱L^p稳定与指数稳定等价。     

面向虚拟制造的装配规划生成方法

装配规划是虚拟装配和面向装配设计的关键技术之一，提出了装配规划的总体结构，引入装配自由的概念，提出了可行性分析的算法，并将共与基于知识的方法有机地结合起来，提出了较完整的装配规划的生成方法。     

火箭喷流对平板冲击的数值模拟

该文针对欠膨胀喷流对平板冲击产生复杂激波结构的特点 ,采用高精度的TVD有限体积格式对其进行数值模拟 ,获得清晰的冲击激波结构 ,如 :相交激波、马赫盘、曲面激波及马赫反射波等 ,同时给出不同时刻平板上的压力分布规律。为了加速收敛 ,文中应用了时间推进多步方法     

物理各向异性的有限单元法研究

针对物理各向异性由于拉压模量不同而有自己独特的本构关系，阐述了物理各向异性的弹性基本方程，推导了物理各向异性的有效单元法，并阐明了有限单元法的求解过程，最后用算例进行了验证。     

直投射S-系

设S是幺半群含有零元0≠1，且S- 为S^0-Act中的对象。引进直投射S－系，给出在中心S- 系下，直投射S－系与投射S－系的等价性。