Abstract: The present invention relates to a method for visually detecting and tracking an object through a space. The method chooses modules for a restricting a search function within the space to regions with a high probability of significant change, the search function operating on images supplied by a camera. The method also derives statistical models for errors, including quantifying an indexing step performed by an indexing module, and tuning system parameters. Further the method applies a likelihood model for candidate hypothesis evaluation and object parameters estimation for locating the object.

Abstract: A self-resetting circuit is simulated in a switch-level simulator using simulation models that can conditionally treat an unknown value on an input node as a known value. An attribute is included with the simulation model. The attribute specifies to the simulator whether to treat an unknown value as a logical zero or a logical one. A single attribute can be associated with the simulation model, or one attribute can be associated with each input node. Self-resetting circuits can be simulated from an initial state that includes unknown states. The proper logical initialization behavior can be simulated while still allowing the self-resetting circuit to propagate unknown states during normal operation and simulation.

Abstract: The present invention relates to a computational tool that allows to evaluate the degradation of cement-based materials under various types of chemical attacks such as sulfates, chlorides, and plain water. It is based on the physical principles of ionic mass conservation and chemical equilibrium between a solution and different solid phases. The effect of the dissolution or the precipitation of solid phases on the transport coefficients is considered. A method for determining an ion concentration in solution of at least two ions capable of undergoing transport in a cement-based material under a chemical attack and a solid phase profile for at least one component of said cement-based material is provided. A method for determining a diffusion coefficient for each of at least two ions capable of undergoing transport in a cement-based material is also provided.

Abstract: The present invention includes methods of selecting cases in which to pack items in an item order and selecting the sequence and configuration of placement of items into the selected cases. One such method includes examining an order comprising a list of items to be packed, determining the cases available for packing, determining the minimum number of cases required for packing the items in the list of items to be packed, selecting a case to be packed with one or more of the items in the list of items to be packed, wherein said selecting a case comprises determining a desired average volume per case and selecting the smallest of the cases available to be packed that comprises a volume in excess of the average volume per case, and determining the configuration of placement in the case to be packed of items in the list of items to be packed. Such steps may be repeated until all items in the item list are selected and configured for packing.

Abstract: A method models an object composed of one or more components. Data are input to a memory of a computer system for each component of the object. The data include Cartesian coordinates expressed in Euclidean space of a plurality of points x of each component. Each component point x is encoded as a vector x in a general homogeneous space by x=(x+½x2e+e*)E=xE?½x2e+e*, where e and e* are basis null vectors of a Minkowski space E. General homogeneous operators are associated with each data point to generate a model of the object. The general homogeneous operators are applied to each encoded point of the associated component for each component to manipulate the model of the object.

Abstract: A graphical user interface for use in a handheld portable data terminal including a display screen and touch screen for sensing location of user contact. The graphical user interface includes a display sequence that displays multiple virtual regions on the display screen, wherein each virtual region corresponds to an event identifier. An event handler identifies one of the virtual regions that corresponds to the location of user contact sensed by the touch screen, determines a specific event identifier corresponding to the identified virtual region, and processes a predetermined sequence for the specific event identifier. The multiple virtual regions displayed on the display screen by the display routine preferably includes one of a virtual keypad for entering symbols associated with keys of the keypad, at least one scroll bar, at least one rolling key, multiple icons, a menu screen and a graphing screen.

Abstract: A code evaluation algorithm is used to determine optimal cache parameters. In evaluating the code, the algorithm uses a set of code characteristics the presence of which, or the degree of presence of which, impact the proper selection of cache parameters. Once the code characteristics have been selected, the algorithm uses boolean truth state tables or fuzzy logic membership set definitions to specify whether and when each code characteristic is true or false (i.e., present or absent) for a given set of code instructions. Programs are classified as having the following characteristics: 1) arithmetic intensive; 2) logic/decision intensive; 3) reference intensive; and/or 4) array/vector/table processing. To evaluate the code, the degree of presence or absence of these characteristics is described in logical fashion, using fuzzy logic.

Abstract: The disclosed method, a technique for analyzing anisotropic particle scattering, includes the step of establishing a three-dimensional geometric representation of an object. A set of rays is then projected through the three-dimensional geometric representation to produce simulated anisotropic particle scattering. An integral particle transport analysis is then executed on the simulated anisotropic particle scattering to produce particle transport data. The disclosed apparatus, a computer readable memory to direct a computer to function in a specified manner, includes a computer aided design system to establish a three-dimensional geometric representation of an object. The computer aided design system includes a line-of-sight analysis feature to project a set of rays through the three-dimensional geometric representation to produce simulated anisotropic particle scattering.

Abstract: A method and system estimates manufacturing costs for conventional and advanced materials and processes based on a process-oriented approach. A computer system comprises an input display for selecting one or more designs and one or more design parameters. Cost models are based upon process-oriented manufacturing cost estimates for a plurality of designs utilizing materials and manufacturing of processes. Software is programmed to receive selected designs and selected design parameters from the input display and pass the selected designs and design parameters to the cost models. An output display shows the manufacturing costs estimated by the cost models for the selected designs and design parameters. A manufacturing process flow simulation model highlights and quantifies the magnitude of the manufacturing process cost drivers.

