Institute for Systems Research Technical Reports
Permanent URI for this collectionhttp://hdl.handle.net/1903/4376
This archive contains a collection of reports generated by the faculty and students of the Institute for Systems Research (ISR), a permanent, interdisciplinary research unit in the A. James Clark School of Engineering at the University of Maryland. ISR-based projects are conducted through partnerships with industry and government, bringing together faculty and students from multiple academic departments and colleges across the university.
Browse
Search Results
Item An Introduction to Belief Networks(1999) Li, Hongjun; Baras, John S.; ISR; CSHCNBelief networks, also called Bayesian networks or probabilistic causal networks, were developed in the late 1970s to model the distributed processing in reading comprehension. Since then they have attracted much attention and have become popular within the AI probability and uncertainty community. As a natural and efficient model for humans' inferential reasoning, belief networks have emerged as the general knowledge representation scheme under uncertainty.In this report, we first introduce belief networks in the light of knowledge representation under uncertainty, then in the remainingsections we give the descriptions of the semantics, inference mechanisms and some issues related to learning belief networks, respectively. This report is not intended to be a tutorial for beginners. Rather it aims to point out some important aspects of belief networks and summarize some important algorithms.
Item An Automated, Distributed, Intelligent Fault Management System for Communication Networks(1999) Li, Hongjun; Baras, John S.; Mykoniatis, George; ISR; CSHCNIn this paper we present a Distributed Intelligent Fault Management (DIFM) system for communication networks. The overall architecture of the proposed system is based on a distributed, cooperative, multi-agent paradigm, with probabilistic networks as the framework for knowledge representation and evidence inferencing. We adopt the management by delegation paradigm for network monitoring and integrate both hard and soft faults.Item Tabu Search for a Network Loading Problem(1999) Berger, David; Gendron, Bernard; Potvin, Jean-Yves; Raghavan, S.; Soriano, Patrick; ISRThis paper examines a network design problem that arises in the telecommunications industry. In this problem, communication between a gateway vertex and a number of demand vertices is achieved through a network of fiber optic cables.Since each cable has an associated capacity (bandwidth), enough capacity must be installed on the links of the network to satisfy the demand, using possibly different types of cables. Starting with a network with no capacity or some capacity already installed, a tabu search heuristic is designed to find a solution that minimizes the cost of installing any additional capacity on the network. This tabu search applies a k-shortest path algorithm to find alternative paths from the gateway to the demand vertices. Numerical results are presented on different types of networks with up to 200vertices and 100 demand vertices.
Item Strong Formulations for Network Design Problems with Connectivity Requirements(1999) Magnanti, Thomas L.; Raghavan, S.; ISRThe network design problem with connectivity requirements (NDC)models a wide variety of celebrated combinatorial optimizationproblems including the minimum spanning tree, Steiner tree, andsurvivable network design problems. We develop strong formulationsfor two versions of the edge-connectivity NDC problem: unitaryproblems requiring connected network designs, and nonunitaryproblems permitting non-connected networks as solutions.We(i) present a new directed formulation for the unitary NDC problemthat is stronger than a natural undirected formulation,(ii) project out several classes of valid inequalities---partitioninequalities, odd-hole inequalities, and combinatorial designinequalities---that generalize known classes of valid inequalitiesfor the Steiner tree problem to the unitary NDC problem, and(iii) show how to strengthen and direct nonunitary problems.
Our results provide a unifying framework forstrengthening formulations for NDC problems, and demonstratethe strength and power of flow-based formulations fornetwork design problems with connectivity requirements.
Item Fault Tolerant Rerouting in Broadband Multiclass Networks(1996) Vakhutinsky, A.I.; Ball, M.O.; ISR; CSHCNModern broadband integrated service digital networks (B-ISDN) must handle multiclass traffic with diverse quality of service (QOS) requirements. The main purpose of our research is to design call rerouting mechanisms which provide rapid restoration of network services in case of link failures. We suggest two approaches: Virtual circuit (VC) and virtual path (VP) reroutings. The first approach is more reactive while the latter is more proactive. The applicability conditions for the first approach include the availability of a layered network structure similar to VC/VP architecture which is widely accepted in asynchronous transfer mode (ATM) networks. Another applicability condition is the extent of network failure: VP level restoration is designed for single link failures - the most common in the telecommunication networks. On the other hand, in case of less predictable multiple link failures, VC-level rerouting is appropriate. These two rerouting approaches vary in the amount of time required to carry them out. Though both schemes are designed to work in real time, VP-level rerouting tends to be faster and can be performed in an on-line mode using pre-computed paths. VC- level rerouting requires real-time computation of routes which may result in a noticeable impact on some services. On the other hand, VP-level rerouting requires a substantial amount of off- line computation to design the VP layout and the backup routes.In this dissertation we propose a new model and associated algorithms to solve a VC-rerouting problem in real time. This model takes advantage of the distributed network data and computational resources by decomposing the problem at an early stage and then performing the computations in a decentralized mode.
In order to solve the fault tolerant VP layout problem, we formulate a bi-criteria optimization model reflecting the tradeoff between throughput and certain QOS requirements. The model involves a piece-wise linear approximation to the capacity allocation rule for variable bit rate connections statistically multiplexed over a VP.
Both models are formulated as integer programs. The solution method developed employ relaxation and aggregation of variables, feasible solution heuristics and valid inequalities. The results of the computational experiments presented indicate that the methods developed are efficient and produce accurate solutions.
Item Two-Path Subsets: Efficient Counting and Applications to Performability Analysis(1996) Ball, Michael O.; Hagstrom, Jane N.; Provan, J. Scott; ISRThe problem of computing preformability probabilities in stochastic PERT and flow networks is studied when the networks is ﲭinimally designed to withstand any two component failures. Polynomial-time algorithms to compute preformability when the network is planar -- the nonplanar versions being NP-hard -- solve related ﲴwo-path subset problems. Given an acyclic graph with weights on the arcs, the algorithms compute the total weight of all subsets of arcs that are contained in (1) two source-sink paths or (2) two arc-disjoint source-sink paths. A polynomial algorithm is given for (1), and for (2) in the case where the graph is a source-sink planar k-flow graph, that is edge-minimal with respect to supporting k units of flow.Item Advances in High Performance Knowledge Representation(1996) Stoffel, K.; Taylor, M.; Hendler, James A.; Saltz, J.; Andersen, William; ISRReal world applications are demanding that KR systems provide support for knowledge bases containing millions of assertions. We present Parka-DB, a high-performance reimplementation of the Parka KR language which uses a standard relational DBMS. The integration of a DBMS and the Parka KR language allows us to efficiently support complex queries on extremely large KBs using a single processor, as opposed to our earlier massively parallel system. In addition, the system can make good use of secondary memory, with the whole system needing less than 16MB of RAM to hold a KB of over 2,000,000 assertions. We demonstrate empirically that this reduction in primary storage requires only about 10% overhead in time, and decreases the load time of very large KBs by more than two orders of magnitude.Item Integrated Manufacturing Facility Design(1995) Ioannou, George; Minis, I.; ISRThis dissertation addresses for the first time the integrated problem of designing the manufacturing shop layout concurrently with its material handling system. Specifically, this study provides a method to derive shop designs that are economic to set up and efficient to operate. In doing so, it considers the following highly interrelated issues: i) The topology of the material flow network, ii) the transporter fleet size and routing, and iii) the layout of the resource groups on the shop floor. The design problem is modeled by a comprehensive mathematical program which captures critical practical concerns such as investment and operational costs, traffic congestion, and transporter capacities. The model is decomposed into three NP- hard subproblems by fixing and/or aggregating variables and constraints. The first subproblem is the generic multi-commodity fixed charge capacitated network design, for which an improved lower bound is derived based on a dual ascent method. This problem is solved by three heuristics that provide near-optimal network designs. The second subproblem concerns the transporter routing, which is a special case of the distance-constrained vehicle routing problem. For the transporter routing problem near-optimal solutions are derived in polynomial time by two efficient heuristics with bounded worst-case performance. Tight lower bounds are provided by solutions to the assignment problem. An integrated method combines the most effective heuristics for the material handling system design subproblems with a simulated annealing scheme to solve the global shop design problem. Our novel approach addresses simultaneously most major decisions involved in manufacturing shop design, and provides globally near optimal solutions. The method is applied to the redesign of the shop of a large manufacturer, and generates a particularly attractive production system design reducing significantly both investment and operational costs, while providing for smooth system operation.Item An Application of Graph Theory to the Detection of Fundamental Circuits in Epicyclic Gear Trains(1995) Tsai, L.W.; ISRIn this paper, a systematic procedure is developed for the identification of fundamental circuits and transfer vertices in epicyclic gear trains. The method utilizes the well-established concepts of graph theory and related matrices. The procedure leads to automated formulation of the kinematic equations in a systematic manner.Item Computer-Aided Sketching of Epicyclic-Type Automatic Transmission Gear Trains(1995) Chatterjee, Goutam; Tsai, Lung-Wen; ISRThe enumeration of epicyclic gear mechanisms in the form of graphs gives rise to the need of a methodology for reverse transformation, that is, for constructing the mechanisms from graphs. This paper addresses the issue by discretizing an epicyclic gear mechanism into Fundamental Geared Entities. Further, these geared entities are shown to be a conglomeration of four primitives; namely, the carrier, sun, ring, and the planet gear. An algorithm is formulated to create the entities from a graph by using these primitives. The entities are then connected to form a mechanism.
- «
- 1 (current)
- 2
- 3
- »