A synthesis gas conversion process and system are disclosed. Fresh syngas from a methane reformer is used as a sweep zone gas feed which is caused to flow across a water permselective membrane in a membrane reactor. The water permselective membrane is adjacent a synthesis gas conversion reaction zone in which synthesis gas is contacted with a catalyst and converted to effluent including water. Water is removed from the reaction zone through the membrane and passes out of the reactor with the sweep zone gas. The water is then removed from the sweep zone gas forming a modified gas feed which is fed to the reaction zone. The modified gas feed has a preferred H2/CO ratio to feed into the reaction zone.

A process for the synthesis of methanol, comprising the steps of reforming a hydrocarbon source obtaining a make-up gas feed (101), feeding said make up gas to a synthesis loop (L), converting said make up gas to methanol (108) in a substantially isothermal catalytic environment, wherein said catalytic environment comprises a plurality of isothermal catalytic beds (11, 12, 21) preferably arranged in series, and at least a portion of make-up gas (101) is mixed with recycle gas (112) from the loop (L), obtaining a gaseous mixture of fresh gas and recycle gas, and at least a portion of said gaseous mixture is directed between two consecutive catalytic beds acting as a quench gas. A related plant is also disclosed.

In designing supersonic aircrafts, a method of designing a natural laminar flow wing is provided which reduces friction drag by delaying boundary layer transition under flight conditions of actual aircrafts. A target Cp distribution on wing upper surface, suited to natural laminarization in which boundary layer transition is delayed rearward in desired Reynolds number states, is defined by a functional type having as coefficients parameters depending on each spanwise station, a sensitivity analysis employing a transition analysis method is applied to the parameters, and a search is performed for the optimum combination of parameters to delay transition rearward.

Disclosed herein is a method for determining a trajectory for a transfer of a spacecraft from a starting space body to a target space body with respect to a given central space body, wherein the determined trajectory is optimal with respect to a given space mission requirement to be met by the transfer of the spacecraft. The method comprises providing, according to the Pontryagin maximum principle, a physical-mathematical model relating model quantities and physical quantities representing the transfer of the spacecraft with respect to the given central space body.

A fluid flow is simulated by causing a computer to perform operations on data stored in the memory to compute at least one eddy of a fluid flow at a first scale and perform operations to compute at least one eddy of the fluid flow at both the first scale and a second scale. The second scale is a finer scale than the first scale, and the computation of the at least one eddy of the fluid flow at the second scale is constrained by results of the computation of the at least one eddy of the fluid flow at the first scale.

A method of modelling a hydrocarbon-containing reservoir which is representative of such reservoir in at least one physical characteristic such as reservoir porosity or permeability. Data, such as reservoir porosity is firstly determined. Such data is then transformed into printing instructions for a 3D printer. The 3D printer is used to print a reduced-scale model which is representative of the reservoir in respect of the at least one physical characteristic, such as reservoir porosity. A method of comparative testing of different hydrocarbon recovery techniques on a single hydrocarbon-containing reservoir is also disclosed and claimed.

A production simulator (2), for simulating a mature hydrocarbon field, providing quantity produced (Qφktb) per phase, per well, per layer (or group of layers) and per time as a function of production parameters (PP), wherein the production simulator (2) matches history data (HD) of the mature hydrocarbon field and verifies a Vapnik condition.

A computer-implemented method, system, and computer program product are disclosed for updating simulation models of a subterranean reservoir. An ensemble of reservoir models representing a subterranean reservoir having non-Gaussian characteristics is provided and the ensemble of reservoir models is updated using a subspace ensemble Kalman filter. Kemal principle component analysis parameterization or K-L expansion parameterization can be used to update the ensemble of reservoir models.

Systems and methods for subsurface secondary and/or tertiary oil recovery optimization based on either a short term, medium term or long term optimization analysis of selected zones, wells, patterns/clusters and/or fields.

