A 3.3-V single power supply 16-Mb nonvolatile virtual DRAM using aNAND flash memory technology

A 3.3-V 16-Mb nonvolatile memory having operation virtually identical to DRAM with package pin compatibility has been developed. Read and write operations are fully DRAM compatible except for a longer RAS precharge time after write. Fast random access time of 63 ns with the NAND flash memory cell is achieved by using a hierarchical row decoder scheme and a unique folded bit-line architecture which also allows bit-by-bit program verify and inhibit operation. Fast page mode with a column address access time of 21 ns is achieved by sensing and latching 4 k cells simultaneously. To allow byte alterability, nonvolatile restore operation with self-contained erase is developed. Self-contained erase is word-line based, and increased cell disturb due to the word-line based erase is relaxed by adding a boosted bit-line scheme to a conventional self-boosting technique. The device is fabricated in a 0.5-μm triple-well, p-substrate CMOS process using two-metal and three-poly interconnect layers. A resulting die size is 86.6 mm², and the effective cell size including the overhead of string select transistors is 2.0 μm²     

Expert system approach for reactor vessel integrity

This paper describes the development strategy of a prototype expert system, called RViES, for the reactor vessel integrity. The main objectives of the system are to assist engineers to perform fatigue and fracture mechanics analyses of reactor vessels quickly and accurately. The system consists of three parts; user interface, knowledge base and inference engine. Various rules recommended in codes and standards are stored in the knowledge base. Several case studies were performed to check the usefulness of the system.     

Perioperative specific management of blood volume loss in craniosynostosis surgery

Accurate assessment and replacement of blood loss and fluid-electrolyte deficit during craniosynostosis repair is difficult owing to patient size and the diversity of surgical technique. Forty-three patients undergoing primary craniosynostosis repair over a 10-year period were studied retrospectively to determine blood loss and fluid deficit and to assess blood transfusion practices during both intraoperative and postoperative periods. Blood loss was calculated on the basis of estimated red cell mass (ERCM) and fluid-electrolyte imbalance was investigated with blood samplings. Blood transfusion was considered appropriate if the postoperative or posttransfusion ERCM was within 12% of the preoperative value. Estimated fluid requirement (EFR) was used in 4 ml kg(-1) h(-1) except for neonates. Intraoperatively, 80% of all patients were appropriately managed with respect to blood transfusion and EFR. Postoperatively only 20% of the patients receiving transfusions were transfused appropriately. In 23.3% of these patients (10/43) unexpected respiratory distress developed immediately after their recovery from the anesthesia. With the measurement of estimated blood volume and allowable blood loss, appropriate transfusion could be achieved for the successful treatment of the primary craniosynostosis.     

Meningocerebral lesions in children with iatrogenic AIDS

This study is focused on structural modifications of leptomeninges and cerebral matter in children deceased because of iatrogenic AIDS. Although we do not evidence the specific lesions of AIDS, we have noticed edema, hyperemia, hematic extravasation, microlesions of the small vessel walls, perivascular infiltrations with lymphocytes, macrophages and even plasmocytes, moderate tigrolysis, mild demyelination, gliosis and sidero-calcic deposits. We do not consider these lesions as specific to HIV-infected patients.     

Service-oriented smart home applications: composition, code generation, deployment, and execution

A smart home usually has a variety of devices or home appliance, instead of designing software for a specific home, this paper proposes a service-oriented framework with a set of ontology systems to support service and device publishing, discovery of devices and their services, composition of control software using existing control services that wrap devices, deployment, and execution of the composed service in an computing environment, monitoring the execution, and recovery from device failure. The ontology systems specify semantic information about devices, services, and workflows used in various smart home, and users can compose and recompose services for their specific needs. New devices, workflows, and services can be added into ontology. Most of the steps in this process can be automated including code generation. For example, service composition will be carried out in three steps: abstract workflow design, function construction, and device discovery, and different codes can be generated for different computing platforms such as Java and Open Services Gateway initiative environments. In this way, a variety of smart home can be constructed rapidly using the framework by discovery and composition using existing services and workflows. This paper illustrates this framework using a media control example to illustrate the ontology, discovery, composition, deployment, execution, monitoring, and recovery.     

Generating phenotypical erroneous human behavior to evaluate human–automation interaction using model checking

Breakdowns in complex systems often occur as a result of system elements interacting in unanticipated ways. In systems with human operators, human–automation interaction associated with both normative and erroneous human behavior can contribute to such failures. Model-driven design and analysis techniques provide engineers with formal methods tools and techniques capable of evaluating how human behavior can contribute to system failures. This paper presents a novel method for automatically generating task analytic models encompassing both normative and erroneous human behavior from normative task models. The generated erroneous behavior is capable of replicating Hollnagel's zero-order phenotypes of erroneous action for omissions, jumps, repetitions, and intrusions. Multiple phenotypical acts can occur in sequence, thus allowing for the generation of higher order phenotypes. The task behavior model pattern capable of generating erroneous behavior can be integrated into a formal system model so that system safety properties can be formally verified with a model checker. This allows analysts to prove that a human–automation interactive system (as represented by the model) will or will not satisfy safety properties with both normative and generated erroneous human behavior. We present benchmarks related to the size of the statespace and verification time of models to show how the erroneous human behavior generation process scales. We demonstrate the method with a case study: the operation of a radiation therapy machine. A potential problem resulting from a generated erroneous human action is discovered. A design intervention is presented which prevents this problem from occurring. We discuss how our method could be used to evaluate larger applications and recommend future paths of development.     

Exploring brain connectivity with two-dimensional neural maps

We introduce two-dimensional neural maps for exploring connectivity in the brain. For this, we create standard streamtube models from diffusion-weighted brain imaging data sets along with neural paths hierarchically projected into the plane. These planar neural maps combine desirable properties of low-dimensional representations, such as visual clarity and ease of tract-of-interest selection, with the anatomical familiarity of 3D brain models and planar sectional views. We distribute this type of visualization both in a traditional stand-alone interactive application and as a novel, lightweight web-accessible system. The web interface integrates precomputed neural-path representations into a geographical digital-maps framework with associated labels, metrics, statistics, and linkouts. Anecdotal and quantitative comparisons of the present method with a recently proposed 2D point representation suggest that our representation is more intuitive and easier to use and learn. Similarly, users are faster and more accurate in selecting bundles using the 2D path representation than the 2D point representation. Finally, expert feedback on the web interface suggests that it can be useful for collaboration as well as quick exploration of data.     

Power- and time-aware buffer cache management for real-time embedded databases

Due to the explosive increases of data from both the cyber and physical worlds, the demand for database support in embedded systems is increasing. Databases for embedded systems, or embedded databases, are expected to provide timely in situ data services under various resource constraints, such as limited energy. However, traditional buffer cache management schemes, in which the primary goal is to minimize the number of I/O operations, is problematic since they do not consider the constraints of modern embedded devices such as limited energy and distinctive underlying storage. In particular, due to asymmetric read/write characteristics of flash memory-based storage of modern embedded devices, minimum buffer cache misses neither coincide with minimum power consumption nor minimum I/O deadline misses. In this paper we propose a novel power- and time-aware buffer cache management scheme for embedded databases. A novel multi-dimensional feedback control architecture is proposed and the characteristics of underlying storage of modern embedded devices is exploited for the simultaneous support of the desired I/O power consumption and the I/O deadline miss ratio. We have shown through an extensive simulation that our approach satisfies both power and timing requirements in I/O operations under a variety of workloads while consuming significantly smaller buffer space than baseline approaches.