数字水印的鲁棒性分析与研究

讨论了数字图像水印系统的基本框架，简要介绍了系统各个组成部分所完成的功能。详细阐述了数字水印鲁棒性的概念、影响鲁棒性的因素、实现鲁棒性的策略以及鲁棒性评估的描述方法，并说明了鲁棒性在水印系统中的重要地位。最后基于盲检测器水印模型提出了一种估计水印鲁棒性的算法，并给出了算法的描述。由于该算法与扩频技术具有相同的理论依据并且计算过程比较简单，因此在理论上是合理有效的。     

区间系统在反馈控制情况下的性能鲁棒性

本文讨论含区间对象的反馈控制系统性能鲁棒性问题，给出了检验区间系统性能鲁棒性的充要条件．当补偿器满足某种假设条件时，给出了闭环系统性能鲁棒性的有限检验结果。在有限检验的前提下，给出了补偿器在系数空间中所应满足的制约条件。     

状态和控制均受约束的不确定离散时间系统的鲁棒性

研究了参数摄动离散时间线性系统在状态和控制向量均受到约束时的鲁棒性问题。分别给出了开环系统和闭环系统鲁棒性判定的充要条件，均为端点结果。     

基于直接状态空间理论的H∞鲁棒控制器设计方法及实例

鲁棒性是系统的重要性能指标。H∞鲁棒控制能够解决系统存在不确定性时的鲁棒性问题。一般的H∞鲁棒控制器设计方法的计算量偏大。基于直接状态空间理论，通过无迭代的求解两个Riccati方程得到具有鲁棒性的控制器，从而解决了计算量偏大的问题。最后讨论了H∞控制理论的应用。     

移动机器人多目标彩色视觉跟踪系统

机器人视觉系统利用颜色、形状等信息来识别环境目标，但是难点在于识别的 鲁棒性和实时性的保证．本文采用全自主移动机器人为平台，提出了一种硬件成本低廉的、 基于颜色学习的实时多目标视觉跟踪系统，并提出了一种新颖的目标颜色学习和跟踪算法． 该视觉系统已成功集成在自主移动机器人系统中，非结构环境下的动态目标跟踪实验表明了 系统的实时性和鲁棒性．     

变结构控制中滑模与模型选取的若干原则

在滑动模态上，变结构控制对于各种对象参数摄动和外部干扰具有不变性。然而变结构控制都不是运行在滑模态。因此，这种情况下的鲁棒性才真正反映了系统性能。对于连续与离散积分型变结构控制，分别从理论分析计算与数值仿真两种途径得到了典型惯性过程的参数可摄动范围。所得到的结果显示。滑模和标称模型的选取是直接关系鲁棒性的重要因素，而非线性控制部分主要对动态品质产生影响。由等效控制与被控对象组成闭合系统的鲁棒性直接与整个系统的鲁棒性相关联。最后给出了变结构控制中滑模与模型选取的一些设计原则。     

线性状态空间模型的稳定鲁棒性改善

本文讨论线性定常系统的稳定鲁棒性问题。文中给出了线性定常系统的稳定鲁棒性范围的新改善界限。在结构扰动情况下，本文给出的稳定鲁棒性界限比引文[1]中的相应结果更好。用数值计算方法容易得到这一动扰界限。文中给出的两个例子证实了本文结果的优点。     

基于软件故障注入的嵌入式系统鲁棒性测试

以研究对嵌入式系统鲁棒性进行评价和基于软件故障注入技术的嵌入式系统鲁棒性测试为目的。对嵌入式系统鲁棒性测试的相关概念以及软件故障注入技术原理进行了介绍,以Linux操作系统内核函数测试为例,通过对系统API参数的故障注入接口进行分析,提出基于GDB工具的软件故障注入方法来实现系统鲁棒性故障注入测试。完成了相应的Linux操作系统API接口故障注入测试实例并给出了测试结果。为嵌入式系统鲁棒性测试提供了更为直观、有效的方法。     

一种基于滑动窗口的语音端点检测算法

提出了一种基于滑动窗口的综合语音端点检测方法。从提高系统鲁棒性角度出发，利用各种综合的算法思想方法提高端点检测的准确性，鲁棒性和提高语音识别系统的总体识别率。利用频域能量、回声消除、DTMF滤除、利用信噪比确定多种阈值用于判定、利用语音渡形特点进行粗调和精调等。试验表明该方法在语音端点检测的错误率和端点误差方面都显著减少了，系统鲁棒性得到明显提高。     

一种鲁棒神经网络结构在温度控制系统中的应用

在神经网络直接逆控制的基础上，加入闭环增益成形控制算法，构成闭环的控制系统，以提高系统的鲁棒性。通过对简单的温度控制系统仿真结果分析可知，当系统没加入死区模型摄动时，具有闭环增益成形控制算法的神经网络控制系统与神经网络直接逆控制的控制性能相近，当加入死区时，前者明显提高了系统的鲁棒性。     

双线性系统可控性综述

双线性系统是一类特殊的非线性系统,广泛存在于现实世界中,如工程、经济、生物、生态等领域,被认为是最接近于线性系统的非线性系统．对双线性系统的研究已历经了近半个世纪. 作为系统最基本的属性,双线性系统可控性的研究一直以来是热点和难点.本文分别对连续双线性系统可控性和离散双线性系统可控性进行讨论, 综述了双线性系统可控性的研究.特别地,报告了近来对离散双线性系统可控性研究的新成果.最后,例举了一些可控的双线性系统例子.     

大变量多输出逻辑函数实质项识别算法

