Abstract: Cooperative modeling of discrete system elements and continuous system elements is described, in which a discrete system element and a relationship between the discrete system element and a continuous system element is modeled in a first modeling environment, where a description of the discrete system element and of the relationship between the discrete system element and the continuous system element is exported from the first modeling environment to a second modeling environment, causing the discrete system element and the relationship between the discrete system element and the continuous system element to be modeled in the second modeling environment, where the continuous system element is modeled in the second modeling environment.

Abstract: One or more processors receive a breakpoint. The breakpoint is paired with a resume point. One or more processors execute a set of machine instructions on a virtual processor model. One or more processors halt execution of the set of machine instructions on the virtual processor model at the breakpoint. One or more processors execute a fragment of a program instruction on a physical processor. The fragment is logically equivalent to the set of machine instructions between the breakpoint and the resume point. One or more processors load a processed result into the virtual processor model. The processed result results from executing the fragment on the physical processor. One or more processors resume the execution of the set of machine instructions on the virtual processor model at the resume point.

Abstract: A method for determining active constraint equations in a network of wells and surface facilities includes constructing at least one constraint equation for a connection in the network. Each constraint equation includes a respective slack variable and a respective slack variable multiplier. The method further includes constructing a base equation for the connection. The base equation includes the respective slack variable and another respective slack variable multiplier. The method further includes introducing a pseudo slack variable for another connection in the network such that a Schur complement, of a matrix of constraint and base equations dependent only on slack variable multipliers, is sparse. The method further includes solving for each respective slack variable using the Shur complement matrix. The method further includes adjusting a variable parameter of the network using results from solving for each respective slack variable.

Abstract: Generating an abstract model of the behavior of a hardware and/or software design. A learning framework learns an unknown regular language that represents the behaviors of the hardware and/or software logic which do not violate a specified property that the abstract model is required to satisfy. The framework receives input data including the specified property, concrete models of the behavior of the hardware and/or software; and an alphabet of all symbols that are allowed to occur in any string that can be defined in the unknown regular language, each symbol representing an event in the hardware and/or software. The framework generates an abstract model of the behavior of the hardware or software design by checking whether a sequence of events in a concrete model satisfies the specified property and outputs the generated abstract model.

Abstract: A method is provided for designing and fabricating a removable partial denture (RPD) framework including clasp retainers configured for removable engagement with abutment teeth of a patient. The method includes obtaining an initial digital model of the RPD framework based on patient image data. For each clasp retainer, a set of relevant geometric parameters is identified, each relevant geometric parameter being provided with a nominal value, and a target value of dislodging force is provided. The method further includes performing a force analysis on the initial digital model to determine corrected values for the relevant geometric parameters of each clasp retainer such that when the corrected values are assigned to the relevant geometric parameters, the dislodging force matches its target value. The method also includes obtaining a corrected digital model based on the corrected values, and fabricating the RPD framework based on the corrected digital model.

Abstract: A method for forecasting flood, the method including: calibrating the hydrological model by using an objective function that is a sum of squared difference between the observed streamflow and the corresponding forecasted streamflow at each lead time to obtain the optimized hydrological model; using the optimized hydrological model to forecast floods; and evaluating forecasting performance of the optimized hydrological model. The method improves the forecasting accuracy and provides forecasting results at various lead times.

Abstract: Systems and methods for generating a furnishing plan for a property are disclosed. An exemplary system includes a communication interface configured to receive a floor plan of the property and a neural network model. The system further includes at least one processor configured to obtain structural data of the property based on the floor plan and learn furnishing information by applying the neural network model to the floor plan and the structural data. The furnishing information identifies one or more furnishing objects, positions of the respective furnishing objects placed in the floor plan, and dimensions of the respective furnishing objects. The at least one processor is also configured to generate the furnishing plan for the property based on the furnishing information.

Abstract: An exemplary embodiment includes a system to determine which wells provide input volumes to gas processing plants using a mixed-integer programming (MIP) model. The system uses a balanced approach to model all plants and wells within a basin simultaneously. The model utilizes multiple publically available data sources including well production data, plant inlet data, and GIS data. The full implementation provides at minimum a tenfold time improvement over the previously used manual techniques while increasing overall model quality.

Abstract: The physical object design and manufacture tool employs a processor programmed to parse user-supplied instructions expressed as text statements according to a predefined syntax and grammar. The processor interfaces with a graphical mesh creation tool that that expresses object geometry according to a predefined data model and that produces a graphical rendering of an object in accordance with the data model. The processor also interfaces with a computer-implemented analysis system that responds to predefined analysis code instructions and generates a simulation output stored in a file system associated with the analysis system. The processor is further interfaced with a version control repository system. The processor translates user-supplied instructions into designated analysis code that it submits to the analysis system as a job to be run.

Abstract: A system and method for pre-operatively optimizing a fit of an orthopaedic implant relative to a particular individuals anatomy is provided.

Abstract: A method for ensuring that verification results about models apply to cyber-physical systems (CPS) implementations is presented. The invention provides correctness guarantees for CPS executions at runtime. Offline verification of CPS models are combined with runtime validation of system executions for compliance with the model. The invention ensures that the verification results obtained for the model apply to the actual system runs by monitoring the behavior of the world for compliance with the model, assuming the system dynamics deviation is bounded. If, at some point, the observed behavior no longer complies with the model, such that offline verification results no longer apply, provably safe fallback actions are initiated. The invention includes a systematic technique to synthesize provably correct monitors automatically from CPS proofs in differential dynamic logic.

