Although it is somewhat of a cliche that computers are revolutionizing education, it is still not common to find computer-based interactive curricular material. Internet technologies are likely to change this situatio...
详细信息
Although it is somewhat of a cliche that computers are revolutionizing education, it is still not common to find computer-based interactive curricular material. Internet technologies are likely to change this situation by providing standards based on virtual machines and mete-languages. Adopting these technologies may improve the teaching of the underlying physics. This paper describes a set of java applets, known as Physlets, that make use of these technologies. Physlets are designed to communicate with browsers by employing a scripting language such as javaScript, thereby allowing one ripplet to be used in many different contexts. (C) 2000 Elsevier Science B.V. All rights reserved.
This paper develops a methodology for generating operationally acceptable reroutes in the presence of convective weather. A decision support system that defines flight-specific reroutes would aid traffic managers in e...
详细信息
This paper develops a methodology for generating operationally acceptable reroutes in the presence of convective weather. A decision support system that defines flight-specific reroutes would aid traffic managers in efficiently maneuvering flights, but only if the reroutes provided were acceptable alternatives. As such, this research describes a methodology that captures, through the network definition and metric evaluations, properties of reroutes that are both flexible and operationally acceptable. By employing network optimization techniques, reroutes are developed that can estimate and avoid dynamic weather constraints and do so by optimizing a set of operational acceptability metrics. This paper first illustrates how prioritizing weather avoidance as compared with other cost factors in network generation alters the reroutes generated, which can aid in parameter setting for automation. The reroutes generated through network optimization are then compared with traditional reroute alternatives by evaluating each set of reroutes against a set of operationally acceptable metrics. The overall approach of the proposed methodology is reviewed and details are provided on the modeling formulation and solution algorithm employed by the network optimization method. Multiple flights with weather-impacted routes are examined to show the effectiveness of the proposed methodology in producing reroutes with better operational acceptability.
Open source license compliance (OSLC) is the process of ensuring that an organization satisfies the licensing requirements of the open source software it reuses, whether for its internal use or as a part of a product ...
详细信息
Open source license compliance (OSLC) is the process of ensuring that an organization satisfies the licensing requirements of the open source software it reuses, whether for its internal use or as a part of a product it ships. The major challenges of OSLC include component identification, provenance discovery, license identification, and licensing requirements analysis. Kenen is an approach that assists organizations in OSLC for java components.
Finding bugs due to race conditions in multi-threaded programs is difficult, mainly because there are many possible interleavings, any of which may contain a fault. In this work we present a methodology for testing mu...
详细信息
Finding bugs due to race conditions in multi-threaded programs is difficult, mainly because there are many possible interleavings, any of which may contain a fault. In this work we present a methodology for testing multi-threaded programs which has minimal impact on the user and is likely to find interleaving bugs. Our method reruns existing tests in order to detect synchronization faults. We find that a single test executed a,number of times in a controlled environment may be as effective in finding synchronization faults as many different tests. A great deal of resources are saved since tests are very expensive to write and maintain. We observe that simply rerunning tests, without ensuring in some way that the interleaving will change, yields almost no benefits. We implement the methodology in our test generation tool-ConTest. ConTest combines the replay algorithm, which is essential for debugging, with our interleaving test generation heuristics. ConTest also contains an instrumentation engine, a coverage analyzer, and a race detector (not finished yet) that enhance bug detection capabilities. The greatest advantage of ConTest, besides finding bugs of course, is its minimal effect on the user. When ConTest is combined into the test harness, the user may not even be aware that ConTest is being used. Copyright (C) 2003 John Wiley Sons, Ltd.
The field of soft sensor data fusion deals with human sources of information, as opposed to more traditional approaches that deal primarily with information from hard (physics-based) sensors. To facilitate the collect...
详细信息
The field of soft sensor data fusion deals with human sources of information, as opposed to more traditional approaches that deal primarily with information from hard (physics-based) sensors. To facilitate the collection of data from soft sensors, a graphical user interface has been designed. Data that the user enters into the graphical user interface are represented numerically using fuzzy logic. Fuzzy logic is also used in order to fuse data from multiple users or from the same user at different points in time. The fusion system has been tested both in simulation and in the field using a hypothetical search and rescue problem.
Shape modeling systems based on the HyperFun modeling language treat Internet-based shape modeling as a resource and let users collaborate in shape development.
Shape modeling systems based on the HyperFun modeling language treat Internet-based shape modeling as a resource and let users collaborate in shape development.
In this paper we present an environment for the development of java-based discrete event simulations. An integrated approach is taken that combines discrete event semantics with java and exceeds the expressiveness of ...
详细信息
In this paper we present an environment for the development of java-based discrete event simulations. An integrated approach is taken that combines discrete event semantics with java and exceeds the expressiveness of discrete event libraries. The environment supports advanced techniques including distributed evaluation with conservative or optimistic event execution using the Time Warp protocol. We present some performance results and discuss the difficulties encountered with Parallel Discrete Event Simulation. (C) 1998 John Wiley & Sons, Ltd.
This paper describes a framework for parallel computing in a locally confined, scalable computing cluster (SCC) using java agents. The framework consists of a programming model with agents and asynchronous invocations...
详细信息
This paper describes a framework for parallel computing in a locally confined, scalable computing cluster (SCC) using java agents. The framework consists of a programming model with agents and asynchronous invocations, and a scheme for adaptive placement of multiple agents in an SCC. Our scheme is geared to improve the overall performance by a dynamic match between the available cluster resources and the execution requirements of the agents. This is accomplished by agent migrations among the nodes using on-line algorithms for load leveling and reduction of the interagent communication overhead. Simulations of several examples show that our scheme outperforms a static agent placement scheme by as much as 40% for the test cases. (C) 1998 John Whey & Sons, Ltd.
When you think of java 2D, you usually think of Swing applications that render graphics onto displays. The only way web applications can access screens is via browsers, which retrieve and display images. However, beca...
详细信息
When you think of java 2D, you usually think of Swing applications that render graphics onto displays. The only way web applications can access screens is via browsers, which retrieve and display images. However, because the images are provided by servers, you really need to think in terms of server-side java 2D. In this article, I show how to add graphics containing dynamic data to web pages using the java 2D API―a set of classes for advanced 2D graphics and imaging that encompasses line art, text, and irnages in a single comprehensive model.
java, in combination with Web browsers' abilities to load and execute untrusted java applets in a secure fashion, has made computing over the Web a possibility, Now the challenge is to fully utilize this potential...
详细信息
java, in combination with Web browsers' abilities to load and execute untrusted java applets in a secure fashion, has made computing over the Web a possibility, Now the challenge is to fully utilize this potential, given the limitations imposed by browsers. This paper presents KnittingFactory, an infrastructure to facilitate Web-based computing, which addresses this challenge. It supports building distributed applications, specifically those consisting of java applets executing in browsers. It is composed of: (i) a distributed name service to assist users in locating other participants of a distributed computation via standard browsers;(ii) an embedded class server to eliminate the need for external HTTP servers for serving applet code;and (iii) a technique for direct applet-to-applet communication. In this paper, we describe the design and implementation of KnittingFactory and demonstrate its benefits by applying it to three distinct areas of Web-based computing. First, we apply our distributed name service to a client/server architecture to enable RMI clients to locate servers on unknown hosts. Second, we nse the embedded class server to extend the capability of Charlotte, a parallel computing environment. Finally, we build a collaborative application using our direct applet-to-applet communication technique which does not require a forwarding agent. (C) 1998 John Whey & Sons, Ltd.
暂无评论