Abstract: Methods and apparatuses are described for assigning random values to a set of random variables so that the assigned random values satisfy a set of constraints. A constraint solver can receive a set of constraints that is expected to cause performance problems when the system assigns random values to the set of random variables in a manner that satisfies the set of constraints. For example, modulo constraints and bit-slice constraints can cause the system to perform excessive backtracking when the system attempts to assign random values to the set of random variables in a manner that satisfies the set of constraints. The system can rewrite the set of constraints to obtain a new set of constraints that is expected to reduce and/or avoid the performance problems. The system can then assign random values to the set of random variables based on the new set of constraints.

Abstract: A system and method creates a plurality of different ring components for a referenced model included within a parent model. The ring components include values for one or more model-level, block-level, and signal-level attributes of the referenced model. One or more ring components are selected and assigned to the referenced model in the context of the parent model. During execution of the parent model, information from the selected ring component is accessed and used to control execution of the referenced model. During code generation for the parent model, information from the selected ring component is accessed and used to control the code generation process for the referenced model.

Abstract: Quantifying power usage for a service. An example method may include identifying a dependency model for the service, the dependency model based in part on infrastructure providing the service. The method may also include determining power usage for the service using the dependency model.

Abstract: The object is to enable easy acquisition of an element that is not design data. The technique is characterized in that when generating construction field management information used to manage a construction field, a construction field management device acquires measurement data that is three-dimensional shape data measured by a measurement device, and compares design data created by a designer with the acquired measurement data, thus extracting non-design data that is not the design data, from the measurement data. Also, as the non-design data, data of a scaffolding/tool and a component of the design data in a temporarily placed state are extracted, and the status of these is analyzed and displayed on a display unit.

Abstract: A particle simulation device comprises: a position information acquisition unit that acquires position information for the particles; a pair setting unit that selects pairs of particles and sets a pair number, on the basis of the position information; a reference information generation unit that generates a matrix from the pair numbers and the particle numbers, and generates reference information for referencing the pair numbers from the particle numbers on the basis of a matrix in which the order of the rows of the matrix are sorted on the basis of the particle numbers; a sum calculation unit that calculates a sum of interaction forces for each particle on the basis of the reference information; and a particle information calculation unit that calculates the position and velocity of the particles on the basis of the sum of interaction forces.

Abstract: Systems and methods for monitoring and analyzing components and operation of a simulated network environment including a module configured for storing a predetermined baseline for the simulated network environment, monitoring the simulated network environment during one or more operations, analyzing the monitored operations and the impact of the operations on one or more components of the simulated network environment, and comparing at least one of the monitored operations and impacts of the operations against the predetermined baseline.

Abstract: Disclosed is a method for designing supporting parameters of a transition support for a mixed mining face of filling and fully-mechanized mining.

Abstract: A method for stimulating an earth formation according to a stimulation scenario for extracting hydrocarbons from the earth formation includes: selecting an earth formation stimulation scenario; applying a modified Mohr-Coulomb model that is configured to estimate behavior of a rock formation during the stimulation scenario, the modified Mohr-Coulomb model having a term representing dilatation in an out-of-plane orientation; predicting a fracture and damage network using the modified Mohr-Coulomb model; converting the fracture and damage network into permeability; simulating fluid flow in the earth formation using the permeability to predict hydrocarbon production; computing a value of a metric for hydrocarbon production for the selected stimulation scenario; iterating the selecting, applying, predicting, converting, simulating, and computing until the metric value meets or exceeds a threshold value; and stimulating the earth formation using a stimulation treatment system according to the stimulation scenario

Abstract: A method of setting metal sheet anisotropy information and sheet thickness information for an analysis model of a press-formed panel includes spreading the analysis model of the press-formed panel into a blank shape by analysis of reverse press-forming; acquiring sheet thickness information obtained by the analysis of reverse press-forming; based on a spread-blank-shape and a panel-taking blank shape, acquiring a reference direction of the spread-blank-shape; calculating an angle formed between the reference direction of the spread-blank-shape and each element in the spread-blank-shape, and setting the reference direction for each element of the analysis model of the press-formed panel based on the calculated angle; and setting the sheet thickness information acquired in the sheet-thickness-information acquiring step for each element of the analysis model of the press-formed panel.

Abstract: A well stimulation modeling method and simulation model for modeling a stimulation treatment involving a chemical reaction between a treatment fluid and a porous medium, such as acid treatment of a carbonate formation. In a wormhole initiation stage or mode, the medium of the cells having a solid saturation above a respective critical solid saturation is comprised of matrix material behaving as a single permeability, single porosity system; and in a wormhole growth stage or mode, the cells having a solid saturation equal to or less than the respective critical sold saturation comprise two different interconnected media, the matrix material and a wormhole material, defined to include wormhole-forming material as well as mature wormholes, having fluid mobility as a function of the solid saturation.

