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

黄土高原地形三维虚拟是"数字黄土高原"的基础,可为区域水土保持生态建设提供科技支撑。针对直接在地理信息系统软件中观察三维场景存在的控制交互能力不足问题,提出综合利用地理信息系统软件的地形插值算法,基于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.

Mapping Parallel Iterative Algorithms onto Workstation Networks

For communication-intensive parallel applications, the maximum degree of concurrency achievable is limited by the communication throughput made available by the network. In previous work [HPS94], we showed experimentally that the performance of certain parallel applications running on a workstation network can be improved significantly if a congestion control protocol is used to enhance network performance. In this paper, we characterize and analyze the communication requirements of a large class of supercomputing applications that fall under the category of fixed-point problems, amenable to solution by parallel iterative methods. This results in a set of interface and architectural features sufficient for the efficient implementation of the applications over a large-scale distributed system. In particular, we propose a direct link between the application and network layer, supporting congestion control actions at both ends. This in turn enhances the system's responsiveness to network congestion, improving performance. Measurements are given showing the efficacy of our scheme to support large-scale parallel computations.

Adaptive Routing of QoS-constrained Media Streams over Scalable Overlay Topologies

Current research on Internet-based distributed systems emphasizes the scalability of overlay topologies for efficient search and retrieval of data items, as well as routing amongst peers. However, most existing approaches fail to address the transport of data across these logical networks in accordance with quality of service (QoS) constraints. Consequently, this paper investigates the use of scalable overlay topologies for routing real-time media streams between publishers and potentially many thousands of subscribers. Specifically, we analyze the costs of using k-ary n-cubes for QoS-constrained routing. Given a number of nodes in a distributed system, we calculate the optimal k-ary n-cube structure for minimizing the average distance between any pair of nodes. Using this structure, we describe a greedy algorithm that selects paths between nodes in accordance with the real-time delays along physical links. We show this method improves the routing latencies by as much as 67%, compared to approaches that do not consider physical link costs. We are in the process of developing a method for adaptive node placement in the overlay topology, based upon the locations of publishers, subscribers, physical link costs and per-subscriber QoS constraints. One such method for repositioning nodes in logical space is discussed, to improve the likelihood of meeting service requirements on data routed between publishers and subscribers. Future work will evaluate the benefits of such techniques more thoroughly.

Productive Synergies in the City

The chapter focuses on the development of sustainable growing infrastructure in the city at two scales. Firstly the development of a large-scale city wide fuel productive landscape through the development of algae arrays in Liverpool and their connection through urban agriculture systems to develop a closed-cycle food and energy system where waste is food and secondly a hyper-localised neighbourhood food production system in Salford UK that utilises a closed cycle aquaponic system to re-invigorate an urban food desert.

The author develops a three-part model for the implementation of urban agriculture based on hardware (the technological system), software (the biological components) and interface (the links to food and other social networks). The conclusion being that it is possible to develop urban agriculture in cities if their implementation is seen as a process, rather than a static design. Also that as the benefits of such systems are wider than purely the physical outputs of the system in terms of energy and food, and thus we should re-evaluate the purely economic model of appraisal to include these.

A Lightweight Tool for Anomaly Detection in Cloud Data Centres

Cloud data centres are critical business infrastructures and the fastest growing service providers. Detecting anomalies in Cloud data centre operation is vital. Given the vast complexity of the data centre system software stack, applications and workloads, anomaly detection is a challenging endeavour. Current tools for detecting anomalies often use machine learning techniques, application instance behaviours or system metrics distribu- tion, which are complex to implement in Cloud computing environments as they require training, access to application-level data and complex processing. This paper presents LADT, a lightweight anomaly detection tool for Cloud data centres that uses rigorous correlation of system metrics, implemented by an efficient corre- lation algorithm without need for training or complex infrastructure set up. LADT is based on the hypothesis that, in an anomaly-free system, metrics from data centre host nodes and virtual machines (VMs) are strongly correlated. An anomaly is detected whenever correlation drops below a threshold value. We demonstrate and evaluate LADT using a Cloud environment, where it shows that the hosting node I/O operations per second (IOPS) are strongly correlated with the aggregated virtual machine IOPS, but this correlation vanishes when an application stresses the disk, indicating a node-level anomaly.

NanoStreams: Codesigned Microservers for Edge Analytics in Real Time