在对Espresso算法进行分析改进的基础上，提出了一种基于全域识别的多输入多输出逻辑函数实质本源项、完全冗余项和相对冗余项生成算法，该算法通过对基于积项表示的多输入多输出逻辑函数的余因子计算来进行全域判断，根据全域判断结果来识别实质本源项、完全冗余项和相对冗余项，从而构成实质本源项集合、完全冗余项集合和相对冗余项集合。对基于二级SOP型的多输入多输出逻辑函数设计了多输入多输出逻辑函数优化识别软件系统，允许的最大输入变量数为128、最大输出变量数为256、最大输入输出变量总和为300、最大输入积项数为20 000。软件系统在Pentium 1.8GHz、512MB内存的计算机上通过了Benchmark例题的测试。     

可信系统性质的分类和形式化研究综述

计算机系统被应用于各种重要领域,这些系统的失效可能会带来重大灾难.不同应用领域的系统对于可信性具有不同的要求,如何建立高质量的可信计算机系统,是这些领域共同面临的巨大挑战.近年来,具有严格数学基础的形式化方法已经被公认为开发高可靠软硬件系统的有效方法.目标是对形式化方法在不同系统的应用进行不同维度的分类,以更好地支撑可信软硬件系统的设计.首先从系统的特征出发,考虑6种系统特征:顺序系统、反应式系统、并发与通信系统、实时系统、概率随机系统以及混成系统.同时,这些系统又运行在众多应用场景,分别具有各自的需求.考虑4种应用场景:硬件系统、通信协议、信息流以及人工智能系统.对于以上的每个类别,介绍和总结其形式建模、性质描述以及验证方法与工具.这将允许形式化方法的使用者对不同的系统和应用场景,能够更准确地选择恰当的建模、验证技术与工具,帮助设计人员开发更加可靠的系统.     

合成信息系统与子信息系统的属性特征

数据库的合成和分解在实际应用中是一个很重要的问题,它所对应的数学模型就是信息系统的合成与分解,该文给出了对象合成信息系统、属性合成信息系统、对象子信息系统及属性子信息系统的定义,讨论了合成信息系统、子信息系统与原信息系统等属性特征之间的关系。     

基于不确定理论的复杂体系优化方法研究

为研究复杂体系的优化方法,首先针对复杂体系的三个发展阶段,提出了三类优化问题;其次通过研究体系结构、体系能力和体系效能之间的内在关系,给出了体系优化的思路,建立了以体系效能为优化目标的复杂体系优化模型;接着利用模糊集理论与证据理论讨论了体系能力评估中定性信息的定量化问题,探索了新的体系能力评估方法,并基于体系效能仿真,采用粗糙集理论建立了求解体系能力权值因子的算法;最后给出了求解优化模型的方法.所提出的优化方法为复杂体系优化问题提出了一种新思路.     

On the quasi-balanceable class of linear quantum stochastic systems

This paper is concerned with the characterization of the quasi-balanceable class of linear quantum stochastic systems (i.e., systems that can be approximated via the recently proposed quasi-balanced truncation method). It has previously been shown that the quasi-balanceable class of systems includes the class of completely passive systems. In this work, we refine the previously established characterization of quasi-balanceable systems and show that the class of quasi-balanceable systems is strictly larger than the class of completely passive systems. We derive a novel characterization of completely passive linear quantum stochastic systems solely in terms of the controllability Gramian of such systems. Exploiting this result, we prove that all linear quantum stochastic systems with a pure Gaussian steady state (active systems included) are all quasi-balanceable, and establish a new complete parameterization for this important class of systems. Examples are provided to illustrate our results.     

混杂系统的一致输入输出对状态稳定性

混杂系统的输入输出对状态稳定性是混杂控制系统领域极富挑战性的课题之一. 为了观测混杂系统的状态,本文提出了一类混杂系统的一致输入输出对状态稳定的充分条件,分析了混杂系统的一致输入输出对状态稳定性、光滑Lyapunov函数存在性和状态模估计器存在性三者之间的关系. 借助状态模估计器将混杂系统化为受扰动系统,获得了受扰动系统一致输入输出对状态稳定性的结果,并进一步证明了混杂系统的一致输入输出对状态稳定性.     

广义信息系统及其决策规则

提出一类更广泛的信息系统,称其为广义信息系统．它包含了完备信息系统、不完备信息系统和多值信息系统．给出了广义信息系统集合近似的概念、方法和相关性质．讨论了广义信息决策系统的决策描述形式．这种决策描述形式易于转化为Skolem标准型,可以直接应用于人工智能的归结推理．     

类广义Lorenz系统的广义同步

应用广义Lorenz标准型研究了包括广义Lorenz系统、双曲型广义Lorenz系统以及Liu-Liu-Liu-Liu系统在内的类广义Lorenz系统的广义同步化问题．利用映射将一大类三阶二次混沌系统变换为广义Lorenz标准型,设计控制器使变换后的系统达到完全同步,进而使变换前的系统实现广义同步．将该方法分别用于拓扑等价和不等价的两个系统,通过数值仿真,发现结果和理论分析相符,从而表明了该方法的有效性．     

Disconnected general systems

The properties of general systems, so-called disconnectedness, connectedness, and hereditary disconnectedness, are studied. The construction of star sets plays an important role in the study of the following topics: structures of (hereditary) disconnecied systems; equivalent conditions of (hereditary) disconnected systems; equivalent conditions of disconnectedness of quotient systems. Conditions, under which disconnectedness of factor systems can be lifted up to product systems and cartesian product systems, and conditions under which disconnectedness of product systems (cartesian product systems) can predict the disconnectedness of factor systems, are given.