102 results about "Identifying Variable" patented technology

The present invention provides a method for controlling nonlinear process control problems. This method involves first utilizing modeling tools to identify variable inputs and controlled variables associated with the process, wherein at least one variable input is a manipulated variable. The modeling tools are further operable to determine relationships between the variable inputs and controlled variables. A control system that provides inputs to and acts on inputs from the modeling tools tunes one or more manipulated variable inputs to achieve a desired result like greater efficiency, higher quality, or greater consistency.

A method of determining a local causal neighborhood of a target variable from a data set can include identifying variables of the data set as candidates of the local causal neighborhood using statistical characteristics, and including the identified variables within a candidate set. False positive variables can be removed from the candidate set according to further statistical characteristics applied to each variable of the candidate set. The remaining variables of the candidate set can be identified as the local causal neighborhood of the target variable.

Methods and apparatus are provided for non-deterministic incremental program replay using checkpoints and syndrome tracking. Replay of a program proceeds by, for a given execution of the program, recording one or more checkpoints of the program, the one or more checkpoints containing program state information; and a recorded list of values for one or more identified variables executing in one or more threads of the program. Thereafter, during a replay execution of the program, the process continues by commencing execution from a particular one of the recorded checkpoints; restoring the program state information associated with the particular one of the recorded checkpoints; comparing an observed list of values to the recorded list of values for the one or more identified variables executing in each of the one or more threads; and identifying a difference between the observed list of values and the recorded list of values. A perturbation or suspend statement can optionally be introduced into the replay execution of the program.

A method, apparatus, and computer instructions in a processor for selectively performing operations on data. An operation to be performed on data is identified to form an identified operation. A determination is made as to whether metadata identifying a state of the data is associated with the data. A determination is made as to whether the identified operation can be performed on the data based on the state of the data, in response to the metadata being associated with the data. The operation is performed on the data if the state of the data allows for the operation to be performed. The processor selectively performs the operations based on the state of the data.

The present invention provides a method for controlling nonlinear control problems within particle accelerators. This method involves first utilizing software tools to identify variable inputs and controlled variables associated with the particle accelerator, wherein at least one variable input parameter is a controlled variable. This software tool is further operable to determine relationships between the variable inputs and controlled variables. A control system that provides variable inputs to and acts on controller outputs from the software tools tunes one or more manipulated variables to achieve a desired controlled variable, which in the case of a particle accelerator may be realized as a more efficient collision.

The invention provides a method and a device for detecting security flaws of source files. The method includes scanning the source files one by one and executing steps on the scanned source files including subjecting the source files to lexical analysis and grammatical analysis, performing variable identification operation and risk point identification operation in the process of the lexical analysis, wherein the variable identification operation includes identifying variables and storing identified variables; the risk point identification operation includes identifying risk points, backtracking the stored variables by means of parameters of the risk points which are identified, and if the parameters of the risk points can be backtracked to an importable point, considering the risk point is potential risk points to cause security flaws when without security function processing in the process of backtracking. Compared with the prior art, the method for detecting security flaws of the source files has no need to build up an abstract syntax tree, processing procedures are simplified, resources of a testing system are saved, and code scanning efficiency is improved.

In a system for statically analyzing a specified computer, a verification condition generator converts the program into a logical equation, called a verification condition, and inserts program flow control labels into the sub-equations of the verification condition. The flow control labels identify conditional branch points in the specified computer program. A theorem prover is applied to the logical equation to determine truth of the logical equation, and when the truth of the logical equation cannot be proved, the theorem prover generates at least one counter-example identifying one of the conditions, one or more variable values inconsistent with that condition, and any of the flow control labels for conditional branch points of the program associated with the identified variable values. A post processing module converts each counter-example into an error message that includes a program trace when the counter-example identifies one or more of the flow control labels.

Embodiments of the present invention provide a method and system for optimizing processor register allocation. Variables from an acyclic call graph having a plurality of functions may be identified and a plurality of virtual registers may be created by assigning each of the identified variables to at least one virtual register. An interference graph may be constructed based on the plurality of virtual registers and may be colored with a plurality of physical registers. If the interference graph is not colorable, then at least one virtual register may be spilled from the interference graph.

A method, system, and medium for determining a least-cost, international-routing path to communicate data across a telecommunications network are provided. The path implementation variables can be presented on a user interface or used to automatically generate a switch update transaction that implements the path. The method includes identifying variables that affect the determination of a least-cost path, receiving data values that correspond to the variables, and presenting the data values so that the path can be determined in response to observing the variables. Confidence and route testing can be conducted using the present invention.

Method for generation of a live update including compiling original source code into a first intermediate representation (IR) code; compiling modified source code into second IR code; analyzing and comparing the first and second IR codes to identify variables and functions that were changed generating a part of final IR code with all the original variables and functions; generating an additional part of final IR code with new code for modified portions of the changed original functions, added functions and variables, and marking it for compilation into special code/data sections; and compiling a new object code and a final executable binary based on the final IR. The final executable object code includes the original code and data from original application binary, and a live update code and data from additional part of final IR generated. The live update code and data refer to original code and data where needed via standard object code relocation information.

