面向媒体时序描述的带时间自动机的自动构造方法

依据有穷状态自动机模型，面向程序规范的并发系统和分布式系统测试方法的研究已经取得许多结果．由于特殊的实时和同步要求，这些结果不能直接应用于分布式多媒体软件系统的测试．为此，作者提出一种面向媒体对象时序描述的带时间自动机（Ｔｉｍ ｅｄ ａｕｔｏｍ ａｔａ）的自动构造方法，根据带时间自动机，对分布式多媒体软件系统进行非确定性测试时，可以较容易地判断运行结果正确与否；在进行确定性测试时，可以辅助自动生成测试用例

Development of multi-channel gated integrator and PXI-DAQ system for nuclear detector arrays

A multi-channel gated integrator and PXI based data acquisition system have been developed for nuclear detector arrays with hundreds of detector units. The multi-channel gated integrator can be controlled by a programmable Cl controller. The PXI-DAQ system consists of NI PXI-1033 chassis with several PXI-DAQ cards. The system software has a user-friendly GUI which is written in C language using LabWindows/CVI under Windows XP operating system. The performance of the PXI-DAQ system is very reliable and capable of handling event rate up to 40 kHz. (C) 2010 Elsevier B.V. All rights reserved.

基于等高线的黄土高原小流域地形虚拟

黄土高原地形三维虚拟是"数字黄土高原"的基础,可为区域水土保持生态建设提供科技支撑。针对直接在地理信息系统软件中观察三维场景存在的控制交互能力不足问题,提出综合利用地理信息系统软件的地形插值算法,基于MFC框架下的OpenGL程序设计的思路,实现地形的真实感三维虚拟。以黄土丘陵沟壑区康家沟小流域为例,等高线数据在AutoCAD和ArcView软件中处理,生成ASCII格式的规则网格DEM数据,依据它们绘制三角形带,采用加权平均法求得各点的法向量,设置光照与材质模式,添加动态天空背景,实现了该流域地形的真实感三维虚拟,并增加交互能力,完成自由漫游与多角度观察。

HIRFL束流发射度测量系统的软件设计

束流发射度测量应用软件是在加速器控制和束流诊断的基础上，为方便加速器调束而设计的集测量、计算、绘图等功能为一体的计算机应用程序。本论文全面论述了在HIRFL束流诊断系统中，利用二次发射束流剖面测量装置和以图像采集处理为基础的多孔屏法测量装置进行束流发射度测量应用软件设计的开发过程。采用面向对象（OOP）的计算机编程技术，结合加速器物理知识、束流诊断技术、调束经验、数据图形化软件设计等多项技术，用VistlalC++6.O编译器完成应用软件的设计，并运行于Windows 9X／2000操作系统平台中。论文中阐述了目前国际上加速器以及HIRFL束流诊断技术的发展现状和本论文的研究工作及其意义；简要概述了几种束流横向参数的测量方法；对三剖面法束流发射度测量系统，包括束流剖面测量的工作原理，信号的传输与预处理，动态链接库的开发和发射度测量原理等作了比较详细地介绍，同时介绍了应用软件中各个功能模块的设计过程。在该系统设计中，本着方便运行人员操作的原则，将束流发射度测量结果形象、直观的显示在操作界面上，并一改以往测量与调节过程相分离的状态，将二者集于一体，使得测量和调节能够同步进行。在多孔屏法发射度测量系统设计中，介绍了系统的总体测量结构，并对用作图像获取的DT3 155接口卡的性能和工作原理作了详细地介绍，对荧光靶图像的处理方法作了较为深入的研究，同时系统的阐述了该系统应用软件的主要设计思想和各功能模块的实现过程。在这套系统中采用了图像变换、边界跟踪等数字图像处理技术，大大减少了数据处理量，提高了图像的处理速度，使得传统的荧光靶定性观测得以发展成实时、精确的定量测量。最后，根据计算机技术，网络信息技术及束流诊断技术的发展趋势，对发射度测量应用软件未来的改进设计作了进一步的设想。这两套应用软件均已在源束线进行了安装和测试，达到了预期的目的，并取得了较为满意的结果，具有实时、快速、精度高、界面直观友好等优点。

基于GPRS的水下滑翔机器人监控系统设计

水下滑翔机器人具有续航能力强、作业时间长等特点,适合于大范围海洋环境监测应用,可用于构建近海海洋环境立体监测网络。利用近海较好的GPRS网络覆盖条件,设计了基于GPRS网络的近海水下滑翔机器人监控系统。该监控系统不仅实现了在现场监控中心对水下滑翔机器人的监控,还可以通过Internet网络对水下滑翔机器人进行远程监控。文章详细介绍了监控系统的总体架构、GPRS终端硬件设计和系统软件设计。

