模态逻辑与程序验证

本文探讨模态的一般概念,类似于客体变元视为集合化的个体,将模态变态变元视为集合化(或称为状态化)的客体变元,并在状态间建立了被称为可达关系的二元关系,当取状态为程序的执行状态时,将表示出各种不同的程序性质。为使程序性质便于演算,引入了程序语言的一种时态语义及若干推理规则,那么验证程序的不变性,部分正确性,完全正确性可与通常的一阶谓词演算一样进行逻辑推理。     

参数表以及模块化编程在中药发药机PLC控制程序中的应用

在介绍基于S7-200 PLC编程控制中药配方颗粒自动发药机工作的基础上,分析了参数表以及模块化编程在中药发药机PLC控制程序中的应用.参数表是指将大量参数以表的方式存储到PLC的变量存储器中,在PLC功能模块中通过指针引用来实现对参数表的访问.只读参数表也称为静态参数表,可以通过程序修改参数值的称为动态参数表.经实验证明,参数表以及模块化编程的应用大大简化了参数初始化过程,并使得PLC控制程序逻辑结构清晰,提高了程序的可读性与可维护性.     

程序条件化用于软件模型检测中的状态空间缩减

针对软件模型检测中的状态爆炸问题，提出将程序条件化技术用于软件状态空间缩减的方案．以程序性质的线性时序逻辑公式可能出现的蕴涵式的前件作为条件化的约束条件，通过分析程序符号化执行语义，借助自动定理证明器，对语句的可达性条件进行逻辑推理，删除那些与性质的可满足性无关的语句，以达到程序精简的目的．理论分析和实验结果表明，条件化可以有效缩减程序状态空间，而且缩减后的程序模型保留了原程序中与所需验证的性质有关的所有信息，满足软件模型检测对状态缩减的安全性要求．     

基于GEP的线性指数函数型程序不变量动态发现方法

不变量是用来描述程序运行时保持不变性质的逻辑断言.根据关系数据理论,程序不变量可分函数依赖型和非函数依赖型程序不变量.着眼于函数依赖型程序不变量,借助GEP的函数发现特点和Daikon对线性程序不变量的发现能力,重点对线性指数函数型程序不变量动态发现方法进行研究,通过实验证明了GEP对线性指数形式的函数有较高的发现效率,可以扩展Daikon在线性指数函数型程序不变量方面的预置形式以达到从程序轨迹数据中发现该类程序不变量的目的.     

流体逻辑网络计算机分析与修正

本文对流体逻辑网络计算机分析与修改进行了全面的研究。编写了计算机分析与修改的自动实现程序。此程序用FORTRAN77高级语言编写而成。实用证明,此程序自动化程度高,使用方便,能分析及修改大型的流体逻辑网络,大量节省人力,避免错误,其分析修改结果可达优化状态。具有较大的实用价值。     

PLC在液压一次工进动作回路中的应用

本文介绍了西门子S7-200可编程序控制器在一次工作进给液压回路中的应用,证明PLC控制优于继电器控制。     

6层电梯模型控制系统的PLC设计与调试

本文针对某电梯模型控制系统,对PLC的设计和调试进行了形象的阐述,首先介绍了总体设计方案,然后讨论了电梯的控制程序设计和上位机监控设计,最后对模型中的PLC进行软硬件模拟调试和联机调试并对不合理的地方进行了更正和完善,在实际运行中,电梯功能比较稳定,证明该设计比较成功。     

PLC在电力机车牵引变电所控制中的应用

通过在电力机车牵引变电所中采用可编程序控制器(PLC),实现了断路器的控制、保护、检测及对整个过程的状态分析,为变电所的控制和保护提供了参考依据.     

0-1和多值可达矩阵的性质及应用

讨论0-1可达阵的基本性质及其在认知诊断中的重要作用,证明可达阵导出的学生Q阵在先决关系下构成1个格,给出了多值可达阵的计算方法和基于多值可达阵的扩张算法,还给出已知属性最高水平下多值可达阵和0-1可达阵相互转换的膨胀和压缩算法,发现多值可达阵实质上是0-1可达阵的压缩形式,并讨论多值可达阵的性质及其在认知诊断中的应用.     

用PLC实现压机的自动控制

PLC在工厂的自动化控制系统中应用越来越广泛,通过某化工厂压机的PLC控制系统设计过程,说明PLC控制系统的设计方法和设计过程,给出了系统的原理电路图、程序结构图、程序的顺序功能图、程序梯形图和程序指令表,对一般的PLC控制系统设计有一定的指导参考价值.     

PLC在液压实验台上的应用及仿真程序设计

在对拆装式液压实验台传统控制系统进行分析的基础上 ,介绍了基于PLC控制的仿真程序设计的方法 ,以差动保压回路为例模拟实验台回路工况 ,并将其应用到教学实践中     

集成化PC数控系统中软PLC的研究开发

讨论了在集成化PC数控系统中软PLC的实现方法．并在Liniux系统平台下用MiniGUI开发了软PLC的应用程序和图形用户界面。在详细论述了MiniGUI的特点后,给出了基于MiniGUI开发的软PLC图形界面的具体实现方法和程序框图,并对其中软PLC执行进程做了重点阐述。     

PLC梯形图设计中的关键技术

ＰＬＣ控制系统设计的核心问题是程序设计。本文介绍了ＰＬＣ梯形图设计前必须的准备工作以及ＰＬＣ梯形图设计中的基本规律和关键技术。     

PLC在印刷开槽机中的应用

介绍了PLC的组成原理、编程语言及编程规则,阐述了PLC在印刷开槽机中的应用,以印刷开槽机中的定位和减速控制为例,给出了PLC的程序设计及实现.     

PLC接点扩展分时处理技术在液压机上的应用

详细论述了利用锁存器、固态继电器等器件对 Ｐ Ｌ Ｃ Ｉ／ Ｏ 接点进行扩展的方法， Ｐ Ｌ Ｃ应用程序采用分时处理的方式对 Ｉ／ Ｏ 接点的信息进行处理，达到了成倍扩展 Ｐ Ｌ Ｃ的 Ｉ／ Ｏ 能力的目的。文章给出了硬件扩展电路、分时处理程序及液压机控制实例。     

PLC控制的电梯运行计算机模拟调试系统

可编程控制器（ＰＬＣ）在电梯改造中被广泛采用．一个能仿真ＰＬＣ和电梯运行环境的计算机程序，能使ＰＬＣ电梯程序的调试变得简便、安全、有效；良好的Ｗｉｎｄｏｗｓ界面便于用户掌握和使用．     

用Visual C＋＋实现PC与PLC之间的串行通讯

在工业控制中，常常需要对PLC的采集数据和工作状态进行监测控制，实现的方式有VB、DELPHI、PB等．Visual C＋＋是一种Windows应用程序开发工具，在图形处理和数据库管理等方面具有较强的功能，用它来实现底层的通信控制有着更快的速度，采用Visual C＋＋和MFC实现实时要求较高的小型控制系统中的PC和PLC的串行通讯系统，给出了系统的通讯原理和软件设计方法，实现数据的快速发送和接收，实时自动控制准确、快速。该系统简单、经济、稳定、实用性强并已成功应用于实际系统中。     

PLC应用程序可靠性试验与研究

本文阐述了PLC应用程序可靠性试验的重要性 ,提出了验证PLC应用程序可靠性的四种试验方法并给出了调试实例。