Logic programming in the context of multiparadigm programming: the Oz experience

Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (logic, functional, constraint, object-oriented, sequential, concurrent, etc.) with equal ease. This article has two goals: to give a tutorial of logic programming in Oz and to show how logic programming fits naturally into the wider context of multiparadigm programming. Our experience shows that there are two classes of problems, which we call algorithmic and search problems, for which logic programming can help formulate practical solutions. Algorithmic problems have known efficient algorithms. Search problems do not have known efficient algorithms but can be solved with search. The Oz support for logic programming targets these two problem classes specifically, using the concepts needed for each. This is in contrast to the Prolog approach, which targets both classes with one set of concepts, which results in less than optimal support for each class. To explain the essential difference between algorithmic and search programs, we define the Oz execution model. This model subsumes both concurrent logic programming (committed-choice-style) and search-based logic programming (Prolog-style). Instead of Horn clause syntax, Oz has a simple, fully compositional, higher-order syntax that accommodates the abilities of the language. We conclude with lessons learned from this work, a brief history of Oz, and many entry points into the Oz literature.Comment: 48 pages, to appear in the journal "Theory and Practice of Logic Programming

Voice Recognition System in MP3 Players

The goal of this project is to build a convenient and reliable Voice Control Unit which enables users to have total control over the MP3 Player. The most important factor is the system reliability given the fact that even today’s most advanced voice recognition technologies does not guarantee 100 percent hit ratio. However, considering the fact that our VCU is designed specifically for an MP3 player, the power consumption and size limitations are some other critical factors as well.&nbsp

A flexible low-cost, high-precision, single interface electrical impedance tomography system for breast cancer detection using FPGA

Typically, in multi-frequency Electrical Impedance Tomography (EIT) systems, a current is applied and the voltages developed across the subject are detected. However, due to the complexity of designing stable current sources, there has been mention in the literature of applying a voltage to the subject whilst measuring the consequent current flow. This paper presents a comparative study between the two techniques in a novel design suitable for the detection of breast cancers. The suggested instrument borrows the best features of both the injection of current and the application of voltage, circumventing their limitations. Furthermore, the system has a common patient-electrode interface for both methodologies, whilst the control of the system and the necessary signal processing is carried out in a field programmable gate array (FPGA). Through this novel system, wide-bandwidth, low-noise, as well as high-speed (frame rate) can be achieved

IEEE 1355-Based Architecture for an ATM Switch: A Case for Onboard Switching and Processing

The recent evolution of the communication scenario has profound implications for the role of communication satellites within the communication infrastructure. Indeed, it raises the possibility that the satellite be viewed not merely as a repeater but rather as a network node in its own right in a hopefully integrated space/terrestrial network. We draw attention to the new IEEE 1355 Standard for Heterogeneous Inter-Connect as a possible platform to support several onboard processing functions, including onboard communications and onboard ATM switching. The IEEE 1355 is a new serial bus standard which enables high- performance, scalable, modular, parallel systems to be constructed with low system integration cost. This IEEE 1355- based approach can satisfy many of the requirements of onboard communications and onboard ATM switching, e.g., size, flexibility, reliability, fault-tolerance, and high communication processing speeds. This is made possible by using the highly integrated 1355 chipsets and performing protocol processing with multiple transputers in parallel. The IEEE 1355 approach also allows for easy expandability owing to its inherent design modularity

Symbol Parameter Conditions Min Typ Max Unit Static characteristics

1. General description Logic level N-channel MOSFET in a D2PAK-7 package using TrenchPLUS MOSFET technology. The device includes TrenchPLUS current sensing and integrated diodes for temperature sensing. This product has been designed and qualified to AEC Q101 standard for use in high performance automotive applications. 2. Features and benefits • AEC-Q101 Compliant • Enables temperature monitoring due to integrated temperature sensor • Enables current sense measurement due to integrated current senseFET • Suitable for thermally demanding environments due to 175 °C ratin