A methodology for design, test, and evaluation of real-time systems

This article presents a methodology that is suitable for use as part of either a prototyping approach or a component-reuse approach. This methodology integrates modeling and simulation as well as developmental and operational testing over the life cycle. The type of systems or components we address operate in real time. Designing and testing real-time systems involves the use of multiple processors and communication links. The real-time system itself can run on a single processor or multiple processors. Even when the system runs on a single processor, the test and evaluation environment uses multiple processors. If the evaluation environment were hosted on the system processor, system performance would be affected. For ease of exposition, we focus on sensor systems; the methodology described is widely applicable to other kinds of systems. We use two examples (a space-borne navigation system and an interferometer system) to describe the methodology and show how it can be used. This methodology can reduce project costs and shorten schedules because it requires performance evaluation and integration testing early, when problems are generally easier and less costly to correct     

Tools and techniques for teaching microprocessor software development

Debugging low level language software can be a difficult business—the bare microprocessor lacks the user interface; facilities, such as simulators, provided on another machine can be tedious to use on running or partially working programs. A resolution of this difficulty lies in the harmonious use of a mainframe-based debugging system and a real microprocessor. This paper describes tools and techniques for the development of low level software for the Intel 8080 microprocessor employing both simulated and real microprocessors. The debugging system allows the user to set up a virtual microprocessor into which programs can be loaded and run and from which a flexible tracing of the executing program can be obtained. The debugging system is built into a general purpose multi-access operating system and this approach makes it possible to provide the system cheaply to a large number of users. Additionally, users have access to all the general facilities (such as editors) provided by the operating system itself. The system has been implemented on a minicomputer with 60 VDU terminals all of which can be used for interaction with the 8080 simulator or for general interactions with the mainframe operating system. The system has also been implemented in a self-simulating version to run on a real Intel 8080 microprocessor. Many of the VDUs on the minicomputer are controlled by Intel 8080 microprocessors and it is possible to load and run large Intel 8080 programs which were assembled (and tested) on the mainframe or run the self simulator based debugging system. In this way a range of complementary debugging environments is provided: the simulator on the mainframe with its access to backing store (and, hence, the ability to save trace information), the self simulator on the microprocessor (with its better performance for the single user), and the actual Intel 8080 itself. The user can easily move a partially tested program between environments and thus use the environment which best suits his current phase of testing.     

基于组件式GIS的广西农业气候区划应用系统

组件式GIS是一个基于组件对象的地理信息系统开发平台。它以一组具有标准通信接口的、可跨语言应用的组件提供GIS功能。与传统的GIS相比，组件式GIS具有系统集成性好、开发语言多样、可扩展性强、易于进行二次开发等特点，已经成为地理信息系统的一个发展趋势。该文介绍了利用组件式GIS开发的广西农业区划应用系统，包括系统的关键实现技术、总体结构、系统的主要功能等，并给出了系统应用的实例。     

Logic programming and rapid prototyping

Logic programming has great potential for reducing the cost of software development. We argue that, with an appropriate programming methodology, a logic programming system provides a powerful tool for rapid software prototyping. It is sufficiently formal and high-level to allow reasoning about specifications, and it provides an immediate operational validation of the programmer's intuitions.The methodology is introduced by means of an example larger than those usually used to illustrate the advantages of logic programming. We start with an informal specification of a structure-editor, show how it is formalized into a directly executable prototype, and introduce guidelines for validating logic programming code as implemented in Prolog.The developed prototype can be used for a number of applications: syntax-directed editor, semantic network browser, etc. The editor is compact but readable, and is quite efficient.     

虚拟硬件方法实现基于Intel StrongARM SA-1110平台的Linux APM

文章讨论了在StrongARM SA－1110开发板上实现Linux APM的主要技术问题。在分析了Intel StrongARM最新处理器SA－1110及开发板（Assabet）与电源管理相关的结构和特性的基础上,提出了一种基于虚拟硬件的系统跨平台移植的方法和思路,并以实际开发过程中的经验为背景,介绍了在Linux APM基于SA－1110平台的移植工作中虚拟硬件方法的应用和虚拟硬件方法在操作系统跨平台移植开发上的优点。     

Software-based single-step and multiregister breakpoint facility

