Package statechum.analysis.learning.observers

Examples of statechum.analysis.learning.observers.LearningConvergenceObserver

146
147
148
149
150
151
152
153
154
155
156
157
158
    LearnerEvaluationConfiguration learnerConfig = new LearnerEvaluationConfiguration(config);ErlangModule.setupErlangConfiguration(learnerConfig.config,new File(ErlangExamples,"locker/locker.erl"));
    learnerConfig.config.setErlangAlphabetAnyElements(EXPANSIONOFANY.ANY_WIBBLE);
    learnerConfig.config.setTransitionMatrixImplType(STATETREE.STATETREE_SLOWTREE);
    //learnerConfig.config.setScoreForAutomergeUponRestart(1);
    ErlangOracleLearner learner = new ErlangOracleLearner(null,learnerConfig);
    Learner learnerAndObserver = new LearningConvergenceObserver(learner);
    learner.GenerateInitialTraces();
    LearnerGraph locker = learnerAndObserver.learnMachine();
    Assert.assertEquals(6,locker.getStateNumber());
    Assert.assertEquals(11,locker.pathroutines.computeAlphabet().size());
    Assert.assertEquals(51,locker.pathroutines.countEdges());
   
    List<Double> observedConvergence = ((LearningConvergenceObserver)learnerAndObserver).progressObserved;
View Full Code Here
147
148
149
150
151
152
153
154
155
156
157
158
159
    LearnerEvaluationConfiguration learnerConfig = new LearnerEvaluationConfiguration(config);ErlangModule.setupErlangConfiguration(learnerConfig.config,new File(ErlangExamples,"locker/locker.erl"));
    learnerConfig.config.setErlangAlphabetAnyElements(EXPANSIONOFANY.ANY_WIBBLE);learnerConfig.config.setErlWaitForWrapperDelay(wrapperDelay);
    learnerConfig.config.setTransitionMatrixImplType(STATETREE.STATETREE_SLOWTREE);
    //learnerConfig.config.setScoreForAutomergeUponRestart(1);
    ErlangOracleLearner learner = new ErlangOracleLearner(null,learnerConfig);
    Learner learnerAndObserver = new LearningConvergenceObserver(learner);
    learner.GenerateInitialTraces();
    LearnerGraph locker = learnerAndObserver.learnMachine();
    Assert.assertEquals(6,locker.getStateNumber());
    Assert.assertEquals(11,locker.pathroutines.computeAlphabet().size());
    Assert.assertEquals(51,locker.pathroutines.countEdges());
   
    List<Double> observedConvergence = ((LearningConvergenceObserver)learnerAndObserver).progressObserved;
View Full Code Here
64
65
66
67
68
69
70
71
72
73
74
75
76
        ErlangModule.setupErlangConfiguration(new File("ErlangExamples/locker/locker.erl")));
    learnerConfig.config.setErlangAlphabetAnyElements(EXPANSIONOFANY.ANY_WIBBLE);
    learnerConfig.config.setTransitionMatrixImplType(STATETREE.STATETREE_SLOWTREE);
    //learnerConfig.config.setScoreForAutomergeUponRestart(1);
    ErlangOracleLearner learner = new ErlangOracleLearner(null,learnerConfig);
    Learner learnerAndObserver = new LearningConvergenceObserver(learner);
    learner.GenerateInitialTraces();
    LearnerGraph locker = learnerAndObserver.learnMachine();
    Assert.assertEquals(6,locker.getStateNumber());
    Assert.assertEquals(11,locker.pathroutines.computeAlphabet().size());
    Assert.assertEquals(51,locker.pathroutines.countEdges());
   
    List<Double> observedConvergence = ((LearningConvergenceObserver)learnerAndObserver).progressObserved;
View Full Code Here
66
67
68
69
70
71
72
73
74
75
76
77
78
        ErlangModule.setupErlangConfiguration(new File("ErlangExamples/locker/locker.erl")));
    learnerConfig.config.setErlangAlphabetAnyElements(EXPANSIONOFANY.ANY_WIBBLE);
    learnerConfig.config.setTransitionMatrixImplType(STATETREE.STATETREE_SLOWTREE);
    //learnerConfig.config.setScoreForAutomergeUponRestart(1);
    ErlangOracleLearner learner = new ErlangOracleLearner(null,learnerConfig);
    Learner learnerAndObserver = new LearningConvergenceObserver(learner);
    learner.GenerateInitialTraces();
    LearnerGraph locker = learnerAndObserver.learnMachine();
    Assert.assertEquals(6,locker.getStateNumber());
    Assert.assertEquals(11,locker.pathroutines.computeAlphabet().size());
    Assert.assertEquals(51,locker.pathroutines.countEdges());
   
    List<Double> observedConvergence = ((LearningConvergenceObserver)learnerAndObserver).progressObserved;
View Full Code Here
66
67
68
69
70
71
72
73
74
75
76
77
78
        ErlangModule.setupErlangConfiguration(new File("ErlangExamples/locker/locker.erl")));
    learnerConfig.config.setErlangAlphabetAnyElements(EXPANSIONOFANY.ANY_WIBBLE);
    learnerConfig.config.setTransitionMatrixImplType(STATETREE.STATETREE_SLOWTREE);
    //learnerConfig.config.setScoreForAutomergeUponRestart(1);
    ErlangOracleLearner learner = new ErlangOracleLearner(null,learnerConfig);
    Learner learnerAndObserver = new LearningConvergenceObserver(learner);
    learner.GenerateInitialTraces();
    LearnerGraph locker = learnerAndObserver.learnMachine();
    Assert.assertEquals(6,locker.getStateNumber());
    Assert.assertEquals(11,locker.pathroutines.computeAlphabet().size());
    Assert.assertEquals(51,locker.pathroutines.countEdges());
   
    List<Double> observedConvergence = ((LearningConvergenceObserver)learnerAndObserver).progressObserved;
View Full Code Here
74
75
76
77
78
79
80
81
82
83
84
85
86
        ErlangModule.setupErlangConfiguration(new File(ErlangExamples,"locker/locker.erl")));
    learnerConfig.config.setErlangAlphabetAnyElements(EXPANSIONOFANY.ANY_WIBBLE);
    learnerConfig.config.setTransitionMatrixImplType(STATETREE.STATETREE_SLOWTREE);
    //learnerConfig.config.setScoreForAutomergeUponRestart(1);
    ErlangOracleLearner learner = new ErlangOracleLearner(null,learnerConfig);
    Learner learnerAndObserver = new LearningConvergenceObserver(learner);
    learner.GenerateInitialTraces();
    LearnerGraph locker = learnerAndObserver.learnMachine();
    Assert.assertEquals(6,locker.getStateNumber());
    Assert.assertEquals(11,locker.pathroutines.computeAlphabet().size());
    Assert.assertEquals(51,locker.pathroutines.countEdges());
   
    List<Double> observedConvergence = ((LearningConvergenceObserver)learnerAndObserver).progressObserved;
View Full Code Here
TOP

Related Classes of statechum.analysis.learning.observers.LearningConvergenceObserver

  • statechum.analysis.learning.rpnicore.LearnerGraph
  • statechum.analysis.learning.TestErlangOracleLearner
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.