双积分系统的鲁棒控制研究

研究开环不稳定的球杆系统的建模和控制,针对建模复杂以及运行过程中参数变化,并存在不确定性因素、不易控制的问题。为简化建模过程以及提高系统的控制性能,提出以拉格朗日微分方程方法建立模型以及鲁棒H∞控制方法对系统进行鲁棒控制,建立了其简洁而符合实际的模型,提高了系统的控制性能与鲁棒性。结果证明,拉格朗日建模方法简单有效,能改善系统的控制性能以及鲁棒性,并能在航空航天、无人机、海底车辆控制等方面具有良好的实用价值。     

基于CMMI的软件过程性能模型

在高成熟度组织的CMMI(能力成熟度模型集成)实施过程中,正确的建立并使用过程性能模型对有效的策划、预测、监督和控制组织过程有显著的作用.在分析并建立4个基本的过程性能模型之间的关系之后,以生命周期模型的定义为基础,提出了基于GQM的度量模型构建方法、资源模型构建方法以及质量模型构建方法,由于各过程性能模型的信息和数据都来源于生命周期模型,因而可以有效保证其之间信息与数据的一致.     

一种存储系统性能模型的提取方法及模型应用

存储系统性能模型的获取对于存储系统设计、系统管理以及系统性能评价等相关领域的理论研究和工程实践均具有极为重要的意义.相对于常规的分析建模方法,本文提出了一种基于运行时特征的存储系统性能模型提取方法,该方法依据I/O负载的运行时特征和系统性能,借助多元回归分析理论,在线提取系统的性能模型.实验结果表明文中方法所获取性能模型具有较高的精确度,同时还实验证实了所提取性能模型在存储管理领域性能预测和what-if分析两个重要问题场景下的实用性和有效性.     

一种基于受体编辑和免疫抑制的人工免疫系统模型

被广泛采用的人工免疫系统模型ARTIS中的检测器没有主动学习能力,在具体应用中存在检测半径设定困难、检测性能低等问题,受生物免疫中受体编辑和免疫抑制的启发,提出了一种新的人工免疫系统模型REISAIS(Receptor Editing and Immune Suppression based Artificial Immune System),模型通过受体编辑分别 在耐受期和成熟期 赋予检测器一定的主动学习能力,从而提高了模型的检测率,而免疫抑制机制的引入则使得模型的误报率得到了有效控制。给出了模型中检测器和抑制器演化过程的形式化描述,对模型性能进行了分析,证明了受体编辑机制的引入在提高模型检测性能上的有效性。理论分析以及实验结果显示,与ARTIS模型相比,REISAIS模型无需设定检测半径并且检测性能更好。     

基于颜色的皮肤检测综述

在系统回顾和比较了基于颜色的皮肤检测的方法和技术(其中包括:颜色空间选择、肤色建模方法、动态跟踪模型以及光照不变性与自适应模型)的基础上;基于一个包含1 894张图片的大样本库,着重比较了肤色在14个3维颜色空间和14个2维色度平面中的分布紧致性、肤色与非肤色类之间的可分辨性,以及肤色概率图(SPM)、高斯混合模型(GMM)、自组织映射图(SOM)和支持向量机(SVM)在这些颜色空间中的皮肤分类性能。比较结果表明:(1)颜色空间的变换并不能改善肤色紧致性、肤色-非肤色可分辨性以及分类等性能,但RGB及线性变换空间却具有较好的类可分辨性和分类性能;(2)去除亮度信息将明显降低肤色和非肤色之间的可分辨性和分类性能;(3)Bayes决策下的3维SPM的分类性能是最优和空间无关的,而其余分类器则普遍存在类似的“空间偏好性”;(4)同时采用肤色和非肤色模型的分类器的分类性能优于仅使用肤色模型的分类性能。     

空间预警信息处理仿真系统研究

针对空间预警信息处理关键技术研究的需求,以美国SBIRS—High为参照,建立空间预警信息处理仿真系统。该系统为空间预警信息处理技术的研究提供仿真平台,可对预警系统作战过程进行演示和对系统性能以及信息处理算法性能进行评估。文中首先描述了仿真系统的设计与实现思路,重点介绍了系统的软、硬件平台以及系统的仿真流程。然后采用模块化建模的方法将系统模型分为场景生成模型、信息处理模型和性能评估模型,并分别对之作了详细的介绍。     

基于角色扩展的RBAC模型

针对基于角色的访问控制(RBAC)模型在模拟复杂组织结构和权限继承关系方面的不足,提出了基于角色扩展的RBAC模型——MR-RBAC。该模型在角色集和权限集之间引入了最小角色集,并形式化定义了模型的基本集合和相关函数。同时还深入研究了扩展模型中的角色权限类型与角色关系,给出了最小角色的概念以及其生成算法。分析表明,MR-RBAC模型改善了传统模型的角色层次结构和权限继承关系,具有授权粒度细、可伸缩性、可扩展性、安全等优点。最后模型性能测试表明原型系统在引入最小角色划分后对于系统时间性能的影响不大。     

一种新的高性能VPN系统的模型分析

