The well-founded semantics of logic programs is not only an important semantics but also serves as an essential tool for program simplification in answer set computations. Recently, it has been shown that for normal and disjunctive programs, the well-founded models can be computed by unit propagation on program completion and loop formulas of loops with no external support. An attractive featur...

This article introduces a multi-posture locomotor training device (MPLTD)with a closed-loop control scheme based on joint-angle feedback, which is able to overcome varies difficulties resulting from mechanical vibration and the weight of trainer to achieve higher accuracy trajectory. By introducing the forcefield control scheme that used in the closed-loop control, the device can obtain the act...

This paper proposes a micro-code based Programmable Memory BIST (PMBIST) architecture that can support various kinds of test algorithms. The proposed Non-linear PMBIST (NPMBIST) guarantees high flexibility and high fault coverage using not onlyMarch algorithms but also non-linear algorithms such as Walking and Galloping. This NPMBIST has an optimized hardware overhead, since algorithms can be i...

In this article, the issue of attitude control and active vibration suppression of a nonlinear flexible spacecraft is assessed through piezoelectric patches as actuator and sensors. Two controller loops are applied: the inner loop, to make the panel vibration damped through piezoelectric patches; and the outer loop, to perform spacecraft maneuver using the reaction wheel acting on the hub. An o...

Objective: Computerized provider/physician order entry (CPOE) with clinical decision support (CDS) is designed to improve patient safety. However, a number of unintended consequences which include duplicate ordering have been reported. The objective of this time-series study was to characterize duplicate orders and devise strategies to minimize them. Methods: Time series design with systematic ...

Objective: Computerized provider/physician order entry (CPOE) with clinical decision support (CDS) is designed to improve patient safety. However, a number of unintended consequences which include duplicate ordering have been reported. The objective of this time-series study was to characterize duplicate orders and devise strategies to minimize them. Methods: Time series design with systematic ...

Grid frequency support, e.g., by the virtual inertia control (VIC), of photovoltaic (PV) systems, is more demanded than ever before. To achieve full-range support (i.e., to tackle under- or overfrequency issues), power reserve necessary for PV systems. Accordingly, a (PRC) method based on maximum point tracking (MPPT) adopted in this article, referring as MPPT-PRC. It measures real-time availab...

abstract: gridlock is an extreme traffic state where vehicle cannot move at all. this research studies the development of gridlock by theoretical and numerical analysis. it is shown that the development of gridlock can be divided into several stages. the core of the development is the evolution of congestion loop. a congestion loop is comprised of a number of consecutively connected spillover l...