On the generation of test patterns for multiple faults

This article presents a new method to generate test patterns for multiple stuck-at faults in combinational circuits. We assume the presence of all multiple faults of all multiplicities and we do not resort to their explicit enumeration: the target fault is a single component of possibly several multiple faults. New line and gate models are introduced to handle multiple fault effect propagation through the circuits. The method tries to generate test conditions that propagate the effect of the target fault to primary outputs. When these conditions are fulfilled, the input vector is a test for the target fault and it is guaranteed that all multiple faults of all multiplicities containing the target fault as component are also detected. The method uses similar techniques to those in FAN and SOCRATES algorithms to guide the search part of the algorithm, and includes several new heuristics to enhance the performance and fault detection capability. Experiments performed on the ISCAS'85 benchmark circuits show that test sets for multiple faults can be generated with high fault coverage and a reasonable increase in cost over test generation for single stuck-at faults.     

Uplink throughput maximization with combined sum and individual power constraints

Optimal power allocation in cellular uplink systems is used to maximize the average throughput under individual and sum power constraints. In the uplink, the transmit power of the mobiles is limited leading to individual power constraints. Additionally, in order to reduce the inter-cell interference, the sum power is constraint. First, we approximate the individual and sum power constraints by a combined constraint on a suitable l-norm of the power allocation vector. Then, we derive the optimal power allocation for individual and sum power constraints as well as for the combined constraint for the three CSI scenarios with uninformed transmitter, long-term feedback, and perfect CSI. The results and illustrations show that under combined sum and individual power constraints completely different power allocation strategies are optimal than with pure sum or pure individual power constraints     

Testing of self‐similarity and helical symmetry in vortex generator flow simulations

Vortex generators (VGs) are used increasingly by the wind turbine industry as flow control devices to improve rotor blade performance. According to experimental observations, the vortices generated by VGs have previously been observed to be self‐similar for both the axial (u_z) and azimuthal (u_θ) velocity components. Furthermore, the measured vortices have been observed to obey the criteria for helical symmetry. These are powerful results, as it reduces the highly complex 3‐D flow to merely four parameters and therefore significantly facilitates the modeling of this type of flow, which in a larger perspective can assist in parametric studies to increase the total power output of wind turbines. In this study, corresponding computer simulations using Reynolds‐averaged Navier–Stokes equations have been carried out and compared with the experimental observations. The main objective is to investigate how well the simulations can reproduce these aspects of the physics of the flow, i.e., investigate if the same analytical model can be applied and therefore significantly facilitate the modeling of this type of flow, which in a larger perspective can assist in parametric studies to increase the total power output of wind turbines. This is especially interesting since these types of flows are notoriously difficult for the turbulence models to predict correctly. Using this model, parametric studies can be significantly reduced, and moreover, reliable simulations can substantially reduce the costs of the parametric studies themselves. Copyright © 2015 John Wiley & Sons, Ltd.     

Bioinspired pressure actuated adhesive system

We developed a dry synthetic adhesive system inspired by gecko feet adhesion that can switch reversibly from adhesion to non-adhesion with applied pressure as external stimulus. Micropatterned polydimethylsiloxane (PDMS) surfaces with pillars of 30 μm length and 10 μm diameter were fabricated using photolithography and moulding. Adhesion properties were determined with a flat probe as a function of preload. For low and moderate applied compressive preloads, measured adhesion was 7.5 times greater than on flat controls whereas for high applied preloads adhesion dropped to very low values. In situ imaging shows that the increased preload caused the pillars to deform by bending and/or buckling and to lose their adhesive contact. The elasticity of PDMS aids the pillar recovery to the upright position upon removal of preload enabling repeatability of the switch.     

Electronic States and Light Absorption in a Cylindrical Quantum Dot Having Thin Falciform Cross Section

