zheng zhou | Negros oriental state university (original) (raw)
Address: Singapore, Singapore
less
Uploads
Papers by zheng zhou
Computerized Medical Imaging and Graphics, 2003
The picture archiving and communication system (PACS) is an image information system that has bec... more The picture archiving and communication system (PACS) is an image information system that has become widely installed. For its successful implementation, training has been found indispensable. A review of PACS training thus far shows major emphasis was placed on the use of display workstations. As an integrated system, the PACS is much broader than the display workstations, having many components that need connectivity and customization. With the many potentials of further development, a more comprehensive education program on PACS is called for and a PACS simulator as a standalone training and research tool is deemed necessary. q
IEEE Transactions on Automatic Control, 1987
Abstract-We present a unified theory of control synthesis for generalized linear (ie, descriptor)... more Abstract-We present a unified theory of control synthesis for generalized linear (ie, descriptor) systems using constant-ratio propor-tional and derivative (CRPD) feedback. Our framework includes the theory of static state feedback and output feedback for regular ...
IEEE Transactions on Automatic Control, 1987
A new approach in the time domain is developed for the study of singular linear systems of the fo... more A new approach in the time domain is developed for the study of singular linear systems of the formEdot{x} = Ax + Bu, y = CxwithEsingular. Central to the approach is the fundamental triple((alpha E - A)^{-1}E, (alphaE - A)^{-1}B, C)with α a real number satisfying det(alpha E - A) neq 0. Controllability and observability matrices are expressed in terms of the fundamental triple. New tests for impulse controllability and impulse observability are also established. Feedback control problems including pole placement, decoupling, and disturbance localization are studied by use of a modified proportional and derivative feedback of the state in the form ofu = F(alpha x - dot{x})+ v.
Information & Management, 2005
ABSTRACT Thèse (Ph. D.)--University of Illinois, 1998. Microfiche (négatif) du manuscrit dactylog... more ABSTRACT Thèse (Ph. D.)--University of Illinois, 1998. Microfiche (négatif) du manuscrit dactylographié.
Abstract| Numerous formal veri cation systems have been proposed and developed for Finite Sate Ma... more Abstract| Numerous formal veri cation systems have been proposed and developed for Finite Sate Machine based control units (notably SMV [19] as well as others). However, most research on the equivalence checking of datapaths is still con ned to the bit-level. Formal ...
Computerized Medical Imaging and Graphics, 2003
The picture archiving and communication system (PACS) is an image information system that has bec... more The picture archiving and communication system (PACS) is an image information system that has become widely installed. For its successful implementation, training has been found indispensable. A review of PACS training thus far shows major emphasis was placed on the use of display workstations. As an integrated system, the PACS is much broader than the display workstations, having many components that need connectivity and customization. With the many potentials of further development, a more comprehensive education program on PACS is called for and a PACS simulator as a standalone training and research tool is deemed necessary. q
IEEE Transactions on Automatic Control, 1987
Abstract-We present a unified theory of control synthesis for generalized linear (ie, descriptor)... more Abstract-We present a unified theory of control synthesis for generalized linear (ie, descriptor) systems using constant-ratio propor-tional and derivative (CRPD) feedback. Our framework includes the theory of static state feedback and output feedback for regular ...
IEEE Transactions on Automatic Control, 1987
A new approach in the time domain is developed for the study of singular linear systems of the fo... more A new approach in the time domain is developed for the study of singular linear systems of the formEdot{x} = Ax + Bu, y = CxwithEsingular. Central to the approach is the fundamental triple((alpha E - A)^{-1}E, (alphaE - A)^{-1}B, C)with α a real number satisfying det(alpha E - A) neq 0. Controllability and observability matrices are expressed in terms of the fundamental triple. New tests for impulse controllability and impulse observability are also established. Feedback control problems including pole placement, decoupling, and disturbance localization are studied by use of a modified proportional and derivative feedback of the state in the form ofu = F(alpha x - dot{x})+ v.
Information & Management, 2005
ABSTRACT Thèse (Ph. D.)--University of Illinois, 1998. Microfiche (négatif) du manuscrit dactylog... more ABSTRACT Thèse (Ph. D.)--University of Illinois, 1998. Microfiche (négatif) du manuscrit dactylographié.
Abstract| Numerous formal veri cation systems have been proposed and developed for Finite Sate Ma... more Abstract| Numerous formal veri cation systems have been proposed and developed for Finite Sate Machine based control units (notably SMV [19] as well as others). However, most research on the equivalence checking of datapaths is still con ned to the bit-level. Formal ...