In this paper, hysteretic behavior modeling, system identification and control of a mechanism that is actuated by shape memory alloy (SMA) wires are presented. The mechanism consists of two airfoil plates and the rotation angle between these plates can be changed by SMA wire actuators. This mechanism is used to identify the unknown parameters of a hysteresis model. Prandtl–Ishlinskii method is ...

abstract background: the loop colostomy is one of the most popular techniques used as a protective maneuver for a distal anastomosis and/or temporary fecal diversion. we are introducing the use of a full thickness skin bridge under the large bowel instead of a glass rod which alleviates problems such as protrusion of the large bowel, retraction of the bowel into the abdomen after removing the r...

In this paper, a system based on the generation of a Hidden Markov Model from the past GPS log and current location is presented to predict a user’s destination when beginning a new trip. This approach drastically reduces the number of points supplied by the GPS device and it permits a “support-map” to be generated in which the main characteristics of the trips for each user are taken into acco...

closed-loop supply chain network (clscn) design aims at incorporating environmental considerations into the traditional supply chain design by including recycling, disassembly and reuse activities. in a clscn, the environmental considerations can also be facilitated by resorting to environmentally friendly materials and enhancing product reuse through the design of an appropriate product recove...

In this work we investigate aperiodicities that occur in the sustained portion of a sound due to phase synchronous versus unsynchronous deviations of the partials. By using an additive sinusoidal model, correlation statistics and phase coupling eeects are considered for various instruments. The phase coupling is shown to be an important characteristic of musical instrument. These analyses are c...

the aim of this paper is to minimize output phase noise for the pure signal synthesis in the frequency synthesizers. for this purpose, first, an exact mathematical model of phase locked loop (pll) based frequency synthesizer is described and analyzed. then, an exact closed-form formula in terms of synthesizer bandwidth and total output phase noise is extracted. based on this formula, the phase ...

Data cleansing is growing in importance among both public and private organisations, mainly due to the relevant amount of data exploited for supporting decision making processes. This paper is aimed to show how model-based verification algorithms (namely, model checking) can contribute in addressing data cleansing issues, furthermore a new benchmark problem focusing on the labour market dynamic...