Energy level structure and direct light absorption in a cylindrical quantum dot (CQD), having thin falciform cross section, are studied within the framework of the adiabatic approximation. An analytical expression for the energy spectrum of the particle is obtained. For the one-dimensional “fast” subsystem, an oscillatory dependence of the wave function amplitude on the cross section parameters is revealed. For treatment of the “slow” subsystem, parabolic and modified Pöschl-Teller effective potentials are used. It is shown that the low-energy levels of the spectrum are equidistant. In the strong quantization regime, the absorption coefficient and edge frequencies are calculated. Selection rules for the corresponding quantum transitions are obtained.     

PANCA: Panel concordance analysis

This paper proposes panel concordance analysis (PANCA) as a tool for panel leaders to identify disconsensus between the panelists on the sensory attributes used. PANCA summarizes the sensory data ([products × panelists × replicates] × attributes) by a low-rank approximation which is penalized for disconsensus (disagreement) between the panelists. When all the panelists agree on the sensory attributes used, the disconsensus penalty will have a negligible effect. However, if the assumption of good consensus is not supported by the data, considerable residual errors will arise. Consequently, PANCA can be used to identify difficult sensory attributes or even poor/deviating panelists which requires further training or could call for an alternative data processing strategy. It is also demonstrated that PANCA can be used to apply a multivariate ANOVA decomposition like in ASCA (ANOVA simultaneous component analysis). Theory and applications are explained by means of a real-life example from industrial sensory practice.     

Annotation of multiword expressions in the Prague dependency treebank

We describe annotation of multiword expressions (MWEs) in the Prague dependency treebank, using several automatic pre-annotation steps. We use subtrees of the tectogrammatical tree structures of the Prague dependency treebank to store representations of the MWEs in the dictionary and pre-annotate following occurrences automatically. We also show a way to measure reliability of this type of annotation.     

Flexible active-matrix displays and shift registers based on solution-processed organic transistors

At present, flexible displays are an important focus of research. Further development of large, flexible displays requires a cost-effective manufacturing process for the active-matrix backplane, which contains one transistor per pixel. One way to further reduce costs is to integrate (part of) the display drive circuitry, such as row shift registers, directly on the display substrate. Here, we demonstrate flexible active-matrix monochrome electrophoretic displays based on solution-processed organic transistors on 25-microm-thick polyimide substrates. The displays can be bent to a radius of 1 cm without significant loss in performance. Using the same process flow we prepared row shift registers. With 1,888 transistors, these are the largest organic integrated circuits reported to date. More importantly, the operating frequency of 5 kHz is sufficiently high to allow integration with the display operating at video speed. This work therefore represents a major step towards 'system-on-plastic'.     

Symptoms prevalence among office employees and associations to building characteristics

A cross-sectional study was performed in eight companies, comprising 32 buildings without previously recognized indoor air problems. Engineers filled in a technical questionnaire on building characteristics, floor surface materials, ventilation, cleaning procedures, heating and cooling. A total of 3562 employees returned questionnaires on individual factors, workload, perceived physical work environment, allergy and symptoms. Frequent symptoms were feeling of fatigue or heavy-headedness, eye irritation, and dry facial skin. Women reported symptoms more frequently than men. Employees with allergy had a 1.8-2.5 times risk of reporting a high score for general, skin, or mucosal symptoms. The risk of a high symptom score increased with daily visual display unit (VDU) work time. Passive smoking and psychosocial load were also relatively strong predictors of symptoms. Weekly cleaning as compared with a frequency of cleaning two to four times a week increased the risk of symptoms. Adjusted odds ratio for a high general symptoms score from infrequent cleaning was 1.5 (95%CI 1.1-2.0). A high ventilation flow or central ventilation unit filter EU7 vs. EU8 seemed to be associated with an increased risk of general symptoms. Absence of local temperature control increased the risk of mucosal symptoms.     

Sup-t-norm and inf-residuum are a single type of relational equations

We show that the sup-t-norm and inf-residuum types of fuzzy relational equations, considered in the literature as two different types, are in fact two particular instances of a single, more general type of equations. We demonstrate that several pairs of corresponding results on the sup-t-norm and inf-residuum types of equations are simple consequences of single results regarding the more general type of equations. We also show that the new type of equations subsumes other types of equations such as equations with constraints on solutions, examples of which are fuzzy relational equations whose solutions are required to be crisp (ordinary) relations.