【摘 要】
：
自动制造系统（AMSs：AutomatedManufacturingSystems）Petri网控制器形式化设计是AMSsPetri网控制器自动设计的理论基础。本文以AMSs计划（Planning）层和调度（Scheduling）层生成的工序
【机 构】
：
西安电子科技大学电子机械学院,西安电子科技大学电子机械学院,西安电子科技大学电子机械学院
论文部分内容阅读
自动制造系统（AMSs：AutomatedManufacturingSystems）Petri网控制器形式化设计是AMSsPetri网控制器自动设计的理论基础。本文以AMSs计划（Planning）层和调度（Scheduling）层生成的工序序列（OperationSequences）和资源需求序列（ResourceRequirementSequencces）为基础，为顺序共享资源AMSs设计了一种规格说明语言。通过对位置和变迁引入输入输出状态函数，结合所设计的规格说明语言，可以自动生成AMSs实时控制PETRI网控制器的表格表达式，该表达式为模型分析和AMSs技制软件自动生成奠定了基础。最后，用一个实例说明了设计过程。
AMSs: Automated Manufacturing Systems Petri Net Controller Formal design is the theoretical basis for the automatic design of AMSsPetri net controllers. Based on the Operation Sequences and ResourceRequirement Sequences generated at the Planning and Scheduling layers of AMSs, this paper designs a specification language for AMSs. By introducing the input and output state functions for position and transition, and combining the designed specification language, the table expressions of AIMS real-time control PETRI network controller can be automatically generated, which forms the foundation for model analysis and automatic generation of AMSs technology software . Finally, an example illustrates the design process.
其他文献
Abstract3GPP LTE has approved uplink intra-cell power control and defined overload indicator(OI)for uplink inter-cell power control to mitigate the inter-cell i
目的：优化表面活性剂微泡的制备工艺；探讨溶液温度、声振功率及声振时间对表面活性剂微泡制备的相互影响。 方法：取一定质量比的司盘60、吐温80、氯化钠，溶解于50 mlPBS缓冲液
在新课程改革的背景和推动下,教育界在知识观、课程观、学习观都有了很大的转变.当然,一轮课程的改革不是一帆风顺的,其中难免会有理念上和现实上的冲突.要在实践中正确把握
目的
肺癌是目前世界上最常见的恶性肿瘤，从大体上可分为小细胞肺癌(SCLC)和非小细胞肺癌(NSCLC)。其中大部分为非小细胞肺癌，约占80％，小细胞肺癌约占20%。约65%～70%的非小细
实现农民增产、增收、增效的关键是搞好产业结构调整。但是目前传统单一的种植模式始终是困扰阻碍农民增产、增收的主要原因。改变传统的种植模式,科学合理的采用高效种植模
我国种植黑芝麻的历史悠久，相传汉张骞得其种于西域，原名胡麻。晋时改名芝麻，又名脂麻、油麻、巨胜，种子有黑白二种，皆可榨油。《神农本草经》记载：芝麻补五脏，益气力，长肌肉，填脑髓，久服轻身不老。《本草纲目》称服(黑芝麻)至百日，能除一切瘤疾；一年面光泽不饥，二年白发返黑，三年齿落更生。 祖国医学认为，黑芝麻味甘性平，为滋补强壮之品，有补血、润肠、生津、通乳、养发、滋养肝肾、养血润燥的作用。据营养学
对热连轧窄带钢稳态轧制过程中自适应增益系数α的确定进行探讨，以４５０ｍｍ热连轧机为仿真对象，分析各种影响α的因素，用数理统计中未知方差σ２的参数区间估计方法确定实测数据的置信概率
“猴哥猴哥,你真了不得…”“你挑着担,我牵着马……”一首首经典的曲目,镌刻着一段段真切的回忆。悟空的神通广大,让我好生羡慕;悟能的油嘴滑舌,憨厚可爱,让我们时常捧腹;悟
在社会生活中，为了维护公共秩序，遵守社会公德，维护公共安全、公共卫生，罚款作为一种经济管理手段在一些部门、领域是有一定的规定的，如踩坏草坪罚款20元、随地吐痰10元，违反交通规则，闯红灯50元。这种罚款方式似乎有一定的道理，通过罚款，限制人们的不规范行为，从而能够维护社会秩序，如果尤其作用于学生身上，那不禁就得打上个问号了。 据《中国青年报》披露：某省，某市部分中学把罚款作为一种重要的管理方法，
一、涉及的有关税种 1、营业税。是指对在我国境内提供应税劳务、转让无形资产或者销售不动产的单位和个人征收的一种税。所谓转让无形资产是指转让无形资产的所有权或使用权的行为，包括转让土地使用权、转让商标权、转让专利权、转让非专利技术、转让著作权和转让商誉。 2、企业所得税。是指国家对境内企业生产、经营所得和其他所得依法征收的一种税。其中纳税人因提供转让专利权、非专利技术、商标权、著作权