基于资源扩展活动图的并发测试用例生成方法

对UML(统一建模语言)活动图进行共享资源的属性扩展,利用扩展的活动图对并发系统间任务的同步及数据的竞争关系建模,充分考虑并发软件运行原理、故障模式及测试效率,提出并发系统的测试覆盖原则及基于扩展活动图的并发测试用例生成方法。进一步通过举例验证该方法能够正确的生成并发测试用例同时又可防止用例数量爆炸,提高了并发软件测试的可靠性及效率。     

高度-速度剖面内再入轨迹快速规划

提出一种升力式再入航天器进入稠密大气后的轨迹规划方法。在预先设定攻角剖面的前提下,利用路径约束(驻点热流、动压和过载)在高度-速度(H-V)剖面内直接获得轨迹下边界;利用终端约束确定以轨迹下边界为基准的高度增量,进而通过下边界与高度增量的加和形成满足要求的再入轨迹。其中,增量的形式选取为分段二次型函数,其大小可通过割线法快速获得。倾斜角大小可根据纵向动力学方程反解得到,其方向依据航向误差角走廊确定。通过对典型工况的仿真,结果表明所提方法能够快速规划出再入轨迹,且适应性好。     

空间冗余机械臂零反作用最优路径规划

自由漂浮空间机械臂运动通过力传递会对其载体航天器产生反作用力和力矩,从而影响基座和末端执行器的位置与方向。利用冗余机械臂的反作用零空间,求解对基座航天器姿态零干扰的机械臂运动规律的解析解。给定机械臂初始和终端状态,考虑最大关节角约束和最大关节角加速度约束,分别针对时间最优和沿整个运动路径关节加速度最小的问题,采用高斯伪谱法,在零反作用轨迹解集中寻找满足约束方程的最优解。所得最优解使得机械臂在达到期望构型的同时不影响基座姿态。将算法用于平面3自由度冗余机械臂系统中,仿真结果表明:算法在保证基座姿态稳定的同时,关节运动满足给定的约束条件,从而验证了算法的有效性。     

AOS自适应帧生成算法的性能分析与应用研究

对AOS协议中的自适应帧生成算法进行研究,通过严格地理论分析,给出了该算法的有效信息传送速率计算公式。进一步,将数据帧生成模块与虚拟信道复用模块作为一个整体进行考虑,针对现有的AOS多路复用技术的不足,提出了自适应帧生成算法与虚拟信道调度算法相结合的多路复用新方法。研究结果表明,通过在多路复用中应用自适应帧生成算法,并设置合理的帧生成时间门限值,可以比目前主要使用的、采用高效率帧生成算法与虚拟信道调度算法相结合的多路复用方法获得更好的包时延性能。     

无人机集群路径规划算法研究综述

无人机集群路径规划算法是无人机集群控制的重要研究方向之一.多无人机路径规划相较于单无人机路径规划,会考虑空间协同和时间协同约束、飞行安全等问题.首先对无人机集群路径规划算法进行分类,分为传统路径规划算法、智能优化算法和深度强化学习算法.其次对各类算法进行简要分析和总结,针对缺陷,给出相应的改进思路及例子.再着重对深度强...     

基于卷积神经网络的运载火箭测发网络流量异常检测技术

运载火箭测发网络是维系各型号运载火箭远距离测试及发射控制的重要国防基础设施,对测发网络流量进行异常检测是保证其正常工作的关键举措。近年来,随着测发网络功能的拓展,其面临的网络安全威胁越来越严重,而当前的安全检测主要依赖于基于异常特征库匹配的流量异常检测方法,这种检测方法对一些新型攻击检测能力非常有限。本文结合运载火箭测发网络实际特点,针对以使用用户数据报协议(UDP)为主的测发网络流量,设计一种新的基于固定数据包数目的流量图片样本生成方法,首次提出在测发网络流量异常检测问题上使用卷积神经网络,以原始网络流量作为输入,避开难以解决的人工特征集设计问题。通过测发网络真实网络流量数据进行实验,取得了较高的精度、召回率和准确率,验证了本方法具备一定的实用性。     

星球巡视器任务规划技术发展综述

首先阐述了星球巡视器任务规划的定义、内容和特点,并分别从任务规划算法、全局路径规划算法、局部路径规划算法三个层面对国内外星球巡视器任务规划技术的研究现状进行了分析和评述。在任务规划层面,当前研究主要集中在基于资源调度的方法和基于路径的方法;在全局路径规划层面,介绍了路径图法、单元分解法等几何模型构建算法以及A*类算法等图搜索算法;在局部路径规划层面,介绍了人工势场法、Bug类算法、启发式动态重规划算法、基于地形评估的算法等几类常用算法。最后,对星球巡视器任务规划技术的未来发展方向进行了展望。     

空间机器人路径规划综合优化方法

执行复杂操作的空间机器人常具有冗余自由度,从而可以在执行任务过程中通过关节参数的合理规划对指定目标进行优化。振动和操作灵活性是评价空间机器人性能和任务完成质量的两项重要指标,而关节力矩的大小是影响振动的重要因素。文章提出了一种路径规划综合优化方法,在对机器人末端运动速度进行优化处理的基础上,利用其冗余自由度,对关节力矩和评价操作灵活性的条件数指标进行综合优化。以平面3自由度机器人为对象建立数学模型,并在零重力环境下对相同任务进行数学仿真。仿真结果显示,采用文章优化方法,关节力矩与操作灵活性指标均得到了有效优化,验证了所提出方法的有效性。     

用普通滚齿机加工精密小模数齿轮

介绍了用普通YM3608滚齿机加工精密小模数齿轮的方法。通过实例证实了加工的可行性与优越性;叙述了精密小模数齿轮的加工工艺选择、夹具的结构及工艺原理要点,从而有效地扩大了机床的使用范围。     

硝基化合物热力学性质的估算(Ⅰ)

硝基化合物是常用的含能材料,其生成热的估算具有重要的意义.本文根据次级基团加和法的原理,提出了硝仿基的基团生成热值及各种情况下邻位和间位硝基之间相互作用的能量修正值;应用这些值对脂肪族硝基化合物的生成热进行了估算,取得了满意的结果,其拟合方程的回归系数达到0.997 0.