[1]毕诸明,李小宁,朱岩,等.FMS运行控制软件调试环境排错功能的实现[J].南京理工大学学报(自然科学版),1996,(02):44-46.
 Bi Zhuming Li Xiaoning Zhu Yan Huang Xinyan Zhang Wen.Debugging in Testing Environment of FMS Controller[J].Journal of Nanjing University of Science and Technology,1996,(02):44-46.
点击复制

FMS运行控制软件调试环境排错功能的实现()
分享到:

《南京理工大学学报》(自然科学版)[ISSN:1005-9830/CN:32-1397/N]

卷:
期数:
1996年02期
页码:
44-46
栏目:
出版日期:
1996-04-30

文章信息/Info

Title:
Debugging in Testing Environment of FMS Controller
作者:
毕诸明李小宁朱岩黄新燕张雯 姜 浩
南京理工大学制造工程系, 南京210094
东南大学计算机系, 南京210008
Author(s):
Bi Zhuming Li Xiaoning Zhu Yan Huang Xinyan Zhang Wen
Department of Manufacturing Engineering, NUST, Nanjing 210094) Jiang Hao
关键词:
控制系统理论 计算机应用 应用程序
Keywords:
cont rol system theo ry net s computer applications applicat ion program
分类号:
TP206.3
摘要:
FMS运行控制软件调试环境的主要职能是利用计算机模拟柔性制造系统环境,为FMS运行控制系统或单元控制器提供一种计算机辅助形式的调试和测试手段,其中,对FMS运行控制软件测试排错是FMS运控软件调试环境的基本功能之一。该文在Petri网(PN)理论基础上,在库所中引入结构,提出一种新的高级PN模型MPN(MacroPetriNet),这种模型对不同的FMS环境配置具有开放性,测试驱动下的运控指令序列转化为对应的MPN状态变迁,可应用PN理论实现对被测系统软件的测试排错。
Abstract:
T est ing enviro nment fo r FMS co nt rol sof tw ar e is desig ned to prov ide a computer -aided debugg ing and test ing method by simulat ing running situation of FMS. It validates the funct ions and ef f iciency of FMS cont roller, detects and analyses errors hidden in the cont rol softw are in order to help the sof tware desig ner to eliminate them. Debugg ing is an important funct io n of testing environment of FMS cont ro ller , the paper present s a new type of hig h lev el petr i net MPN ( Macr o Pet ri Net ) , itps model is mo re describable and po pular than that o f other hig h-lev el Petr i Net and can been established computerically . When the co nt rol commands are t ranslated into the t ransit io ns in MPN model, test ing environment can perform test ing and debugging for FMS cont roller by the theo ry o f Pet ri net .

参考文献/References:

1 Derjeng Mu. A rev iew o f synthesis techno lo gy fo r Pet ri nets w ith applications to automatio n ma nufacturing systems. IEEE Tr ans, on Man and Cy ber netics, 1994, 10( 2) : 196~209
2 袁崇义. Pet ri 网. 南京: 东南大学出版社, 1991
3 Sur i R. An o ver view o f evaluativ e models fo r flex ible manufacturing system . Annals of Oper atio ns Res, 1985, 3: 12~21
4 Genr ich H J. Sy stem mo deling with hig h-level nets. Theor etical Com puter Science, 1981, 13: 109~136
5 Nar ahari A. Petr i net appr oach to mo deling and analy sis o f flex ible manufactur ing systems. Annals o f Opera tio ns Res, 1985, 3: 449~472
6 王商武. 基于Petr i 网的柔性制造系统建模与分析: [ 博士学位论文] . 北京: 清华大学, 1993

相似文献/References:

[1]黄巧曼,孙亚民,兰少华.SLIP/PPP 原理分析及其在校园网中的应用[J].南京理工大学学报(自然科学版),1997,(06):50.
 HuangKeywords protocol.Principle of SLIP/PPP and Their Applications in Campus Network[J].Journal of Nanjing University of Science and Technology,1997,(02):50.

备注/Memo

备注/Memo:
国防科技预研行业重点攻关基金项目
毕诸明 男 30 岁 副教授
更新日期/Last Update: 2013-04-11