The Intel SDK-85 microcomputer includes in its ROM-based monitor a single-step facility interfaced through its onboard keyboard and display. An extended single-step and breakpoint routine which can be used with a VDU is described. It does not require any modifications to the hardware of the microcomputer. So it is suitable for debugging any 8085-based system.     

基于VxWorks的音频系统的设计与实现

利用CS4281在Intel x86平台和实时操作系统VxWorks上实现音频系统，由于CS4281高度集成使其外围电路很简单，从而便于硬件设计和附加功能集成，作为当今世界上最优秀的实时操作系统之一的VxWoerks，拥有方便的接口用于编写设备驱动程序和应用软件。     

基于VxWorks的视频采集系统的设计与实现

利用ＢＴ８４８在Ｉｎｔｅｌ ｘ８６平和实时操作系统ＶｘＷｏｒｋｓ上实现视频采集系统。Ｂｔ８４８高度集成的特性使其外围电路极其简单,在保证性能的前提下便于硬件的设计和附加功能的集成。     

Automating the selection of code templates

A new methodology for code generation in compilers is advanced. The underlying principle is a simple one—that machine memory resources must be matched to intermediate code values. It is possible to view the methodology as a generalization of the Graham-Glanville approach, but where there is a wider-ranging search for the best code sequences. This new approach has been implemented for the IBM/370, the VAX-11 and the Intel 8086 instruction sets.     

大型CPT玻璃窑炉计算机控制系统

在不影响正常生产的情况下,作者先对大型彩色显象管(CPT)玻璃窑炉进行了分析和建模,然后针对不同回路采用了修正PID、前馈补偿与解耦、非线性补偿和自校正控制等方法,有效地控制了窑炉的各工艺参数。该系统软件采用任务管理方式,结构合理,易于开发。该系统投入长期运行后,在降低能耗、提高产品数量和质量,以及延长窑炉寿命等方面有显著经济效益。     

基于PC机的飞机刹车虚拟视景实现

本文针对飞机刹车半物理仿真的需求和特点,提出应用LabWindows/CVI嵌套OpenGL实现虚拟视景的思想。对于视景实现中的关键性问题——场景建模及模型渲染、气候模拟以及多窗口实现等进行了详细介绍。本文解决了OpenGL输入外部文件难的问题,并且很好的将OpenGL嵌入进LabWindows/CVI开发环境里,提出了一种新的多窗口实现方法。本视景软件采用模块化编程,因而具有很好的移植性,其设计思想可以被其它视景系统开发所借鉴,具有很高的实用性。     

基于IXP2400的高性能网络认证/计费系统

介绍了一个基于网络处理器技术的网络认证/计费系统。该系统结合802.1x等技术的特点，具有多重信息绑定、支持脱离交换设备进行认证/计费、支持多种接入方式等优点，采用IXP2400构建的系统硬件平台，具有较好的性能，可提供3Gbit/s的吞吐量，解决了目前IP网络运营中认证/计费所面临的诸多困难问题。     

Database fragmentation and allocation: an integrated methodologyand case study

Distributed database design requires decisions on closely related issues such as fragmentation, allocation, degree of replication, concurrency control, and query processing. We develop an integrated methodology for fragmentation and allocation that is simple and practical and can be applied to real-life problems. The methodology also incorporates replication and concurrency control costs. At the same time, it is theoretically sound and comprehensive enough to achieve the objectives of efficiency and effectiveness. It distributes data across multiple sites such that design objectives in terms of response time and availability for transactions, and constraints on storage space, are adequately addressed. This methodology has been used successfully in designing a distributed database system for a large geographically distributed organization     

Agent规范与编程语言SPLAW的语法和语义

本文描述了Ａｇｅｎｔ规范与编程语言ＳＰＬＡＷ的语法，为ＳＰＬＡＷ中的各种语言成分提供了操作语义，并基于标记转换系统给出Ａｇｅｎｔ性质的证明规则。由于ＳＰＬＡＷ的通信部分采用不依赖于具体应用的Ａｇｅｎｔ交互语言ＫＱＭＬ，使遵循同一标准的Ａｇｅｎｔ之间能进行协作问题求解。ＳＰＬＡＷ首次为Ａｇｅｎｔ提供继承支持，使其可以实现具有面向对象特征的多线程系统。ＳＰＬＡＷ屏了为语言引入内部模态词的缺陷，试图从外     

