软件测试的度量方法及其应用

软件测试是找出软件中的错误,它是保证软件质量的关键,软件测试的度量是对影响软件测试的属性所进行的定量测量.本文简述了应用软件测试度量技术时所应具有的基本知识,通过一个实例,介绍并讨论了一种实用的关于软件测试进度安排和软件错误数的度量方法.     

基于目标操作化的多引擎协作体系结构研究

基于目标操作化的域原子操作模型,研究分析了面向应用目标的系统设计与实现的基本问题,通过引入解释引擎,提出了面向目标的形式模型与应用软件设计实现的一体化机制;在系统级应用中间件之上,引入组件服务,提出了一个通过处理操作作业流实现目标的、多个操作服务引擎协作的体系结构,通过构造组件适配器,以满足操作服务引擎对异构组件服务的一致性访问.     

分形图象学的发展

简述分形几何基本概念及其在图象领域中的应用，包括随机分形模型、混沌动态系统中的分形及迭代函数系统分形模型及其典型应用。     

多协议多用户GPS/GSM监控系统网关的设计与实现

在多协议、多用户GPS(Global Position System)/GSM(Global System for Mobile communications)监控系统中,网关的设计对系统的性能、可用性和可扩展性有重要作用.讨论了在网关设计中需要注意的几个关键问题:通过分析不同短消息服务器的接口协议,提出使用协议管理器实现多协议接入;给出了与用户系统的通信指令格式,并分析了地址的转换流程.最后剖析了用多线程方式和消息驱动实现这种系统的优点,并给出了一个具体实现的消息循环流程.实践证明这种设计是可靠高效的.     

严格伪压缩映象的Ishikawa迭代序列

证明了Ｌ＾ｐ（或ｌ＾ｐ）（Ｐ≥２）上的李普希茨严格伪压缩映象的Ｉｓｈｉｋａｗａ迭代序列必收敛到映象的不动点。     

离散系统仿真输出数据的统计分析

概括了分析仿真产生的数据的方法，讨论了离散系统仿真输出分析的目的以及应用统计方法的要求，对单变量情形，给出了有关估计来自终态仿真和和稳态仿真参数的技术。对多变量情形，以终态仿真为例，给出了用于分析离散系统的仿真输出的某些多变量统计技术，并提出均值向量的估计方法。     

综合后勤保障及其在工程系统研制中的应用

探讨了综合后勤保障在工程系统研制中的重要作用,及其在研制过程各个阶段中的应用。还讨论了保障性设计与工程设计接口关系及保障性设计中的风险分析。     

管理软件生成器系统CDBAG—4GL

阐述了“管理软件生成器系统CDBAG-4GL”的研制背景、系统组成、逻辑结构、功能及特点;并简要介绍了设计思想、生成原理以及实现技术要点等。“CD-BAG一4GL”已商品化,它可根据用户要求自动生成各类专用的管理信息系统。为应用开发人员和最终用户提供一个一体化的通用的快速开发工具和环境。作为第四代软件开发工具的生成器和第四代语言是提高应用开发效率和质量的有效途径。