木马程序的加载及解决办法

木马是互联网所面临的一种主要的安全威胁，其加载的方法也是多种多样，通常使用的方式是利用系统的配置文件；但随着操作系统技术的发展，越来越多的木马程序将加载信息直接隐藏在注册表中，大大的提高了木马程序的隐蔽性及可能带来的破坏性。这里提出了几种常用的及特殊的加载方式，并给出了相应的解决办法。     

多惯性仪表冗余系统测量数据的预处理

介绍了多惯性仪表冗余惯性测量系统数据融合前的测量异常值去除、系统误差修正和一致性检验的基本方法。针对测量数据一致性检验,讨论了置信距离测度和信任度函数两种处理方法。仿真结果表明后者能更好地确定一致性的惯性仪表测量数据。     

Indirect Radau pseudospectral method for the receding horizon control problem

To solve the receding horizon control (RHC) problem in an online manner, a novel numerical method called the indirect Radau pseudospectral method (IRPM) is proposed in this paper. Based on calculus of variations and the first-order necessary optimality condition, the RHC problem for linear time-varying (LTV) system is transformed into the two-point boundary value problem (TPBVP). The Radau pseudospectral approximation is employed to discretize the TPBVP into well-posed linear algebraic equations. The resulting linear algebraic equations are solved via a matrix partitioning approach afterwards to obtain the optimal feedback control law. For the nonlinear system, the linearization method or the quasi linearization method is employed to approximate the RHC problem with successive linear approximations. Subsequently, each linear problem is solved via the similar method which is used to solve the RHC problem for LTV system. Simulation results of three examples show that the IRPM is of high accuracy and of high compu-tation efficiency to solve the RHC problem and the stability of closed-loop systems is guaranteed.     

一类垂足多边形的有向面积公式及其应用

给出圆内接多边形的垂足多边形的有向面积公式，并利用该公式获得圆内接多边形的垂足多边形和正多边形的垂足多边形的若干结果，从而推广了垂足三角形的一些结论。     

ERP设备管理软件中数据库的跨平台研究

ERP系统的顺利实施可以实现对企业资源的合理调配,满足最大化地创造社会财富的要求。本文依据在ERP设备管理软件的实际开发过程中使用到的一些数据库技术,通过实例介绍了在ERP系统的开发设计中如何实现数据库的跨平台特性。     

价值构建与价值实现:对辅导员的另一种诠释

＂辅导员＂是近年来新出现的一个词语,由它所构建的同义语义场中还有这样几个词：班主任、老师等,它们共同构成＂教师＂的下一级语义场。＂辅导员＂的出现,是社会分工细化的结果,高校辅导员从事学生的思想政治等工作,他区别于专门从事教学活动的老师。哲学家黑格尔曾说过＂存在即合理＂,我们更进一步地认为＂辅导员＂这一角色的存在不但合理,而且具有很高的价值。为此我们将探讨辅导员的价值构建以及如何实现辅导员的价值。     

UKF参数估计在三体Lambert问题中的应用

为了快速精确地求解三体Lambert问题,提出了一种新的基于无损卡尔曼滤波(UKF)参数估计的数值求解算法,该算法由初值猜测和精确解求解两部分组成.首先,基于地月系统二体模型,通过简单迭代求解三体Lambert问题的初值.然后,将三体Lambert问题对应的两点边值问题转化为参数估计问题,通过UKF滤波算法求解,可得到收敛的精确解.该算法是基于概率估计理论的,不仅避免了传统数值方法推导相关梯度矩阵的复杂性,而且降低了三体Lambert问题对初值精确度的要求,从而显著降低了三体Lambert问题求解的难度.数值仿真表明,该方法求解效率较高,具有良好的鲁棒性,与微分修正算法、二阶微分修正算法对比具有更大的收敛域.      

基于北斗导航检测平台的时间量值传递系统研究

研究了基于北斗卫星的北京市导航检测平台的时间量值传递系统,它以卫星共视法作为数据比对的条件,采用修正值预估技术和相位补偿技术来提高铷钟的准确度与稳定度。本系统可实时地将地方原子时标与UTC（NIM）进行比对溯源,实现北斗卫星导航检测平台的时间量值可靠传递,保证地方原子时标与国家时间基准UTC（NIM）同步差在±10ns以内,以满足北斗导航产品研制、开发和应用的需要。     

基于高阶奇异值分解的LPV鲁棒控制器设计

针对高超声速飞行器线性变参数（LPV）模型建模中准确度与复杂度之间的矛盾性,提出了一种基于网格化张量及高阶奇异值分解（HOSVD）的凸多胞LPV模型建模及控制方法。首先基于雅可比线性化给出了大包线网格化模型的张量描述形式,然后提出了一种基于HOSVD的多胞LPV模型生成算法,将网格化模型表述为有限个线性时不变（LTI）顶点及权重函数的组合,并基于舍弃的奇异值给出了建模误差的指标,最后结合某航天飞机再入段六自由度非线性模型进行了大包线鲁棒LPV控制器设计与仿真验证,结果表明该方法可获得计算复杂度低且保证建模精度的LPV模型,设计的鲁棒变增益控制器能够使系统快速跟踪姿态角指令信号,并能够保证系统的稳定性和鲁棒性。      

旋翼滑流对倾转旋翼机飞机模式下气动特性的影响

建立了考虑旋翼桨叶形状、桨叶片数、桨距和转速等因素的等效桨盘模型,该模型中桨叶对气流的作用被等效为时间平均的源项添加到控制方程中,并通过两个算例验证了模型的有效性。对V-22倾转旋翼机飞机模式高速巡航状态下的全机三维流场进行了数值模拟,分析了旋翼流场特征,定量给出了滑流对气动力系数的影响量。计算结果表明:旋翼滑流明显改变了机翼表面的压力分布,使全机升力系数增大,最大升力系数增量为4.6%;0°迎角下滑流使阻力系数减小了29%,而4°迎角后,滑流使得阻力系数增大,在14°时增量达到了32%;俯仰力矩系数的变化量为4.6%。进一步研究发现,滑流对平尾下表面压力系数分布产生较大影响,而对垂尾影响则较小。