四姑娘山の魅力を語ろう.

中国は西南部、遺伝子の宝庫と呼ばれる横断山脈の東部に位置する四姑娘山.……     

忽有郎酒可想

酒和乡村泥土中耕犁翻开的地气有直接关系。因此,好的酒是粮食酿的。所以,好的酒也是有背景有底气的。好的酒好比:"锦瑟无端五十弦,一弦一柱思华年"。好的酒看似柔弱无骨,半斤下肚,精气神却来了,可以去除了你的狂气,傲气、燥气和锐气,留得天地间的是你的真气、正气和禅味的和气。不要小看了它水为底的形色质地,尤其是作为男人的一种生存交流方式,它体现了人在自然和物质面前的一种无奈,人类只有完善人与人之间的心灵沟通,才能获得     

电磁力控制翼型失速的实验研究

将条状电极和磁极交错布置的电磁场激活板置于弱电解质溶液中,在流体边界层上产生具有明显分布特征的电磁力(Lorentz力),利用电磁力可以改变流体边界层的结构,控制边界层的流动脱落与分离,可以增加翼型升力,减少其阻力,实现对翼型失速的控制.利用电磁力控制流体边界层的方法属流体主动控制方法之一.本文首先基于电磁场和流体的基本方程,对置于弱电解质中的不同极板宽度的电磁激活板周围的电磁场及产生的Lorentz力进行了数值模拟;其次,通过实验来验证此方法的有效性.将包覆有电磁激活板的翼型置于弱电解质溶液中,利用基于TMS320F2812(DSP芯片)组建的翼型失速实验控制系统来灵活改变翼型的迎角和转速,测量升力和阻力的变化;实验结果表明,正向电磁力能够有效地抑制和延缓翼型失速现象的发生.     

自组织网络中的分布式能量感知拓扑控制算法

为了有效利用无线自组织网络的能量,将最小连通支配集和计算几何学相结合,提出了一种自组织网络中的分布式能量感知拓扑控制算法.首先选举能量寿命较长的节点构建能量感知最小连通支配集,保证支配节点有充足的能量完成路由转发任务.之后在能量感知最小连通支配集上面构建Delaunay三角剖分,降低节点数据发送能耗,保证链路的能量有效性和网络拓扑的平面性.在原有连通支配集失效的情况下,选举能量寿命较长的替代节点进行拓扑重构,实现动态网络能量均衡.仿真结果表明,本算法在获得小的支配集的同时延长了网络寿命.      

控制力矩陀螺框架控制方法及框架转速测量方法

控制力矩陀螺是一种具有力矩放大特性的惯性执行机构,通常应用于大型航天器姿态控制。近年来,随着相关技术的发展,对基于控制力矩陀螺的中小卫星快速机动平台的需求日益迫切,这不仅需要控制力矩陀螺能够输出大力矩,而且要具有较高的力矩输出精度。本文结合工程实践,提出一种框架转速精度测量方法,以及一种采用正弦永磁同步电机,基于转子磁场定向的矢量控制方案。该框架控制方案中引入摩擦力矩观测器及其补偿算法,在控制回路中通过对摩擦力矩的补偿,可有效提高框架驱动控制系统的稳定性和动态性能。     

Pareto最优解的充分及必要条件

对多目标优化问题不需目标函数的凸性和二次可微性的假设，在约束区域具有严格点凸性的条件下，证明了Ｋｕｈｎ－Ｔｕｃｋｅｒ条件是严格局部Ｐａｒｅｔｏ最优解的必要的充分条件，并以若干例子说明其适用性。     

混合系统的形式化验证

结合混合系统的研究对余度管理系统进行了形式化的分析和验证.采用的手段是时段演算技术及其扩展.首先进行形式化的需求分析,需求及其假设用时段演算表示,其次严格化地描述算法和参数的选取.在验证过程中,首先应用程序逻辑验证算法,算法的不变量以时段演算表示,最后在时段演算中验证整个系统的行为满足给定的需求.      

基于LMI的混合系统的稳定性和鲁棒镇定研究

混合系统的稳定性分析,乃至镇定方法是混合系统研究的重要内容。线性多模态切换系统是一类重要的混合系统。针对线性多模态系统提出了一种基于线性矩阵不等式技术进行稳定性分析和鲁棒镇定的方法,通过求解一组线性不等式得出稳定性的判定条件,设计出的一组状态反馈控制律对系统的模态切换乃至有界模型不确定有鲁棒性。推导了控制律设计所对应的线性矩阵不等式组,并证明了其中的一致性关系,探讨了求解方法,应用实施也显示出该方     

应用遗传算法的气动优化设计

首先对简单遗传算法进行改进,并对改进前、后算法的计算效率进行了比较;然后以跨音速翼型为例,应用改进的遗传算法进行气动优化设计。经过优化的翼型气动特性垢改善,表明了遗传算法在优化设计中的有效性。在优化设计的过程中,翼型用解析函数的线性叠加表示,目标函数和个体和适应值由欧方程的流场解来提供。     

计算机网络防御策略模型

目前计算机网络防御研究中缺乏高层且易于细化的策略建模方法,因此在分析Or-BAC模型(Organization Based Access Control model)的基础上,对网络防御控制行为进行抽象,建立计算机网络防御策略模型(CNDPM,Computer Network Defense Policy Model).该模型对保护、检测和响应等策略进行统一建模,并引入角色、视图、活动自动分配的方法,以提高分配的效率,同时给出了策略到规则的推导规则,以细化为具体的防御规则.还给出了策略的完备性、有效性和一致性的形式化描述及分析.实例分析表明,该模型表示的计算机网络防御策略,能够有效地转化为防御规则,具有较好的实用性和扩展性.