Abstract: An extractor extracts descriptions unexecuted in the logic simulation according to code coverage information for the circuit description. An examiner examines whether or not there is a possibility of executing the extracted unexecuted descriptions. A prohibited-input-checker generator generates a test pattern. The test pattern is to execute descriptions including unexecuted descriptions that there is a possibility of executing and excluding unexecuted descriptions that there is no possibility of executing as determined by the examiner. The prohibited-input-checker generator also generates a prohibited-input checker to check whether or not an input pattern of a logic simulation to be carried out is equal to an input pattern of the test pattern to execute the unexecuted description if the test bench is regarded as a prohibited input under a specification at a logic simulation using the test pattern to execute the unexecuted description.

Abstract: A method of transferring files between a computer on board a train and a remote station including determining if the remote station is within range of the train and establishing wireless communication between the onboard computer and the remote station. Next, the computer determines whether there are files to be transferred, and if so, transfers the file. If the remote station has updates to be transferred to the train, such updates are transferred to the onboard computer. Files and updates are also transferred between remote stations and between remote stations and a home base station. A method of adjusting a simulator includes inputting data from the train onto a simulator. The simulator is operated with the data and the simulator automatically adjusts the parameters of the simulator until the data of the simulator matches the data from the train. The data can then be process and analyzed.

Abstract: A design aid apparatus includes an input section, an antenna propensity determination section, an output section, and a memory storing design data for a plurality of structures comprising an electronic device to be designed. Conductivity of a structure is determined based on conductivity information of the structure read out from the memory. The antenna propensity determination section determines a contact relation, which expresses a state of electrical contact between a conductive structure having conductivity and another conductive structure, based on information relating to shapes and arrangements of structures stored in the memory. A length of a route between a reference conductive structure and the conductive structure is determined. The antenna propensity of the electronic device is evaluated based on the route length.

Abstract: A consistent back pressure formulation is introduced into ink-jet simulation models and algorithms to solve an instability problem that occurs as the head of an ink droplet reaches the end of the solution domain during simulation. The consistent back pressure formulation is obtained in a way that is consistent with the idea of interface smearing. Formulas for calculating the pressure boundary condition on quadrilateral grids are disclosed. An ink-jet simulation example is given to demonstrate the improved models and algorithms.

Abstract: A system, a method and a computer readable medium are provided for simulating a combined musculoskeletal and augmentation device system. The dynamics model of the combined musculoskeletal and augmentation device system receives computed torques at the joints as inputs and delivers simulated kinematic data of the segments as outputs. The augmentation device controller for control of the augmentation device, receives the simulated kinematic data as inputs and delivers assist torques as outputs. The inverse dynamics model for the musculoskeletal and augmentation device system, receives the simulated kinematic data, desired kinematic data of the segments and the assit torques as inputs and delivers the computed net joint torque and muscle torque. The muscle force and muscle capacity module for checking and adjusting the computed torques, receives the computed torques as inputs and delivers computed torques as outputs after the checking and adjustment.

Abstract: This invention provides in a safe and effective manner the experience of observing potential collision obstacles or other hazard images to the human operator of an otherwise conventional vehicle, (such as an automobile or aircraft) moving in a normal manner in a natural environment (such as an outdoor test track). The invention incorporates in addition to the mobile vehicle, computer-based image generation devices, and position, velocity, acceleration, measurement instruments to enable the simulated visual hazard images, including operator perception of and response to those hazard images. Making the actual moving vehicle part of the simulated hazard encounter means the vestibular (motion) cues and visual cues of the natural environment are very realistic, while only the computer-generated hazard images imposed on the natural environment view are virtual.

Abstract: A method for determining a with-distance relationship between a first geometry object and a second geometry object. The method includes defining an exterior approximation of the first geometry and the second geometry. A distance between the exterior approximations is computed. The computed distance is compared with a first predetermined distance to determine whether the second geometry satisfies a first filter condition with respect to the first geometry.

Abstract: A statistical delay simulation apparatus includes: a circuit simulator for simulating a circuit operation of a circuit cell constituting an LSI; a statistical delay library generator for driving the circuit simulator and generating, based on a process parameter and the like, a statistical delay library in which the dependency of a delay variation on a predetermined operation condition in each circuit cell is described; a delay calculator for calculating a delay amount of each circuit cell to generate a statistical LSI delay information file containing data on the calculated delay amount; and a static timing analyzer for simulating, based on data of the statistical LSI delay information file, an operation with a delay variation of the LSI to generate a statistical LSI delay analysis result file.

Abstract: Methods and systems for testing and diagnosis of weapon control systems are disclosed. In one embodiment, an apparatus for testing a weapon control system includes an interface unit and a simulator unit. The interface unit is adapted to be operatively coupled to the weapon control system, and the simulator unit is operatively coupled to the interface unit. The simulator unit receives and analyzes a control signal, and transmits at least one of a first type of responsive signal indicative of a properly functioning component, and a second type of responsive signal indicative of a malfunctioning component.

Abstract: A method for generating a simulated network using a graphical user interface (GUI). A network topology generated at a GUI by a user is received, wherein the network topology includes a plurality of devices and at least one connection between devices. A build file describing the network based on the network topology is automatically generated. A user is able to create and edit a simulated network through the GUI, thereby obviating the need for manually coding a simulated network. Large simulated networks can be quickly created, edited and maintained.

