Real-time face detection and lip feature extraction using field-programmable gate arrays.

This paper proposes a new technique for face detection and lip feature extraction. A real-time field-programmable gate array (FPGA) implementation of the two proposed techniques is also presented. Face detection is based on a naive Bayes classifier that classifies an edge-extracted representation of an image. Using edge representation significantly reduces the model's size to only 5184 B, which is 2417 times smaller than a comparable statistical modeling technique, while achieving an 86.6% correct detection rate under various lighting conditions. Lip feature extraction uses the contrast around the lip contour to extract the height and width of the mouth, metrics that are useful for speech filtering. The proposed FPGA system occupies only 15050 logic cells, or about six times less than a current comparable FPGA face detection system.     

Synthesis of finite state machines for improved state verification

Finite State Machines (FSMs) are used in diverse areas to model hardware and software systems. Verification of FSMs is essential to ensure reliability of systems. To verify that a machine is in an expected state in testing, Unique Input/Output (UIO) sequences are used. The aforementioned testing methodology requires that each state in the FSM has an UIO. However, it is possible for a given machine that few or even none of its states have an UIO sequence. This paper presents a guided heuristic algorithm for synthesizing FSMs such that each state has an UIO sequence. The states of an FSM with identical I/O labels on transitions are grouped in order to identify the states which do not possess UIO sequence. The transitions are then augmented by adding extra output terminals incrementally so that new UIO sequences are created for the states. A greedy approach is used to optimize the number of added outputs. Initially, the transitions which lead to state convergence (i.e., transitions with identical input/output labels taking a set of states to the same next state) and constrained self-loop (i.e., transitions taking a set of states either to itself or leads to state convergence) are identified since a state with only these transitions will never have a UIO sequence. Extra output terminals are added to the FSM which are used only while testing and the augmented output labels make sure that the states are neither convergent nor has constrained self-loop, thereby ensuring UIO sequence. The proposed algorithm, referred to as AUGP, was tested with a large number of FSMs including the Microelectronics Center of North Carolina (MCNC) FSM benchmarks. The augmented state transition table was used as input to a UIO computation algorithm (developed by the same authors [Ahmad I, et al. IEE Proc Comput Digital Tech 2004;151(2):131]) to check the performance of the augmentation algorithm and the tested FSMs were found to possess UIO sequence for all states.     

The investigation of the neutron emission spectra of Th and U for neutron incident energy from 2 to 18 MeV

In this study, experimental neutron-emission spectra produced by (n, xn) reactions on nuclei ²³²Th have been compared with experimental ²³⁸U(n, xn) neutron-emission spectra from 2 to 18 MeV. Angle-integrated cross-sections in neutron induced reactions on targets ²³⁸U have been calculated at the bombarding energies from 2 to 18 MeV. In the calculations, the geometry dependent hybrid model and the cascade exciton model including the effects of pre-equilibrium have been used. In addition, we have described how multiple pre-equilibrium emissions can be included in the Feshbach–Kerman-Koonin (FKK) fully quantum-mechanical theory. By analyzing (n, xn) reaction on ²³⁸U with the incident energy from 2 to 18 MeV, the importance of multiple pre-equilibrium emission can be seen clearly. All calculated results have been compared with experimental data. The obtained results have been discussed and compared with the available experimental data and found agreement with each other.     

Optimal control of parallel queues with impatient customers

We consider a queueing system with a number of identical exponential servers. Each server has its own queue with unlimited capacity. The service discipline in each queue is first-come-first-served (FCFS). Customers arrive according to a state-dependent Poisson process with an arrival rate which is a non-increasing function of the number of customers in the system. Upon arrival, a customer must join a server’s queue according to a stationary state-dependent policy, where the state is taken to be the number of customers in servers’ queues. No jockeying among queues is allowed. Each arriving customer is limited to a generally distributed patience time after which it must depart the system and is considered lost. Two models of customer behavior are considered: deadlines until the beginning of service and deadlines until the end of service. We seek an optimal policy to assign an arriving customer to a server’s queue. We show that, when the distribution of customer impatience satisfies certain property, the policy of joining shortest queue (SQ) stochastically minimizes the number of lost customers during any finite interval in the long run. This property is shown to always hold for the case of deterministic customer impatience.     

Novel fuzzy test patterns and their application in the measurement of geometric characteristics of displays

One of the final steps in a display production line is the image alignment that includes the visual adjustment of the geometric parameters and the color of the image. Measurement of geometric characteristics using machine vision is a necessary function in the automatic alignment of displays’ image in the factory. A critical part in the measurement of the geometric attributes is to precisely locate a test pattern position on the display screen. In this paper we introduce novel patterns as fuzzy test patterns and present a novel algorithm to precisely locate the fuzzy test pattern in captured images of the display screen. We experimentally show that the application of the proposed fuzzy test pattern and its associated locating algorithm increases the precision and robustness of the geometric measurements of a display like a TV display. The use of this new measurement method in an auto-alignment system increases the adjustment accuracy, improves the reliability of the alignment system, and improves the quality of images on the display of the adjusted display sets.     

