题名 基于面向对象时间Petri网的密码协议分析
被引量：2
1
作者
刘雪艳 吴慧欣 张强 王彩芬
机构
西北师范大学数学与信息科学学院 华北水利水电学院信息工程学院 西安理工大学工商管理学院
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第13期156-159,共4页
基金
国家自然科学基金资助项目(10702065) 陕西省自然科学基金资助项目(2005F45) 西北师大数信学院青年教师基金资助项目
文摘
利用面向对象技术和时间Petri网的优点,提出一种基于面向对象时间Petri网的密码协议分析方法。该方法可以降低建模复杂性和计算复杂性,提高建模效率,实现时间Petri网的高度模块化,能更好地适应密码协议分析过程中的重组和扩充。实例分析结果证明了该方法的有效性。
关键词
面向对象时间petri 网 密码协议 TMN协议 抑制弧
Keywords
Object Oriented timed petri Nets（ootpn ） cryptographic protocol TMN protocol inhibitor-arcs
分类号
TP309
[自动化与计算机技术—计算机系统结构]
题名 面向流程制造的数字孪生车间可视化监控系统研究
被引量：8
2
作者
阴艳超 冯嘉胜 易斌 李旺 尹庆文
机构
昆明理工大学机电工程学院 云南中烟工业有限责任公司
出处
《系统仿真学报》
CAS
CSCD
北大核心
2024年第1期120-130,共11页
基金
国家自然科学基金(52065033) 云南省重大科技项目(202202AG050002)。
文摘
为了解决流程制造过程监控实时性差、准确性不足的问题,在数字孪生技术迅速发展且与制造业结合愈发紧密的背景下,提出基于生产要素数据、生产工艺流程与多工序设备实体对象的数字孪生车间可视化监控系统架构。从要素、状态、运行逻辑等多个维度对多工序耦合生产线实体对象进行孪生建模,基于OPC UA统一架构的数据采集传输,虚拟车间的实时驱动等关键技术,实现了流程制造设备状态、生产要素工艺全流程三维可视化监控。基于某流程制造企业制丝生产试验线开展了应用验证,为提升流程制造过程中全生产要素的预见性、联动性、自治性提供了方法和实现途径。
关键词
流程制造 数字孪生 多工序耦合生产线 面向对象的赋时petri 网 可视化监控
Keywords
process manufacturing digital twin multi-process coupling production line object-oriented timed petri net(ootpn )visual monitoring收
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
题名 智能仓库出入库系统优化研究
被引量：13
3
作者
田世海 刘笑静
机构
哈尔滨理工大学管理学院
出处
《计算机应用研究》
CSCD
北大核心
2015年第5期1437-1440,共4页
基金
黑龙江省自然科学基金资助项目(G201203 G201302) +1 种基金 黑龙江省博士后科研启动资金资助项目(LBH-Q12065) 黑龙江省高等学校哲学社会科学创新团队建设计划资助项目(TD201203)
文摘
针对智能仓库出入库系统作业过程中出现的货物拥堵和设备利用率低等问题,对智能仓库出入库作业特点进行了研究,构建了智能仓库的出入库作业周期模型,采用面向对象赋时Petri网的方法建立智能仓库出入库系统的OOTPN(object oriented timed Petri net)模型,并对模型进行了死锁分析,同时也分析了模型有效性和可靠性。运用Flexsim仿真软件对建立的OOTPN模型进行仿真优化,实验结果表明,出入库工作能力直接影响堆垛机和处理器的利用率,增加出入库工作组可以有效地提高智能仓库的工作效率。
关键词
智能仓库 出入库 面向对象赋时petri 网 复合作业
Keywords
intelligent warehouse outbound and inbound object oriented timed petri net（ootpn ） compound operation
分类号
TP273.5
[自动化与计算机技术—检测技术与自动化装置]
