含非线性半群的微分包含

研究了形如X＇（t）∈-Ax（t）＋F（t,x（t））,0≤t≤T,X（0）＝x0的微分包含解的存在的局部性和整体性的结果,并在某种条件下研究了解的稳定性。     

刑罚轻缓化之理性思考

刑罚轻缓化是当今世界发展的潮流,但我国由于历来受传统重刑思想影响,对刑罚轻缓化思想是排斥的。要改变这种状况,就要对刑罚轻缓化的基本理论进行研究,以使我国的领导层和普通大众对刑罚轻缓化有一个理性的认识,改变我国的重刑刑罚结构和法官量刑偏重的重刑情结,接受刑罚轻缓化思想,以顺应世界发展趋势。     

一个新的类FEISTEL密码方案

分析了RSA和DES的算法优点和安全弱点,设计了一个新的密码算法方案。该方案以类FEISTEL结构为基础增强了左右两半部分结构的安全设计,利用了RSA进行密钥分配,并以序列密码算法的生成原理改变了固定密钥的缺点。该新方案具有一次一密的特点,给破译者获得大量的明密文对造成了很大的困难,可较好地抵抗差分分析与线性分析,是一种安全性较强的加密方案。     

纹理影像特征选择及K-means聚类优化方法

Gabor变换和K-means算法是最为常用的纹理分析方法。然而,采用Gabor变换得到的纹理特征向量具有较高的维数,影响算法的运行效率;K-means算法也易受初始类中心的影响而导致分类精度下降。因此,通过Relief算法对采用Gabor变换所提取的纹理特征进行选择,得到合适的纹理特征子集。进一步采用差分进化算法,对K-means算法的聚类中心进行优化从而提高纹理识别精度和效率。实验结果表明:提出的方法所需用到的纹理特征向量的维数相对于原始特征集有大幅降低,较之基本的K-means算法,纹理识别的精度也有较明显的提高。     

装备技术体系结构演化和超网络建模

装备技术体系结构演化模型是把握装备技术发展规律和制定发展战略的基础。文章系统梳理装备技术发展的体系特征,深入分析了其体系演化动力、要素和过程,将演化实体与关系抽象为超网络的节点和边,可以给前沿技术探测和装备技术体系评估提供新思路。     

改进人工蜂群算法的无人机航迹规划研究

如何快速地规划出满足约束条件的飞行航迹,是实现无人机自主飞行的关键。将改进的人工蜂群算法应用于求解无人机航迹规划问题,同时在人工蜂群算法的侦察阶段引入差分进化算法的思想。通过仿真实验并与标准人工蜂群算法比较,结果表明此算法能够有效加快收敛速度,提高最优航迹精度,是解决航迹规划和其他高维复杂函数优化的有效方法。     

拦截高速机动目标的捕获区及微分对策导引律

针对高速机动目标拦截场景,研究末制导段捕获区存在条件及微分对策导引律问题。建立弹目相对运动模型并引入控制动力学模型,采用终端投影方法对相对运动模型进行降阶处理;基于微分对策理论推导一种解析形式捕获区,并具体到直/气复合控制导弹对机动目标的拦截中,该捕获区的存在能够保证对任意机动目标进行准确捕获;重新选取性能指标,将目标与直/气复合控制导弹在末端带有碰撞角约束的制导问题转化为零和微分对策问题,并求解出弹目最优拦截策略。仿真分析了几种情形下直/气复合控制导弹对目标实施拦截的捕获区存在域,导引律仿真结果表明微分对策导引律在对高速机动目标进行拦截时具有优良性能。     

论英语疑问句变化折射的语言生物进化现象

无论是古英语还是现代英语,其构成疑问句时,主语之前必须有填充词。在古英语中,填充词直接由动词v从屈折语素I位经连续提升进入补语连词位来构成疑问句。发展到现代英语,一部分动词虚化变成了情态动词,充当填充词,没有情态动词则出现了用助动词do作为填充词构成疑问句的现象。虽然转换生成语法的句法理论,对于疑问句结构的这种变化作了句法运算方面静态的描述,认为这种变化与转换生成句法构成的经济原则吻合,但本文认为疑问句的这种变化从另一个角度折射出语言的生物进化现象。     

仿生机器人运动建模与控制研究进展

综述了几何方法在仿生机器人运动建模和控制中应用的最新成果,探讨了在统一框架下处理多种机器人运动问题的可行性.     

基于流场特性的管内检测机器人的外形优选研究

管道内检测机器人的结构形状是影响其运动学、动力学特性的关键因素,在机器人设计中占有重要地位。在合理提出一些基本假设后,用二阶迎风差分格式离散管道内检测机器人附近流场的控制方程,并用SIMPLE算法求解,得到了7种不同形状的管道内检测机器人所受的差压驱动力及其周围的流场信息,并对这几种结构的CFD特性作了比较。最后综合空化条件、驱动力、腔内有效体积和加工难度等因素,确定了上游半球形结构为设计形状。