软件体系结构动态特征建模与验证

针对软件体系结构描述语言在分析、验证软件构架动态行为中的不足,采用谓词/变迁(Pr/T)网为软件体系结构动态行为建模,并提出了基于线性时序逻辑的软件体系结构动态行为模型验证方法.首先根据体系结构层次模型扩展Pr/T网建立体系结构动态行为模型(DFM)并构造DFM的可达图,然后使用基于自动机理论的方法来验证模型的时态逻辑性质,最后通过对一个电子商务系统实例的并发控制机制建模和模型检测,验证了该方法的有效性.所提方法结合了Pr/T网和线性时序逻辑的优点,为进一步开展软件体系结构动态行为的分析、验证奠定了基础.     

UML类图元模型基于描述逻辑的表示及验证

UML类图元模型采用非形式化的表示,无法对其结构语义进行严格的描述,因此提出一种UML类图元模型基于描述逻辑表示及验证的方法.在对UML类图元模型进行分析的基础上,构建了UML类图元模型基于描述逻辑SHOIN(D)的约束规则集,并验证了UML类图元模型与其构建模型间的一致性.     

基于BPEL描述的移动工作流的协同机制与实现

针对基于面向服务架构的移动信息服务平台,研究了移动工作流的结构模型,分析了流程设计中的Web服务接口及其消息驱动的协同机制.移动工作流主要依赖SMS和MMS协议发起同外部进行通信和服务调用.当用户发起某一事项申请时,工作流引擎实例化流程,按照每一个活动中协同规则调用服务来完成该活动的任务.由于流程节点之间的流转体现出多种协同关系,在进行逻辑规则和时间规则分类的基础上,提出了基于业务流程执行语言BPEL协同规则的描述方法.以申请开放实验项目协同流程为例,涉及多种人员角色,利用移动短消息的模式驱动流程的流转,利用基于BPEL描述的服务协同规则进行了实现,取得了良好的效果.表明所提出的方法有利于简化移动服务平台的系统集成,缩短系统设计周期.     

基于时间序列关联规则的网格任务切分模型

为了解决网格任务调度中任务切分问题,提出了一种基于时间序列的关联规则模型,以在符合Qos标准的情况下,实现网格任务的全局性合理调度,从而达到实现最小化任务执行时间的目的.模型先按"最小基本粒度"对任务进行逻辑划分,然后通过分析各"逻辑单元"所涉及的基本功能和相互间的耦合度来对"逻辑单元"实施分组,最终以"逻辑元组"为物理切分单位对任务予以切分.模型通过优化任务切分,最终实现全局性任务调度合理性与资源分配有效性的目的.还可通过基于时间序列的关联规则模型的长期学习,不断提高资源分配命中率.并通过仿真实验验证了该模型的实用性和优越性.     

采用受控Petri网的虚拟现实遥操作机器人系统模型

针对机器人遥操作系统分布式操作的特点,采用面向对象的虚拟现实建模方法构建系统的原型,使模型的复杂性不再与具体完成的任务有关.基于时序逻辑的推理规则,利用Petri网作为遥操作控制系统模拟与验证的工具,描述操作任务间的因果关系,并以共享控制模式为模型,描述遥操作控制系统的动态行为.最后,通过实验验证方法的合理性.     

具动态性能指标的医学系统自组织模糊控制

提出一个具有动态性能指标的完全脱离模型的自组织模糊逻辑控制系统.系统的性能指标由一个随机结构开始,评价规则通过一个基于自增强机制进行在线优化的微遗传算法来产生.算法对非线性麻醉过程中肌肉松弛状态的控制效果进行了验证.通过和标准自组织系统的控制效果比较,该算法的优势体现在因为自学习能力导致的控制鲁棒性上,它能够很好地处理变参数动态系统和大时滞系统的控制问题.在每轮控制中,所提出的算法都以少量模糊控制规则(最多18条)实现了控制要求.     

粗糙控制可调精度规则挖掘模型与应用

针对粗糙控制中控制精度不高、控制效率低等问题,提出了基于区间概念格的粗糙控制可调精度规则挖掘模型,以降低规则挖掘成本及提高应用效率.模型首先对采集到的原始数据进行预处理,使其转化成布尔型的形式背景;其次,参照一般区间概念格的生成算法进行了粗糙控制背景下的区间概念格的构造;再次,提出可调精度控制规则挖掘算法,建立了基于区间概念格的粗糙控制可调精度规则挖掘模型,最后,模型分析和实例对比验证了模型在提高规则可靠性的前提下,实现了挖掘成本和控制效率的最优化.     

基于一体式制动主缸的电液复合制动系统仿真

为了能更多地回收制动能量并改善汽车制动性,设计了一种新型的采用一体式制动主缸总成的电液复合制动系统,根据性能要求和国家标准确定系统中主要组成部件的参数。基于该系统的结构和工作原理,利用AMESim软件搭建系统液压部分的模型,并利用Simulink软件建立整车模型和系统控制逻辑,其中系统控制逻辑主要包括制动力分配逻辑、制动轮缸压力精确控制方法及再生制动系统与防抱死制动系统协调控制策略.最后以联合仿真的形式验证了该电液复合制动系统的必要功能,说明该系统具备良好的可实现性.     

网络安全协同防卫系统研究与实现

