56 results about "Post-condition" patented technology

It is possible to identify pre- and post-conditions on a set of machine instructions by determining and analyzing possible value sets for variables and expressions. Stepping forward and backward through the set of instructions and tracking value sets at all points of reference allows for the value sets to be maximally restricted, which, in turn, gives an indication of allowed domains for different variables. These domains can be used to derive pre- and post-conditions for the set of instructions.

The invention discloses a self-adaptive composite service optimization method based on multi-agent reinforced learning. The method combines conceptions of the reinforced learning and agents, and defines the state set of reinforced learning to be the precondition and postcondition of the service, and the action set to be the Web service; parameters for Q learning including the learning rate, discount factors and Q value in reinforced learning are initialized; each agent is used for performing one composite optimizing task, and can perceive the current state, and select the optimal action under the current state as per the action selection strategy; the Q value is calculated and updated as per the Q learning algorithm; before the Q value is converged, the next round learning is performed after one learning round is finished, and finally the optimal strategy is obtained. According to the method, the corresponding self-adaptive action strategy is worked out on line as per the environment change at the time, so that higher flexibility, self-adaptability and practical value are realized.

A method of dynamically analyzing source code to generate usage hints for a user performing program editing is disclosed. The functions in a collection of source code being edited by a user are processed so as to generate a parse tree data structure for each function called. The incoming and outgoing arguments in the parse tree are identified. Subsequently, a user editing code calls the function and either completely or incompletely enters the arguments as part of the function called. Input arguments are identified and associated with the corresponding argument in the parse tree for the function. Relevant preconditions and post-conditions of the surrounding nodes corresponding to the current location are analyzed. Usage hints are provided for the completion of the function call. Arguments for a completed function call argument entered by the user are validated. Error messages are delivered in the event of an invalid call.

A method for providing change management in a distributed system is provided. The method includes compiling a policy for change management in the distributed system, the policy includes at least one policy rule based on an event-condition-action (ECA) framework with a pre-condition and a post-condition to an action in the policy rule, wherein the pre-condition is separate from a condition of the policy rule and indicates a prior condition in the distributed system that enables the action, and the post-condition indicates a subsequent condition in the distributed system that results from the action; receiving at least one event indicating a change in the distributed system; determining that the at least one received event triggers the at least one policy rule; generating a workflow to manage the change in the distributed system based on the at least one triggered policy rule; and initiating one or more actuators in the distributed system to dynamically configure or deploy components in the distributed system to execute the workflow.

The invention discloses an online advertising flow distribution system and method. The method includes the steps that for each advertisement display resource to be allocated, and the advertisement leaflets to be allocated and with the orientation condition conforming to the posting condition of the corresponding advertisement display resources are made to be associated with the corresponding advertisement display resources; according to the following constraint conditions, the probability that the advertisement leaflets are allocated to the advertisement display resources associated with the advertisement leaflets is worked out; for all the advertisement display resources, the sum of the posting amount of the advertisement display resources relative to the advertisement leaflets associated with the advertisement display resources is made to be not more than the total valid posting flow of the corresponding advertisement display resources; for all the advertisement leaflets, the sum of the posting amount of the advertisement display resources associated with the advertisement leaflets relative to the advertisement leaflets is made to be not less than the flow condition of the corresponding advertisement leaflets; advertisement posting of all the advertisement display resources is conducted according to the computed probability that the advertisement leaflets are allocated to the advertisement display resources associated with the advertisement leaflets. By the adoption of the online advertising flow distribution system and method, the allocation complexity of online advertising can be reduced, and allocation efficiency can be improved.

Methods and mechanisms for preventing deadlock in a policy-based computer system are disclosed. In one embodiment, the method includes various machine-implemented steps, such as a step of receiving policy information based upon decisions about system configurations. At least one policy includes at least one action that has a post condition. Satisfaction of the post condition triggers at least one subsequent action or decision. The policy includes an indication whether the at least one subsequent action or decision should proceed if the action fails to satisfy the post condition. The at least one action is executed. Then, if the action fails to satisfy the post condition, a determination is made whether the at least one subsequent action or decision can proceed based upon the indication.

The present invention provides methods and systems for using a element in a graphical model to represent and identify a postcondition for use by a verification tool in verifying an executable form of the design represented by the graphical model. The postcondition element comprises desired result for verification without affecting the behavior of the design. The desired result is to be achieved or tested for in verifying the design. As such, the postcondition element of the present invention provides a mechanism and formalism in a model-based design approach that is used to direct automatically generated tests or verification of the design represented by the graphical model.

