作者：
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.
This paper describes an experimental message-driven programming system for fine-grain multicomputers. The initial target architecture is the J-machine designed at MIT. This machine combines a unique collection of arch...
详细信息
This paper describes an experimental message-driven programming system for fine-grain multicomputers. The initial target architecture is the J-machine designed at MIT. This machine combines a unique collection of architectural features that include fine-grain processes, on-chip associative memory;and hardware support for process synchronization. The programming system uses these mechanisms via a simple message-driven process model that blurs the distinction between processes and messages: messages correspond to processes that are executed elsewhere in the network. This model allows code and data to be distributed across the computers in the machine, and is supported at every stage of the program development cycle. The prototype system we have developed includes a basic set of programming tools to support the model;these include a compiler, linker, archiver, loader and microkernel. Although the concepts are language independent, our prototype system is based on GNU-C.
Since the mid-1970s, and with the development of each new programming paradigm there has been an increasing interest in exceptions and the benefits of exception handling. With the move towards programming for ever mor...
详细信息
Since the mid-1970s, and with the development of each new programming paradigm there has been an increasing interest in exceptions and the benefits of exception handling. With the move towards programming for ever more complex architectures, understanding basic facilities such as exception handling as an aid to improving program reliability, robustness and comprehensibility has become much more important. Interest has sparked the production of many papers both theoretical and practical, each giving a view of exceptions and exception handling from a different standpoint. In an effort to provide a means of classifying exception handling models which may be encountered, a taxonomy is presented in this paper. As the taxonomy is developed some of the concepts of exception handling are introduced and discussed. The taxonomy is applied to a number of exception handling models in some contemporary programming languages and some observations and conclusions offered.
作者：
SYNEFAKI, AI[a]Faculty of Technology-General Department
University of Thessaloniki Faculty of Technology Div. Computational Methods and Computer Programming Thessaloniki 540 06 Greece Fax: [b]University of Macedonia Thessaloniki
In this paper we develop an algorithm in order to solve pseudo-Boolean nonlinear equations and inequalities. The solutions to these problems are given in the form of set families. The objective of the proposed algorit...
详细信息
In this paper we develop an algorithm in order to solve pseudo-Boolean nonlinear equations and inequalities. The solutions to these problems are given in the form of set families. The objective of the proposed algorithms is the minimisation of the family number. The computational experiment showed that the time needed to obtain a solution family is almost constant.
The left context in LR-based parsing is the sequence of states in the parsing stack. The right context is the vocabulary strings to appear for a given left context. We propose an efficient method of computing right co...
详细信息
The left context in LR-based parsing is the sequence of states in the parsing stack. The right context is the vocabulary strings to appear for a given left context. We propose an efficient method of computing right context for LR-based syntax error repair. The efficiency of our method is achieved from removing some redundancies in the method of previous work.
We present a new strategy for representing syntax in a mechanised logic. We define an underlying type of de Bruijn terms, define an operation of named lambda-abstraction, and hence inductively define a set of conventi...
详细信息
We illustrate the difference between sequential composition in process algebra axiomatisations like ACP and action prefixing in process calculi like CCS. We define both early and late input in a general framework exte...
详细信息
For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement in the uptake of formal methods, it is still the case that the vast majori...
详细信息
We extend static filtering in [8], a query optimization strategy based on seminaive evaluation on system graphs, so that it can efficiently handle stratified programs without extra overhead. The computation of static ...
详细信息
We extend static filtering in [8], a query optimization strategy based on seminaive evaluation on system graphs, so that it can efficiently handle stratified programs without extra overhead. The computation of static filters is formalized as a transformation so that the least fixed point of the transformation can be the static filters. The static filtering on stratified programs is shown to be complete with respect to the iterated fixed point semantics.
A syntactic error repair model is proposed, and is defined as a partial function from strings to sentences. The replacement of a substring of a string with a substring of a sentence is described by a repair pattern, w...
详细信息
A syntactic error repair model is proposed, and is defined as a partial function from strings to sentences. The replacement of a substring of a string with a substring of a sentence is described by a repair pattern, which is roughly a pair of strings of grammar symbols. The model can be efficient with some restriction on repair patterns. An LR-based implementation of the model is discussed.
暂无评论