关系数据库到XML数据库转换中间件的设计与实现

介绍了从关系数据库到XML数据库转换的两种方法:面向XML的XML模板转换和面向DB表格模型转换;设计了面向DB的表格模型转换的中间件;实现了在B/S网络环境下用ASP调用中间件,将关系数据库的数据模式转换为XML DTD(document type definition),将关系数据库中的数据转换为XML标记。     

离散事件控制系统规则化描述方法的研究

离散事件控制系统(DECS)是离散事件系统(DES)在控制领域的一个应用类别,具有并发性、多值性、时序性和需求易变等特点。文章分析了现有的各类逻辑层DES建模方法在DECS建模和分析方面存在的缺陷,在此基础上,运用专家系统中的规则表达方法和递阶DECS简约技术,从逻辑层角度,建立了一套规范、简洁、贴近自然语言和易于理解的DECS规则化描述方法。     

PLC程序形式化的设计与验证

从形式化方法的角度出发,阐述可编程逻辑控制器(PLC)程序的形式化设计和验证方法的相关研究.在形式化设计方面,分析了根据Petri网和自动机模型判断程序正确性和可靠性的研究成果;在形式化验证方面,分析了PLC语言与形式化模型的转换和基于NuSMV或UPPAAL的验证方法.最后,比较将两种形式化方法应用到PLC程序的特点,探讨现有成果中存在的问题及研究发展方向.     

模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

面向电信业务的基础设施云监控系统

目的设计并实现一个面向业务的基础设施云监控系统(BOICM)。方法从面向业务的角度,提出了基础设施云监控系统的交互模型、概念模型和实现模型。基于上述模型,设计并实现一个面向业务的基础设施云监控系统原型。结果 BOICM能够全面监控业务、物理机和虚拟机的运营状态,能够自动发现、定位并处理运营的异常情况。结论该系统具有良好的性能,能够为IaaS云平台提供支撑。     

基于面向服务业务流程管理的系统架构建模

信息时代对业务流程管理结合面向服务架构的需求愈发显著,针对现阶段该领域研究中,概念与建模语言相脱节、忽视计算无关模型到平台无关模型的转换、难以贯穿系统多个视图等不足,将业务流程管理(BPM)与面向服务架构(SOA)方法结合应用到面向服务系统架构的业务流程建模。通过区分本体元模型与标记元模型的概念,在两种元模型之间分别建立映射关联:语义层映射和语法层映射,并以BPMN和SoaML为具体建模语言分两步推理实现。最后将所提出的建模方法及BPMN和SoaML之间的映射规则应用于一个游乐园智能手环系统架构建模案例中,验证了方法的可行性。     

触摸屏组态软件的PLC驱动程序的实现

目的 设计实现触摸屏组态软件PLC的驱动程序.方法 采用标准的通信协议,建立PLc驱动的实现框架来开发各种不同的PLC驱动程序.结果 分析了嵌入式触模屏下PLC驱动程序的实现,在此基础上给出了实际应用的例子并建立通用的PLC设备的驱动开发程序模型.结论 该驱动模型采用ARM和P89C51的嵌入式系统的实现,证实了该设计的实际可行性.     

PLC语句表向梯形图自动转换的实现方法

实现可编程控制器语句表向梯形图的自动转换,是提高可编程控制器应用系统的维护和改造效率亟等解决的问题．文中通过对PLC指令及其对应的梯形图图符进行分析．总结出由PLC语句表生成梯形图的规则,并分析软件实现的主要数据结构及其关键技术．实验结果表明,软件能正确实现PLC语句表向梯形图的自动转换,可广泛应用于PLC应用系统的设计．改造和维护。     

基于XSLT的产品数据格式转换研究与应用

阐述了面向转换的可扩展样式标记语言(XSLT)的相关规范,在已有的液压缸XML模型基础上,分析了描述液压缸BOM数据的源XML树代码,给出了在源树上操作的XSLT样式表以及由这个操作得到的HTML试验输出结果,此技术为实现网络环境下的产品数据格式转换提供了简化的方法。     

PLC梯形图的设计方法探讨

PLC梯形图的设计方法是PLC系统应用中的关键环节,PLC梯形图的常用设计方法包括逻辑设计法、时序图设计法、继电器控制电路转换设计法。