Розробка інформаційної технології верифікації показників оптимізації періодичних операційних процесів та виявлення прогностичних властивостей верифікованих показників

Автор(и)

  • Ольга Юріївна Сердюк Криворізький національний університет вул. Віталія Матусевича,11, м. Кривий Ріг, Україна, 50027, Україна

Ключові слова:

методи верифікації показників, прогностичні властивості показника, критерій оптимізації, інформаційна технологія

Анотація

В роботі представлено інформаційну технологію верифікації показників оптимізації простих операцій та її реалізацію у програмному продукті EF Expert. Для вирішення поставленого завдання створено шість обмежених класів простих моделей операцій, кожен з яких призначений для виявлення певної властивості показника оцінювання. Реалізовано процедуру верифікації показників оцінювання, структура яких відповідає формальним ознакам простої моделі операції. У результаті дослідження виявлено додаткову формальну ознаку оціночного показника, що забезпечує його прогностичні властивості. 

Біографія автора

Ольга Юріївна Сердюк, Криворізький національний університет вул. Віталія Матусевича,11, м. Кривий Ріг, Україна, 50027

аспірант

Кафедра комп’ютерних систем та мереж

Посилання

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##

Опубліковано

2017-09-06

Номер

Розділ

Автоматизація та управління механіко-технологічними системами та комплексами