INTERNET网检工具逻辑算符及检索表达式优化

对ＩＮＴＥＲＮＥＴ网检工具逻辑算符进行分析和比较。在此基础上，提出制定和优化检索表达式的方法。     

利用模糊系统实现解决最小时间喷射问题的非线性反馈控制律

目标 通过模糊逻辑，为非线性动态系统设计一种整合优化反馈控制律的新技术。 设计 方法 处理 在研究闭合回路模糊逻辑制导过程中，为了训练该模糊系统，本文推荐的方法是采用了各种非线性系统的开环优化控制解法，经过规定一套与系统状态有关的非量纲变量，从而完成这项目的研究。 各种发现 对于研究非线性问题，闭合回路模糊逻辑制导可以产生出闭合回路控制律，因为推荐的模糊结构不受该系统各方程式的限制，用于其他非线性系统也有处理能力。在常规状态下引入非量纲变量，提高了模糊训练的成果，同时对其它没有得到训练过的场景，为了得出精确解法，必要的模糊法则的要素也减少了很多。 创新和价值 在太空飞行器的制导和控制方面，有许多复杂的非线性问题，对这类系统来说，即使是开环的又是无噪声离线的情况，优化控制律的测定仍然是一项困难的工作，另一方面，闭合回路的开环优化控制解法，主要寄希望于在实际的工作环境中，它们的鲁棒性特征，所以这些特征更加适用于在线使用，但是对于复杂的各种非线性系统却不被认同。尽管在这类系统中，已经有少数科学家从事非线性优化控制领域和模糊逻辑的应用，但是还没有涉及到闭环优化模糊控制器，对可以在许多航天飞行器上的各种非线性系统，本文对优化反馈控制律的确定阐述了一种全新的策略。     

基于波形识别技术的简易示波表设计

设计了一种基于基波特征的波形识别技术和自动量程切换的简易示波表设计方案。通过对比多种波形识别算法，提出了符号化波形描述的波形识别算法，并将此算法用于低成本的示波表设计中。设计的示波表能实现特定波形的识别和量程的自动切换，并通过LCD显示出所测波形信号的电压值及频率值，解决了当前数字万用表测量交流信号的不足。     

权力制约：经典范式、内在逻辑与语境化

实质意义上的权力制约肇始于权力分化之后，历经以道德制约权力、以权力制约权力、以社会制约权力等经典范式，体现了权力制约活动从关注权力执掌者、权力本体到关注权力归属者不断演变的内在逻辑。植根于我国国情的权力制约实践在伦理学、社会学途径方面与西方存有共性，但于政治学途径却存有个性。实现我国权力制约的语境化既需要体现权力制约的普遍性规律，更需要把握马克思主义政治观视域下权力制约的特殊性。     

Design for aircraft engine multi-objective controllers with switching characteristics

The aircraft engine multi-loop control system is described and the switching control theory is introduced to solve the regulating and protecting control problems in this paper. The aircraft engine multi-loop control system is firstly described and the control problems are formulated. Secondly, the theory of the smooth switching control is devoted and a new extended scheme for the smooth switching of a switched control system is introduced. Then, for the key technologies of aero-engines switching control, a design algorithm is presented which can determine which candidate controller should be put in feedback with the plant to achieve a desired performance and the procedure to design the aircraft engine multi-loop control system is detailed. The switching performance objectives and the switching scheme are given and a family of PID controllers and compensators is designed. The simulation shows that using the switching control design method can not only improve the dynamic performance of the aircraft engine control system and reduce the switching times, but also guarantee the stability in some peculiar occasions.     

一种应用逻辑模型的通用星务软件架构设计

针对以往通信卫星星务软件研制面临投资规模大、功能复杂、研制周期短的问题,提出一种应用逻辑模型的通用星务软件架构设计。该架构由应用软件模块、服务软件模块和数据管理模块组成。应用软件模块通过分析通信卫星功能逻辑共同特点,设计并实现逻辑子动作、逻辑动作、逻辑序列3个层次的逻辑模型。服务软件模块能提供指令转发、数据传输、时间管理等通用底层服务,并分离于底层服务,应用抽象的逻辑模型开展软件业务逻辑设计。数据管理模块通过约定统一的数据协议,设计卫星参数、初始化装订数据的集中管理方法。与以往星务软件架构对比表明:通用星务软件架构能有效简化软件开发流程,提升软件质量和可维护性。     

模式切换混合系统的建模与仿真

本文分析了模式切换系统的特点，介绍了一种用于描述该类系统的数学模型，提出了模型的面向对象表达，并应用于飞船在轨姿态控制的建模与仿真中。     

多模切换控制方法及其在分导飞行器姿态机动控制中的应用研究

研究一类离散切换系统的鲁棒保性能状态反馈控制器设计问题。利用切换Lyapunov函数和线性矩阵不等式方法,得到了鲁棒保性能控制器存在的一个充分条件,给出了控制器的参数化表示,并将次优保性能控制器的设计问题转化为基于线性矩阵不等式约束下的凸优化问题。最后将所提理论应用于某飞行器的控制方案设计中,说明了本文所提设计方法的有效性。     

一种基于FPGA的快速CRC算法及实现

在数字通信中,循环冗余校验(Cyclic Redundancy Check,CRC)是一种常用的差错控制方法,它具有差错检测精确度高、效率高的特点.在设计中采用模拟人类的思维方式,创建快速、移植性强的串行循环移位异或运算方式来实现CRC编解码的算法,优化了系统电路.硬件测试表明,其在实现效率、消耗资源等方面取得了较好效果.     

基于神经逻辑网络的航空装备维修决策问题研究

利用神经逻辑网络进行航空装备维修评价决策,并建立了相应的网络模型,从根本上改进了传统依靠层次分析法在权重赋予上存在的问题。最后通过案例分析计算证明该方法切实可行。