diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/queries')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/queries/SatelliteQueries.vql | 144 |
1 files changed, 1 insertions, 143 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/queries/SatelliteQueries.vql b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/queries/SatelliteQueries.vql index 57b5933a..da889032 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/queries/SatelliteQueries.vql +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/queries/SatelliteQueries.vql | |||
@@ -245,146 +245,4 @@ pattern tooLowPathLengthForGroundStation(s:CommSubsystem) { | |||
245 | GroundStationNetwork.commSubsystem(_,ts); | 245 | GroundStationNetwork.commSubsystem(_,ts); |
246 | check(l!=385000);//385.000km | 246 | check(l!=385000);//385.000km |
247 | } | 247 | } |
248 | //// | 248 | |
249 | //// Metrics | ||
250 | //// | ||
251 | // | ||
252 | //// Coverage | ||
253 | // | ||
254 | //pattern coverageMetric(Coverage : java Double) { | ||
255 | // Coverage == sum find missionCoverage(_, #_); | ||
256 | //} | ||
257 | // | ||
258 | //private pattern missionCoverage(Mission : InterferometryMission, Coverage : java Double) { | ||
259 | // InterferometryMission.observationTime(Mission, ObservationTime); | ||
260 | // ObserverCount == count find spacecraftWithInterferometryPayload(Mission, _); | ||
261 | // Coverage == eval(Math.pow(1 - 2.0 / ObserverCount, 1 + 9 * (1.0 / ObservationTime)) + 0.05 * ObservationTime / 3); | ||
262 | //} | ||
263 | // | ||
264 | //// Time | ||
265 | // | ||
266 | //pattern timeMetric(Time : java Double) { | ||
267 | // Time == sum find missionTime(_, #_); | ||
268 | //} | ||
269 | // | ||
270 | //private pattern missionTime(Mission : InterferometryMission, Time : java Double) { | ||
271 | // InterferometryMission.observationTime(Mission, ObservationTime); | ||
272 | // TrasmitTime == sum find transmitTime(Mission, _, #_); | ||
273 | // Time == eval(TrasmitTime + 60.0 * ObservationTime); | ||
274 | //} | ||
275 | // | ||
276 | //private pattern transmitTime(Mission : InterferometryMission, Spacecraft : Spacecraft, TransmitTime : java Double) { | ||
277 | // ConstellationMission.spacecraft(Mission, Spacecraft); | ||
278 | // find scienceData(Spacecraft, ScienceData); | ||
279 | // IncomingData == sum find incomingData(Spacecraft, _, #_); | ||
280 | // find transmitRate(Spacecraft, TransmitRate); | ||
281 | // TransmitTime == eval((ScienceData + IncomingData) / (7.5 * TransmitRate)); | ||
282 | //} | ||
283 | // | ||
284 | //private pattern incomingData(Spacecraft : Spacecraft, Source : Spacecraft, Data : java Double) { | ||
285 | // find indirectCommunicationLink(Source, Spacecraft); | ||
286 | // find scienceData(Source, Data); | ||
287 | //} | ||
288 | // | ||
289 | //private pattern scienceData(Spacecraft : Spacecraft, Data : java Double) { | ||
290 | // ConstellationMission.spacecraft(Mission, Spacecraft); | ||
291 | // InterferometryMission.observationTime(Mission, ObservationTime); | ||
292 | // Data == eval(12.0 * ObservationTime); | ||
293 | //} | ||
294 | // | ||
295 | //private pattern transmitRate(Spacecraft : Spacecraft, TransmitRate : java Double) { | ||
296 | // find spacecraftUplink(Spacecraft, Comm, Target); | ||
297 | // UHFCommSubsystem(Comm); | ||
298 | // Spacecraft(Target); | ||
299 | // TransmitRate == 5.0; | ||
300 | //} or { | ||
301 | // find spacecraftUplink(Spacecraft, Comm, Target); | ||
302 | // XCommSubsystem(Comm); | ||
303 | // Spacecraft(Target); | ||
304 | // TransmitRate == 1.6; | ||
305 | //} or { | ||
306 | // find spacecraftUplink(Spacecraft, Comm, Target); | ||
307 | // XCommSubsystem(Comm); | ||
308 | // GroundStationNetwork(Target); | ||
309 | // TransmitRate == 0.7; | ||
310 | //} or { | ||
311 | // find spacecraftUplink(Spacecraft, Comm, Target); | ||
312 | // KaCommSubsystem(Comm); | ||
313 | // Spacecraft(Target); | ||
314 | // TransmitRate == 220.0; | ||
315 | //} or { | ||
316 | // find spacecraftUplink(Spacecraft, Comm, Target); | ||
317 | // KaCommSubsystem(Comm); | ||
318 | // GroundStationNetwork(Target); | ||
319 | // TransmitRate == 80.0; | ||
320 | //} | ||
321 | // | ||
322 | //private pattern spacecraftUplink(Spacecraft : Spacecraft, TargetSubsystem : CommSubsystem, Target : CommunicatingElement) { | ||
323 | // CommunicatingElement.commSubsystem.target(Spacecraft, TargetSubsystem); | ||
324 | // CommunicatingElement.commSubsystem(Target, TargetSubsystem); | ||
325 | //} | ||
326 | // | ||
327 | //// Cost | ||
328 | // | ||
329 | //pattern costMetric(Cost : java Double) { | ||
330 | // Cost == sum find missionCost(_, #_); | ||
331 | //} | ||
332 | // | ||
333 | //private pattern missionCost(Mission : InterferometryMission, Cost : java Double) { | ||
334 | // InterferometryMission.observationTime(Mission, ObservationTime); | ||
335 | // SpacecraftCost == sum find spacecraftCost(Mission, _, #_); | ||
336 | // Cost == eval(SpacecraftCost + 100000.0 * ObservationTime); | ||
337 | //} | ||
338 | // | ||
339 | //private pattern spacecraftCost(Mission : InterferometryMission, Spacecraft : Spacecraft, Cost : java Double) { | ||
340 | // ConstellationMission.spacecraft(Mission, Spacecraft); | ||
341 | // find spacecraftOfKindCount(Spacecraft, KindCount); | ||
342 | // find basePrice(Spacecraft, BasePrice); | ||
343 | // find interferometryPayloadCost(Spacecraft, InterferometryPayloadCost); | ||
344 | // find additionalCommSubsystemCost(Spacecraft, AdditionalCommSubsystemCost); | ||
345 | // Cost == eval(BasePrice * Math.pow(KindCount, -0.25) + InterferometryPayloadCost + AdditionalCommSubsystemCost); | ||
346 | //} | ||
347 | // | ||
348 | //private pattern spacecraftOfKindCount(Sat : Spacecraft, Count : java Integer) { | ||
349 | // CubeSat3U(Sat); | ||
350 | // Count == count find cubeSat3U(_); | ||
351 | //} or { | ||
352 | // CubeSat6U(Sat); | ||
353 | // Count == count find cubeSat6U(_); | ||
354 | //} or { | ||
355 | // SmallSat(Sat); | ||
356 | // Count == count find smallSat(_); | ||
357 | //} | ||
358 | // | ||
359 | //private pattern basePrice(Spacecraft : Spacecraft, BasePrice : java Double) { | ||
360 | // CubeSat3U(Spacecraft); | ||
361 | // BasePrice == 250000.0; | ||
362 | //} or { | ||
363 | // CubeSat6U(Spacecraft); | ||
364 | // BasePrice == 750000.0; | ||
365 | //} or { | ||
366 | // SmallSat(Spacecraft); | ||
367 | // BasePrice == 3000000.0; | ||
368 | //} | ||
369 | // | ||
370 | //private pattern interferometryPayloadCost(Spacecraft : Spacecraft, Cost : java Double) { | ||
371 | // find spacecraftWithInterferometryPayload(_, Spacecraft); | ||
372 | // Cost == 50000.0; | ||
373 | //} or { | ||
374 | // neg find spacecraftWithInterferometryPayload(_, Spacecraft); | ||
375 | // Cost == 0.0; | ||
376 | //} | ||
377 | // | ||
378 | //private pattern additionalCommSubsystemCost(Spacecraft : Spacecraft, Cost : java Double) { | ||
379 | // find spacecraftWithTwoCommSubsystems(Spacecraft); | ||
380 | // Cost == 100000.0; | ||
381 | //} or { | ||
382 | // neg find spacecraftWithTwoCommSubsystems(Spacecraft); | ||
383 | // Cost == 0.0; | ||
384 | //} | ||
385 | // | ||
386 | //private pattern spacecraftWithTwoCommSubsystems(Spacecraft : Spacecraft) { | ||
387 | // Spacecraft.commSubsystem(Spacecraft, Subsystem1); | ||
388 | // Spacecraft.commSubsystem(Spacecraft, Subsystem2); | ||
389 | // Subsystem1 != Subsystem2; | ||
390 | //} | ||