A system for intelligent monitoring and management of an electrical system is disclosed. The system includes a data acquisition component, a power analytics server and a client terminal. The data acquisition component acquires real-time data output from the electrical system. The power analytics server is comprised of a real-time energy pricing engine, virtual system modeling engine, an analytics engine, a machine learning engine and a schematic user interface creator engine. The real-time energy pricing engine generates real-time utility power pricing data. The virtual system modeling engine generates predicted data output for the electrical system. The analytics engine monitors real-time data output and predicted data output of the electrical system. The machine learning engine stores acid processes patterns observed from the real-time data output and the predicted data output to forecast an aspect of the electrical system.

Method and system are disclosed for statistical circuit simulation. In one embodiment, a computer implemented method for statistical circuit simulation includes providing descriptions of a circuit for simulation, wherein the descriptions include variations of statistical parameters of the circuit, partitioning the circuit into groups of netlists according to variations of statistical parameters of the circuit, simulating the groups of netlists using a plurality of processors in parallel to generate a plurality of output data files, and storing the plurality of output data files in a memory. The method of partitioning the circuit into groups of netlists includes forming the groups of netlists to be simulated in a single instruction multiple data environment, and forming the groups of netlists according to proximity of variations of statistical parameters of the circuit.

Methods and systems are provided for executing a simulation of an operation in a data processing system. In one implementation, the method includes executing an operation under a first set of conditions, determining a characteristic associated with the execution of the operation under the first set of conditions, and executing a simulation of the operation under a second set of conditions different from the first set of conditions. The simulation of the operation is constrained by the determined characteristic. The method can further include determining a cost/benefit of executing the operation under a set of conditions different from the first set of conditions based at least in part on the simulation.

Techniques are described for implementing one or more logical routers within a single physical routing device. These logical routers, as referred to herein, are logically isolated in the sense that they achieve operational and organizational isolation within the routing device without requiring the use of additional or redundant hardware, e.g., additional hardware-based routing controllers. The routing device may, for example, include a computing platform, and a plurality of software process executing within the computing platform, wherein the software processes operate as logical routers. The routing device may include a forwarding component shared by the logical routers to forward network packets received from a network in accordance with the forwarding tables.

The present disclosure includes methods, systems, and devices for prioritization of three dimensional dental elements. One method for prioritizing three dimensional dental elements includes receiving a virtual initial dental data set (IDDS) of teeth having spatial information regarding the positions of a number of teeth in the virtual IDDS with respect to each other for presentation of the teeth in a virtual three dimensional space to be viewed on a user interface, setting prioritization values of a number of elements of one or more of the number of teeth, and prioritizing the number of elements to be selected by a user based upon their prioritization values.

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 occupied by a porous medium, 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 differing from the first model in a way that accounts for flow and acoustic properties of the porous medium, and simulating movement of elements between the first volume and the second volume at an interface between the first volume and the second volume.

The present invention aims to simulate a response more similar to a actual machine while inhibiting load increase in analog operation. Program configuration of the present invention is a component of a simulation program for circuit design, which is executed by a computer. The computer includes an operation portion, a storage portion, a manipulation portion, and a display portion, so that the computer exerts a function of a circuit design simulator, and as a macro model of an operational amplifier for use in the circuit design simulator, enabling the computer to act by simulating a response of the operational amplifier on the circuit design simulator. The macro model of the operational amplifier includes a control portion (LMT1) for generating output exception in the event of input exception or power supply exception of the operational amplifier.

Dynamics simulations are described. Dynamics simulations can include identifying a number of ink related components and a number of printing interactions. Dynamics simulations can also include generating a granular representation of the number of ink related components and calculating a number of Hamaker constants based on the granular representation of the number of ink related components. Dynamics simulations can include performing a dynamics simulation based on the number of Hamaker constants, the granular representation of the number of ink related components, and the number of printing interactions.

A design system for generating a power equipment proposal for a particular location, comprises an insolation database, a load database, and a processing system. The insolation database comprises insolation values associated with a plurality of geographic data points. The load database associates appropriate power equipment with load requirements. The processing system generates at least one power equipment proposal based on load requirements generated from the insolation database based on the insolation values associated with a geographic data point closest to the particular location and solar power equipment appropriately selected from the load database based on the load requirements generated from the insolation database.

