Many problems in nonlinear control theory (like, for instance, feedback linearization problem) leed to examination of integrability of a Pfaffian system. In a generic case a Pfaffian system is not integrable. Therefor...
详细信息
Many problems in nonlinear control theory (like, for instance, feedback linearization problem) leed to examination of integrability of a Pfaffian system. In a generic case a Pfaffian system is not integrable. Therefore, how to approximate non-integrable Pfafian systems by integrable ones and how this approximation can applied in practice appears to be a natural and important problem. In the present paper we establish some measures of non-integrability of Pfaffian system of arbitrary dimension and discuss their relation to approximations of non-integrable Pfaffian systems by integrable ones. Our work is motivated by expected applications to approximate feedback linearization of multi-input nonlinear systems.
We show that the two uni-directional n-cubes, namely UHC1n and UHC2n proposed by Chou and Du (1990) as interconnection schemes are Hamiltonian. In addition, we show that (1) if n is even, both architectures are vertex...
详细信息
The classical problem of solving tridiagonal linear systems of equations is reconsidered. An extremely simple factorization of the system's matrix - implied by but not explicit in the known techniques - is identif...
详细信息
ARCHIE (A Reliable computer Human Interaction Environment) is a 3 year project to develop a general solution to improving the reliability of human-computer interaction and to demonstrate the benefits. The project is f...
详细信息
ARCHIE (A Reliable computer Human Interaction Environment) is a 3 year project to develop a general solution to improving the reliability of human-computer interaction and to demonstrate the benefits. The project is funded under the European Commission (EC) Open Microprocessor Systems Initiative (OMI) and involves a consortium of developers including the University of Dundee (UK), GEC-Marconi Avionics (UK), computer Resources International (Denmark), Bertin et Cie (France), Sofreavia/CENA (France), and the CAA/DRA (UK). The ARCHIE software kernel runs in parallel with the existing user interface of any application. Its role is to monitor the operator, the environment and the current state of the application and on the basis of this to offer advice to the user which will dynamically improve the reliability of the interaction across the human-computer interface. A further feature is the offer of advice to the human on the use of alternative input devices and prediction of a possible error situation (which may prevent errors before they become serious).< >
The purpose of this paper is a study of computation that can be done locally in a distributed network. By locally we mean within time (or distance) independent of the size of the network. In particular we are interest...
详细信息
We show that the two uni-directional n-cubes, namely UHC1/sub n/ and UHC2/sub n/ proposed by Chou and Du (1990) as interconnection schemes are Hamiltonian. In addition, we show that (1) if n is even, both architecture...
详细信息
ISBN:
(纸本)081867038X
We show that the two uni-directional n-cubes, namely UHC1/sub n/ and UHC2/sub n/ proposed by Chou and Du (1990) as interconnection schemes are Hamiltonian. In addition, we show that (1) if n is even, both architectures are vertex symmetric; and (2) if n is odd, both architectures have exactly two vertex-symmetric components. By studying symmetry, we further prove that the maximum delay of one-port one-to-all broadcasting for either architecture is at most 1.5n.< >
Let Dist(f,g)=Pr/sub u/ [f(u)/spl ne/g(u)] denote the relative distance between functions f,g mapping from a group G to a group H, and let Dist(f) denote the minimum, over all linear functions (homomorphisms) g, of Di...
详细信息
Let Dist(f,g)=Pr/sub u/ [f(u)/spl ne/g(u)] denote the relative distance between functions f,g mapping from a group G to a group H, and let Dist(f) denote the minimum, over all linear functions (homomorphisms) g, of Dist(f,g). Given a function f:G/spl rarr/H we let Err(f)=Pr/sub u/,v[f(u)+f(v)/spl ne/f(u+v)] denote the rejection probability of the BLR (Blum-Luby-Rubinfeld) linearity test. Linearity testing is the study of the relationship between Err(f) and Dist(f), and in particular the study of lower bounds on Err(f) in terms of Dist(f). The case we are interested in is when the underlying groups are G=GF(2)/sup n/ and H=GF(2). The corresponding test is used in the construction of efficient PCPs and thence in the derivation of hardness of approximation results, and, in this context, improved analyses translate into better non-approximability results. However, while several analyses of the relation of Err(f) to Dist(f) are known, none is tight. We present a description of the relationship between Err(f) and Dist(f) which is nearly complete in all its aspects, and entirely complete (i.e. tight) in some. In particular we present functions L,U:[0,1]/spl rarr/[0,1] such that for all x/spl isin/[0,1] we have L(x)
作者：
FAIRHEAD, DLHALL, CCSince graduating from Cleveland State University in 1965 with a Bachelor of Science degree in Mathematics
he has worked for the Navy at Annapolis participating in several different automation efforts ranging from design aids to surface ship bridge control. Mr. Fairhead has completed graduate work in Computer Science at the University of Maryland has a certificate in Computer Programming holds a patent and is a member of the Association for Computing Machinery (ACM). Upon graduation from Morgan State in 1962
Mr. Hall was employed as a physicist at the Naval Surface Warfare Center Carderock Division Annapolis until 1994. During that time period he served as program technical manager for propulsion technology and as senior project scientist for several automation projects including the Automated Ships Bridge project. Mr. Hall also served as a member of the initial Technical Director's Technology Application Team and of the Autonomic Ship Innovation Center Team. Mr. Hall is a member of the American Institute of Physics and Sigma Pi Sigma (National Physics Honor Society).
A growing concern about the shrinking size of the U.S. Navy budget and the pool from which selections will be made to ''man'' U. S. Navy shipboard systems has led to investigations on achieving improve...
详细信息
A growing concern about the shrinking size of the U.S. Navy budget and the pool from which selections will be made to ''man'' U. S. Navy shipboard systems has led to investigations on achieving improvements in affordability and operational effectiveness. One such investigation has resulted in the development of the Standard Monitoring and Control System (SMCS), a modular, open architecture control system which includes the control system components for propulsion, electric plant, auxiliaries, and damage control. The first major technology upgrade to SMCS will entail the insertion of Artificial Intelligence (AI) technologies into HM&E monitoring and control applications. The Intelligent Machinery Control Integration Task (IMCI) was established to provide a structural approach for this major technology upgrade. As part of the first phase of IMCI, an identification of intelligent control requirements, an assessment of AI technologies, and a survey of intelligent control applications were performed. This paper lists those HM&E-related shipboard operational requirements from which intelligent machinery control requirements will be identified. Also, there is an initial assessment of AI-related reasoning and the following AI technologies, knowledge-based systems, fuzzy logic, neural nets, and genetic algorithms. The survey provided some insight into applying AI technologies to SMCS shipboard operational requirements.
暂无评论