基于匹配策略的安全协议重构分析

可重构安全协议对提高安全系统的灵活性和适应能力具有重要意义,它可根据具体上下文环境进行配置、移植,极大增强了系统的安全性,目前基于软件构件的协议重构方法无法满足安全协议对安全性和计算性的特殊要求.针对安全协议的安全性和高密度计算特性,提出了一种针对现有资源选择重构元的解决方法,给出协议可重构元匹配和基于QoS的重构元质量满意度的协议重构选择算法,使系统可以尽快按照重构协议需求选择满意的可重构元.通过实例说明该方法的执行过程,应用结果表明该方法能够有效提高重构效率和重构准确度.     

基于UML类图模型的一致性检查方法

UML中的类图采用直观的图形化表示方法,有效描述了待建系统的静态特征,为系统设计人员发现系统模型中存在的不一致性和冗余等问题,提供了有效的分析工具.但是对于复杂的系统,完全依靠系统分析人员发现模型中存在的不一致性和冗余等问题是不现实的,应当为建模工具赋以模型自动一致性检查功能.SHOIQ(D)是描述逻辑家族中可判定的子集,它在保证推理可判定的同时,具备较强的描述知识能力.鉴于上述特点,通过从UML类图图元中抽取语义.用SHOIQ(D)形式化描述类图图元,借助自动推理引擎,从而使基于UML类图模型的自动一致性检查功能得到实现.根据该方法改进后的建模工具,可以自动发现基于UML类图模型中存在的不一致性和冗余等问题.     

动态可重构系统的通信结构研究

动态可重构技术能在一定控制逻辑的驱动下,对全部或部分逻辑资源实现在系统的动态功能变换和硬件的时分复用.本文介绍了可重构体系结构及典型动态可重构结构;详细分析、比较了动态可重构系统4种通信结构的主要性能,指出各自适用领域,并给出一个应用实例;最后探讨了动态可重构技术研究面临的相关问题和发展趋势.     

基于数据流图本体的Web服务自动集成方法

提出一种基于本体的数据流图建模方法,能够为.服务请求动态集成Web服务.该方法利用本体建模及其可推理能力,通过对数据流图的描述实现领域业务逻辑建模,然后基于该描述给出了一个有效的服务集成推理算法,并着重分析基于该方法的软件体系设计.与现有的方法相比,该方法直接把软件工程分析成果应用到服务的自动地集成与部署中,同时保证了服务的可行性和质量.     

基于重构规则的企业应用系统影响分析方法

企业应用系统需进行频繁重构以响应变化，如何保证重构的完备性和正确性是重构工程中需要解决的一个关键问题。重构需求作用于业务模型，进而映射为相应软件系统的变化。该文给出了基于业务规则的业务元模型与重构元模型，并基于该模型简要地描述了应用系统的统一重构过程。随之对重构操作进行了分类，定义了重构规则的表达形式，并给出了基于重构规则的影响分析方法。最后给出了应用实例。     

基于UML类图模型的一致性检查方法

UML中的类图采用直观的图形化表示方法,有效描述了待建系统的静态特征,为系统设计人员发现系统模型中存在的不一致性和冗余等问题,提供了有效的分析工具。但是对于复杂的系统,完全依靠系统分析人员发现模型中存在的不一致性和冗余等问题是不现实的,应当为建模工具赋以模型自动一致性检查功能。SHOIQ(D)是描述逻辑家族中可判定的子集,它在保证推理可判定的同时,具备较强的描述知识能力。鉴于上述特点,通过从UML类图图元中抽取语义,用SHOIQ(D)形式化描述类图图元,借助自动推理引擎,从而使基于UML类图模型的自动一致性检查功能得到实现。根据该方法改进后的建模工具,可以自动发现基于UML类图模型中存在的不一致性和冗余等问题。     

不确定非线性系统的神经网络智能重构控制

