论文部分内容阅读
应用Petri网分析技术对网格体系进行模拟与验证.网格体系中的不确定性由逻辑Petri网表达,并基于给出的网格体系模型,分析验证了网格体系的正确性和完整性.结果表明该模型能够清晰地描述网格体系的动态行为、静态性质及动作的因果关系.
网格体系的Petri网模拟与分析
【摘 要】
：
应用Petri网分析技术对网格体系进行模拟与验证.网格体系中的不确定性由逻辑Petri网表达,并基于给出的网格体系模型,分析验证了网格体系的正确性和完整性.结果表明该模型能够
【机 构】
：
山东科技大学信息科学与工程学院,同济大学电子与信息工程学院,聊城大学计算机学院
【出 处】
：
系统仿真学报
【发表日期】
：
2005年z1期
【基金项目】
：
国家自然科学基金(60125205, 90412013, 60473094), 国家973基础研究计划项目基金(2003CB316902, 2004CB318001-03)、山东省自然科学基金(2004ZX17, 2004ZX14)和中国科学院计算机科学重点实验室开放课题基金(SYSKF0309).
其他文献
与陆地地形建模相比,水下地形的多分辨率建模是一个逆向的过程,它通过较为少量但非常有价值的数据来建立水下地形的拓扑结构。本文提出了一种对地形原始三角边的参数曲线描述方法,在此基础上根据对原始三角形的兴趣值通过分形的方法进行细化,研究实现了不同细化程度的相邻三角形公共边上的无缝连接,并开发实现了基于OpenGL的水下地形可视化应用系统。
国际政治生态系统是基于Agent的虚拟全球战争空间的一个重要组成部分,主要用来描述在危机形势下国家行为的演化,为信息化战争研究提供更多的辅助与支撑。介绍了政治系统复杂性及政治模拟研究的情况,阐明了国际政治生态系统的概念与功能,并在此基础上设计了国际政治生态演化模型框架。
随着科技的发展以及竞争的全球化,产品开发越来越重视产品的创意、个性化以及如何缩短产品的开发周期。本文介绍了一种基于虚拟现实和网络化协同的产品设计平台,应用虚拟现实技术建立自然的设计界面,利用专用位置输入装置产生一系列的虚拟切割动作,让网络用户实现协同设计并自由地表达设计思想,同时还可以快速试制出设计的产品。文章最后通过实验展示了本平台的可行性和有效性。
声乐是一门特殊的、抽象的音乐学科,它的教学没有固定的模式,教师的教学语言是学生在声乐课堂上学习发声技巧的主要手段,是师生间知识传递与反馈的重要途径,因此教学语言的应
通过与传统航空电子系统仿真/测试环境相比较,本文提出了一种新型分布式实时协同仿真环境(DRCSE)体系结构,并描述了利用DRCSE体系结构开发的航空电子系统动态系统综合(DSI)应用系统的原理和组成,其中重点介绍了实时网络技术的原理、组成、应用和时间延迟指标,最后展望了DRCSE体系结构的发展方向。
定义了一类含弧权变量的Petri网,并以此为工具构造出一种Petri网随机数发生器,进而实现了对(s, Q)策略随机库存系统的建模.该模型可实现需求量与供货滞后时间均为随机变量的
随着网络的日益普及,基于网络的系统的应用越来越广泛。MATLAB是系统辅助设计、分析和仿真的有效工具,但是由于它不支持网络通信功能,使其在网络化应用方面受到限制。本文提出了一种利用S函数实现MATLAB的Simulink 进行网络数据传输的方法,通过一个基于网络的系统实例证明该方法是可行的。
针对空中进攻飞机编队在干扰机协同作战情况下突破地面防御体系时的攻防对抗情形,分析了航空武器系统对地编队攻防对抗系统的组成和空中进袭力量和地面防御力量的指挥与控制系统的工作过程,给出了空中进袭力量和地面防御力量的指挥与控制系统模型和各作战单元模型仿真的顶层设计和系统模块化建模的基本思想,并进行了仿真和结果分析。
歌剧属于一种综合性很强的艺术形式,涉及到舞台美术、舞蹈、文学、戏剧、音乐等内容。将歌剧艺术带入高中音乐课堂教学,不仅可使这一艺术形式得以传承与广大,而且还可培养与