CLP(ℜ) and some electrical engineering problems

The Constraint Logic Programming Scheme defines a class of languages designed for programming with constraints using a logic programming approach. These languages are soundly based on a unified framework of formal semantics. In particular, as an instance of this scheme with real arithmetic constraints, the CLP() language facilitates and encourages a concise and declarative style of programming for problems involving a mix of numeric and non-numeric computation.In this paper we illustrate the practical applicability of CLP() with examples of programs to solve electrical engineering problems. This field is particularly rich in problems that are complex and largely numeric, enabling us to demonstrate a number of the unique features of CLP(). A detailed look at some of the more important programming techniques highlights the ability of CLP() to support well-known, powerful techniques from constraint programming. Our thesis is that CLP() is an embodiment of these techniques in a language that is more general, elegant and versatile than the earlier languages, and yet is practical.An earlier version of this paper appeared in the proceedings of the 4th International Conference on Logic Programming, Melbourne, May 1987. Much of this work was carried out while the authors were at Monash University, Melbourne, Australia.     

Current-Oscillation Power Growth in a Semiconductor Superlattice with Regard to Interminiband Tunneling

The total power of oscillations of current flowing through a semiconductor superlattice with different gaps between the first and second minibands is discussed. It is demonstrated that, with a decrease in the band gap, i.e., with an increase in the probability of interminiband tunneling, the total current-oscillation power increases when certain voltages are applied to the superlattice.     

Optimization of media processing workflows with adaptive operator behaviors

In this paper, we present the ARIA media processing workflow architecture that processes, filters, and fuses sensory inputs and actuates responses in real-time. The components of the architecture are programmable and adaptable; i.e. the delay, size, and quality/precision characteristics of the individual operators can be controlled via a number of parameters. Each data object processed by qStream components is subject to transformations based on the parameter values. For instance, the quality of an output data object and the corresponding processing delay and resource usage depend on the values assigned to parameters of the operators in the object flow path. In Candan, Peng, Ryu, Chatha, Mayer (Efficient stream routing in quality- and resource-adaptive flow architectures. In: Workshop on multimedia information systems, 2004), we introduced a class of flow optimization problems that promote creation and delivery of small delay or small resource-usage objects to the actuators in single-sensor, single-actuator workflows. In this paper, we extend our attention to multi-sensor media processing workflow scenarios. The algorithms we present take into account the implicit dependencies between various system parameters, such as resource consumption and object sizes. We experimentally show the effectiveness and efficiency of the algorithms.

On Similarity Measures for Multimedia Database Applications

A multimedia database query consists of a set of fuzzy and boolean (or crisp) predicates, constants, variables, and conjunction, disjunction, and negation operators. The fuzzy predicates are evaluated based on different media criteria, such as color, shape, layout, keyword. Since media-based evaluation yields similarity values, results to such a query is defined as an ordered set. Since many multimedia applications require partial matches, query results also include tuples which do not satisfy all predicates. Hence, any fuzzy semantics which extends the boolean semantics of conjunction in a straight forward manner may not be desirable for multimedia databases. In this paper, we focus on the problem of ‘given a multimedia query which consists of multiple fuzzy and crisp predicates, how to provide the user with a meaningful overall ranking.’ More specifically, we study the problem of merging similarity values in queries with multiple fuzzy predicates. We describe the essential multimedia retrieval semantics, compare these with the known approaches, and propose a semantics which captures the retrieval requirements in multimedia databases. Received 13 August 1999 / Revised 13 May 2000 / Accepted in revised form 26 July 2000     

Retrieval schedules based on resource availability and flexible presentation specifications

A distributed multimedia document presentation involves retrieval of objects from one or more document servers and their presentation at the client system. The presentation of the multimedia objects has to be carried out in accordance with the specification of temporal relationships between the objects. The retrieval of multimedia objects from the document server(s) is influenced by factors such as temporal specification of objects presentations, throughput offered by the network service provider, and the buffer resources on the client system. Flexibility in the temporal specification of the multimedia document may help in deriving an object retrieval schedule that can handle variations in network throughput and buffer resource availability. In this paper, we develop techniques for deriving a flexible object retrieval schedule for a distributed multimedia document presentation. The schedule is based on flexible temporal specification of the multimedia document using the difference constrai nts approach. We show how the derived retrieval schedule can be validated and modified to ensure that it can work with the offered network throughput and the available buffer resources.     

Effects of User Request Patterns on a Multimedia Delivery System

Because of their size, service times, and drain on server resources, multimedia objects require specialized replication systems in order to meet demand and ensure content availability. We present a novel method for creating replication systems where the replicated objects' sizes and/or per-object service times are large. Such replication systems are well-suited to delivering multimedia objects on the Internet. Assuming that user request patterns to the system are known, we show how to create replication systems that distribute read load to servers in proportion to their contribution to system capacity and experimentally show the positive load distribution properties of such systems. However, when user request patterns differ from what the system was designed for, system performance will be affected. Therefore, we also report on results that reveal (i) how server loads are affected and (ii) the impact two system design parameters (indicators of a system's load distribution qualities) have on server load when request patterns differ from that for which a system was designed.     

Electrosynthesis of hierarchical Cu2O–Cu(OH)2 nanodendrites supported on carbon nanofibers/poly(para-phenylenediamine) nanocomposite as high-efficiency catalysts for methanol electrooxidation

The development of highly efficient catalysts using inexpensive and earth-abundant metals is a crucial factor in a large-scale commercialization of direct methanol fuel cells (DMFCs). In this study, we explored a new catalyst based on copper nanodendrites (CuNDs) supported on carbon nanofibers/poly (para-phenylenediamine) (CNF/PpPD) nanocomposite for methanol oxidation reaction (MOR). The catalyst support was prepared on a carbon paste electrode by electropolymerization of para-phenylenediamine monomer on a drop-cast carbon nanofibers network. Afterwards, CuNDs were electrodeposited on the nanocomposite through a potentiostatic method. The morphology and the structure of the prepared nanomaterials were characterized by transmission electron microscope, scanning electron microscope, energy dispersive X-ray, X-ray diffraction, and X-ray photoelectron spectroscope. The results suggested that a three-dimensional nanodendritic structure consisting of Cu₂O and Cu(OH)₂ formed on the hybrid CNF/PpPD nanocomposite. The catalytic performance of CuNDs supported on CNF, PpPD and CNF/PpPD was evaluated for MOR under alkaline conditions. The CNF/PpPD/CuNDs exhibits a highest activity (50 mA cm^?2) and stability toward MOR over 6 h, with respect to CNF/CuNDs (40 mA cm^?2) and PpPD/CuNDs (36 mA cm^?2). This inexpensive catalyst with high catalytic activity and stability is a promising anode catalyst for alkaline DMFC applications.