Sukhan Leey;x Chunsik Yix Jet Propulsion Laboratoryy Dept. of Computer Sciencex California Institute of Technology University of Southern California Pasadena, CA 91109 Los Angeles, CA 90089-0781 Abstract In this paper, we present an augmented space method to solve the assemblability of products where tolerances may prevent parts to assemble successfully. The accumulated tolerances of two serial...

We are often interested in finding out if a given predicate on states of a system can be satisfied in any or all of the systems reachable states. To determine this, one approach is to calculate the complete set of reachable states and evaluate the predicate on each of these states. To know which states we have already examined and which we have yet to examine—and thus knowing when we have exami...

The throughput of a manipulation process depends upon the arm's speed of operation, but many existing controllers provide accurate trajectory control only at low or moderate velocities. We propose a control method that explicitly compensates for configuration-dependent gravity, acceleration, and velocity forces the latter being especially important during rapid simultaneous motions of a number ...

In this paper we present a hybrid domain decomposition approach for the parallel solution of linear systems arising from a discontinuous Galerkin (DG) finite element approximation of initial boundary value problems. This approach allows a general decomposition of the space–time cylinder into finite elements, and is therefore applicable for adaptive refinements in space and time. 1 A Space–Time ...

With the intense increase in space debris, it is necessary to efficiently track and catalog the extensive dense clusters of space debris. As the main instrument for LEO space surveillance, a ground-based radar system is usually limited by its resolution while tracking small space debris with high density. Thus, the obtained measurement information could have been seriously missed, which makes t...

A Resource Space Grid is a virtual Grid that aims at effectively sharing, using and managing versatile resources across the Internet. The kernel of the Resource Space Grid includes a Resource Space Model (RSM) and a uniform Resource Using Mechanism (RUM). This paper presents the Resource Space Grid’s core scientific issues and methodology, architecture, model and theory, design criteria and met...

The dispatching problem for object oriented languages is the problem of determining the most specialized method to invoke for calls at run-time. This can be a critical component of execution performance. A number of recent results, including [Muthukrishnan and Müller SODA’96, Ferragina and Muthukrishnan ESA’96, Alstrup et al. FOCS’98], have studied this problem and in particular provided variou...

introduction in this paper, a new approach is applied to explain inner interactions in architectural spaces. this approach is recently used in urban design. it has also been used in architecture in this essay to consider the application of mosques_ madrasah in qazvin. this city as instances of salehich and madreseh is proving the interactions between the spaces of masjed-madresse in ghajari maj...

The sweep-line method exploits intrinsic progress in concurrent systems to alleviate the state explosion problem in explicit state model checking. The concept of progress makes it possible to delete states from the memory during state space exploration and thereby reduce peak memory usage. The contribution of this paper is twofold. First, we provide a coherent presentation of the sweep-line the...

The phase space slicing method of two cutoffs for next-to-leading-order Monte Carlo style QCD corrections has been applied to many physics processes. The method is intuitive, simple to implement, and relies on a minimum of process dependent information. Although results for specific applications exist in the literature, there is not a full and detailed description of the method. Herein such a d...