一种新型的仿真试验系统构建方法

以“网络化仿真”应用为需求,结合面向服务技术体制,首先介绍一种以任务共同体为形态的仿真试验系统构建和运行方法;提出仿真任务共同体的概念模型和应用模式;然后,分析仿真任务共同体运行的支撑环境,提出平台架构和任务共同体的构建流程;最后展现实现的部分核心服务功能。     

建模与仿真系统的体系结构问题探讨

建模与仿真体系结构描述和确定系统各部分之间的关系。本文分别讨论仿真系统体系结构和仿真支撑平台体系结构。仿真支撑平台体系结构由管理层、资源层、通讯层、应用层和基础设施层组成。应在资源——通讯——应用三维空间研究建立建模与仿真支撑平台协同环境。     

基于聚合体的联盟管理服务的实现技术

与传统的分布式仿真运行支撑平台不同，StarLink＋采用层次式体系结构的实现方法。由于层次式体系结构中需要多个RTI服务器在网络上协调一致地为大规模仿真提供服务，因而其实现较其它结构的RTI软件要复杂得多。为降低StarLink＋系统管理的复杂性，支持大规模仿真盟员的加入，论文提出了基于”聚合体”的联盟管理服务的实现思想，并基于该方法具体地描述了各个服务的实现算法。该技术能够大大地降低系统管理的复杂性，从而相应地提高仿真系统的执行效率。     

网络中心化仿真任务共同体服务选择算法研究

网络中心化仿真的核心问题是如何动态地把散布在网络上的各种服务进行整合,以形成新的、满足不同用户需求的仿真任务共同体.提出了一种仿真任务共同体服务选择算法(simulation task community service selection algorithm,STCSSA),其主要思想是将仿真任务共同体的构建转换成带QoS全局约束多目标优化的服务查找问题.首先介绍了仿真任务共同体服务QoS模型,并对任务共同体服务组合流程进行了评价;接着详细介绍了STCSSA运行流程,对算法的惯性权重动态变化策略进行了设计,并提出了一种可选的变异操作方法;最后将STCSSA与其他粒子群优化算法进行了对比测试,不仅从算法性能角度验证了STCSSA在提高收敛速度及避免局部最优方面具有优势,还从算法应用角度验证了STCSSA适用于大规模仿真下的网络中心化仿真任务共同体构建.     

面向服务的网络化仿真及运行支撑平台研究

针对分布式仿真技术的发展,结合军事领域内仿真系统构建和运行的军事需求,以面向服务技术为基础,提出了面向服务的网络化仿真构建和运行模式,以满足未来军事系统中仿真的新需求.介绍了网络化仿真的概念及特征,详细分析了网络化仿真运行支撑平台以及相关核心服务,重点研究了运行支撑平台体系结构以及网络化仿真应用服务的构建与运行.最后给...     

基于HLA的反舰导弹攻防对抗仿真平台设计

随着仿真技术的发展、军事高科技进步,复杂系统的建模与仿真越来越重要.结合目前研究的课题,反舰导弹攻防对抗十分复杂,而高层体系结构HLA正是为解决复杂系统的建模和仿真提供公共的技术支撑框架,根据HLA仿真体系结构特点,设计基于HLA的反舰导弹攻防对抗仿真平台的总体框架,明确仿真平台的基本功能组成和数据库设计,应用联邦程序开发技术构建系统的联邦成员及成员间的信息交互设计,给出系统的整个仿真运行流程.该系统实现了一个可重用、具有互操作性的反舰导弹攻防对抗仿真的支撑平台,为作战研究、装备发展、战术应用论证提供了一个参考试验平台.     

网络服务体系结构及其形式化模型的研究

下一代网络的本质是以提供网络服务为核心的,能够支撑各国政治、经济、文化、教育、国防等各个领域全面信息化的信息基础设施,单纯基于通信功能来进行层次划分的传统网络体系结构已不能适应下一代网络发展的需要．提出了一种基于交互的网络服务体系结构(INSA),作为从服务角度研究下一代网络的下一代网络服务体系结构参考模型,并详细论述了INSA参考模型的总体结构和各层功能．用构件来描述网络实体,用连接件来描述构件间交互,建立起了下一代网络服务体系结构的形式化模型,为形式化分析和验证网络服务体系结构的总体性质以及进一步研究网络服务体系结构中与服务相关的各种性质奠定了基础．     

基于会话的安全、鲁棒共享控制方法

