一种基于体系结构的仿真使能方法

分析了体系结构仿真使能的需求,基于该需求研究了体系结构完备可执行的条件,扩展了体系结构描述规范,提出了满足完备性条件的一种可执行体系结构框架,给出了该框架的开发流程,并基于该框架提出了基于体系结构产品的仿真使能方法,介绍由体系结构产品直接产生仿真平台建模输入的映射理论和转换方法。该方法为提高仿真模型开发效率、保持系统设计和系统仿真之间的一致性提供了一种有效途径。以某给水系统作为案例,验证了体系结构建模到映射转换生成仿真模型的整个流程。     

基于GIS的群体决策支持系统若干问题的探讨

当前，利用地理信息系统（ＧＩＳ）技术研究开发的决策支持系统（ＤｅｃｉｓｉｏｎＳｕｐｐｏｒｔＳｙｓｔｅｍ）主要是单体的，这种系统在决策过程中容易犯主观随意性毛病。如何发挥集体智慧，开发基于地理信息系统的群体决策支持系统（Ｇｅｏｇｒａｐｈｙｉｎｆｏｒｍａｔｉｏｎｓｙｓｔｅｍｂａｓｅｄｇｒｏｕｐｄｅｃｉｓｉｏｎｓｕｐｐｏｒｔｓｙｓｔｅｍ）是当前探索中的一大热点。本文就ＧＩＳＢＧＤＳＳ及其功能与体系结构等问题作了设计，对目前的ＧＩＳ产生什么影响也作了探讨。     

云环境下一种节能的资源调度算法

针对云计算的高能耗问题,从系统级节能角度,提出一种节能的资源调度算法。首先,建立云计算的 两级资源调度模型;综合考虑主机的工作、空闲和休眠等多种状态建立能耗模型,并用多功能计量插座加以验证。 然后,提出基于遗传算法的最小能耗资源调度算法（ｍｉｎｉｍｕｍｅｎｅｒｇｙｃｏｎｓｕｍｐｔｉｏｎｂａｓｅｄｏｎｇｅｎｅｔｉｃａｌｇｏｒｉｔｈｍ, ＭＥＣＧＡ）,根据云任务的服务质量（ｑｕａｌｉｔｙｏｆｓｅｒｖｉｃｅ,ＱｏＳ）需求产生初始种群,以系统能耗最小为调度目标设计 适应度函数,并根据染色体适应度的正态分布函数和种群的进化代数设计遗传算子。仿真结果表明,所提算法能 够有效降低系统总能耗、缩短任务完成时间。     

基于生成图的体系结构动态行为语义一致性验证方法

针对体系结构动态行为的语义一致性验证问题,提出了基于生成图的验证方法.首先根据体系结构的动态行为模型构建生成图,然后对生成图的逻辑结构和时间信息进行分析,来完成动态行为模型的逻辑关系和时序关系一致性验证.该方法不但能够有效解决动态行为的语义一致性验证问题,而且还能准确定位模型中出现问题的地方,指导用户进行模型不一致处理和优化动态模型.同时,生成图可供多个模型间的动态行为一致性验证,实用性更强,且在可理解性、可分析性等方面上相比传统方法具有较大改善.     

基于生成图的体系结构动态行为语义一致性验证方法

针对体系结构动态行为的语义一致性验证问题,提出了基于生成图的验证方法. 首先根据体系结构的动态行为模型构建生成图,然后对生成图的逻辑结构和时间信息进行分析,来完成动态行为模型的逻辑关系和时序关系一致性验证. 该方法不但能够有效解决动态行为的语义一致性验证问题,而且还能准确定位模型中出现问题的地方,指导用户进行模型不一致处理和优化动态模型. 同时,生成图可供多个模型间的动态行为一致性验证,实用性更强,且在可理解性、可分析性等方面上相比传统方法具有较大改善.     

一种用于无人机的PRP-OFDM数据链路信道估计方法

针对无人机数据链路高速传输的工程应用需要,提出了一种基于伪随机后缀的正交频分复用（ｏｒ ｔｈｏｇｏｎａｌｆｒｅｑｕｅｎｃｙｄｉｖｉｓｉｏｎｍｕｌｔｉｐｌｅｘｉｎｇ,ＯＦＤＭ）系统模型,并针对其数据链路在快时变信道下的信道估计需求,提出了基于最小平方（ｌｅａｓｔｓｑｕａｒｅ,ＬＳ）的信道估计方法和利用重叠相加法（ｏｖｅｒｌａｐａｄｄ,ＯＬＡ）、自干扰消除（ｓｅｌｆ ｉｎｔｅｒｆｅｒｅｎｃｅｃａｎｃｅｌｌａｔｉｏｎ,ＳＩＣ）、判决反馈（ｄｅｃｉｓｉｏｎ ｄｉｒｅｃｔｅｄ,ＤＤ）的符号恢复方法。在无人机常见的运动速度下,对误码率性能进行了仿真分析。仿真结果表明,该方法在快时变信道具有较好性能,对无人机数据链路高速传输具有良好的工程应用前景。     

