软PLC梯形图向指令表转换新算法的研究与实现

通过对软PLC梯形图和指令表的分析,提出一种梯形图向指令表转换的新算法.该算法先将梯形图映射成AOV图,再用串并联扫描的方法化简AOV图,并转换成逻辑树,最后通过后序遍历逻辑树生成指令表.文中给出了一个转换实例,详细介绍了算法的使用及实现步骤,证明了该算法对于复杂的梯形图也能准确快速地生成指令表,具有实用价值.     

基于边被收缩图的有向有环图有向割集求解算法

为了提高有向有环图有向割集生成算法的效率,通过收缩有向有环图环路中的边将有向有环图转换成带收缩顶点的有向无环图,并使得生成有向无环图有向割集的算法可以生成有向有环图的有向割集.在理论上分析了本文提出的算法的时间复杂度和空间复杂度,并进行了实验测试.理论分析和实验测试的结果表明本文提出的算法是很高效的.     

递归算法向非递归转换的一般规则

递归程序结构简单、清晰,可读性好,且易于验证其正确性,但浪费空间且执行效率低.因此,有时需要把递归算法转换成非递归算法.本文给出了一种根据递归调用的内部实现原理把递归算法向非递归转换的一般规则,最后,说明非递归化应该注意的一些问题.     

两种有代表性软件图自动布局的研究

研究软件图自动生成中的软件图自动布局问题．把软件图分为无向的和有向的两大类，对于无向软件图，选择Ｅ－Ｒ图作为其代表；对于有向软件图，选择数据流图作为代表．对这两种图，分别给出其可读性准则，并建立了Ｅ－Ｒ图的行列整齐对联结式布局算法和数据流图的主流向式布局算法     

递归函数的非递归模拟

讨论递归的内部实现原理，就递归函数如何转换为非递归函数，给出一组转换规则。利用该组规则将图的深度优先搜索(DFS)和n阶勒让德多项式的递归算法转换成了等价的非递归算法。     

UML类图向OWL本体转换工具的设计与实现

介绍了UML类图向OWL本体转换的方法,给出了基于J2SE平台的转换工具(UML2OWL)的设计思想与实现技术.利用DOM API解析、提取UML类图元素,并根据UML-OWL转换规则,将其转换为相应的OWL本体元素.工具开发和案例研究表明,该转换方法在转换UML类图到OWL本体上是可行的,基于该转换方法的自动转换工具是可实现的.     

EXPRESS 向 OWL2 本体模型自动转换研究

为解决 EXPRESS 向本体转换中存在通用性差、 缺乏映射规则的形式化和自动转换等问题, 在不依赖领 域情况下, 提出两种语言间映射的形式化规则和自动转换算法。 该映射规则和算法实现了基于 EXPRESS 的石 油勘探开发国际标准数据模型(Epicentre)向本体的自动转化。 采用 Jena 推理验证了所构建的 Epicentre 本体的 准确性、 完整性和一致性。 结果表明, 该映射规则与自动化算法的有效性和普适性。     

语法图到产生式的自动转换

语法图和产生式是对语法的两种描述形式，一般在语言设计时采用语法图描述，在语言实现时采用产生式描述，从语法图到产生式的自动转换是编译程序自动化课题内容的一部分。作者对语法图的图符号给出了确切的定义，并提出了连接关系图的概念，从而把语法图和有限自动机联系起来，以有限自动机为过渡形式，使语法图到产生式的自动转换机理清晰，实现方便。不仅给出了语法图到产生式的转换原理，还给出了考虑优化的转换算法和具体实施步骤例，该方法在实际使用中有很好的效果。     

一种基于MDA的UML顺序图到状态图的转换方法

MDA(model driven architecture)是解决基于不同中间件系统的集成问题．它将不同的系统都结构化成PIM(platform independent model)和PSM(platform specific model)，并针对不同的实现技术平台制定多个映射规则，然后通过这些映射规则及辅助工具将PIM转换成PSM，再将PSM不断求精直至形成最后的代码．MDA中的模型转换有4种：PIM到PIM，PIM到PSM，PSM到PSM以及PSM到PIM．其中PIM到PIM转换最显而易见的是分析模型到设计模型的转换．UML是MDA的模型描述语言，因此UML顺序图到状态图的模型转换必将为MDA中的PIM到PIM转换提供有力的支持．介绍了从一个顺序图转换成多个状态图的算法，并进一步讨论了从多个顺序图转换到状态图以及简化状态图的方法．处于一个系统中的多个状态图不是孤立的，他们各自的状态转换是相互约束的，最后给出了组合多个状态图的方法，以及如何生成在同步约束下多个状态图的转换关系，并最终得到系统的状态图．     

