Вопросы разработки  операционной семантики  функциональных блоков IEC 61499


	Программные системы и вычислительные методы Правильная ссылка на статью: Н.П. Вашкевич, В.Н. Дубинин Вопросы разработки операционной семантики функциональных блоков IEC 61499 // Программные системы и вычислительные методы. 2012. № 1. С. 10-16. URL: https://nbpublish.com/library_read_article.php?id=61562 Н.П. Вашкевич, В.Н. Дубинин Вопросы разработки операционной семантики функциональных блоков IEC 61499 Аннотация: В работе идентифицируется проблема определения формальной семантики функциональных блоков (ФБ) стандарта IEC 61499 и разрабатываются концептуальные основы для построения модели операционной семантики функциональных блоков на базе машин абстрактных состояний. Дается формальное определение нотации для представления операционной семантики ФБ, а также рассматриваются варианты функционально-структурной организации семантических моделей систем ФБ. Предложенная нотация может быть использована для определения операционной семантики систем ФБ, функционирующих в рамках циклической, последовательной, синхронной, а также других моделей выполнения. Ключевые слова: функциональный блок, стандарт IEC 61499, операционная семантика, машины абстрактных состояний. Abstract: The article contains the solution of all nine Olympiad tasks. The subjects of those tasks are related to the construction of rational data structures, integer arithmetic, computational geometry, graph computations, heuristics sele ction and extremes finding. An algorithm of finding the maximum bandwidth on graph edges for two nonintersecting paths if given. This algorithm with almost no change can be used to find two nonintersecting paths on a graph of minimum total cost. The article discloses a way to determine the possibility of a non-rotating separation of a flat geometric figure in a polygon shape cut. One of the problems has significantly increased the dimen sion of the source data com pared to the known problem. The article suggests a solution with two different ways of solving the task, depending on the dimension of the original data. The rest of the tasks are alike to well known, but require a different solution. Those are the problem of placing queens on the chessboard and the problem of optimum sawing lumber. Keywords: Software, international, olympaid, internet-olympaid, student, programming, informatics, problem, algorithm, solution Эта статья может быть бесплатно загружена в формате PDF для чтения. Обращаем ваше внимание на необходимость соблюдения авторских прав, указания библиографической ссылки на статью при цитировании. Скачать статью Библиография 1. Cengic, G. On Formal Analysis of IEC 61499 Applications, Part A: Modeling / G. Cengic, K. Åkesson // IEEE Transactions on Industrial Informatics. – 2010. – Vol. 6, No. 2. –P. 136-144. 2. Dubinin, V. On Definition of a Formal Semantic Model for IEC 61499 Function Blocks / V. Dubinin, V. Vyatkin // EURASIP Journal on Embedded Systems. – 2008. – Vol. 2008. – 10 p. 3. Glässer, U. Abstract State Machine Semantics of SDL / U. Glässer, R. Karges // Journal of Universal Computer Science. –1997. – Vol. 3, No. 12. – P. 1382-1414. 4. Gurevich, Y. Evolving Algebras 1993: Lipari Guide / Y. Gurevich // Specification and Validation Methods. – Oxford University Press, 1995. – P.9-36. 5. International Standard IEC 61499. Function blocks for industrial-process measurement and control systems. Part 1: Architecture / International Electrotechnical Commission. – Geneva, 2005. – 111 p. 6. Mosses, P. D. Formal Semantics of Programming Languages: An Overview / P. D. Mosses // Electronic Notes in Theoretical Computer Science. – 2006. – Vol. 148, Issue 1. – P. 41–73. 7. Вашкевич, Н.П. Формализованное описание последовательной модели выпол-нения функциональных блоков / Н.П. Вашкевич, В.Н. Дубинин, В.В. Вяткин // Меж-вуз. сб. науч. тр. "Вычислительные системы и технологии обработки информации". –2011. – Выпуск 10. - С. 45-61. 8. Дубинин, В.Н. Операционная семантика синхронных функциональных блоков IEC 61499 на основе машин абстрактных состояний, Часть 1: Модель диспетчеров / В.Н. Дубинин, В.В. Вяткин // XXI век: итоги прошлого и проблемы настоящего Плюс. – 2012. – Вып. 4. – С. 233-240. 9. Дубинин, В.Н. Операционная семантика синхронных функциональных блоков IEC 61499 на основе машин абстрактных состояний, Часть 2: Модели блоков и представление в SMV / В.Н. Дубинин, В.В. Вяткин // Труды Международной науч.-техн. конф. “Современные информационные технологии”. – Пенза, 2011. – Вып.14 – С. 94-100. 10. References 1. Men'shikov, F. V. Olimpiadnye zadachi po programmirovaniyu / F. V. Men'shikov. – SPb.: Piter, 2003. – 315 s. 2. Porublev, I. N. Algoritmy i programmy. Reshenie olimpiadnykh zadach / I. N. Porublev, A. B. Stavrovskiy. – M.: Izd. dom «Vil'yams», 2007. –480 s. 3. Skiena, S. S. Olimpiadnye zadachi po programmirovaniyu. Rukovodstvo po podgotovke k sorevnovaniyam / S. S. Skiena, M. A. Revilla. – M.: KUDITs-OBRAZ, 2005. – 416 s. 4. http://24forums.ru/forum/topic_768. 5. http://e-maxx.ru/algo/segment_tree. 6. http://queens.cspea.co.uk/csp-q-1stsols.html. 7. http://ru.wikipedia.org/wiki/Dvoichnyy poisk

Журналы

Книги

Н.П. Вашкевич, В.Н. Дубинин Вопросы разработки операционной семантики функциональных блоков IEC 61499