针对一类不确定非线性动态系统,提出了一种基于神经网络动态补偿的鲁棒模型跟随重构控制策略.该方法吸取了线性模型跟随方法的基本思想,通过引入神经网络在线补偿控制器,以克服系统由故障引起的未建模非线性动态的影响,从而提高模型跟随重构控制的动态性能和稳态精度;并且当系统存在模型不确定性时,其输出仍能精确地跟踪理想模型的输出.文中还给出了特定假设条件下闭环重构控制系统稳定性的严格证明.理论分析和仿真研究表明,所提的方法是有效的并可保证闭环系统具有良好的重构性能.     

一种带物元的动态描述逻辑

针对动态描述逻辑框架中只有概念和关系,在表述由于动作作用而引起的概念或个体的属性及值的变化和变化后的影响方面能力不强的问题,本文引入物元的概念及其发散规则扩充动态描述逻辑,给出了一种新的带物元的动态描述逻辑(MDDL).文中按照传统描述逻辑的语义解释方法给出了物元的语义解释,然后引入物元及物元"一物多征"的发散推理规则,扩充动态描述逻辑的Tableau算法,生成二种新的Tableau-M算法.最后根据该算法深入研究了MDDL的基本推理问题,即实例断言集的一致性检测问题和概念与物元的可满足性检测问题.     

基于描述逻辑的模糊ER模型

分析了描述逻辑ALNUI与ER模型的关系,特别是如何将ER模型转化为ALNUI的知识库,从而利用ALNUI的推理机制对ER模型进行自动推理的有效性,在此基础上,进一步研究了基于描述逻辑的模糊ER模型.针对模糊ER模型的特点和需求,在描述逻辑ALNUI的基础上,对描述逻辑ALNUI进行了模糊化推广,提出了一种新的描述逻辑,即模糊描述逻辑FALNUI.研究了基于FALNUI的模糊ER模型,即研究了如何将模糊ER模型转化为FALNUI的知识库,并利用FALNUI的推理机制研究了模糊ER模型的可满足性、冗余性和包含关系等自动推理问题,证明了这些推理问题的正确性.     

一种服务化的仿真模型

在仿真系统的全寿命周期中,仿真需求的修改总是不可避免的;提出了一种服务化的仿真模型建模方法,能够有效提高仿真系统的应变能力;首先制定可被计算机自动处理的模型描述规范,它描述了模型的语法、语义、行为以及装配等信息,即模型的元数据信息,然后设计服务化仿真模型的基本组织结构,接下来基于服务化仿真模型建立相应的系统逻辑框架,最后讨论服务化仿真模型集成构建柔性化仿真系统的原理,并给出一个基本的集成示例,实践表明仿真系统能够随着不断变化的仿真需求快速地更新和重构。     

基于RMC的可重构制造系统设备布局优化研究*

为实现多品种变批量生产制造系统阵列式布局的动态重构,提出一种新的设备布局优化方法.建立了可重构制造系统(RMS)设备优化选择数学模型,设计了基于蚁群优化和阶序聚类算法的可重构制造单元(RMC)动态重构算法.以交货期内最小成本为目标,引入系统复杂度和系统响应度从系统能力角度完善了实现RMS重构的约束条件,最终完成了可重构制造系统设备布局优化.最后通过布局实例仿真验证该方法的可行性和有效性.     

FPGA动态部分可重构技术概述

可重构计算是一种新的计算结构,它将通用处理器和专用集成电路的优点结合起来,具有灵活、高效的特点。FPGA的动态部分可重构是指在系统运行中对FPGA的部分逻辑资源实现动态的功能变换,从而提高数字系统集成度、增强灵活性、提升容错能力,同时降低成本和功耗。本文主要介绍FPGA动态部分可重构的原理以及实现动态部分可重构的方法,并着重分析4种常用的实现方法;介绍FPGA动态部分可重构技术目前在国内外的最新发展和应用;对FPGA动态部分可重构的未来研究发展方向做简单介绍。      

可重构密码处理结构中重构机制及对性能的影响

重构机制对可重构密码处理系统的性能有着重要的影响,该文从全局、局部、静态、动态几方面提出了流水化可重构密码处理结构中重构机制的分类,给出了各种机制的吞吐率和延迟公式,并分析了几种机制的性能和实现代价,最后给出了在采用局部动态重构机制的可重构密码处理结构中密码处理的性能。     

