Abstract: A method for assisting the construction and validation of an avionics platform uses, on the one hand, a functional description of the platform using avionics functions, software modules suitable for executing these functions, and functional link occurrences between these modules and, on the other hand, a material description of this platform using calculation or communication items of equipment and physical links between these equipment. The method according to the invention enables to generate paths between the various items of equipment by using direct physical links and/or physical links belonging to one or more network(s), and subsequently to associate at least one such path to be each functional link occurrence. It also enables to associate to each software module an item of equipment adapted to host it.

Abstract: A method of specifying a truth table includes generating a block diagram model, generating a statechart in the block diagram model, selecting a truth table graphical function in the statechart, and applying a set of graphical semantics for logic specification to the truth table graphical function combined with textual language predicates and actions.

Abstract: In one embodiment of the invention, a method of designing the racking configuration for boxes in racks and for determining which connections go between different racks, including: solving a rack select optimization sub-problem to determine racks to use; and solving a rack assign optimization sub-problem to determine which particular rack will hold a particular box. In another embodiment, an apparatus for designing the racking configuration for boxes in racks and for determining which connections go between different racks, including: a machine-readable representation for a racking configuration problem; and a solver that can read that machine-readable representation and that is configured to: solve a rack select optimization sub-problem to determine at least one rack to use; and solve a rack assign optimization sub-problem to determine which particular rack will hold at least one box.

Abstract: A computer-implemented method and system in one embodiment estimate the effectiveness of a dispensing plan of emergency supplies during disasters or in like scenarios, by simulating a flow of emergency supplies in a multi-echelon supply chain, dynamics of victims and progression of disaster. The performance metrics estimated in one embodiment include, but not limited to, overall coverage of distribution, inventory of supplies (e.g., shortage and surplus) and utilization of resources (e.g., shortage and surplus).

Abstract: The invention relates to linear programming methods and systems. The linear programming model has at least one input streams, at least one intermediate stream, and at least one output stream. The linear programming model is utilized for simulating the effect of withdrawing at least a portion of an intermediate steam on one or more of the model's outputs.

Abstract: The systems and methods disclosed herein employ a combination of digital three-dimensional modeling and rapid fabrication technologies to provide pre-indexed, pre-registered, and/or precut components for articulated dental models. Dental articulators and components of dental models as described herein use a positioning key to encode positional information for components of the dental model, and/or a reference grid on mounting surfaces to enforce local accuracy of fabricated parts against a fixed reference array.

Abstract: Improved convergence in the volume-integral method (VIM) of calculating electromagnetic scattering properties of a structure is achieved by numerically solving a volume integral equation for a vector field, F, rather than the electric field, E. The electric field, E, is determined from the vector field, F, after solving of the volume integral equation. The vector field, F, may be related to the electric field, E, by a change of basis, and may be continuous at material boundaries where the electric field, E, has discontinuities. Convolutions of the vector field, F, are performed using convolution operators according to the finite Laurent rule, which allows for efficient matrix-vector products using Fast Fourier Transforms. An invertible convolution-and-change-of-basis operator, C, is configured to transform the vector field, F, to the electric field, E, by performing a change of basis according to material and geometric properties of the periodic structure.

Abstract: Systems and methods which provide modeling or simulation of gamma ray (GR) tool response using a hybrid analytical and numerical technique are shown. Embodiments employ a GR tool simulation technique which provides gamma ray information simulated as a function of only the gamma particles which reach the detector without scattering. Embodiments utilize a discretization function to determine the gamma particles which would reach a point detector from each unit volume source of an investigation domain without scattering. Embodiments further utilize the foregoing discretization function with respect to a plurality of point detectors, wherein the particular number and configuration of point detectors are selected to relatively accurately simulate the results of a particular GR detector configuration, such as line detector or volume detector configurations.

Abstract: A method for determining a maximum volume of drilling cuttings disposal in a formation, the method including inputting formation parameters into a simulator, simulating a formation during waste injection based on the formation parameters, determining a net pressure based on the simulating, determining a closure pressure increase based on the simulating, calculating a disposal volume based on the net pressure and the closure pressure, calculating a time interval of waste injection based on the calculated injection volume, and outputting at least one of the disposal volume and the time interval is disclosed. A method of optimizing a waste injection process, the method including simulating a formation based on input parameters, determining a closure pressure increase per unit slurry volume based on the simulation, calculating a disposal capacity of the selected formation, and outputting the disposal capacity is also disclosed.

Abstract: A method (200) for the characterization of vibrational and/or acoustic transfer path related data of a physical system (100) where vibration or acoustics may play a role. The method (200) has a step of receiving (210) input data for at least one input point of the physical system and/or response data for at least one response point of the physical system (100). The method (200) further has a step of receiving (220) at least one system response function between the at least one input point and the at least one response point indicative of the transfer of vibration and/or acoustic signals. The method (200) also has a step of applying (230) at least one parametric model characterising at least one load on the physical system as a function of the input data, where the parametric models are identified from the input data and/or response data and the physical system response functions.

