Abstract: A computer-implemented method for simulating flow and acoustic interaction of a fluid with a porous medium includes simulating activity of a fluid in a first volume adjoining a second volume, the activity of the fluid in the first volume being simulated so as to model movement of elements within the first volume and using a first model having a first set of parameters, simulating activity of the fluid in the second volume occupied by the porous medium, the activity in the second volume being simulated so as to model movement of elements within the second volume and using a second model having a second set of parameters, and simulating movement of elements between the first volume and the second volume at an interface between the first volume and the second volume.

Abstract: A method and system is provided for detecting at risk structures due to mask overlay that occur during lithography processes. The method can be implemented in a computer infrastructure having computer executable code tangibly embodied on a computer readable storage medium having programming instructions. The programming instructions are operable to obtain a simulation of a metal layer and a via, and determine a probability that an arbitrary point (x, y) on the metal layer is covered by the via by calculating a statistical coverage area metric followed by mathematical approximations of a summing function.

Abstract: A method for detecting anomalous energy usage of building or household entities. The method applies a number of successively stringent anomaly detection techniques to isolate households that are highly suspect for having engaged in electricity theft via meter tampering. The system utilizes historical time series data of electricity usage, weather, and household characteristics (e.g., size, age, value) and provides a list of households that are worthy of a formal theft investigation. Generally, raw utility usage data, weather history data, and household characteristics are cleansed, and loaded into an analytics data mart. The data mart feeds four classes of anomaly detection algorithms developed, with each analytic producing a set of households suspected of having engaged in electricity theft. The system allows a user to select households from each list or a set based on the intersection of all individual sets.

Abstract: A system and method for detecting anomalous energy usage of building or household entities. The method applies a number of successively stringent anomaly detection techniques to isolate households that are highly suspect for having engaged in electricity theft via meter tampering. The system utilizes historical time series data of electricity usage, weather, and household characteristics (e.g., size, age, value) and provides a list of households that are worthy of a formal theft investigation. Generally, raw utility usage data, weather history data, and household characteristics are cleansed, and loaded into an analytics data mart. The data mart feeds four classes of anomaly detection algorithms developed, with each analytic producing a set of households suspected of having engaged in electricity theft. The system allows a user to select households from each list or a set based on the intersection of all individual sets.

Abstract: A computerized method for scalable management optimization of pressurized water distribution networks, comprises receiving a network model representing a pressurized water distribution physical network having water flow variables. The network model is simulated by solving non-linear mathematical equations representing the behavior of the water flow variables. One or more result sets are fed to the non-linear mathematical equations. The non-linear mathematical equations are linearized. Network model optimization requirements are received from a user. The linearized mathematical equations are optimized according to the received network model optimization requirements. A local search starting from the at least one optimized solution is performed using the non-linearized mathematical equations, thereby generating a solution.

Abstract: A method and a system for automated test and result comparison, suitable for a client computer to control a management server to test sensors in a server to be tested, are provided. In the method, an operating interface of a management program of the management server is logged in through a network, and operating actions of a user testing the sensors by using the operating interface are simulated to generate keyboard and mouse control instructions corresponding to the operating actions by using a keyboard-and-mouse automation program. The keyboard and mouse control instructions are executed to operate the operating interface, so as to control the management program to test the sensors. The test parameters obtained by the management program testing the sensors are captured, and compared with predetermined parameters in a database to obtain a test result. Finally, the test result is stored as a test file.

Abstract: A target data storage system is simulated. A source configuration is received. First activity data is received representing workload for the source configuration. A target data storage system configuration for one or more target data storage systems is created. The target data storage system configuration is modeled including determining a simulated workload for components of the target data storage system configuration based on the first activity data. A utilization map is displayed in a user interface indicating component level utilizations of components of the target data storage system configuration based on the simulated workload. A data movement optimization for the target data storage system configuration is simulated. A second utilization map is displayed indicating updated component level utilizations for the target data storage system configuration which have been revised to model the simulated data movement optimization for the target data storage system configuration.

Abstract: The ability to perform non-destructive editing of files and models requires the generation and persistence of input deltas that capture changes that are made to a base starting point. Reconstitution of saved state may be achieved through the application of deltas. This capability is useful for failover remediation in client/server environments since the client has access to the deltas, such that in the event that a stateful service becomes unresponsive (and therefore, no longer available), the service may be taken offline and a new resource may be assigned as a replacement. In such an event, the service is directed to load the baseline data and any changes may be reapplied, restoring the service state.

Abstract: Generation of an observer view in a virtual environment in response to real-time input during a simulation is disclosed. In one embodiment, a device initiates a simulation of a virtual environment. Core view data that identifies a core view in the virtual environment is maintained. The core view is associated with an object in the virtual environment. Core view imagery that depicts a portion of the virtual environment based on the core view data is generated. During the simulation, real-time input that includes first observer view data that identifies a first observer view in the virtual environment is received. The first observer view is unassociated with any object in the virtual environment. First observer view imagery that depicts a portion of the virtual environment based on the first observer view data is generated.

Abstract: A system and method are provided for maintaining alignment of timing signals of a source synchronous interface between driver and receiver portions of an electronic system in a behavioral model based simulation environment. The system comprises a memory unit, an analysis controller unit coupled to the memory unit, and a timing alignment unit coupled to the analysis controller unit. The timing alignment unit is executable responsive to the analysis controller unit to generate behavioral models for mutually assigned first and second nets which transmit respective timing signals between the driver and receiver portions, and actuates transient simulation on the behavioral models to simulate transmission of the timing signals through the first and second nets. A timing skew between respective transmissions of the timing signals through the first and second nets is measured responsive to the simulated transmission for compensation during a general simulation of the source synchronous interface.

