void ExportObstacles(StringBuilder builder) { builder.AppendLine("\n# Obstacles\n"); foreach (var g in _model.Obstacles()) { ExportObstacle(builder, g); } }
public void Render(KAOSModel model) { //var goalsInRefinements = model.GoalRefinements ().SelectMany (x => x.SubGoals ().Union (new[] { // x.ParentGoal () //})).Distinct (); foreach (var g in model.Goals()) { Render(g); } foreach (var d in model.GoalRefinements().SelectMany(x => x.DomainProperties()).Distinct()) { Render(d); } foreach (var r in model.GoalRefinements()) { Render(r); } foreach (var o in model.Obstacles()) { Render(o); } foreach (var o in model.ObstacleRefinements()) { Render(o); } foreach (var o in model.Obstructions()) { Render(o); } foreach (var o in model.Resolutions()) { Render(o); } foreach (var r in model.GoalAgentAssignments()) { Render(r, true); } foreach (var o in model.Resolutions()) { RenderAnchorArrow(o); } }
public void Export(string filename) { writer = new StreamWriter(filename); foreach (var g in _model.Goals()) { ExportGoal(g); } foreach (var g in _model.Obstacles()) { Export(g); } writer.Close(); }
public KAOSModel Generate() { if (_options.NbObstacles < _options.NbObstructions) { throw new ArgumentException("Cannot generate a model with more obstructions than obstacles."); } root = GenerateGoal(); var goalToRefine = new Stack <Tuple <Goal, int> > (new [] { new Tuple <Goal, int> (root, 0) }); var obstacleToRefine = new Stack <Tuple <Obstacle, int> > (); var leafGoal = new HashSet <string> (); var leafObstacles = new HashSet <string> (); while (_model.Goals().Count() < _options.NbGoals) { var current = goalToRefine.Pop(); leafGoal.Remove(current.Item1.Identifier); var r = GenerateGoalRefinement(current.Item1); foreach (var sg in r.SubGoals()) { goalToRefine.Push(new Tuple <Goal, int> (sg, current.Item2 + 1)); leafGoal.Add(sg.Identifier); } } var nbleafGoals = _model.LeafGoals().Count(); var maxObstruction = Math.Min(nbleafGoals, _options.NbObstructions); while (_model.ObstructedGoals().Count() < maxObstruction) { int randomIndex = _random.Next(0, nbleafGoals); var current = _model.Goal(leafGoal.ElementAt(randomIndex)); leafGoal.Remove(current.Identifier); nbleafGoals--; var r = GenerateObstruction(current); obstacleToRefine.Push(new Tuple <Obstacle, int> (r.Obstacle(), 0)); leafObstacles.Add(r.ObstacleIdentifier); } while (_model.Obstacles().Count() < _options.NbObstacles) { var current = obstacleToRefine.Pop(); leafObstacles.Remove(current.Item1.Identifier); var nbRefinement = _random.Next(_options.MinObstacleORBranchingFactor, _options.MaxObstacleORBranchingFactor); for (int i = 0; i < nbRefinement; i++) { var r = GenerateObstacleRefinement(current.Item1); foreach (var sg in r.SubObstacles()) { obstacleToRefine.Push(new Tuple <Obstacle, int> (sg, current.Item2 + 1)); leafObstacles.Add(sg.Identifier); } } } foreach (var current in leafObstacles) { _model.satisfactionRateRepository.AddObstacleSatisfactionRate(current, new DoubleSatisfactionRate(_random.NextDouble())); } return(_model); }
public static void Main(string[] args) { //DeployAmbulanceAtStationAllocator(); //Thread.Sleep(TimeSpan.FromSeconds(10)); Console.WriteLine("Hello World!"); var monitoringDelay = TimeSpan.FromSeconds(1); logger.Info("Connecting to database"); var provider = new PostgreSQLDatabaseProvider(); var connectionString = ConfigurationManager.ConnectionStrings["postgres"].ConnectionString; var config = DatabaseConfiguration.Build() .UsingConnectionString(connectionString) .UsingProvider(provider) .UsingDefaultMapper <ConventionMapper>(); db = new Database(config); incidentRepository = new IncidentRepository(db); ambulanceRepository = new AmbulanceRepository(db); allocationRepository = new AllocationRepository(db); hospitalRepository = new HospitalRepository(db); configurationRepository = new ConfigurationRepository(db); logger.Info("Connected to database"); logger.Info("Building KAOS model."); var filename = "./Models/simple.kaos"; var parser = new KAOSTools.Parsing.ModelBuilder(); model = parser.Parse(File.ReadAllText(filename), filename); var model2 = parser.Parse(File.ReadAllText(filename), filename); ActiveResolutions = Enumerable.Empty <Resolution>(); var declarations = parser.Declarations; logger.Info("(done)"); logger.Info("Configuring monitors."); // Configure all the monitors (for all obstacles and domain properties). KAOSMetaModelElement[] goals = model.Goals().ToArray(); KAOSMetaModelElement[] obstacles = model.LeafObstacles().ToArray(); var projection = new HashSet <string>(GetAllPredicates(goals)); monitor = new GoalMonitor(model, goals.Union(obstacles), projection, HandleFunc, // new TimedStateInformationStorage(TimeSpan.FromMinutes(60), TimeSpan.FromMinutes(120)), monitoringDelay); logger.Info("(done)"); foreach (var p in model.Predicates()) { Console.WriteLine(p.FriendlyName); } // What goals and obstacles should appear in LOG cpsGoals = model.Goals(x => x.CustomData.ContainsKey("log_cps")); cpsObstacles = model.Obstacles(x => x.CustomData.ContainsKey("log_cps")); // Initialize obstruction sets obstructionLock = new object(); ComputeObstructionSets(); Console.WriteLine("Waiting ..."); Console.ReadKey(); logger.Info("Launching monitors"); monitor.Run(false); var goalMonitorProcessor = new GoalMonitorProcessor(monitor); csvExport = new CSVGoalExportProcessor("experiment-goal.csv", "experiment-obstacle.csv"); // goalMonitorProcessor.AddProcessor(csvExport, monitoringDelay); new Timer((state) => UpdateCPS(), null, monitoringDelay, monitoringDelay); new Timer((state) => MonitorStep(), null, monitoringDelay, monitoringDelay); Thread.Sleep(TimeSpan.FromSeconds(5)); logger.Info("Launching processors"); //new Timer((state) => LogStatistic(), null, monitoringDelay, monitoringDelay); new Timer((state) => LogCSV(), null, monitoringDelay, monitoringDelay); // Configure optimization process. optimizer = new Optimizer(monitor, model2); new Timer((state) => Optimize(), null, TimeSpan.FromSeconds(30), TimeSpan.FromSeconds(60)); while (true) { ; } }