Abstract: Various embodiments describe performing a transient simulation of circuits that have mutual inductors. In particular, some embodiments perform a transient simulation on a circuit model by removing and approximating the effects of one or more entries of a matrix in the circuit model, where the matrix relates to inductors or mutual inductors of the circuit. In doing so, such embodiments can render the matrix more sparse than before which, in turn, can reduce the time spent during the transient simulation to solve equations of the circuit model.

Abstract: Methods and systems are disclosed for structurally analyzing and/or three-dimensional printing a part. The method may comprise receiving a model of the part for three-dimensional printing from a material comprising a matrix, receiving one or more properties for the material, and using the model, determining a print head tool path for use during the three-dimensional printing of the part. The method may also comprise determining a trajectory of at least one stiffness-contributing portion of the material based at least in part on the print head tool path, determining a performance of the part based at least in part on the one or more properties and the trajectory, and electronically outputting the performance of the part.

Abstract: Disclosed herein are systems and methods of compiling resources of a programmable emulation system to execute an emulation process, to emulate a logic system, such as an application-specific integrated circuit (ASIC), currently being tested and prototyped, and then revising, transforming, and moving the compiled instructions sets to inexpensively, quickly, and dynamically adapt to unavailable resources, which may be due to previously allocation to a different emulation job, or for fault tolerance. Relocation of the resources that will execute the emulation job (i.e., “footprint”) may refer to the remapping of a compiled footprint to a revised set of resources, defining a revised footprint. Fault tolerance may refer to support for working around faulty hardware components of the emulation system.

Abstract: A method and system for making a dental restoration are provided. The method comprises the step of providing a computer model of a three-dimensional reference surface that is based for example on a tooth structure of a tooth to be restored in a patient's dentition. The method further comprises the steps of visualizing the three-dimensional reference surface, providing a user operable virtual material deposition tool, and using the virtual material deposition tool to deposit a plurality of differently colored layers on the reference surface. The system provides functionality to perform the method of the invention. The invention preferably helps maximizing optical and geometrical quality in a dental restoration.

Abstract: A system and associated methodology for the generation of digital models that account for the adaptation of the shape of the patient's gingiva is provided. The exemplary system uses an initial scan of the patient's gingiva as a base model, taking into account the type and morphology of the teeth, the shape, orientation and movements of the roots inside the gingiva, and other factors for a more accurate prediction of the changes in the shape of the gingiva throughout every step of the treatment. In particular, the system proactively determines the areas of the model that will be covered by the aligner and prevents changes to such areas, whereas the shape of the model outside these areas is altered in a way to minimize the size of model and to add any necessary features for the manufacturing of the aligners.

Abstract: Methods, systems, computer-readable media, and apparatuses for performing, providing, managing, executing, and/or running a spatially-optimized simulation are presented. In one or more embodiments, the spatially-optimized simulation may comprise a plurality of worker modules performing the simulation, a plurality of entities being simulated among the plurality of worker modules, a plurality of bridge modules facilitating communication between workers and an administrative layer including a plurality of chunk modules, at least one receptionist module, and at least one oracle module. The spatially-optimized simulation may be configured to provide a distributed, persistent, fault-tolerate and spatially-optimized simulation environment. In some embodiments, load balancing and fault tolerance may be performed using transfer scores and/or tensile energies determined among the candidates for transferring simulation entities among workers.

Abstract: Embodiments for intelligent forecasting of material concentrations in a fluid by a processor in a computing environment. A material concentration of a material in a fluid may be predicted according to one or more continuous stirred tank reactor (CSTR) surrogate models on statistical flow trajectories of the fluid defined by a principle component analysis (PCA) operation of a system.

Abstract: Partitioning a water distribution network comprising a set of nodes, a distance between each pair of nodes is defined based on a pre-defined metric, is provided. At least one candidate partition of the water distribution network is determined. For each candidate partition, a plurality of centrally positioned nodes for each district metered area is identified. Repeating: assigning the set of nodes to a particular district metered area and moving the plurality of centrally positioned nodes according to a local objective function based on distances of other nodes of the particular district metered area from the plurality of centrally positioned nodes, until at least one convergence condition is satisfied. A candidate partition of the water distribution network is selected according to at least one selection criterion. The selected candidate partition is configured to decrease water pressure in each district metered area of the selected candidate partition.

Abstract: Computer system performance is improved during reservoir simulation runs where heterogeneous rock formations suffer from convergence problems. Convergence problems are affected by accurate determination of pressure distribution for reservoir simulation, which is very complex when properties or attributes of reservoir rock formations are heterogeneous. In heterogeneous reservoir rock formations, pressure distribution is affected over three dimensions by variations of rock permeability and porosity. The difficulty in convergence of the simulation runs results in increased computer operation and processing time and consequent computer usage costs. Improved determination of pressure distribution in heterogeneous rock formations permits acceptable initial pressure measures for pressure determination during reservoir simulation and to reduce convergence problems with existing reservoir simulation.