Preview

Моделирование и анализ информационных систем

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 26, № 4 (2019) Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский
"... истинности условия, можно сосредоточиться на доказательстве его ложности. Ранее нами был разработан способ ..."
 
Том 26, № 4 (2019) Доказательство свойств дискретных функций с помощью дедуктивного доказательства: приложение к квадратному корню Аннотация  похожие документы
Васил Тодоров, Сафуан Таха, Фредерик Буланже, Армандо Эрнандес
"... доказательств в их развитие может помочь обеспечить выполнение свойств безопасности и получить эффективный ..."
 
Том 26, № 2 (2019) К вопросу использования «полезных» задач для обеспечения работой блокчейн систем Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Мурин, Владимир Николаевич Князев
 
Том 25, № 4 (2018) О некоторых подходах к решению задачи «Useful Proof-of-work for blockchains» Аннотация  PDF (Rus)  похожие документы
Валерий Георгиевич Дурнев, Дмитрий Михайлович Мурин, Валерий Анатольевич Соколов, Дмитрий Юрьевич Чалый
"... Технология блокчейн основана на принципе доказательства работой «Proof-ofwork». Суть данного ..."
 
Том 19, № 6 (2012) Дедуктивная верификация протокола скользящего окна Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Шкляев, Валерий Александрович Непомнящий
"... передачу данных по ненадёжным каналам. Формальное доказательство корректности этого протокола требует ..."
 
Том 17, № 4 (2010) Об исчислении позитивно-образованных формул для автоматического доказательства теорем Аннотация  PDF (Rus)  похожие документы
А. В. Давыдов, А. А. Ларионов, Е. А. Черкашин
"... связок языка. Рассматривается логическое исчисление JF и полные стратегии автоматического поиска выводов ..."
 
Том 20, № 3 (2013) Самоорганизация, сети, будущее Аннотация  PDF (Rus)  похожие документы
Георгий Геннадьевич Малинецкий, Татьяна Сергеевна Ахромеева, Сергей Александрович Посашков, Светлана Аркадьевна Торопыгина
"... пространстве знаний, информации, поведенческих стратегий. Одной из целей конференции было «сложить» сетевое ..."
 
Том 19, № 3 (2012) Синергетика — от прошлого к будущему Аннотация  PDF (Rus)  похожие документы
Георгий Геннадьевич Малинецкий
 
1 - 8 из 8 результатов

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)