|
ГЛАВНАЯ
> Вернуться к содержанию
Программные системы и вычислительные методы
Правильная ссылка на статью:
Н.П. Вашкевич, В.Н. Дубинин
Вопросы разработки операционной семантики функциональных блоков 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
Ссылка на эту статью
Просто выделите и скопируйте ссылку на эту статью в буфер обмена. Вы можете также
попробовать найти похожие
статьи
|
|