Розробка інформаційної технології верифікації показників оптимізації періодичних операційних процесів та виявлення прогностичних властивостей верифікованих показників
Ключові слова:
методи верифікації показників, прогностичні властивості показника, критерій оптимізації, інформаційна технологіяАнотація
В роботі представлено інформаційну технологію верифікації показників оптимізації простих операцій та її реалізацію у програмному продукті EF Expert. Для вирішення поставленого завдання створено шість обмежених класів простих моделей операцій, кожен з яких призначений для виявлення певної властивості показника оцінювання. Реалізовано процедуру верифікації показників оцінювання, структура яких відповідає формальним ознакам простої моделі операції. У результаті дослідження виявлено додаткову формальну ознаку оціночного показника, що забезпечує його прогностичні властивості.
Посилання
Lutsenko, I. (2016). Definition of efficiency indicator and study of its main function as an optimization criterion. Eastern-European Journal of Enterprise Technologies, 6 (2 (84)), 24–32. doi: 10.15587/1729-4061.2016.85453
Pashko, A. O., Terenchuk, S. A., Yeremenko, B. M. (2016). Ekspertna systema pryiniattia rishen z nechitkoiu lohikoiu dlia otsinky tekhnichnoho stanu obiektiv budivnytstva. Intelektualni systemy pryiniattia rishen ta problemy obchysliuvalnoho intelektu, 213–215.
Lipaev, V. V. (2001). Obespechenie kachestva programmnyh sredstv. Metody i standarty. Moscow: SINTEG, 380.
Lutsenko, I., Vihrova, E., Fomovskaya, E., Serduik, O. (2016). Development of the method for testing of efficiency criterion of models of simple target operations. Eastern-European Journal of Enterprise Technologies, 2 (4 (80)), 42–50. doi: 10.15587/1729-4061.2016.66307
Lutsenko, I., Fomovskaya, E., Oksanych, I., Vikhrova, E., Serdiuk, О. (2017). Formal signs determination of efficiency assessment indicators for the operation with the distributed parameters. Eastern-European Journal of Enterprise Technologies, 1 (4 (85)), 24–30. doi: 10.15587/1729-4061.2017.91025
Lutsenko, I., Fomovskaya, E., Vihrova, E., Serdiuk, O. (2016). Development of system operations models hierarchy on the aggregating sign of system mechanisms. Eastern-European Journal of Enterprise Technologies, 3 (2 (81)), 39–46. doi: 10.15587/1729-4061.2016.71494
Kamkin, A. S., Kocynyak, A. M., Smolov, S. A., Tatarnikov, A. D., Chupilko, M. M., Sortov, A. A. (2014). Credstva funkcional'noj verifikacii mikroprocessorov. Trudy Instituta sistemnogo programmirovaniya RAN, 1 (26), 149–199.
Model Driven Architecture (MDA) (2001). Document number ormsc/2001-07-01, 31. Available at: http://www.omg.org/cgi-bin/doc?ormsc/2001-07-01
Jain, H., Kroening, D., Sharygina, N., Clarke, E. (2007). VCEGAR: Verilog CounterExample Guided Abstraction Refinement. Lecture Notes in Computer Science, 583–586. doi: 10.1007/978-3-540-71209-1_45
Lam, W. K. (2005). Hardware Design Verification: Simulation and Formal Method-Based Approaches. Prentice Hall, 624.
Litvinov, V. V., Bogdan, I. V. (2013). Formal'naya verifikaciya diagrammy klassov. Matematicheskie mashiny i sistemy, 2, 41–47.
Buch, G., Yakobson, A., Rambo, Dzh. (2006). UML. Klassika CS. Sankr-Peterburg Piter, 736.
Cirlin, A. M. (1986). Optimal'noe upravlenie tekhnologicheskimi processami. Moscow: Ehnergoatomizdat, 400.
Demchuk, O. V., Aref'eva, S. G. (2015). Pribyl' i rentabel'nost' predpriyatiya: sushchnost', pokazateli i puti povysheniya. Problemy ehkonomiki i menedzhmenta, 8 (48), 6–9.
Lucenko, I. A., Serdyuk, O. Yu., Fomovs'ka, O. V. (2016). Razrabotka dinamicheskoi modeli ehkonomicheskoi operacii. Nauchnye issledovaniya, 77–87.
Lutsenko, I., Fomovskaya, E. (2015). Identification of target system operations. The practice of determining the optimal control. Eastern-European Journal of Enterprise Technologies, 6 (2 (78)), 30–36. doi: 10.15587/1729-4061.2015.54432
Lutsenko, I. (2015). Identification of target system operations. Determination of the value of the complex costs of the target operation. Eastern-European Journal of Enterprise Technologies, 1 (2 (73)), 31–36. doi: 10.15587/1729-4061.2015.35950
##submission.downloads##
Опубліковано
Номер
Розділ
Ліцензія
Авторське право (c) 2017 Ольга Юріївна Сердюк
Ця робота ліцензується відповідно до Creative Commons Attribution 4.0 International License.
