摘要：提出了一种用于提高软件构件重用能力的构件构造方法。与当前研究中主要以软件实现逻辑表达一项应用用例的功能封装单元相比,该方法以应用功能层面的一类需求范畴为构件的表达目标,将业务用例以可配置的描述内容交由构件进行解释执行。通过提升构件粒度,应用级构件单元以更高的重用能力支持更为广泛的用例集合。基于这一原理设计了构件模型以及相应的构件库扩展和组装机制。通过所建立的构件集合原型,在实际开发案例中的应用验证了该方法的有效性。重用性的度量结果表明,所提方法将软件构件的重用性在特定领域中提高到96.6%~99.4%。

摘要：随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大.对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础.通过分析航空电子系统软件体系结构,对航空电子系统进行形式化建模,并在此基础上,提出了一种形式化的系统级综合检测方法,从静态和动态两个方面对航空电子系统进行检测,最后通过设计并实现一个综合检测系统来验证该方法的有效性.

摘要：航天器测试语言是支撑航天器自动化测试的形式体系及航天器测试过程标准,在当前多航天器批产网络化测试的新需求下,测试语言标准体系研究对于提高航天器测试自动化水平和保障测试过程安全具有重要意义。通过对现有典型航天器测试语言的全面分析和比较,总结出基本特征,并结合当前先进的网络计算技术,提出了我国航天器测试语言发展的目标和方向,同时针对国内航天器测试语言研究设计工作的不足,给出一种航天器测试语言CATOL(China Aerospace Test and Operation Language)。该研究对提高我国航天器测试业务规范水平和测试人员的工作效率、促进航天器测试自动化研究的发展将起到一定的推动作用。

摘要：分布式系统在计算环境中发挥重要的作用,其中的共识协议算法用于保证节点间行为的一致性.共识协议的设计错误可能导致系统运行故障,严重时可能对人员和环境造成灾难性的后果,因此保证共识协议设计的正确性非常重要.形式化验证能够严格证明设计模型中目标性质的正确性,适合用于验证共识协议.然而,随着分布式系统的规模增大,问题复杂度提升,使得分布式共识协议的形式化验证更为困难.采用什么方法对共识协议的设计进行形式化验证、如何提升验证规模,是共识协议形式化验证的重要研究问题.对目前采用形式化方法验证共识协议的研究工作进行调研,总结其中提出的重要建模方法和关键验证技术,并展望该领域未来有潜力的研究方向.

摘要：数据作为软件系统的主要处理对象,其规范性有助于软件系统的设计开发和软件系统之间的数据交换.面向行业数据规范及其验证,提出了一种基于类型理论的领域数据建模语言(DDML)和领域建模方法(DDMM).DDML语言通过定义类型和项的语法和语义,描述领域数据类型和对象的结构,通过定义类型规则及其类型检查算法判定任意项t:T?.DDMM给出了领域数据建模的方法,即构建K_1(原子类型)、K_2(数据元)、K_3(数据元目录)三层框架,生成表示K_3层数据元目录之间关系的类型规则.在此基础上,给出了数据元目录序列的定义及其正确性判定算法.基于上述方法,实现了一种领域数据建模工具原型系统,并通过领域数据建模与自动验证的一个实际案例,完成了一个较大规模行业数据规范的制定与验证.

摘要：随着移动互联网技术与O2O(offline-to-online)商业模式的发展,各类空间众包平台变得日益流行,如滴滴出行、百度外卖等空间众包平台更与人们日常生活密不可分.在空间众包研究中,任务分配问题更是其核心问题之一,该问题旨在研究如何将实时出现的空间众包任务分配给适宜的众包工人.但大部分现有研究所基于的假设过强,存在两类不足:(1)现有工作通常假设基于静态场景,即,全部众包任务和众包工人的时空信息在任务分配前已完整获知,但众包任务与众包工人在实际应用中动态出现,且需实时地对其进行任务分配,因此,现存研究结果在实际应用中缺乏可行性;(2)现有研究均假设仅有两类众包参与对象,即众包任务与众包工人,而忽略了第三方众包工作地点对任务分配的影响.综上所述,为弥补上述不足,提出了一类新型动态任务分配问题,即,空间众包环境下的3类对象在线任务分配.该问题不但囊括了任务分配中的3类研究对象,即众包任务、众包工人和众包工作地点,而且关注动态环境.进而设计了随机阈值算法,给出了该算法在最差情况下的竞争比分析.采用在线学习方法进一步优化了随机阈值算法,提出自适应随机阈值算法,并证明该优化策略可逼近随机阈值算法使用不同阈值所能达到的最佳效果.最终通过在真实数据集和具有不同分布人造数据集上进行的大量实验,验证了算法的效果与性能.

摘要：分析了电信网络管理系统的现状以及传统电信网络管理系统存在的问题,提出了用CORBA接口代替网管系统原有接口的方案,给出了基于CORBA的电信网络性能管理接口的具体结构设计和性能管理原型系统的实现方法。

摘要：目前虚拟机技术广泛应用于代码移植、跨平台计算和模拟硬件机器等领域。该技术以软件的方式构建通用机器硬件的仿真环境,实现机器字节码在处理器中的运算过程。在介绍虚拟机原理的基础上,设计并实现了基于寄存器引擎的64位虚拟机,初步模拟了Intelx86的指令执行过程。

摘要：概述了MOM和J2EE的工作原理,并讨论了电信网管中传统告警系统的系统结构和工作流程。在分析了其消息处理方式上的缺陷后,设计并实现了一个基于MOM和J2EE的告警系统解决方案。通过将通信逻辑和处理逻辑相分离,提高了大规模消息传递与处理的效率和稳定性,增强了系统的运行稳定性、可扩展性和可维护性。

摘要：浮动车在低速情况下存在两种行驶模式,如不能对上述模式进行准确区分,将严重影响浮动车实时路况计算的精度和效率.研究和设计了一个基于支持向量机(SVM,Support Vector Machine)的浮动车行驶模式判断模型,并针对性地提出了一种简单的基于隶属度矩阵的特征评价和选择方法.实验表明通过上述方法选择的特征子集所训练的分类器在测试样本集上具有92.6%的分类准确性;经过行驶模式分析后,浮动车系统的准确性有显著提升.