首先针对VPN系统性能的瓶颈讨论了当前常规的性能提升的方法．接着在对VPN体系进行剖析的基础上，提出了一种新的基于流水线和多卡并行处理（Pipeline、Multi—cards Parallel）的模型，并分别对流水线模型和多卡并行处理模型进行了分析．为了对PMP模型进行验证，文章给出了改造后的FreeSWAN软件结构，并提供了性能测试数据作为比较．最后对新系统的性能进行了理论分析，推导出了系统性能和加密卡的速度、并行加密卡的个数以及性能损失率之间的数学关系．     

常用统计翻译模型在口语汉英翻译中的比较研究*

通过汉语到英语的翻译实验以及对结果译文的分析,对基于词的模型、基于短语的模型和基于句法的模型的翻译性能进行了比较。结果表明基于短语的模型性能优于其他两个模型,但是使用的参数较多;基于句法的模型虽然翻译性能不理想,但可以用较少的参数表达更丰富的信息,值得深入研究。     

3D MIMO信道建模及性能分析

本文首先对MIMO技术以及3D MIMO的技术优势做了简要介绍。紧接着叙述了LTE通信系统中对3D MIMO信道进行建模的意义,它在传统的2D MIMO以及目前的3D MIMO信道模型基础上需要做出的改进之处,体现出了该研究的必要性和创新性。为了建立最新标准下的可靠三维信道模型,结合三维信道特性更新了信道生成过程。在按照流程搭建了信道模型之后,对信道模型进行校准确定其准确性,并对仿真结果进行性能分析。全面考虑信道大尺度和小尺度部分,选取具有代表性的参量对信道性能进行分析,体现出了该信道模型对系统性能的影响。     

多业务网络流量工程模型研究

文章详细分析了多业务网络流量工程的一个通用模型和它的基本功能,系统分析了网络实际存在的流量波动问题及其对网络规划的影响。     

Dynamical sources in information theory: Fundamental intervals and word prefixes

A quite general model of source that comes from dynamical systems theory is introduced. Within this model, some basic problems of algorithmic information theory contexts are analysed. The main tool is a new object, the generalized Ruelle operator, which can be viewed as a “generating” operator for fundamental intervals (associated to information sharing common prefixes). Its dominant spectral objects are linked with important parameters of the source, such as the entropy, and play a central rôle in all the results.     

基本图灵机的Petri网建模研究

该文采用Petri网这种系统描述和分析工具对基本图灵机进行了建模与分析。首先介绍了基本图灵机和Petri网的基本概念与定义,然后给出了一个利用Petri网对基本图灵机进行建模的有效算法,研究了用Petri网为基本图灵机建模的一般方法,说明了该方法的优越性,并最终以一个建模实例验证了该方法的有效性和可行性。     

On the size of (generalized) OBDDs for threshold functions

Ordered binary decision diagrams (OBDDs) are one of the most common dynamic data structures for Boolean functions. Among the many areas of application are hardware verification, model checking, and symbolic graph algorithms. Threshold functions are the basic functions for discrete neural networks and are used as building blocks in the design of some symbolic graph algorithms. In this paper the first exponential lower bound on the size of a more general model than OBDDs and the first nontrivial asymptotically optimal bound on the OBDD size for a threshold function are presented.     

基于统计特征值的文件类型识别算法

恶意篡改文件的类型属性以掩盖文件真实结构达到诱骗用户访问、回避检测、隐藏数据等目的是计算机犯罪行为中最常用的手段。该文提出的一种基于统计特性识别文件类型的方法能有效识别被篡改的文件类型属性。依据同类型文件在多维空间中的统计特征值具有相似性的规律，给出了判断其相似性的基本假设，设计了基于欧几里德距离的球体模型及k-球体模型，同时根据文件统计特征值权重的加权欧几里德距离优化两种模型，解决了相似性判断的正确性和效率。     

滥用检测技术的发展

论述了作为入侵检测的方法之一滥用检测技术的基本概念与发展情况,重点讨论了几种最常用的滥用检测技术,介绍了它们的实现方法和模型框架,并比较了现存的各种方法的优缺点。     

基于规则的分布式访问控制模型研究

分析了现有访问控制模型的一些共有的缺陷,介绍了一种基于规则变互的访问控制模型LGI（law-governed interaction）和它的基本概念以及一些简单的应用,最后阐述了LGI的应用意义。     

Selecting a job mix for running a benchmark by using an integer programming model

A brief review of computer selection methods indicates that benchmark testing is the most common technique for computer selection. A model for selecting a set of programs comprising a benchmark is then constructed step-by-step up to a “basic model”. The “basic” model is altered and expanded up to a “global” model. The paper summarizes advantages of the model and cites some experimental results.     

基本型一般访问结构视觉密码的两种算法

视觉密码是一种完善安全的密码体制。近几年,视觉密码学的研究受到广泛关注。本文提出了一般访问结构的两种算法,通过Ateniese-Blundo-Santis-Stinson模型和累计数组的构造方法,对一般访问结构的基本型视觉密码进行讨论,获得了一个一般访问结构的基本型视觉密码方案。     

A novel text-independent speaker verification method based on theglobal speaker model

This correspondence introduces a new text-independent speaker verification method, which is derived from the basic idea of pattern recognition that the discriminating ability of a classifier can be improved by removing the common information between classes. In looking for the common speech characteristics between a group of speakers, a global speaker model can be established. By subtracting the score acquired from this model, the conventional likelihood score is normalized with the consequence of more compact score distribution and lower equal error rates. Several experiments are carried out to demonstrate the effectiveness of the proposed method