极大代数及其在离散事件动态系统中的应用

在人类社会活动中,有许多活动属于离散事件或离散事件动态系统。在极大代数意义下,这类系统可用线性系统的理论和方法建立数学模型、求解状态方程,讨论可控性、可观性,以及实现系统运行的优化设计。     

移动智能体的形式化研究

移动智能体是当前分布计算领域的研究热点之一 ,但是其理论研究还处于一个很不成熟的阶段。文中阐述了对移动智能体作形式化研究的必要性 ,介绍了当前的研究现状 ,分析了其中的不足 ,并进一步给出了对后续工作的展望     

机关干部如何与领导同频思维

机关干部能否与领导同频思维，直接关乎到按照科学发展观要求提建议、作决策的质量。     

导弹自动驾驶仪控制算法鲁棒性研究

以某型轴对称导弹为研究对象,在解耦和线性化的情况下,得到简化的数学模型。通过求解线性矩阵不等式(LMI)设计了状态反馈H∞控制导弹自动驾驶仪,采用模糊和变论域理论设计了变论域模糊PID控制自动驾驶仪。考虑飞行过程中的干扰、气动参数摄动,对两种自动驾驶仪的控制性能进行对比研究,仿真结果表明,二者皆能实现对导弹制导指令的有效跟踪,其中状态反馈H∞控制设计的自动驾驶仪在指令跟踪的快速性、准确性和抗干扰性上具有明显的优越性。     

偶变元MAI旋转对称布尔函数

代数免疫度是布尔函数的一个重要密码学指标.给出了具有最大代数免疫度的偶数元旋转对称布尔函数的两种构造方法.进一步地,研究了特殊情形时所构造的旋转对称布尔函数的非线性度,当n≥18时,构造3得到的MAI旋转对称布尔函数的非线性度优于已知构造的偶数元MAI旋转对称布尔函数的非线性度.     

代数免疫度最优的旋转对称布尔函数的构造

代数免疫度是布尔函数的一个重要密码学指标,为了抵挡代数攻击,密码算法中所使用的布尔函数应当具有较高的代数免疫度.本文利用“轨道交换”技术,给出了一类具有最优代数免疫度的旋转对称布尔函数的构造,该类函数对于代数攻击具有较强的抵抗能力,同时具有较高的非线性度和最优代数次数.     

广义A-调和张量的反向H(o)lder型不等式

基于微分形式A-调和方程的反向H(o)lder型不等式,是研究其解可积性的重要工具.本文将A-调和方程推广到拟线性方程的情形,在一定的条件下获得方程解的反向H(o)lder型不等式,所得结果可以退化到经典的情形,为研究此类调和方程的正则性与可积性奠定了基础.     

运载火箭姿控系统三通道Simulink建模与仿真分析

以某运载火箭为例,介绍了将姿控系统数学模型转化为Simulink三通道仿真模型的方法和过程;在仿真过程中涉及到时变系数的瞬时时间固化法,分析由此引起的计算数据局部振荡,并提出解决办法;分析了用Simulink为该大型系统建模时所遇到的代数循环问题,并加以解决。     

离散系统的绝对稳定性

给出了离散系统绝对稳定性问题的充分条件:约束条件下的矩阵不等式的正定解;基于这一思路可以构造控制器来镇定一类非线性系统;最后还给出了设计实例以说明结果的有效性。     

紧盯任务,推动军事训练提质增效

未来战争中,国防动员系统既担负支援保障重任,又是联合作战链条中的重要一环,使命光荣,责任重大。因此,必须紧盯担负的任务,坚定不移地推进实战化训练,全面加强练兵备战,不断提高服务主战、保障打赢的能力。