基于AADL体系结构模型的构件系统可靠性评估

为了支持新一代航电系统在体系结构设计阶段进行系统可靠性分析和评估,对复杂嵌入式系统利用体系结构分析与设计语言(architecture analysis and design language, AADL)进行系统的建模。提出了一种基于AADL系统体系结构模型的可靠性建模方法,设计出一套转换规则,对AADL体系结构模型的软硬件构件进行模型转换,实现从AADL系统体系结构可靠性模型到系统体系结构广义随机Petri网(system architecture general stochastic Petri net,SAGSPN)的转换,并基于加权的SAGSPN可靠性计算模型对系统进行可靠性评估。最后通过对某飞控系统进行可靠性评估,验证了方法的有效性,证明该方法对航电系统的体系结构设计提供了支持。     

C4ISR系统体系结构的仿真验证方法研究

C4ISR系统体系结构设计在系统研制中的地位和作用越来越受到重视,体系结构设计的质量将直接关系到系统开发的成败.体系结构验证是利用体系结构产品,将其转换为可执行模型,通过分析可执行模型的执行过程和结果,从而验证评估体系结构设计质量的方法.文章研究了体系结构验证的基本思路,利用现有的组件化建模仿真技术与环境,以部分C4ISR体系结构产品为基础构建仿真系统,通过仿真实验来进行体系结构验证,从而为体系结构验证提供技术支持.     

一种基于原型法的用Lotus软件和排队模型构成的决策支持系统

一种基于原型法的用Ｌｏｔｕｓ软件和排队模型构成的决策支持系统白庆华（重庆大学工商管理学院四川６３００４４）ＡＤｅｃｉｓｉｏｎＳｕｐｐｏｒｔＳｙｓｔｅｍｂａｓｅｄｏｎｐｒｏｔｏｔｙｐｉｎｇａｐｐｒｏａｃｈｗｈｉｃｈｕｓｅｓＬｏｔｕｓ１２３ａｎｄＱｕｅｕ...     

面向目标的系统的系统建模方法

体系结构是系统的系统（ｓｙｓｔｅｍｏｆｓｙｓｔｅｍｓ,ＳｏＳ）构成的基础,是系统可靠运行和演进的依据。传统 的ＳｏＳ体系结构设计方法包括面向过程的结构化设计方法和面向对象方法等。它们均缺乏对ＳｏＳ中各利益相关 者的目的、意图和行为等的描述与表达。建立了用户需求符号（ｕｓｅｒｒｅｑｕｉｒｅｍｅｎｔｓｎｏｔａｔｉｏｎ,ＵＲＮ）这一目标建模 语言与美国国防部体系结构框架元模型间的对应关系。基于元模型,提出了ＳｏＳ目标建模的过程与思路,并以搜 索救援为例阐明了所提出的过程与思路。     

基于VRGS的交通流微观仿真软件的开发

基于ＶＲＧＳ的交通流微观仿真软件对交通网络引入ＶＲＧＳ后的交通流进行仿真。本文阐述仿真模型的设计思想,介绍模型的框架结构,说明采用ＶｉｓｕａｌＢａｓｉｃｆｏｒＷｉｎｄｏｗｓ的程序实现方法。     

基于VRGS的交流流微观仿真软件的开发

基于ＶＲＧＳ的交通流微观仿真软件对交通网络引入ＶＲＧＳ后的交通流进行仿真，本文阐述仿真模型的设计思想，介绍模型的框架结构，说明采用ＶｉｓｕａｌＢａｓｉｃｆｏｒＷｉｎｄｏｗｓ的程序实现方法。     

基于语义联邦的HLA对象模型生成方法

为提升复杂产品协同仿真过程中的语义一致性,提出了一种基于语义联邦的高层体系结构(High Level Architecture,HLA)对象模型生成方法.该方法在HLA的范畴内,通过建立语义联邦完成各联邦成员间的互理解,以发布和订购的方式实现各联邦成员间本体的概念匹配,在保持领域本体独立性的基础上形成了不同领域本体概念间的概念匹配对,并以此为基础动态生成具体仿真应用联邦的HLA对象模型,从而保证了协同仿真应用联邦建立的效率和语义的一致性.本研究还建立了基于语义联邦协同仿真平台原型系统,并通过实例验证了方法的可行性.     