An enhancement to the IEEE 802.11e EDCA providing QoS guarantees

One of the challenges that must be overcome to realize the practical benefits of ad hoc networks is quality of service (QoS). However, the IEEE 802.11 standard, which undeniably is the most widespread wireless technology of choice for WLANs and ad hoc networks, does not address this issue. In order to support applications with QoS requirements, the upcoming IEEE 802.11e standard enhances the original IEEE 802.11 MAC protocol by introducing a new coordination function which has both contention-based and contention-free medium access methods. In this paper, we consider the contention-based medium access method, the EDCA, and propose an extension to it such that it can be used to provide QoS guarantees in WLANs operating in ad hoc mode. Our solution is fully distributed, uses admission control to regulate the usage of resources and gives stations with high-priority traffic streams an opportunity to reserve time for collision-free access to the medium.     

Acquisition of high-precision images for non-contact atomic force microscopy

The atomic force microscope (AFM) system has evolved into a useful tool for direct measurements of intermolecular forces with atomic-resolution characterization that can be employed in a broad spectrum of applications. The distance between cantilever tip and sample surface in non-contact AFM is a time-varying parameter even for a fixed sample height, and typically difficult to identify. A remedy to this problem is to directly identify the sample height in order to generate high-precision atomic-resolution images. For this, the microcantilever (which forms the basis for the operation of AFM) is modeled as a single mode approximation and the interaction between the sample and cantilever is derived from a van der Waals potential. Since in most practical applications only the microcantilever deflection is accessible, we will use merely this measurement to identify the sample height. In most non-contact AFMs, cantilevers with high-quality factors are employed essentially for acquiring high-resolution images. However, due to high-quality factor, the settling time is relatively large and the required time to achieve a periodic motion is long. As a result, identification methods based on amplitude and phase measurements cannot be efficiently utilized. The proposed method overcomes this shortfall by using a small fraction of the transient motion for parameter identification, so the scanning speed can be increased significantly. Furthermore, for acquiring atomic-scale images of atomically flat samples, the need for feedback loop to achieve setpoint amplitude is basically eliminated. On the other hand, for acquiring atomic-scale images of highly uneven samples, a simple PI controller is designed to track the desired constant sample height. Simulation results are provided to demonstrate the feasibility of the approach for both sample height identification and tracking the desired sample height.     

Effect of Fiber-Reinforced Polymer Wraps on Corrosion Activity and Concrete Cracking in Chloride-Contaminated Concrete Cylinders

This paper presents the results of an experimental study designed to investigate the effect of fiber-reinforced polymer (FRP) wraps on corrosion activity and concrete cracking in chloride-contaminated concrete cylinders. Thirty-five concrete cylinders, each having 102?mm diameter and 204?mm height, concentrically reinforced with one steel reinforcing bar, were subjected to accelerated corrosion exposure for 80?days. Test parameters included level of applied potential, presence of FRP wraps, and bar diameter. The corresponding current and concrete expansion were continuously monitored throughout the corrosion exposure. At the end of the test, the steel bars were extracted, cleaned of rust, and weighed to determine the actual steel mass loss. The results showed that, for the same applied fixed potential, FRP wraps effectively reduced the corresponding current, the concrete expansion, and the steel mass loss. For the same applied potential, the current density increased as the bar diameter decreased. For the same corrosion depth, the circumferential expansion of the cylinder caused by corrosion decreased as the concrete cover-to-bar diameter ratio (c/d) increased.     

Mass-transport processes at the steel-enamel interface

Mass-transport processes at the enamel-steel interface were investigated by studying the rheological properties of the enamel and the microstructure of the enamel-steel interface. The thermophysical properties, e.g., the viscosity and spreading behavior of enamel were measured using the rotating bob and the sessile drop techniques, respectively. The results show that the viscosity of the enamel decreases sharply as the FeO concentration increases from 0 to 25 wt pct, while the contact angle changes with the increasing thickness of the NiO precoat. Microstructural characterization also revealed evidence for the presence of an interfacial gradient force (more specifically referred to as the Marangoni convection) confined within the 0- to 80-μm thickness at the enamel-steel interface. This force is responsible for a convective flow, which determines the formation of flow striae at the interface. The striae act as a sink for evolved gases and provide transport away from the enamel-steel interface. In addition, experimental simulation of Marangoni convection (interfacial-gradient force) was carried out by selectively doping the steel surface with excess Fe₂O₃ powder. The presence of convection flow was confirmed by analyzing the pattern of iron oxide particles dispersed across the surrounding enamel layers. Based on the microstructural characterization and the thermophysical data, we propose a mechanism for mass transport at the glass-steel interface.