Abstract: An integrated circuit can include a processor operable to execute program code and an Intellectual Property (IP) modeling block. The IP modeling block can include a first port through which the IP modeling block receives first modeling data and a second port coupled to the processor through which the first IP modeling block communicates with the processor during emulation. The first IP modeling block also can include a power emulation circuit. The power emulation circuit is configured to consume a variable amount of power as specified by the first modeling data received via the first port.

Abstract: It is provided a computer-implemented method for simulating the machining of a workpiece with a cutting tool having a cutting part and a non-cutting part. The method comprises providing a modeled volume representing the workpiece and a trajectory of the cutting tool; determining a colliding sweep of the cutting tool, wherein the colliding sweep represents the volume swept by the non-cutting front of the cutting tool when the cutting tool follows the trajectory; testing a collision with the workpiece according to the determining step. Such a method improves the simulation of the machining of a workpiece with a cutting tool.

Abstract: A system. The system includes a computing device having a processor, and a causality checker module communicably connected to the processor. The causality checker module is configured to utilize a rational function approximation to a frequency response to determine if a transfer function of a linear time invariant system is causal.

Abstract: Embodiments relate to systems and methods for visualizing processing traces as a flow diagram. Certain embodiments allow conversion of a text based processing trace, into an intermediate state which can then be projected using a flow diagram. A model transformation engine receives as an input, a trace log and also a pointer to the trace metadata. The model transformation engine uses the metadata information to convert the trace into a format from which a flow diagram can be built. Such an intermediate state could be, for instance, an XML document or a JSON object. Output of the model transformation engine is then fed to renderer, which reads the XML document or JSON object and displays it onto the screen. Embodiments may be particularly suited for visualizing processing traces of business rules in an enterprise system.

Abstract: A computer assisted method creates accurate CAD/CAM models of custom orthopedic implants is provided. Information about bone geometry is acquired through medical imaging such as CT image scans. The desired bone surface region is extracted as a polygonal mesh after processing the 3D images. A smooth and accurate B-Spline surface is fitted to the polygonal mesh that is thickened to a solid CAD model. A patient-specific customized implant is manufactured from the obtained CAD model. The patient-specific customized implant is implanted in a patient by a surgeon in an operating room. A processor based system to generate a CAD/CAM file of the patient-specific customized implant and a manufacturing system enabled to manufacture the implant from the CAD/CAM file are also disclosed.

Abstract: A power frequency parameter simulation system for a power transmission line and a control method thereof, the system includes a simulation main circuit (1), an interference power supply (2) and a procedure controller (3). In the system, a power frequency parameter of a 10 to 100 kilometers of 500 kV power transmission line is simulated in a lumped parameter manner; and the control method includes the following steps of: a step to detect the automatically zeroing during starting up, a step to control the reduction of the length of a simulation line and a step to control a simulation interference voltage. A long-distance power transmission line is realized to be moved into a room and be tested by means of the power frequency parameter test system, so the various inconveniences of on-site measurement are avoided.

Abstract: Partition coefficients for solutes in solvent-water systems are estimated based on corresponding values for the octanol-water system. The estimation of the partition coefficient includes correction factors based on the nature of the solute and the solvent. Petroleum fractions are an example of a suitable solvent for which a partition coefficient can be estimated, although other types of solvents can be used in developing a model for use in the estimation.

Abstract: A computer-implemented method for predicting optimum run times for software samples may include (1) identifying a set of training data that identifies (i) a plurality of static characteristics of at least one previously executed software sample and (ii) an amount of time taken by a software-analysis mechanism to observe a threshold level of run-time behaviors of the previously executed software sample, (2) identifying a plurality of static characteristics of an additional software sample, (3) determining that the static characteristics of the additional software sample and the previously executed software sample exceed a threshold level of similarity, and then (4) predicting an optimum run time for the additional software sample based at least in part on the amount of time taken by the software-analysis mechanism to observe the threshold level of run-time behaviors of the previously executed software sample. Various other methods, systems, and computer-readable media are also disclosed.

Abstract: A method including the steps of: generating a system model, the model comprising an initial state, a transition between consecutive states and a property function defining a property that should be met for an allowable state, the initial state, transition function and property function each comprising at least one of data, operations and predicates; generating an abstracted model by approximating at least some of the data, operations and predicates with uninterpreted terms, functions and predicates respectively, to generate at least one abstracted initial state, abstracted transition function and abstracted property function within the abstracted model; performing a complete reachability analysis on the abstracted model to determine whether the system can reach an unallowable abstracted state by following the abstracted transition function; and if not, the system is verified as correct; and if so, unabstracting a trace of the transitions from the abstracted initial state to the unallowable abstracted state.

Abstract: A system for modeling an optical signal transmission path of an optical network. The system may include a database configured to store a loss value associated with an interplay between a first loss characteristic and a second loss characteristic, the first and second loss characteristics associated with an optical signal within the optical signal transmission path. The system may also include a path computation engine configured to receive the loss value associated with the optical signal from the database and estimate, based on the loss value, a plurality of transmission characteristics of the optical signal transmission path.