嵌入式软件自动化测试平台的研究与实现

随着嵌入式系统的广泛应用,对其软件进行完善而又高效的测试成为必须.本文提出了一种联系宿主机和目标机的自动化测试平台.该平台分为宿主机端的测试管理和目标机端的测试代理,实现了代码自动插装、脚本自动化批量执行、功能测试、分支覆盖、数据通信和测试结果报告生成等功能.     

机载防撞系统现场诊断软件的架构设计

本文阐述了机载防撞系统现场诊断软件（ACAS Diag）的架构设计过程。从软件的需求分析入手,引入用例分析的方法描述了ACAS Diag的功能需求;介绍了架构设计的五视图方法;并在此基础上进行ACAS Diag的软件架构设计,分别给出了软件的逻辑架构、物理架构、开发架构和运行架构视图,从而为后续的软件开发奠定基础。     

Locally generalised multi-agent reinforcement learning for demand and capacity balancing with customised neural networks

Reinforcement Learning (RL) techniques are being studied to solve the Demand and Capacity Balancing (DCB) problems to fully exploit their computational performance. A locally generalised Multi-Agent Reinforcement Learning (MARL) for real-world DCB problems is proposed. The proposed method can deploy trained agents directly to unseen scenarios in a specific Air Traffic Flow Management (ATFM) region to quickly obtain a satisfactory solution. In this method, agents of all flights in a scenario form a multi-agent decision-making system based on partial observation. The trained agent with the customised neural network can be deployed directly on the corresponding flight, allowing it to solve the DCB problem jointly. A cooperation coefficient is introduced in the reward function, which is used to adjust the agent’s cooperation preference in a multi-agent system, thereby controlling the distribution of flight delay time allocation. A multi-iteration mechanism is designed for the DCB decision-making framework to deal with problems arising from non-stationarity in MARL and to ensure that all hotspots are eliminated. Experiments based on large-scale high-complexity real-world scenarios are conducted to verify the effectiveness and efficiency of the method. From a statistical point of view, it is proven that the proposed method is generalised within the scope of the flights and sectors of interest, and its optimisation performance outperforms the standard computer-assisted slot allocation and state-of-the-art RL-based DCB methods. The sensitivity analysis preliminarily reveals the effect of the cooperation coefficient on delay time allocation.     

用EXCEL—VB建立一个实用的程序库

本文介绍了一个以EXECL和EXCEL VB建立的直升机实用程序库及其建立和使用方法。     

基于ADuC812的激光陀螺扫频测试系统软硬件设计

设计了一种基于ADuC812的激光陀螺扫频测试系统,给出了系统软硬件设计方案。测试结果表明,所构建激光陀螺扫频测试系统具有可靠性高、性能良好,功能全面、使用方便、功耗低、价格低廉等特点,具有较好的实用价值。     

计算机无纸考试系统上机考试软件设计

非计算机专业计算机基础系列课程教学是我国高等院校的重要教学内容。上机操作和程序设计等客观考试方式是加强大学生能力培养的重要手段。本文在分析了各种无纸考试系统和题库系统的基础上,提出了无纸考试系统三段式设计新构想,并采用了驻留、仿真、直接磁盘写等关键技术,解决了单任务操作系统ＤＯＳ的不可重入问题。本文着重介绍三段式设计思想和第二阶段计算机无纸考试系统上机考试软件的设计。     

解三维弹塑性接触问题的二次规划方法

 本文讨论了基于二次规划理论的三维弹塑性接触问题,其数值解法采用极大极小对偶迭代法,此方法比较简单、容易编制程序并且有严格的算法收敛性证明,方法适用于各种类型结构的接触问题。最后给出某型号飞机的机身与起落架之间的轴-套简结构的计算实例。     

Obstacle avoidance handling and mixed integer predictive control for space robots

This paper presents a novel obstacle avoidance constraint and a mixed integer predictive control (MIPC) method for space robots avoiding obstacles and satisfying physical limits during performing tasks. Firstly, a novel kind of obstacle avoidance constraint of space robots, which needs the assumption that the manipulator links and the obstacles can be represented by convex bodies, is proposed by limiting the relative velocity between two closest points which are on the manipulator and the obstacle, respectively. Furthermore, the logical variables are introduced into the obstacle avoidance constraint, which have realized the constraint form is automatically changed to satisfy different obstacle avoidance requirements in different distance intervals between the space robot and the obstacle. Afterwards, the obstacle avoidance constraint and other system physical limits, such as joint angle ranges, the amplitude boundaries of joint velocities and joint torques, are described as inequality constraints of a quadratic programming (QP) problem by using the model predictive control (MPC) method. To guarantee the feasibility of the obtained multi-constraint QP problem, the constraints are treated as soft constraints and assigned levels of priority based on the propositional logic theory, which can realize that the constraints with lower priorities are always firstly violated to recover the feasibility of the QP problem. Since the logical variables have been introduced, the optimization problem including obstacle avoidance and system physical limits as prioritized inequality constraints is termed as MIPC method of space robots, and its computational complexity as well as possible strategies for reducing calculation amount are analyzed. Simulations of the space robot unfolding its manipulator and tracking the end-effector’s desired trajectories with the existence of obstacles and physical limits are presented to demonstrate the effectiveness of the proposed obstacle avoidance strategy and MIPC control method of space robots.     

基于懒替换的C符号执行

针对传统符号执行中的动态地址计算问题,提出了基于懒替换的符号执行方法.通过引入尽可能替换的策略,基于懒替换的符号执行在无法静态确定变量的地址或符号表达式过长时不做符号替换.首先给出了基于懒替换的符号执行算法,在此基础上,详细分析了C语言主要结构尤其是数组和指针的懒符号执行语义.LazySEC是一个面向C程序的懒符号执行系统原型,初步实验表明,它可以有效地处理含有指针和结构体等涉及动态地址计算的程序语言结构.     

数控加工仿真程序设计

数控加工程序编制是提高数控机床使用效率的关键,直接影响产品生产的周期和效益。传统的检查方法是在数控机床上进行试初,既费时又费力。而利用计算机在屏幕上显示刀心轨迹,进行加工仿真,来验证数控加工程序的正确性,既方便又快捷。本文介绍了平面类零件数控加工仿真程序设计的具体方法。