具有图形处理功能的凹印版辊雕刻系统

该系统使用AST386微机和电子雕刻机联机运行,用计算机的图形处理功能实现了常规的凹印版辊雕刻工艺.文章介绍了系统的基本构思,给出了接口原理框图和雕刻控制软件框图.     

组成智能传感器的接口芯片

介绍了几种组成智能传感器的接口芯片的功能、工作原理、结构框图,以及其使用方法和应用电路。     

USB接口MIL-STD-1553B转换器的应用研究

介绍一种USB总线接口芯片FT245BM及其在实现MIL-STD-1553B转换器中的应用,同时介绍FT245BM的内部结构、管脚说明以及与微处理器的接口电路,给出USB-1553B转换器的硬件设计思路,总体框图、部分原理和接口逻辑的Verilog HDL源代码及仿真时序.     

基于DSP的液晶模块的显示原理及实现

介绍了一种基于TMS320F206DSP以及硬件汉字库的液晶模块的设计。给出了硬件接口设计框图、接口的设计实现以及硬件汉字库的制作方法,同时给出了液晶初始化和显示模块的设计思路以及软件实现。     

OSEK/VDX操作系统功能测试研究

传统OSEK/VDX操作系统测试采用分类树的测试方法,导致测试路径不完全和冗余性高。为此,提出以系统服务接口为目标的面向符合类的流框图测试方法。通过评估接口重要度,准确判断接口的各种调用组合方式,提高测试覆盖率,实现测试代码的复用,其测试工作量比原方法减少三分之一。     

基于JTAG的DSP处理器嵌入式调试接口设计

介绍了基于IEEE1149．1 JTAG协议的DSP处理器嵌入式调试接口的设计。从该接口的整体结构框图到详细设计，进行了详细的阐述。该接口成功地应用于32bits DSP处理器MD32中，通过了FPGA验证和仿真验证，证明了其设计的正确性，具有很好的参考价值。     

一种基于DMA方式接口模块的软硬件实现方案

介绍一种采用DMA方式的接口模块的实现方案 ,并给出具体的硬件设计框图、仿真波形及部分软件程序代码     

一种程控变频电源GPIB接口的设计与实现

介绍一种基于FPGA的程控变频电源GPIB接口设计方法,采用VHDL语言在XC3S400芯片上实现专用接口芯片NAT7210的功能.介绍了程控变频电源控制电路和FPGA实现的功能块框图,并给出了讲者接口功能的状态转换图及其实现方法,最后介绍了在PIC24单片机上实现GPIB驱动的设计方法.     

GPIB芯片TNT4882在多路程控电源中的应用

介绍一种GPIB总线接口芯片TNT4882及其在多路程控电源中的应用,包括TNT4882的引脚排列、内部结构、功能和通信方式、与微处理器的接口及与上位机的通信;同时给出在实际应用中的总体框图和各主要功能模块的软件流程及程控电源与上位机通信程序。     

JTRnet令牌环形网络共享打印机软件开发

本文介绍了在JTRnet令牌环形局部网络上共享打印机软件的开发。文中详细论述了开发的环境、接口参数、共享打印软件的组成和框图及其实施。     

CAD for process plants: an update

We review the availability of CAD software for the process design activities of physical properties generation, unit operation design, flowsheeting and dynamic flowsheet simulation. Similarly we look at CAD software for materials control, piping documentation and pipe stressing. We report conclusions drawn from our research into the provision and use of CAD turnkey systems for producing schematics at the conceptual design phase, and for equipment specification, layout, piping design and 3D modelling at the engineering design phase.By reviewing the shortcomings of current CAD systems along with developing CAD technology, we were able to specify the requirements of the next generation of process plant CAD.     

Handling advanced scheduling heuristics under a hardware compiler generation environment

The complexity of modern digital systems requires complex design entry methods and thus, language based designs are often an appealing alternative for schematics. Language based design entry, supports high-level design transformations through formal and executable traditional compiler construction problem specifications, their main advantages being modularity and declarative notation. In this paper, this idea is exploited under a powerful compiler construction system and a methodology is given to design formal and executable high-level hardware manipulators. In effect, this methodology stands as a meta-level between hardware transformations and their implementation and can be valuable in fast evaluation of new ideas and techniques.     

SPI-4.2接口的FPGA实现

去偏移和包重组是在FPGA中实现SPI-4.2接口的核心难点,在分析偏移和包重组原理的基础上,给出基于FPGA的SPI-4.2接口的设计与实现方案,并对关键部分给出了硬件原理图,在线测试结果证明该方案可以实现SPI-4.2接口的功能。     

