期刊文献+

基于PC数控实时检测系统建模方法研究 被引量:3

Research on Modeling Method of the Real Time Inspection Systems in Numerical Control System Based on PC
下载PDF
导出
摘要 为了解决在基于 PC的数控系统中快速构建实时检测系统的问题 ,采用着色时间网对实时检测系统建模 ,应用着色时间网统一地表达了检测系统在基于 PC数控系统中的时间关系、资源关系和系统的控制策略 。 To solve the problem of quickly constructing the real time inspection systems in numerical control system based on PC. A model of the inspection system has been established by colored timed Petri net(CTPN) in the paper. Based on CTPN, the time relationship, resource relationship and control strategy are simultaneously described between the inspection system and the numerical control system. This provided a novel method to analyse the performance of the system and to construct the real time inspection system quickly.
出处 《中国机械工程》 EI CAS CSCD 北大核心 2003年第20期1777-1779,共3页 China Mechanical Engineering
基金 国家自然科学基金资助项目 (5 9775 0 89)
关键词 实时检测系统 PC数控 着色时间网 模型 real time inspection system numerical control system based on PC colored timed Petri net modeling
  • 相关文献

参考文献5

  • 1Ramamoorthy C V,Gary S H. Performance Evalution of Asynchronous Concurrent Systems Using Petri Nets. IEEE Transactions on Software Engineering, 1980,6(5) :440-449.
  • 2Kurt Jensen. Coloured Petri Nets. Springer, 1997.
  • 3Yao Y. A Petri Net Model for Temporal Representations and Reasoning. IEEE Trans on Systems,Man and Cybernetics. 1994,24(9):1374-1382.
  • 4Ghezzi C, Mandrioli D, Morasca Set al. A Unified high-level Petri Net Formalism for Time-critical Systems. IEEE Trans Software Eng , 1991 ,SE-17:160- 171.
  • 5Aloysius K M, Chen Deji. A Multiframe Model for Real-time Tasks. IEEE Transactions on Software Engineering, 1997, 23(10) : 635 - 645.

同被引文献11

引证文献3

二级引证文献7

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部