Learning with belief levels

We study learning of predicate logics formulas from “elementary facts,” i.e. from the values of the predicates in the given model. Several models of learning are considered, but most of our attention is paid to learning with belief levels. We propose an axiom system which describes what we consider to be a human scientist's natural behavior when trying to explore these elementary facts. It is proved that no such system can be complete. However we believe that our axiom system is “practically” complete. Theorems presented in the paper in some sense confirm our hypothesis.     

Driving Mechanisms of Delamination Related Reliability Problems in Exposed Pad Packages

Exposed pad packages were introduced in the late 1980s and early 1990s because of their excellent thermal and electrical performance. Despite these advantages, the exposed pad packages experience a lot of thermo-hygro-mechanical related reliability problems during qualification and testing. Examples are die lift, which occurs predominantly after moisture sensitivity level conditions, and die-attach to leadframe delamination leading to downbond stitch breaks during temperature cycling. In this chapter, nonlinear finite element (FE) models using fracture mechanics based J-integral calculations are used to assess the reliability problems of the exposed pad package family. Using the parametric FE models any geometrical and material effects can be explored to their impact on the occurrence diepad delamination, and dielift. For instance the impact of diepad size is found to be of much less importance as the impact of die thickness is. Using the fracture mechanics approach, the starting location for the delamination from thermo-hygro-mechanical point of view is deducted. The results indicate that when diepad delamination is present, cracks are likely to grow beneath the die and dielift will occur. The interaction between dielift and other failure modes, such as lifted ball bonds, are not found to be very significant. The FE models are combined with simulation-based optimization methods to deduct design guidelines for optimal reliability of the exposed pad family.     

Inter-vehicle communication systems: a survey

Inter-vehicle communication (IVC) systems (i.e., systems not relying on roadside infrastructure) have the potential to radically improve the safety, efficiency, and comfort of everyday road travel. Their main advantage is that they bypass the need for expensive infrastructure; their major drawback is the comparatively complex networking protocols and the need for significant penetration before their applications can become effective. In this article we present several major classes of applications and the types of services they require from an underlying network. We then proceed to analyze existing networking protocols in a bottom-up fashion, from the physical to the transport layers, as well as security aspects related to IVC systems. We conclude the article by presenting several projects related to IVC as well as a review of common performance evaluation techniques for IVC systems.     

Grouped Approach for the Design of H.264/AVC Motion Estimation Architectures

This letter presents a novel approach for organizing computational resources into groups within H.264/AVC motion estimation architectures, leading to reductions of up to 75% in the equivalent gate count with respect to state‐of‐the‐art designs.     

Inverted Solution Processable OLEDs Using a Metal Oxide as an Electron Injection Contact.

A new type of bottom‐emission electroluminescent device is described in which a metal oxide is used as the electron‐injecting contact. The preparation of such a device is simple. It consists of the deposition of a thin layer of a metal oxide on top of an indium tin oxide covered glass substrate, followed by the solution processing of the light‐emitting layer and subsequently the deposition of a high‐workfunction (air‐stable) metal anode. This architecture allows for a low‐cost electroluminescent device because no rigorous encapsulation is required. Electroluminescence with a high brightness reaching 5700 cd m^–2 is observed at voltages as low as 8 V, demonstrating the potential of this new approach to organic light‐emitting diode (OLED) devices. Unfortunately the device efficiency is rather low because of the high current density flowing through the device. We show that the device only operates after the insertion of an additional hole‐injection layer in between the light‐emitting polymer (LEP) and the metal anode. A simple model that explains the experimental results and provides avenues for further optimization of these devices is described. It is based on the idea that the barrier for electron injection is lowered by the formation of a space–charge field over the metal‐oxide–LEP interface due to the build up of holes in the LEP layer close to this interface.     

A Tutorial on GrÖbner Bases With Applications in Signals and Systems

