VLMC控制流软件可靠性度量方法

针对现有软件可靠性模型普遍不适用于实际软件的问题,分析了软件内部模块间控制转移机理,通过分离入口模块,提取一阶控制转移概率矩阵;弱化内部模块与出口模块间差异,重构二阶以上转移概率矩阵,在改进Cheung模型的基础上建立一个更符合软件实际的可靠性度量模型。针对变阶依赖（ VLMC）控制转移导致的可靠性度量难问题,通过对导致复杂依赖的多入多出模块进行节点扩展,将VLMC控制流转化为Markov链,利用所建立的软件可靠性模型对VLMC控制流软件进行可靠性度量。研究利用演绎推理对所建立模型进行了正确性形式化证明。最后给出了方法的实例验证。     

党建传真

正依法治国弘扬法治精神10月27日,兵团党委组织部(老干局)召开机关全体干部大会,传达学习党的十八届四中全会精神,并就结合实际抓好贯彻落实作出安排部署。会议指出,十八届四中全会对全面推进依法治国基本方略作出系统部署,对落实依法治疆方针、建设法治兵团具有十分重要的意义。要结合兵团组织工作实际,切实用全会精神武装头脑、指导实践、推动工作。要深入推进依     

美军模块化开放式射频架构探究

模块化开放式射频架构(MORA)通过定义针对多功能任务的开放式架构和RF系统功能分解,实现平台上硬件共享,可降低军用平台上射频系统复杂性以及尺寸、重量和功率,同时提高互操作性和配置灵活性.围绕MORA架构进行了分析和探讨,重点分析了其架构组成和功能分解情况.     

新型可重构RF—MEMS天线的设计

设计了一种新型的可重构双C型RF-MEMS贴片天线,它由T型桥膜结构的电容式MEMS开关实时地控制天线结构,使之能够发生双频谐振.采用背腔结构的硅基底,使硅衬底的相对有效介电常数从9.18下降到1.51,这有利于减小表面波的损耗,通过优化设计有效地实现了天线的小型化.理论计算得到在开关断开和连通状态下,天线的谐振频率分别为11.14 GHz和5.56 GHz.将理论结果与HFSS软件仿真的结果进行比较,发现它们吻合得比较好,说明了可重构天线的设计具有可行性.     

一种基于LVQ的语音线谱对参数量化方法

在现有格型矢量量化(LVQ)方法的基础上,通过对线谱对(LSP)参数进行精度预处理,使其数值更接近于格点从而减少量化失真。仿真实现了改进方法,并采用MELP算法中4级MSVQ方法作为对比。得到的结果表明,较之MSVQ,LVQ量化LSP参数的精度提升了约90%的同时,合成语音的谱失真(SD)降低了约2/3,客观评估得分和近似MOS分略有提高。     

中国第一坦克系列的发展－－59式中型坦克型号演变和变型车

59式中型坦克为基型车先后发展了59-1式,59-2式和59-2A式中型坦克以及64式、73式中型坦克抢救牵引车、64式重型履带牵引车、64式履带挖壕机等变型车。     

全景扫描——美国现代巡洋舰

纵观美国巡洋舰发展史,虽然不及潜艇那样是一部世界史,但依旧可以从中看出世界巡洋舰史的缩影。特别是一战后二战间,伴随导弹技术,核技术的到来,美现代巡洋舰得到了飞速发展,使其顶峰时期无论是在巡洋舰数量上,还是技术武备上均居世界各国之首。直至今天,美国保留在役的仍有29艘巡洋舰,比俄罗斯多出3倍之多。其中,“提康德罗加”级27艘,“长滩”级和“弗吉尼亚”级各1艘。     

无限时滞中立型Volterra积分微分方程解的特性

研究具有无限时滞中立型Volterra积分微分方程解的稳定性与有界性 ,得到方程解为h一致稳定、h一致渐近稳定和h有界的新的结果。     

扩链剂对TDI封端聚醚预聚物反应速度的影响

用FTIR研究了不同活性的扩链剂对TDI封端PPG预聚物固化速度和反应动力学的影响.结果表明:3种扩链剂与TDI封端PPG预聚物固化反应速度分别按1,3丁二醇、1,4丁二醇、MOCA的顺序增加,室温下3种扩链剂在固化前期均遵循二级反应动力学规律,其固化反应为二级反应,因此不同活性的扩链剂不影响TDI封端PPG预聚物固化反应的反应级数.     

鱼雷纵向运动二次型稳定H∞控制

讨论了二次型稳定H∞鲁棒控制理论及其在鱼雷纵平面航行控制中的运用.用模型的参数摄动来描述鱼雷纵平面航行模型的建模误差,设计了基于状态反馈的H∞控制器,并对系统进行了分析和仿真.所设计的控制器在被控对象存在一定范围参数摄动的情况下,仍能使系统保持预期的性能.