Methods, systems, and apparatus, including computer program products, for determining energy indicator values for a plurality of thermoplastic materials. An energy indicator value represents expected energy requirements for performing an injection of the material in a mold cavity. An injection of each of a plurality of thermoplastic materials in a first modeled mold cavity is simulated. A respective value of a first expected energy parameter is determined for each of the plurality of thermoplastic materials based on the simulated injections. A respective energy indicator is determined, for each of the plurality of thermoplastic materials, based at least on the corresponding value of the first expected energy parameter. The respective energy indicator value of one or more of the plurality of thermoplastic materials is presented.

Methods are provided herein for: calculating cell growth rates in various environments and genetic backgrounds; calculating the order of substrate utilization from a defined growth medium; calculating metabolic flux reorganization in various environments and at various growth rates; and calculating the maximum metabolic rate and optimal metabolite concentrations and enzyme activities by applying a computational optimization method to a kinetic model of a metabolic pathway. The optimization methods use intracellular molecular crowding parameters and/or well as kinetic rates to assist in modeling metabolic activity.

In a method for simulating temperature and electrical characteristics within an circuit, a temperature of at least one volume within the circuit as a function of a resistance within the at least one volume is repeatedly calculated and the resistance as a function of the temperature is repeatedly calculated until the temperature is within a predetermined tolerance of a previous temperature result and until the resistance is within a predetermined tolerance of a previous resistance result. Once the temperature is within a predetermined tolerance of the previous temperature result and the resistance is within a predetermined tolerance of the previous resistance, then an output indicative of the temperature is generated.

The systems and methods of the present disclosure calibrate impedance loss model parameters associated with an electrosurgical system having no external cabling or having external cabling with a fixed or known reactance, and obtain accurate electrical measurements of a tissue site by compensating for impedance losses associated with the transmission line of an electrosurgical device using the calibrated impedance loss model parameters. A computer system stores voltage and current sensor data for a range of different test loads and calculates sensed impedance values for each test load. The computer system then predicts a phase value for each load using each respective load impedance value. The computer system back calculates impedance loss model parameters including a source impedance parameter and a leakage impedance parameter based upon the voltage and current sensor data, the predicted phase values, and the impedance values of the test loads.

The cost necessary for introducing and maintaining a development environment that includes multiple simulators is suppressed, and a sharing of designing information is promoted, to make parameter adjustment of simulators easy. Provided is a service that unifies development environment on a computer provided with: a working computer system that can guarantee that there is no leaking of designing files; a user behavior monitoring system that collects utilization history of simulators or software, for each of the users, and selects development process of each of the users from the collected information; and a dynamic computational-resource distribution system that can conduct an automatic optimization of a complex simulation configuration, from information collected by the aforementioned user behavior monitoring system.

Methods and apparatuses for circuit design are described. In one embodiment, the method comprises determining a distribution of nets of a circuit, the distribution of the nets comprising numbers of blocks that each of the nets has in each of a plurality of partitions of the circuit in a partitioning solution, moving a first block of the circuit from a source partition to a destination partition to modify the partitioning solution, and updating the distribution of the nets after the moving.

A coiling parameterization tool includes a processor and a display for displaying values of lumen volume, packing and coiling parameters for filling a lumen in relation to a desired packing. The processor is configured to detect a change in one of the displayed values and, in response to the change, to automatically evaluate, change and display remaining values displayed on the display.

A device for the collection and processing of information relating to the exposure of one or more persons to one or more products of chemical or biological origin has: at least one coded sensor for automatic or semi-automatic identification of a person likely to be exposed to at least one product,at least one coded sensor for the collection of information relating to the handling of at least one product by the person likely to be exposed to the product,at least one sensor for validating the information collected by the identification and collection sensors,at least one module for reading at least one coded sensor, anda module for processing information collected by the sensors.