复杂高层转换层结构的智能选型

分析复杂高层建筑结构转换层选型的主要控制因素,建立基于人工神经网络的复杂高层建筑结构转换层选型的数学模型.有针对性地收集国内外62个带转换层复杂高层结构工程实例,分别采用BP(Back-Propagation)算法和L-M(Levernberg-Marquart)算法进行复杂高层建筑结构转换层选型的研究.设计一种基于人工神经网络的复杂高层建筑转换层结构的智能选择,使单一设计人员通过向人工神经网络输入若干复杂高层建筑结构转换层的基本信息,便可在方案阶段解决高层建筑结构转换层结构型式选择.     

小型PLC功能流程图编程的转换方法

针对目前采用小型可编程序逻辑控制器（PLC）实现顺序控制所存在的问题，采用模块化转换思想，使用5种不同方法将顺序功能图转换为梯形图．提高了顺控编程方法的规律性，实现其编程方法的简单、实用．以西门子S7—200PLC为例进行实例转换分析，最后对各转换方法进行了综合比较．     

一种新的控制结构图设计技术

根据数据流程图处理逻辑的逐级细化原理和控制结构图模块逐层分解的原理，找出数据流程图上的逻辑模块与控制结构图上的物理模块之间的对应关系，从而实现由数据流程图快速完成控制结构图的设计。逻辑设计，物理设计，数据流程图，控制结构图，模块     

关于数据流程图画法原则的研究

数据流程图是信息系统开发中的重要工具,利用它可以沟通开发者与使用者的思想。但如何画好数据流程图,目前并没有统一的标准。提出了画好数据流程图的8条重要原则,遵照这些原则,使数据流程图的编制者能更容易地画出正确的数据流程图,更准确地描述出一个信息系统的开发思路。     

PID指令及应用研究--基于单片PLC的设计研究

介绍了单片PLC中PID指令的几个参数,建立了PID指令的运算流程,给出了在源程序中应用PID指令的使用方法,给出了梯型图结构和系统分析模型.     

图形文档布局加工的软件工具

本文对图形文档布局加工的设计思想和布局规则进行了描述,对两类常用的图形文档DFD和SC的布局加工给出了实现算法的概述。     

具有超价值结点影响图

系统阐述具有超价值结点影响图的拓扑变换准则，解释每种变换与数字处理计算间的对应关系及影响图应用的概念如条件依赖，联合概率分布展开，期望值，极大化等，提出了求解具有超价值结点影响图算法并举例说明。     

一种支持三维Delaunay三角剖分与Voronoi图生成的数据结构

目前,很多三维Voronoi图生成算法都是先构造Delaunay三角剖分,然后根据剖分后的数据结构来提取出Voronoi信息。在这个过程中,一种简单易处理的数据结构可以提高算法的效率,而在提取Voronoi信息时需要这种数据结构提供足够多的拓扑信息,以便快速简便地提取Voronoi信息。因此一种易于处理而又保有足够多拓扑信息的数据结构显得尤为重要。描述了一种数据结构,使Delaunay三角剖分算法的实现更加直观、简单,而且足够的拓扑信息简化了Voronoi信息的提取过程。     

一种确认控制的形式化方法

提出了一种基于事务的确认控制形式化方法.该方法在数据流图的基础上引入了数据流事务的概念,通过施加控制数据流规则和FSM语法,将数据流事务转换为FSM事务,消除了数据流图的歧义性;同时,将有限状态机作为FSM事务的控制原语,使事务的控制部分得以形式化,从而可实现确认控制自动化     

基于抽象实现结构图的数据流方程切片方法

提出在PASCAL抽象实现结构图上,采用数据流方程算法实现程序切片的自动化.该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域,实现了程序表示形式与程序切片处理形式的统一,避免了传统方法产生控制流图的需要,简化了切片处理过程,提高了切片处理效率,并直观地反映了切片后的程序变化.