models.hpp 14 KB

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