АРБИТРАЖНЫЙ ПОДХОД К УПРАВЛЕНИЮ ИЗБЫТОЧНОСТЬЮ КОМПЛЕКСА БОРТОВОГО ОБОРУДОВАНИЯ НА ОСНОВЕ СУПЕРВИЗОРОВ КОНФИГУРАЦИЙ

Θεματικοί όροι: onboard equipment complex, redundant resource, reconfiguration, redundancy management, супервизор конфигурации, реконфигурирование, управление избыточностью, комплекс бортового оборудования, парный арбитраж, configuration supervisor, paired arbitration, избыточный ресурс

Component-based Systems Reconfigurations Using Graph Grammars ; Реконфигурирование компонентно-ориентированных систем на базе графовых грамматик

Συγγραφείς: O. Kouchnarenko, J.-F. Weber, О. Б. Кушнаренко, Ж.-Ф. Вебер

Πηγή: Modeling and Analysis of Information Systems; Том 23, № 6 (2016); 804-825 ; Моделирование и анализ информационных систем; Том 23, № 6 (2016); 804-825 ; 2313-5417 ; 1818-1015

Θεματικοί όροι: GROOVE, dynamic reconfigurations, consistency, simulation relation, implementation, динамическое реконфигурирование, непротиворечивость, соответствие, реализация

Περιγραφή αρχείου: application/pdf

Relation: https://www.mais-journal.ru/jour/article/view/416/375; De Lemos R., Giese H., MuЁller H. A., Shaw M., Andersson J., Litoiu M., Schmerl B., Tamura G., Villegas N. M., Vogel T., et al., “Software engineering for self-adaptive systems: A second research roadmap”, Software Engineering for Self-Adaptive Systems II, 2013, 1– 32.; Dwyer M. B., Avrunin G. S., Corbett J. C., “Patterns in property specifications for finite- state verification”, Proceedings of the 1999 International Conference on, Software Engineering, 1999, 411–420.; Dormoy J., Kouchnarenko O., Lanoix A., “Runtime verification of temporal patterns for dynamic reconfigurations of components”, LNCS, 7253, eds. Arbab F., OЁlveczky P., Springer, Berlin Heidelberg, 2012, 115–132.; Trentelman K., Huisman M., “Extending JML specifications with temporal logic”, Algebraic Methodology and Software Technology, 2002, 334–348.; Kouchnarenko O., Weber J. F., “Adapting component-based systems at runtime via policies with temporal patterns”, LNCS, 8348, eds. Fiadeiro J. L., Liu Z., Xue J., Springer, 2014, 234–253.; Kouchnarenko O., Weber J. F., “Decentralised evaluation of temporal patterns over component-based systems at runtime”, LNCS, 8997, eds. Lanese I., Madelaine E., Springer, 2015, 108–126.; Lanoix A., Dormoy J., Kouchnarenko O., “Combining proof and model-checking to validate reconfigurable architectures”, ENTCS, 279 (2011), 43–57.; Dijkstra E. W., “Guarded commands, nondeterminacy and formal derivation of programs”, Communications of the ACM, 18 (1975), 453–457.; Ghamarian A.H., de Mol M., Rensink A., Zambon E., Zimakova M., “Modelling and analysis using GROOVE”, J. on Software Tools for Technology Transfer, 14 (2012), 15–40.; Bruneton E., Coupaye T., Leclercq M., Queґma V., Stefani J. B., “The fractal component model and its support in java”, Softw., Pract. Exper., 36 (2006), 1257–1284.; Schneider S., Treharne H., “Csp theorems for communicating b machines”, Formal Asp. Comput., 17 (2005), 390–422.; Seinturier L., Merle P., Rouvoy R., Romero D., Schiavoni V., Stefani J.B., “A component-based middleware platform for reconfigurable service-oriented architectures”, Software: Practice and Experience, 42 (2012), 559–583.; Dormoy J., Kouchnarenko O., Lanoix A., “Using temporal logic for dynamic reconfigurations of components”, LNCS, 6921, eds. Barbosa L., Lumpe M., Springer, Berlin Heidelberg, 2012, 200–217.; Hamilton A. G., Logic for mathematicians, Cambridge University Press, Cambridge, 1978.; Hoare C. A. R., “An axiomatic basis for computer programming”, Communications of the ACM, 12 (1969), 576–580.; Milner R., Communication and concurrency, Prentice-Hall, Inc., 1989.; Ma X., Baresi L., Ghezzi C., Panzica La Manna V., Lu J., “Version-consistent dynamic reconfiguration of component-based distributed systems”, ACM, Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, 2011, 245–255.; Boyer F., Gruber O., Pous D., “Robust reconfigurations of component assemblies”, Int. Conf. on Software Engineering (ICSE ’13, Piscataway), 2013, 13–22.; Kramer J., Magee J., “The evolving philosophers problem: Dynamic change management”, Software Engineering, IEEE Transactions, 16 (1990), 1293–1306.; Vandewoude Y., Ebraert P., Berbers Y., D’Hondt T., “Tranquility: A low disruptive alternative to quiescence for ensuring safe dynamic updates”, Software Engineering, IEEE Transactions, 33 (2007), 856–868.; Le Metayer D., “Describing software architecture styles using graph grammars”, IEEE Transactions on Software Engineering, 24 (1998), 521–533.; KaЁhkoЁnen K., Lampinen J., Heljanko K., NiemelaЁ I., “The lime interface specification language and runtime monitoring tool”, Int. Wshop on Runtime Verification, RV’09, LNCS, 5779, eds. Bensalem S., Peled D.A., Springer, Berlin Heidelberg, 2009, 93–100.

