实时应用

Experimental results show that the proposed method is fast, stable and accurate, and the measuring accuracy of the modified CCD laser autocollimator is improved from 2 arcsec to ±0.25 arcsec in 0.23 s using the proposed method.

实验结果表明，该定位方法稳定性好，定位精度高且实时性强，应用该方法改进后激光CCD自准直仪的测量精度由2"提高到±0.25"，且单次测量时间小于0.23 s，可满足激光CCD自准直仪在小角度测量和瞄准跟踪等领域的高精度实时测量需求。

As an important real-time image processing system, it is applied to the remote sensing, the medicine, the military, and the industrial automatic check and so on.

联合相关器作为特征实时识别和目标实时检测的一个重要处理系统，在遥感、医学、军事、自动化生产检测等领域有着广泛的应用。

VxWorks OS is a kind of real-time embedded OS, and it has the characteristic of high-performance and scalability. Because of its reliability and Real-time performance, VxWorks OS has been widely used in communication, military, avigation and navigation.

VxWorks操作系统是一个运行在目标机上的高性能、可裁减的嵌入式实时操作系统，它以其良好的可靠性和卓越的实时性被广泛地应用在通信、军事、航空、航天等高精尖技术领域中。

For the automatic scaling and analysis of the ionospheric parameters, a method based on the empirical orthogonal function analysis of the ionospheric electron density profiles is proposed in this paper. This method is applied to the measured ionograms of CADI (Canadian Advanced Digital Ionosonde), which is set up at Beijing Space Environment Observation Station (403°N, 1162°E).

本文针对电离层频高图参数的实时自动度量和分析问题，提出了一种基于电子浓度高度剖面经验正交函数(Empirical Orthogonal Function，简称EOF)分析的频高图参数自动度量方法，并将该方法应用到位于北京空间环境观测站(403°N，1162°E)的CADI(Canadian Advanced Digital Ionosonde)数字测高仪观测频高图的实时自动度量和分析上。

Firstly, oscilloscope control system based on GPIB technique is presented with friendly operation environment to the HIFU system, and it uses multithreading technique in programming to realize real-time recording and display of the signal; Secondly, temperature collection and data recording system is designed, which also could get real-time recording and display of the 16 channel temperature signal, and it's believed to be of great use for further experiments of the HIFU system; Thirdly, multiple ultrasonic phased array's phase shifter is designed,which could provide 8-bit phase control in a range of frequency where the centrical frequency is 1MHZ. Fourthly, the module of serial communication is realized to insure the communication between devices and computer, including both synchronous and asynchronous communication, which enables the system to transfer data reliably and stably; Finally, the module of digital quantity control is accomplished, which provide for upper application the consistent solution to the control of exterior devices via digital interface. It can get or set the devices state using interrupt mode to receive input signal or send output signal.

主要有以下几个方面：设计了基于GPIB的示波器控制系统，给课题的研究工作提供了一个良好的环境，它采用了多线程编程的方法，能够较好的实时显示当前波形并记录数据；设计了温度采集和数据记录系统，能够对16路温度信号进行并行同步的实时采集，用于HIFU剂量学研究中温度场检测和医疗评价；设计了相控阵相位延时电路并且通过调试，满足了课题的相位控制的要求，在中心频率为1MHZ左右的频率范围内都能够达到8-bit相位控制；实现了串口通讯模块，为各项设备与计算机之间的通讯提供保证，它提供同步和异步的通讯能力，使系统能够可靠稳定的传输数据；建立了数字量控制模块，为上层应用程序提供一致的方法使用数字接口控制外部仪器，它使用中断的方式来接收输入或输出设定的开关量信号，从而得到或设定各种仪器的状态。

At the same time , we discuss the determinism and nondeterminism of formula-clock automata and the closure propertied under Boolean operation of the language which is accepted by formula-clock automata. We also prove the expressive equivalence between the deterministic formula-clock automata and the nondeterministic formula-clock automata. This means that every nondeterministic formula-clock automata can be transformed to a deterministic formula-clock automata which exactly accept the timed language identified by the fomer.We also extend timed words to infiniteness and define the formula-clock Buchi automata and the formula-clock Muller automata. At last, we show its application in formal verification and modeling of real-time system.

然后讨论了公式时钟自动机的确定性和非确定性，公式时钟自动机识别的语言类在并、交、补运算下的封闭性；并证明了确定的公式时钟自动机和非确定的公式时钟自动机表达能力的等价性，这意味这每一个非确定的公式时钟自动机都能转换为一个与之识别相同时间语言的确定的公式时钟自动机；我们将时间字扩展为无穷的，从而定义了公式时钟Buchi自动机与公式时钟Muller自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

Based on direct memory access and bi-buffer or multibuffer processing skills, this method is effective, and has been applied in foreign material elimination in tobacco sorter systems successfully.

考虑到要进行高速数据采集和处理的连续性和实时性，提出了内存数据直接处理和双缓存及多缓存处理技术，并介绍了这一技术在实时在线烟草异物检测与剔除系统中的成功应用。

Based on the heterogeneous knowledge units, the system can be used for real time meteorological data quality controlling. by use of the ontological analyzing technique, the entities and their relationship are analyzed to position the knowledge point for data checking and to improve the efficiency of knowledge acquiring from expert's experience.

该系统应用领域本体分析技术，集成多方面专家的经验知识，确定气象观测数据质量控制的知识点，通过异构知识体之间的协作，实时推断气象观测数据的正确性，实现对地面气象观测数据的实时自动错误检测、警示并给出更改建议。

The system software design based on build-in real time operating system uC/OS-II makes the design process of application system predigest a lot, system resource used better and expansile as well as real time ability improved much.

基于嵌入式实时操作系统uC/OS-Ⅱ进行了系统的软件设计，使得应用程序的设计过程大为简化，系统资源得到更好的利用，系统软件的可扩展性和实时性得到提高。

In chapter five, the application of the gray/depth image in computer image generation is discussed. A new method based on real time insert in three dimensional space is introduced. It is different with normal graphics and image method. Its property is animation scene and invariable generation time. Two simplified mode and a general mode of space insert is analysis. With all kinds of relativity, the fast increase algorithms are presented. Computer simulation is executed and condition of real time is estimated.

在第五章中，讨论了灰度/深度图象在计算机图象生成的应用，提出了用实时三维空间内进行CIG的新方法，它不同于常规的图形方式和图形方法，它具有生成画面逼真度高、运算量固定，仿真内容可变的特点，具体分析了三维空间内插的一般形式和两类常见退化形式，充分利用内在和相关的加速技术，给出了快速增量算法并作了模拟实现，估计了实时条件要求的计算量。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。