Abstract: An emulation system includes a first circuit for emulating a first logical part of a device, a second circuit for emulating a second logical part of the device that is different from the first logical part, wherein the first circuit is separate from the second circuit, and a third circuit connecting the first circuit and the second circuit to communicate signals between the first circuit and the second circuit.

Abstract: Methods are provided for performing depth-first searches of concrete models of systems using control flow information of the system for improved reachability analysis. The concrete model's control structure and dependencies are extracted and an over-approximated (conservative) abstract control model is created. The abstract control model simulates the concrete model during model checking. Model checking the abstract control model produces execution traces based on the control paths of the concrete model. These execution traces may be used to guide a state space search on the concrete model during invariant checking to determine satisability of one or more selected invariants of the system.

Abstract: A metamaterial includes a dielectric substrate and an array of discrete resonators at the dielectric substrate, wherein each of the discrete resonators has a shape that is independently selected from: an F-type shape; an E-type shape; or a y-type shape. A parameter of a chiral metamaterial is determined and a chiral metamaterial having such a parameter is prepared by the use of a model of the chiral metamaterial. The metamaterial model includes an array of discrete resonators. In one embodiment, each of the discrete resonators has a shape that is independently selected from the group consisting of: an F-type shape; an E-type shape; and a y-type shape. To the metamaterial model, electromagnetic (EM) radiation, preferably plane-polarized EM radiation in a visible, ultraviolet or near-infrared region, having at least one wavelength that is larger than the largest dimension of at least resonator of the metamaterial model, is applied.

Abstract: A jet noise source modeling method of creating a jet noise source model, includes: setting a plurality of point sound sources by quantizing a strength distribution of a jet noise source determined through an analysis of a jet stream and determining respective sound source strengths of respective point sound sources; and determining respective phases of the respective point sound sources based on a known noise level of a far free sound field related with the jet stream. An aircraft having an airframe capable of insulating the interior thereof from noises is designed on the basis of the results of the analysis.

Abstract: A system and method is described for connecting a logic circuit simulation to a hardware peripheral that includes a computer running software for communicating data to and from the hardware peripheral. The software transmits the data received from the hardware peripheral to the device being simulated by the logic circuit simulation. The computer also transmits the data received from the device being simulated by the electronic circuit simulation to the hardware peripheral. This allows the user to test the device being simulated using real hardware for input and output instead of simulated hardware.

Abstract: Embodiments of the present invention recite a computer implemented method and system for creating a road model. In one embodiment, an identification of an intersection of a first road and a second road is received. At least one designated elevation is received at which the first road and the second road should merge. Finally a united layer is automatically created for the intersection wherein a first plurality of strings defining the first road and a second plurality of strings defining the second road intersect at the at least one designated elevation.

Abstract: A simulation environment is disclosed wherein both analog and RF signals are simulated in a single flow by a mixed-domain simulator. The simulator includes a simulator kernel with an analog solver and an RF solver to allow both analog- and RF-type of signals to be solved in an interrelated fashion. The simulator may also include a partitioner that divides the circuit into various RF and analog modules to be solved. User input may control the partitioning process, but the simulator may refine the partitions or generate sub-partitions to provide a higher probability of convergence.

Abstract: A universal mesh for a building insulation model is established from a template representing a wide range of insulation profiles, with the mesh being used for conducting one, two or three-dimensional finite element analysis (FEA) regarding thermal insulation factors for the building. The system and method take into account a wide range of heat related factors, including structural materials of the building, insulation components encompassing both insulation materials employed in the building process and established air pockets or gaps, and even fasteners used in the construction process.

Abstract: A method of simulating parametric variations in an integrated circuit (IC) includes: specifying an IC model, wherein the IC model includes one or more parameters for variation about a nominal condition; calculating parametric perturbations about the nominal condition; and saving one or more values for the parametric perturbations in a computer-readable medium. Calculating the parametric perturbations includes: simulating the nominal condition for the IC; determining perturbation values for the IC model about the nominal conditions, wherein the perturbation values include linear time-varying matrices and parametric right-hand sides, determining a performance metric for the IC and a performance sampling vector for sampling the performance metric about the nominal condition from the perturbation values; and determining voltage-sensitivity values and performance-sensitivity values from the perturbation values and the performance-sampling vector.