建模与仿真、VV&A、T&E三者的关系

随着建模与仿真（Ｍｏｄｅｌｉｎｇ ａｎｄ Ｓｉｍｕｌａｔｉｏｎ,简称Ｍ＆Ｓ）复杂程序的增加,Ｍ＆Ｓ的正确性和置信度的问题显得非常重要。Ｍ＆Ｓ必须经过严密的校核、验证和确认（Ｖｅｒｉｆｉｃａｔｉｏｎ,Ｖａｌｉｄａｔｉｏｎ ａｎｄ Ａｃｃｅｒｄｉｎｔａｔｉｏｎ,简称ＶＶ＆Ａ）,以确保Ｍ＆Ｓ达到预期的目的。仿真系统还必须经过测试与评估（Ｔｅｓｔ ａｎｄ Ｅｖａｌｕａｔｉｏｎ,简称Ｔ＆Ｅ）来支持仿真系统的     

飞机编队飞行保障系统的建模与仿真

采用先进建模仿真技术实现了非战时飞机编队飞行保障仿真系统。系统不仅能够建立飞机编队飞行保障过程模型,描述飞机编队飞行保障过程中的基本活动如飞行、故障发生、计划性维修及非计划维修;还能够按照各种事件的发生规律进行仿真,反映飞机编队在一段时间内累积飞行时间、定时维修及故障维修的情况。介绍了实际飞行保障过程,给出仿真模型描述,最后阐述了使用框图建模方法实现仿真系统的过程。     

基于UML&OPN的C4 ISR系统体系结构仿真验证研究

基于UML(uniform modeling language)和Petri网的不同特点,应用UML的不同视图来描述C4ISR系统体系结构的相关产品.根据产品之间的关联,把产品的UML视图转换为对象Petri网的仿真模型.通过系统动态行为仿真模型的执行,分析体系结构的时序关系、信息流关系和接口关系的合理性,验证系统功能是否满足需求,系统状态的变化是否正确,从而有效,合理地评估系统的性能.     

中等教育系统中教师的供需模型

中等教育系统中教师的供需模型万细仔，杨辉耀（广州师范学院数学系５１０４００）ＴｈｅＭｏｄｅｌｓｏｆＳｕｐｐｌｙａｎｄＤｅｍａｎｄｉｎＳｅｃｏｎｄａｒｙＷａｎＸｉｚｉＹａｎｇＨｕｉｙａｏ（ＧｕａｎｇｚｈｏｕＴｅａｃｈｅｒｓ＇Ｃｏｌｌｅｇｅ，Ｄｅｐａｒｔ...     

关于可转换债券定价模型的研究

本文首先对可转换债券的性质及其相关内容进行了深入分析，并给出影响其发行效果的Ｒａｔｅ－Ｐｒｉｃｅ组合模型，然后，在详细考察标的变量－利率和股票价格行为特征的基础上，运用无险套利风险推导出关于可转换债券的双因素定价模型，其特例便得著名的Ｂｌａｃｋ－Ｓｃｈｏｌｅｓ模型。     

退化系统状态维修决策与维修活动建模

研究退化系统的状态维修决策问题,考虑经济性、可用性后,给出两个通用维修决策优化模型,用gamma过程对系统退化进行建模,用监测数据估计退化模型参数。在退化过程基础上,基于历史维修信息和状态数据对决策模型中的变量进行确定;对维修活动中主要的影响--维修效果和维修时间进行分析,认为维修效果和维修时间是系统状态和维修次数的随机变量,分别给出了不考虑人为因素和考虑人为因素的维修效果几何分布模型,用插值方法建立维修时间分布函数。最后以某控制系统为例,对比理想状态和考虑维修效果与维修时间下的仿真结果,验证了模型的有效性和实用性。     

基于MDA的仿真模型开发与集成方法研究

主要介绍了一种基于MDA的仿真模型开发与集成方法。探讨了MDA在仿真模型组件重用和可组合中的应用,如实现实验、想定、分析和模型集成的一致性;提高仿真模型组件的重用性和可组合性;支持仿真模型和仿真系统需求和设计的工程化;更容易支持体系结构视图的描述;支持开发可配置强的和柔性的仿真系统等。介绍了当前基于MDA的仿真应用的发展,并提出了一个基于MDA的仿真模型集成框架和仿真模型开发与集成方法。该集成框架采用MDA的思想,将仿真模型分为仿真模型设计组件和仿真模型运行组件,通过建立面向仿真设计模型组件的仿真元模型规范、仿真组件对象规范、仿真服务规范和仿真模型组件组合规范确保仿真模型的设计、开发、集成和运行的一致性和仿真系统发展的可持续性。