基于计算机图形学的仿真系统设计与分析

针对工程中的计算机实体仿真需要，为满足各种工程领域具体仿真对象仿真设计和实验的要求，应用计算机图形学原理，采用高级编程语言提出进行计算机仿真系统软件设计的思想和方法，论述这种仿真系统中几何信息、功能信息、实体模型、特征模型所具有的功能以及各程序模块的作用及建立方法，并给出程序设计的主要流程图。     

基于VERICUT软件的虚拟数控铣床建模

近年来,随着我国新机研制以及国际合作、转包生产任务的扩大,航空企业数控机床总量已明显增加,要求进行数控加工的零件数量增多。为了提高自身的制造水平和市场竞争力,制造企业在引进数控设备方面投入了越来越多的资金。数控加工仿真技术需要解决的问题已经不能仅仅考虑刀具轨迹的正确性,同时必须考虑加工系统中的各种因素:机床、工件、NC程序、工装。为此,对仿真系统的模型进行必要扩大和完善,引入虚拟机床模型、工装模型,提高加工过程仿真的真实性,以利于教学和生产。     

分布式软件调试中调试信息界面展示技术

在分布式并行调试器的设计中,友好的人机界面起着十分重要的作用,界面设计是一个综合研究的过程。针对分布式程序的需求特点,以展示布局合理、信息可视化的人机界面为目的,进行分布式软件调试中调试信息界面展示技术的研究。介绍了界面与代理节点的交互方式,并通过相应的数据处理算法,将调试信息以及进程间通信关系在界面上进行可视化展示。     

End-to-end validation process for the INTA-Nanosat-1B Attitude Control System

This paper describes the end-to-end validation process for the Attitude Control Subsystem (ACS) of the satellite INTA-NanoSat-1B (NS-1B). This satellite was launched on July 2009 and it has been fully operative since then. The development of its ACS modules required an exhaustive integration and a system-level validation program. Some of the tests were centred on the validation of the drivers of sensors and actuators and were carried out over the flying model of the satellite. Others, more complex, constituted end-to-end tests where the concurrency of modules, the real-time control requirements and even the well-formedness of the telemetry data were verified. This work presents an incremental and highly automatised way for performing the ACS validation program based on two development suites and an end-to-end validation environment. The validation environment combines a Flat Satellite (FlatSat) configuration and a real-time emulator working in closed-loop. The FlatSat is built using the NS-1B Qualification Model (QM) hardware and it can run a complete version of the on-board software with the ACS modules fully integrated. The real-time emulator, running on an industrial PC, samples the actuation signals and emulates the sensors signals to close the control loop with the FlatSat. This validation environment constitutes a low-cost alternative to the classical three axes tilt table, with the advantage of being easily configured for working under specific orbit conditions, in accordance with any of the selected tests. The approach has been successfully applied to the NS-1B in order to verify different ACS modes under multiple orbit scenarios, providing an exhaustive coverage and reducing the risk of eventual errors during the satellite's lifetime. The strategy was applied also during the validation of the maintenance and reconfiguration procedures required once the satellite was launched. This paper describes in detail the complete ACS validation process that was performed and it shows the most relevant errors detected and fixed during testing. Finally it summarises some of the most significant conclusions.     

制冷器单回路温控系统PID调节器的设计

制冷器单回路温度控制系统中,调节器控制规律的选择,对系统控制品质有非常大的影响,PID调节器可以加快动态性能,减少超调,消除稳态误差。重点介绍了模拟PID调节器的设计和利用Workbench(电子工作台)模拟仿真进行参数整定的方法。     

全定制芯片的测试码产生方法

针对全定制设计的芯片提出人工产生测试码的方法.该方法充分利用功能验证程序,从中挑选出对测试有用的信息,经过转换得到满足基本故障覆盖的测试码;再结合芯片自身的结构特点,合理利用芯片内部的调试结构,并按功能部件利用调试链路追加测试码,从而补充完善得到比较完备的测试码.     

Real-time ray-based channel generation and emulation for UAV communications

A real-time ray-based hardware emulator for Unmanned Aerial Vehicle (UAV) communication channels which suits for the Three-Dimensional (3D) dynamic scenarios and considers the movements of both terminals is developed in this paper. The time-variant channel parameters, i.e., ray delay, ray gain, and ray Doppler frequency are precalculated in the host by using the Ray Tracing (RT) method. Meanwhile, RT simulation dramatically increases the number of valid rays. To address the problem of resource limitation and huge computational burden in the implementation, an efficient ray coefficients generation method based on iteration is proposed and implemented. With the advantages of low cost and high flexibility, a Software Defined Radio (SDR) hardware platform is used to emulate the ray-based UAV channels by utilizing the compact architecture including the Time-Division (TD) scheme and Tapped-Delay Line (TDL) for channel convolution. Finally, hardware measurement results demonstrate that the properties of emulated channel, i.e., Power Delay Profile (PDP) and Doppler Power Spectrum Density (DPSD) consist with the simulated ones, which verifies the correctness of hardware implementation. The proposed channel emulator provides an efficient way for optimization, verification, and evaluation of UAV communication systems.