Abstract: The changed state of a shape of a transformable element of each part is preregistered to a library in an assembly simulation. When two parts collide with each other, the changed state of the element is selected according to an interference condition such as a material, a direction in which force is applied, etc., and the interference between parts is verified based on the selected shape after being changed.

Abstract: In an exemplary embodiment, an application of combinatorial materials development with minimum materials development, minimum variance, and maximum integration is provided. The embodiment is directed to a method of project development of a combinatorial materials development process using DFSS techniques having four major elements. The first element is the use of a design for six sigma (DFSS) process mapping to convert a complex and disorganized process structure to an organized structure that can be further analyzed. The second element comprises the use of quality function deployment houses as a method of flowing critical to quality characteristics (CTQ) through a research project. The third element comprises a transfer function that connects the overall steps of the project to the output which is measured as variability not as mean. Score cards are used as the “function” to total the variabilities of each process step.

Abstract: A method and apparatus evaluates the runability of a photomask inspection tool that inspects plural sets of die, each die having a standard simulated industrial device feature at plural technology nodes. A technology node size is determined for each feature at which inspection by the tool provides no false detection of faults. A sensitivity module included on a photomask test plate along with a runability module allows determination of inspection tool sensitivity and runability in a single test sequence.

Abstract: A method and apparatus for mesh-free engineering analysis of geometric models is described. The method and apparatus, which are preferably software-based and implemented on personal computers or other programmable processing devices, represent geometric models by implicit mathematical functions. The implicit functions allow interpolation of all desired boundary conditions over the geometry without meshing, and the boundary conditions may then may be combined with a piecewise continuous model of the solution structure (i.e., the analysis problem). By solving for elements of the solution structure (its basis or coordinate functions) which satisfy the given boundary conditions either exactly or approximately, the solution structure will define the behavior and boundary conditions (exactly or approximately) throughout the geometric model.

Abstract: A method and apparatus for critical and false path verification takes all the potential false paths and captures the conditions that would make them true paths (or false paths) as a Boolean expression (net list), for the combinational logic only. The net list does not have to be at the gate level, but can be a simplified gate level representation because the verification process is only concerned with the logical behavior, not the actual structure. This allows the simulation to execute more quickly. Since the conditions are only captured between register elements, it can be formally proved whether or not the path can be exercised. If no register value can activate the path, then the analysis is done. Otherwise, a simulation is performed to determine whether the register values required to active the condition actually occur. If the Boolean condition can be satisfied, the simulation is performed on the sequential logic to justify those values.

Abstract: Method for determining at least one optimal trajectory between a point and a target situated in a medium and forming a centered volume, the position of each of whose points is known with geometrical uncertainties, characterized in that it consists in defining for the centered volume a gain which takes different values from the center to the peripheral boundary, and a zero value outside the centered volume; in determining a statistically significant number of instances of the positions of the centered volume as a function of the geometrical uncertainties which affect it, and in determining an aggregate gain at each point; in defining a volume of interest, site of the points with positive aggregate gains in the medium; in defining curvilinear trajectories between at least one entry point and at least one exit point of the said volume of interest; in integrating the aggregate gain along each of the said curvilinear trajectories in such a way as to obtain a profit associated with each trajectory, and in retaining

Abstract: A method for exploring the behavior of a design model, the method including the steps of providing a design model represented as a Finite State Machine (FSM). The method further includes the step of providing a path specification of interest. The method further includes the step of exploring the behavior of the design in order to find and present a scenario in the design that meets the path specification.

Abstract: Data storage devices of an enterprise system are tested to determine whether the enterprise system is optimally configured. Each data storage device is tested to determine whether it can satisfy a performance requirement for an assigned group of n workloads. A group of n inequalities are generated, and only up to n of the inequalities may be evaluated to determine whether the device satisfies the performance requirement for the assigned group of workloads. The inequalities are based on a phased, correlated model of I/O activity.

Abstract: A block dividing means (2) receives an original netlist (D1) defining a circuit to be simulated, selects a to-be-analyzed block specifying a device included in the circuit to be simulated based on input parameters provided from a parameter input means (1), divides the selected to-be-analyzed block into a plurality of to-be-analyzed sub-blocks, establishes an electric connection between the plurality of to-be-analyzed sub-blocks so as to provide a circuit configuration equivalent to the to-be-analyzed block, and finally outputs a modified netlist (D2) defining a new circuit to be simulated in which the to-be-analyzed block is replaced with the plurality of to-be-analyzed sub-blocks. A circuit simulation means (3) performs a circuit simulation on the new circuit to be simulated which is defined by the modified netlist (D2). A device for and method of simulation provides a simulation result which reflects the shape of the device in a short period of calculation time.

Abstract: In a CAD-data management system for managing a plurality of types of CAD data: a plurality of CAD-data processing units are capable of processing a plurality of predetermined types of CAD data, respectively: a processing-request generation unit receives a manipulation input designating CAD data of one of the plurality of types, and generates a processing request corresponding to the manipulation input and being directed to one of the plurality of CAD-data processing units which is capable of processing CAD data of the one of the plurality of types; and a linkage processing unit executes processing defined in a function in conjunction with the one of the plurality of CAD-data processing units, where the function is predefined corresponding to the processing request.