CN109886410A - A kind of data verification system based on Actor model - Google Patents
A kind of data verification system based on Actor model Download PDFInfo
- Publication number
- CN109886410A CN109886410A CN201711428947.2A CN201711428947A CN109886410A CN 109886410 A CN109886410 A CN 109886410A CN 201711428947 A CN201711428947 A CN 201711428947A CN 109886410 A CN109886410 A CN 109886410A
- Authority
- CN
- China
- Prior art keywords
- rule
- actor model
- machine
- data verification
- system based
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Landscapes
- Devices For Executing Special Programs (AREA)
Abstract
The invention discloses a kind of data verification systems based on Actor model, including overall library, message communication middleware, inference machine, explanation engine and knowledge acquisition machine;Wherein the output end in overall library is connect with the input terminal of message communication middleware, the output end of inference machine outputs information to user by explanation engine, user is entered information by knowledge acquisition machine to inference machine, and the output end of inference machine is connect with the input terminal of message communication middleware.
Description
Technical field
The present invention relates to data check rule engine technique fields, more particularly, to a kind of number based on Actor model
According to check system.
Background technique
The center managing and control system of Guangdong Power Grid regulation at present does not use data check rule engine technique, is easy to appear illegal
Data.Regulation engine originate from rule-based expert system, and rule-based expert system be expert system wherein
One branch.Expert system belongs to the scope of artificial intelligence, it imitates the inference mode of the mankind, is carried out using tentative approach
Reasoning, and its inference conclusion is explained and proved to the term that can be understood using the mankind.Actor is had developed in this technological transformation
The data check rule engine technique of model, the legitimacy of verify data avoid the generation of invalid data.
Summary of the invention
Present invention aim to address said one or multiple defects, design a kind of data check based on Actor model
System.
To realize the above goal of the invention, the technical solution adopted is that:
A kind of data verification system based on Actor model, including overall library, message communication middleware, inference machine, explanation
Machine and knowledge acquisition machine;Wherein the output end in overall library is connect with the input terminal of message communication middleware, the output end of inference machine
User is output information to by explanation engine, user is entered information by knowledge acquisition machine to inference machine, the output of inference machine
End is connect with the input terminal of message communication middleware.
Wherein the overall library includes rule base and factbase;Wherein rule base is true for storing rule prioritization table
Library is for storing the fact.
Wherein the rule prioritization table includes former piece part and consequent part;Wherein former piece part is the item of rule triggering
Part, behavior when consequent part is rule triggering.
Wherein the inference machine includes pattern matcher, agenda module and enforcement engine;Wherein pattern matcher passes through ratio
More true and regular former piece part determines the rule that selection executes;Agenda module is used to determine the opportunity of executing rule, executes
Engine is used for executing rule, and the mode of executing rule includes Forward chaining and reverse strand method.
Wherein the explanation engine is responsible for the reasoning of system being explained to user, realizes the output of system.
Wherein the knowledge acquisition machine includes automatically entering module for the knowledge that user establishes, and user can be helped to establish rule
Then and replace technical staff.
Wherein the message communication middleware is distributed message communication middleware, including mailbox and Actor model;Wherein
Actor model is independent entity, can be communicated by message;Mailbox is for storing message and realizing asynchronous.
Wherein the Actor model includes the several model of Erlang, Go, Java, Scala.
Compared with prior art, the beneficial effects of the present invention are:
It 1) can be with the validity and legitimacy of verify data using rule base;
2) data can be estimated and evaluated and tested using inference machine;
3) Deadlock that traditional multithreading occurs can be evaded using Actor model, is easy dilatation.
Detailed description of the invention
Fig. 1 is systematic schematic diagram of the invention.
Specific embodiment
The attached figures are only used for illustrative purposes and cannot be understood as limitating the patent;
Below in conjunction with drawings and examples, the present invention is further elaborated.
Embodiment 1
A kind of data verification system based on Actor model, referring to FIG. 1, include overall library, message communication middleware,
Inference machine, explanation engine and knowledge acquisition machine;Wherein the output end in overall library is connect with the input terminal of message communication middleware, reasoning
The output end of machine outputs information to user by explanation engine, and user is entered information into inference machine by knowledge acquisition machine, pushed away
The output end of reason machine is connect with the input terminal of message communication middleware.
Wherein the overall library includes rule base and factbase;Wherein rule base is true for storing rule prioritization table
Library is for storing the fact.
Wherein the rule prioritization table includes former piece part and consequent part;These rules in rule prioritization table are all
Match the fact in working memory.If have multiple rules and true matching simultaneously, then highest priority is triggered.It is triggered
The movement of rule may generate the new fact, and the new fact is also added to working memory.Wherein former piece part is regular triggering
Condition, consequent part be rule triggering when behavior.Former piece (Antecedent): also known as condition part, mode part or a left side
Portion (Left-hand-side, LHS) is the condition of rule triggering.Individual condition is known as condition element or a mode.Consequent
(Consequent): also known as right part (Right-hand side, RHS), a series of behaviors to be executed when being rule triggering.
Wherein the inference machine includes pattern matcher, agenda module and enforcement engine;Which rule inference machine by determining
Then meet true or target, and authorize rule prioritization, meets true or target rule and be added into agenda.There are two types of inference machines
Inference mode: positive chain and reverse strand.Positive chain is the reasoning for being engaged in actual arrival conclusion.Reverse strand is proved from hypothesis
Conclusion, to true reasoning.Wherein pattern matcher determines what selection executed by comparing true and rule former piece part
Rule, pattern match are the key that rule-based reasoning machines, it determines the Reasoning Efficiency of inference machine.;Agenda module is used for
Determine the opportunity of executing rule, enforcement engine is used for executing rule, and the mode of executing rule includes Forward chaining and reverse strand method.
Wherein the explanation engine is responsible for the reasoning of system being explained to user, realizes the output of system.
Wherein the knowledge acquisition machine includes automatically entering module for the knowledge that user establishes, and user can be helped to establish rule
Then and replace technical staff.
Wherein the message communication middleware is distributed message communication middleware, including mailbox and Actor model;Wherein
Actor model is independent entity, can be communicated by message;Mailbox is for storing message and realizing asynchronous.
Wherein the Actor model includes the several model of Erlang, Go, Java, Scala.Inference machine uses Java
The Drools regulation engine of language development, there are also Pyke and PyClips regulation engine based on Python.
Obviously, the above embodiment of the present invention be only to clearly illustrate example of the present invention, and not be pair
The restriction of embodiments of the present invention.For those of ordinary skill in the art, may be used also on the basis of the above description
To make other variations or changes in different ways.There is no necessity and possibility to exhaust all the enbodiments.It is all this
Made any modifications, equivalent replacements, and improvements etc., should be included in the claims in the present invention within the spirit and principle of invention
Protection scope within.
Claims (8)
1. a kind of data verification system based on Actor model, which is characterized in that including overall library, message communication middleware, push away
Reason machine, explanation engine and knowledge acquisition machine;Wherein the output end in overall library is connect with the input terminal of message communication middleware, inference machine
Output end user is output information to by explanation engine, user is entered information by knowledge acquisition machine to inference machine, reasoning
The output end of machine is connect with the input terminal of message communication middleware.
2. a kind of data verification system based on Actor model according to claim 1, which is characterized in that the totality
Library includes rule base and factbase;Wherein rule base is for storing rule prioritization table, and factbase is for storing the fact.
3. a kind of data verification system based on Actor model according to claim 2, which is characterized in that the rule
Priority list includes former piece part and consequent part;Wherein former piece part is the condition of rule triggering, and consequent part is regular touching
Behavior when hair.
4. a kind of data verification system based on Actor model according to claim 1 to 3, which is characterized in that described to push away
Reason machine includes pattern matcher, agenda module and enforcement engine;Wherein pattern matcher is by comparing true and rule former piece
Part determines the rule that selection executes;Agenda module is used to determine the opportunity of executing rule, and enforcement engine is used for executing rule,
The mode of executing rule includes Forward chaining and reverse strand method.
5. a kind of data verification system based on Actor model according to claim 1, which is characterized in that the explanation
Machine is responsible for the reasoning of system being explained to user, realizes the output of system.
6. a kind of data verification system based on Actor model according to claim 1, which is characterized in that the knowledge
Acquisition machine includes automatically entering module for the knowledge that user establishes, and user can be helped to establish rule and replace technical staff.
7. a kind of data verification system based on Actor model according to claim 1, which is characterized in that the message
Communication middleware is distributed message communication middleware, including mailbox and Actor model;Wherein Actor model is independent reality
Body can be communicated by message;Mailbox is for storing message and realizing asynchronous.
8. a kind of data verification system based on Actor model according to claim 7, which is characterized in that the Actor
Model includes the several model of Erlang, Go, Java, Scala.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201711428947.2A CN109886410A (en) | 2017-12-26 | 2017-12-26 | A kind of data verification system based on Actor model |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201711428947.2A CN109886410A (en) | 2017-12-26 | 2017-12-26 | A kind of data verification system based on Actor model |
Publications (1)
Publication Number | Publication Date |
---|---|
CN109886410A true CN109886410A (en) | 2019-06-14 |
Family
ID=66924740
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201711428947.2A Pending CN109886410A (en) | 2017-12-26 | 2017-12-26 | A kind of data verification system based on Actor model |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN109886410A (en) |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN104007972A (en) * | 2014-05-29 | 2014-08-27 | 中国石油化工股份有限公司 | Navigation system applied to driving-parking operation of petrochemical device |
CN105701160A (en) * | 2015-12-31 | 2016-06-22 | 南威软件股份有限公司 | Monitoring rule engine and monitoring realization method thereof |
-
2017
- 2017-12-26 CN CN201711428947.2A patent/CN109886410A/en active Pending
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN104007972A (en) * | 2014-05-29 | 2014-08-27 | 中国石油化工股份有限公司 | Navigation system applied to driving-parking operation of petrochemical device |
CN105701160A (en) * | 2015-12-31 | 2016-06-22 | 南威软件股份有限公司 | Monitoring rule engine and monitoring realization method thereof |
Non-Patent Citations (1)
Title |
---|
MOBIN: "《博客园》", 25 July 2017 * |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Yoon et al. | Winning the l2rpn challenge: Power grid management via semi-markov afterstate actor-critic | |
Luo et al. | Identifying multiple infection sources in a network | |
CN110147668A (en) | A kind of equipment authentication method and device based on block chain | |
Turan et al. | Robust distributed optimization with randomly corrupted gradients | |
Yang et al. | Selectivity-based spreading dynamics on complex networks | |
Sudo et al. | Self-stabilizing population protocols with global knowledge | |
Djelloul et al. | Binary bat algorithm for graph coloring problem | |
Wu et al. | Ddlpf: A practical decentralized deep learning paradigm for internet-of-things applications | |
Veith et al. | The adversarial resilience learning architecture for ai-based modelling, exploration, and operation of complex cyber-physical systems | |
CN108460294B (en) | A kind of decision proof type block chain algorithm and its physical structure | |
CN109886410A (en) | A kind of data verification system based on Actor model | |
CN109189941A (en) | For updating the method, apparatus, equipment and medium of model parameter | |
Sopov | A Self-configuring Metaheuristic for Control of Multi-Strategy Evolutionary Search | |
Bourne et al. | Maximum entropy and variable strength defaults | |
Nazari et al. | Blocking in fully connected networks of arbitrary size | |
Wang et al. | Fair secure computation with reputation assumptions in the mobile social networks | |
Moskowitz et al. | A network science approach to entropy and training | |
Su et al. | Synthesis of control protocols for multi-agent systems with similar actions | |
Lin et al. | Information propagation over networks with antagonistic interactions: the equilibrium analysis | |
CN104618344B (en) | Label ownership conversion method in rfid system based on lightweight collection of functions | |
Marmet | Quasi-stationary distributions for stochastic approximation algorithms with constant step size | |
Liu et al. | Asynchronous algorithms for distributed optimisation and application to distributed regression with robustness to outliers | |
Zelinka et al. | Competition on learning-based real-parameter single objective optimization by SOMA swarm based algorithm with SOMARemove strategy | |
Jha et al. | CLAP4CLIP: Continual Learning with Probabilistic Finetuning for Vision-Language Models | |
Gong | Local immunization based on degree-community-bridge-find in heterogeneity community networks |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
RJ01 | Rejection of invention patent application after publication |
Application publication date: 20190614 |
|
RJ01 | Rejection of invention patent application after publication |