对象Petri网模型的并发软件仿真技术的研究

并发软件的性能评价是提高软件开发质量的重要手段之一.本文重点讨论了将面向对象与Petri网相结合的思想用于并发软件开发中的系统建模,以及基于对象Petri网(OPN)的并发软件系统的仿真技术,同时,也探讨了实现一个基于OPN的动态仿真工具所面临的关键技术和解决方法.实践结果表明,文中讨论的实现机制与处理方法是有效和可行的.      

用对象实现构件的原型开发方法

基于面向对象语言的基本特征,分析了用对象表示构件的诸多有利因素,提出了用对象实现构件的原型开发方法。该方法规定了构件的外部接口,构件间“联系”函数及原型合成过程中的择优方案等。它对原型法的实用化将会起很大的推进作用。     

Ada层次化并发软件模型的研究

基于对象Petri网,提出了层次化并发软件模型,这种模型在结构上参考了统一建模语言UML的描述机制,并用一种扩展Petri网ECPN分层描述对象的内部状态,以及对象间的相互作用,易于仿真与程序生成.模型的实际应用将有利于保证并发软件,特别是Ada95并发软件的质量,提高开发效率.     

基于CORBA构件的软件体系结构模型的实现

软件体系结构是一种新型的基于构件以及构件库的深层的软件复用,它的提出使超大规模软件设计的简化成为了可能。本文提出了基于CORBA构件的软件体系结构模型,并通过给出ADL的BNF语法,扩充CIDL编译器和CORBA的服务,从而描述了其实现模型。     

软件测试的控制论方法

 软件测试被认为是软件开发过程中理解最为不清的一环。部分原因是虽然有很多策略被定义和分析,但很少有策略被设计和优化。软件测试的反馈机制迄今尚未形成。基于此种情况,软件测试的控制论方法将软件测试问题当作控制问题,被测软件当作被控对象,软件测试策略当作相应的控制器,被测软件和测试策略构成一个闭环反馈控制系统。软件控制论是一门探讨软件理论和工程与控制理论和工程交叉的学科,软件测试的受控马尔可夫链方法利用受控马尔可夫链理论设计和优化软件测试策略,是软件控制论思想的体现。在受控马尔可夫链方法的框架内讨论软件系统的自适应测试,并与随机测试进行比较,发现自适应测试方法相对于传统的随机测试方法具有较大的优越性。     

NT平台下数据实时采集及结果处理软件研究

简要介绍ＮＴ平台下数据实时采集及结果处理软件的设计实现和关键技术;介绍了利用该软件进行数据实时采集及结果处理的方法和步骤以及使用情况和应用前景。     

基于ANSYS对遥感器铝合金镜头低温环境试验技术的研究

为了给新型遥感器用铝合金镜头提供良好的模拟试验环境,针对较低的温度以及较高的温度均匀性要求,为提高试验可靠性和工作效率,采用仿真计算与试验相结合的方式。运用ANSYS软件详细分析试验过程中的三维温度场,预测整个过程的降温趋势,以提前发现试验中可能存在的潜在问题并做出有效的改进。同时开展低温条件下的试验验证。结果表明:仿真计算值与试验结果趋势相符。通过仿真分析提前预测潜在的问题并对试验方案做出改进,有助于提高试验的可靠性和效率,也为日后的各类金属镜头的低温试验奠定了基础、积累了经验。     

航空发动机试车数据分析软件简介

介绍了使用高级程序设计语言Visual Basic开发的航空发动机试车数据分析软件的构成、功能和特点。实际应用与试验对比证明,该软件不仅结果准确,而且省时、简便、实用性强。     

兼顾控制流量的软件定义卫星网络路由策略

软件定义卫星网络（SDSN）通过解耦数据与控制平面,实现网络态势与控制的逻辑集中,为管理卫星网络提供了一种新的思路。在SDSN中,控制报文和数据报文同时在网络中传输,海量、动态、高优先级的控制流量将对数据报文传输产生极大的干扰。因此,提出了一种数据流退让路由（DFRR）策略。在计算数据报文路由时,DFRR将链路上控制流量大小作为影响链路代价的一个因素,以减少选择控制流量较大的链路;在网络操作控制中心（NOCC）连接的过顶卫星切换导致控制流量分布发生较大变化之前,DFRR预测可能发生拥塞的链路,并选出链路上部分数据流进行重路由,从而避免拥塞。在开发的SDSN研究平台OpenSatNet上对DFRR的性能进行了评估。实验结果表明,DFRR能够有效减少网络中的链路拥塞,以及控制报文和数据报文的分组丢失。      

Ada软件测试与认证模型及支持系统

首先讨论Ａｄａ软件测试与认证模型，然后描述根据上述模型建立的Ａｄａ软件测试与认证活动的支持系统，并介绍该系统的结构、功能和特点．