Abstract: The present disclosure includes methods, systems, and devices for prioritization of three dimensional dental elements. One method for prioritizing three dimensional dental elements includes receiving a virtual initial dental data set (IDDS) of teeth having spatial information regarding the positions of a number of teeth in the virtual IDDS with respect to each other for presentation of the teeth in a virtual three dimensional space to be viewed on a user interface, setting prioritization values of a number of elements of one or more of the number of teeth, and prioritizing the number of elements to be selected by a user based upon their prioritization values.

Abstract: Coupling architectural and implementation/behavioral models of a computer-based system by creating a bridge element, defining a port of the bridge element, associating the port of the bridge element with a port of an implementable element of an architectural model of a computer-based system and a port of an implementation element of an implementation/behavioral model of the computer-based system, mapping an interface member of the implementation element port to an interface member of the implementable element port, generating, from a template, skeleton source code applicable for the mapped interface member, generating a usage description element for the architectural model corresponding to the mapped interface member, generating an architectural description document from the architectural model, generating implementation code from the implementation/behavioral model and the generated skeleton source code, and generating a declaration file for an operating system service for use by the implementation code.

Abstract: An aircraft design system comprising a components database having designs for components configured for use in an aircraft, a materials database having materials selected for desired types of wireless signal propagation, and a boundary designer. The boundary designer is configured to identify a configuration for wireless networks in the aircraft. The boundary designer is further configured to select a number of boundaries for the wireless networks that provide a desired propagation of wireless signals for the wireless networks. The boundary designer is further configured to select a configuration for a number of the components from the designs in the components database and select a number of materials for the number of the components to form the number of boundaries for the wireless networks.

Abstract: A 3-D multi-physics design environment (“3-D design environment”) for designing and simulating multi-physics devices such as MEMS devices is discussed. The 3-D design environment is programmatically integrated with a system modeling environment that is suitable for system-level design and simulation of analog-signal ICs, mixed-signal ICs and multi-physics systems. A parameterized MEMS device model is created in a 3-D graphical view in the 3-D design environment using parameterized model components that are each associated with an underlying behavioral model. After the MEMS device model is completed, it may be exported to a system modeling environment without subjecting the model to preliminary finite element meshing.

Abstract: A method for the computer-aided design of an aeronautic system forming all or part of an aircraft, using a criterion of maintenance time cost over a given period of use. The cost is computed as the weighted sum of a first component representing the mean flight time lost during this period, a second component representing the mean unscheduled maintenance time for this system during said period, and a third component representing the scheduled maintenance time for this system throughout said period. The configuration corresponding to the lowest time cost is then selected.

Abstract: In accordance with an exemplary simulation technique, an improved selective application of Newton-Raphson iterations can improve accuracy while ensuring good performance. In this method, selectively applying Newton-Raphson iteration in a simulation of a unit of the integrated circuit design can include determining second order effects to define a linearity value. Newton-Raphson iteration is performed when the linearity value is less than a linearity threshold and convergence of the simulation is not achieved.

Abstract: A method of detecting a concentration of a target component by using a reference wavelength includes: defining a wavelength at which a light intensity is insensitive to the variation of the target component concentration as a reference wavelength for the target component; detecting spectra at both the reference wavelength and a further measuring wavelength; processing the spectrum detected at the further measuring wavelength, with the spectrum detected at the reference wavelength as an inner reference, to obtain a characteristic spectrum including specific information of the target component; building a calibration model between the characteristic spectrum and the concentration of the target component; and determining the concentration of the target component based on the calibration model.

Abstract: Systems, methods, and software for determining a set of analytical or numerical polynomials that is orthonormal over circular or noncircular pupils are described. Closed-form orthonormal polynomials for circular, annular, hexagonal, elliptical, rectangular, and square pupils are derived. Such techniques can be applied to ray tracing as in the optical design and wavefront fitting from measurement as in the optical testing. These approaches can also be applied to wavefront reconstruction in adaptive optics.

Abstract: A method of developing a petroleum reservoir according to a given development scheme, from a facies map representative of the reservoir. New measurements are taken in the reservoir to better characterize it. A geostatistical simulator is selected. A set of random numbers is then identified which are provided to the geostatistical simulator to provide a facies representation identical to the initial map by inverting a random number generation algorithm of the simulator. The map is then modified to account for the new measurements, by carrying out a geostatistical simulation constrained by the measurements, with the geostatistical simulator and the set of random numbers. Finally, the reservoir development scheme is modified by accounting for the modified map, and the reservoir is developed using the modified development scheme.

Abstract: A selected group of Guest machine instructions in an emulation environment are translated to a semantic routine of Host machine instructions, wherein Guest cells corresponding to an opcode portion of a Guest instruction are mapped to corresponding Host cells, wherein the semantic routine of Host machine instructions are patched into a Host cell corresponding to the first Guest cell of the group of Guest machine instructions, wherein other Host cells of the corresponding Host cells are patched with semantic routines for emulating single instructions associated with the corresponding Guest cell.