Διαθεσιμότητα: https://www.mais-journal.ru/jour/article/view/416
https://doi.org/10.18255/1818-1015-2016-6-804-825

REALIZATION OF RELATIONAL INTERROGATORIES DEVICES FOR MONITORING IN FPGA BASIS

Πηγή: МОДЕЛИРОВАНИЕ, ОПТИМИЗАЦИЯ И ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ. 7:8-9

Θεματικοί όροι: порядковая логика, automatic control, relational device, реконфигурирование, reconfiguring, 004.031.6, автоматический контроль, ПЛИС, реляторное устройство, встроенные устройства, функциональная диагностика, ordinal logic, functional diagnostics, FPGA, embedded device

МЕТОДИКА ПОСТРОЕНИЯ СИСТЕМ РЕКОНФИГУРИРОВАНИЯ ТЕХНИЧЕСКИМИ ОБЪЕКТАМИ

Συγγραφείς: Шестопалов, Михаил

Θεματικοί όροι: РЕКОНФИГУРИРОВАНИЕ СИСТЕМ, ОТКАЗОУСТОЙЧИВЫЕ СИСТЕМЫ УПРАВЛЕНИЯ, ГЛУБИНА ДИАГНОСТИРОВАНИЯ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/metodika-postroeniya-sistem-rekonfigurirovaniya-tehnicheskimi-obektami
http://cyberleninka.ru/article_covers/14353603.png

МОДЕЛЬ ОРГАНИЗАЦИИ РАСПРЕДЕЛЕННЫХ ВЫЧИСЛЕНИЙ В УСЛОВИЯХ ДЕГРАДАЦИИ ВЫЧИСЛИТЕЛЬНОЙ СТРУКТУРЫ

Συγγραφείς: Шушаков, А.

Θεματικοί όροι: ЖИВУЧЕСТЬ.,ДЕСТРУКТИВНЫЕ ВОЗДЕЙСТВИЯ,РЕКОНФИГУРИРОВАНИЕ ВЫЧИСЛИТЕЛЬНОЙ СТРУКТУРЫ,ИНФОРМАЦИОННО-ТЕЛЕКОММУНИКАЦИОННАЯ СИСТЕМА,SURVIVABILITY.,DESTRUCTIVE IMPACT,RECONFIGURATION OF CALCULATING SYSTEM,INFORMATIONAL AND TELECOMMUNICATIONAL SYSTEM

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/model-organizatsii-raspredelennyh-vychisleniy-v-usloviyah-degradatsii-vychislitelnoy-struktury
http://cyberleninka.ru/article_covers/15247941.png

