数字系统模块化分割原理及其在EDA中应用

为了加快数字系统的设计仿真，提高设计效率，提出了IP核模块化仿真方法。应用数字系统模块化分割原理，通过将数字系统分解为若干个子模块，在EDA(Electronic Design Automation)中先建立子模块系统的IP(Intellectual Property)核，再应用子模块IP核构造数字系统进行数字仿真。证明了数字系统的可分割性理论基础。应用仿真结果表明：采用IP核模块化仿真方法能够简化数字系统设计仿真，提高设计效率。所提出的IP核模块化仿真方法具有较好的实用价值。     

水面舰艇导弹攻击作战过程仿真研究

反舰导弹已成为水面舰艇交战的主战兵器，其作战过程的仿真具有重要的军事意义。受兰彻斯特方程的启发，文章在对作战效能的含义进行初步的分析之后，建立了离散模型来模拟研究水面舰艇的导弹攻击作战过程，并利用差分方程组对舰艇的作战能力、毁伤因子以及作战效能等参数进行了理论分析，通过对三个具有实际背景的不同想定的仿真，在作战方法、导弹作战性能以及舰艇防御能力对交战结果的影响等方面得出了几个有价值的结论。     

面向任务的CGF实体联合意图形成

人类行为表示中的团队协作一直是计算机生成兵力研究中的难点和重点问题。在分析已有团队协作理论和框架的基础上,结合作战仿真对人类行为表示的逼真性要求,提出一种面向任务的联合意图形成方法。该方法首先根据当前态势和上级任务建立任务集合并形成任务团队,其次利用实体与任务间的相互关系实现对关键角色的判断。实验结果表明,该方法在保证行为模型逼真性的同时,有效提高了联合意图的形成效率,增强了协同任务能力。     

计算机生成兵力的飞机运动简化模型技术

仿真建模过程中无法获得敌机气动数据时,只能根据极限参数采用简化模型描述敌机仿真实体,保留运动学方程,简化动力学模型。     

任务型CGF组织本体建模

针对作战模拟对人类行为表示的准确性要求,建立真实反映战场行为的组织模型是非常重要的。根据需求分析和已有研究的不足,提出了基于本体论的组织建模方法,阐述了该组织本体的构建原则,并从组织静态结构和动态行为两个方面定义了相关概念及概念间的关系。在此基础上采用一阶谓词逻辑描述了该组织本体的形式化过程。实验结果表明,该方法能够准确地建立起用于实体的组织模型,使得实体行为可以反映实际战场行为,且能够保证组织本体的通用性。     

空心管件压形模的设计

为设计实现空心管件压形模,通过对空心管件的变形分析,考虑具体模具设计要求,介绍了模具结构及工作过程.结果:完成了在曲柄压力机上使用的空心管件压形模的设计,并给出了模具结构、工作过程及主要零件的设计要点.此模具灵活可靠、操作方便,可以运用到类似的管件成形模设计中,填补了空心管件在压力机上利用模具成形的空白.     

三维流形不变量的等价表示

设M是由S³中通过标架环链(L, f)做手术得到的三维流形, 对于标架环链(L, f)可以得到保持同痕及K₊和K_-变换的环链不变量, 进而得到三维流形M的不变量, 从而三维流形不变量可以由L的Kauffman括号的有限线性组合给出, 当取变量为第4r个复单位根时, 利用括号多项式、 Temperly-Lieb代数、 Jones-Kauffman模、 线性束理论等给出了不同的三维流形不变量的表示. 证明了这些三维流形不变量的表示是等价的, 同时给出了三维流形不变量的一个新表示.     

模上的Groebner基与切触有理插值

利用模上的Groebner基研究多元切触有理插值问题, 得到了多元有理函数a(X)/b(X)的参数化表示, 并给出一种构造多元切触有理插值算法. 当插值问题退化为Cauchy型有理插值问题时, 相应的算法即为多元有理插值的Newton型算法.     

M-余平坦模和凝聚环

用同调代数的方法对M-余平坦模进行了讨论,得到了有关M-余平坦模的几个结论,同时得出了M-余平坦模和凝聚环的关系.     

COM组件的设计与使用

本文从现代编程思想出发,介绍了COM组件技术及在现实编程环境中遇到的一些有关COM编程的关键技术．并具体描述了联机手写汉字规整化COM组件的设计及在客户程序中如何使用组件．