Abstract: A disclosed interface between an emulator and a network that is readily scalable. In one aspect, a scalable solution is achieved through a hardware interface board positioned between the network and the emulator to allow proper transfer there between. A computer is separated from and coupled to the hardware interface board and provides the necessary control signals. Because it is done in hardware separated from the computer, the interface board is readily scalable through the simple addition of network chip sets. In another aspect, the interface board can be placed in two modes of operation, a live test mode and a direct test mode. In yet another aspect, packet formats may be changed on the interface board so that it appears to the emulator as if the network is operating at a different data transfer speed than is actually the case.

Abstract: In one embodiment, a technique is provided for maintaining semantics of a graph that corresponds to a model of a physical entity. Node data structures are defined, instantiations of which are used to represent primitive nodes and group nodes of the graph. Link data structures are defined, instantiations of which are used to represent primitive links and group links of the graph. A technique for grouping nodes of the graph is provided, which may be used to remove elements from the graph to create a simplified representation. A technique for ungrouping nodes of the graph is provided, which may be used to restore elements to the graph to return to an unsimplified representation.

Abstract: A system and method for workload generation include a processor for identifying a workload model by determining each of a hierarchy for workload generation, time scales for workload generation, and states and transitions at each of the time scales, and defining a parameter by determining each of fields for user specific attributes, application specific attributes, network specific attributes, content specific attributes, and a probability distribution function for each of the attributes; a user level template unit corresponding to a relatively slow time scale in signal communication with the processor; an application level template corresponding to a relatively faster time scale in signal communication with the processor; a stream level template corresponding to a relatively fastest time scale in signal communication with the processor; and a communications adapter in signal communication with the processor for defining a workload generating unit responsive to the template units.

Abstract: Methods and systems for estimating differential or difference equations that can govern a nonlinear, time-varying and parameter-varying dynamic process or system. The methods and systems for estimating the equations may be based upon estimations of observed outputs and, when desired, input data for the equations. The methods and systems can be utilized with any system or process that may be capable of being described with nonlinear, time-varying and parameter-varying difference equations and can used for automated extraction of the difference equations in describing detailed system or method behavior for use in system control, fault detection, state estimation and prediction and adaptation of the same to changes in a system or method.

Abstract: Crashworthiness designing of a structure using a Hybrid Cellular Automata (HCA) algorithm where field states are computed using finite element analysis (FEA) and the material distribution of the structure is updated at each iteration using cellular automata method. The HCA algorithm optimizes the topology of the structures to achieve certain performance within the limits of various constraints applied to ensure crashworthiness of the structures. The HCA algorithm may also be applied to designing of structures to be fabricated by an extrusion method having the same cross section along the direction of extrusion or stamped structures having thickness varying across the structure.

Abstract: In one embodiment of the invention, a design verifier is disclosed including a model extractor and a bounded model checker having an arithmetic satisfiability solver. The arithmetic satisfiability solver searches for a solution in the form of a numeric assignment of numbers to variables that satisfies each and every one of the one or more numeric formulas. Conflict in the search, results in the deduction of one or more new numeric formulas that serve to guide the search toward a solution. If the search finds a numeric assignment that satisfies each and every one of the one or more numeric formulas, it indicates that a functional property of the system is violated.

Abstract: The manufacture and installation of heat trace systems, particularly cables, are controlled from comprehensive controls in the design and management of the heat trace systems.

Abstract: An arrangement for verifying a real model by using a virtual model is provided. The arrangement comprises a real model which has a real coordinate system, a virtual model which has a virtual coordinate system, a first position determination element, which is applied in/on the real model in a defined manner, and a real tool element, which is arranged in the real model. A position and/or orientation of the real tool element in the real model can be determined relative to the first position determination element. An operation of the real tool element can be triggered in the real model, and the operation of the real tool element can be imaged in the virtual model. The operation of the real tool element in the real model and the imaged operation in the virtual model can be logically or functionally assigned to one another.

Abstract: One particular implementation takes the form of an apparatus or method for parallelizing a sequential power simulation of an integrated circuit device. The implementation may temporally divide the simulation so that separate time segments of the simulation can be run at the same time, thereby reducing he required time necessary to perform the power simulation. More particularly, a logic simulation may be performed on the integrated circuit and snapshots of the logic devices of the integrated circuit may be taken at a specified period. The separate time segments of the simulation may then be simulated in a parallel manner to simulate power consumption of the integrated circuit. Performing the power simulation on the separate time segments may reduce the required time of a typical power consumption simulation of an integrated circuit.

Abstract: In order to be able to simulate a development system of a complex development environment, such as a test bench environment for motor, drive train, transmission, vehicle component, or vehicle development, utilizing an automation device and development tools in a continuous and reproducible manner, device models (7) generating development data (23) run in a simulation device (6), wherein the device models (7) at least partially process simulation data (24) from a test model (20), and a number of real development tools (5) are connected to an automation device (4) and/or to the simulation device (6) via real interfaces, and development tools (5) process the development data (23).