models.hpp 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544
  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. delay();
  66. if (_phase == SEND) {
  67. _phase = WAIT;
  68. }
  69. }
  70. void dext(typename common::DoubleTime::type t,
  71. typename common::DoubleTime::type /* e */,
  72. const common::Bag < common::DoubleTime >& msgs)
  73. {
  74. #ifndef WITH_TRACE
  75. (void)t;
  76. (void)msgs;
  77. #endif
  78. #ifdef WITH_TRACE
  79. common::Trace < common::DoubleTime >::trace()
  80. << common::TraceElement < common::DoubleTime >(
  81. get_name(), t,
  82. common::DELTA_EXT)
  83. << "messages = " << msgs.to_string();
  84. common::Trace < common::DoubleTime >::trace().flush();
  85. #endif
  86. _phase = SEND;
  87. }
  88. void dconf(typename common::DoubleTime::type t,
  89. typename common::DoubleTime::type /* e */,
  90. const common::Bag < common::DoubleTime >& msgs)
  91. {
  92. #ifndef WITH_TRACE
  93. (void)t;
  94. (void)msgs;
  95. #endif
  96. #ifdef WITH_TRACE
  97. common::Trace < common::DoubleTime >::trace()
  98. << common::TraceElement < common::DoubleTime >(
  99. get_name(), t,
  100. common::DELTA_CONF)
  101. << "messages = " << msgs.to_string();
  102. common::Trace < common::DoubleTime >::trace().flush();
  103. #endif
  104. }
  105. typename common::DoubleTime::type start(typename common::DoubleTime::type t)
  106. {
  107. #ifndef WITH_TRACE
  108. (void)t;
  109. #endif
  110. #ifdef WITH_TRACE
  111. common::Trace < common::DoubleTime >::trace()
  112. << common::TraceElement < common::DoubleTime >(
  113. get_name(), t,
  114. common::START);
  115. common::Trace < common::DoubleTime >::trace().flush();
  116. #endif
  117. _phase = WAIT;
  118. return 0;
  119. }
  120. typename common::DoubleTime::type ta(
  121. typename common::DoubleTime::type t) const
  122. {
  123. #ifndef WITH_TRACE
  124. (void)t;
  125. #endif
  126. #ifdef WITH_TRACE
  127. common::Trace < common::DoubleTime >::trace()
  128. << common::TraceElement < common::DoubleTime >(
  129. get_name(), t,
  130. common::TA);
  131. common::Trace < common::DoubleTime >::trace().flush();
  132. #endif
  133. if (_phase == WAIT) {
  134. return 1;
  135. } else {
  136. return 0;
  137. }
  138. }
  139. common::Bag < common::DoubleTime > lambda(
  140. typename common::DoubleTime::type t) const
  141. {
  142. #ifndef WITH_TRACE
  143. (void)t;
  144. #endif
  145. common::Bag < common::DoubleTime > msgs;
  146. msgs.push_back(
  147. common::ExternalEvent < common::DoubleTime >(
  148. "out", (void*)&_value));
  149. #ifdef WITH_TRACE
  150. common::Trace < common::DoubleTime >::trace()
  151. << common::TraceElement < common::DoubleTime >(
  152. get_name(), t,
  153. common::LAMBDA)
  154. << "messages = " << msgs.to_string();
  155. common::Trace < common::DoubleTime >::trace().flush();
  156. #endif
  157. return msgs;
  158. }
  159. void observation(std::ostream& /* file */) const
  160. { }
  161. private:
  162. enum Phase { WAIT, SEND };
  163. Phase _phase;
  164. double _value;
  165. };
  166. class B :
  167. public paradevs::pdevs::Dynamics < common::DoubleTime >
  168. {
  169. public:
  170. B(const std::string& name, const common::NoParameters& parameters) :
  171. paradevs::pdevs::Dynamics < common::DoubleTime >(name, parameters),
  172. _value(0)
  173. { }
  174. virtual ~B()
  175. { }
  176. void dint(typename common::DoubleTime::type t)
  177. {
  178. #ifndef WITH_TRACE
  179. (void)t;
  180. #endif
  181. #ifdef WITH_TRACE
  182. common::Trace < common::DoubleTime >::trace()
  183. << common::TraceElement < common::DoubleTime >(
  184. get_name(), t,
  185. common::DELTA_INT);
  186. common::Trace < common::DoubleTime >::trace().flush();
  187. #endif
  188. delay();
  189. if (_phase == SEND) {
  190. _phase = WAIT;
  191. }
  192. }
  193. void dext(typename common::DoubleTime::type t,
  194. typename common::DoubleTime::type /* e */,
  195. const common::Bag < common::DoubleTime >& msgs)
  196. {
  197. #ifndef WITH_TRACE
  198. (void)t;
  199. (void)msgs;
  200. #endif
  201. #ifdef WITH_TRACE
  202. common::Trace < common::DoubleTime >::trace()
  203. << common::TraceElement < common::DoubleTime >(
  204. get_name(), t,
  205. common::DELTA_EXT)
  206. << "messages = " << msgs.to_string();
  207. common::Trace < common::DoubleTime >::trace().flush();
  208. #endif
  209. _phase = SEND;
  210. }
  211. void dconf(typename common::DoubleTime::type t,
  212. typename common::DoubleTime::type /* e */,
  213. const common::Bag < common::DoubleTime >& msgs)
  214. {
  215. #ifndef WITH_TRACE
  216. (void)t;
  217. (void)msgs;
  218. #endif
  219. #ifdef WITH_TRACE
  220. common::Trace < common::DoubleTime >::trace()
  221. << common::TraceElement < common::DoubleTime >(
  222. get_name(), t,
  223. common::DELTA_CONF)
  224. << "messages = " << msgs.to_string();
  225. common::Trace < common::DoubleTime >::trace().flush();
  226. #endif
  227. }
  228. typename common::DoubleTime::type start(typename common::DoubleTime::type t)
  229. {
  230. #ifndef WITH_TRACE
  231. (void)t;
  232. #endif
  233. #ifdef WITH_TRACE
  234. common::Trace < common::DoubleTime >::trace()
  235. << common::TraceElement < common::DoubleTime >(
  236. get_name(), t,
  237. common::START);
  238. common::Trace < common::DoubleTime >::trace().flush();
  239. #endif
  240. _phase = WAIT;
  241. return std::numeric_limits < double >::max();
  242. }
  243. typename common::DoubleTime::type ta(
  244. typename common::DoubleTime::type t) const
  245. {
  246. #ifndef WITH_TRACE
  247. (void)t;
  248. #endif
  249. #ifdef WITH_TRACE
  250. common::Trace < common::DoubleTime >::trace()
  251. << common::TraceElement < common::DoubleTime >(
  252. get_name(), t,
  253. common::TA);
  254. common::Trace < common::DoubleTime >::trace().flush();
  255. #endif
  256. if (_phase == WAIT) {
  257. return std::numeric_limits < double >::max();
  258. } else {
  259. return 0;
  260. }
  261. }
  262. common::Bag < common::DoubleTime > lambda(
  263. typename common::DoubleTime::type t) const
  264. {
  265. #ifndef WITH_TRACE
  266. (void)t;
  267. #endif
  268. common::Bag < common::DoubleTime > msgs;
  269. msgs.push_back(common::ExternalEvent <
  270. common::DoubleTime >(
  271. "out", (void*)&_value));
  272. #ifdef WITH_TRACE
  273. common::Trace < common::DoubleTime >::trace()
  274. << common::TraceElement < common::DoubleTime >(
  275. get_name(), t,
  276. common::LAMBDA)
  277. << "messages = " << msgs.to_string();
  278. common::Trace < common::DoubleTime >::trace().flush();
  279. #endif
  280. return msgs;
  281. }
  282. void observation(std::ostream& /* file */) const
  283. { }
  284. private:
  285. enum Phase { WAIT, SEND };
  286. Phase _phase;
  287. double _value;
  288. };
  289. class TwoStateModel :
  290. public paradevs::pdevs::Dynamics < common::DoubleTime >
  291. {
  292. public:
  293. TwoStateModel(const std::string& name,
  294. const common::NoParameters& parameters) :
  295. paradevs::pdevs::Dynamics < common::DoubleTime >(name, parameters)
  296. { }
  297. virtual ~TwoStateModel()
  298. { }
  299. void dint(typename common::DoubleTime::type t)
  300. {
  301. if (_phase == S1) {
  302. _phase = S2;
  303. } else if (_phase == S2) {
  304. _phase = S1;
  305. }
  306. _last_time = t;
  307. }
  308. typename common::DoubleTime::type start(
  309. typename common::DoubleTime::type t)
  310. {
  311. _phase = S1;
  312. _last_time = t;
  313. return ta(t);
  314. }
  315. typename common::DoubleTime::type ta(
  316. typename common::DoubleTime::type /* t */) const
  317. {
  318. if (_phase == S1) {
  319. return 5;
  320. } else {
  321. return 6;
  322. }
  323. }
  324. common::Bag < common::DoubleTime > lambda(
  325. typename common::DoubleTime::type t) const
  326. {
  327. std::cout << (t - _last_time) << std::endl;
  328. return common::Bag < common::DoubleTime >();
  329. }
  330. private:
  331. enum Phase { S1, S2 };
  332. Phase _phase;
  333. typename common::DoubleTime::type _last_time;
  334. };
  335. class ThreeStateModel :
  336. public paradevs::pdevs::Dynamics < common::DoubleTime >
  337. {
  338. public:
  339. ThreeStateModel(const std::string& name,
  340. const common::NoParameters& parameters) :
  341. paradevs::pdevs::Dynamics < common::DoubleTime >(name, parameters)
  342. { }
  343. virtual ~ThreeStateModel()
  344. { }
  345. void compute()
  346. {
  347. for (unsigned int i = 0; i < heights.size(); ++i) {
  348. if (heights[i] != -1 and heights[i] < 10) {
  349. heights[i] += speeds[i] * scales[i];
  350. }
  351. }
  352. }
  353. void display() const
  354. {
  355. for (std::vector < double >::const_iterator it = heights.begin();
  356. it != heights.end(); ++it) {
  357. std::cout << *it << " ";
  358. }
  359. std::cout << std::endl;
  360. }
  361. void display_full() const
  362. {
  363. unsigned int i = 1;
  364. for (std::vector < double >::const_iterator it = heights.begin();
  365. it != heights.end(); ++it, ++i) {
  366. if (*it > 10) {
  367. std::cout << "S" << i;
  368. }
  369. }
  370. std::cout << std::endl;
  371. }
  372. bool full() const
  373. {
  374. unsigned int n = 0;
  375. for (std::vector < double >::const_iterator it = heights.begin();
  376. it != heights.end(); ++it) {
  377. if (*it > 10) {
  378. ++n;
  379. }
  380. }
  381. return n > 0;
  382. }
  383. bool full_N() const
  384. {
  385. unsigned int n = 0;
  386. for (std::vector < double >::const_iterator it = heights.begin();
  387. it != heights.end(); ++it) {
  388. if (*it == -1) {
  389. ++n;
  390. }
  391. }
  392. return n >= 2;
  393. }
  394. void mark_full(typename common::DoubleTime::type t)
  395. {
  396. for (std::vector < double >::iterator it = heights.begin();
  397. it != heights.end(); ++it) {
  398. if (*it > 10) {
  399. *it = -1;
  400. _last_time = t;
  401. }
  402. }
  403. }
  404. void raz()
  405. {
  406. for (std::vector < double >::iterator it = heights.begin();
  407. it != heights.end(); ++it) {
  408. if (*it == -1) {
  409. *it = 0;
  410. }
  411. }
  412. }
  413. void dint(typename common::DoubleTime::type t)
  414. {
  415. mark_full(t);
  416. if (full_N()) {
  417. raz();
  418. }
  419. compute();
  420. }
  421. typename common::DoubleTime::type start(
  422. typename common::DoubleTime::type t)
  423. {
  424. heights = { 0, 0, 0, 0, 0 };
  425. speeds = { 0.21, 0.3, 0.7, 0.56, 0.14 };
  426. scales = { 1, 1, 1, 1, 1 };
  427. _last_time = t;
  428. return 0;
  429. }
  430. typename common::DoubleTime::type ta(
  431. typename common::DoubleTime::type /* t */) const
  432. { return 1; }
  433. common::Bag < common::DoubleTime > lambda(
  434. typename common::DoubleTime::type t) const
  435. {
  436. if (full()) {
  437. std::cout << (t - _last_time) << " ";
  438. // display_full();
  439. }
  440. return common::Bag < common::DoubleTime >();
  441. }
  442. private:
  443. std::vector < double > heights;
  444. std::vector < double > speeds;
  445. std::vector < double > scales;
  446. typename common::DoubleTime::type _last_time;
  447. };
  448. } } } // namespace paradevs tests pdevs
  449. #endif