最大依赖集在不一致数据检测中的应用

针对条件函数依赖（CFDs）对不一致数据检测不完备问题，提出基于最大依赖集（MDS）的依赖提升算法（DLA），通过获取依赖中包含的隐性依赖（RCFDs）对数据集中的不一致数据进行检测。利用动态值域调整，设置数值变化的前移和后移指针，改进原算法的枚举过程，提高了算法对连续属性的适用性，给出动态值域调整和依赖提升算法的算法流程和伪代码，并对算法的收敛性和时间复杂度进行分析。最后通过对照实验，对比了依赖提升算法和基于CFDs的检测方法的检测精度和时间代价，验证了算法的有效性。     

面向云计算环境的分布式软件部署算法

分布式软件在云计算环境中的优化部署是云计算应用中的一个关键问题。针对该问题提出了一个软件部署算法,它具有多项式时间复杂度。对云计算环境的优化部署问题进行了描述,提出了相应的算法,介绍了实验并对实验结果进行了分析和讨论。     

软件定义广域网中控制器部署与交换机动态迁移策略

在软件定义广域网（SD-WAN）部署中，由于广域网（WAN）覆盖范围极大这一特性，单控制器部署策略无论在容量、负载还是安全方面都无法满足其需求，多控制器的部署成为必然趋势。而多控制器部署后整体网络的静态配置很难适应动态的网络流变化，从而造成控制器的负载不均衡，整体网络性能降低。针对上述问题，提出一种多控制器部署算法SC-cSNN，以有效减小控制器和交换机之间的传播时延；并提出一种基于时延、控制器容量以及控制器安全等特征的交换机动态迁移算法，以有效解决控制器超负载问题。仿真实验结果表明，SC-cSNN控制器部署算法的平均最大时延优于现有的基于k-means和基于谱聚类的控制器部署算法，交换机动态迁移算法从多特征的角度有效地解决了SD-WAN控制器负载不均衡的问题。     

基于成本的服务链组成与部署联合优化策略

网络功能虚拟化（NFV）通过将虚拟网络功能（VNF）部署在虚拟设备中,提高了网络管理的灵活性,但随着服务需求的扩大,网络供应商消耗的运营支出（OPEX）也不断增加。由于VNF改变流大小的特性、VNF间的依赖性以及组成和部署方式的复杂性,面向OPEX的VNF组成和部署问题充满挑战。提出一种面向成本的虚拟网络链组成和部署联合优化策略,将节点映射成本、链路映射成本、激活成本和能耗成本公式化为OPEX,构建混合整数非线性规划模型。为分析影响成本的不同因素,同时提高特殊依赖情况下的处理效率,根据不同依赖关系将VNF请求集分为完全无序、部分有序和完全有序VNF集合进行分析,并设计3种相应优化算法。实验结果表明,在完全无序、部分有序情况下,算法性能优于首次适应算法、随机拟合算法等同类算法,对于完全有序算法,当节点资源配比在50%以上时,可获得小规模网络下近似线性规划模型精确解的方案。     

基于系统理论过程分析的软件安全性需求分析与验证方法

针对传统系统理论过程分析（STPA）方法缺乏自动化实现手段、自然语言结果分析存在歧义性的问题，提出一种基于STPA的软件安全性需求分析与验证方法。首先，提取软件安全性需求，并利用算法将其转化为形式化表达式；其次，建立状态图模型来描述软件安全控制行为逻辑，并将其转化为程序可读的形式化语言；最后，采用模型检验技术进行形式化验证。结合某武器发射控制系统案例验证了方法的有效性，结果表明，该方法能够实现安全需求分析的自动化生成与形式化验证，解决了传统方法对于人工干预的依赖问题及自然语言描述问题。     

基于知识粒度的决策空间方法研究与实现

本文利用粗糙集理论中的粗度概念，在对获取规则进行扩展性的粒度描述的基础上，提出了一种工具——知识依赖关系图（KDRD），构造了n维知识粒度决策空间以及基于多决策类的同构映射决策空间，建立了基于KDRD和决策空间的决策算法，并结合机械故障诊断说明了本方法非常适于故障诊断等通过结论获取原因的智能决策系统．     

