A popular clustering algorithm for biological networks which was proposed by Hartuv and Shamir [5] identifies nonoverlapping highly connected components. We extend the approach taken by this algorithm by introducing the combinatorial optimization problem HIGHLY CONNECTED DELETION, which asks for removing as few edges as possible from a graph such that the resulting graph consists of highly conn…
The rapid development of gene ontology (GO) and huge amount of biomedical data annotated by GO terms necessitate computation of semantic similarity of GO terms and, in turn, measurement of functional similarity of genes based on their annotations. In this paper we propose a novel and efficient method to measure the semantic similarity of GO terms. The proposed method addresses the limitations i…
A new graph based constrained semi-supervised learning (G-CSSL) framework is proposed. Pairwise constraints (PC) are used to specify the types (intra- or inter-class) of points with labels. Since the number of labeled data is typically small in SSL setting, the core idea of this framework is to create and enrich the PC sets using the propagated soft labels from both labeled and unlabeled data b…
In this paper, various new models of double-regulated Kaplan turbines are proposed, whose parameters are determined on the basis of field measurement data acquired during normal operating conditions. The model being identified is an extension of the nonlinear single-regulated turbine model obtained through an approximation function that defines the relationship between the wicket gate opening …
Mobile cloud computing (MCC) improves the computational capabilities of resource-constrained mobile devices. On the other hand, the mobile users demand a certain level of quality-of-service (QoS) provisioning while they use services from the cloud, even if the interfacing gateway changes due to the mobility of the users. In this paper, we identify, formulate, and address the problem of QoS-guar…
We address the problem of providing users with the ability to assess the integrity of join results produced by external computational providers and computed over externally stored databases. Our approach relies on different mutually supporting techniques offering strong integrity protection guarantees at a limited cost. The application of the approach is completely transparent to the computatio…
Power efficiency is one of the main issues that will drive the design of data centers, especially of those devoted to provide Cloud computing services. In virtualized data centers, consolidation of Virtual Machines (VMs) on the minimum number of physical servers has been recognized as a very efficient approach, as this allows unloaded servers to be switched off or used to accommodate more load,…
Ananalysis for net power characterization of a proton exchange membrane fuel cell (PEMFC) system is developed with Ballard 1.2-kW Nexa power module. A net power control (NPC)strategy based on the linear matrix inequality (LMI) approach is proposed to achieve optimal oxygen excess ratio (OER). The H∞ suboptimal control problem is solved by LMI and the simulations are carried out under differe…
Permanent magnet synchronous machines (PMSM)have been widely used in a variety of applications. A strong electromagnetic force exists between the rotor magnets and the stator core in a PMSM. The force directly causes mechanical deformation and vibration of the stator. In small PM motors, mechanical vibration comes mainly from the electromagnetic force of the stator. This paper gives the general…
Reviewers performing systematic literature reviews require understanding of the review process and of the knowledge domain. This paper presents an iterative approach for conducting systematic literature reviews that addresses the problems faced by reviewers who are novices in one or both levels of understanding. This approach is derived from traditional systematic literature reviews and based …
Aluminum-doped zinc oxide (AZO) thin films have been used in low cost transparent conductive oxide (TCO) applications. For flexible electronics, the devices are subjected to cyclic bending during manufacturing and usage, which may lead to both electrical and optical degradation of TCO thin films. This paper was designed to investigate the effect of the strained growth and normal growth methods …
In this paper, a new diagnostic mean is introduced for accurate, reliable, and effective diagnosis of faults in deltaconnected induction motors. This mean is the zero-sequence stator current spectrum. The study is carried out with analytical calculations and finite-element method simulations. Most common faults are examined for a 4-kW cage induction motor. The analysis will reveal that the prop…
We present a novel, efficient, and flexible scheme to generate a high-quality mesh that approximates the outer boundary of a swept volume. Our approach comes with two guarantees. First, the approximation is conservative, i.e., the swept volume is enclosed by the generated mesh. Second, the one-sided Hausdorff distance of the generated mesh to the swept volume is upper bounded by a user defined …
Synchronizing sequences have been proposed in the late 1960s to solve testing problems on systems modeled by finitestate machines. Such sequences lead a system, seen as a black box, from an unknown current state to a known final one. This paper presents a first investigation of the computation of synchronizing sequences for systems modeled by synchronized Petri nets. In the first part of the p…
This study proposes an online monitoring technique for nonlinear multiple-mode problems in industrial processes. The contributions of the proposed technique are summarized as follows: 1) Lazy learning (LL), a new adaptive local modeling method, is introduced for multiple-mode process monitoring. In this method, multiple modes are separated and accurately modeled online, and the between-mode dy…
Prediction of acoustic noise distribution generated by electric machines has become an integral part of design and control in noise sensitive applications. This paper presents a fast and precise acoustic noise imaging technique for switched reluctance machines (SRMs). This method is based on distribution of radial vibration in the stator frame of the SRM. Radial vibration of the stator frame, …
The effect of climatic conditions and ionic contamination on the reliability of printed circuit board assembly has been investigated in terms of leakage current (LC) and electrochemical migration susceptibility. The change in LC as a function of relative humidity (RH) and temperature was measured using single components (size 0805) and surface insulation resistance comb patterns precontaminated…
To endow game characters with more realistic affective behavior, the notion of prospect-based emotions plays an important role: recent literature suggests that emotional states of such agents should not only be triggered by present stimuli, but also by anticipation on future stimuli, and evaluation of past stimuli in the context of these anticipations. Within the current study, an extension of …
Brushless doubly fed machine (BDFM) shows promising results for wind power and adjustable-speed drive applications. Due to poor rotor magnetic coupling and relatively high value of slip, core loss is an important factor which can affect the steadystate and dynamic performance of BDFM. Specifically, core loss plays a major role when evaluating the efficiency of the machine. By now, there is no …
The performance of batteries as uninterruptable power sources in any industry cannot be taken for granted. The failures in battery systems of safety-related electric systems can lead to performance deterioration, costly replacement, and, more importantly, serious hazards. The possible failures in battery systems are currently determined through periodic maintenance activities. However, it is de…
The effect of redundancy on the aging of an efficient maximum distance separable (MDS) parity-protected distributed storage system that consists of MDS-parity protected array of storage units is explored. In light of the experimental evidences and survey data, this paper develops generalized expressions for the reliability of array storage systems based on more realistic time to failure distri…
We investigate the dielectric breakdown of aluminum oxide (Al2O3) interfacial layers compared with SiO2 used in the high-k gate dielectric stacks. We predict the maximum operating voltage for a ten-year lifetime, using extracted values of Weibull β, voltage power law exponent (n), and breakdown voltage. We show that the Al2O3 interface layer reliability is sufficient for it to be considered a…
In numerous cellular applications, cells are transported to specific positions or extracted from complex cell solutions. Therefore, an efficient cell transportation path planner for these applications is important for avoiding collisions with other cells or obstacles. In this paper, a path planning approach to transporting cells using a robot-aided optical manipulation system is presented. Opt…
Multivariate process control in Distributed Sensor Networks (DSNs) is an important and challenging topic. Although a fully deployed sensor network will minimize information loss, the associated sensing cost can be overwhelming. Many efforts have been made to investigate the optimal sensor allocation strategy for different process control applications; however, most of them assume that the sens…
The execution behavior of a system or a product can often be specified by a set of operations (sometimes called tasks, actions or activities). The process to specify these operations seems to be a real challenge in various situations, for example when designing automation systems or keeping track of the work at an emergency department. To be flexible during design and development, is about cop…
This paper is devoted to modeling and analysis ofmultiproduct manufacturing systems with homogeneous exponential machines and finite buffers. In such systems, each machine processes multiple product types with different speeds, but the processing time for each product type is the same on all machines. Buffers are finite, shared for all products. Analytical methods to evaluate the system perfor…
A novel parameters estimation strategy of interior permanent magnet synchronous machine (IPMSM) for accurate torque control is proposed and investigated in this paper. The difference of q-axis inductance and d-axis inductance is estimated by a PI regulator using the deviation between actual output power and reference power. The estimated difference of dq inductance can be used to achieve maxim…
This paper proposes an approach to improve surface-type classification of images containing inconsistently illuminated surfaces. When a mobile inspection robot is visually inspecting surface-types in a dark environment and a directional light source is used to illuminate the surfaces, the images captured may exhibit illumination variance that can be caused by the orientation and distance of the…
Competition and demand for consistent and high-quality product have spurred the development of quality prediction methods for industrial manufacturing processes. Multiplicity of phases is, in general, common nature of many batch manufacturing processes. Considering that different phases may have different effects on qualities, one of the key issues is how to partition the whole batch process …
In this paper, two adaptive observer-based strategies are proposed for control of nonlinear processes using input/output (I/O) data. In the two strategies, pseudo-partial derivative (PPD) parameter of compact form dynamic linearization and PPD vector of partial form dynamic linearization are all estimated by the adaptive observer, which are used to dynamically linearize a nonlinear system. The …
This paper presents a novel real-time powerdevice temperature estimation method that monitors the power MOSFET’s junction temperature shift arising from thermal aging effects and incorporates the updated electrothermal models of power modules into digital controllers. Currently, the real-time estimator is emerging as an important tool for active control of device junction temperature as well…
The aim of this paper is to reconstruct the least/greatest sequence of unobservable transitions in timed Petri nets based on the online observation of firing occurrences of some transitions on a sliding horizon. The Petri net, which can be unbounded and can contain self-loops and circuits, is described under an algebraic form composed of which expresses the possible time sequence and the funda…
Compared to traditional distributed computing like grid system, it is non-trivial to optimize cloud task’s execution performance due to its more constraints like user payment budget and divisible resource demand. In this paper, we analyze in-depth our proposed optimal algorithm minimizing task execution length with divisible resources and payment budget: 1) We derive the upper bound of cloud …
Hidden Markov Models (HMMs) are powerful tools for multiple sequence alignment (MSA), which is known to be an NPcomplete and important problem in bioinformatics. Learning HMMs is a difficult task, and many meta-heuristic methods, including particle swarm optimization (PSO), have been used for that. In this paper, a new variant of PSO, called the random drift particle swarm optimization (RDPSO) …
DNA microarray is a powerful technology that can simultaneously determine the levels of thousands of transcripts (generated, for example, from genes/miRNAs) across different experimental conditions or tissue samples. The motto of differential expression analysis is to identify the transcripts whose expressions change significantly across different types of samples or experimental conditions. A …
Gene Ontology (GO) consists of a controlled vocabulary of terms, annotating a gene or gene product, structured in a directed acyclic graph. In the graph, semantic relations connect the terms, that represent the knowledge of functional description and cellular component information of gene products. GO similarity gives us a numerical representation of biological relationship between a gene set, …
In cloud computing, a provider leases its computing resources in the form of virtual machines to users, and a price is charged for the period they are used. Though static pricing is the dominant pricing strategy in today’s market, intuitively price ought to be dynamically updated to improve revenue. The fundamental challenge is to design an optimal dynamic pricing policy, with the presence of…
Correlation factors between different ESD pulse types for different back-end-of-line (BEOL) metal-line topologies have been studied to support system-level on-chip ESD design. The component level (HMM, HBM, and TLP on a wafer) and system-level (IEC gun contact on package) ESD stresses were correlated followed by extraction of correlation factors between the IEC/HMM and TLP, as well as the HBM a…
Variability in resistive switching memory (RRAM) devices is studied by applying an AC measurement setup capable of efficiently collecting read current data in low and high resistance states (LRS and HRS, respectively) in each consecutive pulse SET/RESET cycle. It is found that HRS and LRS read current values follow the lognormal and normal distributions, respectively. Endurance test demonstrat…
The subject of this paper is high-speed induction motor (IM) with drag-cup rotor with low inertia, designed for use in high-speed automotive applications such as kinetic energy recovery system (KERS). The aim of this paper is to present the optimization procedure of the air-gap length and the rotor thickness of this kind of motor in order to achieve the highest efficiency in the speed and torqu…
Analytical models play an important role in the design of electromagnetic devices by providing computationally efficient solutions. In this paper, by combining magnetic equivalent circuit approaches and Faraday’s and Ampere’s laws, a model for radial-flux eddy-current couplers is developed, which can easily handle complex geometries as well as account for iron saturation, all material prope…
In this paper, we assess the performance of a ring oscillator and a DRAM cell when they are implemented with different technologies (planar CMOS, FinFETs, and III–V MOSFETs), and subjected to different reliability scenarios (variability and soft errors). FinFET-based circuits show the highest robustness against variability and soft error environments. Index Terms—DRAM, integrated circuit r…
This paper proposes a robust adaptive voltage control of three-phase voltage source inverter for a distributed generation system in a standalone operation. First, the state-space model of the load-side inverter, which considers the uncertainties of system parameters, is established. The proposed adaptive voltage control technique combines an adaption control term and a state feedback control te…
The effect of conductor spacing and applied voltage on the insulation performance of printed circuit board (PCB) has been investigated under temperature–humidity–bias (THB) conditions in this paper. Based on the electrochemical migration failure mechanism, this paper proposes an accelerated statistical model, which includes a life–stress relationship model and a life distribution model. …
A novel constrained layout placement approach is proposed to enhance the pulse quenching effect in combinational circuits. This constrained algorithm can enlarge the number of quenching cells and shrink the distance between these cells. Simulation results illustrate that the soft error vulnerabilities are effectively reduced by adopting this novel constrained layout placement algorithm with no …
This paper quantitatively reports about potential energy savings on robotic assembly lines for the automotive industry. At first, a detailed system model is described, which improves previously published results by explicitly considering both manipulator and electrical drive dynamics. The model closely captures experimental data in terms of actuation torques and servodrive voltages, which are …
In the framework of automated manufacturing systems (AMS), Petri nets are widely used to model, analyze, and control them. Resolving deadlocks is of paramount significance because their emergence may likely zero a systems throughput, if not necessarily. Supervisory control technique is the most widely adopted method to resolve them. A control policy can be converted into satisfying a set of in…
In this paper, we focus on labeled Petri nets with silent transitions that may either correspond to fault events or to regular unobservable events. We address the problem of deriving a procedure to determine if a given net system is diagnosable, i.e., the occurrence of a fault event may be detected for sure after a finite observation. The proposed procedure is based on our previous results on …
This paper introduces a new electromechanical energy conversion concept for use in wind-based power generation systems. Modern wind turbines use frequency converters to meet the speed control requirement. But voltage source-based frequency converters typically have limited overload capability. In addition, they fully or partially decouple the rotating masses of wind energy converter systems, th…
A liquid-cooled eddy current retarder (ECR) with a dual salient poles design is proposed in this paper. Finite element models were developed to perform transient magnetic analysis and steady-state conjugate heat transfer analysis. The braking torque, eddy current field and thermal field of the retarder were each predicted. The retarder was subjected to two sets of tests on a test bench, to obta…