Young不等式、Holder不等式与Minkowski不等式的新证法

本文给出著名的Young不等式,H(?)lder不等式与Minkowski不等式的新证法。在通常的书上都利用Young不等式来证H(?)lder不等式,再用H(?)lder不等式来证Minkowski不等式。而在本文中用凸函数的特性证明上述三个不等式。     

黑盒预处理功能可测试性的研究

通过对黑盒预处理功能可测试性的数学建模和理论证明,总结出可测试性黑盒预处理功能的判定步骤和测试方法,并通过一个实例进行详述。     

《航空维修与工程》征稿通知

<正>《航空维修与工程》是由中国航空工业集团公司主管,中航出版传媒有限责任公司主办和出版的科技期刊。国内统一连续出版物号:CN11-4912/V;国际标准刊号:ISSN1672-0989。本刊从2015年起改为月刊,每月20日出版。《航空维修与工程》关注航空工程、维修领域的相关问题,主要栏目有:动态、专稿、MRO专辑、维修、工程、管理、检测、适航、机务论坛等。     

真实的魅影(上)

世界上有很多水怪的传说,不过,这些传说后来都被证明,要么是某种形式的误认,要么就是有人制造的闹剧。比如英国的尼斯湖水怪,后来就被证明是有人故意制造的假象,用来吸引游客。像这样的水怪传闻还有很多,不过,没有哪个地方的传说能够经得起长时间的推敲。然而,有一个地方却非常特别——中国新疆的喀纳斯湖。在这个风光如画的地方,水怪的传闻似乎越来越接近现实。2005年6月7日,一群来自北京的游客在喀纳斯湖面上乘船游览,当船行进到三道湾附近时,离船两百米远的水面上突然激起一米多高、二十多米长的浪花。突然出现的浪花还快速地向湖心方向…     

航班正常性的理性回归

航班正常性这一困扰航空公司的难题，正如我们在生活中遇到的许多问题一样，是无解、多解抑或是唯一正解？我想首先我们应该证明这一命题的合理性，只有证明命题存在是合理的，我们才需要根据命题去寻求答案。否则，我们只有重新命题，进而再寻找答案。也就是说，我们应先证明目前这一困扰的存在是否合理。我们不妨从以下几个问题中去寻找答案。     

离散广义Markov跳变系统的镇定性

针对转移概率部分未知情况下的离散时间广义Markov跳变系统,研究了系统的稳定性和镇定性。转移概率部分未知的情况包含了转移概率完全已知和完全未知两种特殊情况,具有更广泛的实际意义。首先利用线性矩阵不等式方法,将离散Markov跳变系统的结论推广到离散广义Markov跳变系统,提出了使开环系统随机稳定的充分条件;在此基础上,进一步提出了闭环系统可镇定的判据,并表示为线性矩阵不等式形式;最后,通过仿真算例验证了所提方法的有效性。     

2015小卫星技术交流会征文通知

<正>为更好地促进我国小卫星技术、管理及应用领域的创新和发展,中国宇航学会、航天东方红卫星有限公司、小卫星及其应用国家工程研究中心,拟于2015年6月在京联合召开"2015年小卫星技术交流会",会期一天。会议由航天东方红卫星有限公司承办,《航天报》、《宇航学     

多目标非脆弱鲁棒控制器在飞行控制系统中的应用

针对飞行控制系统中存在的多种不确定性,提出了飞行控制系统的多目标非脆弱鲁棒控制器的控制方法。由系统的H2性能、H∞性能、区域极点配置和保性能控制四种控制目标,用线性矩阵不等式(LMI)法导出多目标鲁棒状态反馈控制器的存在条件,同时考虑了飞行控制系统中控制器增益的加性摄动,设计的控制器实现了系统的四种性能指标优化。仿真实验结果表明:该控制方法有较强的鲁棒性。     

不确定广义时滞系统的参数依赖指数镇定

研究了具有凸多面体不确定广义时滞系统的时滞相关型指数镇定问题。首先,利用Lyapunov稳定性定理和线性矩阵不等式工具,给出了标称的广义时滞系统正则、无脉冲和指数稳定的时滞相关型充分条件。在此基础上,采用参数依赖Lyapunov函数方法,设计了使闭环系统正则、无脉冲和指数稳定的时滞相关型状态反馈控制器,并给出了相应控制器的显式表示。