系统的f_p-状态与它的随机识别

利用函数单向S-粗集,提出了fp-状态、状态距离、系统状态被fp-规律随机入侵的概念。利用这些概念,给出系统状态被fp-规律入侵呈现的状态特征以及对这些状态特征的识别、识别准则与应用。函数单向S-粗集是函数S-粗集的基本形式之一,函数单向S-粗集是研究系统规律入侵预测的一个重要的理论与方法。     

基于积分二次约束时滞不确定系统的H∞可靠性控制

把基于积分二次约束H∞可靠性控制方法引入状态与时滞不确定系统。通过LMI方法导出无扰动时滞系统具有二次约束H∞可靠性控制的时滞依赖标准,降低有关判定系统鲁棒稳定性条件的保守性。通过推导获得参数与时滞不确定系统的时滞依赖标准。通过数例说明所得结论。     

A robust test of uncertain linear systems

In this paper, it is shown that for low-order uncertain systems, there is no need to calculate all the minimum and maximum values of the coefficients for a perturbed system which is expressed in terms of polynomials and hence no need to formulate and test all the four Kharitonov＇s polynomials. Furthermore, for higher-order systems such as n ≥ 5, the usual four Kharitonov＇s polynomials need not be tested initially for sufficient condition of perturbed systems; rather, the necessary condition can be checked before going for sufficient condition. In order to show the effectiveness of the proposed method, numerical examples are shown and computational efficiency is highlighted.     

浅谈手机设计中的符号美学

伴随着技术的不断进步,手机的造型设计也发生着日新月异的变化,但是随着手机的符号语言逐渐发展成熟,其美学标准越来越成为用户选择机型的关键因素。既要继承一贯的手机造型要素语言,又能对其造型要素进行合理的美学规范,即恰当的运用设计美学中的符号学指导未来的手机设计。     

构件化信息系统开发方法研究

首先由传统的信息系统开发方式的缺陷引出了软件构件化概念,然后对构件的属性、构件开发标准规范、信息系统构件化开发方法进行了介绍,最后给出了一种信息系统构件化开发框架探讨信息系统的构件化开发方法。     

汉字构形及其在现代标志设计中的运用

汉字是传递信息的重要载体,是东方文化的象征,特别是对中国文化具有标志性的代表作用。汉字历经上下数千年的发展和演变,不但使社会文化得以传承和积累,而且字体本身也在变化之中,有着博大精深的文化内涵和异乎寻常的艺术魅力。     

Controller design for flexible structure vibration suppression with robustness to contacts

Model-based feedback control of vibration in flexible structures can be complicated by the possibility that interaction with an external body occurs. If not accounted for, instability or poor performance may result. In this paper, a method is proposed for achieving robust vibration control of flexible structures under contact. The method uses robust linear state feedback, coupled with a state estimation scheme utilizing contact force measurement. Uncertain contact characteristics are modelled by a sector-bounded non-linear function, such that state feedback gains can be synthesized using a matrix inequality formulation of the Popov stability criterion. A separation theorem is used to establish a robust H₂ cost bound for the closed loop system. Experimental results from a multi-mode flexible structure testbed confirm that vibration attenuation and stability can be maintained over a broad range of contact characteristics, in terms of compliance and clearance.     

程序切片技术在并发程序模型检查中的应用

模型检查技术在硬件和协议设计方面已经取得很大成功,但在软件验证方面仍存在很多困难。其主要问题是如何从源代码中自动抽取验证所要模型并精简其状态空间。文中通过对程序切片技术的研究,来解决并发程序验证的建模问题,包括把验证公式映射到切片准则．并把得到的程序切片转化为验证所需的模型。经程序切片处理后,软件模型检查效率得到提高。     

图像恢复的正则化混合GMRES(m)方法

为了充分利用广义极小化残量方法在处理大规模线性问题时的优势,将其同正则化技术相结合应用于图像恢复领域,提出了一种新的图像恢复方法。该方法基于Arnoldi过程,用一系列规模远小于原不适定问题的最小二乘问题来逼近原问题,并应用截断奇异值分解正则化技术保证稳定求解这些最小二乘问题。其中,根据图像恢复问题的具体特点,在确定截断奇异值分解的截断次数时,对传统的L-曲线准则进行了少许修改。数值试验结果表明,试验数据与肉眼观察恢复图像的清晰程度相吻合,说明新方法是有效的。     

一种极化SAR目标Cameron分解的改进方法

Cameron分解是一种非常重要的极化SAR目标相干分解方法,在舰船及小型飞机检测等方面有着广泛的应用.但由于Cameron分解方法未考虑目标可能具有的非相干特性,对包含非相干目标的场景应用会导致不准确的分解结果,不利于进行后续的目标检测处理.为了解决问题,通过引入Touzi提出的目标相干性判定准则,在Cameron分解过程中对目标进行相干分类预处理,能够较好地将场景中包含的非相干目标分离出来,从而提高了Cameron分解结果的准确性,达到了改进Cameron分解的目的.使用实测L波段极化SAR数据进行实验,实验结果验证了改进方法的有效性.