107 results about "Full model" patented technology

Presently described is a decompilation method of operation and system for parsing executable code, identifying and recursively modeling data flows, identifying and recursively modeling control flow, and iteratively refining these models to provide a complete model at the nanocode level. The nanocode decompiler may be used to determine if flaws, security vulnerabilities, or general quality issues exist in the code. The nanocode decompiler outputs in a standardized, human-readable intermediate representation (IR) designed for automated or scripted analysis and reporting. Reports may take the form of a computer annotated and/or partially human annotated nanocode listing in the above-described IR. Annotations may include plain English statements regarding flaws and pointers to badly constructed data structures, unchecked buffers, malicious embedded code or “trap doors,” and the like. Annotations may be generated through a scripted analysis process or by means of an expert-enhanced, quasi-autonomous system.

The invention provides a keyword recommending method and system based on a latent Dirichlet allocation (LDA) model. The keyword recommending method comprises basic LDA training and incremental LDA training. The basic LDA training aims at training texts, probability distribution of basic words to the theme and probability distribution of basic texts to the theme are obtained; the incremental LDA training aims at specific incremental seed words, an incremental LDA model of a training text matched with the incremental seed words is calculated, probability distribution of incremental words to the theme and probability distribution of incremental texts to the theme are obtained, and finally probability distribution of full words to the theme and probability distribution of full texts to the theme are formed. The correlation weight and the final correlation score of any two words in the full model are calculated, and one or more keywords the correlation score of which is highest is recommended. By employing the incremental training model, the theme clustering precision is greatly improved, the theme diversity is increased, and the quality of keywords in the theme is substantially improved.

A system and method for collecting information on components in an information technology (IT) system. This embodiment features discovering components in the IT system, determining at least one dependency between two or more of the discovered components, and tracking changes to the discovered components and the dependency between two or more of the discovered components. The discovery of components can be carried out using fingerprints of components, which can include key elements of the component that exist in a full model of all of the elements of the component.

Prior methods of measuring diamond proportions in order to construct a complete model, such as a three dimensional virtual wire-frame model, of a diamond have been found to be inadequate. In particular, there has been no commercially available, automated and objective method for measuring the dimensions of a diamond with similar or greater accuracy as compared with the accuracy that can be achieved with manual gauges or micrometers. The present invention provides a method of measuring a physical characteristic of a facet of a diamond, such as the location of one or more points on an edge of a facet. The method comprises illuminating the diamond to visually distinguish a facet from adjacent facets when viewed from a predetermined location, and then capturing an image of the diamond as viewed from this predetermined location. The image is then analyzed to determine the location of at least one point located on an edge of a facet by identifying a discontinuity in the properties of light transmitted from the diamond to the viewing location.

The invention provides a testing method of a standard cell library full model. The testing method comprises the following steps that 201, multiple physical rule checking is conducted on standard celllayout; 202, form verification of a standard cell library model is performed; 203, Benchmark electrical properties of a standard cell library are verified; 204, chip design silicon verification of thestandard cell library is performed. The invention provides a testing system of the standard cell library full model. Testing verification of the standard cell library full model can be quickly completed at high coverage rate.

Point source responses of pinhole apertures in a non-uniform grid mask used to spatially calibrate a gamma camera can be modeled as a two-dimensional Gaussian function with a set of seven parameters. The Gaussian parameters can be measured using a surface-fitting algorithm that seeks minimum error in the least squares sense. The process is repeated for data from each pinhole location and the data are added together to generate a complete model of the flood image from the mask, which then can be used in a peak detection process for clinical images.

A method for verifying a property of a complete model of a system under study includes abstracting at least some of the variables from the model so as to produce an abstract model of the system. Beginning with an initial state in a state space of the abstract model, an abstract path is found through the state space of the abstract model in accordance with the transition relation to a target state defined by the property. A subset of the abstracted variables is restored to the abstract model so as to produce an intermediate model of the system, and the property on the complete model is verified based on the intermediate model.

