区间离散广义系统输出反馈鲁棒H∞控制

讨论了区间离散广义系统的静态输出反馈鲁棒H∞控制问题,在给出区间离散广义系统的等价描述之后,基于系统参数矩阵不等式,得到了问题可解的充分条件,并给出了输出反馈控制器显式表示,所得控制器保证闭环系统是容许的,且满足给定的H∞性能指标,数值例子说明了该方法的可行性。     

不确定广义系统的镇定

针对输出反馈下不确定广义系统的可镇定问题,从状态反馈下闭环广义系统的稳定性问题入手,利用矩阵不等式,依次给出不确定广义系统可镇定、关联不确定广义大系统的分散可镇定、以及关联不确定广义大系统在执行器故障、传感器故障下分散可镇定的充分条件。由此推广到输出反馈,给出了输出反馈意义下的广义系统可镇定、关联不确定广义大系统的分散可镇定、以及关联不确定广义大系统在执行器故障、传感器故障下分散可镇定的充分条件(即完整性设计)。其中反馈控制器的设计方法简明而又统一,便于应用。最后用数值例子来验证所给结果的有效性。     

调制引入循环平稳的MIMO系统分离与辨识

针对多输入多输出线性时不变系统提出了一种新颖的盲辨识方法。该方法利用了调制产生的二阶循环平稳性，在循环频率域对信号的统计量进行分离，最终将各个系统的冲激响应辨识出来。分别讨论了4输入4输出系统在有加性高斯白噪声时的信道辨识情况．并对算法进行了计算机模拟。     

Specification and Verification for Semi-Structured Data

Tree logic, inherited from ambient logic, is introduced as the formal foundation of related programming language and type systems, In this paper, we introduce recursion into such logic system, which can describe the tree data more dearly and concisely. By making a distinction between proposition and predicate, a concise semantics interpretation for our modal logic is given. We also develop a model checking algorithm for the logic without △ operator. The correctness of the algorithm is shown. Such work can be seen as the basis of the semi-structured data processing language and more flexible type system.     

Modeling and Performance Analysis of Dispatching Policies in Dispatcher-Based Web Server Cluster

There are two kinds of dispatching policies in content-aware web server cluster; segregation dispatching policy and mixture dispatching policy. Traditional scheduling algorithms all adopt mixture dispatching policy. They do not consider that dynamic requests＇ serving has the tendency to slow down static requests＇ serving, and that different requests have different resource demands, so they can not use duster＇s resource reasonably and effectively. This paper uses stochastic reward net （SRN） to model and analyze the two dispatching policies, and uses stochastic Petri net package （SPNP） to simulate the models. The simulation results and practical tests both show that segregation dispatching policy is better than mixture dispatching policy. The principle of segregation dispatching policy can guide us to design efficient scheduling algorithm.     

耦合白噪声作用下线性系统的随机共振

研究了耦合白噪声作用下的二阶过阻尼线性系统中的随机共振现象.基于线性系统理论和相关删去法方法,得到了系统平均输出幅度增益的精确表达式.研究表明:输出幅度增益是噪声的强度、系统的阻尼系数和系统的固有频率,以及激励信号的频率的非单调函数,适当的噪声强度和系统参数可以使噪声情况下的输出幅度增益大于无噪声时的输出幅度增益.     

改进的多版本软件扩展表决系统

本文提出了一种改进的扩展表决系统，该系统是利用自动分析表决系统可靠性等参数的工具来构建的。在软件容错中采用N模块冗余(N Modular Redundancy NMR)及N版本编程(N version Programming)，应用表决技术，可以屏蔽整个软件系统中出错的部分。在实践中直接应用理论的表决模型会发现很难得到理论分析的结果。针对这样的问题，本文提出一种基于多数(plurality)的扩展表决系统：使用构造决策树的方法和进行DFT遍历作为自动化的计算工具；通过对基本的多数表决系统进行模型扩展，加入指导性规则对决策树进行重构，以自动计算工具的结果作为参考，从而选择更加可靠的表决结果作为输出。最终的模拟测试表明，所提出的扩展表决系统能够提高系统输出的正确率。     

基于模型的有限状态机软件动态测试方法

介绍了一种基于模型的软件动态测试方法，该方法通过将被测程序抽象成有限状态机，将测试程序及测试用例的编写集中到单个状态上。在软件结构或逻辑发生改变时，能够通过对旧状态测试程序的重新组合进行新的测试。无需大量修改测试程序从而保存了先前的测试用例。     

一种用于模拟汉字认知过程的多层自组织神经网络

为了模拟汉语初学者的汉字认知过程,在Kohonen神经网络的基础上,改进了其网络结构和算法,并且将改进后的网络输出层根据Hebbian学习规则连接,构建了一个多Kohonen网络协同工作的汉字认知自组织神经网络模型.模拟研究结果表明,模型能够成功地学习到汉字的结构类型,且能有效识别出汉字的部件,在一定程度上模拟了汉字认知的部分过程,说明该模型用于汉字认知乃至汉语言习得的可行性.     

现代多媒体教学视频点播系统的构建

结合当前多媒体教学发展的趋势,阐明了高校现代多媒体教学视频点播系统的构建方法,并通过具体的实例介绍了高校如何构建以优质的校园网络为平台的多媒体教学视频点播系统,为高校实现多媒体教学资源共享提供了良好的参考方案.