Safe operation of safety critical systems depends on appropriate interactions between the human operator and the computer system. Specification of such safety-critical systems is fundamental to enable exhaustive and automated analysis of operator system interaction. In this paper we present a structured, comprehensive and computer-aided approach to formally specify and verify user interfaces ba...

In order to make the operator freely walk in virtual environment (VE), a new prototype of VE system for assembly is presented in this paper. In this system, a special machine is designed and it enables the operator to walk inside the VE in any directions over a long distance without actually leaving the physical device. Images produced by the computer are projected upon the surface of a large s...

Human supemisory control and monitoring of automated systems, as well as, passive system@ information processing can all be classvied as forms of out-of-theloop (OOn) performance. Whether the operator’s task is to decide ifprocess control intervention is necessary, detect a critical system event, or accept or reject the actions of a computer controller, he or she is removed from direct, real-ti...

Cartographic map revision cannot be automated completely because, for legal reasons, a human operator is ultimately responsible for all revisions. We present a human-centered map revision system in which the human operator retains complete control over the operations with the computer acting as an apprentice and, later, as an assistant. The apprentice learns simple tasks from the human operator...

we introduce a new concept of general $g$-$eta$-monotone operator generalizing the general $(h,eta)$-monotone operator cite{arvar2, arvar1}, general $h-$ monotone operator cite{xiahuang} in banach spaces, and also generalizing $g$-$eta$-monotone operator cite{zhang}, $(a, eta)$-monotone operator cite{verma2}, $a$-monotone operator cite{verma0}, $(h, eta)$-monotone operator cite{fanghuang}, $h$-...

We propose a new type of secure computer architecture that can enable computers to prevent intruders from obtaining data stored in the computer system. Based on the modified Neumann model as we proposed with a recent pending patent, the network communication component is separated from the other parts of the computer system with a separate system bus. Data exchange between the two system buses ...

High fidelity computer graphics preview and predictive displays provide substantial aid in four major space telerobotic activities: overall workspace design including viewing conditions, specific workspace analysis for given tasks in a fixed setting, operator training, and reduction of operator’s uncertainty and operation time under communication time delay conditions. Computer graphics display...

A notion of closure operator with respect to a functor U is introduced. This allows us to describe a number of mathematical constructions that could not be described by means of the already existing notion of closure operator. Some basic results and examples are provided. Mathematics Subject Classification (1991). 18A22, 18A32, 06A15.