p-可分解群的一个定理

极小子群在有限群的研究中占据着重要的地位．本文利用了极小子群的弱c-正规性刻画了极小子群对有限群构造的影响，得出了p-可分解群的一个结果．     

分布式虚拟战场环境中地理环境模型的研究

现代战争是陆、海、空多兵种协同作战的全方位的复杂战场环境,对战场环境的综合仿真是一项庞大的系统工程,因此,通过计算机仿真为武器系统的研究提供强有力的技术手段。本文主要讨论了分布式虚拟战场环境中的地理环境模型,详细阐述了分布式虚拟环境中综合地面环境研究的各个方面,提出了一种可以实时估算各种地理环境因素动态变化的计算模型。     

关于Hamilton图的一点注记

通过类似于对一可平面图求生成树个数的方法,得到一个关于Hamilton图的Hamilton圈的个数的等式。并讨论了一类特殊的平面图。     

软件系统可靠性分析的Vague集方法

本文介绍了软件状态不仅有正常、失效状态，还有文中提到的失常状态，因此引入Vague集分析软件系统可靠性，在顺序和选择结构系统中通过三角形的Vague集方法运算证实，该方法可以更灵活、更智能有效地分析软件系统可靠性，建立成熟的人性化模型，使软件系统更加稳定。     

计算全息半色调编码技术的研究

论述了计算全息的基本原理及常用的编码方法，在罗曼型和博奇型编码的基础上，运用空间脉冲调制技术，提出了新型的编码技术－－半色调位相型和标准型编码，半色调型编码用圆形通光孔代替矩形孔，以圆孔面积及位置来记录全息信息，改变了输出模式，减少了编码参数，为全息图的后期作提供了一种新的方法，同时通过理论计算和结果分析分析证明了半色调位相型编码具有和罗曼型同样好的衍射效率，半色调标准型编码具有和博奇型一样大的带宽，但综们的图形数据减少一倍。     

可成为交换整区的素近环

设N是2-挠自由分配生成素近环,它具有单位元1和中心Z.该文证明了如果N满足下列条件之一,则N是交换整区(1)N容纳2个非零导子D1,D2,使得D1D2(N) Z;(2)N容纳一个非零导子D,使得[D(N),D2(N)]={0};(3)N容纳一个导子D,使得D(Z)≠{0},且() x,y∈N,有[x-D(x),D(y)]=0.     

环面蜗杆制造误差的检测分析

针对当前蜗杆制造误差检测的实际情况，结合成都工具研究所研制的蜗杆误差检查仪，进一步深入讨论了一种改进性方案的原理及其电路的硬软件设计。该方案的下位机硬件系统主要是数据采集电路，应用重庆大学张光辉教授的发明专利“计算机对脉冲信号的细分与辨向新方法”，利用频率极高的外部插入脉冲，结合软件构成按时间均匀分度的辅助标尺，完成在动态测量过程中采样点实时细分任务，再将采样数据上传给上位PC机进行数据处理，得出检测结果。该方案集成度高，并且大大简化了传统检测方法中繁琐复杂的硬件电路。     

基于Agent的电子战CGF建模研究

计算机生成兵力（CGF）是一个具有自主性、智能性的复杂系统。传统的建模方法难以精确的描述其模型。Agent技术作为面向对象技术的延伸，为解决这类复杂系统的建模与仿真问题提供了有效手段。应用基于Agent建模技术，建立了电子战CGF的层次模型，并解决了个体Agent模型设计中的感知、动作、决策及实现方法上的问题，最后讨论了用于设计聚合级实体的多Agent系统的组织结构、通信语言、通信机制及协作模式。