Computerized methods for translating semantic models and rules into procedural code are described. The methods identify variables present in triples in both the rule conclusion and premise along with properties of the triples that identify a procedural function to incorporate procedural code generated in lieu of the semantic rule. The method further determines if the premise triples comprising variables that are subjects of conclusion triples are “type” statements. Additionally, the domain of the property of the triples in the rule premise and/or conclusion that are not “type” statements but bind the subject variables are also determined. The procedural function is then associated with procedural classes translated from the intersection of semantic classes identified by the premise triples determined to be “type” statements and the classes identified as the domain of the conclusion or premise triples that comprise the subject variables but are not “type” statements. Further, the procedural function is updated in the associated procedural classes with the semantic rule computation determined using premise elements that compute values of object variables in the conclusion triples.

The illustrative embodiments described herein provide a computer-implemented method, apparatus, and computer program product for managing variable assignments in a program. The process identifies a set of variable assignments that is live on a portion of paths to form a set of identified variable assignments. Each of the set of identified variable assignments assign a value to at least one variable of a set of variables. The process determines a set of program points at which the set of identified variable assignments is live on all paths. The process also moves the set of identified variable assignments to the set of program points in response to determining that the set of identified variable assignments is movable to the set of program points.

The invention discloses a method for identifying a variable boundary cable force of a medium or long cable. The method comprises the following steps of: performing unit discreteness on the cable, dividing the cable into n units (n is in a range of 40 to 400), and calculating a unit rigidity matrix [K]e and a mass matrix [M]e of each unit according to formulas (1) to (2); then arranging rubber cushion blocks on the cable to form external restraint, wherein the number of the rubber cushion blocks is 2 to 6 and the mounting number of the rubber cushion blocks is determined according to the length of the tested cable; and after the total rigidity matrix [K] and the total mass matrix [M] are determined, solving a characteristic value equation l[K]-omega2[M]l=0 of natural vibration frequency of a cable structure by adopting an iteration method to obtain the cable force T. Under the condition that the cable force is not changed, if the boundary condition of the cable is changed, the frequency of the cable is changed, and the equation of the frequency of the cable and the cable force is changed along with the change of the boundary condition of the cable, so the condition that the frequency of the cable cannot be tested under complex environments is solved, and meanwhile the frequency of the cable is in an interval capable of being tested by the conventional instrument by regulating the boundary condition.

Methods, systems and computer program products for supporting supply chain facility performance analysis. Methods include maintaining supply chain facility configuration information for a plurality of supply chain facilities. The method also includes identifying variables that are attributed to performance of the supply chain facilities. Data corresponding to one or more of the variables for selected supply chain facilities in the plurality of supply chain facilities is collected. Performance analysis is performed for the selected supply chain facilities using the data as input. The performance analysis includes executing a data envelope analysis (DEA) based three-stage performance analysis model, executing a statistical analysis and executing a sensitivity analysis. The results of the performance analysis are output. The results include a performance ranking of the selected supply chain facilities, a prescription for performance improvement, a correlation analysis, and a sensitivity analysis.

An analysis server obtains data associated with patients as part of a clinical trial. The analysis server derives models from the patient data, the models specifying how likely it is that a given value of a variable (or values of a pair of variables) are erroneous. The models can be applied to the patient data to identify variable values more likely to be erroneous, and in turn to assess the data quality of patients, sites, and the clinical trial itself.

Dynamic data discovery can identify variables or changes in a business environment which can impact existing business rules and can match identified triggers. A business rule associated with a business rule management system can be identified. The business rule management system can be a component of an enterprise organization. The rule can be an operation, a definition, and a constraint associated with the organization. The organization can be a person, a process, a product, a service, or a computing device. Relevant information can be determined from a dynamic data associated with a data source. The determination can be made through the use of semantic analysis. A business pattern associated with the rule can be semantically matched with a dynamic pattern associated with the information. The pattern can be a semantic pattern of the information. A new business rule can be automatically generated from the dynamic data analysis.

Groups of correlated representations of variables are identified from a large amount of spectrometry data. A plurality of samples is analyzed and a plurality of measured variables is obtained from a spectrometer. A processor executes a number of steps. The plurality of measured variables is divided into a plurality of measured variable subsets. Principal component analysis followed by variable grouping (PCVG) is performed on each measured variable subset, producing one or more group representations for each measured variable subset and a plurality of group representations for the plurality of measured variable subsets. While the total number of the plurality of group representations is greater than a maximum number, the plurality of group representations is divided into a plurality of representative subsets and PCVG is performed on each subset. PCVG is performed on the remaining the plurality of group representations, producing a plurality of groups of correlated representations of variables.