МЕТОДИКА ОЦЕНКИ КЛИЕНТОВ ТОРГОВОЙ ФИРМЫ НА ОСНОВЕ ОПТИМАЛЬНОЙ РЕНТАБЕЛЬНОСТИ ЗАПАСА

Συγγραφείς: Добронравин, Е.

Θεματικοί όροι: ЦЕПЬ ПОЛЕЗНОСТИ, ЛОГИСТИЧЕСКАЯ ЦЕПЬ, ЛОГИСТИЧЕСКАЯ РЕНТАБЕЛЬНОСТЬ АКТИВОВ, СТРАТЕГИЧЕСКОЕ ПЛАНИРОВАНИЕ, КЛИЕНТСКАЯ БАЗА, ЭЛЕМЕНТЫ ЛОГИСТИЧЕСКОЙ СИСТЕМЫ, РЕКОНФИГУРИРОВАНИЕ, ПОСТРОЕНИЕ ЛОГИСТИЧЕСКОЙ СИСТЕМЫ, ИМИТАЦИОННАЯ МОДЕЛЬ, МОДЕЛЬ ТОРГОВОЙ ФИРМЫ, МЕТОД ЭЛИМИНИРОВАНИЯ, CLIENTS" BASE, ELEMENTS OF LOGISTICS'' SYSTEM, LOGISTICS'' SYSTEM

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/metodika-otsenki-klientov-torgovoy-firmy-na-osnove-optimalnoy-rentabelnosti-zapasa
http://cyberleninka.ru/article_covers/14635603.png

Реконфигурирование однородной вычислительной структуры с непрограммируемыми ячейками для решения дифференциальных уравнений в частных производных

Συγγραφείς: Хамухин, Александр Анатольевич

Πηγή: Известия Томского политехнического университета

Θεματικοί όροι: однородные вычислительные структуры, ячейки, реконфигурирование, параллельные вычисления, дифференциальное уравнение в частных производных, разностные сетки, приращение переменной

Περιγραφή αρχείου: application/pdf

Relation: Известия Томского политехнического университета [Известия ТПУ]. 2010. Т. 316, № 5: Управление, вычислительная техника и информатика; http://earchive.tpu.ru/handle/11683/3168

Διαθεσιμότητα: http://earchive.tpu.ru/handle/11683/3168

РЕКОНФИГУРИРОВАНИЕ ОДНОРОДНОЙ ВЫЧИСЛИТЕЛЬНОЙ СТРУКТУРЫ С НЕПРОГРАММИРУЕМЫМИ ЯЧЕЙКАМИ ДЛЯ РЕШЕНИЯ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ В ЧАСТНЫХ ПРОИЗВОДНЫХ

Συγγραφείς: Хамухин, Александр

Θεματικοί όροι: ячейка однородной вычислительной структуры, реконфигурирование, параллельные вычисления, дифференциальное уравне ние в частных производных, разностная сетка, приращение переменной, the cell of homogeneous computing structure, reconfiguration, parallel computation, partial differential equations, finite-differential meshes, increment of variable

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/rekonfigurirovanie-odnorodnoy-vychislitelnoy-struktury-s-neprogrammiruemymi-yacheykami-dlya-resheniya-differentsialnyh-uravneniy-v
http://cyberleninka.ru/article_covers/4663223.png

Реконфигурирование однородной вычислительной структуры с непрограммируемыми ячейками для решения дифференциальных уравнений в частных производных

Πηγή: Известия Томского политехнического университета

Θεματικοί όροι: однородные вычислительные структуры, разностные сетки, дифференциальное уравнение в частных производных, приращение переменной, реконфигурирование, ячейки, параллельные вычисления

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://earchive.tpu.ru/handle/11683/3168

Модель организации распределенных вычислений в условиях деградации вычислительной структуры

Πηγή: Современные проблемы науки и образования.

