| Developing a Modular Framework for Implementing a Semantic Search Engine |
Sep-2009 |
99 pages |
| Authors:
Brian M Hawkins; NAVAL POSTGRADUATE SCHOOL MONTEREY CA
|
 | Current methods of information retrieval (IR) are adequate for everyday search needs, but they are not appropriate for many military and industrial tasks. The underlying mechanism of typical search methods is based upon keyword matching, which has demonstrated very poor performance over highly technical requirements documents found within the field of acquisitions. Instead of matching keywords, IR methods that understand the meaning of the words in a query are needed ... |
|
| Using WYSIWYG GUI Tools with UML |
Jun-2009 |
6 pages |
| Authors:
Ilya Lipkin; Martin Guldahl; 309TH SOFTWARE MAINTENANCE GROUP HILL AFB UT
|
| This article will discuss the merging of Unified Modeling Language (UML) with what you see is what you get (WYSIWYG) graphical user interface (GUI) tools. The topics presented -- and discussion of an example with benefits and hazards -- will show that the merged solution can increase productivity and provide an improved rapid prototyping platform. |
|
| Checking Framework Interactions with Relationships |
Dec-2008 |
111 pages |
| Authors:
Jonathan Aldrich; Ciera Jaspan; CARNEGIE-MELLON UNIV PITTSBURGH PA INST OF SOFTWARE RESEARCH INTERNAT
|
| Software frameworks impose constraints on how plugins may interact with them. Many of hese constraints involve multiple objects, are temporal, and depend on runtime values. Additionally, they are difficult to specify because they are non-local and may break behavioral subtyping. This work presents relationships as a means for specifying framework constraints, and it presents a formal description and implementation of a static analysis to find constraint violations in plugin code. ... |
|
| DoD Business Mission Area Service-Oriented Architecture to Support Business Transformation |
01-Oct-2008 |
6 pages |
| Authors:
Dennis E Wisnosky; Dimitry Feldshteyn; Wil Mancuso; Al E Gough; Eric J Riutort; Paul Strassman; OFFICE OF THE UNDER SECRETARY OF DEFENSE WASHINGTON DC BUSINESS TRANSFORMATION AGENCY
|
| The DoD is perhaps the largest and most complex organization in the world, employing nearly 1.4 million people and holding approximately $1.4 trillion in assets. IT spending for business support activities in the DoD BMA-funds to operate, maintain, and modernize business systems-comprise $15.7 billion of annual DoD IT spending, roughly equal to the rest of the federal government. |
|
| IChart: A Graphical Tool to View and Manipulate Force Management Structure Databases |
Sep-2008 |
64 pages |
| Authors:
Frederick S Brundick; Hartwig; George W Jr; Samuel C Chamberlain; ARMY RESEARCH LAB ABERDEEN PROVING GROUND MD COMPUTATIONAL AND INFORMATION SCIENCES DIR
|
| Maintaining a high-resolution force structure that may be shared among various organizations is a difficult task. One approach is to design databases which store Global Force Management (GFM) data in the form of time-based tree graphs, using enterprise identifiers (EIDs) as unique surrogate keys. This report is the manual, users' guide, and general documentation for the IChart application, which is intended to be a guide and demonstration of the utility ... |
|
| High Performance Embedded Computing Software Initiative (HPEC-SI) Program Facilitation of VSIPL++ Standardization |
APR 2008 |
13 pages |
| Authors:
Daniel P. Campbell; GEORGIA TECH APPLIED RESEARCH CORP ATLANTA GA
|
| The Vector Signal and Image Processing Library (VSIPL) is an industry standard Application Programming Interface for embedded signal processing tasks. The High Performance Embedded Computing Software Initiative (HPEC-SI) program is a collaborative program to establish extensions to the VSIPL specification to support Object Oriented elements of the C++ programming language, and encapsulated support for data parallel processing. The program goals include the simultaneous threefold improvement in software portability, threefold improvement ... |
|
| ProtoCore |
10-Mar-2008 |
14 pages |
| Authors:
ARMY RESEARCH DEVELOPMENT AND ENGINEERING COMMAND REDSTONE ARSENAL AL
|
| Overview of the MATREX ProtoCore system. |
|
| A Novel Project Management Theory and Its Applicability |
MAR 2008 |
113 pages |
| Authors:
Abdulkerim Erguner; NAVAL POSTGRADUATE SCHOOL MONTEREY CA
|
| Software Project Management is an emerging discipline. The software project manager's job comprises every aspect of the project from starting the project to closing out. Practitioners of the discipline use several project management tools in managing diverse aspects of their projects. However, there is no existing management theory that combines different aspects of a software project and results in a complete picture. This study discusses a management theory and modeling ... |
|
| Static Extraction of Object-Oriented Runtime Architectures |
Mar-2008 |
55 pages |
| Authors:
Jonathan Aldrich; Marwan Abi-Antoun; CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE
|
| For many object-oriented systems, it is useful to have a runtime architecture, that shows networks of objects. But it is hard to statically extract runtime object graphs that provide architectural abstraction from an arbitrary program written in a general purpose language that follows common design idioms. Previous approaches extract low-level non-hierarchical object graphs that do not provide architectural abstraction, change the language too radically for many existing implementations, or use ... |
|
| AVEC: A Computational Design Environment for Conceptual Innovations |
FEB 2008 |
41 pages |
| Authors:
Maxwell Blair; AIR FORCE RESEARCH LAB WRIGHT-PATTERSON AFB OH AIR VEHICLES DIRECTORATE
|
| This report summarizes programming techniques that aid multidisciplinary design programmers in developing computational designs that measure AFRL technology effectiveness. These techniques have been collected into an object-oriented design environment. The Air Vehicle Environment in C++ (AVEC) prototypes a practical approach toward computational design. Design innovators will benefit from AVEC at one of three levels. These three levels target (a) the end user through interactive operations and file I/O, (b) the ... |
|
| Strategic Mobility 21. Collaborative Regional Web Portal Design, Development and Documentation |
31 DEC 2007 |
80 pages |
| Authors:
Lawrence G. Mallon; Steve Carson; CALIFORNIA STATE UNIV LONG BEACH CA LONG BEACH FOUNDATION
|
| This report documents the research and initial development of a Web Portal by the strategic Mobility 21 (SM21) program, including defining requirements for an SM21 Web Portal and reviewing current literature and technology associated with Web Portals supporting the transportation and distribution sectors. This document provides an example of a specific service interface that enables collaboration between military and transportation planners and military ship load planners. This paper also describes ... |
|
| A Study on Modeling Approaches in Discrete Event Simulation Using Design Patterns |
DEC 2007 |
115 pages |
| Authors:
Leng Koh Kim; NAVAL POSTGRADUATE SCHOOL MONTEREY CA
|
| Many discrete event simulation (DES) systems have been built using Simkit as the underlying infrastructure. Simkit advocates a modeling paradigm where DES applications can be rapidly built with simple, independent modules that are assembled in a component-like fashion. This modeling paradigm encompasses several modeling approaches active role of events, entities as independent components, and chaining components to enable interactivity that are excellent ways of building a DES system. This thesis ... |
|
| Checking and Measuring the Architectural Structural Conformance of Object-Oriented Systems |
DEC 2007 |
52 pages |
| Authors:
Marwan Abi-Antoun; Jonathan Aldrich; CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE
|
| The benefits of architectural analyses are only achieved if one can guarantee that the implementation conforms to the architecture. We propose an approach for checking and measuring the structural conformance of a software system's implementation to its execution architecture. In contrast to existing approaches, our approach uses static analyses, and works with existing Java-like programming languages, existing object-oriented designs and existing integrated development environments. We address the problem with a ... |
|
| MAJIC: A Java Application for Controlling Multiple, Heterogeneous Robotic Agents |
SEP 2007 |
157 pages |
| Authors:
Gregory P. Ball; NAVAL POSTGRADUATE SCHOOL MONTEREY CA
|
| Current capability to command and control a team of heterogeneous robotic agents is limited by proprietary command formats and operating systems. A specific challenge in this context is the specification, the programming, and the testing of software for such a wide variety of mobile robot teams. This work explores the applicability of an application program interface (API), called the Multi-Agent Java Interface Controller (MAJIC), that supports command, control, and coordination ... |
|
| Mini-Rocket User Guide |
AUG 2007 |
70 pages |
| Authors:
III Sanders George A.; Ray Sells; ARMY AVIATION AND MISSILE RESEARCH DEVELOPMENT ENG CTR REDSTONE ARSENAL AL SYSTEM SIMULATION AND DEVELOPMENT DIRECTORATE
|
| This document describes the use of a missile/rocket fly-out model that represents a significant advance in efficiency for these type of simulations given its modest requirements for complexity and runtime efficiency. The model is useful for generating trajectories and associated flight parameters for multi-stage powered missiles flying over a rotating, spherical earth. The model uses a unique osculating plane formulation that preserves relatively high fidelity while maintaining run-time efficiency and ... |
|
| Mini-Rocket User Guide |
AUG 2007 |
70 pages |
| Authors:
III Sanders George A.; Ray Sells; ARMY AVIATION AND MISSILE RESEARCH DEVELOPMENT ENG CTR REDSTONE ARSENAL AL SYSTEM SIMULATION AND DEVELOPMENT DIRECTORATE
|
| This document describes the use of a missile/rocket fly-out model that represents a significant advance in efficiency for these type of simulations given its modest requirements for complexity and runtime efficiency. The model is useful for generating trajectories and associated flight parameters for multi-stage powered missiles flying over a rotating, spherical earth. The model uses a unique osculating plane formulation that preserves relatively high fidelity while maintaining run-time efficiency and ... |
|
| Transurethral Ultrasound Diffraction Tomography |
MAR 2007 |
48 pages |
| Authors:
Matthias C. Schabel; UTAH UNIV SALT LAKE CITY
|
| The potential for cost-effective tomographic imaging using ultrasound continues to be confronted with difficulties arising from the computational complexity of fully three-dimensional object reconstruction in the diffraction regime. Development of fast and accurate forward and inverse models for ultrasound propagation in the biomedical frequency range of 1-10 MHz is essential for diffraction tomography to be a practical imaging modality. We have implemented a flexible, object-oriented simulation system in MATLAB for ... |
|
| Decision Support System for the Management of an Army's Tracked and Wheeled Vehicle Fleet |
MAR 2007 |
104 pages |
| Authors:
Chiheb Saidane; NAVAL POSTGRADUATE SCHOOL MONTEREY CA
|
| The purpose of this research is to define a decision support system for the management of a military tracked and wheeled vehicle fleet. Such a system should be capable of delivering reliable information for decision making on time and provides data related to the classification, registration, assignment, maintenance, and availability of vehicles. The system is composed of the following subsystems: Subsystem "Classification and Registration of tracked and wheeled vehicles." Subsystem ... |
|
| Advanced Interconnect and Device-Field Modeling |
15 JAN 2007 |
13 pages |
| Authors:
Mohamed Essaaidi; ABDELMALEK ESSAADI UNIV TETUAN (MOROCCO) FACULTY OF SCIENCES
|
| This final report describes the progress that has been made with the different tasks of this project. The highlights are that most of the tasks planned for this project have been carried out and completed successfully with some delay owing to some technical problems that could not be avoided. Those tasks concerned the development of OOP codes using C++ based on the Method of Moments for microwave interconnections analysis considering ... |
|
| Semantics and Pragmatics of Real-Time Maude |
01-Jan-2007 |
|
| Authors:
Peter C Olveczky; Jose Meseguer; OSLO UNIV (NORWAY) DEPT OF INFORMATICS
|
 | At present, designers of real-time systems face a dilemma between expressiveness and automatic verification: if they can specify some aspects of their system in some automaton-based formalism, then automatic verification is possible; but more complex system components may be hard or impossible to express in such decidable formalisms. These more complex components may still be simulated; but there is then little support for their formal analysis. The main goal of ... |
