UML活动图的形式语义及分析

UML活动图缺乏精确的动态语义,不利于对其所描述的系统进行形式化的分析、验证和确认。为此,论文结合Petri网给出了包含对象流状态描述的UML活动图的形式语义,并据此对UML活动图的典型流程和其所描述的动态系统的正确性进行了分析。该形式语义覆盖了UML活动图的绝大部分特征,为精确描述工作流程并对其进行分析奠定了基础。     

基于过程控制的软件质量保障模型

随着软件技术和软件应用的发展,以过程为中心的软件开发已成为现代软件产业的时代特征。质量形成于过程,高质量的软件必须依赖对软件过程的严格控制。为有效实现软件质量保障,从软件过程的角度建立了综合的软件质量保障机制,提出了基于过程控制的软件质量保障模型,为建立完善的软件质量保障体系提供了依据和指导。     

基于蚁群算法的巡航导弹航路规划研究

航路规划是提高巡航导弹突防概率的关键因素之一。为了提高巡航导弹对敌打击的有效性，在对敌防御区域内的目标进行打击时，必须保证巡航导弹能以最小的被发现概率和可接受的航程接近目标。针对这一问题，文章对近年来出现的蚁群算法进行了讨论和改进，将它应用于巡航导弹的航路规划问题，比较详细地考虑了巡航导弹航路规划中各种影响因素，并进行了仿真计算。     

计算机辅助设计控制系统的新工具：CADCS智能软件包

本文将人工智能理论用于控制系统的计算机辅助设计.建立了控制系统分析与设计专家系统,然后在此专家系统的基础上,进一步实现了控制系统分析与设计应用程序的自动生成,将常规 CADCS 软件包发展为 CADCS 智能软件包,为用户进行控制系统的分析与设计提供了更为有效、方便和可靠的新工具.文中介绍了 CADCS 智能软件包的组成及其各部分的实现原理,最后通过实例给出了智能软件包的工作过程.     

基于模糊综合评判的舰艇电子战系统作战效能评估

探讨现代战争条件下舰艇电子信息战系统的定量评估方法，应用模糊数学理论和层次分析法对舰艇电子信息战系统的效能进行评估，建立舰艇电子战系统的评价指标体系和三级评估模型，对定量指标和定性指标的隶属度计算进行了区分，并通过实例演示了该模型的具体应用过程。     

基于Multi—agent技术的决策支持系统

1.引言 agent最早提出于60年代,由于当时的硬件水平与计算机科学理论水平的限制,agent的能力不强,几乎没有影响力。近几年来,计算机的软件技术(特别是面向对象技术)、硬件技术、并行计算和分布处理技术的研究都取得了很大进展,使得分布的、合作的多agent系统研究有了一定的理论基础和物质基础,AI研究者又开始了对多agent系统的研究工作,并在分布式人工智能与并行分布计算领域取得了一些经验与成果,由此产生了一系列新的思想、方     

智能模拟方法的分析与研究

1956年诞生的人工智能经过了四十多年的风风雨雨、大起大落,现在,无论是智能模拟研究者还是关心智能模拟的其它行业的研究者都已经能够以一种科学和客观的态度来看待智能模拟。智能模拟既不可能使机器成为地球的主宰也不是一事无成,智能模拟的成果已经应用于我们生活的方方面面,更成为其它学科     

基于蚁群算法的巡航导弹航路规划

航路规划是提高巡航导弹突防概率的关键因素之一.为了提高巡航导弹对敌打击的有效性,在对敌防御区域内的目标进行打击时,必须保证巡航导弹能以最小的被发现概率和可接受的航程接近目标.针对这一问题,文中对近年来出现的蚁群算法进行了讨论和改进,将它应用于巡航导弹的航路规划问题,比较详细地考虑了巡航导弹航路规划中各种影响因素,并进行了仿真计算.