The invention relates to a power distribution network fault diagnosis method. The method comprises steps that a power grid full model is constructed; the fault information of a feed line is acquired, and the feed line with a fault is positioned according to the fault information and the power grid full model; the fault indication information of a fault indicator is acquired, and a first fault section with the fault is positioned according to the fault indication information and the power grid full model; a distribution transform power failure event of a distribution transformer is acquired, and first trip-out equipment with the fault is positioned according to the distribution transform power failure event and the power grid full model; the measurement drop information of a wire outgoing switch is acquired, and a second fault section and second trip-out equipment with the fault are positioned according to the measurement drop information and the power grid full model. Through the power distribution network fault diagnosis method, a fault generation line segment can be precisely acquired through the fault indication information, the distribution transform power failure event and the measurement drop information in combination with the power grid full model, and thereby fault diagnosis efficiency is effectively improved.

The invention belongs to the field of numerical analysis of multiple rows of rolling bearings of rolling mills, and concretely relates to a boundary element method for calculating load and pressure ofa rolling bearing under an elastohydrodynamic lubrication condition. The method includes introducing a bearing boundary element, a contact width Hertz correction theory and a plate element on the basis of a three-dimensional frictional elastic contact boundary element method to establish a bearing boundary element method; according to the theory of finite line contact elastohydrodynamic lubrication, deducing the equation of friction coefficient; establishing a boundary element method of a bearing under an elastohydrodynamic lubrication condition by coupling the bearing boundary element methodwith the finite line contact elastohydrodynamic lubrication theory; compiling a Fortran program of the bearing boundary element method under the condition of elastohydrodynamic lubrication. This method can be used to analyze the load and pressure distribution of multi-row rolling bearings, rolls and bearing blocks in full model. The load and pressure distribution of bearing under different lubrication conditions can be analyzed by changing the influence factors of roughness. Only surface unit division needs to be carried out on the bearing, the roller and the bearing housing, the unit division is few, and the calculation precision is high.

A layering aviation operation system HM/FM (health monitoring/fault management) modeling an evaluating method based on a stochastic Petri net comprises the following steps: firstly, establishing a stochastic Petri net model of all components, including a monitored object model, an HM model and an FM model, and secondly, combining the models to construct a complete stochastic Petri net model; thensimplifying and solving the complete stochastic Petri net to obtain the stability probability distribution of separated Petri sub models and the stability probability distribution of compressed Petrisub models; and finally analyzing and evaluating the models. According to the method, the sub models of the components of the system are established and can be combined flexibly according the structure of the practical system to obtain the complete model of the system, namely flexibility, the models are subjected to approximation analysis, a large-scale practical system can be processed, namely the solving of a complicated model.

The invention discloses a method for quick modeling of a Delta robot based on MAPLESIM. The method is characterized by comprising the following steps of 1, according to the multibody mechanical graph theory principle, abstracting a mechanism topology configuration of the actual Delta robot into a linear graph, and expressing in a character and graph type; 2, sequentially selecting the required elements from a built MAPLESIM element base, and setting attributes and parameters; 3, according to the linear graph, connecting the elements and components, and building a single-branch chain physical model of the Delta robot; 4, copying the built single-branch chain model in step 3 into two other branch chains, and connecting the three branch chains in parallel to build a complete basic model of the Delta robot; 5, solving the built single-branch chain model in step 4, and simulating the motion control on the complete model according to the solved explicit inverse solution. The method has the advantage that by operating the MAPLESIM to analyze, the built model is tested according to the three-dimensional cartoons and tracks, so as to obtain the satisfactory property.

The invention discloses an electric system splitting fracture surface searching method based on master-slave problem alternating optimization. A complete active splitting model is transformed to a master-slave problem based on the connected graph constrained Knapsack problem (CGKP) theory. The master problem is the graph optimal balanced dividing problem and solution is performed with the CGKP technology adopted. The slave problem is that the solution is performed with the optimal power flow (OPF) technology adopted and based on the scheduling problem of the OPF problem. The coupling between the master problem and the slave problem is achieved through regulation variable of node load. A more excellent splitting scheme is obtained through alternating iteration between the master problem and the slave problem. Compared with the prior art, a novel strategy based on the a master-slave problem alternating solving electric system optimal active splitting section is proposed, and meanwhile, the splitting scheme is enabled to be closer to an optimal solution of the complete model. Therefore, a greater load is generated after splitting to achieve power supply.

