Finds in Testing Experiments for Model Evaluation

To evaluate the fault location and the failure prediction models, simulation-based and codebased experiments were conducted to collect the required failure data. The PIE model was applied to simulate failures in the simulation-based experiment. Based on syntax and semantic level fault injections, a hybrid fault injection model is presented. To analyze the injected faults, the difficulty to inject (DTI) and difficulty to detect (DTD) are introduced and are measured from the programs used in the code-based experiment. Three interesting results were obtained from the experiments: 1) Failures simulated by the PIE model without consideration of the program and testing features are unreliably predicted; 2) There is no obvious correlation between the DTI and DTD parameters; 3) The DTD for syntax level faults changes in a different pattern to that for semantic level faults when the DTI increases. The results show that the parameters have a strong effect on the failures simulated, and the measurement of DTD is not strict.     

低延迟路由器中高效开关分配机制的实现与评测

开关分配位于片上网络路由器流水线的关键路径上,对路由器以至整个片上网络的性能都会产生很大影响.已有的开关分配方法主要针对标准流水线路由器进行分析改进,缺乏对低延迟路由器中基于时间序列的开关分配方法的研究.本文首次在低延迟路由器上实现了基于时间序列的开关分配机制,并针对分配过程中优先矩阵的构造特点进行了优化改进.仿真实验结果表明在低延迟路由器中采用基于时间序列的开关分配策略可以使片上网络的性能得到很大提升.     

航天型号软件项目开发成本估计

基于COCOMO模型并结合中国航天系统型号项目软件开发的特点和现状,讨论了航天型号软件项目开发的成本估计方法。同时指出了成本估计模型是开放的,使用者可以根据具体的环境和人员以及项目的具体特性对它进行剪裁,以使成本的估计更加理想。     

受纳米毒性胁迫的亚硝化菌性能恢复

探讨分别受50 mg/L纳米TiO_2(n-TiO_2)和纳米CeO_2(n-Ce O2)及1,10,25,50 mg/L纳米Zn O(n-Zn O)6 h胁迫后的生物脱氮系统毒性敏感指示性亚硝酸菌-Nitrosomonas europaea的生化性能恢复.结果表明,分别受3种50 mg/L纳米颗粒胁迫抑制的N.europaea细菌浓度、氨氧化速率、细胞膜完整性及氨单加氧酶(AMO)等指标均无法得到恢复.除n-Zn O外,受n-TiO_2和n-CeO_2胁迫后菌群在短期(12 h)内仍能够维持其氨氧化活性.受损菌群性能恢复能力与纳米颗粒胁迫剂量呈负相关性.分别受25和50 mg/L n-Zn O毒性影响后的菌群氨氧化速率、AMO活性均持续减弱;受10 mg/L n-Zn O胁迫后的受损菌群仅细菌浓度、细胞膜完整性指标在12 h内维持其受损生化性能;而受1 mg/L n-Zn O胁迫后受损菌群细菌浓度、氨氧化速率、细胞膜完整性及AMO酶活性12 h内则可恢复至与正常菌群无显著差异.因此,受纳米颗粒短期胁迫的细菌在胁迫消除后具有生化性能修复潜能,但恢复程度受胁迫种类和胁迫强度制约.     

模型驱动的系统体系结构仿真验证研究

在综合电子信息系统（ｃｏｍｍａｎｄ,ｃｏｎｔｒｏｌ,ｃｏｍｍｕｎｉｃａｔｉｏｎ,ｃｏｍｐｕｔｅｒ,ｉｎｔｅｌｌｉｇｅｎｃｅ,ｓｕｒｖｅｉｌｌａｎｃｅａｎｄｒｅｃｏｎｎａｉｓｓａｎｃｅ,Ｃ４ＩＳＲ）和航天维修等复杂系统建设前,对系统的体系结构进行仿真和验证是降低系统后期开发成本和风 险的有效方法。提出了基于系统体系结构中的活动模型、规则模型、动态模型和数据模型等向统一的Ｓｉｍｕｌｉｎｋ仿真 模型的映射方法,并基于模型驱动架构中的模型转换技术实现了前者向后者的自动转换,不仅能够提高仿真模型构 造的效率,还能保证仿真模型和体系结构模型的一致性。哈勃太空望远镜维修系统的体系结构仿真验证案例说 明了方法不仅能够验证系统体系结构模型之间的逻辑一致性,还能够对系统体系结构的性能进行有效预评估。