软件测试入门浅谈

文中结合自己软件测试入门阶段的体会介绍了识别测试需求、设计测试用例和执行测试用例,其中识别测试需求重点介绍主动获取需求、确认需求的优先级两方面,设计测试用例着重介绍了测试用例的基本格式、加强测试用例的评审和定义测试用例的执行顺序,执行测试用例主要介绍搭建软件测试环境,执行测试用例和更新测试用例几个方面。     

Binding Virtual Environments to Toolkit Capabilities

There are many toolkits and development environments that aid the process of constructing virtual environment applications. Many of these development environments encourage customising a virtual environment's design while rapid prototyping within the confines of a toolkit's capabilities. Thus the choice of the technology and its associated support has been made independent of the end-use requirements of the final system. This can bias a virtual environment's design by implementation based constraints. We propose that an alternative approach is the consideration of virtual environment requirements in the context of an inspectable design model, to identify the requirements that a toolkit will need to support. In the context of an example, we present a selection of design requirements that we consider important for virtual environment design in general. We explore how these requirements might be mapped to different capabilities using Virtual Reality Modelling Language (VRML) as a concrete example of a platform technology.     

无线通信在石油测井中的应用

无线通信应用于石油测井能够极大的提高测井效率，是石油测井未来的发展方向。本文分析了石油测井远程监测的基本要求，提出了一套无线数据传输的系统方案。在通信协议的设计和实现上，采用了双发送队列、优先级调度以及全双工滑动窗口协议等方法，同时保证了测井数据的实时传输和文件资料的正常交互，很好的满足了石油测井数据传输的要求。     

基于ES51986的数字万用表设计

该文介绍了某型综合测试仪中数字万用表模块的研究与实现方法。该模块以ASICES51986为核心，通过CPU（BF531 DSP）控制测量功能，处理测量数据并显示测量结果。较详细地介绍了ES51986的性能特点、控制方法和硬件电路设计思路；给出了前端衰减电路控制原理图，详细介绍了DSP对HC4094的控制和数字万用表前端衰减电路及软件设计流程图；最后分析了实际测量结果，提出了改良方法。测试结果表明，本数字万用表测量精度较高，操作简便、安全，测量功能可靠，能满足实际测量要求。     

Systems engineering principles for the design of biomedical signal processing systems

Systems engineering aims to produce reliable systems which function according to specification. In this paper we follow a systems engineering approach to design a biomedical signal processing system. We discuss requirements capturing, specification definition, implementation and testing of a classification system. These steps are executed as formal as possible. The requirements, which motivate the system design, are based on diabetes research. The main requirement for the classification system is to be a reliable component of a machine which controls diabetes. Reliability is very important, because uncontrolled diabetes may lead to hyperglycaemia (raised blood sugar) and over a period of time may cause serious damage to many of the body systems, especially the nerves and blood vessels. In a second step, these requirements are refined into a formal CSP‖ B model. The formal model expresses the system functionality in a clear and semantically strong way. Subsequently, the proven system model was translated into an implementation. This implementation was tested with use cases and failure cases.Formal modeling and automated model checking gave us deep insight in the system functionality. This insight enabled us to create a reliable and trustworthy implementation. With extensive tests we established trust in the reliability of the implementation.     

电路原理图自动布图系统的设计与实现

绘制电路原理图是维修或仿制进口电路板的重要环节,电路原理图自动布图系统能根据网络表文件自动绘出电路原理图,极大地提高了工作效率。该文描述了此系统的方案、结构和实现中的对象设计。     

A systematic approach to embedded biomedical decision making

An embedded decision making is a key feature for many biomedical systems. In most cases human life directly depends on correct decisions made by these systems, therefore they have to work reliably. This paper describes how we applied systems engineering principles to design a high performance embedded classification system in a systematic and well structured way. We introduce the structured design approach by discussing requirements capturing, specifications refinement, implementation and testing. Thereby, we follow systems engineering principles and execute each of these processes as formal as possible. The requirements, which motivate the system design, describe an automated decision making system for diagnostic support. These requirements are refined into the implementation of a support vector machine (SVM) algorithm which enables us to integrate automated decision making in embedded systems. With a formal model we establish functionality, stability and reliability of the system. Furthermore, we investigated different parallel processing configurations of this computationally complex algorithm. We found that, by adding SVM processes, an almost linear speedup is possible. Once we established these system properties, we translated the formal model into an implementation. The resulting implementation was tested using XMOS processors with both normal and failure cases, to build up trust in the implementation. Finally, we demonstrated that our parallel implementation achieves the speedup, predicted by the formal model.