有限时间域的H∞预演控制

主要研究有限时间域的H∞预演控制问题. 我们从传统的解决最优控制问题的思路入手, 发现了经典方法解决该问题的症结所在后, 寻找并通过一个适当的线性变换来排除之, 获得了问题可解的充要条件和一个简单的预演控制器. 最后使用一个数值例子演示了H∞预演控制器改进系统闭环性能的有效性.     

一种自动监测系统异构性解决方案

文章对空气质量自动监测系统的异构性问题进行了分析与研究,提出了＂抽象设备、映射数据、虚拟协议＂的解决方案,将物理设备屏蔽在驱动一级,将抽象设备屏蔽在转换程序一级,将数据按空气质量因子分类型打包传送到组态王对应的寄存器组,实现了不同数据接口、不同数据类型以及不同传送协议下的企业信息自动化。     

基于交叉认证的PKI信任模型研究

公钥基础设施(PKI)利用公钥理论,为加密和数字签名等密码服务提供必需的密钥和证书管理.信任模型是PKI整体架构的抽象,其选取对PKI的构建至关重要.基于交叉认证的实现过程,介绍了五种典型的PKI信任模型的信任控制方法及模型特点,对模型进行了综合比较.     

基于完备抽象解释的模型检验CTL公式研究

在模型检验中,抽象是解决状态空间爆炸问题的重要方法之一.给定具体Kripke结构和时序描述语言CTL,基于抽象解释框架以及完备抽象解释和性质强保留之间的关系,抽象模型最小精化使得CTL性质强保留,可转换为抽象解释中抽象域的最小完备精化,并且总是存在抽象域的最小完备精化.根据状态标签函数确定初始抽象域,然后通过不动点求解,获得对CTL标准算子完备的最小抽象域,并依据此抽象域求得CTL性质强保留的最优抽象状态划分,最后构造出CTL性质强保留且最优的抽象状态转换系统.并指出了抽象域对CTL标准算子是完备的当且仅当抽象域对补集和标准前向转换是完备的.     

基于抽象特征检测变形恶意代码

传统的恶意代码检测方法通常以固定的指令或字节序列这些具体特征作为检测依据,因此难以检测变形恶意代码.使用抽象特征是解决该问题的一个思路.本文针对恶意代码常用的变形技术,即等价指令替换、垃圾代码插入以及指令乱序进行研究.定义了一种抽象特征,同时提出了依据该抽象特征检测变形恶意代码的方法.最后,以典型变形病毒Win32.Evol为对象进行了实验,将该方法与其它方法进行了对比.实验结果验证了该方法的有效性.     

数据并行计算机体系结构建模

分析并研究国内外典型的数据并行计算机体系结构建模,结合LS-MPP计算机的体系结构,提出一种基于二维阵列结构的SIMD计算机抽象模型。通过对逻辑部件的时序分析,实现关于该模型的解释型SIMD仿真器,在进行细粒度时钟精确级建模时兼顾仿真效率。仿真器测试结果表明,该抽象模型具有一定应用价值。     

代码/需求行为差异检测

为解决软件开发后期（维护/演化）程序代码与需求模型不一致的问题,本文面向逆向需求工程,重点研究检测变更代码与原始需求模型之间行为差异的算法：首先沿用模型/代码转换技术,分析模型/代码比较原理,设计比早期连续型单向串行检测算法快2N倍（N为路径数）的离散型双向并行检测算法。然后采用该算法开发图形化需求/代码比较工具RCCT,并将其集成进综合需求建模系统（RMTS）,使动画建模、特性检测、模型转换、需求/代码差异检测等功能融为一体。最后,通过电子转账案例演示该工具的使用方法,并编写测试程序证明离散型双向并行算法不但比原始算法高效,而且更加可靠。     

飞轮通用测试软件平台的设计与实现

针对原有飞轮测试设备复用性差、维护成本高、难以保证多套产品同步自动测试的问题,设计开发了针对多型号飞轮的通用自动化测试系统;通过深入分析,提炼出多个产品在测试过程中功能的一致性和接口的差异性,采用分层架构、抽象工厂的设计模式以及配置文件的方法,解决了测试软件的通用性问题;提出了基于测试流程表的自动测试解决方案,能够适应多种测试流程的要求,扩展性强;采用混合多线程并行处理架构,解决了资源冲突,完善了多台飞轮的并行测试;该测试软件已在多型号飞轮的批产任务中使用,稳定可靠、适应性强,提高了设备使用率三倍以上,大大提升了飞轮批产测试效率。     

一个基于两区间八边形约束的抽象域

抽象解释静态程序分析技术用来发现运行时错误,保证程序正确性,已经被成功应用到工业界。抽象域是抽象解释理论中的一个重要方面,然而大部分已存在的数值抽象域无法表示程序的非凸性质,抽象域的这种凸性限制很多时候会影响数值分析的精度,甚至带来更多误报。基于两区间八边形约束,提出了一个新的数值抽象域,其约束形式为x±y∈[a,b]∪[c,d],其中x和y表示变量取值,a,b,c,d∈R。该抽象域的域元素是用两区间八边形约束表示,因此可以表达某类非凸性质,表达能力强于经典的八边形抽象域,并且相对于八边形抽象域,域操作的计算复杂度并没有提高太多。     

基于构件的RFID中间件管理模块的研究与开发

在整合不同标准及不同协议的RFID应用时,为了从多变的流程中提高RFID中间件系统的重构效用和扩展性,提出.NET平台下的一种基于抽象模型的开发框架,该框架采用面向服务和基于构件方式的架构,通过调用相应的构件库函数获得所需的功能,使其动态发现和绑定可获取的构件服务,以方便企业对系统的快速开发和RFID部署。