Robust guaranteed cost control for uncertain stochastic systems with multiple decision makers

The guaranteed cost control (GCC) problem for uncertain stochastic systems with N decision makers is investigated. It is noteworthy that the necessary conditions, which are determined from Karush-Kuhn-Tucker (KKT) conditions, for the existence of a guaranteed cost controller have been derived on the basis of the solutions of cross-coupled stochastic algebraic Riccati equations (CSAREs). It is shown that if CSAREs have an optimal solution, then the closed-loop system is exponentially mean square stable (EMSS) and has a cost bound. In order to simplify computations and attain a global optimum, the linear matrix inequality (LMI) technique is also considered. Finally, a numerical example for a practical megawatt-frequency control problem shows that the proposed methods can help in attaining an adequate cost bound. Furthermore, the features of these methods are characterized.     

在线评测系统的设计与实现

在对目前高校考核学生学习程序设计课程效果的过程中,笔者发现,仅通过卷面考试并不能反映出学生学习的真实效果。程序设计课程的性质和特点决定了它的考核手段——通过让学生动手实践来检验其学习效果。有鉴于此,笔者在了解和学习了众多自动评测系统的基础上,自主开发了能基本满足学生"基于实践"的学习在线评测系统。     

频差存在时广义相关时延估计方法研究

研究了两个接收站输出信号的频率有差异时的时延估计问题并针对广义相关时延估计提出了改进方法.首先理论推导了频率差异是如何影响广义相关时延估计的,接着应用频域相关函数对频差做准确估计和补偿,最后给出了频差补偿后的广义相关时延估计方法.以四种常用通信信号为例,仿真验证了不同信噪比下提出方法的正确性和有效性.     

Non-fragile guaranteed cost control for Takagi–Sugeno fuzzy hyperbolic systems

This paper concerns the problems of non-fragile guaranteed cost control (GCC) for nonlinear systems with or without parameter uncertainties. The Takagi–Sugeno (T–S) fuzzy hyperbolic model is employed to represent the nonlinear system. The non-fragile controller is designed by parallel distributed compensation (PDC) method, and some sufficient conditions are formulated via linear matrix inequalities (LMIs) such that the system is asymptotically stable and the cost function satisfies an upper bound in the presence of the additive controller perturbations. The above approach is also extended to the non-fragile GCC of T–S fuzzy hyperbolic system with parameter uncertainties, and the robust non-fragile GCC scheme is obtained. The main advantage of the non-fragile GCC based on the T–S fuzzy hyperbolic model is that it can achieve small control amplitude via ‘soft’ constraint approach. Finally, a numerical example and the Van de Vusse example are given to illustrate the effectiveness and feasibility of the proposed approach.     

基于SSE2的模板匹配并行算法改进

Intel处理器的SSE2(Streaming SIMD Extensions 2,数据流单指令多数据扩展)技术,支持指令级SIMD操作,提供了单处理器上并行处理的解决方法。将模板匹配算法用SSE2 技术并行化,在Linux平台下用GCC编译实现。试验结果表明:SSE2技术大大加快了模板匹配的速度,能够在保证原有精度和稳定性基础上,解决了模板匹配方法计算量大、耗时多, 成本高的问题,有效地满足了在电子产品与制造等众多领域对计算机视觉技术的实时要求。     

基于麦克风阵列的时延估计新方法

针对传统时延估计方法易受噪声和混响影响的问题,提出了一种基于麦克风阵列的时延估计新方法。该方法充分利用多个麦克风的空域信息和每个麦克风时域信息,以提高算法对环境噪声的抑制能力。该方法在抗噪声和抗混响性能方面都优于常用的PHAT-GCC（Phase Transform-Generalized Cross Correlation）方法。仿真实验表明,与MCCC（Multichannel Cross Correlation Coefficient）方法相比,在信噪比为20 dB,阵元个数为2～6个,混响时间在200～620 ms条件下,该方法的时延估计错误率明显降低。     

亚微米重质碳酸钙水中分散的研究进展

介绍了亚微米重质碳酸钙(GCC)的应用及制约其应用的关键——均匀稳定的分散,阐述了目前对于亚微米重质碳酸钙在水中分散的研究进展,并展望了未来的研究方向。     

80位浮点运算的编译实现与优化

本文介绍了80位浮点运算的编译实现技术,在IA-64平台上针对一套科学计算测试程序进行了性能瓶颈分析。利用IA-64体系结构特点,改进和实现了用户定义函数的自动内联、高级循环变换、数据预取、80位浮点数学库函数内联扩展四种编译优化。测试结果表明,这些优化手段显著提高了80位浮点运算的串行性能和并行性能。     

GCC中内嵌函数实现剖析

GNU编译器集合(GCC)具有支持多种高级语言和多种目标处理器平台、文档及源代码开放等的特点,在工业界和学术界被广泛使用。GCC支持非常多的内嵌函数,内嵌函数是GCC编译器中非常重要的一部分实现。首先分析GCC中多种内嵌函数的目的和作用;之后结合实际工作,以使用向量扩展指令的内嵌函数实现为例,剖析了平台相关的内嵌函数的实现过程。本工作对深入理解C}CC编译器中的内嵌函数实现机制,对基于C}CC的研究和开发有较强的参考意义。     

GCC后端中四路双精度短向量寄存器的实现

设计和实现一个新的产品化的编译器通常需要几年时间。基于已有的编译器进行修改和扩展,是研发面向新体系结构的编译器的主要途径。GNU编译器集合(GCC)支持多种高级语言和多种目标处理器平台、文档及源代码开放等。基于GCC的Sparc后端,实现了支持四路双精度SIMD指令的四路双精度短向量寄存器的描述。在此过程中,定义了新的目标机,扩充了一类向量模式,定义了一类新的寄存器约束,实现了四路双精度寄存器的描述,定义了四路双精度SIMD指令的机器描述。对于面向此类SIMD指令的内嵌函数,GCC编译器能够正确使用该类向量寄存器来生成对应的SIMD指令。