An explicit finite difference method for finite-time observers

In this paper we present a numerical method for estimating the current state of a nonlinear control system. We use finite differences to discretize a modified version of the finite-time observer equations in James. The discretized equations are simple and easily programmed. The convergence and accuracy of the scheme is proved, and the scheme enjoys a number of important properties: availability of rate of convergence estimates, good robustness characteristics, and the ability to handle certain types of discontinuities in the observations. The major disadvantage is that the number of grid points required increases exponentially with the number of state dimensions.     

Lorazepam-valproate interaction: studies in normal subjects and isolated perfused rat liver

Valproate (VPA) has been shown to interact with all the major antiepileptic drugs (AEDs) through two mechanisms of action: displacement from albumin binding sites and inhibition of drug metabolism. More recently, evidence showed that VPA inhibits the elimination of drugs metabolized by glucuronide conjugation. Lorazepam (LZP), which is primarily eliminated by conjugation with glucuronic acid, is administered concurrently with VPA both in treatment of epilepsy and in patients treated with VPA for psychiatric disorders. Therefore, a significant drug interaction is likely. We investigated such interaction both in in vitro isolated perfused rat liver (IPRL) and in normal subjects. LZP [2 mg, intravenous (i.v.) bolus] was administered to 8 normal volunteers before and after chronic dosing with VPA. In 6 of 8 subjects, VPA significantly decreased LZP plasma clearance by an average of 40% (p < 0.05) and increased LZP concentrations by decreasing formation clearance of the LZP glucuronide. In the IPRL studies, VPA also significantly decreased formation of LZP glucuronide (from 0.72 +/- 0.14 to 0.22 +/- 0.15 ml/h/kg, p < 0.05), indicating that IPRL is a useful tool for evaluation of the effect of VPA on drugs eliminated by glucuronide conjugation.     

A new adaptation of mapping method to study mixing of multiphase flows in mixers with complex geometries

The main objective of the present work is to modify the traditional mapping method for the simulation of distributive mixing of multiphase flows in geometries involving moving parts such as, internal mixers or twin-screw extruders without a limitation on their geometrical periodicity. The periodicity condition, limits the results of traditional mapping method to tracking mapping mesh between specific discrete time intervals or distances for that geometry is repeated, hence, result is only for fixed orientation of rotors. Imaginary domain method is introduced to track mapping mesh from one state to the next free of geometrical periodicity limitations. In this work the method is introduced and its applicability and accuracy is discussed in details. A two-dimensional (2D) simulation of mixing of two Newtonian fluids with different viscosities in an intermeshing internal mixer is used as a test case study. In this example the key issues of ability to predict mixing state in details for all orientations of rotors is presented. To reduce diffusion errors of mapping method in the boundaries of the rotors, mapping mesh refinement technique that relies upon one single reference mesh is also presented.     

Composing RESTful Services and Collaborative Workflows: A Lightweight Approach

The use of RESTful Web services has gained momentum in the development of distributed applications based on traditional Web standards such as HTTP. In particular, these services can integrate easily into various applications, such as mashups. Composing RESTful services into Web-scale workflows requires a lightweight composition language that's capable of describing both the control and data flow that constitute a workflow. The authors address these issues with Bite, a lightweight and extensible composition language that enables the creation of Web-scale workflows and uses RESTful services as its main composable entities.     

The formalization and analysis of a communications protocol

The MSMIE protocol [SBC89] allows processors in a distributed system to communicate via shared memory. It was designed to meet the reliability and efficiency needs of applications such as nuclear safety systems. We present a formal model of the MSMIE protocol expressed in the notation CCS. Desirable properties of the protocol are expressed in the modal mu-calculus, an expressive modal logic. We show that the protocol lacks an important liveness property. In actual operation, additional operating constraints are checked to avoid potential problems. We present a modified protocol and show that it possesses the liveness property even without checking operating constraints. We also show how parts of the analysis were automated with the Concurrency Workbench.     

Guest Editors' Introduction: Machine Ethics

Machine ethics is concerned with how machines behave toward human users and other machines. It aims to create a machine that's guided by an acceptable ethical principle or set of principles in the decisions it makes about possible courses of action it could take. As ethics experts continue to progress toward consensus concerning the right way to behave in ethical dilemmas, the task for those working in machine ethics is to codify these insights. Eight articles in this special issue address the issues.This article is part of a special issue on Machine Ethics.     

液晶电视屏幕的电路保护选择

平板液晶技术的迅猛发展让大屏幕、宽视角、高质量的视频图像得以实现。但是,随着液晶电视的屏幕变大、亮度更高,工作时所需的电压和电流也逐渐增加。而且,由于液晶电视屏幕中配置了多种供用户使用的接口,所以特别容易由于过电流和过电压的原因而出现损坏。     

Bilateral control of teleoperators with time delay

A control law for teleoperators is presented which overcomes the instability caused by time delay. By using passivity and scattering theory, a criterion is developed which shows why existing bilateral control systems are unstable for certain environments, and why the proposed bilateral control law is stable for any environment and any time delay. The control law has been implemented on a single-axis force-reflecting hand controller, and preliminary results are shown. To keep the presentation clear, a single-degree-of-freedom (DOF) linear time-invariant (LTI) teleoperator system is discussed. Nevertheless, results can be extended, without loss of generality, to an n-DOF nonlinear teleoperation system     

The integrated academic information management system at Columbia-Presbyterian Medical Center.

Over the past seven years, Columbia-Presbyterian Medical Center has been planning and implementing an integrated academic information management system. Accomplishments to date include establishing an institutional information architecture, installing a campus-wide network of workstations, recruiting the staff needed to develop and implement the system, and developing various applications. This paper presents the rationale and steps involved in these accomplishments, as well as data on use of the system so far.