导弹弹道及火力圈的三维显示

提出并实现了导弹飞行弹道及火力圈等的三维模拟显示方法.介绍运用外部建模工具3DMAX建立几何模型和生成贴图坐标,利用OpenGL图形接口模块完成三维的地球运动体仿真,在建立地球空间坐标的基础上实现弹道导弹飞行弹道、火力圈和防御区域等的三维立体显示.本方法突破了以往平面显示的局限性,具有直观性、实时性和交互性.     

壮志凌云-记河北省霸州市退伍军人崔春河与他的飞机模型厂

走进河北省霸州市春宏模型厂,仿佛到了一个战斗机展览馆,歼-8Ⅱ、飞豹、F-16、F-117、苏-27……这里几乎摆满了国内外所有先进战斗机的模型;这些飞机模型惟妙惟肖,有的似翘首待飞、有的如翱翔天空……     

利用ASP实现对SQL Server远程数据库的访问

要介绍了ASP的一般特点及其访问数据库的基本原理 ,并较为详实的讨论了它的对象模型。     

基于扩充关系模型的MDBMS研究

讨论了多媒体数据库管理系统 (MDBMS)中扩充关系模型的研究问题。阐述了在关系模型基础上建立层次—关系模型和对象—关系模型的思路 ,分析了它们的逻辑与物理结构 ,并结合Illustra系统使用SQL语句举例进行了说明     

用混合有限元模型分析船体振动问题研究

对混合有限元模型应用于船体振动分析的方法进行了讨论,并建立了某船的混合有限元模型,分别对其船体总振动和局部振动进行了计算.计算结果表明,混合有限元模型的总振动计算结果略小于迁移矩阵法,而局部振动计算结果与孤立模型存在较大差异.     

分解炉内三维湍流流场数值模拟

针对某大型高性能分解炉的实际尺寸,用Realizable(带旋流修正的)k-ε模型,采用SIMPLE算法,二阶迎风差分格式,模拟了炉内三维湍流流场.计算所得的速度、压力分布与该炉热工标定的结果以及其实际运行的性能符合较好.     

时态逻辑形式化描述并发系统性质

时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL 及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例.     

多重网格法求解静电像管三维电场的若干问题研究

详细讨论了多重网法数值求解三维静电场的若干数学问题,诸如三维多重网格法的限制与延拓公式推导、确定静电像管三维电子光学系统中的锥面电极、圆筒电极、球面电极、圆孔膜片电极、孔电极等的空间位置及范围的方法、以及迭代计算的逻辑尺编码方法等,为像管电子光学系统设计及优化设计奠定了良好基础.     

软件内建自测试系统中模板的研究及系统构建

软件内建自测试(Build-In-Self-Test for Software)的思想来自于硬件内建自测试.讨论了在该项目中模板需要存储的有关信息,研究了测试用例的组织方式和在模板中的存储方式及其执行方式.而且就如何简化结构化程序的测试也进行了探讨,并提出了包装类的概念.     

面向通信指挥的多层信息融合及决策支持模型研究

根据通信指挥的需要 ,给出了一个基于信息融合的通信指挥决策支持结构 ,设计了信息融合与决策分析多层黑板模型 ,为便于知识的集成 ,建立了混合知识表示模型用于知识的表示。