【摘 要】
：
云计算是通过分发计算资源到大量的分布式计算机,这些计算机可以是远程的计算机或服务器,这就涉及到如何动态获取服务资源的最优方法。而Petri网和进程代数二者都是关注于系统动态行为的形式方法,因此将二者合并,可以对云计算动态获取服务资源进行性能分析,并在此分析基础上,得到资源最优选择方案。首先对云计算模型建立随机petri网模型,并对该随机petri网模型着色。其次,在文献[2]提出的SPA的基础上对
论文部分内容阅读
云计算是通过分发计算资源到大量的分布式计算机,这些计算机可以是远程的计算机或服务器,这就涉及到如何动态获取服务资源的最优方法。而Petri网和进程代数二者都是关注于系统动态行为的形式方法,因此将二者合并,可以对云计算动态获取服务资源进行性能分析,并在此分析基础上,得到资源最优选择方案。首先对云计算模型建立随机petri网模型,并对该随机petri网模型着色。其次,在文献[2]提出的SPA的基础上对该云计算的随机PETRI网模型进行性能分析,并在该基础上对该模型进行改进。最后,由于云计算的云是由多层组
其他文献
根据现实社会电力网络拓扑结构及生长机制特点,针对战争模拟中的社会仿真研究需要,提出以人口密度、经济水平、行政区域和电网连接方式等影响因素的电力网络生成模型算法设计和实现方案。对实验结果进行统计分析表明,该算法生成的电力网络拓扑数据,与基于复杂网络理论的电力网络拓扑分析结论相一致,较好地满足了社会仿真中电力基础设施网络建模仿真研究的需要。
在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可以实现对异构操作
仿真资源包含了模型、数据、文档等建模与仿真领域内所有的资源,是分布式仿真环境的核心,是实现建模与仿真资源重用性和提高仿真应用系统开发效率的重要支撑。元数据的管理是仿真资源管理的基础和重要内容。在介绍元数据概念的基础上,研究了基于XML Schema的元数据描述规范、给出了一种仿真资源元数据管理的实现技术。
目前仿真资源共享技术滞后于共享需求的现状制约了仿真的发展,资源共享迫切需要新的架构。近年来发展迅猛的网络和云计算技术为仿真资源共享提供了新的思想和技术。通过详细分析网格计算与云计算技术应用于仿真资源共享的优缺点,并根据优势互补的原则研究了两种技术的混合模式,提出云内共享和云间共享两类混合模式的仿真资源共享架构,并对两种架构的技术实现进行了分析和比较,重点研究了基于VO(Virtual organi