变势能阱双稳态气动弹性能量收集的性能增强研究

提出一种新型的磁耦合变势能阱双稳态压电颤振能量收集器，设计了外部磁场作用下颤振能量收集系统的双稳态构型，并利用弹性支撑的外部磁铁的运动实现了变势能阱技术，解释了变势能阱双稳态对颤振能量收集系统的性能增强机理。建立了磁力-压电-气动弹性耦合的颤振能量收集系统的动力学分析模型，根据非线性磁偶极模型以及平衡点稳定性理论，讨论了系统出现双稳态构型的参数条件。对磁耦合双稳态颤振能量收集系统的动态特性进行了数值仿真研究，结果显示，双稳态构型能够使无磁力颤振能量收集系统的超临界颤振行为转变为亚临界颤振，发生极限环振动的风速能够降低50%以上，拓宽了能量收集器的有效工作风速范围，并分析了磁铁间距、磁偶极矩对能量收集性能的影响规律。采用弹性支撑的外部磁铁的运动来自适应调节内外部磁铁之间的距离，达到变势能阱的目的，有效地降低了双稳态的势能阱深度，使系统更容易发生双稳态势能阱间的跃迁运动，从而在双稳态的设计基础上，实现了能量收集工作风速范围和输出电功率的同步提升，为低风速下的能量收集提供了一种有效的设计途径。     

机载托架自动校准系统的设计与实现

为了解决机载托架传统校准方法精度低、耗时、费力等问题,设计了一种高精度、高效率并且操作简单的成品托架自动校准系统。该系统运用调平精度较高的"循环多次"最高点不动调平方法,建立高精度机载托架校准的静力学数学模型,运用VC与Matlab的COM接口编程技术开发机载托架自动校准系统,并建立良好的人机交互界面。试验结果表明,利用该方法对机载托架进行校准,无论是校准精度还是校准效率都较传统方法有很大提高。     

FDI飞机舵面损伤故障全局检测的非线性数学模型

阐述了飞机在单舵面损伤故障下 ,建立故障状态下的数学模型 ,以及同样输入条件下飞机正常运动时的数学模型 ,得到飞机在相同飞行条件下损伤时的气动系数和无损伤正常时的气动系数 ,最终得到气动系数的残差。这将为以后飞机过载残差和角加速度残差奠定基础。论文中结合一定的算例给予证实推论的正确性。     

一类非线性边值问题的激波解

研究了一类非线性奇摄动方程。首先得到了外层解，利用特异极限阶定了激波层的几种可能位置，对激波层的几种不同位置利用伸长变量构造出内层解。最后利用匹配原则求出了原方程在整个区间上的渐进解。     

质量矩导弹的神经网络及自适应非线性控制

本文对质量矩控制导弹的动力学方程简化和控制系统的设计进行了研究。详细阐述了所提出的控制方法，介绍了径向基单隐层神经网络进行误差补偿的算法原理，用Lyapunov理论证明了所采用方法的稳定性。在给出了质量矩导弹的六自由度动力学方程和简化后的方程后，用所提出的方法设计控制系统。通过仿真分析，得出了本文所提出的方法具有较好的误差补偿能力的结论。     

Phase coherence of MHD waves in the solar wind

Large amplitude MHD waves are commonly found in the solar wind. Nonlinear interactions between the MHD waves are likely to produce finite correlation among the wave phases. For discussions of various transport processes of energetic particles, it is fundamentally important to determine whether the wave phases are randomly distributed (as assumed in quasi-linear theories) or they have a finite coherence. Using a method based on a surrogate data technique and a fractal analysis, we analyzed Geotail magnetic field data (provided by S. Kokubun and T. Nagai through DARTS at the Institute of Space and Astronautical Science) to evaluate the phase coherence among the MHD waves in the earth's foreshock region. The correlation of wave phases does exist, indicating that the nonlinear interactions between the waves is in progress. This revised version was published online in August 2006 with corrections to the Cover Date.     

一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

新的面向对象编程语言Ada95

介绍了Ａｄａ９５的主要面向对象特征，分析了Ａｄａ９５对面向对象模型和面向对象逻辑设计的支持。     

无界域上不定二次规划的一个算法

本文给出了无界域上不定二次规划一个算法。该算法将不定规划转化为一系列凸二次规划，并证明了算法的收敛性。