System Health Management (SHM) is an example of the types of challenging applications facing embedding high-performance computing environments. SHM systems monitor real-time sensors to determine system health and perf...
详细信息
We present an approach to social reasoning that integrates prior work on norms and obligations with the BDI approach to agent architectures. Norms and obligations can be used to increase the efficiency of agent reason...
详细信息
We present an approach to social reasoning that integrates prior work on norms and obligations with the BDI approach to agent architectures. Norms and obligations can be used to increase the efficiency of agent reasoning, and their explicit representation supports reasoning about a wide range of behaviour types in a single framework. We propose a modified BDI interpreter loop that takes norms and obligations into account in an agent's deliberation.
Developed a distributed shipboard system to perform diagnostics and prognostics on mechanical equipment (e.g. engines, generators, and chilled water systems) for the Office of Naval Research (ONR). This Condition Base...
详细信息
Developed a distributed shipboard system to perform diagnostics and prognostics on mechanical equipment (e.g. engines, generators, and chilled water systems) for the Office of Naval Research (ONR). This Condition Based Maintenance (CBM) system (called MPROS for Machinery Prognostics/Diagnostics System) consists of MEMS and conventional sensors on the machinery, local intelligent signal processing devices (called "Data Concentrators"), and a centrally located subsystem (called the PDME for Prognostics, Diagnostics, Monitoring Engine) which is designed so that it can run under shipboard monitoring systems such as ICAS (Integrated Condition Assessment System). MPROS includes and augments periodic vibration analysis by collecting data continuously from vibration and other sensors, including temperature, pressure, current, voltage, and so on. These data streams are integrated as necessary in the Data Concentrators (data fusion). A second level of integration (knowledge fusion) occurs in the PDME. At this level, the conclusions of different diagnostic and prognostic reasoning mechanisms are fused to yield the best possible analysis. In this paper, we discuss recent progress in design and implementation of the software and hardware required to support our system.
The so called “ cogen approach” to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evaluation of both functional and imperative langu...
The so called “ cogen approach” to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evaluation of both functional and imperative languages. In earlier work we have shown that this approach is also applicable to partial evaluation of logic programming languages, also called partial deduction. In this paper we extend upon this by allowing partially instantiated datastructures (via binding types), which are especially important in the context of logic programming. We also extend cogen to directly support a large part of Prolog's declarative and non-declarative features and how semi-online specialisation can be efficiently integrated. Benchmarks show that the resulting cogen is very efficient, generates very efficient generating extensions (executing up to several orders of magnitude faster than current online systems) which in turn perform very good and non-trivial specialisation, even rivalling existing online systems.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that c...
详细信息
ISBN:
(纸本)9781581132199
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a *** this paper we present a framework for the iterative design of interactive Hypermedia Educational Manuals, implemented in a software tool that integrates authoring and evaluation support in order to speed up iterative design cycles. Two unique features of our approach are the automatic generation of a structural description of the manual being designed and the automatic incorporation of interaction data logging elements in the manual during the authoring phase. These are then used by an evaluation tool to generate statistical analyses and graphical presentations of user interactions with the manual and redesign recommendations. Thus, the architecture of this tool embodies a tight coupling between the design of Hypermedia Educational Manuals and the evaluation of their instructional effectiveness. An experiment was carried out in which a prototype manual was created, tested with a group of students, redesigned based on analyses and recommendations provided by the evaluation tool, and then re-evaluated using data from a second group of students. This experiment showed that the integrated tool does help simplify the evaluation process and improve the efficiency of iterative design cycles.
This paper examines the role of parametric modeling as an application for the global computing grid, and explores some heuristics which make it possible to specific soft real time deadlines for larger computational ex...
详细信息
This paper examines the role of parametric modeling as an application for the global computing grid, and explores some heuristics which make it possible to specific soft real time deadlines for larger computational experiments. We demonstrate the scheme with a case study utilizing the Globus toolkit running on the GUSTO testbed.
Delivering a software product on time, within budget, and to an agreed level of quality is a critical concern for many software organizations. Underestimating software costs can have detrimental effects on the quality...
详细信息
ISBN:
(纸本)9781581132069
Delivering a software product on time, within budget, and to an agreed level of quality is a critical concern for many software organizations. Underestimating software costs can have detrimental effects on the quality of the delivered software and thus on a company's business reputation and competitiveness. On the other hand, overestimation of software cost can result in missed opportunities to funds in other projects. In response to industry demand, a myriad of estimation techniques has been proposed during the last three decades. In order to assess the suitability of a technique from a diverse selection, its performance and relative merits must be *** current study replicates a comprehensive comparison of common estimation techniques within different organizational contexts, using data from the European Space Agency. Our study is motivated by the challenge to assess the feasibility of using multi-organization data to build cost models and the benefits gained from company-specific data collection. Using the European Space Agency data set, we investigated a yet unexplored application domain, including military and space projects. The results showed that traditional techniques, namely, ordinary least-squares regression and analysis of variance outperformed Analogy-based estimation and regression trees. Consistent with the results of the replicated study no significant difference was found in accuracy between estimates derived from company-specific data and estimates derived from multi-organizational data.
Java has reinvigorated the debate on the `best' language to use for CS1. Much of the controversy centers on the goals of CS1, specific language constructs that either hinder or support the first formal introductio...
Java has reinvigorated the debate on the `best' language to use for CS1. Much of the controversy centers on the goals of CS1, specific language constructs that either hinder or support the first formal introduction to programming, and, even, `real-world' relevance. Missing from typical discussions is the effect of the language choice in CS1 on CS2 and subsequent courses in the CS curriculum. In all such dialogues, it is important to note the characteristics of the department at hand. While many programs can afford to choose a language (such as Scheme) purely for pedagogical reasons, others (if not most), due to pressure from students, industry, advisory boards, select a language with some market appeal. Small departments that serve students who expect an immediate transition to a professional job typically choose a traditional procedural language like C, Pascal, Modula-2, or a popular OO language like C++, Java, Ada95, or Visual Basic. Hence, we focus here on the choice of one of these languages, and the resulting effects on students' progression in the CS curriculum.
暂无评论