The invention discloses a method for modeling a field-path cooperative model for predicting a field line coupled system response, which comprises the step of: using the combination of an ADS platform and an HFSS platform with a modified Taylor model under a single interference source radiation to create a complete model which couples electromagnetic wave radiated from jamming equipment to interfered equipment through a cable so as to obtain the responses of two pieces of terminal interfered equipment connected by the cable at the jamming equipment. In a state of a definite equivalent radiation source, the method for modeling a field-path cooperative model disclosed by the invention can be used for predicting a coupled response condition on the cable excited by the electromagnetic wave generated by any jamming equipment so as to provide information reference for device-level and system-level electromagnetic compatibility designs.

3D mesh models are represented by three types of data: connectivity data, geometry data and property data. The surface of a 3D object is a triangle mesh. 3D meshes contain huge amounts of data that need to be compressed efficiently. Additionally to the common world coordinate system for the complete model and local coordinate system for a single triangle, an individual component coordinate system for each connected component is used. The component coordinate system is used to normalize the orientation of the respective component for quantization and de-quantization. This improves the accuracy of encoded 3D mesh models after quantization/de-quantization, particularly if a 3D mesh model comprises one or more distinct components.

The invention provides a unifying method and device of a data model. The method includes the steps that firstly, consistency verification is conducted on CIM/XML documents, full-model import is conducted on data which are verified to be correct, and a single line diagram is generated; a correct device is configured for the single line diagram in a topologic mode, full-model export is conducted, and then standard CIM/SVG files are generated. Due to the fact that consistency verification is conducted on the CIM/XML documents before import, part of incorrect data are deleted, full-model import and export are conducted, the standard CIM/SVG files are generated, and then the CIM/XML documents can be converted into the standard CIM/SVG files. The method solves the problems of semantic inconsistency caused by different extensions of different applications to CIM and frequent replacement of CIM versions, distribution network data migration between the heterogeneous systems is achieved, and high integration and sharing of smart power grid information are achieved.

The invention provides a power grid industry classification load automatic statistical method and system. The method includes: acquiring power grid model data, and performing model splicing according to the model boundaries in the power grid model data to obtain a through full model network; performing network topology analysis of the full model network to obtain logic buses, the correspondence of logic buses and devices and association among devices; calculating statistical information of distribution network transformer industry classification loads, feeder industry classification loads and bus, transformer, line, station, area industry classification loads according to the network topology analyzing results. The method and system has the advantages that the economical operation manner of the power grid can be mastered fast by power grid scheduling staff, the operation manner can be arranged reasonably, power supply of important users can be guaranteed, and power supply reliability of the power grid is increased; no manual maintenance is needed, maintenance workload and intensity of the scheduling staff and automatic maintenance staff are relieved, and the method and system are worthy of popularization.

The invention discloses a table type large visual field three-dimensional scanning device and a method; the table type large visual field three-dimensional scanning device consists of multiple groups of cameras, a laser MEMS galvanometer projector, and a precise rotating table; the projector is arranged in the middle of multiple groups of cameras for projecting the structure light; multiple groups of cameras are symmetrically distributed at both sides of the projector, wherein two symmetrical cameras are one group. The device can cover the three-dimensional scan from small volume article to large volume article; the article is smaller, the measurement precision is higher; the method can realize one-button scanning, and acquire good complete model at 360 degrees.

