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

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

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

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

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

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

印军坚持采购“龙卷风”齐射火箭炮系统

芬兰国防军(FDF)已经与帕特利亚·赫格隆茨公司签订了一份交付另外45辆CV9030步兵战车0FV)的订单,价值约1．2亿欧元(7900万英镑),交付工作将于2006年-2007年问进行。帕特利亚·赫格隆茨公司是订单的主合同商．公司是阿尔维斯·赫格隆茨公司和帕特利亚公司的联合企业。阿尔维斯·赫格隆茨公司负责车辆底盘的系统集成与生产。帕特利亚公司车辆贸易分部将生产炮塔并在芬兰进行总装。     

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

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

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

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

驶往印度洋的巨鲸——俄印航母交易

印度国防部长普拉纳布·穆克杰7月21日称,俄罗斯制造的“戈尔什科夫海军上将”号航母将于2008年8月前交付给印度,届时印度将拥有两艘航母,海军力量得以大大增强。     

美国海军“独立”号濒海战斗舰模型制作

实舰简介美国海军LCS 2"独立"号濒海战斗舰是美国通用动力公司为美国海军濒海战斗舰计划而设计的一艘新概念战斗舰艇。该舰于2010年1月16日服役,现停驻于诺福克海军基地。     

一种基于VPRSM的辐射源模糊识别方法

为解决辐射源识别的问题,研究利用变精度粗糙集模型来确定辐射源识别特征权值的方法。由概念的正域中对象类的条件属性的描述,得到该概念的充分条件,并依据知识间的依赖性作为所要考虑的因素来获取特征权值,同时结合模糊集理论,提出一种基于变精度粗集特征加权的辐射源模糊识别方法。最后将此识别方法模型应用于雷达辐射源用途识别,仿真实验及其结果验证了该方法的可行性和有效性。