关于置换群中循环长度大于等于k的n阶置换数的精确度的研究

利用广义容斥原理给出了置换群σ（N）中循环长度大于等k(k为正整数）的置换数的精确解公式的证明。     

关于置换群中循环长度大于等于K的N阶置换数的精确解的研究

利用广义容斥原理给出了置换群σ(N)中循环长度大于等于k(k为正整数)的置换数的精确解公式的证明.     

自动机零和对策的一个模型

本文所描述的是两自动机零和对策的一个模型。G.LANGHOLZ和E.KATZ在[1]中曾讨论了三步移动零和对策学习自动机的模型,并给出了自动机获得对策值的充分条件。本文讨论的是五步零和对策学习自动机的模型,开通过描述这个模型的半鞅方程(Seroimartingale equctions),给出自动机获得对策值的充分条件。     

有限自动机与多路自动机的关系

简单介绍了多路自动机的定义，分析了多种自动机和有限自动机的关系，包括确定的有限自动机和非确定的有限自动机，并且给出了例子，本文的结论推广了计算学习理论中可有效学习的类的范围。     

计算机代数在置换群运算中的设计与应用

给出了置换群的几种运算的算法,并用计算机代数语言Mathematica加以实现,最后提出了n次对称群中心的一个猜想.     

异步自动机半群

首先给出异步自动机半群的定义,并讨论其基本性质.证明了如下结果：异步自动机半群的字问题在指数时间内可解,任一异步自动机半群具有唯一性的异步自动机结构,异步自动机半群具有“伙伴旅游者”的性质.     

l-置换群的右弱可迁性

文章引进了l-置换群的右弱2-可迁和右高弱可迁,给出了l-置换群是右弱2-可迁的等价条件和l-置换群是右高弱可迁的充分必要条件。     

机电一体化自动机设计

对带微处理器(微机)的自动机械,即通常所称呼的机电一体化自动机械设备,本文命名为机电一体化自动机。本文从工程设计的角度,提出机电一体化自动机设计的概念,论述其设计方法和内容与传统机械自动机设计相比有何特点。引用一些科研实例,对机电一体化自动机的方案设计、参数指标的选定与计算、循环图设计、传动系统设计、框图设计、系统分析和程序软件等作了初步探讨。     

利用信息检索和概率有限自动机的程序理解

为提高基于信息检索的程序理解方法的准确性,提出了一种结合信息检索和概率状态机的两阶段程序理解方法.在该方法中使用概率有限自动机（probabilistic finite state automata,PFA）解决了信息检索结果在程序理解中的不确定性,同时采用信息检索构建了多个简单的PFA,而不是单个复杂的PFA,提高了PFA分析的伸缩性.训练阶段先采用隐式语义分析对源代码进行聚类,然后在聚类结果上生成PFA.在识别阶段以词法处理后的程序作为检索项在程序模板库中进行信息检索,取检索结果中的最相关的n项作为候选模板,由候选模板对应得到相应的PFA,通过分析找到最大概率的PFA,完成对源码内容的语义标注.     

计算机代数在置换群运算中的设计与应用

给出了置换群的几种运算的算法,并用计算机代数语言Ｍａｔｈｅｍａｔｉｃａ加以实现,最后提出了ｎ次对称群中心的一个猜想     

元胞自动机仿真技术

元胞自动机仿真技术（CAST）开创了探索复杂性的新途径,在材料、生物、物理等领域有广泛的应用前景,是发达国家激烈竞争的重大前沿学科领域．本文综述了CAST的产生与发展过程,概括了仿真模型的构成要素,评述了CAST的典型应用实例,着重指出了CAST是对材料进行原子级微观辅助设计的强有力工具．最后,探讨了CAST的特点：它抓住了简单性与复杂性这一对主要矛盾,从而触及并体现了其它有关矛盾,诸如局部与整体,宏观与微观,线性与非线性,决定性与随机性,数学模型与物理实质．     

导气式自动机随机分析

根据气体力学原理和齐布列夫斯基理论，提出了多管速射火炮的导气式旋转加速机的随机分析方法。考虑描述自动机气筒压力变化规律和活塞运动规律的控制方程中各变量的随机扰动，提出了求解随机微分方程组的数值解法。首次完成了自动火炮的自动机在随机因素影响下各主要参数变异性的定量分析。这对提高我国现有装备的可靠性和新型装备的设计水平有重要的现实意义。     

元胞自动机仿真技术

元胞自动机仿真技术（ＣＡＳＴ）开创了探索复杂性的新途径，在材料、生物、物理等领域有广泛的应用前景，是发达国家激烈竞争的重大前沿学科领域，本文综述了ＣＡＳＴ的产生与发展过程，概括了仿真模型的构成要素，评述了ＣＡＳＴ的典型应用实例，着重指出了ＣＡＳＴ是对材料进行原子级微观辅助设计的强有力工具，最后，探讨了ＣＡＳＴ的特点：它抓住了简单性与复杂性这一对主要矛盾，从而触及并体现了其它有关矛盾，诸如局部与整体     

IDEA的随机群和随机置换

提出了对迭代分组密码IDEA的轮函数的两种强化方法———随机群和随机置换 .叙述并了证明了强化对IDEA的改善效果 ,并通过对代价的考虑说明强化是值得的 .     

安全系统的有限自动机

基于交易器的开放网络环境可以实现异种机、异种数据库和异种网的互操作，以客户／服务器模型工作。在这种开放网络环境中，安全性是非常重要的。文中首先介绍了该环境中的安全系统；然后给出了这个安全系统的有限自动机。该自动机模拟了安全系统，为安全系统的行为描述和结构设计提供理论依据和讨论。     

导气式自动机闭锁系统优化设计

对导气式自动机的导气装置和闭锁机构进行系统的优化设计,以满足开锁能耗小并保证运动可靠性和平稳性的要求,方法应用正交试验法和逐步逼近法和结合的分步优化新方法。解决该复杂系统的优化,结果得到了比原方安更好的导气装置参数和开闭锁曲线。结论该方法可就用于导气式自动机导气装置和闭锁机构的设计。     

有限自动机的半群表示

本文推广了文后参考文献[4]和[5]的一些结果,用自动机的输入半群I及I上的右同余π_0构造了一个自动机A(I/π_0)=(T/π_0,M_0,I),证明循环自动机都同构于这种自动机,进而刻画了自动机的格结构。并且定义了集合N(π_0)={y∈I|(x_1,x_2)∈π_0(?)(yx_1,yx_2)∈π_0}。证明了A(I/π_0)的自同态都是N(π_0)/π_0中元素对I/π_0的左乘变换。刻画了A(I/π_0)的自同态半群和自同构群。使得许多用群来描述自动机的文章所给出的结果成为显然。在中还纠正了[日本]Y. Masunaga等人关于自动机直积分解的一个错误,用半群中的同余关系给出了自动饥直积分解的必要和充分条件。     

线性置换与正形置换

论述了线性置换与正形置换的关系,研究了线性置换对正形置换的构造问题,并获得了有意义的结果。     

导气式自动机闭锁系统优化设计

目的　对导气式自动机的导气装置和闭锁机构进行系统的优化设计, 以满足开锁能耗小并保证运动可靠性和平稳性的要求． 方法　应用正交试验法和逐步逼近法相结合的分步优化新方法, 解决该复杂系统的优化． 结果　得到了比原方案更好的导气装置参数和开闭锁曲线． 结论　该方法可应用于导气式自动机导气装置和闭锁机构的设计     

有限自动机存储器实现方法

叙述了自动机可用EPROM存储器来实现的新方法。把有限自动机每一状态及在此状态下的输入信息作为地址,对应这个地址的存储单元存放下一个状态及输出信息,通过对EPROM的读操作,使数据线上产生相应的输出,实现自动机的动作。这样可使逻辑线路大为简化,因而大大提高了可靠性。