标签: rules

Petri 网基于规则的验证如何工作?这有什么好处?

一位朋友刚刚向我指出了计算机科学的一项新发展,称为“基于规则的 Petri 网验证”。他不是计算机专家,而是艺术家,所以我想知道这是否真的是我必须看的很酷的东西?在电话中,他在阅读和翻译一份俄语报纸时告诉我,这项奇特的新技术就是自动使基于规则的系统的代码架构完美正确。一种帮助我们完美编码的人工智能?好吧,我真的不知道,没有学过计算机科学。

我很好奇:这到底是怎么回事?它是如何运作的?我可以将它用于我的框架吗?

我想“基于规则的系统”几乎就是一切:我们所有的代码都有规则。希望得到一些有用的答案。

rules petri-net

2
推荐指数
1
解决办法
364
查看次数

为java编写自定义声纳规则时如何处理assertionError

我正在使用 java 为 java 编写自定义声纳规则。我遇到了一个无法轻易修复的断言错误。我确信源代码是正确的。但测试用例无法通过。我想知道在使用 TDD 流程时我应该关心什么以及如何解决它。

public class logTCheckFile {
    private static Logger logger = Logger.getLogger(logTCheckFile.class);
    public void loggingWithID(String nonsense) throws myException{
        logger.error("errorID:20160801 this is an error");
        return;
    }

    public void loggingWithoutID(String nonsens){
        try{
            logger.error("this is an error");
        }catch(NullPointerException e){
            logger.error("what",e);
        }
        return;
    }

    public void specific(){
        logger.error("only the logger");
        try{
            logger.error("this is an error");
        }catch(NullPointerException e){
            logger.error("without an exception");
        }
        return;
    }
}
Run Code Online (Sandbox Code Playgroud)

我正在测试上面的文件,我编写了一条规则来测试未抛出的异常是否打印在记录器中。

消息是AssertionError: Unexpected at [20](这是失败堆栈跟踪的图片)

我编写的检查文件的代码如下:

public class logTCheck extends  IssuableSubscriptionVisitor {


Logger …
Run Code Online (Sandbox Code Playgroud)

java rules sonarqube

2
推荐指数
1
解决办法
1095
查看次数

Business Central 从另一个 DMN 调用 DMN 文件

我正在使用RedHat Business Central并尝试从另一个 DMN 文件调用一个 DMN 文件。

用例 - 如果工资 > 40000 则从 firstdmn 计算税金否则从secondarydmn计算税金

在此输入图像描述

我在Tax DMN 决策中添加了上下文文字表达式,并包含了下面的模型。但不知道如何进一步进行。请建议该怎么做。

在此输入图像描述

redhat rules decision-model-notation dmn

2
推荐指数
1
解决办法
777
查看次数

ASP .Net会员访问规则

嗨,我已在我的本地服务器上设置访问规则,他们工作正常.但是,当我将它们部署到我的登台服务器时,规则不起作用.规则存储在哪里?我的本地服务器和登台服务器都指向同一个数据库服务器.感谢您的任何见解.

我在ASP.Net Web应用程序管理中设置了访问规则

membership asp.net rules

1
推荐指数
1
解决办法
1702
查看次数

非常基本的drools 5运行,基本设置和快速启动

是否有一个更全面的drools快速入门5.我试图运行简单的Hello World .drl规则,但我想通过一个ant脚本,可能只有javac/java:

我收到以下错误:注意:没有Eclipse或任何其他IDE,我没有完全运行:

是否有一个更全面的drools快速入门5.我试图运行简单的Hello World .drl规则,但我想通过一个ant脚本,可能只有javac/java:

我收到以下错误:注意:没有Eclipse或任何其他IDE,我没有完全运行:

test:
     [java] Exception in thread "main" org.drools.RuntimeDroolsException: Unable to load d
ialect 'org.drools.rule.builder.dialect.java.JavaDialectConfiguration:java:org.drools.rule
.builder.dialect.java.JavaDialectConfiguration'
     [java]     at org.drools.compiler.PackageBuilderConfiguration.addDialect(PackageBuild
erConfiguration.java:274)
     [java]     at org.drools.compiler.PackageBuilderConfiguration.buildDialectConfigurati
onMap(PackageBuilderConfiguration.java:259)
     [java]     at org.drools.compiler.PackageBuilderConfiguration.init(PackageBuilderConf
iguration.java:176)
     [java]     at org.drools.compiler.PackageBuilderConfiguration.<init>(PackageBuilderCo
nfiguration.java:153)
     [java]     at org.drools.compiler.PackageBuilder.<init>(PackageBuilder.java:242)
     [java]     at org.drools.compiler.PackageBuilder.<init>(PackageBuilder.java:142)
     [java]     at org.drools.builder.impl.KnowledgeBuilderProviderImpl.newKnowledgeBuilde
r(KnowledgeBuilderProviderImpl.java:29)
     [java]     at org.drools.builder.KnowledgeBuilderFactory.newKnowledgeBuilder(Knowledg
eBuilderFactory.java:29)
     [java]     at org.berlin.rpg.rules.Rules.rules(Rules.java:33)
     [java]     at org.berlin.rpg.rules.Rules.main(Rules.java:73)
     [java] Caused by: java.lang.RuntimeException: The Eclipse JDT Core jar is not in the
classpath
     [java]     at org.drools.rule.builder.dialect.java.JavaDialectConfiguration.setCompil
er(JavaDialectConfiguration.java:94)
     [java]     at org.drools.rule.builder.dialect.java.JavaDialectConfiguration.init(Java
DialectConfiguration.java:55) …
Run Code Online (Sandbox Code Playgroud)

java jboss rules drools

1
推荐指数
1
解决办法
2万
查看次数

如何检查ANTLR令牌仅在解析器中使用一次或更少

在Antlr中,如果我有一个例子:

someRule : TOKENA TOKENB;
Run Code Online (Sandbox Code Playgroud)

它会接受:"tokena tokenb"

如果我希望TOKENA是可选的,我可以说,

someRule : TOKENA* TOKENB;
Run Code Online (Sandbox Code Playgroud)

那么我可以:"tokena tokenb"或"tokenb"或"tokena tokena tokenb"

但这也意味着它可以重复一次.无论如何我可以说这个令牌可以有1次或更少但不超过1次吗?所以它会接受:

"tokena tokenb"或"tokenb"但不是"tokena tokena tokenb"?

非常感谢

parsing antlr rules antlr3

1
推荐指数
1
解决办法
407
查看次数

Nanoc布局编译规则

我正在使用nanoc,我希望我的index.html指向特定的布局,所以我创建了这个布局,它被称为nosidebar.html

我的规则如下:

compile 'index.html' do 
  layout 'nosidebar'
end
Run Code Online (Sandbox Code Playgroud)

这似乎不起作用.我究竟做错了什么?

ruby rules nanoc

1
推荐指数
1
解决办法
800
查看次数

Yii2 - 如何在输入字段上添加自定义错误消息

在我的数据库中,我将'password'命名为'password_hash',因此我自动在错误消息中得到'password_hash',即使我将标签更改为'当前密码'.

例:

在此输入图像描述

我想要的是:

在此输入图像描述

validation label message rules yii2

1
推荐指数
2
解决办法
1万
查看次数

"JavaSonarQube"和"Java Common Sonarqube"的分析器

我想在本地进行Sonar在服务器上执行的代码分析.

关于PMD,Findbugs和Checkstyle的规则我没有问题下载它们并使用适当的插件导入Netbeans.

我的问题涉及我在声纳中发现的另外两组规则,称为"JavaSonarQube"和"Java Common Sonarqube".他们指的是什么样的分析器,如何在NetBeans中导入和运行它们?

java netbeans rules analyzer sonarqube

1
推荐指数
1
解决办法
878
查看次数

缺少权限或权限不足的Firestore数据库规则

我正在自学firestore,无法找到一种方法仅允许用户更新,删除或仅读取他们添加的集合。

这是我正在使用的结构: Firebase数据库屏幕截图

我使用firebase auth进行用户处理。我将currentUser.uidas 保存在user_id每个集合的数据库中。

这些是我正在使用的规则

service cloud.firestore {
  match /databases/{database}/documents {

    match /tasks{
      allow read, update, delete: if request.auth.uid == resource.data.user_id;
      allow create: if request.auth.uid != null;
    }
  }
Run Code Online (Sandbox Code Playgroud)

当我尝试读取/获取数据时,Missing or insufficient permissions出现错误。

我正在将Web API(JavaScript)用于Firestore。这是我用来读取数据的代码。

function read() {

    db.collection("tasks").get().then((querySnapshot) => {
        querySnapshot.forEach((doc) => {
            var newLI = document.createElement('li');

            newLI.appendChild(document.createTextNode(doc.data().task));

            dataList.appendChild(newLI);

        });
    });

}
Run Code Online (Sandbox Code Playgroud)

rules data-structures firebase google-cloud-firestore

1
推荐指数
1
解决办法
4949
查看次数