文件型病毒的形式化定义及识别算法

病毒定义是反病毒技术研究的基础,安全专家一直没能准确定义病毒与普通程序的区别。针对最为常见、破坏性强的文件型病毒,本文提出以遵循用户意愿为判断标准,给出了其形式化定义。根据新定义,可以构造出准确识别病毒的算法。同时,实际的恶意程序案例分析表明,它们绝大多数在新定义范围之内。     

航天器三指式对接机构运动学分析及尺寸优化

航天器对接机构是完成空间在轨对接任务的核心机构。为避免在对接过程中发生对接任务失败或对接机构与航天器外部结构发生干涉碰撞等问题,在设计过程中需对对接机构的结构尺寸进行设计优化。文中针对对接任务的初始位置偏差的容差性能提炼了机构尺寸优化的约束条件,根据约束条件确定了优化变量,依据结构紧凑性要求建立了优化目标函数,得到了对接机构尺寸优化数学模型,求得对接机构最优尺寸,可为三指式对接机构的设计和对接初始条件的确定提供参考。