NanoStreams explores the design, implementation,and system software stack of micro-servers aimed at processingdata in-situ and in real time. These micro-servers can serve theemerging Edge computing ecosystem, namely the provisioningof advanced computational, storage, and networking capabilitynear data sources to achieve both low latency event processingand high throughput analytical processing, before consideringoff-loading some of this processing to high-capacity datacentres.NanoStreams explores a scale-out micro-server architecture thatcan achieve equivalent QoS to that of conventional rack-mountedservers for high-capacity datacentres, but with dramaticallyreduced form factors and power consumption. To this end,NanoStreams introduces novel solutions in programmable & con-figurable hardware accelerators, as well as the system softwarestack used to access, share, and program those accelerators.Our NanoStreams micro-server prototype has demonstrated 5.5×higher energy-efficiency than a standard Xeon Server. Simulationsof the microserver’s memory system extended to leveragehybrid DDR/NVM main memory indicated 5× higher energyefficiencythan a conventional DDR-based system. 

Coordinated runtime adaptations in cooperative open real-time systems

This paper proposes an one-step decentralised coordination model based on an effective feedback mechanism to reduce the complexity of the needed interactions among interdependent nodes of a cooperative distributed system until a collective adaptation behaviour is determined. Positive feedback is used to reinforce the selection of the new desired global service solution, while negative feedback discourages nodes to act in a greedy fashion as this adversely impacts on the provided service levels at neighbouring nodes. The reduced complexity and overhead of the proposed decentralised coordination model are validated through extensive evaluations.

An internet DGPS service for precise outdoor navigation

The goal of the work presented in this paper is to provide mobile platforms within our campus with a GPS based data service capable of supporting precise outdoor navigation. This can be achieved by providing campus-wide access to real time Differential GPS (DGPS) data. As a result, we designed and implemented a three-tier distributed system that provides Internet data links between remote DGPS sources and the campus and a campus-wide DGPS data dissemination service. The Internet data link service is a two-tier client/server where the server-side is connected to the DGPS station and the client-side is located at the campus. The campus-wide DGPS data provider disseminates the DGPS data received at the campus via the campus Intranet and via a wireless data link. The wireless broadcast is intended for portable receivers equipped with a DGPS wireless interface and the Intranet link is provided for receivers with a DGPS serial interface. The application is expected to provide adequate support for accurate outdoor campus navigation tasks.

Energy Management in Wireless Sensor Networks: A Crosslayer,Channel Adaptive Approach Towards Performance Optimization

The proliferation of wireless sensor networks in a large spectrum of applications had been spurered by the rapid advances in MEMS(micro-electro mechanical systems )based sensor technology coupled with low power,Low cost digital signal processors and radio frequency circuits.A sensor network is composed of thousands of low cost and portable devices bearing large sensing computing and wireless communication capabilities. This large collection of tiny sensors can form a robust data computing and communication distributed system for automated information gathering and distributed sensing.The main attractive feature is that such a sensor network can be deployed in remote areas.Since the sensor node is battery powered,all the sensor nodes should collaborate together to form a fault tolerant network so as toprovide an efficient utilization of precious network resources like wireless channel,memory and battery capacity.The most crucial constraint is the energy consumption which has become the prime challenge for the design of long lived sensor nodes.

An Error-Localization, Validation and Optimization Tool for Embedded Code Augmentation: an Architecture Oriented Approach

Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.This dissertation contributes to an architecture oriented code validation, error localization and optimization technique assisting the embedded system designer in software debugging, to make it more effective at early detection of software bugs that are otherwise hard to detect, using the static analysis of machine codes. The focus of this work is to develop methods that automatically localize faults as well as optimize the code and thus improve the debugging process as well as quality of the code.Validation is done with the help of rules of inferences formulated for the target processor. The rules govern the occurrence of illegitimate/out of place instructions and code sequences for executing the computational and integrated peripheral functions. The stipulated rules are encoded in propositional logic formulae and their compliance is tested individually in all possible execution paths of the application programs. An incorrect sequence of machine code pattern is identified using slicing techniques on the control flow graph generated from the machine code.An algorithm to assist the compiler to eliminate the redundant bank switching codes and decide on optimum data allocation to banked memory resulting in minimum number of bank switching codes in embedded system software is proposed. A relation matrix and a state transition diagram formed for the active memory bank state transition corresponding to each bank selection instruction is used for the detection of redundant codes. Instances of code redundancy based on the stipulated rules for the target processor are identified.This validation and optimization tool can be integrated to the system development environment. It is a novel approach independent of compiler/assembler, applicable to a wide range of processors once appropriate rules are formulated. Program states are identified mainly with machine code pattern, which drastically reduces the state space creation contributing to an improved state-of-the-art model checking. Though the technique described is general, the implementation is architecture oriented, and hence the feasibility study is conducted on PIC16F87X microcontrollers. The proposed tool will be very useful in steering novices towards correct use of difficult microcontroller features in developing embedded systems.