【摘 要】
:
仿真资源包含了模型、数据、文档等建模与仿真领域内所有的资源,是分布式仿真环境的核心,是实现建模与仿真资源重用性和提高仿真应用系统开发效率的重要支撑。元数据的管理是仿真资源管理的基础和重要内容。在介绍元数据概念的基础上,研究了基于XML Schema的元数据描述规范、给出了一种仿真资源元数据管理的实现技术。
论文部分内容阅读
仿真资源包含了模型、数据、文档等建模与仿真领域内所有的资源,是分布式仿真环境的核心,是实现建模与仿真资源重用性和提高仿真应用系统开发效率的重要支撑。元数据的管理是仿真资源管理的基础和重要内容。在介绍元数据概念的基础上,研究了基于XML Schema的元数据描述规范、给出了一种仿真资源元数据管理的实现技术。
其他文献
液态锂铅包层是聚变反应堆的关键部件,目前处于研究阶段。由我国自主建设的锂铅回路Dragon IV是开展液态锂铅包层研究的重要实验平台。锂铅回路Dragon IV的仿真系统用于提高实验平台的效率,推进我国液态锂铅包层研发工作。首先分析了锂铅回路Dragon IV的结构特点和工作模式;然后在此基础上给出锂铅回路Dragon IV仿真系统的设计目标;最后给出了仿真系统的总体设计和实施步骤;并对仿真系统第
利用有向签名的方法,结合零知识证明的思想,在ELGamal签名机制的基础上提出了一种新型的基于身份的双向认证方案。只有特定的双方用户,不必暴露自己的秘密信息就可以实现双向身份认证。该方案具有良好的安全性和较低的计算复杂度。
根据现实社会电力网络拓扑结构及生长机制特点,针对战争模拟中的社会仿真研究需要,提出以人口密度、经济水平、行政区域和电网连接方式等影响因素的电力网络生成模型算法设计和实现方案。对实验结果进行统计分析表明,该算法生成的电力网络拓扑数据,与基于复杂网络理论的电力网络拓扑分析结论相一致,较好地满足了社会仿真中电力基础设施网络建模仿真研究的需要。
在LabVIEW平台上建立了两相同步旋转坐标系下的双馈风力发电机数学模型,构建了定子磁链定向矢量控制系统,实现了定子电压的频率控制和定子有功功率与无功功率的解耦控制。通过仿真对不同转差率下的转子电压和定子电流进行了对比分析,然后对转子转速或功率参考值发生阶跃时定子功率的变化进行了分析,结果证明了所建立模型和矢量控制系统的正确性。
逻辑Petri网(LPNs)能够描述和分析实时协同工作系统中批处理功能和传值不确定性。为了直接分析LPNs的性质,针对LPNs变迁的不确定性,定义了逻辑变迁向量集和变迁使能向量集,给出了一种向量匹配方法判断使能变迁。为应用LPNs建模分析实际问题奠定了理论基础。最后,通过一个例子,验证了论文分析方法的可行性。
协同设计技术广泛应用于航天、船舶等重要军工领域,协同设计过程具有数据驱动,多层次,多状态等特点,目前仍缺少协同设计形式化过程模型,给不同学科、行业、部门之间的协同交互带来了很大的困难,因此有必要建立一个协同设计过程的形式化模型。给出了一个层次化的有色Petri网来描述协同设计过程,并根据协同设计过程特点,给出了不同的触发规则,刻画了任务的不同状态,并在此模型的形式理论基础上,开发了一个数据驱动工作
Petri网模型建立后,其结构相对固定,不易描述实际系统结构的动态变化。借鉴软件组件的设计思想,提出了组件化的变结构Petri网的描述规范、组合机制和仿真方法,实现了仿真运行中Petri网结构的动态变化。该方法增强了Petri网模型的重用性,支持层次化建模,便于实现与其他模型的集成,提高了Petri网的建模仿真能力。
Petri网是对分布式系统进行分析和建模的图形化工具,它在系统出现并发、冲突和同步等现象时具有很强的描述模拟能力。提出了一种带监督弧的Petri网扩展模型,引入监督弧使复杂的Petri网模型变得简化,而且有利于Petri网模型的模块化设计。最后研究了带监督弧的Petri网应用并作了相应实验仿真,结果验证了监督弧的有效性。
S-不变量是进行Petri网结构性质分析的重要工具,但S-不变量的求取尚无有效算法。作者在S-不变量的极小支集的判定、极小支集上S-不变量的求取等方面创新性地提出了一些多项式解决算法。将在上述工作的基础上,结合枚举思想给出一个求取S-不变量基的算法,并提出一些筛选规则以提高枚举的性能。
在复杂产品协同仿真中,将涉及总体、控制、气动、结构、电气系统等多学科领域模型,不同的仿真系统运行于不同的操作系统,TH_RTI是以HLA1.3规范为蓝本开发的运行支持系统,实现了HLA规范的标准接口。TH_RTI无法满足不同操作系统中仿真成员的互操作。在TH_RTI的基础上,提出了一种支持异构操作系统的运行支撑系统HOS_RTI,对原有的TH_RTI进行跨平台移植,HOS_RTI可以实现对异构操作