Θεματικοί όροι: ЖИВУЧЕСТЬ., ДЕСТРУКТИВНЫЕ ВОЗДЕЙСТВИЯ, РЕКОНФИГУРИРОВАНИЕ ВЫЧИСЛИТЕЛЬНОЙ СТРУКТУРЫ, ИНФОРМАЦИОННО-ТЕЛЕКОММУНИКАЦИОННАЯ СИСТЕМА, SURVIVABILITY

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/model-organizatsii-raspredelennyh-vychisleniy-v-usloviyah-degradatsii-vychislitelnoy-struktury
http://cyberleninka.ru/article_covers/15247941.png

Методика оценки клиентов торговой фирмы на основе оптимальной рентабельности запаса

Πηγή: Экономика образования.

Θεματικοί όροι: ЦЕПЬ ПОЛЕЗНОСТИ, ЛОГИСТИЧЕСКАЯ ЦЕПЬ, ЛОГИСТИЧЕСКАЯ РЕНТАБЕЛЬНОСТЬ АКТИВОВ, СТРАТЕГИЧЕСКОЕ ПЛАНИРОВАНИЕ, КЛИЕНТСКАЯ БАЗА, ЭЛЕМЕНТЫ ЛОГИСТИЧЕСКОЙ СИСТЕМЫ, РЕКОНФИГУРИРОВАНИЕ, ПОСТРОЕНИЕ ЛОГИСТИЧЕСКОЙ СИСТЕМЫ, ИМИТАЦИОННАЯ МОДЕЛЬ, МОДЕЛЬ ТОРГОВОЙ ФИРМЫ, МЕТОД ЭЛИМИНИРОВАНИЯ, CLIENTS' BASE, ELEMENTS OF LOGISTICS' SYSTEM, LOGISTICS' SYSTEM

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/metodika-otsenki-klientov-torgovoy-firmy-na-osnove-optimalnoy-rentabelnosti-zapasa
http://cyberleninka.ru/article_covers/14635603.png

Реконфигурирование однородной вычислительной структуры с непрограммируемыми ячейками для решения дифференциальных уравнений в частных производных

Πηγή: Известия Томского политехнического университета.

Θεματικοί όροι: ячейка однородной вычислительной структуры, реконфигурирование, параллельные вычисления, дифференциальное уравне ние в частных производных, разностная сетка, приращение переменной

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/rekonfigurirovanie-odnorodnoy-vychislitelnoy-struktury-s-neprogrammiruemymi-yacheykami-dlya-resheniya-differentsialnyh-uravneniy-v
http://cyberleninka.ru/article_covers/4663223.png

Методы и средства оценки технической безопасности и расчёта параметров эффективности тестирования и реконфигурации многопроцессорных систем управления

Συγγραφείς: Мораведж Сейед Милад

Συνεισφορές: Романкевич, Виталий Алексеевич, Национальный технический университет Украины "Киевский политехнический институт", системного программирования и специализированых компьютерных систем

Θεματικοί όροι: багатопроцесорні системи, відмовостійкість, реконфігурування, взаємотестування процесорів, керований генератор псевдовипадкових векторів, надійність складних систем, ймовірність безвідмовної роботи, многопроцессорные системы, отказоустойчивость, реконфигурирование, взаимное тестирование процессоров, управляемый генератор псевдослучайных векторов, надежность сложных систем, вероятность безотказной работы, multiprocessor systems, fault-tolerance, reconfiguration, processors’ mutual testing, controlled generator of pseudo-random vectors, reliability of complex systems, faultless operation probability, 004.05

Περιγραφή αρχείου: 164 л.; application/msword

Relation: Мораведж Сейед Милад. Методы и средства оценки технической безопасности и расчёта параметров эффективности тестирования и реконфигурации многопроцессорных систем управления : дисс. . канд. техн. наук. - 05.13.05 – компьютерные системы и компоненты / Мораведж Сейед Милад. - К., 2012. - 164 л. + CD-ROM; https://ela.kpi.ua/handle/123456789/3211

Διαθεσιμότητα: https://ela.kpi.ua/handle/123456789/3211