Abstract: There is provided a method for modeling a hydrocarbon reservoir that includes generating a reservoir model that has a plurality of sub regions. A solution surrogate is obtained for a sub region by searching a database of existing solution surrogates to obtain an approximate solution surrogate based on a comparison of physical, geometrical, or numerical parameters of the sub region with physical, geometrical, or numerical parameters associated with the existing surrogate solutions in the database. If an approximate solution surrogate does not exist in the database, the sub region is simulated using a training simulation to obtain a set of training parameters comprising state variables and boundary conditions of the sub region. A machine learning algorithm is used to obtain a new solution surrogate based on the set of training parameters. The hydrocarbon reservoir can be simulated using the solution surrogate obtained for the at least one sub region.

Abstract: A system for fault detection and diagnostics of equipment. The system may also be capable of disaggregation and/or virtual submetering of energy consumption by equipment, such as that of heating, ventilation and air conditioning, lighting, and so forth, in a building. Vibration and current sensors, along with one or more algorithms, may be utilized for fault detection and diagnostics of equipment. Models may be developed to aid in deducing energy consumption of individual components of equipment, and the like, for a building.

Abstract: The present invention relates to a method of simulating an initial component of a signal to approximate a component of a reference signal, the method characterized by the steps of: i. generating a source signal which includes at least one harmonic component, and ii. determining the average amplitude and duration of the source signal, and iii. referencing the amplitude of the reference signal component to be simulated, and iv. integrating the source signal over a period of time sufficient to produce a value for the signal component amplitude approximate to the reference signal component amplitude.

Abstract: Embodiments disclosed herein provide systems and methods optimizing geometries. In one embodiment, a computer-implemented method is provided. The method includes receiving, at a programmed computing device, a geometry comprising a plurality of edges and selecting a set of edges from the plurality of edges based on an intersecting location in which two or more the edges intersect. For each edge of the set of edges, a density is determined that corresponds to the intersecting location for the set of edges. The method further includes determining a target density related to the intersecting location in view of an aggregate of the density associated with respective edges of the set of edges. The target density indicates a gradient of a falloff for the intersecting location.

Abstract: A system and method for providing a layout of equipment in a data center, the equipment including a plurality of equipment racks, and at least one rack-based cooling provider. In one aspect, the method includes receiving data regarding airflow consumption for each of the plurality of equipment racks and cooling capacity of the at least one cooling provider, determining a layout of the data center, displaying the layout of the data center. In the method determining a layout can include pairing each equipment rack of the plurality of equipment racks with another equipment rack of the plurality of equipment racks based on airflow consumption of each of the plurality of equipment racks to create a plurality of pairs of equipment racks, arranging the pairs of equipment racks to form a two-row cluster of equipment racks based on the airflow consumption value of the equipment racks.

Abstract: Aspects of the invention relate to techniques for dynamic control of design clock generation in emulation. A circuit design for verification is analyzed to determine one or more clock-enabling functions for a specific clock signal. Logic for generating a clock status signal based on the one or more clock-enabling signals is then determined. The clock status signal is employed to control clock generation in an emulation system for emulating the circuit design.

Abstract: A container set manager may determine a plurality of container sets, each container set specifying a non-functional architectural concern associated with deployment of a service within at least one data center. A decision table manager may determine a decision table specifying relative priority levels of the container sets relative to one another with respect to the deployment. A placement engine may determine an instance of an application placement model (APM), based on the plurality of container sets and the decision table, determine an instance of a data center placement model (DPM) representing the at least one data center, and generate a placement plan for the deployment, based on the APM instance and the DPM instance.

Abstract: A method for projecting an electron beam used notably in lithography by direct or indirect writing as well as in electron microscopy, is provided. Notably for critical dimensions or resolutions of less than 50 nm, the proximity effects created by the forward and backward scattering of the electrons of the beam in interaction with the target must be corrected. This is traditionally done using the convolution of a point spread function with the geometry of the target. In the prior art, said point spread function uses Gaussian distribution laws. At least one of the components of the point spread function is a linear combination of Voigt functions and/or of functions approximating Voigt functions, such as the Pearson VII functions. In certain embodiments, some of the functions are centered on the backward scattering peaks of the radiation.

Abstract: Methods, systems, and computer-readable media for reference impedance adaptation are disclosed. The method may comprise a step of providing a network model of a circuit having at least one port, wherein the network model includes at least one network parameter, the network parameter being associated with the port and being defined based on a reference impedance of the port. The method may further comprise computing an input impedance of the port based on the network parameter. The method may also include defining a new reference impedance for the port based on the input impedance. Moreover, the method may include calculating a new network parameter of the network model based on the new reference impedance.

Abstract: Generally and not exclusively, there is disclosed a method for providing data integrity mechanisms to a system, and converting the characteristics into a database. In an embodiment, system information associating individual tasks of the system with objects that the task references and with objects that the task generates; information describing for individual processes of the system the chain of to-be-executed steps of each process; and information describing physical configuration of the system including an allocation of processes to processors and the relative priority of the processes are developed. From that information, algorithms are implemented to indicate data integrity protection mechanisms, such as task preemption levels, steps of processes to inhibit while a task of a process is executing, process step locks, and indications of steps that may not be execute concurrently with another task from the process.