一种新的确定型有限自动机状态表示及压缩

针对传统DFA存在时间复杂度和空间复杂度高的问题,提出了一种新的DFA状态表示和字符-状态压缩方案。通过对传统DFA状态转换的观察发现,对于一个给定的输入来说,可以仅存储相邻状态之间的差异,从而得到一种新的DFA状态表示N-DFA;对每个大小不固定的状态设置一个状态指针来有效地减少每个指针所需要的比特数,从而得到一种基于输入字符的字符-状态压缩算法C-S;把N-DFA和C-S有效地集成在一起,进一步减少内存。实验结果表明,提出的N-DFA和C-S集成方案相比于传统的DFA和其他改进DFA方案,可以获得更好的内存压缩和加速性能。     

基于状态观测器的四旋翼飞行器鲁棒控制

针对一类具有不确定性的系统,当系统状态难以测量时,通过构造状态观测器,设计了基于状态观测器的鲁棒控制。通过选取李雅普诺夫函数,推导出满足鲁棒控制器存在的充分性条件,再通过Schur补性质将矩阵不等式转化为等价的线性矩阵不等式。利用MATLAB中的LMI工具箱求解线性矩阵不等式,得状态观测器增益和状态反馈控制器增益。最后,将结论应用于四旋翼飞行器中,证明了所提方法的有效性。     

GPS和类GPS测距技术联合用于双星编队星座的状态确定

编队卫星状态的高精度确定是编队星座功能实现的重要基础。针对对地观测的双星编队星座的状态确定问题,为了提高状态确定的精度,在GPS技术的基础上,引入了类GPS测距技术,建立了联合GPS和类GPS测距技术进行状态整体确定的两种数学模型,并讨论了GPS星间单差模糊度和类GPS星内单差模糊度的同时初始化方法,最后进行了数值仿真。仿真结果显示,类GPS观测值尤其是类GPS星内载波单差观测值的引入,明显提高了双星编队星座的状态确定精度,其中绝对姿态角的精度达到rad,相对位置的精度达到m,相对钟差的精度达到s。仿真证明方法正确有效,模型二更优于模型一。     

基于不确定LPV系统的变体飞行器姿态控制

针对变体飞行器姿态控制系统,提出一种基于双层多面体描述的LPV多目标控制器,同时考虑调度参数的变化和系统不确定性的影响。第一层多面体用于管理调度参数并在顶点不确定系统上设计增益调度控制器;第二层多面体建立在每个顶点系统上以进行闭环控制系统的鲁棒设计。上述控制器求解问题最终可转化为求解一组有限数量的线性矩阵不等式。仿真结果表明,在所设计控制器作用下,变体飞行器系统可较好的跟踪攻角参考信号,同时具有良好的鲁棒性能。     

一个具有相互独立、不同分布服务时间序列的排队模型

讨论的排队模型 ,放宽了GI/G/1系统中“服务时间独立同分布”的限制 ,只要求各服务时间相互独立 ,因而较GI/G/1排队模型能更合理地拟合实际问题 .在此较宽的条件下 ,利用补充变量的方法 ,求得了该排队系统队长的瞬时分布     

加强退伍军人平时管理的主要对策

退伍军人作为国防后备力量的重要组成部分,是未来高技术局部战争中兵员动员的首要对象。加强对退伍军人的平时管理,对于提高后备力量建设的质量和战时兵员动员的效益,对于增强军队的整体作战能力都具有极为重要的意义。然而,由于目前对退伍军人缺乏有效的管理机制,导致对退伍军人的管理大多处于一种无序的状态,极大地影响了后备力量建设的质量。笔者认为,要改变这种现状,当前必须着重抓好以下工作。