We are developing a unique computational environment for use in conjunction with the two-semester introductory calculus sequence. Our system, called Newton (formerly The Calculus Companion), runs on Macintosh computer...
详细信息
A preliminary simulation model developed from a project for Washington State Superior Courts is presented in this paper. The project is one of a few attempts in applying simulation technique to judicial *** model wiil...
详细信息
Proof Animationtm is a family of general-purpose, filedriven, vector-based, postprocessing animation software products which runs on readily available, inexpensive PC hardware and includes CAD-like drawing tools and a...
详细信息
In our recent work, we have shown that forming linear combination of model results tends to yield more accurate predictions of software reliability. Using linear combinations also simplifies the practitioner's tas...
详细信息
ISBN:
(纸本)0818626208
In our recent work, we have shown that forming linear combination of model results tends to yield more accurate predictions of software reliability. Using linear combinations also simplifies the practitioner's task of deciding which model or models to apply to a particular development effort. Currently, no commercially available tools permit such combinations to be formed within the environment provided by the tool. Most software reliability modeling tools also do not take advantage of the high-resolution displays available today. Performing actions within the tool may be awkward, and the output of the tools may be understandable only to a specialist. We propose a software reliability modeling tool that allows users to formulate linear combination models, that can be operated by non-specialists, and that produces results in a form understandable by software developers and managements.
A description is given of a real-time operating system (RTOS) which can allow users to achieve the gradual migration from the ITRON kernel to the mu ITRON kernel. It has some risks for the user to migrate between the ...
详细信息
Autocorrelated processes occur naturally in many domains. Typical examples include autocorrelated (bursty) job arrivals to a manufacturing shc,p or telecommunications network. This paper presents a novel approach to i...
详细信息
This paper describes code-level modeling in XSPICE, an extended version of the SPICE3 simulator from the University of California at Berkeley. XSPICE extends SPICE3's capabilities to allow efficient simulation of ...
详细信息
In the development and utilization of computer programs for Knowledge Based Systems or `Expert Systems', the process of acquiring knowledge and putting it into rules or structures that the machine can use, is a co...
详细信息
ISBN:
(纸本)089791502X
In the development and utilization of computer programs for Knowledge Based Systems or `Expert Systems', the process of acquiring knowledge and putting it into rules or structures that the machine can use, is a costly and time intensive task. Current methods of knowledge acquisition, both manual and automatic, require inordinate amounts of a `Domain Expert's' and `Knowledge Engineer's' time. One approach to automatic knowledge acquisition, AUTOKNAQ, is presented here. Fault Isolation expert systems for electronic and/or electromechanical systems are selected for the development of this acquisition process. An AUTOKNAQ user identifies the target system to be fault isolated by constructing readily separable components known as the Lowest Replaceable Units (LRUs) which are interconnected and receive a finite set of external inputs, and offer a finite set of outputs. An interview editor prompts the user for knowledge relating to individual LRUs and their interface characteristics in order to construct the system topology for input validation, and to capture an LRU database for use in an expert system inference engine. A set of validation tests are run for the user inputs to assure they will create a viable, nonambiguous knowledge base by using interactive feedback and appropriate error messages given to the user to enable on-line corrections. Finally, knowledge base rules are generated for use with the previously saved database to allow an inference engine to pursue automatic fault diagnostics. This automatic knowledge acquisition method is unique in that it is not dependant on detailed models for an LRU type to construct the rules. Rather, it relies on the characteristics of the interfaces between the LRUs to generate rules that an expert system can use to infer through observations and measurements as to the faulty component(s). This `Black Box' approach should allow its use in a variety of diagnostic applications.
The authors describe useful strategies with respect to autonomous underwater vehicle controller (AUVC) software development as used on the AUVC project at the Texas A&M University. Graphical userinterface program...
详细信息
The authors describe useful strategies with respect to autonomous underwater vehicle controller (AUVC) software development as used on the AUVC project at the Texas A&M University. Graphical userinterface programs (GUIs) have been developed to ease many aspects of system development, integration, and testing as well as mission specification and system initiation, monitoring, shutdown, and analysis. The AUVC project consists of five primary layers of software, and appropriate GUIs have been developed. These GUIs are described.< >
Conventional interface builders allow the userinterface designer to select widgets such as menus, buttons and scroll bars, and lay them out using a mouse. Although these are conceptually simple to use, in practice th...
详细信息
ISBN:
(纸本)9780897915496
Conventional interface builders allow the userinterface designer to select widgets such as menus, buttons and scroll bars, and lay them out using a mouse. Although these are conceptually simple to use, in practice there are a number of problems. First, a typical widget will have dozens of properties which the designer might change. Insuring that these properties are consistent across multiple widgets in a dialog box and multiple dialog boxes in an application can be very difficult. Second, if the designer wants to change the properties, each widget must be edited individually. Third, getting the widgets laid out appropriately in a dialog box can be tedious. Grids and alignment commands are not sufficient. This paper describes Graphical Tabs and Graphical Styles in the Gild interface builder which solve all of these problems. A “graphical tab” is an absolute position in a window. A “graphical style” incorporates both property and layout information, and can be defined by example, named, applied to other widgets, edited, saved to a file, and read from a file. If a graphical style is edited, then all widgets defined using that style are modified. In addition, because appropriate styles are inferred, they do not have to be explicitly applied.
暂无评论