The invention is directed to methods for determining clonotypes and clonotype profiles in assays for analyzing immune repertoires by high throughput nucleic acid sequencing of somatically recombined immune molecules. In one aspect, the invention comprises generating a clonotype profile from an individual by generating sequence reads from a sample of recombined immune molecules; forming from the sequence reads a sequence tree representing candidate clonotypes each having a frequency; coalescing with a highest frequency candidate clonotype any lesser frequency candidate clonotypes whenever such lesser frequency is below a predetermined value and whenever a sequence difference therebetween is below a predetermined value to form a clonotype. After such coalescence, the candidate clonotypes is removed from the sequence tree and the process is repeated. This approach permits rapid and efficient differentiation of candidate clonotypes with genuine sequence differences from those with experimental or measurement errors, such as sequencing errors.

Various technologies described herein pertain to computing surface normals for points in a point cloud. The point cloud is representative of a measured surface of a physical object. A point in the point cloud can be set as a point of origin, and points in the point cloud can be modeled as electrostatic point charges. Moreover, a point of least electrostatic potential on a sphere centered at the point of origin can be computed as a function of the electrostatic point charges. Further, unit vector with a direction from the point of origin to the point of least electrostatic potential on the sphere can be assigned as a normal for the point of origin.

A computer method of material modeling for crash test dummy finite element models includes the steps of making a material card for the material, applying the material card to validate a finite element model of a crash test dummy component, determining whether the finite element model is acceptable, ending the method if the finite element model is acceptable, and adjusting a relative volume (J) range for the material to make the material soft or stiff if the finite element model is not acceptable.

A system and method is taught to substantially automate forecasting for a hydrocarbon producing reservoir through integration of modeling module workflows. A control management module automatically generates static and dynamic offspring models, with static and dynamic modeling software, until a performance objective associated with the forecasting of the reservoir is satisfied. The performance objective can include an experimental design table to determine a sensitivity of a particular parameter or can be directed towards reservoir optimization, i.e., ultimate hydrocarbon recovery, net present value, reservoir percentage yield, reservoir fluid flow rate, or history matching error.

Methods for creating and using space-time surrogate models of subsurface regions, such as subsurface regions containing at least one hydrocarbon formation. The created surrogate models are explicit models that may be created from implicit models, such as computationally intensive full-physics models. The space-time surrogate models are parametric with respect to preselected variables, such as space, state, and/or design variables, while also indicating responsiveness of the preselected variables with respect to time. In some embodiments, the space-time surrogate model may be parametric with respect to preselected variables as well as to time. Methods for updating and evolving models of subsurface regions are also disclosed.

Embodiments include methods of identifying a personalized cardiovascular device based on patient-specific geometrical information, the method comprising acquiring an anatomical model of at least part of the patient's vascular system; performing, using a processor, one or more of geometrical analysis, computational fluid dynamics analysis, and structural mechanics analysis on the anatomical model; and identifying, using the processor, a personalized cardiovascular device for the patient, based on results of one or more of the geometrical analysis, computational fluid dynamics analysis, and structural mechanics analysis of anatomical model.

Embodiments include methods of identifying a personalized cardiovascular device based on patient-specific geometrical information, the method comprising: generating a patient specific model of at least a portion of a patient's vasculature from image data of the patient's vasculature and one or more measured or estimated physiological or phenotypic parameters of the patient; determining pathology characteristics from cardiovascular geometry of the patient specific model; defining an objective function for a device based on design considerations and one or more estimates of hemodynamic and mechanical characteristics; optimizing the objective function, by simulating at least one change in devices and evaluating the objective function using fluid dynamic or structural mechanic analysis; and using the optimized objective function to either (i) select a device from a set of available devices or (ii) manufacture a desired device.

The embodiments relate to modeling resistance in a multi-fin multi-gate field effect transistor (MUGFET). In these embodiments, a design for a multi-fin MUGFET comprises a gate structure with a horizontal portion traversing multiple semiconductor fins and comprising a plurality of first resistive elements connected in series, with vertical portions adjacent to opposing sides of the semiconductor fins and comprising second resistive elements connected in parallel by the horizontal portion, and with contact(s) comprising third resistive element(s). The total gate resistance is determined based on resistance contributions from the first resistive elements, the second resistive elements and the third resistive element(s), particularly, where each resistive contribution is based on a resistance value of the resistive element, a first fraction of current from the semiconductor fins entering the resistive element and a second fraction of the current from the semiconductor fins exiting the resistive element.