Abstract: Embodiments of the invention provide a system and method for partitioning data for modelling a geological structure including laterally partitioning the data into multiple columns, where each column may be substantially laterally centered about a dual fiber and vertically partitioning each column at each of multiple intersection points of multiple surfaces and the dual fiber about which the column may be substantially laterally centered.

Abstract: A method, apparatus and computer program product for emulating a mobile network for an emulated mobile device is presented. A mobile device is emulated with a mobile device emulator. Network data requested by the mobile device emulator is acquired and stored in a mobile network data buffer. The data requested by the mobile device emulator is provided from the mobile network data buffer in accordance with predetermined network conditions, the predetermined network conditions selected to emulate a mobile network that would be utilized by a mobile device being emulated.

Abstract: The present system and method for simulating particles and waves is useful for calculations involving nuclear and full spectrum radiation transport, quantum particle transport, plasma transport and charged particle transport. The invention provides a mechanism for creating accurate invariants for embedding in general three-dimensional problems and describes means by which a series of simple single collision interaction finite elements can be extended to formulate a complex multi-collision finite element.

Abstract: Methods and systems for simulating an electronic system in a high level modeling system (HLMS). A design block and certain signals of the electronic system are selected. The selected signals include internal signals of the design block that are not ports of the design block. The electronic system is simulated in the HLMS, which includes a hardware-based co-simulation platform and a software-based co-simulation platform. A hardware realization of the design block is automatically generated and the design block is emulated in the hardware based co-simulation platform using the hardware realization of the design block. A sequence of values is displayed for the selected signals of the electronic system. During the simulation of the electronic system in the HLMS, the sequence of values for the internal signals of the design block and another sequence of values for the ports of the design block are transferred between the co-simulation platforms.

Abstract: A method is disclosed for optimal lift resource allocation, which includes optimally allocating lift resource under a total lift resource constraint or a total production constraint, the allocating step including distributing lift resource among all lifted wells in a network so as to maximize a liquid/oil rate at a sink.

Abstract: Programmable architecture for implementing a message processing system using an integrated circuit is described. In an example, configurable logic of an integrated circuit is configured to have a plurality of thread circuits and a memory. Messages are received to the integrated circuit for storage in the memory. The memory is accessed with the plurality of threads to concurrently process a plurality of the messages.

Abstract: Methods of selecting a configuration of fixation and compression screws for a bone plate to be installed on a bone of a patient. A computer or website allows a user to load images of a fractured bone and specify a particular configuration of fixation and compression screws with a plate on the loaded bone. The computer replicates stresses imposed on the bone by regular activities using finite element analysis and provide information about the suitability of the selected configuration.

Abstract: A new constrained interpolation profile method, which is stable and accurate but requires less amount of computation, is provided. CIP is a high-order fluid advection solver that can reproduce rich details of fluids. It has third-order accuracy but its computation is performed over a compact stencil. A novel modification of the original CIP method that fixes all of the above problems without increasing the computational load or reducing the accuracy is provided. The proposed method brings significant improvements in both accuracy and speed.

Abstract: Method, apparatus, computer program and data carrier for modeling a multidimensional, heterogeneous structure using a digital processing unit, by means of a grid built up of stacks of multidimensional cells. A cell is bounded by boundary surfaces and represents at least one property of the structure. The composition of a stack, the position of the stacks in the grid and the properties represented by cells are stored in memory means by the processing unit. For modeling a discontinuity, a respective stack is divided into two or more substacks separated by separating surfaces. The composition and the position of the substacks in a respective stack are stored in the memory means. The modeling method enables an accurate and fast computation of properties of the modeled structure or space.

Abstract: An algorithm and architecture are disclosed for performing multi-argument associative operations. The algorithm and architecture can be used to schedule operations on multiple facilities for computations or can be used in the development of a model in a modeling environment. The algorithm and architecture resulting from the algorithm use the latency of the components that are used to process the associative operations. The algorithm minimizes the number of components necessary to produce an output of multi-argument associative operations and also can minimize the number of inputs each component receives.

Abstract: A structure and method are provided for correcting the optical proximity effects on a tri-tone attenuated phase-shifting mask. An attenuated rim, formed by an opaque region and an attenuated phase-shifting region, can be kept at a predetermined width across the mask or for certain types of structures. Typically, the attenuated rim is made as large as possible to maximize the effect of the attenuated phase-shifting region while still preventing the printing of larger portions of the attenuated phase-shifting region during the development process.