可重构资源管理及硬件任务布局的算法研究

可重构系统具有微处理器的灵活性和接近于ASIC的计算速度,可重构硬件的动态部分重构能力能够实现计算和重构操作的重叠,使系统能够动态地改变运行任务,可重构资源管理和硬件任务布局方法是提高可重构系统性能的关键.提出了基于任务上边界计算最大空闲矩形的算法(TT-KAMER),能够有效地管理系统的空闲可重构资源;在此基础上使用FF和启发式BF算法进行硬件任务的布局.实验表明,算法能够有效地实现在线资源分配与任务布局,获得较高的资源利用率.     

面向可重构计算系统的模块映射算法

为消除重构时间对可重构计算系统性能的影响,针对多重构模块,提出一种基于动态部分可重构技术的顺序型应用程序模块映射算法。利用动态可重构技术的高效性和灵活性,通过隐藏重构时间,达到减少程序执行时间和提高系统性能的目的。基于JPEG编码测试实例的实验结果表明,运用该算法实现的模块映射方案其程序执行速度是软件实现方式的3.31倍,是硬件方式的2.59倍。     

计算机辅助可重构制造系统设计

可重构制造系统是为了快速而准确地提供响应新的高层需求所需的生产能力和生产同一零件族内的新零件所需的制造功能，从一开始就设计成可面向系统级和生产资源级快速而又以有竞争力的成本重构的制造系统，文中分析了可重构制造系统的设计方法及其特征，提出了计算机辅助可重构制造系统设计这一新的研究方向，说明了包括动态适应学习识别机制，建模分析与性能优化，专家系统、集成设计等模块的设计机辅助可重建制造系统设计的流程，实现了可重构制造系统的集成设计。     

可重构的嵌入式虚拟仪器设计方法

为了使运行期的器件实现快速逻辑重建,设计一种嵌入式虚拟仪器（EVI）动态可重构方法。该方法以动态可重构IP作为基本模块,运行期间对组成系统的IP进行动态替换以实现硬件重构,通过EVI中间件和配置信息库实现软件重构。测试结果表明,该方法能降低开发成本,缩短开发周期,实现不同场合的测试要求。     

基于CAN总线的可重构SHM系统设计

针对结构健康监测(SHM)系统现场节点功能固化,不便于机动配置及后期维护等问题,提出一种基于CAN总线的可重构SHM系统架构,设计节点功能重构、网络结构重构以及资源分配重构等技术。以功能适配接口及嵌入式操作系统的软硬件协同实现节点功能重构,以自组织特征映射网实现网络结构重构的优先级聚类,以基于组件对象模型的上位监控软件实现资源的按需分配。利用该方法设计的系统具有灵活、高效和一定自主性等特点。     

基于动态可重构技术的装备测试系统研究

当前国内自动测试系统存在实时性差、测试资源冗余、成本高等问题,针对以上问题,提出了基于FPGA部分动态重构技术的自动测试系统,该系统基于FPGA动态可重构技术并结合嵌入式操作系统实现测试资源的动态管理,并开发了用于测试过程的硬件自动测试任务编程模型,提出了一种用于重构任务加载的ICAP控制器;该系统实现测试过程的并发执行,从而增强自动测试系统测试的实时性,进而提高测试的准确性与覆盖性。在验证试验中,将动态重构测试系统应用于自动测试实例中,试验结果表明硬件重构测试任务加载正常,各测试资源功能执行正确     

Realization of reconfigurable virtual environments for virtual testing

1 Introduction The scalability of virtual environments (VEs) that allow users to change and modify their contents and context depending on application requirements has been a de facto feature of virtual reality technology. Engineering uses such as virtual testing and exper- imenting applications demand VEs to be highly or fully reconfigurable. In reality, however, satisfactory reconfiguration of a virtual environment is yet to be achieved, due to the high accuracy of spatial data in- put and…