为了解决防卫体系中各安全模块缺乏协同控制以及不能有效发挥整体效应的问题,提出了一种基于代理的协同控制框架.将各个安全模块关联起来,以实现相互通信和协同工作.在此基础上,构建了包括预警定位、协同安全审计及态势评估、协同事故恢复、网络伪装等功能的网络安全协同防卫系统(NSCDS).以基于机器学习的系统调用序列审计模型为例,对关键技术模块进行了分析和验证,结果表明NSCDS软件在百兆级带宽下,安全审计预警漏报率小于6%,误报率小于8%,各功能模块工作稳定且配合正常,充分显示出系统的综合优势,实现了网络安全多层次、全方位的协同防卫目标.     

基于状态机的汽车电动滑移门控制逻辑分析

以某特定车型作为研究分析对象,开展电动滑移门操控和系统响应测试,总结归纳了电动滑移门系统在操作触发下的动作响应。将电动滑移门运动状态划分为:完全关闭、完全开启、开门运动、关门运动和运动停止五种状态,基于有限状态机建立电动滑移门各状态间的逻辑关系和状态迁移引发事件、条件,搭建电动滑移门控制逻辑有限状态机模型仿真环境。通过比较控制逻辑仿真和测试试验结果表明,基于有限状态机建立的控制逻辑模型与实车电动滑移门系统测试试验结果相一致,可正确反映电动滑移门在实际使用中的操控逻辑和响应。     

基于VxWorks的实时双冗余系统设计

阐述了基于VxWorks操作系统下的CPCI总线实时计算机双机冗余的特点。从增加实时计算机系统可靠性的角度对实时计算机进行了双冗余总体设计。结合软硬件实现了双冗余实时计算机输入、输出接口的逻辑控制,给出了故障监测、智能切换的硬件与软件框图。最后略述了基于VxWorks操作系统下的CPCI总线实时双冗余计算机在自动控制系统中的应用情况。     

基于带抑制弧时间Petri网的CNC软件模型

提出了一个扩展的时间Petri网———带抑制弧时间Petri网.该网中以抑制弧结合时延变迁来描述实时系统中的中断功能;运用所提出的带抑制弧时间Petri网建立了前后台结构模式的CNC(computernumericalcontrol)软件模型;应用所建立的模型,采用等误差直线逼近法加工一段曲率半径较小的曲线轮廓,对CNC软件中各个任务的时序逻辑进行了分析,并给出了时序分析结果.结果表明,无须对软件进行实际的运行测试,只需要知道CNC软件的时间参数和结构以及控制要求,就可以运用所建立的模型,正确地对该类CNC软件进行时序逻辑分析,评估CNC软件的控制性能.所提出的模型为在CNC软件总体设计阶段就能对其进行时序逻辑分析,为评估CNC软件的控制性能提供了方法和工具.     

基于改进SVPWM模型的异步电动机MRAS矢量控制

在分析SVPWM调制原理的基础上,对一种改进SVPWM的建模方法进行了详细研究.借助于Matlab强大的仿真建模能力,结合异步电动机MRAS矢量控制模型,建立了改进的仿真模型,并将其与SVPWM的一般仿真模型比较.仿真结果验证了改进的SVPWM仿真模型的正确性,与传统SVPWM相比结构简单,逻辑性强,运算量减少.     

基于DSP的语音信号采集系统的设计

设计了一种基于16位定点DSP TMS320VC5410的语音信号采集系统,该系统应用了集ADC和DAC于一体的SIGMA-DELTA型单片模拟接口芯片TLC320AD50C,采用FIFO技术进行缓存,CPLD实现控制逻辑,EZ-USB外围接口器件实现串行通信.主要介绍了系统的硬件结构和软件编程思想及实现方法.经测试,对语音信号回放人耳感觉不到失真.     

软件定制在SaaS模式下的应用研究

随着云计算技术和企业信息化建设的快速发展,SaaS模式下的软件定制逐渐以其独特的优点受到中小企业的欢迎.基于此背景下,介绍了当前企业进行软件定制的两个重要方面——数据定制和逻辑定制,构建了一个基于适合SaaS应用的业务逻辑定制框架,为中小企业方便、快速的定制软件提供了一个理论参考依据.     

基于FPGA的共轨柴油机ECU I/0功能研发

针对共轨ECU快速原型平台建立底层硬件函数库的复杂性,采用基于LabVIEW的虚拟仪器技术和NI FPGA技术,从控制层软件功能要求出发,开发了信号输入方式模块、信号处理模块,PWM和开关量输出模块,实现多路传感器信号同步多速率输入以及控制信号输出。将输入输出功能封装成子VI,控制层软件调用此子VI实现对硬件端口的直接操作。同时,集成信号的显示、数据存储及回放功能,为平台的数据监控功能和数据后处理功能提供数据来源。经发动机台架验证,表明开发的功能模块具有运行可靠、功能完善、界面友好的特点,此种开发方法效率高、功能强。     

模糊控制在钢缆拖动系统中的应用

建立了钢缆拖动系统的数学模型,并在此基础上生成了对该系统运动控制的模糊控制算法．计算机对误差信号进行计算,输出控制信号操纵滚动圆盘,使机具沿着预定的路径运动．实验结果证明,该模糊控制算法具有较好的控制精度和响应速度．     

基于PLC的步进电机控制

介绍了基于OMRON公司可编程序控制器的步进电机控制系统设计,给出了可编程序控制器控制步进电机电气控制系统的硬件组成和软件设计,包括可编程序控制器输入输出接线图、梯形图程序设计和步进电机的驱动电路及可编程序控制器编程软件实现脉冲分配器功能的方法。提出了一种基于PLC的四相步进电机控制的方法,介绍了控制系统的设计方案及其软硬件的实现方法。实现对四相步进电机的启动,停止控制、正反转控制。提出设计总体方案,阐述了驱动电路。方法简单易行,编程容易,可靠性高。