The disclosed technology provides a manufacturing method of a target comprising obtaining an initial mass and a residual mass of the target sample, and calculating an etching mass; determining a relative etching depth of the target sample; calculating a relative etching mass based on the etching mass and the relative etching depth; determining a utilization parameter of the target sample based on the relative etching mass and the initial mass of the target sample before being used; and performing a simulation and optimization process on the utilization parameter of the target sample, obtaining target parameters corresponding to a preset value of the utilization parameter, and outputting the target parameters to a manufacturing control center for manufacturing a target. The disclosed technology also provides a manufacturing system of a target.

A method (and system) of emulation in a multiprocessor system, includes performing an emulation in which a host multiprocessing system of the multiprocessor system supports a weak consistency model, and the target multiprocessing system of the multiprocessor system supports a strong consistency model.

An apparatus, system and method are introduced for preserving privacy of data in a dataset in a database with a number n of entries. In one embodiment, the apparatus includes memory including computer program code configured to, with a processor, cause the apparatus to form a random matrix of dimension m by n, wherein m is less than n, operate on the dataset with the random matrix to produce a compressed dataset, form a pseudoinverse of the random matrix, and operate on the dataset with the pseudoinverse of the random matrix to produce a decompressed dataset.

A method for computer-aided closed and/or open-loop control of a technical system is provided. A first value of an output quantity is predicted on a data-based model at a current point in time. A second value of the output quantity is determined from an analytical model. The state of the technical system at the current point is assigned a confidence score in the correctness of prediction of the data-based model. A third value of the output quantity is determined from the first and second value as a function of the confidence score for controlling the technical system. A suitable value for the output quantity can be derived from the analytical model even for regions of the technical system in which the quality of prediction of the data-based model is low because of a small set of training data. The technical systems can be turbines, such as gas turbines.

A method and apparatus for data processing. The method calculates correlations between a plurality of attributes in a dataset. The attributes are factors involved in transaction processing. The method generates a relationship graph by using the plurality of attributes and the correlations between the plurality of attributes; and extracts a sub-graph from the relationship graph to represent a hypothesis. The hypothesis describes the impacts of the factors on the transaction processing. Also provided is an apparatus for implementing the above data processing method.

A method of providing data included in a building information modeling (BIM) data file using a server is provided. The method includes retrieving mapping data corresponding to a user request, extracting data corresponding to at least one entity mapped to the mapping data from the BIM data file, and transmitting the extracted data to a client.

Various technologies and techniques are disclosed for using transactional memory hardware to accelerate virtualization or emulation. State isolation can be facilitated by providing isolated private state on transactional memory hardware and storing the stack of a host that is performing an emulation in the isolated private state. Memory accesses performed by a central processing unit can be monitored by software to detect that a guest being emulated has made a self modification to its own code sequence. Transactional memory hardware can be used to facilitate dispatch table updates in multithreaded environments by taking advantage of the atomic commit feature. An emulator is provided that uses a dispatch table stored in main memory to convert a guest program counter into a host program counter. The dispatch table is accessed to see if the dispatch table contains a particular host program counter for a particular guest program counter.

Systems and methods are provided for evaluating performance of forecasting models. A plurality of forecasting models may be generated using a set of in-sample data. Two or more forecasting models from the plurality of forecasting models may be selected for use in generating a combined forecast. An ex-ante combined forecast may be generated for an out-of-sample period using the selected two or more forecasting models. The ex-ante combined forecast may then be compared with a set of actual out-of-sample data to evaluate performance of the combined forecast.

According to one aspect, an apparatus for computing a solution to a power flow problem for an electrical power system comprising a plurality of buses. The apparatus includes (a) at least one processor comprising a plurality of cores; and (b) memory coupled to the at least one processor for storing an admittance matrix for the power system, real power and reactive power for each bus, and an initial complex voltage for each bus; (c) wherein the at least one processor is configured to: (i) perform a Jacobi power flow calculation for each bus to determine the complex voltage for each bus, the Jacobi power flow calculation using the admittance matrix, the real power and reactive power for each bus, and the initial complex voltage for each bus as inputs, wherein at least two Jacobi power flow calculations are performed concurrently on the plurality of cores; (ii) calculate a power mismatch at each bus based on the complex voltages; and (iii) determine whether the Jacobi power flow calculations have converged based on the power mismatch and repeat (i) to (iii) if the Jacobi power flow calculations have not converged.

