introduction: radiation imaging is one of the applicable methods in diagnostic medicine and nondestructive testing for industrial applications. in nondestructive 3d imaging, in addition to the radiation source, there is a requirement for a suitable detection system, data acquisition system, mechanical sections for moving objects, reconstruction algorithm and finally a computer for processing an...

Although LCL filters are used widely in the grid connected inverters to reduce high-orderharmonics, such a system increases system order and therefore sustainable design of closed-loopcontroller system will be complicated. Recently, the single-loop control strategy has beensuggested for L or LC filter based grid-connected inverters. However, the use of single-loopcontrol directly in LCL filter-...

Oberon is a new object-oriented environment and programming language developed by N. Wirth and J. Gutknecht at the Swiss Federal Institute of Technology Zurich. It is shown in the report that Oberon is well suited for the implementation of CACSD systems. The design of such a system is outlined and some parts that have been implemented are presented.

The complete control system design effort involves many stages during which partial design tasks are completed. Each of these tasks requires different modeling paradigms and different tools. Furthermore, the designed embedded control system entails a wide variety of implementation technologies that all require different specification formalisms. To handle such a multitude of modeling paradigms ...

A wide range of possibilities exists for the use of computers in the teaching of control system design and simulation. Several approa­ ches such as the use of program packages, single purpose programs or com­ plete environments are described in the paper. Experience gained from teaching with these methods is summarized, and recommendations for forther improvements are given.

Most conventional design processes produce documentation as a by-product: design is done within an environment or collection of tools and the design outputs, models, diagrams, results, etc are gathered together along with commentary (usually with hindsight) into some kind of document at the end of the process. Inspired by ideas taken from literate programming and notebook interfaces to design t...

Short message service (SMS) is a technology that can use mobile devices to send and receive text message, with wide coverage area, high popularity, high reliability, low expenditure, easy development and other characteristics. Using GSM module or short message platform of network, short messages can be sent and received between the computer and the mobile terminal. This paper has designed and r...

The brake subsystem is one of the most significant parts of a vehicle with respect to safety. A computer-controlled brake system has the capability of acting faster than the human driver during emergencies, and therefore has the potential of improving safety of the vehicles used in the future intelligent transportation systems (ITS’s). In this paper we consider the problem of modeling and contr...

Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial computer-aided design tools for embedded system design. In this paper, we elaborate new foundations for contract-based embedded system design by proposing a general-purpose algebra of assume/guarantee contracts based on ...