一类平面D3等变映射的混沌吸引子对称增加分歧的数值确定

本文讨论了一类平面D3等变映射的分歧和混沌性质。通过计算显示出映射随着参数的变化，从周期解走向混沌以及混沌吸引子由Z2-对称走向D3-对称的全过程。给出计算混沌吸引子的对称增加分歧扩张系统的算法，数值结果表明，两者相符。     

消错逻辑的增加转化词

定义了增加转化词的概念 ,说明了它的研究对象及在消除决策错误中的作用 ,研究了在消错逻辑变换中 ,这个转化词所具有的性质和规律 .     

最简线状n-李代数

定义了一类特殊的幂零n-李代数,即最简线状n-李代数,它是最简线状李代数的推广.确定了m维最简线状n-李代数A的导子代数Der(A)和自同构群Aut(A),定义了n-李代数的全形h(A)=Der(A)( ) A,并证明了当A的基域F的特征P为零或P＞m-n时,Der(A)是不可解的完备李代数,而h(A)的一个子代数是可解的完备李代数,当F的特征为零时,Aut(A)是无中心的不可解群.     

半交换π-正则环的结构

引入了准体的概念，并用它刻画了半交换π-正则环的结构．证明了若R是半交换环，则下面条件是等价的：（1）R是π-正则环．（2）R的每个素理想均为极大理想．（3）R／PE（P）为准体，其中P为R的任意素理想，E（P）为P的所有幂等元素组成的集合．（4）P1，P2为R的两个索理想，若E（P1）=E（P2），则有P1=P2井进一步证明了半交换π-则环R同构于诸准体{R／PE（P）}的一个亚直接和，P∈M，M为R的所有素理想组成的集合．     

嵌入La和Gd原子的Si24笼团簇的稳定性

用梯度修正自旋极化密度泛函(DFT)电子结构计算,研究了具有Th和D2d对称性包裹La和Gd原子的Si24富勒烯的稳定性.结果表明Gd@Si24具有很高的磁性而La@Si24的磁性完全猝灭.这些结果有可能导致Si基富勒烯团簇新的结构类型.     

基于吴方法的多值模型检验

大型复杂系统的开发过程中不可避免的涉及到非确定或不一致信息的处理,而多值模型检验作为经典模型检验的一种扩展,是处理和分析包含此类信息模型的一种有效手段.提出了一种系统化的多值逻辑(涵盖经典逻辑)的代数表示方法,使用吴方法的基本思想和框架实现复杂系统形式验证中基于多值逻辑的模型检验的代数化,建立了通过吴方法实现多值模型检验技术的整体框架.这种代数化的多值模型检验方法可以作为现有方法的有力补充.     

星体几何不等式的一种抽象形式

本文研究了拓广型星体的对偶Minkowski不等式.利用星体族的径向乘法、径向幂运算和多元型对偶混合体积的概念和积分的方法,得到了对偶Minkowski不等式的多元抽象形式,并将所得结果应用到积分几何学,得到了一个正数列非任意凸体的弦幂积分列的判定条件.     

风沙两相流跃移层中沙粒相的速度分布

从单个跃移沙粒在气流中的运动方程出发导出了风沙两相流中沙粒相速度分布函数的Boltzmann方程，对风沙流研究中几种不同的分布函数及其相应的统计平均值等基本概念给出了严密的数学定义，指出了不同分布函数之间的区别和联系，在略去铅垂方向空气阻力的情况下，给出了沙粒相速度分布函数沿铅垂方向的边缘分布，作为风沙流中跃移理论的主要基础之一。利用结果对前人在风沙流研究中发现的某些重要规律和现象进行了解释。     

均匀带电圆盘的静电势问题

讨论了均匀带电圆盘静电势问题的两种解法，即延拓法和方程法，澄清了延拓法求解中的一些错误。