This paper is a tutorial on GrÖbner bases and a survey on the applications of GrÖbner bases in the broad field of signals and systems. A reasonably detailed review is given of several fundamental theoretical issues that occur in the use of GrÖbner bases in multidimensional signals and systems applications. These topics include the primeness of multivariate polynomial matrices, multivariate unimodular polynomial matrix completion, and prime factorization of multivariate polynomial matrices. A brief review is also presented on the wide-ranging applications of GrÖbner bases in multidimensional as well as one-dimensional circuits, networks, control, coding, signals, and systems and other related areas like robotics and applied mechanics. The impact and scope of GrÖbner bases in signals and systems are highlighted with respect to what has already been accomplished as a stepping stone to expanding future research.      

Space–Time Power Schedule for Distributed MIMO Links Without Instantaneous Channel State Information at the Transmitting Nodes

A space-time optimal power schedule for multiple distributed multiple-input multiple-output (MIMO) links without the knowledge of the instantaneous channel state information (CSI) at the transmitting nodes is proposed. A readily computable expression for the ergodic sum capacity of the MIMO links is derived. Based on this expression, which is a non-convex function of power allocation vectors, a projected gradient algorithm is developed to optimize the power allocation. For a symmetric set of MIMO links with independent identically distributed channels, it is observed that the space-time optimal power schedule reduces to a uniform isotropic power schedule when nominal interference is low, or to an orthogonal isotropic power schedule when nominal interference is high. Furthermore, the transition region between the latter two schedules is seen to be very sharp in terms of nominal interference-to-noise ratio (INR). For MIMO links with correlated channels, the corresponding space-time optimal power schedule is developed based on the knowledge of the channel correlation matrices. It is shown that the channel correlation has a great impact on the ergodic capacity and the optimality of different power scheduling approaches.     

Testing communication and computer networks: an overview

Many activities in today's organizations are becoming ever more dependent on communications and computer networks, and network managers are faced with the enormous challenge of increasing the availability and efficiency of their infrastructures, which grow both in size and complexity. This makes it crucial to plan network operation systematically, to define and implement appropriate procedures for regular monitoring and performance assessment, and to set up proper tools for maintenance and troubleshooting purposes. Furthermore, proactive network testing must be pursued; it is vital to gather some ideas of normal network operation documented in order to have a comparison term when problems occur. The article has dealt with the measurement instruments and procedures currently adopted for network testing and advances in the field for the I&M research community.     

Power Distribution Fault Cause Identification With Imbalanced Data Using the Data Mining-Based Fuzzy Classification E-Algorithm

Power distribution systems have been significantly affected by many outage-causing events. Good fault cause identification can help expedite the restoration procedure and improve the system reliability. However, the data imbalance issue in many real-world data sets often degrades the fault cause identification performance. In this paper, the E-algorithm, which is extended from the fuzzy classification algorithm by Ishibuchi to alleviate the effect of imbalanced data constitution, is applied to Duke Energy outage data for distribution fault cause identification. Three major outage causes (tree, animal, and lightning) are used as prototypes. The performance of E-algorithm on real-world imbalanced data is compared with artificial neural network. The results show that the E-algorithm can greatly improve the performance when the data are imbalanced     

The LilyPad Arduino: Toward Wearable Engineering for Everyone

Electronic textiles, or e-textiles, are an increasingly important part of wearable computing, helping to make pervasive devices truly wearable. These soft, fabric-based computers can function as lovely embodiments of Mark Weiser's vision of ubiquitous computing: providing useful functionality while disappearing discreetly into the fabric of our clothing. E-textiles also give new, expressive materials to fashion designers, textile designers, and artists, and garments stemming from these disciplines usually employ technology in visible and dramatic style. Integrating computer science, electrical engineering, textile design, and fashion design, e-textiles cross unusual boundaries, appeal to a broad spectrum of people, and provide novel opportunities for creative experimentation both in engineering and design. Moreover, e-textiles are cutting- edge technologies that capture people's imagination in unusual ways. (What other emerging pervasive technology has Vogue magazine featured?) Our work aims to capitalize on these unique features by providing a toolkit that empowers novices to design, engineer, and build their own e-textiles.