“探索者”号自治式无缆水下机器人控制软件体系结构

本文详细介绍了我们为“探索者”号自治式无缆水下机器人（以下简称ＡＵＶ）设计的控制软件体系结构。该体系结构可分为使命控制，运动监控与设备操作，实时调度和实时处理四个不同的控制层次及一个全局数据区五部分。

一个先进的工业机器人计算机控制系统——ARCS

随着工业机器人及其应用的不断发展,要求一个强有力的计算机系统来控制它的工作,并具有灵活、方便的机器人编程语言.本文系统地介绍了我们自行设计并实现的一个先进的机器人控制系统——ARCS.该系统主要包括两部分:(1)一个实时多任务的机器人控制软件SVAL系统,该系统支持一种通用性较强的机器人编程语言——SVAL语言.(2)一个支持该软件系统工作的、具有开放式结构的硬件环境.ARCS系统具有良好的实时性、可扩展性及基于外部传感器信号进行控制的能力.由于该系统的开放式结构.使其根据不同要求可方便地增删其功能,并可控制不同类型的机器人.我们已成功地实现对PUMA760机器人的控制,并在其上引入了力觉与接近觉的传感器,采样时间可缩短到16ms.一年多的运行结果证明,该系统稳定可靠,性能良好,现在正向产品转化.

DAS24-3B数据采集系统控制系统软件的研制与开发

Under the auspices of the 'knowledge-Innovation Program' of CAS, Institute of Geology and Geophysics has established the Broadband Seismic Laboratory. A new kind of 24-bit high-resolution seismograph DAS24-3B has been designed and manufactured in an effort of developing China's own technology of seismic array. Since these instruments will primarily be used in field operation, there is a need to optimize the system software of data acquisition system (DAS) to enhance its stability, compatibility and maintenance. The design ideas of the system software of DAS24-3B are partly learned from the advanced DAS 72A-08. In this system there are two exclusive communication programs DNAPI-COM1 and DNAPI-LPT1, which are suitable for all standard industrial computers with ECP parallel port and serial port. By these exclusive parallel and serial communication interface the system software is split into three parts, acquisition program, user's control program and graphical display program, which can function well in separate units and can run correctly in whole. The three parts of DAS24-3B's system software possess different functions and advantages. The function of acquisition program is to control the process of seismic data acquisition. DAS24-3B system reduced its power and harddisk read-write disturbance by using the extended memory attached to its CPU, which functions as enlarging the data buffer of system and lessening the times of harddisk read-write operations. Since GPS receiver of DAS is strongly sensitive to the around environment and has the possibility of signal loss the acquisition program has been designed with the ability to automatically trail the GPS locked time. The function of user's controlling program is to configure the system's work environment, to inform the user's commands to DAS, to trail the status of DAS in real-time. The function of graphical display program is to illustrate data in figures, to convert data file into some common formatted file, to split data file in parts and combine data files into one. Both user's control program and graphical display program are API (Application Programming Interface) in window 95/98 system. Both possess the features of clearness and friendship by use of all kind of window controls, which are composed by menu, toolbar, statusbar, dialogue box, message box, edit box, scrollbar, time control, button and so on. Two programs of systemic exception handles are provided to treat the trouble in field. The DAS24-3B DAS has been designed to be easier to use-better ability, more stable and simpler. It has been tested in field and base station and has been proved more suitable for field operation of seismic array than other native instruments.

Distributed Temperature Sensing System Based on Rayleigh Scattering BOTDA

A distributed temperature sensor based on Rayleigh scattering Brillouin optical time domain analysis (Rayleigh-BOTDA) is proposed in this paper. The sensor uses Rayleigh backscattering effect of microwave modulated pulse base sidebands as probe wave and a high sensitive photon counting detector for Brillouin signal intensity detection. Compared with a conventional BOTDA system, the Rayleigh-BOTDA effectively suppresses polarization-induced signal fluctuation resulting in improved signal intensity. The experimental scheme presented is simplified by using a single laser with one-end access. The temperature accuracy of the new sensing system was demonstrated as 1 degrees C on spatial resolution of 3 m.

Spatiotemporal chaos control with pinning signals in distributed systems

We suggest a local pinning feedback control for stabilizing periodic pattern in spatially extended systems. Analytical and numerical investigations of this method for a system described by the one-dimensional complex Ginzburg-Landau equation are carried out. We found that it is possible to suppress spatiotemporal chaos by using a few pinning signals in the presence of a large gradient force. Our analytical predictions well coincide with numerical observations.