论文部分内容阅读
Petri网是一种适合于描述异步并发现象的计算机系统模型.本文所提出的Petri网理论的分析方法和技术即可用于静态的结构分析,又可用于动态的行为分析,最适合表示事件之间的并行性和自然相关性.本文利用一个典型实例对基于Petri网的动态建模技术做了方法性的研究,并给出了动态建模技术的一般方法.
基于Petri网的动态建模技术的研究
【摘 要】
：
Petri网是一种适合于描述异步并发现象的计算机系统模型.本文所提出的Petri网理论的分析方法和技术即可用于静态的结构分析,又可用于动态的行为分析,最适合表示事件之间的并
【机 构】
：
长沙理工大学,长沙理工大学
【出 处】
：
计算技术与自动化
【发表日期】
：
2004年2期
【基金项目】
：
湖南省自然科学基金，湖南省教育厅科研项目
其他文献
图像的分割是图像分析中的一个基本问题 ,以往的图像分割算法主要是针对灰度图像。本文将图像的每个像素作为一个矢量 ,抽取原图像的一部分像素点训练 SOM网络 ,以训练得到的 SOM网络作为分类器对图像进行分割。这种方法也适用于彩色图像和各种多光谱图像分割。文章的最后给出了分割试验结果。
针对某车型车箱开裂问题,采用Hyper works软件的Hyper mesh模块对3D模型进行网格划分并建立了有限元模型,对开裂部位进行CAE仿真分析,并进行了改进和试验验证。结果表明:改进
随着计算机图形技术的实用化,需要构造更逼真、更精细的三维复杂场景,其数据规模日益膨胀,加上对场景的实时交互的要求也越来越高,人们对多屏幕高分辨率显示的需求与日俱增,迫切需要一种针对大规模复杂场景的多任务并行图形绘制系统。本文介绍了一种适用于大规模复杂场景的高度并行的多任务多屏幕并行图形绘制系统的体系结构,支持图形任务的并行化处理和多屏幕显示。该系统结构将几何计算任务与图形绘制任务相分离,分别进行并
提出一种基于属性的信任协商方法。协商的双方首先交换包含多个加密属性的信任证书，然后双方根据自己的访问控制策略多次交换密钥逐步向对方显示出自己的属性。在这种协商方法
基于启发式知识的模糊控制是一种解决非线性系统控制问题的有效方法.然而其设计缺乏系统性,并且系统的稳定性和鲁棒性难以保证.本文利用滑模控制的概念和Lyapunov综合方法提
针对6061铝合金车身和科技横梁积木制作的创客机器人运动不稳定问题,使用3D打印轻量化技术制造创客机器人车身,减轻了其质量、优化了其结构、改进了其性能。通过有限元分析仿