基于有限状态机的作战实体模型行为规则可视化建模

为提升仿真模型开发效率,降低仿真模型的维护成本,从模型规则可视化建模需求入手,提出了基于有限状态机的实体模型行为规则形式化表达模型,并对基于有限状态机的模型规则可视化建模工具框架进行了设计,对模型规则可视化建模的工程实现进行了理论上的探索。     

卫星导航接收机延迟锁定环鉴相器有限字长分析

码相位鉴别器作为延迟锁定环的主要组成部分,其性能直接影响了接收机伪码的跟踪精度。针对输入信号有限字长效应对鉴相器性能的影响,提出一种新的基于信号统计特性的分析方法,分析了归一化早迟幅度鉴相器输入信号有限字长对输出性能的影响。理论分析和仿真结果表明,字长效应在输入信号高信噪比下比低信噪比时明显,随着信噪比的增加,由有限字长导致的伪码跟踪精度损失将增加,而当输入信号采用4bit以上的量化时,字长效应对伪码跟踪性能的影响将可忽略。该结论可用于指导接收机低功耗小型化设计。     

创新升级调结构 科学谋划夺先机——中船风帆股份有限公司发展侧记

<正>日前,从国际最具权威的铅酸蓄电池检测机构——德国大众试验室传来消息,风帆股份有限公司送检的中国首款轻混合动力用AGM蓄电池顺利通过该试验室的全性能验证,各项指标达到国际最新技术标准,填补了国内空白。这标志着风帆在产品创新、转型升级上取得重大突破。AGM蓄电池的研制成功,是风帆坚持创新驱动,致力于结构调整和产品升级,开辟风帆市场,抢占发展     

聚焦军用技术民用化推动军民融合深度发展——江麓机电集团有限公司承担强军、壮民双重使命纪实

原国务院总理温家宝对江麓公司的发展道路给予了充分的肯定：“这些年,江麓的变化很大,关键是我们走了一条正确的道路,就是军民结合。”     

正反向量子斯特林循环有限时间热力学性能界限和优化准则

研究了正反向量子斯特林循环的最优性能.在经典极限下,导出了循环的有限时间热力学性能界限和优化准则.得到了斯特林热机、制冷机和热泵特性参数之间的优化关系.     

一个二阶精度的大粒子有限体积方法

对二维Euler方程给出一个二阶精度的非结构网格有限体积方法,方法的主要思想是把Euler方程的一个时间步分两步计算:第一步只考虑压力加速效应,第二步再考虑输运效应,离散过程中采用一种具有最小二乘思想的线性重构函数以计算交界面的流通量,数值实验表明该方法是非常有效的。     

把党委政治优势转化为企业核心竞争力--中国兵器工业集团江麓机电集团有限公司开展创先争优活动纪实

6月28日,在北京人民大会堂召开的全国创先争优表彰大会上,中国兵器工业集团江麓机电集团有限公司党委,被中共中央组织部授予2010—2012年“全国创先争优先进基层党组织”荣誉称号。江麓公司党委把创先争优作为党员干部的精神追求、     

有限数据诱骗态量子密钥分配的无条件安全界限

以实验中采用最多的诱骗态量子密钥分配方案(基于预报单光子源)为研究对象,在有限数据条件下,推导了单光子态计数率下限和误码率上限的计算公式,得出了无条件安全密钥生成效率的下限和安全传输距离的范围.根据研究结论,只要已知系统发送数据数量,便可得出量子密钥分配无条件安全界限;也可以按照密钥分配的指标要求,反过来确定系统发送数据的数量.这样避免了数据有限带来的安全漏洞,提高了实际量子密钥分配的安全性和有效性.     

基于状态变换的数字电路冗余确认研究

以状态跳变图为基础,深入分析了冗余变换与非法变换的特征,提出结构冗余和功能冗余的概念,并讨论了可测故障、不可测故障和冗余之间的联系.最后结合验证和测试生成,提出状态冗余的隐含遍历确认策略.     

质漏对联合循环化学发动机性能的影响

分析存在有限速率传质和质漏损失的联合循环化学发动机性能,导出功率、效率最佳关系,最大功率及其相应效率,以及最大效率及其相应功率