一种软件部署冲突检测及其自动调整算法

主要研究能够根据不同环境自动调整软件部署过程的软件智能部署问题.首先,介绍并分析现有软件部署工具,提出软件智能部署模型、软件智能部署的规范化描述.其次,介绍并分析软件部署过程中冲突检测以及自动调整方法.在此基础上,提出一种能够根据环境差异,自动调整软件部署过程的软件智能部署算法.最后对比并分析软件智能部署实际应用效果.     

基于多版本的多级安全事务处理算法

提出了一种有效的多级安全事务处理算法－多版本－低安全级优先算法，算法通过保留低安全级数据的多个版本，消除了多级事务的先读后写语义依赖，文章给出了算法的描述，证明了算法的正确性，并对算法的安全性等进行了分析。     

一种软件智能部署方法的研究

研究了能够根据不同环境自动调整软件部署过程的软件智能部署问题。介绍并分析现有软件的部署工具,提出了软件智能部署的概念、整体框架和部署工作流程。介绍并分析了软件规范化描述语言和客户端信息的模型描述方法。在此基础之上,提出了一种能够根据环境差异,自动调整软件部署过程的软件智能部署算法。最后,对比并分析了软件智能部署实际应用效果。     

两段式虚拟网络功能硬件加速资源部署机制

设计硬件加速机制,解决软件定义网络/网络功能虚拟化（SDN/NFV）架构中虚拟网络功能（VNF）的性能受限问题,成为当前的研究热点。在引入VNF硬件加速资源后,如何实现对加速资源的统一管理和部署,是亟待解决的问题。为此,首先提出了基于服务器端加速卡和OpenFlow交换机的VNF加速资源的统一管理架构;在此基础上,对加速资源部署问题进行建模,通过分析VNF加速资源对服务链映射的影响,提出了VNF加速资源部署策略的评价指标;最后,设计了两段式的加速资源部署算法求解该问题。实验结果表明,与只考虑节点单一属性的部署算法（SARD）和均匀部署算法（UARD）相比,所提机制能够优化部署加速资源,加速资源承载的流量和加速资源的利用率分别提升41.4%和14.5%。     

基于度量认证的协同集成可信部署技术

协同开发技术是进行控制系统软件开发的重要方法, 其中的软件集成部署是协同开发技术的重要一环. 随着软件规模越来越大, 复杂性越来越高, 现有的软件集成部署方法由于缺乏标准统一的部署规范和安全机制, 所以会存在集成部署效率低下和安全性较差的问题. 针对上述问题, 提出了一种基于度量认证的协同集成部署方法, 解决在分布式协同开发环境下集成部署工作带来的安全和效率问题. 本文的主要思想是利用一种安全关联协议, 在软件部署双方之间建立可信的安全传输通道, 继而根据统一的打包部署规范, 完成软件的集成和部署工作. 理论分析和实验结果表明, 该方案统一了软件打包部署规范, 优化了完整性度量算法, 减少了认证和软件部署的时间, 并且由于部署双方在准备阶段已建立了安全关联, 所以提高了整个软件部署过程的安全性. 本文的研究内容能够在分布式开发环境下完成安全且高效的软件集成部署工作.     

基于UML的地空导弹武器系统IETM建模

地空导弹武器系统IETM是面向地空导弹部队各级各类人员,用于装备管理、操作、维修等的信息系统,是一个大型、复杂的软件系统;部队对该IETM系统的可靠性、规范性、共享性等方面都有着极高的要求;文中运用UML面向对象建模语言,通过用例图、时序图、活动图和部署图等描述了该IETM系统建模方法和过程;通过UML建模,使IETM系统设计和开发工作规范条理地进行,不仅能够满足部队要求,还可以有效地缩短IETM系统开发周期;实践证明,该建模方法可以有效地指导IETM系统开发。     

基于PHP的复杂文件资源格式转换和网上发布实践

随着互联网的迅速发展,信息管理和开发人员时常会有将大量的文件资源（文档、音视频文件和软件等）转换和发布到网上的需求,已有的信息发布系统受系统功能和文件格式的限制,发布效率底。本文总结和开发了一套基于PHP的对大量复杂文件资源格式转换和网上发布工具（PHP、SWFTools、Dtree、FlashPaper）,介绍了实现方式、部署使用方法并以用图片的形式展示了实现效果。     

