An Algorithmic Taxonomy of Production System Machines

This paper presents a survey of computer architectures designed to execute production systems. After a brief description of production systems and production system languages, the paper summarizes match algorithms, particularly the Rete algorithm, and outlines suggested parallelizations. Most parallel production system algorithms have as their unit of sequential computation a single production's left-hand side, activations of a single Rete node, a single activation of a Rete node, or a single comparison in a Rete node. The paper discusses a number of proposed production system machine architectures in terms of the parallel and sequential computations performed in the algorithms suggested for each machine. A taxonomy of parallel production system algorithms, describing in detail the distribution and replication of data and computations, concludes the paper

Dense Network of Differential Global Positioning System Reference Stations for Precision Farming

Agricultural Educatio

Building high-quality merged ontologies from multiple sources with requirements customization

Ontologies are the prime way of organizing data in the Semantic Web. Often, it is necessary to combine several, independently developed ontologies to obtain a knowledge graph fully representing a domain of interest. Existing approaches scale rather poorly to the merging of multiple ontologies due to using a binary merge strategy. Thus, we aim to investigate the extent to which the n-ary strategy can solve the scalability problem. This thesis contributes to the following important aspects: 1. Our n-ary merge strategy takes as input a set of source ontologies and their mappings and generates a merged ontology. For efficient processing, rather than successively merging complete ontologies pairwise, we group related concepts across ontologies into partitions and merge first within and then across those partitions. 2. We take a step towards parameterizable merge methods. We have identified a set of Generic Merge Requirements (GMRs) that merged ontologies might be expected to meet. We have investigated and developed compatibilities of the GMRs by a graph-based method. 3. When multiple ontologies are merged, inconsistencies can occur due to different world views encoded in the source ontologies To this end, we propose a novel Subjective Logic-based method to handling the inconsistency occurring while merging ontologies. We apply this logic to rank and estimate the trustworthiness of conflicting axioms that cause inconsistencies within a merged ontology. 4. To assess the quality of the merged ontologies systematically, we provide a comprehensive set of criteria in an evaluation framework. The proposed criteria cover a variety of characteristics of each individual aspect of the merged ontology in structural, functional, and usability dimensions. 5. The final contribution of this research is the development of the CoMerger tool that implements all aforementioned aspects accessible via a unified interface

Air Force Institute of Technology Research Report 1997

This report summarizes the research activities of the Air Force Institute of Technology\u27s Graduate School of Engineering and the Graduate School of Logistics and Acquisition Management. It describes research interests and faculty expertise; list student theses/dissertations; identifies research sponsors and contributions; and outlines the procedure for contacting either school

On the design and integration of education simulation games in engineering business management

Manufacturing has evolved from production-oriented to customer-oriented in the last century. The modern management approach is 'total integration' which is the integration of 'functional optimization', 'internal integration' and 'external integration'. Nowadays, Engineering and Business can no longer be viewed as two separate entities. Engineering Business Management (EBM) becomes the norm of modern manufacturing management. In universities, simulation games have been identified as one of the best teaching media in teaching EBM concept. Hundreds of good simulation games are thus required for different subject areas and education objectives. However, game design procedure is always a 'black box' and game design philosophy of EBM games is even a 'black box' within a 'black box'. This research attempts to develop a new generic approach in designing education simulation games in Engineering Business Management. The approach is broken into two phases: micro and macro level. In micro level, game design philosophy is studied. The appropriate levels of formats and features of EBM games are determined and the weaknesses commonly found in games are examined and rectified. The findings are confirmed and evaluated by conducting three surveys between 1992 to 1994. In macro level, a standard interface is established for all EBM games so that functional games which are built on this platform can be integrated together to form internal management games which can be further integrated into a supply chain network by hierarchical modular structure. The hierarchical structure allows the games to cover some EBM areas that have never been mentioned by any other games before. Two functional games, a production game and a marketing game have been built as prototypes to demonstrate the design approach. In micro level, the established design criteria minimize the chance of developing a 'bad' game. In macro level, the formation of internal management games and supply chain networks by hierarchical modular modeling opens a new platform for game design

Nuclear Propulsion Technical Interchange Meeting, volume 2

The purpose of the meeting was to review the work performed in fiscal year 1992 in the areas of nuclear thermal and nuclear electric propulsion technology development. These proceedings are an accumulation of the presentations provided at the meeting along with annotations provided by authors. The proceedings cover system concepts, technology development, and system modeling for nuclear thermal propulsion (NTP) and nuclear electric propulsion (NEP). The test facilities required for the development of the nuclear propulsion systems are also discussed

Programming Languages and Systems

This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019

How does rumination impact cognition? A first mechanistic model.

Rumination is a process of uncontrolled, narrowly-foused neg- ative thinking that is often self-referential, and that is a hall- mark of depression. Despite its importance, little is known about its cognitive mechanisms. Rumination can be thought of as a specific, constrained form of mind-wandering. Here, we introduce a cognitive model of rumination that we devel- oped on the basis of our existing model of mind-wandering. The rumination model implements the hypothesis that rumina- tion is caused by maladaptive habits of thought. These habits of thought are modelled by adjusting the number of memory chunks and their associative structure, which changes the se- quence of memories that are retrieved during mind-wandering, such that during rumination the same set of negative memo- ries is retrieved repeatedly. The implementation of habits of thought was guided by empirical data from an experience sam- pling study in healthy and depressed participants. On the ba- sis of this empirically-derived memory structure, our model naturally predicts the declines in cognitive task performance that are typically observed in depressed patients. This study demonstrates how we can use cognitive models to better un- derstand the cognitive mechanisms underlying rumination and depression