Patents
Literature
Hiro is an intelligent assistant for R&D personnel, combined with Patent DNA, to facilitate innovative research.
Hiro

117 results about "Dependence analysis" patented technology

In compiler theory, dependence analysis produces execution-order constraints between statements/instructions. Broadly speaking, a statement S2 depends on S1 if S1 must be executed before S2. Broadly, there are two classes of dependencies--control dependencies and data dependencies.

Iterative software development environment with prioritized build rules

An iterative software development environment is provided to perform modified dependency analyses for use in building a target file and all the files on which it depends from one or more source files using a set of prioritized build rules. In one embodiment, the build rules indicate how different types of target files can be generated from different source file types. A given target file type may be associated with several rules, each having a different priority, for building the target from different source file types. In one embodiment, if more than one source file exists that can be used to generate a given target file, the rule with the highest priority is used. In one embodiment, the build environment identifies how to generate a particular target file by identifying the highest priority rule for which an associated source file type exists. Moreover, the development environment identifies the presence of a new source file having a corresponding build rule with a higher priority than that of the source file type(s) previously used in the generation of the target file. In one embodiment of the invention, the target file is rebuilt if such a new source file is identified, or if one or more source files previously used to build the target file are determined to have been modified more recently than that indicated by the build date / time of the target file itself.
Owner:ORACLE INT CORP

Iterative software development environment with prioritized build rules

An iterative software development environment is provided to perform modified dependency analyses for use in building a target file and all the files on which it depends from one or more source files using a set of prioritized build rules. In one embodiment, the build rules indicate how different types of target files can be generated from different source file types. A given target file type may be associated with several rules, each having a different priority, for building the target from different source file types. In one embodiment, if more than one source file exists that can be used to generate a given target file, the rule with the highest priority is used. In one embodiment, the build environment identifies how to generate a particular target file by identifying the highest priority rule for which an associated source file type exists. Moreover, the development environment identifies the presence of a new source file having a corresponding build rule with a higher priority than that of the source file type(s) previously used in the generation of the target file. In one embodiment of the invention, the target file is rebuilt if such a new source file is identified, or if one or more source files previously used to build the target file are determined to have been modified more recently than that indicated by the build date/time of the target file itself.
Owner:ORACLE INT CORP

Integrated scheduling method for multi-roadway automatic stereoscopic warehouse based on mixed integer programming model

ActiveCN110084545AReduce complexitySuccessfully Solve Integration Scheduling ProblemsCharacter and pattern recognitionLogisticsOperation schedulingProduct order
The invention discloses an integrated scheduling method for a multi-roadway automatic stereoscopic warehouse based on a mixed integer programming model which comprises the steps that step 1, a tray/order arrives so as to perform step 2; if no tray/order arrives, performing the step 5; step 2, carrying out correlation analysis based on a K-Medoids clustering algorithm on arrived tray products making clustering analysis on arrived tray products, finding class clusters where tray products are located, solving an initial goods allocation range, wherein correlation analysis implementation process based on K-Medoids clustering algorithm is as follows: K-Medoids clustering algorithm is used for carrying out correlation analysis: step3, directly warehousing products ordered the same day and performing the step 6; if not, skipping to the step 4, directly warehousing products ordered the same day; step 4, stacking machine task distribution based on operation balance, step 5: distributing a sorting mode, and step 6: performing goods allocation and operation scheduling distribution; step 7, generating a stacking machine operation list until an optimal solution is not changed, otherwise, repeating the step 5 -step 7.
Owner:ZHEJIANG UNIV OF TECH

Friction coefficient model optimizing system and method in rolling process

The invention discloses a friction coefficient model optimizing system and method in the rolling process, and belongs to the technical field of control mathematical models in the rolling process. The Levenberg-Marquardt optimization algorithm is adopted to optimize friction coefficient model parameters in the rolling process. The friction coefficient model optimizing system is characterized by comprising a rolling process database, a rolling process technological parameter data sheet and following function modules which are a technological data reading and processing module, a technological data dependency analysis module, a Levenberg-Marquardt optimization algorithm analysis module, an optimization result storage module and an optimization result application module. The friction coefficient model optimizing system has the advantages that on the premise that key technological parameters are fully considered, the method can effectively process redundant parameters, actual rolling parameters on the site are utilized for directly conducting regression optimization on parameters of a nonlinear polynomial rolling process friction coefficient model, the linear processing process is prevented from being carried out on the complex friction coefficient model, the actual rolling situation on the site can be better reflected, friction coefficient setting computational accuracy is improved, the requirement for high-accuracy rolling is met, and therefore the product quality and yield are improved.
Owner:BEIJING SHOUGANG AUTOMATION INFORMATION TECH

Flight arrival time prediction method and system based on data mining analysis

The invention discloses a flight arrival time prediction method and system based on data mining analysis. The flight arrival time prediction method comprises the steps of S1, carrying out flight historical operation data matching fusion and standardization processing; s2, carrying out historical operation data feature screening and correlation analysis; 3, constructing a prediction model; and S4,inputting the characteristic variable data of the predicted flight into the regression prediction model, and performing calculation to obtain a prediction value of the remaining flight time of the flight. According to the invention, flight historical data is collected from an ADS-B system, an ACARS system and other devices; firstly, data is subjected to association and standardization processing;Pearson correlation coefficient calculation is performed according to feature variable screening and feature value calculation, and a regression prediction model based on an XGBoost algorithm is constructed; the parameter optimization model is continuously adjusted to obtain the regression prediction model with the optimal accuracy, the predicted arrival time of the flight can be predicted after the characteristic variable data of the predicted flight is input into the model, and the prediction precision of the arrival time of the flight is improved.
Owner:航科院中宇(北京)新技术发展有限公司

Method for analyzing taint propagation path

The invention provides a method for analyzing the taint propagation path to achieve the technical purpose of analyzing the taint propagation path based on the program dependence. The method comprises the steps that firstly, a program is analyzed through the LLVM compiler architecture, a source code is converted into an IR expression, and the IR expression of the LLVM is based on the static single assignment form; secondly, the variable data dependence analysis in a basic block is carried out on the IR expression obtained in the first step; thirdly, the control dependence analysis among basic blocks is carried out on the IR expression obtained in the first step; fourthly, the dependence of a PHI node at the aggregation position of the basic blocks is processed, the PHI function is placed at the aggregation position of the basic blocks in the static single assignment form expression and used for selecting different living examples of the variables in different branches, the dependence relation of the left variable of the PHI function is worked out according to the analysis result of the second step and the analysis result of the third step, the dependence of the basic blocks to the basic block aggregation position is linked, and therefore the taint propagation path can be analyzed.
Owner:BEIJING INSTITUTE OF TECHNOLOGYGY
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products