15553830
A distributed artificial intelligence approach to integrated engineering design
This paper reports the development of a computer-based integrated engineering design environment which facilitates design decision-making by providing a medium for increased communication and cooperation amongst product development participants. A refinement and constraint propagation model for product development is used within a distributed artificial intelligence (DAI) architecture to support the cooperative design effort. Within such an environment, product and process designers can integrate the recommendations and expertise of all product development concerns as early as possible within the design-cycle. Our prototype system, ENVIED (Environment for Integrated Engineering Design), provides a domain-independent framework for human designers, artificial intelligence systems, and traditional software systems to cooperatively perform product and process design.
12858200
Building Robust Learning Systems by Combining Induction and Optimization
Each concept description language and search strategy has an inherent inductive bias, a preference for some hypotheses over others. No single inductive bias performs optimally on all problems. This paper describes a system that couples induction with optimization to carry out an efficient search of large regions of inductive bias space. Experimental results are reported demonstrating the system's capacity to choose optimal biases even for complex and noisy problems.
35812356
A Study of How Domain Knowledge Improves Knowledge-Based Learning Systems
Abstract A knowledge-based learning system is developed to demonstrate that intelligently selecting a subset of examples based on domain knowledge for rule induction can be more productive than using all provided examples. Knowledge-based learning uses an incomplete domain theory and examples to induce knowledge missing in the theory. Knowledge-based learning systems determine where knowledge is missing in a domain theory, select a relevant subset of examples to use in induction, and induce new rules or modify existing rules.
5343942
Knowledge-Based Equation Discovery in Engineering Domains
Machine learning techniques that can compress datasets into relationships that underlie the data have great utility for engineers. Most model discovery systems are not well suited to discovering comprehensible models in engineering domains. In this paper we present KEDS, a Knowledge-based Equation Discovery System, which uses a model-driven approach to discover equations and thereby build models from engineering data.
6309018
Knowledge-based learning integrating acquisition and learning
Empirical learning algorithms are hampered by their inability to use domain knowledge to guide the induction of new rules. This paper describes knowledge-based learning, an approach to learning that selects the examples and relevant attributes for an empirical algorithm. Knowledge-based learning can be used for developing rules for engineering expert systems. Engineers often have some rules for problem solving, but also many experiences (examples) that facilitate solving problems. Knowledge-based learning systems are able to use both forms of knowledge.
37627056
SWIFT: system workbench for integrating and facilitating teams
There have been many R&D efforts in recent years to develop computer environments that directly enhance group problem-solving productivity. An example of such efforts is the computer-based virtual teaming technology (VTT) developed at the knowledge-based Engineering Sytems Research Laboratory (KESRL). The core software environment for KESRL's VTT is called SWIFT and is based on the knowledge processing technology (KPT) previously developed at KESRL to support various engineering design tasks. SWIFT is a flexible environment which enables the rapid development of collaborative applications, linking workers in distributed environments, of many domains. The paper presents the overall system architecture of SWIFT, and introduces the current and future R&D efforts at KESRL in realizing SWIFT for significant industrial applications.<<ETX>>
1236934
A Packet Scheduling Approach to QoS Support in Multihop Wireless Networks
Providing packet-level quality of service (QoS) is critical to support both rate-sensitive and delay-sensitive applications in bandwidth-constrained, shared-channel, multihop wireless networks. Packet scheduling has been a very popular paradigm to ensure minimum throughput and bounded delay access for packet flows. This work describes a packet scheduling approach to QoS provisioning in multihop wireless networks. Besides minimum throughput and delay bounds for each flow, our scheduling disciplines seek to achieve fair and maximum allocation of the shared wireless channel bandwidth. However, these two criteria can potentially be in conflict in a generic-topology multihop wireless network where a single logical channel is shared among multiple contending flows and spatial reuse of the channel bandwidth is possible. In this paper, we propose a new scheduling model that addresses this conflict. The main results of this paper are the following: (a) a two-tier service model that provides a minimum “fair” allocation of the channel bandwidth for each packet flow and additionally maximizes spatial reuse of bandwidth, (b) an ideal centralized packet scheduling algorithm that realizes the above service model, and (c) a practical distributed backoff-based channel contention mechanism that approximates the ideal service within the framework of the CSMA/CA protocol.
8338982
Self-coordinating localized fair queueing in wireless ad hoc networks
Distributed fair queueing in a multihop, wireless ad hoc network is challenging for several reasons. First, the wireless channel is shared among multiple contending nodes in a spatial locality. Location-dependent channel contention complicates the fairness notion. Second, the sender of a flow does not have explicit information regarding the contending flows originated from other nodes. Fair queueing over ad hoc networks is a distributed scheduling problem by nature. Finally, the wireless channel capacity is a scarce resource. Spatial channel reuse, i.e., simultaneous transmissions of flows that do not interfere with each other, should be encouraged whenever possible. In this paper, we reexamine the fairness notion in an ad hoc network using a graph-theoretic formulation and extract the fairness requirements that an ad hoc fair queueing algorithm should possess. To meet these requirements, we propose maximize-local-minimum fair queueing (MLM-FQ), a novel distributed packet scheduling algorithm where local schedulers self-coordinate their scheduling decisions and collectively achieve fair bandwidth sharing. We then propose enhanced MLM-FQ (EMLM-FQ) to further improve the spatial channel reuse and limit the impact of inaccurate scheduling information resulted from collisions. EMLM-FQ achieves statistical short-term throughput and delay bounds over the shared wireless channel. Analysis and extensive simulations confirm the effectiveness and efficiency of our self-coordinating localized design in providing global fair channel access in wireless ad hoc networks.
42944978
Reliability enhancement of electronic packages by design of optimal parameters
Abstract Reliability growth testing involves the selection of optimal design parameters to enhance a product's reliability. This paper proposes a split plot experimental design that accommodates the restriction on randomization on the order of experimental runs caused by the experimental nature of accelerated reliability testing. The proposed experimental design provides statistically relevant solutions about the choice of design parameters, in terms of their reliability impact, in a much shorter time. A degradation model that aids in predicting the failure time for the given problem further supplements this discussion.
8443328
Correct execution of transactions at different isolation levels
Many transaction processing applications execute at isolation levels lower than SERIALIZABLE in order to increase throughput and reduce response time. However, the resulting schedules might not be serializable and, hence, not necessarily correct. The semantics of a particular application determines whether that application will run correctly at a lower level and, in practice, it appears that many applications do. The decision to choose an isolation level at which to run an application and the analysis of the correctness of the resulting execution is usually done informally. We develop a formal technique to analyze and reason about the correctness of the execution of an application at isolation levels other than SERIALIZABLE. We use a new notion of correctness, semantic correctness, a criterion weaker than serializability, to investigate correctness. In particular, for each isolation level, we prove a condition under which the execution of transactions at that level will be semantically correct. In addition to the ANSI/ISO isolation levels of READ UNCOMMITTED, READ COMMITTED, and REPEATABLE READ, we also prove a condition for correct execution at the READ-COMMITTED with first-committer-wins and at SNAPSHOT isolation. We assume that different transactions in the same application can be executing at different levels, but that each transaction is executing at least at READ UNCOMMITTED.
623020
URSA: ubiquitous and robust access control for mobile ad hoc networks
Restricting network access of routing and packet forwarding to well-behaving nodes and denying access from misbehaving nodes are critical for the proper functioning of a mobile ad-hoc network where cooperation among all networking nodes is usually assumed. However, the lack of a network infrastructure, the dynamics of the network topology and node membership, and the potential attacks from inside the network by malicious and/or noncooperative selfish nodes make the conventional network access control mechanisms not applicable. We present URSA, a ubiquitous and robust access control solution for mobile ad hoc networks. URSA implements ticket certification services through multiple-node consensus and fully localized instantiation. It uses tickets to identify and grant network access to well-behaving nodes. In URSA, no single node monopolizes the access decision or is completely trusted. Instead, multiple nodes jointly monitor a local node and certify/revoke its ticket. Furthermore, URSA ticket certification services are fully localized into each node's neighborhood to ensure service ubiquity and resilience. Through analysis, simulations, and experiments, we show that our design effectively enforces access control in the highly dynamic, mobile ad hoc network.