在共享控制系统中，比如智能服务机器人，操作员和自动化专门系统相互配合，共同控制．有效的共享控制需要复杂的系统体系结构，该结构可以提供安全鲁棒的运行，提供对用户友好的界面．满足这两项需求是一个不寻常的任务．介绍了解决这些问题的方法．首先给出一个以会话为中心采用面向代理编程和形式化方法的认知控制体系结构．采用混成设计的SharC认知控制体系结构，可以区分协同代理群体中每一个遥控设备的控制．安全性对共享控制系统来说是极为重要的，因此这种体系结构必须能够保证较高的安全性．最后，描述了作为控制系统核心的形式化建模会话管理器，通过示范平台中自动轮椅的例子说明这些不同的软件范例的应用。     

LOTOS在网关体系结构设计中的应用

本论文从实践LOTOS语言的角度出发,采用面向约束的LOTOS描述风格对网关体系结构进行形式化描述。     

基于HLA的潜艇作战仿真系统时间管理研究

时间管理服务是运行支撑系统(run-time infrastructure,RTI)提供的6类服务之一,它按照高层体系结构接口规范来管理各类消息的发送和接收,并协调不同的时间推进机制,以保证分布式仿真的逻辑正确性.针对仿真驱动的潜艇实装作战仿真训练系统,结合HLA时间管理常见问题,从开发基于HLA仿真应用的角度分析了时间管理机制,重点研究了潜艇作战仿真训练系统中的推演时间管理方法.     

一种基于UPPAAL的Web服务组合模型检测方法

Web服务组合的正确性验证对提高软件开发效率、实现服务增值具有重要意义。为从高层抽象层次研究Web服务组合的正确性及其形式化验证方法,考虑到Web服务组合中的实时特征,在采用软件体系结构描述语言XYG/ADL对Web服务组合进行描述的基础上,将其实时描述部分XYZ/RE转换至时间自动机模型,组合后系统应满足的性质用分支时序逻辑CTL公式表示,最后应用模型检测工具UPPAAL实现了Web服务组合正确性的自动化验证。     

AspectualACME语言切点指示器的形式化描述方法

面向方面软件体系结构描述语言AspectualACME虽引入了切点指示器PCD(Pointcut Designator)的语法成分,但仍未给出其语义的形式化描述。针对这一问题,基于AspectualACME语言抽象语法树,设计了一阶逻辑语言LIAPCD(Logic Language forPCD)。在此基础上提出了AspectualACME语言PCD的形式化描述方法。该方法能精确定义软件体系结构层PCD的语义,可为形式化分析软件体系结构层方面编织提供支持。     

一种面向服务体系结构的服务组合方案求解方法*

面向服务体系结构的出现为分布式应用集成提供了一种解决方案,如何快速准确地指定具体服务或求解出服务的组合方案的问题尚待解决。根据对抽象服务的输入/输出等功能性属性的描述,完成了抽象服务组合流程建模,为了对抽象层粗粒度服务的求精,提出了一种基于语义Web服务和图规划技术的服务自动组合机制,该方法将Web服务映射为规划动作的形式化描述,形式化推理得出Web服务的组合方案。在具体的服务或方案选择上,利用服务相似度优化服务或服务组合方案的选取。最后通过模拟实验验证了该方法的有效性。     

基于XYZ/ADL的异步Web服务组合描述与验证

Web服务组合为研究对象,重点讨论了服务组合中异步通信行为和时间属性的形式化描述和验证.首先,从软件体系结构角度分析Web服务组合,采用基于时序逻辑的XYZ/ADL描述Web服务的交互行为和时间属性;然后,提出一种符合模型检测工具UPPAAL规约的时间异步通信模型TACM;最后,实现了XYZ/RE通信命令到TACM的映...     

AADL进程子集行为语义研究

AADL是一种基于组件的半形式化建模语言,采用结构化方法对大型复杂软件系统的软硬件进行统一建模,有效描述系统的功能行为、非功能属性以及运行时的体系结构动态演化,但其许多问题需要进一步研究与完善。本文首先分析了AADL形式语义研究现状,然后定义了AADL进程子集的形式语言,建立了AADL进程子集通信模型,通过对事件的形式化定义和分析体现了事件在系统状态转变过程中的重要作用,对AADL进程子集行为语义进行了研究。与相关研究成果的对比说明了本文的优势。本文为AADL语言及其形式语义的发展提供了一种有益的参考,进一步完善大型复杂软件系统体系结构建模与分析技术。