models.hpp 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567
  1. /**
  2. * @file tests/pdevs/models.hpp
  3. * @author The PARADEVS Development Team
  4. * See the AUTHORS or Authors.txt file
  5. */
  6. /*
  7. * PARADEVS - the multimodeling and simulation environment
  8. * This file is a part of the PARADEVS environment
  9. *
  10. * Copyright (C) 2013-2015 ULCO http://www.univ-litoral.fr
  11. *
  12. * This program is free software: you can redistribute it and/or modify
  13. * it under the terms of the GNU General Public License as published by
  14. * the Free Software Foundation, either version 3 of the License, or
  15. * (at your option) any later version.
  16. *
  17. * This program is distributed in the hope that it will be useful,
  18. * but WITHOUT ANY WARRANTY; without even the implied warranty of
  19. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  20. * GNU General Public License for more details.
  21. *
  22. * You should have received a copy of the GNU General Public License
  23. * along with this program. If not, see <http://www.gnu.org/licenses/>.
  24. */
  25. #ifndef TESTS_PDEVS_MODELS_HPP
  26. #define TESTS_PDEVS_MODELS_HPP 1
  27. #include <paradevs/common/time/DoubleTime.hpp>
  28. #include <paradevs/common/utils/Trace.hpp>
  29. #include <paradevs/kernel/pdevs/Dynamics.hpp>
  30. #include <chrono>
  31. #define DELAY 100
  32. namespace paradevs { namespace tests { namespace pdevs {
  33. void delay()
  34. {
  35. for (unsigned int i = 0; i < DELAY; ++i) {
  36. std::vector < int > v;
  37. for (unsigned int j = 1000; j > 0; --j) {
  38. v.push_back(j);
  39. }
  40. std::sort(v.begin(), v.end());
  41. }
  42. }
  43. class A :
  44. public paradevs::pdevs::Dynamics < common::DoubleTime >
  45. {
  46. public:
  47. A(const std::string& name, const common::NoParameters& parameters) :
  48. paradevs::pdevs::Dynamics < common::DoubleTime >(name, parameters),
  49. _value(0)
  50. { }
  51. virtual ~A()
  52. { }
  53. void dint(typename common::DoubleTime::type t)
  54. {
  55. #ifndef WITH_TRACE
  56. (void)t;
  57. #endif
  58. #ifdef WITH_TRACE
  59. common::Trace < common::DoubleTime >::trace()
  60. << common::TraceElement < common::DoubleTime >(
  61. get_name(), t,
  62. common::DELTA_INT);
  63. common::Trace < common::DoubleTime >::trace().flush();
  64. #endif
  65. std::cout << t << ": " << get_name() << " => dint" << std::endl;
  66. delay();
  67. ++_value;
  68. if (_phase == SEND) {
  69. _phase = WAIT;
  70. }
  71. }
  72. void dext(typename common::DoubleTime::type t,
  73. typename common::DoubleTime::type /* e */,
  74. const common::Bag < common::DoubleTime >& msgs)
  75. {
  76. #ifndef WITH_TRACE
  77. (void)t;
  78. (void)msgs;
  79. #endif
  80. for (common::Bag < common::DoubleTime >::const_iterator it =
  81. msgs.begin(); it != msgs.end(); ++it) {
  82. std::cout << t << ": " << get_name()
  83. << " => " << it->get_content().get_content < double >()
  84. << std::endl;
  85. }
  86. #ifdef WITH_TRACE
  87. common::Trace < common::DoubleTime >::trace()
  88. << common::TraceElement < common::DoubleTime >(
  89. get_name(), t,
  90. common::DELTA_EXT)
  91. << "messages = " << msgs.to_string();
  92. common::Trace < common::DoubleTime >::trace().flush();
  93. #endif
  94. _phase = SEND;
  95. }
  96. void dconf(typename common::DoubleTime::type t,
  97. typename common::DoubleTime::type /* e */,
  98. const common::Bag < common::DoubleTime >& msgs)
  99. {
  100. #ifndef WITH_TRACE
  101. (void)t;
  102. (void)msgs;
  103. #endif
  104. std::cout << t << ": " << get_name() << " => " << msgs.to_string()
  105. << std::endl;
  106. #ifdef WITH_TRACE
  107. common::Trace < common::DoubleTime >::trace()
  108. << common::TraceElement < common::DoubleTime >(
  109. get_name(), t,
  110. common::DELTA_CONF)
  111. << "messages = " << msgs.to_string();
  112. common::Trace < common::DoubleTime >::trace().flush();
  113. #endif
  114. }
  115. typename common::DoubleTime::type start(typename common::DoubleTime::type t)
  116. {
  117. #ifndef WITH_TRACE
  118. (void)t;
  119. #endif
  120. #ifdef WITH_TRACE
  121. common::Trace < common::DoubleTime >::trace()
  122. << common::TraceElement < common::DoubleTime >(
  123. get_name(), t,
  124. common::START);
  125. common::Trace < common::DoubleTime >::trace().flush();
  126. #endif
  127. _phase = WAIT;
  128. return 0;
  129. }
  130. typename common::DoubleTime::type ta(
  131. typename common::DoubleTime::type t) const
  132. {
  133. #ifndef WITH_TRACE
  134. (void)t;
  135. #endif
  136. #ifdef WITH_TRACE
  137. common::Trace < common::DoubleTime >::trace()
  138. << common::TraceElement < common::DoubleTime >(
  139. get_name(), t,
  140. common::TA);
  141. common::Trace < common::DoubleTime >::trace().flush();
  142. #endif
  143. if (_phase == WAIT) {
  144. return 1;
  145. } else {
  146. return 0;
  147. }
  148. }
  149. common::Bag < common::DoubleTime > lambda(
  150. typename common::DoubleTime::type t) const
  151. {
  152. #ifndef WITH_TRACE
  153. (void)t;
  154. #endif
  155. common::Bag < common::DoubleTime > msgs;
  156. msgs.push_back(
  157. common::ExternalEvent < common::DoubleTime >(
  158. "out", common::Value(_value)));
  159. std::cout << t << ": " << get_name() << " => lambda" << std::endl;
  160. #ifdef WITH_TRACE
  161. common::Trace < common::DoubleTime >::trace()
  162. << common::TraceElement < common::DoubleTime >(
  163. get_name(), t,
  164. common::LAMBDA)
  165. << "messages = " << msgs.to_string();
  166. common::Trace < common::DoubleTime >::trace().flush();
  167. #endif
  168. return msgs;
  169. }
  170. void observation(std::ostream& /* file */) const
  171. { }
  172. private:
  173. enum Phase { WAIT, SEND };
  174. Phase _phase;
  175. double _value;
  176. };
  177. class B :
  178. public paradevs::pdevs::Dynamics < common::DoubleTime >
  179. {
  180. public:
  181. B(const std::string& name, const common::NoParameters& parameters) :
  182. paradevs::pdevs::Dynamics < common::DoubleTime >(name, parameters),
  183. _value(0)
  184. { }
  185. virtual ~B()
  186. { }
  187. void dint(typename common::DoubleTime::type t)
  188. {
  189. #ifndef WITH_TRACE
  190. (void)t;
  191. #endif
  192. #ifdef WITH_TRACE
  193. common::Trace < common::DoubleTime >::trace()
  194. << common::TraceElement < common::DoubleTime >(
  195. get_name(), t,
  196. common::DELTA_INT);
  197. common::Trace < common::DoubleTime >::trace().flush();
  198. #endif
  199. std::cout << t << ": " << get_name() << " => dint" << std::endl;
  200. delay();
  201. ++_value;
  202. if (_phase == SEND) {
  203. _phase = WAIT;
  204. }
  205. }
  206. void dext(typename common::DoubleTime::type t,
  207. typename common::DoubleTime::type /* e */,
  208. const common::Bag < common::DoubleTime >& msgs)
  209. {
  210. #ifndef WITH_TRACE
  211. (void)t;
  212. (void)msgs;
  213. #endif
  214. std::cout << t << ": " << get_name() << " => " << msgs.to_string()
  215. << std::endl;
  216. #ifdef WITH_TRACE
  217. common::Trace < common::DoubleTime >::trace()
  218. << common::TraceElement < common::DoubleTime >(
  219. get_name(), t,
  220. common::DELTA_EXT)
  221. << "messages = " << msgs.to_string();
  222. common::Trace < common::DoubleTime >::trace().flush();
  223. #endif
  224. _phase = SEND;
  225. }
  226. void dconf(typename common::DoubleTime::type t,
  227. typename common::DoubleTime::type /* e */,
  228. const common::Bag < common::DoubleTime >& msgs)
  229. {
  230. #ifndef WITH_TRACE
  231. (void)t;
  232. (void)msgs;
  233. #endif
  234. #ifdef WITH_TRACE
  235. common::Trace < common::DoubleTime >::trace()
  236. << common::TraceElement < common::DoubleTime >(
  237. get_name(), t,
  238. common::DELTA_CONF)
  239. << "messages = " << msgs.to_string();
  240. common::Trace < common::DoubleTime >::trace().flush();
  241. #endif
  242. }
  243. typename common::DoubleTime::type start(typename common::DoubleTime::type t)
  244. {
  245. #ifndef WITH_TRACE
  246. (void)t;
  247. #endif
  248. #ifdef WITH_TRACE
  249. common::Trace < common::DoubleTime >::trace()
  250. << common::TraceElement < common::DoubleTime >(
  251. get_name(), t,
  252. common::START);
  253. common::Trace < common::DoubleTime >::trace().flush();
  254. #endif
  255. _phase = WAIT;
  256. return std::numeric_limits < double >::max();
  257. }
  258. typename common::DoubleTime::type ta(
  259. typename common::DoubleTime::type t) const
  260. {
  261. #ifndef WITH_TRACE
  262. (void)t;
  263. #endif
  264. #ifdef WITH_TRACE
  265. common::Trace < common::DoubleTime >::trace()
  266. << common::TraceElement < common::DoubleTime >(
  267. get_name(), t,
  268. common::TA);
  269. common::Trace < common::DoubleTime >::trace().flush();
  270. #endif
  271. if (_phase == WAIT) {
  272. return std::numeric_limits < double >::max();
  273. } else {
  274. return 0;
  275. }
  276. }
  277. common::Bag < common::DoubleTime > lambda(
  278. typename common::DoubleTime::type t) const
  279. {
  280. #ifndef WITH_TRACE
  281. (void)t;
  282. #endif
  283. common::Bag < common::DoubleTime > msgs;
  284. std::cout << t << ": " << get_name() << " => lambda" << std::endl;
  285. msgs.push_back(common::ExternalEvent <
  286. common::DoubleTime >(
  287. "out", common::Value(_value)));
  288. #ifdef WITH_TRACE
  289. common::Trace < common::DoubleTime >::trace()
  290. << common::TraceElement < common::DoubleTime >(
  291. get_name(), t,
  292. common::LAMBDA)
  293. << "messages = " << msgs.to_string();
  294. common::Trace < common::DoubleTime >::trace().flush();
  295. #endif
  296. return msgs;
  297. }
  298. void observation(std::ostream& /* file */) const
  299. { }
  300. private:
  301. enum Phase { WAIT, SEND };
  302. Phase _phase;
  303. double _value;
  304. };
  305. class TwoStateModel :
  306. public paradevs::pdevs::Dynamics < common::DoubleTime >
  307. {
  308. public:
  309. TwoStateModel(const std::string& name,
  310. const common::NoParameters& parameters) :
  311. paradevs::pdevs::Dynamics < common::DoubleTime >(name, parameters)
  312. { }
  313. virtual ~TwoStateModel()
  314. { }
  315. void dint(typename common::DoubleTime::type t)
  316. {
  317. if (_phase == S1) {
  318. _phase = S2;
  319. } else if (_phase == S2) {
  320. _phase = S1;
  321. }
  322. _last_time = t;
  323. }
  324. typename common::DoubleTime::type start(
  325. typename common::DoubleTime::type t)
  326. {
  327. _phase = S1;
  328. _last_time = t;
  329. return ta(t);
  330. }
  331. typename common::DoubleTime::type ta(
  332. typename common::DoubleTime::type /* t */) const
  333. {
  334. if (_phase == S1) {
  335. return 5;
  336. } else {
  337. return 6;
  338. }
  339. }
  340. common::Bag < common::DoubleTime > lambda(
  341. typename common::DoubleTime::type t) const
  342. {
  343. std::cout << (t - _last_time) << std::endl;
  344. return common::Bag < common::DoubleTime >();
  345. }
  346. private:
  347. enum Phase { S1, S2 };
  348. Phase _phase;
  349. typename common::DoubleTime::type _last_time;
  350. };
  351. class ThreeStateModel :
  352. public paradevs::pdevs::Dynamics < common::DoubleTime >
  353. {
  354. public:
  355. ThreeStateModel(const std::string& name,
  356. const common::NoParameters& parameters) :
  357. paradevs::pdevs::Dynamics < common::DoubleTime >(name, parameters)
  358. { }
  359. virtual ~ThreeStateModel()
  360. { }
  361. void compute()
  362. {
  363. for (unsigned int i = 0; i < heights.size(); ++i) {
  364. if (heights[i] != -1 and heights[i] < 10) {
  365. heights[i] += speeds[i] * scales[i];
  366. }
  367. }
  368. }
  369. void display() const
  370. {
  371. for (std::vector < double >::const_iterator it = heights.begin();
  372. it != heights.end(); ++it) {
  373. std::cout << *it << " ";
  374. }
  375. std::cout << std::endl;
  376. }
  377. void display_full() const
  378. {
  379. unsigned int i = 1;
  380. for (std::vector < double >::const_iterator it = heights.begin();
  381. it != heights.end(); ++it, ++i) {
  382. if (*it > 10) {
  383. std::cout << "S" << i;
  384. }
  385. }
  386. std::cout << std::endl;
  387. }
  388. bool full() const
  389. {
  390. unsigned int n = 0;
  391. for (std::vector < double >::const_iterator it = heights.begin();
  392. it != heights.end(); ++it) {
  393. if (*it > 10) {
  394. ++n;
  395. }
  396. }
  397. return n > 0;
  398. }
  399. bool full_N() const
  400. {
  401. unsigned int n = 0;
  402. for (std::vector < double >::const_iterator it = heights.begin();
  403. it != heights.end(); ++it) {
  404. if (*it == -1) {
  405. ++n;
  406. }
  407. }
  408. return n >= 2;
  409. }
  410. void mark_full(typename common::DoubleTime::type t)
  411. {
  412. for (std::vector < double >::iterator it = heights.begin();
  413. it != heights.end(); ++it) {
  414. if (*it > 10) {
  415. *it = -1;
  416. _last_time = t;
  417. }
  418. }
  419. }
  420. void raz()
  421. {
  422. for (std::vector < double >::iterator it = heights.begin();
  423. it != heights.end(); ++it) {
  424. if (*it == -1) {
  425. *it = 0;
  426. }
  427. }
  428. }
  429. void dint(typename common::DoubleTime::type t)
  430. {
  431. mark_full(t);
  432. if (full_N()) {
  433. raz();
  434. }
  435. compute();
  436. }
  437. typename common::DoubleTime::type start(
  438. typename common::DoubleTime::type t)
  439. {
  440. heights = { 0, 0, 0, 0, 0 };
  441. speeds = { 0.21, 0.3, 0.7, 0.56, 0.14 };
  442. scales = { 1, 1, 1, 1, 1 };
  443. _last_time = t;
  444. return 0;
  445. }
  446. typename common::DoubleTime::type ta(
  447. typename common::DoubleTime::type /* t */) const
  448. { return 1; }
  449. common::Bag < common::DoubleTime > lambda(
  450. typename common::DoubleTime::type t) const
  451. {
  452. if (full()) {
  453. std::cout << (t - _last_time) << " ";
  454. // display_full();
  455. }
  456. return common::Bag < common::DoubleTime >();
  457. }
  458. private:
  459. std::vector < double > heights;
  460. std::vector < double > speeds;
  461. std::vector < double > scales;
  462. typename common::DoubleTime::type _last_time;
  463. };
  464. } } } // namespace paradevs tests pdevs
  465. #endif