Package statechum.analysis.learning

Examples of statechum.analysis.learning.DrawGraphs$SquareBagPlot

1622
1623
1624
1625
1626
1627
1628
1629
1630
1631
1632
 
 
  @SuppressWarnings("null")
  public static void runExperiment() throws Exception
  {
    DrawGraphs gr = new DrawGraphs();
    Configuration config = Configuration.getDefaultConfiguration().copy();config.setAskQuestions(false);config.setDebugMode(false);config.setGdLowToHighRatio(0.7);config.setRandomPathAttemptFudgeThreshold(1000);
    config.setTransitionMatrixImplType(STATETREE.STATETREE_LINKEDHASH);config.setLearnerScoreMode(ScoreMode.COMPATIBILITY);//ONLYOVERRIDE);
    ConvertALabel converter = new Transform.InternStringLabel();
    GlobalConfiguration.getConfiguration().setProperty(G_PROPERTIES.LINEARWARNINGS, "false");
    final int ThreadNumber = ExperimentRunner.getCpuNumber(); 
View Full Code Here
818
819
820
821
822
823
824
825
826
827
828
  }
   
  @SuppressWarnings("null")
  public static void runExperiment() throws Exception
  {
    DrawGraphs gr = new DrawGraphs();
    Configuration config = Configuration.getDefaultConfiguration().copy();config.setAskQuestions(false);config.setDebugMode(false);config.setGdLowToHighRatio(0.7);config.setRandomPathAttemptFudgeThreshold(1000);
    config.setTransitionMatrixImplType(STATETREE.STATETREE_LINKEDHASH);config.setLearnerScoreMode(ScoreMode.COMPATIBILITY);
    ConvertALabel converter = new Transform.InternStringLabel();
    GlobalConfiguration.getConfiguration().setProperty(G_PROPERTIES.LINEARWARNINGS, "false");
    final int ThreadNumber = ExperimentRunner.getCpuNumber(); 
View Full Code Here
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
  }
 
  @SuppressWarnings("null")
  public static void runExperiment() throws Exception
  {
    DrawGraphs gr = new DrawGraphs();
    Configuration config = Configuration.getDefaultConfiguration().copy();config.setAskQuestions(false);config.setDebugMode(false);config.setGdLowToHighRatio(0.7);config.setRandomPathAttemptFudgeThreshold(1000);
    config.setTransitionMatrixImplType(STATETREE.STATETREE_LINKEDHASH);
    ConvertALabel converter = new Transform.InternStringLabel();
    //gr_NewToOrig.setLimit(7000);
    GlobalConfiguration.getConfiguration().setProperty(G_PROPERTIES.LINEARWARNINGS, "false");
View Full Code Here
103
104
105
106
107
108
109
110
111
112
113
    mutationStages = mutationStagesArg;graphComplexityMax = graphComplexityMaxArg;
   
  }
 
  public void runExperiment(int initStates, boolean skip){
    DrawGraphs gr = new DrawGraphs();
    this.skipLanguage = skip;
    Random r = new Random(0);

    RBoxPlot<Integer>
      gr_Diff_States = new RBoxPlot<Integer>("States","Diff/Mutations",new File("diff_states.pdf")),
View Full Code Here
2017
2018
2019
2020
2021
2022
2023
2024
2025
2026
2027
  }
 
  @SuppressWarnings("null")
  public static void runExperiment() throws Exception
  {
    DrawGraphs gr = new DrawGraphs();
    Configuration config = Configuration.getDefaultConfiguration().copy();config.setAskQuestions(false);config.setDebugMode(false);config.setGdLowToHighRatio(0.7);config.setRandomPathAttemptFudgeThreshold(1000);
    config.setTransitionMatrixImplType(STATETREE.STATETREE_LINKEDHASH);
    ConvertALabel converter = new Transform.InternStringLabel();
    //gr_NewToOrig.setLimit(7000);
    GlobalConfiguration.getConfiguration().setProperty(G_PROPERTIES.LINEARWARNINGS, "false");
View Full Code Here
2063
2064
2065
2066
2067
2068
2069
2070
2071
2072
2073
  }
 
  @SuppressWarnings("null")
  public static void runExperiment() throws Exception
  {
    DrawGraphs gr = new DrawGraphs();
    Configuration config = Configuration.getDefaultConfiguration().copy();config.setAskQuestions(false);config.setDebugMode(false);config.setGdLowToHighRatio(0.7);config.setRandomPathAttemptFudgeThreshold(1000);
    config.setTransitionMatrixImplType(STATETREE.STATETREE_LINKEDHASH);
    ConvertALabel converter = new Transform.InternStringLabel();
    //gr_NewToOrig.setLimit(7000);
    GlobalConfiguration.getConfiguration().setProperty(G_PROPERTIES.LINEARWARNINGS, "false");
View Full Code Here
719
720
721
722
723
724
725
726
727
728
729
   }
  
   public void runExperimentWithSingleAutomaton(int ifDepth, String name, String arffName, LearnerGraph referenceGraph) throws Exception
   {
     final Collection<List<Label>> evaluationTestSet = computeEvaluationSet(referenceGraph,-1,-1);
       DrawGraphs gr = new DrawGraphs();
    final RBoxPlot<String>
      uas_F=new RBoxPlot<String>("Time","F-measure",new File("time_"+name+"_f.pdf")),
      uas_Diff=new RBoxPlot<String>("Time","Diff-measure",new File("time_"+name+"_Diff.pdf"));
    SquareBagPlot gr_diff_to_f = new SquareBagPlot("f-measure","diff-based measure",new File("diff-to-f.pdf"),0,1,true);
View Full Code Here
988
989
990
991
992
993
994
995
996
997
998
      //final Collection<List<Label>> evaluationTestSet = computeEvaluationSet(referenceGraph);
      
    // Here I need to moderate the effort because choosing traces for all seeds is good but I need
    // that many times more traces, so I have to create a graph in terms of effort v.s. quailty (or even better, scale
    // the existing one).
    final DrawGraphs gr = new DrawGraphs();

    final RBoxPlot<Pair<Integer,String>>
      uas_outcome = new RBoxPlot<Pair<Integer,String>>("Time","f-measure",new File("time_f.pdf"));
    final RBoxPlot<String>
          uas_A=new RBoxPlot<String>("Time","f-measure",new File("time_A_f.pdf")),
View Full Code Here
2096
2097
2098
2099
2100
2101
2102
2103
2104
2105
2106
 
 
  @SuppressWarnings("null")
  public static void runExperiment() throws Exception
  {
    DrawGraphs gr = new DrawGraphs();
    Configuration config = Configuration.getDefaultConfiguration().copy();config.setAskQuestions(false);config.setDebugMode(false);config.setGdLowToHighRatio(0.7);config.setRandomPathAttemptFudgeThreshold(1000);
    config.setTransitionMatrixImplType(STATETREE.STATETREE_LINKEDHASH);config.setLearnerScoreMode(ScoreMode.COMPATIBILITY);
    ConvertALabel converter = new Transform.InternStringLabel();
    GlobalConfiguration.getConfiguration().setProperty(G_PROPERTIES.LINEARWARNINGS, "false");
    final int ThreadNumber = ExperimentRunner.getCpuNumber(); 
View Full Code Here
1627
1628
1629
1630
1631
1632
1633
1634
1635
1636
1637
 
 
  @SuppressWarnings("null")
  public static void runExperiment() throws Exception
  {
    DrawGraphs gr = new DrawGraphs();
    Configuration config = Configuration.getDefaultConfiguration().copy();config.setAskQuestions(false);config.setDebugMode(false);config.setGdLowToHighRatio(0.7);config.setRandomPathAttemptFudgeThreshold(1000);
    config.setTransitionMatrixImplType(STATETREE.STATETREE_LINKEDHASH);config.setLearnerScoreMode(ScoreMode.COMPATIBILITY);//ONLYOVERRIDE);
    ConvertALabel converter = new Transform.InternStringLabel();
    GlobalConfiguration.getConfiguration().setProperty(G_PROPERTIES.LINEARWARNINGS, "false");
    final int ThreadNumber = ExperimentRunner.getCpuNumber(); 
View Full Code Here
TOP

Related Classes of statechum.analysis.learning.DrawGraphs$SquareBagPlot

  • org.rosuda.JRI.Rengine
  • org.rosuda.JRI.REXP
  • statechum.analysis.learning.experiments.mutation.DiffExperiments
  • statechum.analysis.learning.experiments.PairSelection.ASE2014
  • statechum.analysis.learning.experiments.PairSelection.Cav2014
  • statechum.analysis.learning.experiments.PairSelection.MarkovPassivePairSelection
  • statechum.analysis.learning.experiments.PairSelection.PairQualityLearner
  • statechum.analysis.learning.experiments.PairSelection.WaveBlueFringe
  • statechum.analysis.learning.experiments.PaperUAS
  • java.io.FileWriter
    • 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.