|
| Can A Self-Diagnostic Digitally Controlled Pacemaker/Defibrillator Device be Used For Alerting Military Personnel When a Soldier Health Condition Becomes Compromised Out in the Field |
26 SEP 2006 |
9 pages |
| Authors:
Nedd Steven; TACOM RESEARCH DEVELOPMENT AND ENGINEERING CENTER WARREN MI
|
| he Self-Diagnostic Digitally Controlled Pacemaker/Defibrillator Device (SDDCPDD) has several features that I think may be very useful to the Armed Services. Even though this device is designed as a pacemaker/defibrillator device; its applications can be used as a sensory data retrieval device for Soldiers that have been captured in the field or in combat missions. This research investigates the use of Unified Modeling Language (UML) Diagrams, Object-Oriented Analysis and Design, ... |
|
| An Object-Oriented View of Backend Databases in a Mobile Environment for Navy and Marine Corps Applications |
SEP 2006 |
87 pages |
| Authors:
Lemuel S. Lawrence; Kasey C. Miller; NAVAL POSTGRADUATE SCHOOL MONTEREY CA
|
| A Database Management System (DBMS) is system software for managing a large amount of data in secondary memory. The standard DBMS used today in both industry and the military is the Relational DBMS (RDBMS). The RDBMS is based upon the relational paradigm, whereas modern software development technologies that interact with the RDBMS are based upon the object-oriented paradigm. This difference in paradigms presents a conceptual mismatch which greatly reduces programmer ... |
|
| Fuseflow: A Workflow-Aware Fuselet Management Environment |
JUL 2006 |
50 pages |
| Authors:
Matthew Stillerman; Robert Joyce; Andrew Chruscicki; Brady Tsurutani; ARCHITECTURE TECHNOLOGY CORP ITHACA NY
|
| Information spaces deployed under the Joint Battlespace Infosphere (JBI) program utilize small transformation fuselets to build up applications of meaning to end users. FuseFlow is a design, management, and performance monitoring system for structured collections of JBI fuselets and non fuselet clients. These collections, termed fuselet workflows, have clear meaning to end users and address significant challenges for fuselets in the areas of scale, concurrency, authoring, and maintenance. In addition, ... |
|
| Towards an Integrated Deployment and Crisis Response Planning System for C2 |
JUN 2006 |
29 pages |
| Authors:
Stephen L. Ambrosius; Nhu-Nga T. Do; Patrick Ferguson; Sean Moone; Beth Bojanowski; SPACE AND NAVAL WARFARE SYSTEMS COMMAND SAN DIEGO CA
|
| This paper presents the interim results of work by the Space and Naval Warfare Systems Center San Diego (SPAWAR) to increase the speed of Command and Control (C2) operations in the Naval Force Deployment Planning Process. SPAWAR has fielded a Web-based employment scheduling and deployment planning system for the Navy called WebSked Distributed Services. The Chief of Naval Operations designated it the sole employment scheduling system for the Navy. Work ... |
|
| Command Authority & Information Flows in Net-Centric Operations |
JUN 2006 |
|
| Authors:
Linsey O'Brien; Scott Renner; Annie Rosenthal; Jay Scarano; MITRE CORP BEDFORD MA
|
| The DoD net-centric transformation will bring extended reach & flexible capabilities through seamless information sharing. This requires breaking down the stovepiped systems that limit commanders from taking advantage of external information and assets. However, stovepiped systems are not all bad: one side-effect of those arbitrary and rigid barriers is to ensure access only to vetted information by authorized participants. As we take down these old barriers, many new information flows ... |
|
| A Teamwork-Oriented Air Traffic Control Simulator |
JUN 2006 |
117 pages |
| Authors:
Mounir Sidhom; NAVAL POSTGRADUATE SCHOOL MONTEREY CA
|
| Air Traffic Control (ATC) is a complicated domain in which many specialists should collaborate and communicate with each other in order to guarantee safe and efficient air traffic. A significant number of air traffic control errors are associated with either faulty coordination between ATC actors, or a failure of some kind of team coordination. These errors are likely to increase in the future as aircraft density increases. Many researchers suggest ... |
|
| An Object-Oriented XML Schema for the MIP Joint Command, Control, and Consultation Information Exchange Data Model |
JUN 2006 |
|
| Authors:
Michael Gerz; Francisco Loaiza; Erik Chaum; INSTITUTE FOR DEFENSE ANALYSES ALEXANDRIA VA
|
| Semantic interoperability among command and control information systems is critical to information sharing and proper automated processing. To improve multinational combined and joint mission capabilities, the Multilateral Interoperability Programme (MIP) has defined the Joint Command, Control, and Consultation Information Exchange Data Model (JC3IEDM), which is gaining wide acceptance beyond the MIP community. In this paper, we present a reference XML schema definition (XSD) that has become an integral part of ... |
|
| Software Infrastructure to Support DSAP (Dynamic Situational Awareness and Prediction) Capabilities |
MAY 2006 |
50 pages |
| Authors:
Robert McGraw; RAM LABS INC SAN DIEGO CA
|
| Today's C4I systems will be required to support faster-than-real-time predictive simulation that can determine possible outcomes by re-calibrating with real-time sensor data or extracted knowledge in real-time. This capability is known as a Dynamic Situation Assessment and Predication (DSAP) capability. The work under this contract involved developing a software infrastructure to support the implementation of a DSAP capability for decision aids. Specifically, this effort focused on developing enhancements for existing ... |
|
| Experimental and Numerical Study of Spacecraft Contamination Problems Associated With Gas and Gas-Droplet Thruster Plume Flows |
17 APR 2006 |
219 pages |
| Authors:
Mikhail S. Ivanov; RUSSIAN ACADEMY OF SCIENCES NOVOSIBIRSK INST OF THEORETICAL AND APPLIED MECHANICS
|
| The project consists of two large parts. The first part is the study of plume flows escaping into vacuum, and the second part deals with gasdroplet flows. These two parts are united by a common area of research, namely, contamination problems of space station surfaces due to thruster firing. The objective of the first part is accurate prediction of force and heat loads and contamination due to interaction of thruster ... |
|
| FlashLight: A Dynamic Detector of Shared State, Race Conditions, and Locking Models in Concurrent Java Programs |
MAR 2006 |
100 pages |
| Authors:
Scott C. Hale; AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OH SCHOOL OF ENGINEERING AND MANAGEMENT
|
| Concurrent Java programs are difficult to understand and implement correctly. This difficultly leads to code faults that are the source of many real-world reliability and security problems. Many factors contribute to concurrency faults in Java code; for example, programmers may not understand Java language semantics or, when using a Java library or framework, may not understand that their resulting program is concurrent. This thesis describes a dynamic analysis tool, named ... |
|
| Building, Using, Sharing and Reusing Environment Concept Models |
2006 |
11 pages |
| Authors:
Christopher Chadbourne; Douglas Clark; VISITECH LTD ALEXANDRIA VA
|
| As Federations become larger and more complex, additional procedures and tools are being developed to help domain experts specify authoritative representations. This paper summarizes experience and lessons learned in developing a new tool needed by synthetic natural environment providers and simulation system integrators. The Environment Concept Model (ECM) is an object-oriented documentation technique. The technique is tailored for system engineers who must deliver a consistent synthetic environment representation, on time ... |
|
| Support for Extensibility and Site Autonomy in the Legion Grid System Object Model |
2006 |
21 pages |
| Authors:
Michael J. Lewis; Adam J. Ferrari; Marty A. Humphrey; John F. Karpovich; Mark M. Morgan; Anand Natrajan; Anh Nguyen-Tuong; Glenn S. Wasson; Andrew S. Grimshaw; VIRGINIA UNIV CHARLOTTESVILLE DEPT OF COMPUTER SCIENCE
|
| Grid computing is the use of large collections of heterogeneous, distributed resources (including machines, databases, devices, and users) to support large scale computations and wide-area data access. The Legion system is an implementation of a software architecture for grid computing. The basic philosophy underlying this architecture is the presentation of all grid resources as components of a single, seamless, virtual machine. Legion's architecture was designed to address the challenges of ... |
|
| Fault Tolerance via Replication in Coarse Grain Data-Flow |
2006 |
17 pages |
| Authors:
Anh Nguyen-Tuong; Andrew S. Grimshaw; John F. Karpovich; VIRGINIA UNIV CHARLOTTESVILLE DEPT OF COMPUTER SCIENCE
|
| Recent advances in network technology promise to make gigabit-per-second bandwidth between remote hosts a reality in the near future. This increase in bandwidth paves the way for increased exploitation of distributed computing resources. Coupled with advances in distributed memory parallel compiler technology, there is strong reason to believe that wide-area distributed parallel processing will be an increasingly popular and important programming paradigm. Parallelizing and distributing program sub-tasks has the potential ... |
|
| Capacity and Capability Computing using Legion |
2006 |
11 pages |
| Authors:
Anand Natrajan; Marty Humphrey; Andrew Grimshaw; VIRGINIA UNIV CHARLOTTESVILLE DEPT OF COMPUTER SCIENCE
|
| Computational Scientists often cannot easily access the large amounts of resources their applications require. Legion is a collection of software services that facilitate the secure and easy use of local and non-local resources by providing the illusion of a single virtual machine from heterogeneous, geographically-distributed resources. This paper describes the newest additions to Legion that enable high-performance (capacity) computing as well as secure, fault-tolerant and collaborative (capability) computing. |
|
| Campus-Wide Computing: Early Results Using Legion at the University of Virginia |
2006 |
26 pages |
| Authors:
Andrew S. Grimshaw; Anh Nguyen-Tuong; William A. Wulf; VIRGINIA UNIV CHARLOTTESVILLE DEPT OF COMPUTER SCIENCE
|
| The Legion project at the University of Virginia is an attempt to provide system services that provide the illusion of a single virtual machine to users, a virtual machine that provides both improved response time via parallel execution and greater throughput. Legion is targeted towards both workstation clusters and towards larger, wide-area, assemblies of workstations, supercomputers, and parallel supercomputers. Rather than construct Legion from scratch we are extending an existing ... |
|
| Simulation of Hydrodynamic Forces and Motions for a Freely Maneuvering Ship in a Seaway |
DEC 2005 |
|
| Authors:
Kevin McTaggart; DEFENCE RESEARCH AND DEVELOPMENT ATLANTIC DARTMOUTH (CANADA)
|
| ShipMo3D is DRDC Atlantic's object-oriented library for modelling ship motions in waves. Previous ShipMo3D development considered ships travelling with nominally steady speed and heading. This report describes the extension of the ShipMo3D library to model motions of freely maneuvering ships. New ShipMo3D force components arise from hull maneuvering, resistance, propulsion, and rudder-propeller interaction. Comparisons of turning circle predictions with full-scale trials data for the tanker Esso Osaka give encouraging results. ... |
|
| An Object-Oriented Classification Method on High Resolution Satellite Data |
28 SEP 2005 |
5 pages |
| Authors:
Sun Xiaoxia; Zhang Jixian; Liu Zhengjun; CHINESE ACADEMY OF SURVEYING AND MAPPING BEIJING (CHINA)
|
| To traditional moderate or low resolution satellite data, the data processing or information detecting is only on a per-pixel basis because of the impacts to geometric accuracy of spatial resolution. Thereby only the spectral information is used for the classification. High spatial resolution sensors involves a general increase of spatial information and the accuracy of results may decrease on a per-pixel basis. In order to realize the full potential of ... |
|
| Self-Diagnostics Digitally Controlled Pacemaker/Defibrillators: A Design Plan for Incorporating Diagnostics and Digital Control in the schema of a Pacemaker/Defibrillator Design |
SEP 2005 |
91 pages |
| Authors:
Steven Nedd; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| This research addresses the need for a pacemaker/defibrillator that could perform an automatic system self-diagnostics check to assure operational functionality and give doctors a chance to assess a patient's status in the event they are experiencing complications, as pointed out in an article in the journal Health Scout, which stated that 'St. Jude Medical Inc., the nation's second-largest pacemaker manufacturer, has warned doctors that at least 90 of its pacemakers ... |
|
| Performance Comparison of Relational and Native-XML Databases using the Semantics of the Land Command and Control Information Exchange Data Model (LC2IEDM) |
SEP 2005 |
315 pages |
| Authors:
Ian M. Denny; Dieter Jahn; NAVAL POSTGRADUATE SCHOOL MONTEREY CA
|
| Efforts to improve the military decision and action cycle have centered on automating the command and control process and improving interoperability among joint and coalition forces. However, information automation by itself can lead to increased operator overload when the way this information is stored and presented is not structured and consistently filtered. The majority of messaging systems store information in a document-centric free-text format that makes it difficult for command ... |
|
| Acoustic Simulation API Requirements Model |
SEP 2005 |
41 pages |
| Authors:
Valdis Berzins; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| The purpose of the Acoustic Simulation API is to provide a standard interface to a variety of ocean acoustic models meeting the needs of application developers. The initially envisioned application domain is simulation support for training of sonar operators. Other likely applications include future mission planning, simulating artificial environments to support test and evaluation of new fleet systems, comparative scientific studies of different acoustic models and other unanticipated uses. The ... |
|
| Type-Preserving Compilation of Featherweight Java |
31 AUG 2005 |
40 pages |
| Authors:
Christopher League; Zhong Shao; Valery Trifonov; YALE UNIV NEW HAVEN CT DEPT OF COMPUTER SCIENCE
|
| We present an efficient encoding of core Java constructs in a simple, implementable typed intermediate language. The encoding, after type erasure, has the same operational behavior as a standard implementation using v-tables and self-application for method invocation. Classes inherit super-class methods with no overhead. We support mutually recursive classes while preserving separate compilation. Our strategy extends naturally to a significant subset of Java, including interfaces and privacy. The formal translation ... |
|
| Fully Reflexive Intensional Type Analysis in Type Erasure Semantics |
31 AUG 2005 |
13 pages |
| Authors:
Bratin Saha; Valery Trifonov; Zhong Shao; YALE UNIV NEW HAVEN CT DEPT OF COMPUTER SCIENCE
|
| Compilers for polymorphic languages must support runtime type analysis over arbitrary source language types for coding applications like garbage collection, dynamic linking, pickling, etc. On the other hand, compilers are increasingly being geared to generate type-safe object code. Therefore, it is important to support runtime type analysis in a framework that generates type correct object code. In this paper we show how to integrate runtime type analysis over all types ... |
|
| Quality of Service-Driven Requirements Analyses for Component Composition: A Two-Level Grammar++ Approach |
01-Jul-2005 |
5 pages |
| Authors:
Mikhail Auguston; Fei Cao; Barrett R Bryant; Rajeev R Raje; Andrew M Olson; Shih-Hsi Liu; Jeff Gray; ALABAMA UNIV IN BIRMINGHAM
|
| Component-based software engineering provides developers the opportunity to assemble entire systems from components. When applied to Distributed Real-Time and Embedded (DRE) systems, which components to assemble and how to assemble them are determined not only from functional correctness criteria but also assurance of the system's quality of service (QoS). This paper presents a grammatical QoS-driven approach to optimizing component assembly by reducing the search space of assembly alternatives through the ... |
|
| Establishing Correspondence Among Shared Information and Tasks |
07 JUN 2005 |
49 pages |
| Authors:
Candace M. Childers; NAVAL ACADEMY ANNAPOLIS MD DEPT OF COMPUTER SCIENCE
|
| Creating interoperability among heterogenenous systems enhances our military's warfighting capabilities. Differences in hardware, languages, and data models make interoperability hard to achieve. The Object-Oriented Method for Interoperability (OOMI) resolves modeling differences among systems through construction of a Federal Interoperability Object Model (FIOM) used to capture information and tasks shared among systems. The FIOM is constructed in either a bottom-up or top-down fashion using the OOMI Integrated Development Environment (OOMI IDE) ... |
|
| Tools for User-Assisted Behavioral Monitoring of Distributed Information Networks |
JUN 2005 |
67 pages |
| Authors:
Kaliappa Ravindran; CITY COLL NEW YORK DEPT OF COMPUTER SCIENCE
|
| This research focused on providing an event specification approach to enable a flexible monitoring and control of distributed real-time information systems (DIS). The research constructed an object-oriented Application Programming Interface (API) that allows the monitoring of compliance to properties deemed as critical for function of a DIS. Users can prescribe critical properties in the form of event predicates, which are Boolean conditions on the externally visible computation state among the ... |
|
| Modeling and Simulation Support for the Standing Joint Force Headquarters Concept |
JUN 2005 |
43 pages |
| Authors:
Susan G. Hutchin; Gordon E. Schacher; James Dailey; John P. Looney; Steven E. Saylor; Jack J. Jensen; John S. Osmundson; Shelley P. Gallup; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF INFORMATIONAL SCIENCES
|
| A computational model of Standing Joint Force Headquarters (SJFHQ) processes was developed using EXTEND simulation software. In this paper we describe the use of this modeling and simulation approach for analyzing time-critical information systems and performing trade studies. An object-oriented model was constructed of the processes performed by SJFHQ members and simulations were run to obtain system measures of performance. This model focuses on the planning processes performed by SJFHQ ... |
|
| Virtual Laboratory Environment for High Voltage Radiation Source Experiments |
MAY 2005 |
33 pages |
| Authors:
Thuc Bui; CALABAZAS CREEK RESEARCH INC SARATOGA CA
|
| CCR and UCB have achieved the Phase I overall technical objective, which was to demonstrate the feasibility of a computational virtual laboratory for simulating high voltage effects. Models in support of this objective were identified and defined in Phase I, with some components implemented in the one- dimensional object oriented code, and others implemented directly in the 2D code. The 1D code serves as a platform for rapid prototyping of ... |
|
| ORBAT Services Design Version 1.0 |
MAY 2005 |
|
| Authors:
Glen Coomber; Carly Forbes; Philip Hawthrone; DEFENCE SCIENCE AND TECHNOLOGY ORGANISATION EDINBURGH (AUSTRALIA) COMMAND AND CONTROL DIV
|
| The ORBAT Services Working Group was a joint DSTO, DMO and Industry activity in design, document and prototype a technical information infrastructure for applications and services within the Defence Information Environment that manipulate and store Order of Battle (ORBAT) information. This document records the results of this activity and provides standardised Web Service Description Language interfaces, XML data representations and Use Cases for the management and manipulation of ORBAT information ... |
|
| Aspect Suite Automation for Embedded Mission Systems |
01 MAR 2005 |
43 pages |
| Authors:
Brian J. Ellis; John A. Stankovic; BOEING CO ST LOUIS MO
|
| Aspect oriented programming (AOP), when used well, has many advantages. Aspects are however, programming-time constructs, i.e., they relate to source code. In this project, two types of design time aspects were identified, aspect checks and prescriptive aspects and these concepts were incorporated into a compositional toolkit: VEST. The VEST toolkit can substantially improve the development, implementation and evaluation of systems built from components which must interoperate, satisfy various dependencies, and ... |
|
| Status Display Tool |
19 JAN 2005 |
29 pages |
| Authors:
Gregory A. Bussiere; DEPARTMENT OF THE NAVY WASHINGTON DC
|
| In a distributed computing environment utilizing Common Object Request Broker Architecture (CORBA), this patent application discloses a software status display tool that provides a graphical representation of the current operational status of all of the data sources in a computer network. The display tool accesses the CORBA Name Server and obtains all available references for object implementations and their CORBA Interface Definition Language (IDL) interface. The references and interfaces map ... |
|
Reports by Keyword(s)
OBJECT ORIENTED PROGRAMMING
