【摘 要】
：
本文研究了在时态逻辑框架下自动化仓库分拣系统的工作过程。首先给出了离散事件过程的时态公式模型（ＴＦＭ），并讨论了在该模型下的性质分析问题。描述与分析了基于时态公式对被控对象
论文部分内容阅读
本文研究了在时态逻辑框架下自动化仓库分拣系统的工作过程。首先给出了离散事件过程的时态公式模型（ＴＦＭ），并讨论了在该模型下的性质分析问题。描述与分析了基于时态公式对被控对象、控制器和闭环期望动态行为，并对系统期望行为的可达性问题进行了形式化的证明。
This paper studies the working process of automated warehouse sorting system under the framework of temporal logic. Firstly, the temporal formula model (TFM) of discrete event process is given, and the problem of property analysis under the model is discussed. Describes and analyzes the expected behavior of the controlled object, the controller and the closed-loop based on the temporal formula, and formally proved the reachability of the expected behavior of the system.
其他文献
目的探讨急性左半结肠良性梗阻行一期切除吻合术的可行性及适应证。方法2003~2008年收治的18例左半结肠良性梗阻患者接受急症手术,均采用术中灌洗后一期切除吻合术,观察疗效
教育的根本目的是完善、健全人格和人性的发展，而它的最高境界却是诗性。一个人享受诗意的陶冶，过着有诗意的生活，这便是一个人所追求的崇高的精神境界。我们开展诗性教育，就是要培养诗意的人生。但诗性教育不是诗性与教育的一种简单拼凑，而是一种“教育需要诗性，诗性需要教育”的辩证融合。 ——著名儿童诗人 王宜振 一、 彩色的诗 [设计意图] 让学生们在欣赏诗歌中，想象诗所描绘的美丽图画，感悟诗的意境美。
柳传志先生联想控股有限公司董事长崇高使命:没有理想是无法把公司带向伟大目标的。什么是伟大的公司?首先是寿命长、能长期办下去,再好的公司,一年就关闭了,就等不到伟大;第
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
集团企业资金管理的目标是,资金利用效率最大而成本最低且风险可控,最终实现整个集团利益的最大化。如何加大对资金的集中管理力度,同时又要避免“挫伤”下属企业的积极性,似
本文针对并行处理机的Cache Coherence问题做了初步的探讨,分析了引起Cache不一致的三种原因。提出了解决Cache一致性的两种方法,写无效和写更新。并以此为基础深入的讨论了
国家教育部高教司教学大纲中规定,当前高等职业教育的非计算机专业必须开设计算机基础课程。可是这门课的讲授内容,目前尚处在探索阶段,某些学校将它变成办公自动化课程,讲
导课是课堂教学不可或缺的环节,也是一门艺术。巧妙的导课能先声夺人,有效地帮助学生开启思维、引发联想、激起探究欲望,为一堂课的成功铺下基石,收到事半功倍的效果。一、捕
激励即激发鼓励。激励能挖掘人们的潜力,开发人们的智力,调动人们的积极性、创造性。当职工感到自己力有所用,才有所展,劳有所得,功有所偿的时候,就会激发自觉向上的劲头。
记得女儿刚上小学两三天时,拿回来一个写字本,上面歪歪扭扭地写了几个简单的汉语拼音。尽管只有几行,但是可以看出女儿是用心写的,老师也用红笔批过,还写了一个“优”。女儿