导弹仿真模型验证技术与平台设计

根据靶场导弹试验需求和建模与仿真VV＆A标准规范,设计了基于仿真全生命周期的导弹仿真模型验证过程和内容,重点分析了基于时域和频域分析方法的导弹模型验证技术。依据仿真模型验证应用,设计并开发了导弹模型验证自动化平台,文章详细描述了自动化平台的总体结构和功能,并以具体验证实例分析了模型验证技术应用的可行性。     

数据库在电站微机测试系统中的应用

以Access数据库在电站微机测试系统中的工程应用为基础,给出了数据库的基本概念及结构,并结合电站测试标准要求及测试方法给出了具体数据库的设计方法。该系统已在国家内燃机电站检验中心得到了应用。实践表明:通过对数据库的有效设计,可极大地提高测试效率。     

Sensitive analysis of emission rates in MOVES for developing site-specific emission database

With the rapid social and economic development, vehicle emissions have been identified as a major source of urban air pollutions in China. Therefore, the study on vehicle emission estimations is necessary. In light of the limitation of emission data for establishing a local comprehensive emission database, this paper analyzes the characteristics of emission rates in MOVES released by U.S. Environmental Protection Agency (EPA) to investigate the feasibility and to design a method for developing site-specific emission database. Sensitive analysis for model year, age group and speed interval is performed, and the regularity is concluded. The result shows that emission rates are almost constant with model year, but increase with age groups because of emission deterioration. With respect to speed intervals, the emission rates in 25–50 mph are higher than both those <25 mph and >50 mph in the same VSP (vehicle specific power) bins. In addition, an analysis of local emission data in Beijing is conducted to build the relationship between vehicle activities and emission rates. After that, a comparison of emission rates by VSP bins in MOVES and in local database is conducted in this study. The result shows that the absolute values are different because of regulatory emission standards, fuel quality, and other factors. However, the relative changes described by normalizing emission rates have a good consistency. Hence, the regularities of emission rates by VSP bins in MOVES can be used to develop local emission database in Beijing.     

Formalizing a subset of ERTMS/ETCS specifications for verification purposes

ERTMS is the standard railway control-command and signaling system which aims to ensure railway interoperability throughout Europe while enhancing safety and competitiveness. ERTMS is composed of two main subsystems which include GSM-R, a radio system for enabling communication between the train and the traffic management center and ETCS, an automatic train protection system (ATP) to replace the existing national ATP systems. The ERTMS specifications are defined by means of standard documents which set out the requirements ensuring interoperability. These documents evolve regularly to give rise to successive versions. The ERTMS/ETCS standard defines different levels and operation modes according to various trackside and onboard setups and some operational conditions. Given the complexity and the high criticality of railway operation, verification and validation (V&V) are crucial tasks in railway application development.In this paper, after setting the background and the motivations, a mechanizable formalization of a subset of ERTMS/ETCS specifications relative to ETCS modes and transitions is developed. The present work aims to offer a readily available model for formal V&V. Using formal techniques to check SRS is highly recommended to tackle the complexity of the defined requirements and prevent specification errors. Model-checking technique, which is targeted here, offers exhaustive analysis of the system behavior based on its model and is highly automated, since it is supported by software tools. Based on the last available version of SRS specifications, a progressive process is undertaken to get a formal model which makes explicit the various modes characterized by their respective active functions, as well as the numerous combinations of conditions for switching between modes. The various steps guiding the translation of the SRS literal specifications into a formal model are explained. As will be shown through different examples, the obtained model is a convenient basis to check safety, interoperability and liveness properties.     

Development and validation of a numerical model for predicting forklift truck tip-over

The aim of this paper is to present the dynamic behaviour modelling performed for a forklift truck and the validation of this model. The intention is to develop a permanent tool allowing both common and critical driving situations (especially that of lateral tip-over) to be simulated for this type of vehicle. The medium-term aim is to use this model as a tool to facilitate designing, training and preparing safety standards with a view to reducing the number of accidents related to this machine, which, on average, still cause nearly 10 deaths each year. This paper describes the forklift truck mechanical model and the tyre model. A Pacejka's lateral tyre model was used and integrated into the forklift truck model. The interacting forces and moments between the wheels and the ground are, therefore, computed at all times. Test bench-measured data, characteristic of the dynamic behaviour of several tyres, were used to identify the parameters of the Pacejka model. We studied the limits of this model adapted in this case to tyres with characteristics different from those of the car sector. Track testing was performed using a safe-test forklift truck. The purpose of these tests was to measure trajectory characteristics (velocity, position, acceleration and slip angle) and to compare them with model-based predictions, allowing validation of the robustness and accuracy of this model. Situations involving partial (up to 15°) tip-over were included. The quantities measured during testing were compared with the calculation results obtained for identical driving configurations. There was a close calculation/measurement correlation when performing a wide ‘J-turn’ (with and without tip-over) when following circular or slalom trajectories. The calculation/measurement correlation was less close when the forklift truck performed a sharp ‘J-turn’, for example. Model limits can be derived from the observations, data processing and calculations.     

LabVIEW在主机遥控系统中的应用

介绍基于LabVIEW的主机遥控系统的实现方法;通过基于MODBUS协议的网络将主机遥控系统的车令、报警等信息存储到监控系统数据库,通过访问数据库查看主机遥控系统的操作、报警信息,取代传统的车钟记录仪及报警信息存储单元,同时也可以进行远距离查询,提高了机舱自动化的水平。     

火炮射击初速灰色预测方法研究

射弹初速是影响火炮射击精度的重要因素,研究并掌握火炮射击过程中的初速变化规律对于一名指挥员来说具有重要的指导意义。分析研究表明,采用灰色预测的方法研究火炮射击初速变化规律,既可行,其结果又可信。     

Validating the results of a route choice simulator

This paper describes the validation of a route choice simulator known as VLADIMIR (Variable Legend Assessment Device for Interactive Measurement of Individual Route choice). VLADIMIR is an interactive computer-based tool designed to study drivers’ route choice behaviour. It has been extensively used to obtain data on route choice in the presence of information sources such as Variable Message Signs or In-Car Navigation devices. The simulator uses a sequence of digitized photographs to portray a real network with junctions, links, landmarks and road signs. Subject drivers are invited to make journeys between specified origins and destinations under a range of travel scenarios, during which the simulator automatically records their route choices. This paper describes validation experiments carried out during the period Summer 1994 to Autumn 1995 and reports on the results obtained. Each experiment involved a comparison of routes selected in real life with those driven under simulated conditions in VLADIMIR. The analysis included investigation of the subjects’ own assessment of the realism of the VLADIMIR routes they had chosen, a comparison of models based on the real life routes with models based on VLADIMIR routes, and a statistical comparison of the two sets of routes. After an extensive series of data collection exercises and analyses, we have concluded that a well designed simulator is able to replicate real life route choices with a very high degree of detail and accuracy. Not only was VLADIMIR able to precisely replicate the route choices of drivers who were familiar with the network but it also appears capable of representing the kind of errors made and route choice strategies adopted by less familiar drivers. Furthermore, evidence is presented to suggest that it can accurately replicate route choice responses to roadside VMS information.     

Foxpro菜单生成系统分析与应用

本文研究了Foxpro的菜单生成系统。首先讨论了菜单定义文件的结构、字段的含义，然后分拜了菜单生成器的处理流程、各函数和过程的作用，最后给出了一些应用。