DEFINITION OF THE COEFFICIENTS OF THE MATHEMATICAL MODEL OF QUALITY MANAGEMENT OF TRAINING BY THE METHOD OF LINEAR PROGRAMMING

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

Θεματικοί όροι: linear integer programming, Lauler-Bell method, системы управления, 4. Education, метод Лаулера-Белла, training quality management, проблемно-ориентированные компоненты, information model, линейное целочисленное программирование, problem-oriented components, информационная модель, management systems, управления качеством обучения

A combined method for verification of large-scale data models

Συγγραφείς: V. A. Semenov, S. V. Morozov, D. V. Ilyin

Πηγή: Труды Института системного программирования РАН, Vol 26, Iss 2, Pp 197-230 (2018)

Θεματικοί όροι: верификация моделей, объектно-ориентированное моделирование, uml/ocl, express, логическое программирование в ограничениях, линейное целочисленное программирование, семантическая реконсиляция, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/797; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Σύνδεσμος πρόσβασης: https://doaj.org/article/74d912d277834b8da7ff0fa662539bb9

Нестационарная задача управления маршрутом транспортного средства

Συγγραφείς: Бронштейн, Ефим, Давлетбаев, Арвид

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

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

Διαθεσιμότητα: http://cyberleninka.ru/article/n/nestatsionarnaya-zadacha-upravleniya-marshrutom-transportnogo-sredstva
http://cyberleninka.ru/article_covers/15580278.png

КОМБИНИРОВАННЫЙ МЕТОД ВЕРИФИКАЦИИ МАСШТАБНЫХ МОДЕЛЕЙ ДАННЫХ

Συγγραφείς: Семенов, В., Морозов, С., Ильин, Д.

Θεματικοί όροι: ВЕРИФИКАЦИЯ МОДЕЛЕЙ, ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ МОДЕЛИРОВАНИЕ, UML/OCL, ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ В ОГРАНИЧЕНИЯХ, ЛИНЕЙНОЕ ЦЕЛОЧИСЛЕННОЕ ПРОГРАММИРОВАНИЕ, СЕМАНТИЧЕСКАЯ РЕКОНСИЛЯЦИЯ

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

Διαθεσιμότητα: http://cyberleninka.ru/article/n/kombinirovannyy-metod-verifikatsii-masshtabnyh-modeley-dannyh
http://cyberleninka.ru/article_covers/15574472.png

Линейное целочисленное декодирование псевдослучайных кодов на основе метода отсечений Гомори ; Лінійне цілочисельне декодування псевдовипадкових кодів на основі методу відсікань Гоморі ; Integer linear decoding of pseudorandom codes based on the method of Gomory’s cutting plane

Συγγραφείς: С.Г. Рассомахин, С.Г. Рассомахін, S.G. Rassomakhin

Πηγή: Системи обробки інформації. — 2011. — № 5(95). 93-98 ; Системы обработки информации. — 2011. — № 5(95). 93-98 ; Information Processing Systems. — 2011. — № 5(95). 93-98 ; 1681-7710

Θεματικοί όροι: Обробка інформації в складних технічних системах, УДК 621.37:621.391, псевдослучайные коды, амплитудно-фазовая модуляция, линейное целочисленное программирование, симплекс-метод, правило Гомори, псевдовипадкові коди, амплитудно-фазова модуляція, лінійне цілочисельне програмування, правило Гоморі, pseudorandom codes, amplitude-phase modulation, linear integer programming, symplex-method, Gomory's rule

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

Relation: http://www.hups.mil.gov.ua/periodic-app/article/8586/soi_2011_5_20.pdf; http://www.hups.mil.gov.ua/periodic-app/article/8586

Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/8586

Восстановление закономерности по результатам пассивного эксперимента с ограниченным набором данных

Συγγραφείς: Павлов, А. А., Штанькевич, А. С.

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

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

Relation: Павлов А. А. Восстановление закономерности по результатам пассивного эксперимента с ограниченным набором данных / А. А. Павлов, А. С. Штанькевич // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Системный анализ, управление и информационные технологии. – Харьков : НТУ "ХПИ", 2009. – № 4. – С. 160-168.; http://repository.kpi.kharkov.ua/handle/KhPI-Press/29728

Διαθεσιμότητα: http://repository.kpi.kharkov.ua/handle/KhPI-Press/29728

Комбинированный метод верификации масштабных моделей данных

Πηγή: Труды Института системного программирования РАН.

Θεματικοί όροι: 0202 electrical engineering, electronic engineering, information engineering, ВЕРИФИКАЦИЯ МОДЕЛЕЙ, ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ МОДЕЛИРОВАНИЕ, UML/OCL, ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ В ОГРАНИЧЕНИЯХ, ЛИНЕЙНОЕ ЦЕЛОЧИСЛЕННОЕ ПРОГРАММИРОВАНИЕ, СЕМАНТИЧЕСКАЯ РЕКОНСИЛЯЦИЯ, 02 engineering and technology

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

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/15574472.png
http://cyberleninka.ru/article/n/kombinirovannyy-metod-verifikatsii-masshtabnyh-modeley-dannyh

Нестационарная задача управления маршрутом транспортного средства

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

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

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

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/nestatsionarnaya-zadacha-upravleniya-marshrutom-transportnogo-sredstva
http://cyberleninka.ru/article_covers/15580278.png