Abstract: A method and system of designing the operations and controls of a gas turbine, includes generating an operations model for the gas turbine including at least one objective function and defining operations and control constraints for the operations model of the gas turbine. An online dynamic optimizer/controller dynamically optimizes and controls operation of the gas turbine using model based control based on the operations model and the operations and control constraints. The model based control may include model predictive control.

Abstract: The present invention relates to a system and a method for developing an engine model. The system broadly comprises a module for generating a state variable model of an engine, which module receives a plurality of inputs to an engine representative of a particular flight condition and generates a set of estimated engine parameters representative of the model. The system further comprises a comparator for comparing the set of estimated engine parameters to a set of measured engine parameters for generating a set of residuals and an artificial neural network module to be trained and to be used in an implementation configuration after training has been completed. The artificial neural network receives the set of residuals and the engine inputs during a training phase and generates a set of estimated residuals representative of the engine condition.

Abstract: A method and apparatus for accumulating arbitrary length strings of input values, such as floating point values, in a layered tree structure such that the order of adds at each layer is maintained. The accumulating utilizes a shared adder, and includes means for directing initial inputs and intermediate result values.

Abstract: It has been reported in the literature that raceway measurement made during the decreasing gas velocity is relevant to operating blast furnaces. However, no raceway correlation is available either for decreasing or increasing gas velocity which is developed based on a systematic study and none of the available correlation take care of frictional properties of the material. Therefore, a systematic experimental study has been carried out on raceway hysteresis. Based on experimental data and using dimensional analysis, two raceway correlations, one each for increasing and decreasing gas velocity, have been developed. Also, in the present study the effect of stresses has been considered along with pressure and bed weight terms mathematically. These three forces are expressed in mathematical form and solved analytically for one-dimensional case, using a force balance approach. Based on the force balance approach a general equation has been obtained to predict the size of the cavity in each case, i.e.

Abstract: A method for identifying predictable data sharing locations includes generating a testcase thread of code, creating a list of data lines used by the generated testcase thread of code, and generating a list of predictable data sharing locations based on the data line list.

Abstract: In one embodiment, a method for designing a radiographic imaging system includes 1) receiving a number of design constraints for the system, and then 2) in response to the constraints, generating a plurality of radiographic imaging system designs, each having a different number of radiographic sources, and each requiring a different number of nominal scan passes to image a specimen region of interest. Designs having a greater number of radiographic sources have sets of translated radiographic detection areas sharing at least some coincident, nominal scan passes as compared to radiographic imaging system designs having fewer radiographic sources. Each set of translated radiographic detection areas is associated with a radiographic source that is replicated and translated with respect to a radiographic source that forms part of a radiographic imaging system design having fewer radiographic sources. Related systems and apparatus are also disclosed.

Abstract: A method for surface modeling of images to produce realistic images or to provide simulations with accurate surface information is provided. More particularly, the present invention relates to a new subdivision depth computation technique and to an improved label-driven adaptive subdivision technique for use in Catmull-Clark subdivision surface modeling systems. The method comprises computing a subdivision depth to determine the number of recursive subdivisions which may be performed on a control mesh to generate a plurality of finer mesh elements while preserving a predetermined error tolerance, and using the computed subdivision depth to construct an adaptively refined mesh that is substantially similar to the control mesh within the predetermined error tolerance. Limit control surfaces with and without extraordinary vertices may be analysed using the method of the invention. In another aspect, a software program for accomplishing the method of the present invention is provided.

Abstract: A method for using a computer to calculate a pileup state of an impurity in an interface between an Si layer in which a source and a drain are formed, and an SiO2 layer brought in contact with the Si layer at a high speed, wherein data is first set assuming that the Si layer is constituted of a plurality of cells. Subsequently, the impurity is moved to a pileup position of the interface from each cell, and an amount of impurity piled up in each pileup position of the interface is calculated. In this case, a mass of the impurity moving to the interface from each cell is determined as a function of a distance to each pileup position from each cell, and a distance to a source or a drain closest to the cell.

Abstract: A command sequence for an autonomous UAV mission is optimized by simulating the performance of a mission in a model environment. Using a genetic algorithm, neural net, or other suitable technique this command sequence is then optimized, to improve the outcome of the mission. A factor in selecting an optimal command sequence will be its compressability. A set of one or more optimal command sequences is compiled. Each optimal command sequence is encoded into an algorithmic active packet of minimum size for uploaded to the UAV, which then executes the mission. To track the UAV in its performance of the mission without compromising its location, the active packets are executed in the simulated environment. The simulated environment is continually updated with the most current available information. The simulation results are an approximation of the current state of the UAV.

Abstract: A system and method for providing hazardous incident decision support and training includes a user interface component that receives situation definition data, a hazard assessment component and a decision aid. Decision support advice and decision prompts are presented by the system in response to the situation definition interface and hazard assessment. The hazard assessment and expert advice of the system are updated with elapsed time. In another embodiment of the present invention, graphical user interfaces are provided to display a set of menu entries wherein individual menu entries represent a hazardous incident characteristic. The user may select one or more of the menu entries to create a situation definition. Such definitions may be used, for example, to identify a hazardous agent based upon user-inputted signs and symptoms data.