519.7Математическая кибернетика. Теория управляющих систем. Теория автоматов. Математическая теория информации. Теория кодов. Математические вопросы семиотики
← назад

Свободный доступ

Ограниченный доступ

Уточняется продление лицензии
Журнал адресован широкому кругу специалистов, работа и интересы которых связаны с вопросами управления в технических, организационных, социально-экономических, экологических и медико-биологических системах, разработчикам систем управления и средств автоматизации, преподавателям, аспирантам и студентам вузов.
В журнале публикуются статьи по теории и практике управления, в которых излагаются принципы и методы решения управленческих задач на основе современных методов моделирования с учетом нестабильного поведения окружающей среды, с учетом ограниченной исходной информации и противоречивости целей, слабой структуризации и наличия многих критериев, т. е. таких задач, которые наиболее часто встречаются в реальной жизни.
Проблемы управления : Научно-технический журнал .— 2004 .— №3 .— 88 с. — URL: https://lib.rucont.ru/efd
Предпросмотр: Проблемы управления №3 2004.pdf (0,1 Мб)
Журнал является периодическим научным изданием, которое содержит публикации в форме статей и кратких сообщений по основным направлениям научно- исследовательской работы факульета ВМиК МГУ: вычислительным методам прикладной математики и математическому моделированию, исследованию операций и математическим методам прогнозирования, приложениям теории вероятностей и математической статистики, математическим методам исследования нелинейных управляющих систем и процессов, теории и методам системного программирования, программному и математическому обеспечению вычислительных машин и сетей
последних сформировался слой буржуазии, выбиравшей муниципалитет и Сенат города, от них зависело все управление <...> и участия в исследовательских проектах в сфере методологии науки, методики преподавания, истории и теории <...> структурной организации произведений искусства; взаимосвязь традиций и инноваций в искусстве; • связь теории <...> искусства с практикой; деятельность ведущих искусствоведов, внесших большой вклад в развитие истории и теории
Предпросмотр: Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика №2 2012.pdf (0,2 Мб)
Журнал адресован широкому кругу специалистов, работа и интересы которых связаны с вопросами управления в технических, организационных, социально-экономических, экологических и медико-биологических системах, разработчикам систем управления и средств автоматизации, преподавателям, аспирантам и студентам вузов.
В журнале публикуются статьи по теории и практике управления, в которых излагаются принципы и методы решения управленческих задач на основе современных методов моделирования с учетом нестабильного поведения окружающей среды, с учетом ограниченной исходной информации и противоречивости целей, слабой структуризации и наличия многих критериев, т. е. таких задач, которые наиболее часто встречаются в реальной жизни.
Проблемы управления : Научно-технический журнал .— 2006 .— №1 .— 84 с. — URL: https://lib.rucont.ru/efd
Предпросмотр: Проблемы управления №1 2006.pdf (0,2 Мб)
Журнал адресован широкому кругу специалистов, работа и интересы которых связаны с вопросами управления в технических, организационных, социально-экономических, экологических и медико-биологических системах, разработчикам систем управления и средств автоматизации, преподавателям, аспирантам и студентам вузов.
В журнале публикуются статьи по теории и практике управления, в которых излагаются принципы и методы решения управленческих задач на основе современных методов моделирования с учетом нестабильного поведения окружающей среды, с учетом ограниченной исходной информации и противоречивости целей, слабой структуризации и наличия многих критериев, т. е. таких задач, которые наиболее часто встречаются в реальной жизни.
Проблемы управления : Научно-технический журнал .— 2005 .— №4 .— 88 с. — URL: https://lib.rucont.ru/efd
Предпросмотр: Проблемы управления №4 2005.pdf (0,1 Мб)
Журнал адресован широкому кругу специалистов, работа и интересы которых связаны с вопросами управления в технических, организационных, социально-экономических, экологических и медико-биологических системах, разработчикам систем управления и средств автоматизации, преподавателям, аспирантам и студентам вузов.
В журнале публикуются статьи по теории и практике управления, в которых излагаются принципы и методы решения управленческих задач на основе современных методов моделирования с учетом нестабильного поведения окружающей среды, с учетом ограниченной исходной информации и противоречивости целей, слабой структуризации и наличия многих критериев, т. е. таких задач, которые наиболее часто встречаются в реальной жизни.
Проблемы управления : Научно-технический журнал .— 2004 .— №4 .— 102 с. — URL: https://lib.rucont.ru/
Предпросмотр: Проблемы управления №4 2004.pdf (0,3 Мб)
Журнал адресован широкому кругу специалистов, работа и интересы которых связаны с вопросами управления в технических, организационных, социально-экономических, экологических и медико-биологических системах, разработчикам систем управления и средств автоматизации, преподавателям, аспирантам и студентам вузов.
В журнале публикуются статьи по теории и практике управления, в которых излагаются принципы и методы решения управленческих задач на основе современных методов моделирования с учетом нестабильного поведения окружающей среды, с учетом ограниченной исходной информации и противоречивости целей, слабой структуризации и наличия многих критериев, т. е. таких задач, которые наиболее часто встречаются в реальной жизни.
Проблемы управления : Научно-технический журнал .— 2005 .— №3 .— 84 с. — URL: https://lib.rucont.ru/efd
Предпросмотр: Проблемы управления №3 2005.pdf (0,2 Мб)
Журнал адресован широкому кругу специалистов, работа и интересы которых связаны с вопросами управления в технических, организационных, социально-экономических, экологических и медико-биологических системах, разработчикам систем управления и средств автоматизации, преподавателям, аспирантам и студентам вузов.
В журнале публикуются статьи по теории и практике управления, в которых излагаются принципы и методы решения управленческих задач на основе современных методов моделирования с учетом нестабильного поведения окружающей среды, с учетом ограниченной исходной информации и противоречивости целей, слабой структуризации и наличия многих критериев, т. е. таких задач, которые наиболее часто встречаются в реальной жизни.
Проблемы управления : Научно-технический журнал .— 2007 .— №2 .— 96 с. — URL: https://lib.rucont.ru/efd
Предпросмотр: Проблемы управления №2 2007.pdf (0,6 Мб)
Журнал адресован широкому кругу специалистов, работа и интересы которых связаны с вопросами управления в технических, организационных, социально-экономических, экологических и медико-биологических системах, разработчикам систем управления и средств автоматизации, преподавателям, аспирантам и студентам вузов.
В журнале публикуются статьи по теории и практике управления, в которых излагаются принципы и методы решения управленческих задач на основе современных методов моделирования с учетом нестабильного поведения окружающей среды, с учетом ограниченной исходной информации и противоречивости целей, слабой структуризации и наличия многих критериев, т. е. таких задач, которые наиболее часто встречаются в реальной жизни.
Проблемы управления : Научно-технический журнал .— 2005 .— №6 .— 92 с. — URL: https://lib.rucont.ru/efd
Предпросмотр: Проблемы управления №6 2005.pdf (0,4 Мб)
Автор: Алымова Е. В.
Ростов н/Д.: Изд-во ЮФУ
Cодержит полное и систематическое изложение материала, входящего в учебную программу курса «Теория конечных автоматов и формальных языков», изучаемых студентами специальности «Фундаментальная информатика и информационные технологии» Института математики, механики и компьютерных наук Южного федерального университета. Последовательно рассматриваются следующие темы: способы задания и распознавания формальных языков, регулярные языки, конечные автоматы, автоматы со спонтанными переходами, свойства регулярных языков, контекстно-свободные языки, нормальные формы контекстно-свободных языков, автоматы с магазинной памятью. Содержит упражнения и варианты индивидуальных заданий.
-2397-9 Cодержит полное и систематическое изложение материала, входящего в учебную программу курса «Теория <...> Целью изучения дисциплины «Теория конечных автоматов и формальных языков» является выработка у студентов <...> Настоящий учебник содержит систематическое изложение значительной части материала курса «Теория конечных <...> Полезным, однако, является хорошее освоение материала курсов математическая логики и теории алгоритмов <...> Далее мы будем использовать некоторые стандартные понятия теории графов: (ориентированное!)
Предпросмотр: Конечные автоматы и формальные языки.pdf (0,5 Мб)
Журнал адресован широкому кругу специалистов, работа и интересы которых связаны с вопросами управления в технических, организационных, социально-экономических, экологических и медико-биологических системах, разработчикам систем управления и средств автоматизации, преподавателям, аспирантам и студентам вузов.
В журнале публикуются статьи по теории и практике управления, в которых излагаются принципы и методы решения управленческих задач на основе современных методов моделирования с учетом нестабильного поведения окружающей среды, с учетом ограниченной исходной информации и противоречивости целей, слабой структуризации и наличия многих критериев, т. е. таких задач, которые наиболее часто встречаются в реальной жизни.
Проблемы управления : Научно-технический журнал .— 2006 .— №2 .— 100 с. — URL: https://lib.rucont.ru/
Предпросмотр: Проблемы управления №2 2006.pdf (0,3 Мб)
Автор: Вялый
Изучена задача линейной классификации четности перестановочных матриц. Эта задача связана с анализом сложности класса алгоритмов вычисления перманента матрицы, обобщающего алгоритм знаков Кастелейна. Получены экспоненциальные нижние оценки для величины коэффициентов функционала, классифицирующего четные и нечетные перестановочные матрицы, в случае поля действительных чисел, и аналогичные линейные нижние оценки на ранг классифицирующего отображения в случае поля характеристики 2. Библ. 10. Фиг. 2
В теории корректирующих кодов известна граница Хэмминга: верхняя оценка на размерность линейного кода <...> ускоряется методом подкрутки, представляет интересную открытую проблему на стыке аддитивной комбинаторики и теории <...> Комбинаторная теория. М.: Мир, 1982. 4. Arora S., Barak B.
Автор: Касим-Заде
Для всех бесконечных базисов найдены оценки схемной глубины всех булевых функций с точностью до небольшой аддитивной постоянной.
Основы аналитической теории чисел. 2-е изд. М.: Наука, 1983. 5. Виноградов И.М. <...> Метод тригонометрических сумм в теории чисел. 2-е изд. М.: Наука, 1980.
Автор: Касим-Заде
Для всех бесконечных базисов найдены оценки схемной глубины всех булевых функций с точностью до небольшой аддитивной постоянной.
Основы аналитической теории чисел. 2-е изд. М.: Наука, 1983. 5. Виноградов И.М. <...> Метод тригонометрических сумм в теории чисел. 2-е изд. М.: Наука, 1980.
М.: Изд-во МГТУ им. Н.Э. Баумана
Рассмотрен один из методов расчета количественных параметров надежности приборов и систем ориентации, стабилизации и навигации в процессе выполнения домашнего задания на основе статистического моделирования работы сложной системы при заданных характеристиках работоспособности элементов, из которых состоит система и времени наработки. Приведены необходимые сведения для изучения терминологии, связанной с методикой статистического моделирования систем. Описаны основные этапы моделирования и правила, принятые при построении моделей функционирования систем. Представлен пример алгоритма программы моделирования.
моделирование надежности работы системы на ЭВМ : метод. указания к выполнению домашнего задания по курсу «Теория <...> МОДЕЛИРОВАНИЕ НАДЕЖНОСТИ РАБОТЫ СИСТЕМЫ НА ЭВМ Методические указания к выполнению домашнего задания по курсу «Теория
Предпросмотр: Статическое моделирование надежности работы системы на ЭВМ.pdf (0,1 Мб)
Автор: Комбаров
Рассматривается реализация линейной булевой функции схемами из функциональных элементов в базисе, состоящем из единственного функционального элемента - штриха Шеффера. Найдено точное значение сложности реализации неоднородной линейной функции, а также дано описание всех минимальных схем, реализующих линейную функцию.
“Дискретные модели в теории управляющих систем” (Москва, 6–9 апреля 2009 г.). <...> В настоящей работе мы приводим простое доказательство этой теоремы, которое использует идеи теории Фоменко
Журнал является периодическим научным изданием, которое содержит публикации в форме статей и кратких сообщений по основным направлениям научно- исследовательской работы факульета ВМиК МГУ: вычислительным методам прикладной математики и математическому моделированию, исследованию операций и математическим методам прогнозирования, приложениям теории вероятностей и математической статистики, математическим методам исследования нелинейных управляющих систем и процессов, теории и методам системного программирования, программному и математическому обеспечению вычислительных машин и сетей
моделированию прикладных задач, исследованию операций и математическимметодампрогнозирования,приложениям теории <...> математи ческойстатистики,математическимметодамисследованиянелинейныхуправляющихсистем и процессов, теории
Предпросмотр: Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика №3 2017.pdf (0,2 Мб)
Журнал является периодическим научным изданием, которое содержит публикации в форме статей и кратких сообщений по основным направлениям научно- исследовательской работы факульета ВМиК МГУ: вычислительным методам прикладной математики и математическому моделированию, исследованию операций и математическим методам прогнозирования, приложениям теории вероятностей и математической статистики, математическим методам исследования нелинейных управляющих систем и процессов, теории и методам системного программирования, программному и математическому обеспечению вычислительных машин и сетей
математическому моделированию, исследованию операций и математическим методам прогнозирования, приложениям теории <...> математической статистики, математическим методам исследования нелинейных управляющих систем и процессов, теории
Предпросмотр: Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика №4 2017.pdf (0,2 Мб)
Автор: Утробин
Рассмотрены архитектурные аспекты организации сетчатки глазного яблока с позиций теории активного восприятия. Исследуются свойства системы “сетчатка — центр” в целом. Приводятся варианты структурной и функциональной организации сетчатки
Утробин Рассìотрены архитектурные аспекты орãанизаöии сет÷атки ãëазноãо ябëока с позиöий теории активноãо <...> Утробин Рассìотрены способы орãанизаöии поëя реöепторов сет÷атки ãëазноãо ябëока с позиöий теории активноãо
Журнал является периодическим научным изданием, которое содержит публикации в форме статей и кратких сообщений по основным направлениям научно- исследовательской работы факульета ВМиК МГУ: вычислительным методам прикладной математики и математическому моделированию, исследованию операций и математическим методам прогнозирования, приложениям теории вероятностей и математической статистики, математическим методам исследования нелинейных управляющих систем и процессов, теории и методам системного программирования, программному и математическому обеспечению вычислительных машин и сетей
математическому моделированию, исследованию операций и математическим методам прогнозирования, приложениям теории <...> математической статистики, математическим методам исследования нелинейных управляющих систем и процессов, теории
Предпросмотр: Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика №1 2016.pdf (0,1 Мб)
Журнал является периодическим научным изданием, которое содержит публикации в форме статей и кратких сообщений по основным направлениям научно- исследовательской работы факульета ВМиК МГУ: вычислительным методам прикладной математики и математическому моделированию, исследованию операций и математическим методам прогнозирования, приложениям теории вероятностей и математической статистики, математическим методам исследования нелинейных управляющих систем и процессов, теории и методам системного программирования, программному и математическому обеспечению вычислительных машин и сетей
математическому моделированию, исследованию операций и математическим методам прогнозирования, приложениям теории <...> математической статистики, математическим методам исследования нелинейных управляющих систем и процессов, теории
Предпросмотр: Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика №4 2016.pdf (0,3 Мб)
Журнал является периодическим научным изданием, которое содержит публикации в форме статей и кратких сообщений по основным направлениям научно- исследовательской работы факульета ВМиК МГУ: вычислительным методам прикладной математики и математическому моделированию, исследованию операций и математическим методам прогнозирования, приложениям теории вероятностей и математической статистики, математическим методам исследования нелинейных управляющих систем и процессов, теории и методам системного программирования, программному и математическому обеспечению вычислительных машин и сетей
математическому моделированию, исследованию операций и математическим методам прогнозиро вания, приложениям теории <...> математической статистики, математическим методам иссле дования нелинейных управляющих систем и процессов, теории
Предпросмотр: Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика №2 2011.pdf (0,2 Мб)
Журнал является периодическим научным изданием, которое содержит публикации в форме статей и кратких сообщений по основным направлениям научно- исследовательской работы факульета ВМиК МГУ: вычислительным методам прикладной математики и математическому моделированию, исследованию операций и математическим методам прогнозирования, приложениям теории вероятностей и математической статистики, математическим методам исследования нелинейных управляющих систем и процессов, теории и методам системного программирования, программному и математическому обеспечению вычислительных машин и сетей
математическому моделированию, исследованию операций и математическим методам прогнозирования, приложениям теории <...> математической статистики, математическим методам исследования нелинейных управляющих систем и процессов, теории
Предпросмотр: Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика №3 2018.pdf (0,2 Мб)
Журнал адресован широкому кругу специалистов, работа и интересы которых связаны с вопросами управления в технических, организационных, социально-экономических, экологических и медико-биологических системах, разработчикам систем управления и средств автоматизации, преподавателям, аспирантам и студентам вузов.
В журнале публикуются статьи по теории и практике управления, в которых излагаются принципы и методы решения управленческих задач на основе современных методов моделирования с учетом нестабильного поведения окружающей среды, с учетом ограниченной исходной информации и противоречивости целей, слабой структуризации и наличия многих критериев, т. е. таких задач, которые наиболее часто встречаются в реальной жизни.
Проблемы управления : Научно-технический журнал .— 2005 .— №5 .— 108 с. — URL: https://lib.rucont.ru/
Предпросмотр: Проблемы управления №5 2005.pdf (0,2 Мб)
Автор: Горячий
Предлагается алгоритм построения t-устойчивых булевых отображений, основанный на общих подходах Пасалика–Майтры и Камиона–Канте с использованием специального класса алгебро-геометрических кодов типа кодов Рида–Соломона на плоских проективных кривых над конечными полями. Исследуется зависимость характеристик устойчивости и степени нелинейности получающихся булевых отображений от выбираемых помехоустойчивых кодов, вырабатываются общие практические рекомендации по использованию того или иного кода, производится сравнение характеристик некоторых построенных отображений с известными ранее примерами.
(i) следует из ограничения n u 2m 1 на параметры конструируемого отображения и хорошо известной из теории <...> Булевы функции в теории кодирования и криптологии. М., 2004. 470 c. 2. Biham E., Shamir A.
Автор: Мунасыпов Наиль Амирович
ООО "Агентство Пресса"
Учебное пособие содержит основные теоретические положения и алгоритмы решения задач линейного программирования, проиллюстрированные численными примерами. Пособие предназначено студентам высших учебных заведений, изучающим математическое программирование, исследование операций, методы оптимизации, финансовую математику, экономико-математическое моделирование, и может оказать большую пользу всем, кто интересуется вопросами прикладной математики и приложениями математических методов в экономике.
Впоследствии за вклад в теорию оптимального распределения ресурсов в 1975 году Канторовичу и американскому <...> Важность и ценность теории линейного программирования состоит в том, что в совершенно различных областях <...> Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис» 17 Замечания. 1) В теории линейного программирования <...> В теории линейного программирования доказано, что если ЗЛП имеет оптимальное конечное решение, то оно <...> Теория, методы и приложения. – М.: Наука, 1969. – 424 с.
Предпросмотр: ЛИНЕЙНОЕ ПРОГРАММИРОВАНИЕ.pdf (0,5 Мб)
Журнал является периодическим научным изданием, которое содержит публикации в форме статей и кратких сообщений по основным направлениям научно- исследовательской работы факульета ВМиК МГУ: вычислительным методам прикладной математики и математическому моделированию, исследованию операций и математическим методам прогнозирования, приложениям теории вероятностей и математической статистики, математическим методам исследования нелинейных управляющих систем и процессов, теории и методам системного программирования, программному и математическому обеспечению вычислительных машин и сетей
моделированию прикладных задач, исследованию операций и математическим методам прогнозирования, приложениям теории <...> математической статистики, математическим методам исследования нелинейных управляющих систем и процессов, теории
Предпросмотр: Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика №1 2014.pdf (1,0 Мб)
Автор: Суворов
Рассматривается ситуация, когда в задаче распознавания на множестве объектов задано несколько различных полуметрик. Ставится и исследуется задача агрегирования расстояний на основе неразмеченной выборки. Иными словами, рассматривается задача сокращения размерности мультиметрических описаний без учителя. Указанная задача сводится к задаче аппроксимации исходных расстояний в форме оптимальной матричной факторизации с дополнительными метрическими ограничениями. Для точного решения поставленной задачи предлагается метод метрической неотрицательной матричной факторизации. По постановке задачи и процедуре решения метод для метрических данных является аналогом метода главных компонент для признаковых описаний. Доказывается, что добавление метрических требований не снижает качества аппроксимации. Работа метода демонстрируется на модельных и реальных данных. Библ. 30. Фиг. 3. Табл. 5
ВВЕДЕНИЕ Описания объектов, построенные на основе их попарного сравнения, все чаще используются как в теории <...> В теории распознавания важное место занимает информационная модель алгоритмов вычисления оценок, предложенная
Автор: Чуличков
Исследуется возможность оценивания значения функции в заданных точках ее области определения по измерениям конечного числа ее линейных функционалов; измерения сопровождаются случайной погрешностью. Указано линейное конечномерное подпространство, проекция на которое поддается оценке с конечной погрешностью, дан метод оценивания этой проекции с контролем точности. Используется математический аппарат редукции измерений Ю. П. Пытьева. Приведен пример оценивания спектра излучения по данным измерения на двухщелевом спектрометре
Основы теории измерительно-вычислительных систем. Тамбов, 2000. 6. Пытьев Ю.П.
Автор: Деундяк
Организация защищенного документооборота является предметом данного исследования. Его цель — повышение надежности передачи данных. Задача работы — построение надежной модели организации защищенного документооборота с аутентификацией. Для решения указанной задачи применяется метод распределенной передачи данных, который позволяет за счет использования нескольких каналов значительно уменьшить вероятность несанкционированного доступа к информации и возможности ее модификации.
https://lib.rucont.ru/efd/376533 (дата обращения: 11.02.2024)Информатика, вычислительная техника и управление <...> государственного технического университета 2015, №4(83), 101-106 ИНФОРМАТИКА, ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА И УПРАВЛЕНИЕ <...> отправляCopyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис» Информатика, вычислительная техника и управление <...> CBC: Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис» Информатика, вычислительная техника и управление
Автор: Зорин Владимир Александрович
Представлены результаты структурных исследований капсулированного полимерного материала, используемого при сборке и ремонте резьбовых соединений. Рассмотрены свойства полимерных материалов, содержащих капсулированные наполнители, в зависимости от размера, распределения и количества частиц наполнителя
диаметре; До 35 мм в толщину Источник электронов Кристалл CeB6 Ускоряющее напряжение электронов 5 кВ Управление
Автор: Баурова
Приведен обзор различных методов неразрушающего контроля металлоконструкций. Подробно рассмотрены традиционные методы и наиболее перспективные разработки в этой области (использование интеллектуальных материалов)
профилактическом осмотре машин, поскольку они позволяют уточнить ТС машины, а также при диагностировании систем управления
[Б.и.]
Настоящий сборник контрольных заданий предназначен в помощь студентам специальности 150405.65 заочной формы обучения при изучении математики и выполнении контрольных работ во втором семестре. Сборник контрольных заданий содержит краткий теоретический материал и образцы решения задач по разделам математики: «Дифференциальное исчисление функций одной независимой переменной», «Дифференциальное исчисление функций нескольких переменных», «Интегральное исчисление функций одной независимой переменной», «Интегральное исчисление функций двух независимых переменных». Рабочей программой учебной дисциплины «Математика» предусмотрено 6 часов лекционных занятий и 4 часа практических занятий. На самостоятельную работу отводится 162 часа, в том числе для выполнения контрольных работ № 1, № 2 ( текущий контроль знаний).
Цели сборника контрольных заданий: управление процессом обучения, на основе оценки эффективности усвоения <...> Эпоха научно-технической революции есть эпоха математизации науки, техники, экономики и управления.
Предпросмотр: Математика. Часть II. Дифференциальное и интегральное исчисления сборник контрольных заданий.pdf (1,7 Мб)
Автор: Дубинин
М.: ПРОМЕДИА
Рассматриваются вопросы асинхронного моделирования NCES-сетей с помощью формализма, основанного на сетях Петри. Приводятся правила трансформации NCES-сетей в асинхронную модель. Предложенный метод демонстрируется на примере. Асинхронное моделирование рассматривается как шаг к формальной верификации NCES-сетей с помощью метода Model Checking.
Информатика, вычислительная техника 3 ИНФОРМАТИКА, ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА И УПРАВЛЕНИЕ УДК 519.715 В.
Журнал является периодическим научным изданием, которое содержит публикации в форме статей и кратких сообщений по основным направлениям научно- исследовательской работы факульета ВМиК МГУ: вычислительным методам прикладной математики и математическому моделированию, исследованию операций и математическим методам прогнозирования, приложениям теории вероятностей и математической статистики, математическим методам исследования нелинейных управляющих систем и процессов, теории и методам системного программирования, программному и математическому обеспечению вычислительных машин и сетей
Никольский НЕКОТОРЫЕ ЛИНЕЙНЫЕ ЗАДАЧИ УПРАВЛЕНИЯ 2 % $ %
Предпросмотр: Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика №1 2010.pdf (0,3 Мб)