状态驱动的可执行业务流程模型的设计与实现

在企业间的流程协同过程中,为了使企业的业务规则管理更灵活,防止企业私有的业务规则暴露给其他企业,并有效地监控流程的执行过程,将业务规则库和Web服务有机地整合,构建状态驱动的可执行业务流程模型(SEBPM)。通过定义抽象业务流和扩展的业务规则,得出业务规则和过程流之间的耦合策略。给出一个SEBPM的具体应用实例。

模型驱动的业务流程执行方法研究

模型驱动体系结构对于增强业务流程管理系统的模型重用性和软件开发效率有重要作用。以往研究主要集中于MDA在流程建立阶段的作用,目的是介绍模型驱动方法在流程执行阶段的应用。采用构造基于XML Schema的业务流程集成元模型,包括过程、业务数据和组织机构三方面,再基于元模型建立易于扩展和重用的平台无关模型,最后按映射规则生成代码组件、SQL语句和用户界面,并由三种模型的逻辑关系得到业务流程执行元模型的框架。实践结果表明基于XML的业务流程模型能方便地转换为可执行的程序组件,并能在业务流程引擎的协调下有效运行。模型驱动方法能有效地运用在业务流程的执行阶段,下一步的研究重点是业务流程引擎代码框架的映射规则定义以及MDA在业务流程仿真中的应用实现。

基于计划驱动的技术状态更改执行模式研究与开发

针对目前飞机研制阶段的技术状态管理过程中,因技术状态更改执行存在“慢、漏、长、乱”导致技术状态失控,飞机研制不满足“好、快、多、省、实”的情况,基于产品在制实物信息精准追溯,提出了一种由计划驱动的技术状态更改执行模式,构建了应用模式的配套信息化管理平台,解决技术状态更改执行存在“慢、漏、长、乱”问题,实现技术状态敏捷响应、全面覆盖、过程可控、精准清理,有效保障了飞机产品研制的技术状态清楚、一致。

基于状态观测器的压电自感知执行器研究

压电执行器存在迟滞非线性,常需要附加位移传感器以组成闭环校正。拟用执行器自感知位移和力,省去外部传感器。对压电双晶片执行器设计了电压驱动电路,同时用积分电路获取其上电荷的复合电路。基于此电路,无外载荷下,执行器可以自感知位移;有外载荷下,采用状态观测器方法,执行器可估计自身结构位移和应力,观测器中用广义Maxwell滑动模型描述迟滞以补偿迟滞非线性。基于观测器的自感知方法避免了电桥法自感知电路阻抗不易匹配的问题。试验证明了上述方法用于压电自感知位移执行器的有效性。

数据驱动的批作业执行自动机模型

模块化的状态自动机实现了作业的执行。以数据库为中心的配置信息存储与模块间参数传递,构建了整个系统的接口与框架。基于临界区的代理事件处理模型实现了数据流驱动。系统支持并发、流水,易于扩展。

面向服务架构的流程状态保存与恢复方法

以业务流程执行语言(BPEL)为基础,选取无状态的Web服务,采用有色Petri网模型描述业务流程,设计一种多输入多输出、引擎集中式的流程执行结构,使用关联矩阵和消息的双向传递实现应用级的状态保存。当流程异常中断时,提供恢复执行所需的最小状态集合,保证基于Web服务BPEL的面向服务架构应用的正确性和连续性。实例分析表明,该方法实用性强、可靠性高。

液电混合直线驱动系统位置控制特性研究

提出了一种采用电机械直线执行器和液压缸的液电混合直线驱动系统。为消除电机械直线执行器和液压缸之间的耦合影响,液压泵和比例阀协同控制液压缸输出力和运行方向,满足系统负载力需求,电机械直线执行器用于运动控制,并补偿液压缸输出力波动和外部干扰力。为实现上述目标,设计了基于扩张状态观测器的电机械直线执行器自适应滑模控制方法,以估计的负载力调节泵压力和比例阀开度,对液压缸输出力进行调控。比例阀在系统运行中主要用于控制液压缸运动方向,阀开度较大,可显著降低节流损失。通过仿真和试验分析了系统的运行特性和能效特性。结果表明,该系统具有良好的位置控制特性,能量效率高,较传统阀控系统能耗减少51%。

模型学习与符号执行结合的安全协议代码分析技术

