基于测试覆盖的嵌入式软件可靠性评估

为了提高软件可靠性的评估和预测精度,提出了一个基于测试覆盖的非齐次泊松过程类软件可靠性增长模型,通过将测试覆盖率信息考虑到软件可靠性模型中去,使模型能够更准确地描述软件的测试过程,并能避免由于测试的不充分性而导致的可靠性评估偏离软件的真实情况.提出了结合变点思想的基于测试覆盖的软件可靠性评估方法,该方法解决了工程实践中经常出现的测试过程中剖面发生变化而导致失效数据不服从同一分布的实际问题.最后,通过实例分析,验证了该方法的准确性和有效性.     

YFMPSN高级仿真语言中数据存贮的分配问题

YFMPSN高级仿真语言是和我国自行研制的第一台全数字仿真计算机YH—F1配套的专用仿真语言。YH—F1仿真机是异构多处理机系统,有一个交叉访问的大容量存贮器。它主要依靠并行处理和流水线技术获得高速度。为了便于构成流水线,YFMPSN语言中数据的存放不是通常的顺序方法,而是采用二维分配方法。本文将介绍这种数据存贮分配的一些背景以及我们具体实现数据存贮分配的方法。     

大力推动计算科学和数字仿真技术的发展 提高科技创新能力

江泽民同志曾经指出,"创新是一个民族的灵魂,是一个国家兴旺发达的不竭动力".在2006年召开的全国科技大会上,胡锦涛总书记提出走中国特色自主创新之路、建设创新型国家的目标.     

基于动态追踪机制的物资信息服务系统

对EPC网络系统的工作流程以及射频识别编码解析架构进行了细致研究,分析出物资保障对于动态有序的物流代替静态的物资储备,速度取代数量等一系列需求越来越迫切。根据这些需求,提出一个基于动态追踪机制的服务体系,使用射频识别码作为物资的唯一标识,并且采用对象名解析服务与信息发现服务相互结合的方式,不仅能维护了物资静态信息,还能追踪查询物资的动态信息,实现了物资动态信息的追踪,进一步实现了物资的全生命周期管理。