Reliability-driven deployment optimization for embedded systems

One of the crucial aspects that influence reliability of embedded systems is the deployment of software components to hardware nodes. If the hardware architecture is designed prior to the customized software architecture, which is often the case in product-line manufacturing (e.g. in the automotive domain), the system architect needs to resolve a nontrivial task of finding a (near-)optimal deployment balancing the reliabilities of individual services implemented on the software level.In this paper, we introduce an approach to automate this task. As distinct to related approaches, which typically stay with quantification of reliability for a specific deployment, we target multi-criteria optimization and provide the architect with near-optimal (non-dominated) deployment alternatives with respect to service reliabilities. Toward this goal, we annotate the software and hardware architecture with necessary reliability-relevant attributes, design a method to quantify the quality of individual deployment alternatives, and implement the approach employing an evolutionary algorithm.     

Efficient terrain coverage for deploying wireless sensor nodes on multi-robot system

Coverage and connectivity are the two main functionalities of wireless sensor network. Stochastic node deployment or random deployment almost always cause hole in sensing coverage and cause redundant nodes in area. In the other hand precise deployment of nodes in large area is very time consuming and even impossible in hazardous environment. One of solution for this problem is using mobile robots with concern on exploration algorithm for mobile robot. In this work an autonomous deployment method for wireless sensor nodes is proposed via multi-robot system which robots are considered as node carrier. Developing an exploration algorithm based on spanning tree is the main contribution and this exploration algorithm is performing fast localization of sensor nodes in energy efficient manner. Employing multi-robot system and path planning with spanning tree algorithm is a strategy for speeding up sensor nodes deployment. A novel improvement of this technique in deployment of nodes is having obstacle avoidance mechanism without concern on shape and size of obstacle. The results show using spanning tree exploration along with multi-robot system helps to have fast deployment behind efficiency in energy.     

浅析网络安全技术

文中论述了防火墙部署原则,并从防火墙部署的位置详细阐述了防火墙的选择标准。并就信息交换加密技术的分类及RSA算法作以分析,针对PKI技术这一信息安全核心技术,论述了其安全体系的构成。     

Clustering large software systems at multiple layers

Software clustering algorithms presented in the literature rarely incorporate in the clustering process dynamic information, such as the number of function invocations during runtime. Moreover, the structure of a software system is often multi-layered, while existing clustering algorithms often create flat system decompositions.This paper presents a software clustering algorithm called MULICsoft that incorporates in the clustering process both static and dynamic information. MULICsoft produces layered clusters with the core elements of each cluster assigned to the top layer. We present experimental results of applying MULICsoft to a large open-source system. Comparison with existing software clustering algorithms indicates that MULICsoft is able to produce decompositions that are close to those created by system experts.     

基于多接口无线传感节点的油罐车监测系统

为了实现对油罐车罐体、危险品和环境等状态的实时监测,采用无线传感网络技术,构建了油罐车多参数监测系统.本系统以超低功耗的ATmega1281微控制器和AT86RF230射频模块为核心,设计了一种多接口无线传感节点;结合节点在油罐车上的部署方式,提出一种基于静态分簇的路由算法;采用TinyOS操作系统和NesC语言完成节点的软件设计.实验结果表明,该系统能够满足油罐车多种状态的实时采集与监测需求,具有监测范围广、布设方便、可靠性高和功耗低等特点.     

基于遗传算法的空间伸展臂展开过程优化控制

针对空间伸展臂展开过程建立多体系统动力学模型,并以控制力为变量建立优化控制模型,通过最优控制力的选取,使空间伸展臂得以平稳、快速展开.为了避免基于梯度的优化方法在寻找最优控制力过程中大量复杂的灵敏度计算,采用遗传算法进行全局寻优.同时,优化迭代过程中动力学方程采用高阶变分数值积分方法求解,具有更高的稳定性.最后,以剪叉式空间伸展臂为例,利用遗传算法对其展开过程进行优化控制.