Parallel Distributive Join Algorithm on the Intel Paragon

In this paper, we analyze the performance of the parallel Distributive Join algorithm that we proposed in Chung and Yang 1995. We implemented the algorithm on an Intel Paragon machine and analyzed the effect of the number of processors and the join selectivity on the performance of the algorithm. We also compared the performance of the Distributive Join (DJ) algorithm with that of the Hybrid-Hash(HH) join algorithm. Our results show that the DJ performs comparably with the HH over the entire range of number of processors used and different join selectivities. A big advantage of the parallel DJ algorithm over the HH join algorithm is that it can easily support non-equijoin operations. The results can also be used to estimate the performance of file I/O intensive applications to be implemented on the Intel Paragon machine.     

一个基于智能的MAS模型及其方法论

为了得到好的体系结构模式来将模式驱动的方法用于多智能体系统(MAS)的设计,必须有形式上抽象但是技术上细化的方法论.基于智能思想的提出,使得以智能作桥梁将AO,PO和OO的优点融合,并以此提出一种覆盖了从事务分析到Agent组织系统实现全过程而又比较技术化的方法论IB.同时提出一个基于智能的智能系统模型(MIBIS),通过模型的构造过程来叙述方法论.因为模型以及构造过程的形式化和整个过程的技术化,所以使得该模型和方法论能够被用于体系结构模式的归纳,也能用于工程的实用.而且该模型所表达的结构有良好动态组织性、实用性、实时性、扩展性和重用性.     

Mechanically verifying concurrent programs with the Boyer-Mooreprover

A proof system suitable for the mechanical verification of concurrent programs is described. This proof system is based on Unity, and may be used to specify and verify both safety and liveness properties. However, it is defined with respect to an operational semantics of the transition system model of concurrency. Proof rules are simply theorems of this operational semantics. This methodology makes a clear distinction between the theorems in the proof system and the logical inference rules and syntax which define the underlying logic. Since this proof system essentially encodes Unity in another sound logic, and this encoding has been mechanically verified, this encoding proves the soundness of this formalization of Unity. This proof system has been mechanically verified by the Boyer-Moore prover. This proof system has been used to mechanically verify the correctness of a distributed algorithm that computes the minimum node value in a tree     

基于MIC集群平台的GMRES算法并行加速

广义极小残量法(GMRES)是最常用的求解非对称大规模稀疏线性方程组的方法之一,其收敛速度快且稳定性良好。Intel Xeon Phi众核协处理器(MIC)具有计算能力强、易编程、易移植等特点。采用MPI+OpenMP+offload混合编程模型将GMRES算法移植到MIC集群平台上。采用进程间集合通信异步隐藏、数据传输优化、向量化以及线程亲和性优化等多种手段,大幅提升了GMRES算法的求解效率。最后将并行算法应用到“局部径向基函数求解高维偏微分方程”问题的求解中。测试表明,CPU节点集群上开启32个进程,并行效率高达71.74%,4块MIC卡的最高加速性能可达单颗CPU的7倍。     

VGA控制器显示数据通道的设计与实现

DDC（显示数据通道）是基于12C协议的用于主机与显示器通信的标准。针对DDC参考较少及用纯软件实现DI）C较难的问题,文章基于软硬件协同开发方法实现了易于系统集成的DIX;功能,并在FPGA上构建了集成有DDC功能的PCI显示控制器原型系统,设计了基于IntelX86架构的BIOS。实验结果表明,该原型系统可以兼容DOS、Windows、Linux和Vxworks等操作系统;主机可通过它完成与商用显示器的双向通信,并获取显示器配置信息。     

基于MeeGo的电容式触摸屏驱动设计

随着人们对操控要求的不断提高,电容触摸屏因为能支持多点触摸而得到广泛使用。本文基于Nokia和Intel公司合作开发的开源操作系统MeeGo,采用基于内核对象的Linux输入子系统来设计触摸屏的驱动。该方案极大地方便了触摸屏的驱动开发,可应用在车载娱乐、上网本、智能手机等电子产品上。