Abstract: A method determines and/or predicts a maximum power capacity of a battery by using a model of the battery based on an electric equivalent circuit diagram that predicts the maximum power capacity of the battery. The maximum power of the battery is prognosticated for a defined prognosis period and for the different operating modes with respect to the charging or discharging operation, considering the maximum allowable operating voltage and the maximum allowable operating current.

Abstract: A system and method for controlling an advancing water front in a reservoir toward a wellbore is provided. The system has a production control unit. The production control unit has a reservoir unit for producing a reservoir model and a production path unit for producing a production path model that determines at least one pressure parameter about the wellbore during a life of the wellbore. The production control unit has a production optimizer unit for producing a well plan that optimizes a function of the wellsite. The production control unit may be for controlling an advancing fluid front in the reservoir with at least one control device, and wherein a production path is constructed based on the well plan.

Abstract: A method and apparatus for estimating error in a multi-axis controlled machine is applicable to any type of machine configuration in order to estimate and confirm in advance the final position and the posture of the machine, which are produced when geometric errors of the machine are synthesized. The method includes defining the structure of the multi-axis controlled machine subjected to error estimation; and defining parameters, which represent behaviors of drive axes having geometric error and relationships between the drive axes according to the defined structure of the multi-axis controlled machine, adding the defined parameters by applying the parameters to a generalized error synthesis model, and generating an error synthesis model of the multi-axis controlled machine by applying a result of parametric modeling in response to a result of the adding.

Abstract: Methods and systems for performing well network production optimizations are described. For example, in one embodiment, a method of allocating an applied resource throughout a well network includes receiving topological data into an analytical model of a well network having one or more wells. The topological data includes a plurality of performance curves that relate well performance to one or more levels of an applied resource. The method also includes determining an optimum allocation of the applied resource using the analytical model to maximize an operating parameter of the well network, including converting a portion the analytical model having one or more wells and a linear inequality relationship to a modified portion having a single variable and a linear equality constraint.

Abstract: Provided is an automated determination of an optimized parameterization of a scatterometry model for analysis of a sample diffracting structure having unknown parameters. A preprocessor determines from a plurality of floating model parameters, a reduced set of model parameters which can be reasonably floated in the scatterometry model based on a relative precision for each parameter determined from the Jacobian of measured spectral information with respect to each parameter. The relative precision for each parameter is determined in a manner which accounts for correlation between the parameters for a combination.

Abstract: A first data structure stores one or more components of a modular system, wherein each component includes a quantity of features. A second data structure stores one or more component position numbers, wherein at least one component is assignable to each of the one or more component position numbers, and each design variant is describable by assignment of the components of the modular system to component position numbers of the second data structure. A third data structure stores one or more rules, wherein each rule is to set at least two component position numbers in a relationship, and an assembly module in a computing device is to select the rules from the third data structure that correspond to the one or more component position numbers, and to cause a design drawing to be displayed according to the selected rules.

Abstract: An automated system-on-chip (SOC) hardware and software cogeneration design flow allows an SOC designer, using a single source description for any platform-independent combination of reused or new IP blocks, to produce a configured hardware description language (HDL) description of the circuitry necessary to implement the SOC, while at the same time producing the development tools (e.g., compilers, assemblers, debuggers, simulator, software support libraries, reset sequences, etc.) used to generate the SOC software and the diagnostics environment used to verify the SOC.

Abstract: A computer-implemented method for modeling a complete tooth of a patient to facilitate dental and/or orthodontic treatment. The method includes generating a first set of digital data representing a clinical crown; generating a second set of digital data representing a plurality of digital tooth models of a particular tooth type each having a first parameterization; processing the second set of digital data to obtain a third set of digital data representing an average tooth model of the particular tooth type having a second parameterization which is less than the first parameterization; fitting the third set of digital data to the first set of digital data to create a set of digital data representing an interim tooth model; and morphing the set of digital data representing the interim tooth model to substantially mimic the anatomical shape of the clinical crown of the first set of digital data.

Abstract: An emulator is provided for an interface device. The emulator includes all functional software of the physical interface device, including configuration software, operating system, design-time environment, run-time engine, and so forth. Device elements, which may be standard COM elements objects, may be configured via the emulator, as may particular interface screens, applications, and so forth. The emulator may be used to try interface devices before their specification for a particular product. The emulator may also be used to develop software and interface screens that will be downloaded to interface device hardware prior to product introduction, thereby facilitating and improving time-market for new product introductions.

Abstract: Distributed continuous simulation of a three dimensional simulation space is provided using a set of simulation servers. The simulation space is partitioned into a set of regions. In one embodiment, each simulation server is responsible for simulating one of the regions of the simulation space. Users interacting with the simulation communicate directly with the simulation server responsible for simulating the region that the user is currently interacting with.