The invention provides a third-party component vulnerability test method based on conditions and parameter variations. The third-party component vulnerability test method comprises the steps of analyzing a component interface through a third-party type library to obtain type information of a component, obtaining a safety requirement protocol of the component according to the description and IDL of the component, obtaining pre-conditions and post-conditions of the method from the requirement protocol, conducting a condition variation test on a method sequence, extracting parameter value constraints and relation constraints from requirements, conducting a parameter protocol variation test on the method sequence, and obtaining a vulnerability test report according to the testing result of the step 3 and the testing result of the step 4. The third-party component vulnerability test method has a certain effect on explicit expression safety abnormity, the safety of the component can be tested, and the test efficiency is improved.

The invention discloses a third-party component security testing method based on data mining. The method comprises steps as follows: 1, generating a method execution sequence set with a sequence generating algorithm according to effective component method names, method pre-conditions and post-conditions; 2, reading parameter boundary value files, assigning parameters of methods in the method execution sequences with a test case generating algorithm, and generating a test case set; 3, testing the components according to the generated test case set, recording state information during component operation, and generating a monitoring log set; 4, analyzing monitoring logs with a security vulnerability detecting algorithm to obtain a final component security vulnerability test result set. The method provides the model basis and the test criterion for the test of component security vulnerability and can be better applied to component security tests; besides, a third-party component security testing system based on data mining is also designed, automatic testing is well realized by the aid of the system, and the testing efficiency is improved.

A system and method for providing symbolic mode checking of business application requirements. A language allows for building a model for the business process, the model comprising a plurality of actions, with each action having a precondition and a postcondition or outcome. Specifications are constructed for the properties of the business applications with the specifications describing both the states of the business process and the order in which they may occur. Finally, the model and the specifications are analyzed to determine if the model satisfies the specifications. If the model fails to satisfy the specifications, a problem may be indicated in the business application. The process can be automated to permit the system to make assumptions for conducting a thorough analysis of selected potential problem areas in the application.

The invention discloses a method for generating a C++code based on combination of a class diagram and an activity diagram. The generation method comprises the following steps of: converting a use case diagram into the class diagram and the activity diagram, wherein each use case is taken as the basis, and generating the class diagram and the activity diagram according to the information in the use case diagram, i.e. the use case description, the precondition, the post condition, the control flow and the like; building a mapping rule of the class diagram and the activity diagram to the C++code, wherein in order to improve the practical applicability and the effectiveness of the code, the class diagram and the activity diagram need to be combined with each other to generate the code; and after a template-based technology is taken as a frame, enabling input information of a template engine to be selected from the class diagram and the activity diagram based on a model technology, and generating the code by a template code generating technology based on the class diagram and the activity diagram.

The invention discloses a method and device for realizing graph conversion based on MongoDB. A meta-model, a model embodiment and conversion rules are input. A data structure for storing of the meta-model is built in the MongoDB, then the model embodiment is stored in the MongoDB, and model embodiment fragments meeting the pre-condition of the conversion rules in the model embodiment are converted into model embodiment fragments under a post-condition of the conversion rules through the database operations such as inquiry, updating and insertion through the MongoDB. Model conversion takes the MongoDB as the intermediary. Large-scale model conversion can be realized. Distributive model conversion can be supported. The converted models are also stored in the MongoDB. Inquiry and modification of output models are facilitated.

The invention relates to a linkage service system and a linkage service method applied in an integrated rail transit supervisory control system, aiming at solving the problem that the linkage of the existing integrated rail transit supervisory control system is fixed, so that monitoring software needs to be replaced during modification. The system comprises a configuration database, a linkage client-side, a linkage server-side and a control server-side, wherein the configuration database and the linkage client-side are respectively connected with the linkage server-side; the linkage server-side is connected with the control server-side. The linkage service method comprises the steps of triggering linkage, function and action according to whether a precondition and a post-condition are met or not. The system and the method have the advantages that the linkage scheme can be flexibly collocated, and sustainable storage of the database is realized, so that linkage execution results can be stored under the special conditions that the linkage service collapses, restarts and the like, and an operator can conveniently master the linkage execution condition and prejudge the execution of the next step action; the linkage service system is capable of updating in an online way.

The invention provides a method of associating lightning data with operation data of a power transmission line. The comprises the following steps: step one, injecting W, E, D, F component attributes; step two, carrying out data connection and scalarization on lightning data based on a K-means method; step three, searching frequent items by using Apriori and finding out a result meeting a support degree and confidence; step four, setting a precondition lhs and a postcondition rhs and filtering the result; and step five, restoring the scalarization lightning data to obtain knowledge having guiding significance. According to the method provided by the invention, With the lightning data related with main faults, an association analysis is carried out based on a power transmission line as an element; and a frequent rule the influence on the power transmission line by the lightning force is discovered from lots of defect faults, so that the power transmission line is repaired in a targeted manner. Therefore, fault and defect occurrence is reduced and the reference basis is provided.