MSVL (modeling, simulation and verification language) linear constraint system and implementation method thereof

A linear constraint and linear technology, applied in special data processing applications, instruments, electrical digital data processing, etc., can solve problems such as insufficient linear constraint language expression ability

Active Publication Date: 2015-06-17
XIDIAN UNIV
View PDF1 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0007] In order to overcome the defect of insufficient expression ability of the above-mentioned linear constraint language, the present invention proposes a MSVL linear constraint system and its execution method, which can be used to model and solve the linear constraint system in practical problems, so that the modeling of linear constraints is more efficient. Easy, convenient, intuitive and compact, and capable of expressing more diverse and complex timing relationships

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • MSVL (modeling, simulation and verification language) linear constraint system and implementation method thereof
  • MSVL (modeling, simulation and verification language) linear constraint system and implementation method thereof
  • MSVL (modeling, simulation and verification language) linear constraint system and implementation method thereof

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0082] The invention is an MSVL linear constraint system, which is a modeling and solving system proposed for problems with linear constraints in scientific research and industrial applications. MSVL has been used in software and hardware modeling, simulation and verification, but MSVL lacks a grammatical structure that can describe linear constraints, which widely exist in practical problems, so it is necessary to extend the linear constraint structure in the MSVL system. see figure 1 , the system includes a constraint definition subsystem and a constraint solution subsystem; the constraint definition subsystem is a linear constraint statement module defined on the basis of a linear expression, including an equal word statement module (=), a positive instantaneous assignment statement module Greater than or equal statement module (≥), less than or equal to statement module (≤) and other statement modules; the constraint solving subsystem includes a semantic equivalence rule ...

Embodiment 2

[0101] The present invention is also a method for executing the MSVL linear constraint system. The MSVL linear constraint system in Embodiment 1 is used, and each module in the MSVL linear constraint system is applied in the execution steps. refer to figure 2 , the execution method steps include:

[0102] Step A first analyzes the problem to be solved and extracts the linear constraints required in the problem to be solved. The linear constraint is the main solution aspect of the problem to be solved. Analyzing the problem to be solved and extracting the problem to be solved need to be done manually.

[0103] Step B selects the linear constraint statement module corresponding to the problem to be solved in MSVL, such as linear and other words Non-strict inequality (≥, ≤), etc., and other sentence modules model the problem to be solved as an MSVL program M, that is to say, the problem to be solved is abstracted into an MSVL program that faithfully reflects the behavior of th...

Embodiment 3

[0144] The MSVL linear constraint system is the same as in Embodiment 1, and the execution method of the MSVL linear constraint system is the same as in Embodiment 2. The semantic equivalence rules and state transition rules in the linear constraint solving subsystem involved are described and implemented as follows:

[0145] Semantic equivalence rules: MSVL programs can be converted into equivalent forms through semantic equivalence rules, which lay the foundation for further solving linear constraints.

[0146] Algebraic properties of linear expressions: (where le 1 ,le 2 represents a linear expression, c 1 , c 2 Represents a constant, b represents a static variable whose value remains constant over the entire interval)

[0147] AEqu1: 0+le 1 ≈le 1 AEqu2: (le 1 +le 2 )+le 3 ≈le 1 +(le 2 +le 3 )

[0148] AEqu3:le 1 +le 2 ≈le 2 +le 1 AEqu4: -le 1 ≈le 1

[0149] AEqu5:le 1 +(-le 1 )≈0 AEqu6: -(le 1 +le 2 )≈-le 1 -le 2

[0150]...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention discloses an MSVL (modeling, simulation and verification language) linear constraint system and an implementation method thereof and belongs to the technical field of formal modeling and constraint solving. The MSVL linear constraint system comprises a constraint definition subsystem and a constraint solving subsystem, and the grammatical structure of every statement module in the constraint definition subsystem is applicable to semantic equivalence rules and state transition rules in the constraint solving subsystem. The implementation method of the MSVL linear constraint system includes selecting corresponding statement modules to model problems to be solved as MSVL program M, simplifying the M to be in the form of w Lambada q by utilizing the semantic equivalence rules, implementing the state program w in the current state by utilizing the state transition rules, then simplifying the time sequence program q to be in the next state to continue implementation by utilizing interstate transition rules and finally proposing a solution. Linear constraint structure is expanded in interval logic language, so that the implementation method has huge expression ability and is more convenient for solving the problems of scheduling, computer vision, combinatorial optimization and the like which relate to the linear constraint system in industrial applications.

Description

technical field [0001] The invention belongs to the field of computer applications, mainly relates to the technical field of formal modeling and constraint solving CSP, especially relates to modeling and solving linear constraints with formal methods, specifically a framework sequential logic language MSVL linear constraint system and its execution Method for modeling and solving systems with linear constraints in production scheduling, computer vision, graphics coloring, combinatorial optimization, hardware and software partitioning of embedded systems, etc. Background technique [0002] A constraint is a relationship that is satisfied between variables. It is usually defined on the basis of some subsets of the original variable set, and limits the value range of variables in this subset. Constraints appear in various forms in many practical applications, for example, scheduling, graph coloring problems, combinatorial optimization problems, satisfiability problems, hardwar...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Patents(China)
IPC IPC(8): G06F17/50
Inventor 段振华马倩王小兵田聪
Owner XIDIAN UNIV
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

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap