Examples of ThreadResult

Examples of statechum.analysis.learning.experiments.PairSelection.PairQualityLearner.ThreadResult

81
82
83
84
85
86
87
88
89
90
91
 
  public ThreadResult call() throws Exception
  {
    final int alphabet = 2*states;
    LearnerGraph referenceGraph = null;
    ThreadResult outcome = new ThreadResult();
    Label uniqueFromInitial = null;
    final boolean pickUniqueFromInitial = true;
    MachineGenerator mg = new MachineGenerator(states, 400 , (int)Math.round((double)states/5));mg.setGenerateConnected(true);
    do
    {
View Full Code Here

Examples of statechum.analysis.learning.experiments.PairSelection.PairQualityLearner.ThreadResult

173
174
175
176
177
178
179
180
181
182
183
        tracesAlphabetMultiplier = alphabetMultiplier;
      final int alphabet = (int)(alphabetMultiplier*states);
      final int tracesAlphabet = (int)(tracesAlphabetMultiplier*states);
     
      LearnerGraph referenceGraph = null;
      ThreadResult outcome = new ThreadResult();
      MachineGenerator mg = new MachineGenerator(states, 400 , (int)Math.round((double)states/5));mg.setGenerateConnected(true);
      referenceGraph = mg.nextMachine(alphabet,seed, config, converter).pathroutines.buildDeterministicGraph();// reference graph has no reject-states, because we assume that undefined transitions lead to reject states.
     
      LearnerEvaluationConfiguration learnerEval = new LearnerEvaluationConfiguration(config);learnerEval.setLabelConverter(converter);
      final Collection<List<Label>> testSet = PaperUAS.computeEvaluationSet(referenceGraph,states*3,makeEven(states*tracesAlphabet));
 
View Full Code Here

Examples of statechum.analysis.learning.experiments.PairSelection.PairQualityLearner.ThreadResult

876
877
878
879
880
881
882
883
884
885
886
            ++numberOfTasks;
          }
        ProgressIndicator progress = new ProgressIndicator(new Date()+" evaluating "+numberOfTasks+" tasks for "+selection+" trace num: "+traceNum, numberOfTasks);
        for(int count=0;count < numberOfTasks;++count)
        {
          ThreadResult result = runner.take().get();// this will throw an exception if any of the tasks failed.
         
          for(SampleData sample:result.samples)
          {
            if (sample.referenceLearner.differenceBCR.getValue() > 0)
            {
View Full Code Here

Examples of statechum.analysis.learning.experiments.PairSelection.PairQualityLearner.ThreadResult

81
82
83
84
85
86
87
88
89
90
91
 
  public ThreadResult call() throws Exception
  {
    final int alphabet = 2*states;
    LearnerGraph referenceGraph = null;
    ThreadResult outcome = new ThreadResult();
    Label uniqueFromInitial = null;
    final boolean pickUniqueFromInitial = true;
    MachineGenerator mg = new MachineGenerator(states, 400 , (int)Math.round((double)states/5));mg.setGenerateConnected(true);
    do
    {
View Full Code Here

Examples of statechum.analysis.learning.experiments.PairSelection.PairQualityLearner.ThreadResult

196
197
198
199
200
201
202
203
204
205
206
    public ThreadResult call() throws Exception
    {
      if (tracesAlphabetMultiplier <= 0)
        tracesAlphabetMultiplier = alphabetMultiplier;

      ThreadResult outcome = new ThreadResult();

      LearnerEvaluationConfiguration learnerEval = new LearnerEvaluationConfiguration(config);learnerEval.setLabelConverter(converter);
     
      for(int attempt=0;attempt<1;++attempt)
      {// try learning the same machine a few times
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.