1、“.....天津工程师范学院届毕业设计论文参考文献谢其盛我国混凝土搅拌站楼的现状及其发展方向的探讨,安徽,中国公路机械,陈世利孙墨杰栗大超等触摸屏的工作原理及典型应用,天津,天津大学,廖常初可编程序控制器的编程方法与工程应用,第版,重庆大学出版社陈斌林小峰许光泞等在商品混凝土搅拌站自动控制系统中的应用，工矿自动化,周秀君触摸屏结合在混凝土搅拌站楼中的应用,建设机械技术与管理,赵本华商学来混凝土搅拌站中可编程控制器开关量软件抗千扰设计，混凝土，李飞周明触摸屏和组成的改性沥青自控系统,中国建筑防水,刘桂涛章青王慧清基于自动控制的水泥搅拌系统研究，科学技术与工程,孙振军付建华黎秀文沥青计量供给系统中沥青回流现象的控制,建设机械与管理......”。

2、“.....中国造纸,赵芳李从冰基于的污水处理系统,工业控制计算机,潘建森在水利排灌站智能化管理中的应用,自动化博览,高桂珍混凝土搅拌站综述,建设机械技术与管理,鲁言峰小量程称重传感器自动测试装置控制系统,衡器,,电气英文版,,东北农业大学学报英文版,天津工程师范学院届毕业设计论文,国际设备工程与管理英文版,,天津工程师范学院届毕业设计论文附录英文翻译控制程序的验证和优化和计算机科学系,大学计算机科学系,大学摘要本文报导了有关对于进程控制程序验证和最优控制程序推导的模式检测器。这项工作是作为研究项目混合系统的验证的部分来开展的，在这项工作中实验用化学设备的可编程逻辑控制器的程序必须要经过设计和验证......”。

3、“.....尽管实时型检测器的符号运算器有可能很贵但测试开发非实时型检测器的效率是很有意义的，就像在有可能存在的工作区内进行样。在此项目中对可编程逻辑控制器的相关实时参数进行处理并且这些可编程逻辑控制器都运用时域采样技术。对于此进程我们在中运行种所谓的变时超前程序。这项技术的研究足够可以证明在合理的时间和空间的要求下验证控制器的设计和推导优化程序。介绍当今，混合系统的验证在个正规的系统领域里是个流行的主题。不连续和连续的现象的出现给我们的规范和建模技术以及我们分析的能力提出了个鼓舞性的挑战。这促进了新的发展和涌现更有效的模式，比如时控的和混合的自动控制，以及新的验证方式，大部分显著的检测技术模式包括实时和混合方面的符号处理。举个重要的例子......”。

4、“.....它们都包括处理设备的数字控制，比如化学设备。具有相当大实用性价值的过程控制器都利用可编程逻辑计算机或可编程逻辑控制器。不幸的是，可编程逻辑控制器和它们有关的设计语言没有定义成正规的形式，语义学使可靠的控制器的设计和它们的分析变得复杂。为了混合系统的分析而对专业的正规模式和方法的效力进行评估，混合系统验证研究项目已经写出了许多项目论文。其中篇论文谈到了对于实验用的化学设备的可编程逻辑控制器程序的设计和验证。天津工程师范学院届毕业设计论文在这些论文中报导了为了对于特定设备的过程控制程序的验证以及最优控制程序的推导而使用的模式检测器。它是对进程控制器的正确设计的个指南。这种方法的目的是调查有多少种检测的环境的标准模型可以使用......”。

5、“.....就像在有可能存在的工作区内进行样。在此项目中对可编程逻辑控制器的相关实时参数进行处理并编语句。这里，我们主要做的是读出对于存储器中的常数是真是假并且往存储器中写入变量，也就是，代表变量。动作的限制标志在每个程序的顶部表示当控制信号来到时这些指令有权仅在第个扫描周期内运行表示当控制在此位置时这些指令仅在最后个扫描周期内运行。程序的主要的复杂性在于激活条件。我们假设对于每步都有个变量，表示控制信号是否在相应的步骤里这些变量在可编程逻辑控制器都是可用的。程序开始的条件如下所示容器的填充程序必须考虑到个输送步骤上面的容器必须包含足够的原料，下面的容器必须有足够的空间等等。这些条件被编码成图的变量......”。

6、“.....也就是，当把溶液从容器输送到容器中时就不应该发生从容器向容器输送原料的动作。这个要求是由有关阀门的条件得出的当溶液从容器向容器输送时阀门必须在输送过程中关闭。这些要求引出了个在输送过程的茅盾结构。它要求控制信号不能同时出现在两个茅盾的步骤中。这个条件分成两个部分首先，如果茅盾的步骤已经发生那么控制信号就不能再去其他的步骤。这些条件被编码成图中的变量。其次，当茅盾的步骤同时拥有控制信号时只有个有优先权。这些优先权是固定的，并且它们的优先权是自由循环的。它们就形成了图中的变量。天津工程师范学院届毕业设计论文图步骤到的指令序列程序这种可编程逻辑控制器的执行机制保证了相同步骤的同步运行每个扫描周期内每步骤的程序只执行次。这种同步机制使条件达到预期的作用......”。

7、“.....对于验证，构造了种控制程序模式和设备,完成采样工作。我们用模式检测器检测所有能够使混合工作不断进行的组合模式的执行顺序。这就意味着在理想的环境下，没有原料在泄漏和蒸发以及不断地混合的过程中损失，所谓的控制就是使混合工作能够不断的进行。有关验证程序的细节在第章第节中进行说明技术上的总结在第章中说明......”。

8、“.....对于进程在中运行种所谓的预置时间程序。这项技术的研究足够可以证明在合理的时间和空间的要求下验证控制器的设计和推导最优程序。这篇论文其余的部分如下所示第二章对混合设备进行了描述，对于可编程逻辑控制器的特性和控制程序的描述在中有详细地说明。第三章描述了设备的模式和控制过程，以及在正式的验证和最优化工作中的运用。第四章对上述内容做出总结。系统描述这项研究的系统基本上是嵌入的系统，由混合设备和个可编程逻辑控制器组成，在下面都有对它们更详细的描述......”。

9、“.....设计的动作首先是不断进行混合，然后控制程序会定期优化，也就是使进行混合的平均时间最短。混合设备的描述这项研究的混合设备见图是个实验用的化学设备，最初是为学生实验而设计。下面我们来描述它的主要特性在上有更多细节的说明。这个设备是用来混合浓盐溶液在容器中和水在容器中来对溶液进行稀释。这些成分在容器中混合以得到被稀释的溶液，然后运送到容器中再送到容器中。在容器中进行蒸发。被蒸发的水经过个冷凝器送到容器中，水被冷却后又被抽回容器。容器中残留的热的浓盐溶液被送到容器中，冷却后抽回到容器中。被控的混合设备是个明显的混合系统。不连续的成分是控制程序以及阀，搅拌器，加热器，冷却器开关，起动停止的抽象的状态。连续的成分是容器充满程度，温度，以及时间......”。