38 results about "Constraint analysis" patented technology

An automated method of managing or constructing a portfolio comprising at least one financial instrument defining portfolio attributes, the method using a system comprising a processor, a display and an input device. The method comprises defining at least one objective representing a desired state for the portfolio attributes and defining a set of constraints that are defined in relation to a computable, desired state of portfolio attributes in relation to the at least one objective. A constraints analysis module based upon the set of constraints is generated and provided to the processor. The portfolio is evaluated with the processor using the constraints analysis module and the state of the portfolio attributes based upon the evaluation is displayed. At least one option for altering portfolio attributes in order to more effectively meet the at least one objective is simultaneously displayed. The option is displayed with an interactive user input mechanism that allows for selection of an option and automatic evaluation and display of the state of the portfolio attributes due to selection of the option.

A constraint analysis and reliability agent executes a method for analyzing operation of a manufacturing asset, and includes the steps of collecting operation data for a machine over a plurality of predetermined time periods. The operation data includes a plurality of mutually exclusive events that describe operation of the machine. For each of the predetermined time periods, it is determined whether the machine is in an “ON” or an “OFF” state. Data for the “OFF” states is removed from the collected data to generate a filtered data set. Reliability information is then generated based, at least in part, on the filtered data set. This facilitates predictions of future machine operation.

The invention provides a detecting system for realizing context consistency. The system comprises a constraint analysis module, a context matching and scheduling module and a consistency detecting module. By means of the constraint analysis module, through the structural analysis of a series of consistency constraints needing to be met by a self-adaptive program, any suspicious context informationcombination mode probably causing new consistency error undetectable can be obtained through analysis in advance; a context information stream is matched with the suspicious combination mode throughthe context matching and scheduling module, and the detecting technology is scheduled and a proper scheduling decision is made in a self-adaptive mode according to the matching result guidance; the consistency error detecting module calls an existing consistency detecting technology according to the scheduling decision making result to detect a context queue for decision making. The invention further provides a detecting method for realizing context consistency.

The invention provides a method for extracting abnormal fragments of workflow network inspection, including: constructing an initial WFD network of the model, and generating data constraints; constituting a corresponding constraint analysis mode according to the data constraints, the corresponding relationship between data and positive and negative constraints, and constraints and Correspondence between guard function values; generate WFDC network model; generate reachable configuration CDC diagram with data constraints; define multi-level rationality of WFDC network according to network characteristics of WFDC network; To determine the rationality level of the network model, obtain the detection result, and convert the reachable configuration CDC graph into the minimum complete CDC tree when the detection result is an error, and extract the abnormal path in which there is an error state; according to the obtained The extracted abnormal path and data constraint features are used to extract the abnormal fragment of the abnormal path. The invention solves the problem of automatic detection of abnormal fragments in the prior art when a detection result failure occurs in the system.

The invention provides a product modeling method based on an interactive feature pair. The method includes the steps of firstly, conducting product part modeling, and enabling the interactive feature pair to be embedded in a part model on the basis of interactive interfaces among product parts, then, achieving assembly modeling through feature elements of the fully specified interactive feature pair on the basis of the part model where the interactive feature pair is embedded. The product modeling method based on the interactive feature pair has the advantages that the interactive feature pair is divided into six types of highly abstracted basic classifications, in the assembly modeling method from top to bottom, ports are set up through the interactive feature pair so that enough abstraction and generality can be ensured, consistency of constraints analysis for designers can be ensured when the interactive feature pair is embedded in the part model in comparison with a traditional assembly modeling method from bottom to top, and the interactive feature pair can be used for geometric reasoning in a downstream technology design process. Through the product modeling method based on the interactive feature pair, the advantages of the assembly modeling technology from top to bottom and the advantages of the assembly modeling technology from bottom to top can be combined, and therefore product assembly modeling can be better conducted.

A numerically controlled workshop automatic delivery vehicle scheduling method is characterized in that firstly, on the basis that constraint analysis and mathematical modeling are conducted on the vehicle scheduling problem in a numerically controlled workshop, an original matrix scanning method is adopted to distribute distribution tasks to vehicles, initial population of a subsequent genetic algorithm is obviously optimized, then, an optimal distribution sequence of a single vehicle is solved through the genetic algorithm, aiming at driving characteristics of distribution vehicles in the numerically controlled workshop, practical driving distances of the vehicles are calculated through an original coordinate addition-subtraction method with directions, optimal distribution time of the vehicles are obtained through a golden section method based on the prior fact, local convergence of the algorithm are avoided through an elitism retention strategy, and therefore an ideal vehicle scheduling optimizing scheme is obtained. According to the numerically controlled workshop automatic delivery vehicle scheduling method, the problem that an existing vehicle scheduling algorithm is low in efficiency due to specific distribution of user points and the special distribution process in the numerically controlled workshop is solved, and the algorithm is efficient and feasible.

The purpose of this application is to provide a method and device for linkage of form elements, by determining the constrained elements of the form according to the constraint analysis algorithm and its corresponding constraint relationship when the value of the constrained element of the form is monitored. The corresponding optional values ​​of , wherein the constraint relationship includes the correspondence between the constrained element and the constrained element; then, select the value corresponding to the constrained element from the optional values. According to the functional requirements of the product, configure the constraint relationship and constraint analysis algorithm, let the form system automatically process the optional values ​​of the elements, and the form interface can be automatically rendered according to the change of the optional values ​​of each element, improving the scalability and flexibility of the form system and reusability, and after the functional requirements of the form product are changed, the code of the form system is changed less, and the correctness and robustness of the code are improved.

The invention relates to a method for simplifying a numerical map settlement place polygon by utilizing a parametric design model and effectively solves the problem of enabling the whole simplification process to accurate and quantitative, and ensuring good simplification effect. The method comprises the following steps: presetting the numeric area of the target function corresponding to the initial threshold value integrated digital model and simplification result quality and contribution weight; identifying the graph feature of the settlement place polygon, using coordinate monotonicity to identify local extremum point and basic bending, using adjacent edge vector multiplication cross to identify concavity of direction and culmination of the settlement place polygon; using gradual imaging simplification method to carry out primary simplification on the polygon and building the corresponding supergraph model to obtain the value of corresponding target culmination of each constrained edge in the model; using a mathematical model corresponding to the parametric design model to carry out constrained analysis on the constrained culmination, and constantly repeating iteration to obtain the final result. With coordinate data output by the computer, various settlement places can be simplified, and production efficiency and product quality of the numerical map can be improved.