The invention relates to the field of fabricated buildings, in particular to an intelligent fabricated building construction method. The method comprises the steps of preliminary model design, whereinspace planning is conducted according to site analysis, building modeling, building landscape and traffic flow lines; Utilizing a BIM technology to form a building full model; Model design is optimized, the whole building model is placed in a specific simulation environment, and the house type, size and orientation of the building are perfected; Carrying out deepening model design, splitting theoptimization model into single components, and carrying out shape optimization, steel bar configuration and collision detection on the single components according to splitting of the components; According to the detection result, all the elements are adjusted, the relation among all the elements is further perfected, a component deepening detail drawing is directly obtained through the BIM model,and the drawing should comprise a component size drawing, a pre-buried positioning drawing and a material list table, and an H-dimensional view is constructed. And an intelligent design technology isutilized, so that the construction of the fabricated building is more standardized, process-oriented, automatic and intelligent.

The invention discloses a device for analyzing stress conditions of a test model in a circulating water channel. The device comprises a hanger, a junction box, a pair of guide shafts, a base, and a five-component balance device. The upper ends of the guide shafts are mounted on the lower surface of the hanger through guide shaft supports, and the lower ends of the guide shafts are mounted on the upper surface of the base. The five-component balance device is mounted on the upper surface of the base and connected with the junction box. A force transmission bar penetrating a base guide cover connecting disk is mounted at the bottom of the five-component balance device. The device is light in weight and high in response speed, allows electrical signals to be transmitted easily, allows hydrodynamic test measurement to be automated, is small in size, can be used to measure hydrodynamic force and torque acting on the full model, and can also be used to measure hydrodynamic force and torque acting on a part model or hanger-free model.

The invention discloses a testing device and testing method of a pile composite foundation combined with a broken stone hardcore foundation. A seismostation full-model dynamic test focuses on researching the displacement, strain and acceleration changes of the foundation form under the action of horizontal dynamic loading, and the dynamic response, the failure mode and the shock absorption characteristic of the foundation form are analyzed and researched. The foundation form is researched by a PIV camera half-model static test in a macroscopic, microcosmic and multiscale mode, the displacement, strain and other responses of the foundation under the action of horizontal and vertical static loading are researched macroscopically, and the bearing mechanism and the failure mode of the foundation form are microcosmically analyzed in the aspect of the particle size according to particle displacement, rotation, the local porosity and other microcosmic parameters. The dynamic model test and the static model test are comprehensively applied, the bearing mechanism and the failure mode of the foundation form can be visually inspected, the shock absorption effect of the foundation form is effectively analyzed, the wider research of the academic world on the foundation form is promoted, and the foundation form can be applied to practical engineering as soon as possible.

The invention discloses a federated learning system optimization method, apparatus and device, and a storage medium. The method comprises the steps of participating in federated learning model training to obtain a federated model; a preset training data set and the federated model are adopted for training to obtain a local model and a full model, the full model at least comprises the federated model, the local model and a fusion model, and the output of the federated model and the output of the local model are connected with the input of the fusion model; and performing performance test on thefederated model, the local model and the full model, and selecting a finally used model based on a performance test result. According to the method, the federated model is fully utilized, local calculation resources of the participating equipment are not wasted, and the performance of the obtained full model is much better than that of the local model due to the combination of the federated modeland the local model, so that most participating equipment can benefit from federated learning, and the performance of the model is improved.

The invention relates to a calibrating system and method of a multi-view-field star sensor based on a three-axis turntable. The calibrating system comprises the multi-view-field star sensor, the three-axis turntable, a single-star simulator and a data collecting device. The calibrating method comprises the following steps: step one, collecting data; step two, calibrating a pinhole model; step three, calibrating a complete model; step four, solving a structure parameter; and step five, evaluating a calibrating result. The calibrating method uses a generating angle of a rolling-rotating axis ofthe three-axis turntable to switch a data collecting view field, and uses the other two axes to generate a calibrating track for each view field. Data collection is completed by one time, so an outerparameter model in each view field calibrating model is kept unchanged, and the structure parameter between the view fields can be solved without being affected by an installing error. At the same time, according to an unchanged outer parameter, calibration of each view field can be joint-optimized, and the effect on parameter estimation precision caused by parameter coupling is reduced.