SA分析中的软件网络树生成算法

SA分析技术是软件测试中的一种重要方法,主要用于识别和估计软件系统设计和操作中存在的潜在性问题,对软件网络树的研究是SA分析技术的核心部分之一,在介绍了软件网络树中的基本拓扑模式和基本符号之后,着重介绍了软件网络树的生成算法,然后通过一个实例--电梯控制软件的VC源代码来说明软件网络树的生成算法的应用,最后给出了结论.     

一种电磁信号分析的Agent协作模型

基于KQML语言,通过合同网模型对战场电磁环境模拟系统中的电磁信号分析Agent进行改进,使电磁信号Agent间的协作能力提高,增强了电磁信号分析的准确性和实际应用能力。在此具体对传统合同网进行了改进,增加了公共黑板通信方式,对投标者进行了合理的筛选,并增加了n个投标者,通过信号管理Agent向其发送标书,从而选择合适的投标者,与传统合同网不同的是这里的中标者不惟一,符合标准的都可成为中标者。     

电磁环境仿真中电波传播模型研究及仿真分析

研究了移动通信信道的电波传播损耗模型,通过对不同模型的仿真对比,指出在飞行器控制通信仿真中宜采用Longley-Rice模型的点对点模式,以适应飞行器控制通信的特殊需求。抽取航天飞机雷达地形测绘使命(SRTM)高程数据作为传播模型点对点模式中传播路径的详细地形剖面数据,仿真结果显示电波预测值与理论值吻合度较高。     

军用网格环境下基于优先权的Min-Min任务调度算法

军用网格环境下的资源调度与一般网格环境下的资源调度相比较，一个明显的特点就是必须考虑一些特别任务的优先级。在给出网格独立任务调度模型基础上，提出了一种基于优先权的Min—Min资源调度算法，该算法首先调度优先级高的任务，其余任务则采用Min—Min算法调度。经过分析，该算法的时间复杂度是O（n^2m），与Min—Min相比，该算法的Makespan可能略大，但可以满足军用网格环境下特殊任务优先执行的需求。     

网络任务工作流及其分割方法研究

网络环境下大多数任务之间存在关联关系,如何实现这些任务的高效并发执行是网络任务调度的关键。针对网络环境下关联任务具备工作流特点,通过定义网络工作流的五种复合关系,设计了网络任务工作流分割算法。基于该算法可将网络工作流分割为一系列具有优先关系的基本工作流集合,为这些任务的并发调度提供了依据。通过实例分析,验证了文中所提分割算法的有效性。     

基于访问角色的预警协议设计及验证

为实现网络对抗中预警系统的高敏感性和协同特性,文章将基于角色的访问控制(RBAC)的思想引入到预警系统中,设计了一种新的预警协议.构建了该预警协议的Petri网模型,并利用Petri网的可达性分析方法验证了协议的正确性.     

基于改进蚁群算法的自适应云资源调度模型研究

对于传统蚁群算法用于云计算资源分配和调度问题过程中存在的不足,提出了一种可以提高负载均衡度、缩短任务执行时间、降低任务执行成本的改进自适应蚁群算法,改进算法以能够基于用户提交的任务求解出执行时间较短、费用较低,负载率均衡的分配方案为目标,通过CloudSim平台对传统蚁群算法、最新的AC-SFL算法、改进自适应蚁群算法进行仿真实验对比。实验数据表明,改进后的自适应蚁群算法能够快速找出最优的云计算资源调度问题的解决方案,缩短了任务完成时间,降低了执行费用,保持了整个云系统中心的负载均衡。     

军用网格体系结构及Petri Net模型

网格体系结构是网格计算的关键技术之一.针对军事应用需求,提出了一种面向军事应用的网格体系结构,讨论了各层次组成及功能,并研究了网格体系结构的Petri Net描述方法.与经典网格体系结构相比,提出的体系结构有助于提高网格系统的好用性、透明性、自治性、模块性、一致性等.