铁直接还原技术的现状及发展

综述了国内外铁直接还原技术的现状及发展,分析了在我国开发和应用煤基直接还原技术的极大潜力     

移动机器人全覆盖路径规划算法研究

针对静态未知环境下移动机器人全覆盖路径规划问题,提出了一种改进优先级蚁群算法。该算法首先通过机器人本体上的传感器构建基于动态栅格法的工作环境;综合考虑栅格属性、机器人转向、邻域栅格距离和未覆盖区域面积大小的基础上构造优先级启发规则,然后利用该规则进行路径全覆盖工作。针对机器人工作过程中出现的死锁问题,文章提出采用蚁群算法寻找逃离死区的最优路径,从而保证机器人实现路径全覆盖,并使覆盖路径的重复率尽可能小。仿真实验中,通过与传统算法比较,验证所提算法能在保证面积覆盖率为100%的同时,降低了死锁次数和轨迹重复率,从而提高了机器人工作效率。     

带机械臂四旋翼飞行器的控制方法研究

四旋翼飞行器机械原理简单,主要由四个螺旋桨和十字架结构机身组成,是典型的强耦合,非线性欠驱动的六自由度系统。四旋翼飞行器利用四个螺旋桨的转速变化,来控制机身的姿态变化。例如:绕Y轴的俯仰和沿Y轴的左右移动;绕X轴的横滚和沿X轴的前进与后退;绕Z轴的偏航和沿Z轴的上升与下降。四旋翼飞行器的姿态控制是控制系统的核心部分,是热门研究课题。文章的主要内容如下:1.首先对四旋翼飞行器进行了受力分析,通过导航坐标系与机体坐标系之间的变换及Newton-Euler方程对四旋翼飞行器建立运动学模型、动力学模型;2.根据建立的四旋翼飞行器的模型设计研究了基于抗饱和的串联PID控制算法,基于matlab/Simulink中提供的模块对四旋翼飞行器进行模拟仿真实验;3.基于饱和的串联PID控制算法进行仿真实验,结果表明基于抗饱和的串联PID控制算法有良好的动态特性;4.将携带的机械臂考虑成四旋翼无人机在飞行过程中所受的干扰,进行实验。本论文对携带机械臂四旋翼飞行器做了初期的研究,希望后期有更多这方面的学者深入研究。     

面向云测试的并行测试用例自动生成方法

为实现云计算环境下的高效软件测试,提出一种Web 应用系统功能测试的并行测试用例自动生成方法。该方法首先根据场景流图采用深度优先遍历算法生成并行测试路径,录制组合产生并行测试脚本,并进行参数化处理;然后,使用基于搜索的软件测试(SBST)方法自动生成可经过目标路径的有效测试数据集,脚本与数据耦合形成大量可并行部署的自动化测试用例。为验证方法的有效性设计了自动化云测试原型系统。实验结果表明,该并行测试用例自动生成方法可以高效地为云平台提供测试用例输入,提高测试效率。     

地基SAR形变监测误差分析与实验

地基SAR(Ground Based Synthetic Aperture Radar,GB-SAR)是进行区域性、全天时、全天候、定点连续形变监测的重要手段。该文对中国科学院电子学研究所研制的地基SAR系统 ASTRO (Advanced Scannable Two-dimensional Rail Observation system)的形变监测性能进行分析,结合ASTRO系统成像几何给出了其形变监测模型和精度分析模型,着重分析了影响形变监测精度的主要误差源。最后以ASTRO系统为实验平台开展了形变监测实验与分析,验证了ASTRO系统用于形变监测的能力。     

基于划分DBSCAN算法的小区载频配置优化

为了充分利用无线网络资源,提升无线网络质量,充分利用了DBSCAN（Density Based Spatial Clustering of Applications with Noise）算法的优点,提出基于划分DBSCAN算法的话务量异常小区的检测方法,并通过对现网大量话务数据的统计分析,找出小区载频配置数和最佳话务量之间的关系。对话务量异常、拥塞率高的小区进行载频配置优化,并对城市小区网络优化有一定的指导意义。     

案例推理在认知引擎中的应用

遗传算法可用于认知引擎中传输参数的优化,但随着认知用户数的增加,遗传算法染色体增长,导致算法收敛时间过长,难以满足认知无线电实时通信的需求．以现有认知引擎为基础提出一种新型的认知引擎架构,并将案例推理融入遗传算法中,利用案例推理寻找匹配案例,为遗传算法提供初始种群,减小遗传算法选择初始种群的盲目性．仿真分析结果表明,与仅采用遗传算法的认知引擎相比,融合案例推理的遗传算法构造的认知引擎收敛速度和处理能力有显著提高,效用函数值也有一定增强．     

基于加速鲁棒特征的广角图像自动拼接校正算法

广角图像在全景图拼接中优势明显,然而,由于广角图像存在严重的透视畸变,往往导致拼接的效果不理想,甚至导致拼接失败。针对广角图像拼接中的透视畸变问题,提出一种广角图像自动拼接、校正算法。先计算出待拼接广角图像的特征点匹配对,求出图像拼接矩阵,对广角图像进行拼接;然后,根据图像采集时的镜头旋转角度计算出图像校正矩阵,对拼接后的全景图进行透视畸变校正。实验结果表明,基于该算法得到的全景图能够有效地消除透视畸变,达到较好的拼接效果。     

MIS中基于部门和角色的细粒度访问控制模型

针对基于角色的访问控制模型的特点和不足,提出一种基于部门和角色的细粒度访问控制模型（D-RBAC模型）,对模型中的元素进行了形式化描述,给出了其实现机制和访问控制算法。D-RBAC将角色和部门相关联,有效实现了对象访问和数据范围的精确控制,同一角色在不同部门的权限分配以及细粒度访问控制,减少了角色管理数量,简化了开发配置过程,增加了权限管理的精确性和灵活性。最后,给出了该模型在某装备综合管理信息系统中的应用实例。     

面向移动云存储的属性基解密服务中间件

属性基加密（ABE）算法支持对云端数据的细粒度访问控制。针对属性基解密计算复杂度高,难以在资源受限的移动终端上实现的问题,提出并实现了一种面向移动云存储的属性基解密服务中间件。在保证密文信息不被中间件获取的前提下,中间件为移动终端代理属性基解密服务,实现了基于树形结构的线性秘密共享（LSSS）矩阵求解,降低了终端的计算与通信开销,提高了解密速度;属性权威可以在不需要用户参与的条件下,即时、细粒度地撤销用户属性;所有接口均使用Restful服务,保证了通用性。实验结果表明,属性基解密服务中间件提高移动设备解密性能近30倍,具备较好的并发性能,属性撤销具有实用性。