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

Ольга Юріївна Сердюк

Анотація


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


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


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

Повний текст:

PDF

Посилання


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


Пристатейна бібліографія ГОСТ


Lutsenko, I. Definition of efficiency indicator and study of its main function as an optimization criterion [Text] / I. Lutsenko // Eastern-European Journal of Enterprise Technologies. – 2016. – Vol. 6, Issue 2 (84). – P. 24–32. doi: 10.15587/1729-4061.2016.85453 

Пашко, А. О. Експертна система прийняття рішень з нечіткою логікою для оцінки технічного стану об’єктів будівництва [Teкст]: міжнар. наук. конф. / А. О. Пашко, С. А. Теренчук, Б. М. Єременко // Інтелектуальні системи прийняття рішень та проблеми обчислювального інтелекту. – 2016. – С. 213–215.

Липаев, В. В. Обеспечение качества программных средств. Методы и стандарты [Teкст] / В. В. Липаев. – М.: СИНТЕГ, 2001. – 380 с.

Lutsenko, I. Development of the method for testing of efficiency criterion of models of simple target operations [Text] / I. Lutsenko, E. Vihrova, E. Fomovskaya, O. Serduik // Eastern-European Journal of Enterprise Technologies. – 2016. – Vol. 2, Issue 4 (80). – P. 42–50. doi: 10.15587/1729-4061.2016.66307 

Lutsenko, I. Formal signs determination of efficiency assessment indicators for the operation with the distributed parameters [Text] / I. Lutsenko, E. Fomovskaya, I. Oksanych, E. Vikhrova, О. Serdiuk // Eastern-European Journal of Enterprise Technologies. – 2017. – Vol. 1, Issue 4 (85). – P. 24–30. doi: 10.15587/1729-4061.2017.91025 

Lutsenko, I. Development of system operations models hierarchy on the aggregating sign of system mechanisms [Text] / I. Lutsenko, E. Fomovskaya, E. Vihrova, O. Serdiuk // Eastern-European Journal of Enterprise Technologies. – 2016. – Vol. 3, Issue 2 (81). – P. 39–46. doi: 10.15587/1729-4061.2016.71494 

Камкин, А. С. Cредства функциональной верификации микропроцессоров [Teкст] / А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов // Труды Института системного программирования РАН. – 2014. – № 1 (26). – C. 149–199.

Model Driven Architecture (MDA) [Electronic resource]. – Document number ormsc/2001-07-01. – 2001. – 31 р. – Available at: http://www.omg.org/cgi-bin/doc?ormsc/2001-07-01

Jain, H. VCEGAR: Verilog CounterExample Guided Abstraction Refinement [Text] / H. Jain, D. Kroening, N. Sharygina, E. Clarke // Lecture Notes in Computer Science. – 2007. – P. 583–586. doi: 10.1007/978-3-540-71209-1_45 

Lam, W. K. Hardware Design Verification: Simulation and Formal Method-Based Approaches [Text] / W. K. Lam. – Prentice Hall, 2005. – 624 p.

Литвинов, В. В. Формальная верификация диаграммы классов [Teкст] / В. В. Литвинов, И. В. Богдан // Математические машины и системы. – 2013. – № 2. – С. 41–47.

Буч, Г. UML. Классика CS [Teкст] / Г. Буч, А. Якобсон, Дж. Рамбо. – 2-е изд. – СПб.: Питер, 2006. – 736 с.

Цирлин, А. М. Оптимальное управление технологическими процессами [Teкст] / А. М. Цирлин. – M.: Энергоатомиздат, 1986. – 400 с.

Демчук, О. В. Прибыль и рентабельность предприятия: сущность, показатели и пути повышения [Teкст] / О. В. Демчук, С. Г. Арефьева // Проблемы экономики и менеджмента. – 2015. – № 8 (48). – С. 6–9.

Луценко, И. А. Разработка динамической модели экономической операции [Teкст] / И. А. Луценко, О. Ю. Сердюк, О. В. Фомовська // Научные исследования. – 2016. – С. 77–87.

Lutsenko, I. Identification of target system operations. The practice of determining the optimal control [Text] / I. Lutsenko, E. Fomovskaya // Eastern-European Journal of Enterprise Technologies. – 2015. – Vol. 6, Issue 2 (78). – P. 30–36. doi: 10.15587/1729-4061.2015.54432 

Lutsenko, I. Identification of target system operations. Determination of the value of the complex costs of the target operation [Text] / I. Lutsenko // Eastern-European Journal of Enterprise Technologies. – 2015. – Vol. 1, Issue 2 (73). – P. 31–36. doi: 10.15587/1729-4061.2015.35950 



Посилання

  • Поки немає зовнішніх посилань.




Copyright (c) 2017 Ольга Юріївна Сердюк

Creative Commons License
Ця робота ліцензована Creative Commons Attribution 4.0 International License.

ISSN 2411-2828 (Online), ISSN 2411-2798 (Print)