广义力学中的规范等效Lagrange函数

本文证明在广义力学中Lagrange函数与是等效的,并推广了分析力学中的Lagrange函数的规范变换。     

基于UML的SMP2模型设计方法研究

SMP2标准缺少对仿真概念建模环节的支持,建模人员难以直接进行SMP2模型设计。提出将UML作为SMP2的概念建模工具,使得SMP2设计模型可由UML模型自动生成。研究了UML到SMP2设计模型的元模型映射关系,构建了面向SMP2设计模型的UML Profile,基于XSLT设计实现了UML模型到SMP2设计模型的自动转换,进行了实例验证。     

基于UML的SMP2模型集成方法研究

针对当前SMP2模型集成存在的不是完全的模型驱动和不具备图形化模型实例装配能力等问题,提出了基于UML的SMP2模型集成方法.该方法将模型集成分为两个阶段:系统分析和模型转换,并分别设计了UML Profile for SMP2 Assembly和UML模型到SMP2 Assembly的模型转换规则,并以某导弹攻防对抗仿真系统的模型集成为例验证了该方法的有效性.经过扩展,提出的SMP2模型集成方法可集成到UML工具中,实现基于UML的系统分析到仿真系统模型实例装配的自动化.     

试论计算机在地貌制图中的应用

自动化制图过程,就是一系列的数模转换。成图质量的高低,关键取决于程序的设计,对地图表现型式的改进,将能更有效地发挥计算机的优势;地图资料数据库的建立,则是发挥自动化制图优越性的节点。     

双曲环面自同构及符号动力系统

本文主要讨论具有双曲特征的环面自同构变换的特性．在这个基础上给出变换矩阵的各种类型及通过符号动力系统来描述变换矩阵的作用．