Methods, systems, and computer readable media for simulating realistic movement of user equipment in an LTE network are disclosed. According to one method, a logical topology of a long term evolution (LTE) access network is defined that includes defining connections between one or more eNodeBs (eNBs). A physical topology of the LTE access network is defined that includes defining locations of the eNBs and sectors, where the physical network topology is mapped to the logical network topology. One or more problem areas are defined within the physical network topology, where the one or more problem areas include locations where signal quality is degraded. One or more paths are defined through the physical network topology. A traffic profile for a user equipment (UE) device is defined. A plurality of messages is generated for simulating the movement of a UE device along a path through the physical network topology.

An ink set includes a first ink composition, and a second ink composition, in which the first ink composition contains a first pigment, and an alkyl diol having carbon atoms of 6 or less and a normal boiling point of 240° C. or more, the second ink composition contains a second pigment, and the alkyl diol, in the first ink composition, a content of the first pigment is 2.5% by weight or more, and a content of the alkyl diol is 3% by weight to 15% by weight, in the second ink composition, a content of the second pigment is less than 2.5% by weight, and the content of the alkyl diol is 8% by weight to 30% by weight, and the content of the alkyl diol in the second ink composition is greater than the content of the alkyl diol in the first ink composition.

A coating composition comprising: an aqueous dispersion comprising: the melt-kneading product of (A) a base polymer which comprises one or more thermoplastic polymers, (B) a stabilizing agent which comprises at least one component selected from the group consisting of acrylic acid grafted ethylene-based polymers and maleic anhydride grafted polyolefins; (C) a neutralizing agent; and (D) water; wherein the aqueous dispersion has a volume average particle size of less than about 5 μm is provided.

Systems and methods for controlling the damping of magnetic media for heat assisted magnetic recording are provided. One such system includes a heat sink layer, a growth layer on the heat sink layer, a magnetic recording layer on the growth layer, where the growth layer is configured to facilitate a growth of a preselected crystalline structure of the magnetic recording layer, and a capping magnetic recording layer on the magnetic recording layer, the capping recording layer including a first material configured to increase a damping constant of the capping recording layer to a first preselected level.

Disclosed are polysulfone-based materials that can be used as active and/or passive components in various electronic, optical, and optoelectronic devices, particularly, metal-oxide-semiconductor field-effect transistors. For example, various metal-oxide-semiconductor field-effect transistors can include a dielectric layer and/or a passivation layer prepared from such polysulfone-based materials and exhibit good device performance.

A multilayer printed wiring board including a first interlayer resin insulation layer, a first conductive circuit formed on the first interlayer resin insulation layer, a second interlayer resin insulation layer formed on the first interlayer resin insulation layer and the first conductive circuit and having an opening portion exposing a portion of the first conductive circuit, a second conductive circuit formed on the second interlayer resin insulation layer, a via conductor formed in the opening portion of the second interlayer resin insulation layer and connecting the first conductive circuit and the second conductive circuit, and a coating layer having a metal layer and a coating film and formed between the first conductive circuit and the second interlayer resin insulation layer. The metal layer is formed on the surface of the first conductive circuit and the coating film is formed on the metal layer.

A nanoprinthead including an array of nanotip cantilevers, where each nanotip cantilever includes a nanotip at an end of a cantilever, and a method for forming the nanoprinthead. Each nanotip may be individually addressable through use of an array of piezoelectric actuators. Embodiments for forming a nanoprinthead including an array of nanotip cantilevers can include an etching process from a material such as a silicon wafer, or the formation of a metal or dielectric nanotip cantilever over a substrate. The nanoprinthead may operate to provide uses for technologies such as dip-pen nanolithography, nanomachining, and nanoscratching, among others.