符号执行技术从理论上可以全面分析程序执行空间,但对安全协议这样的大型程序,路径空间爆炸和约束求解困难的局限性导致其在实践上不可行。结合安全协议程序自身特点,提出用模型学习得到的协议状态机信息指导安全协议代码符号执行思路;同时,通过将协议代码中的密码学逻辑与协议交互逻辑相分离,避免了因密码逻辑的复杂性导致路径约束无法求解的问题。在SSH协议开源项目Dropbear上的成功实践表明了所提方法的可行性;通过与Dropbear自带的模糊测试套件对比,验证了所提方法在代码覆盖率与错误点发现上均具有一定优势。

创新是最强驱动力

专访GEA Wiegand公司首席执行官Christopher Braun博士——2020年初,GEA着手建立新业务流程,将2个功能性业务事业群划分成5个事业群,其中就包含了Liquid&Powder Technologies(液体和粉体工艺技术事业群旗下的化工技术事业部)。已管理GEA Wiegand业务19年的Christopher Braun博士期望这项变化将达成更清晰的责任划分。他相信热分离技术将发现增长领域,特别是在那些具有吸引力的细分市场。

Windows 98巧装移动硬盘驱动程序

制作好一个Windows 98启动盘．将其中的文件拷贝到安装有Windows 2000系统的电脑中。在连接移动硬盘．先将Windows 98启动盘中的内容全部复制到移动硬盘中。接着再用WinRAR等压缩工具．将移动硬盘的驱动程序打包成一个可执行程序将它复制到移动硬盘中。此后．将移动硬盘插入无光驱软驱Windows 98的USB端口中．并通过移动硬盘的系统引导功能将Windows 98系统先启动到DOS环境中，在命令行状态下．利用COPY命令将移动硬盘的驱动程序可执行文件复制到Windows 98工作站的硬盘中。以正常方式启动Windows 98对可执行文件自动解压就可以得到移动硬盘的驱动程序了。

长时延闭环网络控制系统稳定性分析与H_∞控制器设计

研究了传感器、执行器为时钟驱动,控制器为事件驱动,网络诱导时延大于一个采样周期的网络(NCS)的稳定性问题。首先将NCS视为时变时滞系统,然后利用Lyapunov-Krasovskii V泛函方法,在处理V导数的时候,不进行放大估计,而是通过引入一些恰当的零项,构造出LMI,得到了闭环系统渐近稳定的一个充分条件,并给出了系统H∞控制器的设计方法。Matlab仿真算例说明了本文方法和结果的有效性。

基于MDA的SOA服务协作模型

BPEL是业务流程执行语言用来描述SOA的服务协作模型,实现对已有系统业务流程的编排。但其随着整合已有系统的增多和业务流程复杂性的增加,BPEL建模也变得异常复杂。本文给出了一种基于MDA模型驱动转换的方法来建立SOA服务协作模型。针对建立SOA服务协作模型的复杂性,在平台无关层建立UML活动图描述服务协作模型的交互过程,通过建立模型之间的映射规则,将平台无关层模型自动转换到平台相关层BPEL模型,试验表明:该方法能较好地简化SOA服务协作模型的建立过程。

基于MDA的Web服务动态组合的研究

针对目前Web服务动态组合方面出现的技术问题,给出了基于MDA的Web服务组合的方法。MDA具有将功能需求与具体实现技术分离的优势,因此可以有效地解决Web服务动态合成的可靠性、灵活性、复用性问题。在给出了结合MDA思想的服务合成体系框架的基础上,分析了UML类图与WSDL语言元模型、UML活动图与WS-BPEL语言元模型的对应关系以确定模型到代码的转换规则。最后以某制造企业的案例验证该技术的可行性。

具有超声波激励装置的电动工具机

DE 42 91 110 T1公开了一种用于在治疗患者时或在实现治愈后移除石膏绷带和塑料成型绷带的超声波切割装置。为了显示出超声波切割装置的运行状态并且作为警告：即切割刃处于切割的工作状态中,提出了一种声学的信号发生器,其在操纵开关时发出蜂鸣信号。

对TSGT7001-2009中电梯驱动主机检验项目的几点理解

驱动主机是电梯系统中重要的执行机构，为电梯提供动力、工作制动等基本功能。对驱动主机的工作状态检查是电梯检验检测人员重要的检验内容之一。TSGT7001—2009《电梯监督检验和定期检验规则——曳引与强制驱动电梯》（以下简称“检规”）中第2．8项对驱动主机的工作状态作出了3款要求。对于此3款的检验，笔者理解如下。