【摘 要】
：
为解决饮料生产线系统建模分析困难的问题,提出一种基于消息的Petri网行为模型。将虚拟生产线行为化分为系统行为与实体行为,用系统状态迁移和实体状态迁移进行描述。将消息
【机 构】
：
湘潭大学信息工程学院,清华大学国家CIMS中心工程部
论文部分内容阅读
为解决饮料生产线系统建模分析困难的问题,提出一种基于消息的Petri网行为模型。将虚拟生产线行为化分为系统行为与实体行为,用系统状态迁移和实体状态迁移进行描述。将消息定义为一个六元组,作为实体间信息交流的载体。定义消息产生函数和消息消耗函数作为消息和行为的纽带,将消息纳入Petri网内资源实现对系统流程的控制。通过一段生产线组成的小系统实例描述行为模型的工作方式,在Virtools虚拟现实开发平台构建沉浸式灌装饮料生产线三维动态仿真系统。仿真结果表明,该行为模型能较好地对虚拟生产线系统进行搭建、控制与分析
其他文献
基于主机的包过滤防火墙只能提供单一层面的、静态的网络安全防护。为此,设计一个可动态生成防火墙过滤规则的方案。利用专家知识检测网络层数据包的攻击行为和运行中应用程
老年性痴呆是脑功能产生的获得性和持续性智能障碍综合征。痴呆的发病率随年龄增高而增加。国内调查显示：我国60岁人群老年性痴呆发病率约为10％，60岁之后，年龄每增加5岁，发病率增
中小城市的建设对我国经济发展有很大关系,在中小城市的建设中,要科学定位,有序建设,依法发展.
患者，女，49岁，体重62kg，ASAI级。拟在静吸复合全麻下行全子宫切除术。患者入室血压126／80mmHg，心率86次／min。充分给氧去氮后，以咪唑安定6mg，丙泊酚60mg，芬太尼0．1mg，琥珀胆碱100mg快速诱
随着国际金融现代化和一体化的进展,项目融资方式也处在不断地变化和创新之中.本文通过简要分析项目融资中的浮动抵押制度的特点及其在项目融资中的优势,针对我国现有法律和
基于2D图像处理的文档图像校正技术通常先进行单词或字符分割,会导致算法复杂、耗时。针对该问题,提出一种改进的校正算法。运用向上优先区域生长法搜索行间留白,实现行间分割得到弯曲行图像。对弯曲行图像采用改进二遍扫描法标记字符四连通区域获得行基点,对行基点使用最小二乘法拟合三次多项式,并将多项式曲线拉直拼接出全图。OCR应用和对比实验结果表明,该算法可提高字符识别率,并且能得到较好的视觉效果。
本文阐述了健全规范有效的独立董事制度与公司财务管理目标的顺利实现之间的密切联系.本文着重从独立董事的选拔机制,董事机构设置,责权的界定,激励和约束机制等方面提出了关