Библиотека

Монография посвящена 100-летнему юбилею 16 ЦНИИИ МО РФ — старейшему военному институту в нашей стране. На основе глубокого ретроспективного анализа деятельности института убедительно показана значимость научных исследований в создании новых систем и средств военной связи. Автор монографии, ветеран института, представил портреты многих военных ученых-связистов.

Книга будет полезной для сотрудников и ветеранов военных НИИ, вузов, а также специалистов в области телекоммуникационных технологий. 

Монография посвящена истории создания в России Системы обмена данными для автоматизированного управления Вооруженными Силами страны, которая и сегодня является важнейшим компонентом системы военной связи. Показан масштаб этой проблемы и вклад в ее решение научных организаций Министерства Обороны и военно-промышленного комплекса СССР. Особое внимание уделено вопросам организации выполнения этого крупного оборонного проекта и роли в нем ведущих военных специалистов и конструкторов оборонной промышленности. В монографии рассматриваются также и современные проблемы цифровой трансформации общества в России. Показано, что использование отечественного опыта реализации крупных оборонных проектов является сегодня крайне важным и необходимым.

Книга предназначается для специалистов оборонного профиля, преподавателей, студентов и аспирантов военных учебных заведений и читателей, интересующихся историей развития оборонного комплекса нашей страны.

Монография посвящена уникальной истории Научного Совета при Президиуме Академии наук по фундаментальным проблемам связи с глубокопогруженными объектами. Созданный более 40 лет назад по инициативе Военно-Морского Флота Научный Совет продолжает активную научную деятельность в интересах обеспечения стратегической стабильности России на море. Огромный вклад в создание и функционирование Научного Совета внес выдающийся советский и российский ученый академик В. А. Котельников, который в течение 27 лет являлся его Председателем. В книге убедительно показано, как благодаря конструктивному сотрудничеству ученых, военных и промышленности был решен ряд многих научно-практических проблем обеспечения связи с глубокопогруженными объектами в интересах ВМФ. Книга представит большой интерес для ученых и специалистов в области связи, историков в области науки и военной связи, для учебных заведений, а также для ветеранов-связистов.

Эта книга была написана замечательным учёным-математиком А.С.Кронродом почти 40 лет тому назад, но публикуется впервые. Один из зачинателей программирования у нас в стране и основателей целой школы программирования, А.С.Кронрод в доступной и интересной форме обсуждает вопросы организации системного программирования, отладки программ и архитектуры ЭВМ. Значительная часть книги посвящена различным задачам искусственного интеллекта и использованию "интеллектуальных" подходов для решения вычислительных задач.

Книга будет интересна программистам, историкам науки и специалистам в области искуственного интеллекта.

В книге даётся полное изложение алгоритмического языка "Алгол-60", который отличается удобством, строгостью и обозримостью записанных на нём алгоритмов и программ. Автор переписал "Официальное сообщение об алголе" в форме, удобной для изучения, и составил синтаксические таблицы для справок.

Знание алгола необходимо всем, кто занимается вычислительной математикой и программированием. Во втором издании иероглифы алгола написаны по-английски.

Книга посвящена истории Казанского завода ЭВМ (КЗММ, КЗ ЭВМ, КПО ВС). Это история его руководителей и его коллектива. Данная книга - первое открытое издание о заводе. Её основная цель - правдиво рассказать и сохранить память о заводе и его тружениках. Она будет полезна всем, кто интересуется историей развития отечественного электронного машиностроения.

При подготовке книги были использованы материалы Национального архива РТ, заводской многотиражки «Авангард» и личные воспоминания заводчан.

Совет ветеранов КПО ВС благодарен руководству АО «ICL - КПО ВС», которое по существу является единственным продолжателем традиций завода (объединения) и на протяжении многих лет поддерживает деятельность Совета, в том числе и по изданию этой книги.

В книге кратко изложена история создания и деятельности ЕрНИИММ, одного из ведущих научно-исследовательских институтов Армении и Советского Союза в области разработки электронных вычислительных машин и автоматизированных систем управления. Основная цель автора - представить новым поколениям достижения ЕрНИИММ в советское время, менталитет и отношение к делу советских специалистов, государственный подход к работе, а также некоторые аспекты создания глобальной автоматизированной системы управления вооружёнными силами (АСУ ВС) СССР.

Одной из ключевых задач книги является представление основных разработчиков сотрудников ЕрНИИММ - людей, которые своим героическим трудом создавали новые вычислительные машины и системы. Благодаря их работе институт стал не только одним из ведущих научных центров Советского Союза, но и превратился в кузницу кадров в Армении.

В постсоветский период, в условиях независимости Республики Армения и перехода к капитализму, ЕрНИИММ утратил свой научно-технический потенциал и высокий рейтинг в области высоких технологий как внутри страны, так и за ее пределами.

Книга предназначена для широкого круга читателей, бывших сотрудников ЕрНИИММ, их друзей, родственников и потомков, всех тех, кто интересуется историей развития информационных технологий в Армении и ролью ЕрНИИММ в этой сфере.

Авторская редакция.

Шалыто Анатолий Абрамович - доктор технических наук, профессор, заведующий кафедрой "Технологии программирования" Санкт-Петербургского государственного университета информационных технологий, механики и оптики.

Лауреат премии Правтиельства РФ в области образования 2008 г. Предложил автоматное программирование (http://is.ifmo.ru) и инициативу "Сохраним в университетах лучших!" (www.savebest.ru)

В книге рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным методом. Математический аппарат и прикладные инструменты данной области позволяют создавать качественное программное обеспечение для ответственных систем и получать надежные подтверждения их правильности. Книга посвящена концепциям, алгоритмам и инструментам для проверки моделей программ. В ней излагаются теоретические вопросы проверки моделей, вводятся различные спецификационные формализмы и описываются алгоритмы проверки моделей для спецификаций, выраженных в этих формализмах. Алгоритмы проверки моделей демонстрируются на примерах конкретных инструментальных средств.

Данная книга предназначена для специалистов в области программирования, информатики, вычислительной техники и систем управления, а также студентов и аспирантов, обучающихся по специальностям «Прикладная математика и информатика», «Управление и информатика в технических системах» и «Вычислительные машины, системы, комплексы и сети». Предполагается знакомство читателя с основными понятиями математической логики, дискретной математики, теории графов и теории алгоритмов. Книга может быть использована в качестве учебного пособия.

В книге рассматривается автоматное программирование – подход к разработке программных систем со сложным поведением, основанный на модели автоматизированного объекта управления (расширении конечного автомата). Предлагаемый подход позволяет создавать качественное программное обеспечение для ответственных систем, охватывая все этапы его жизненного цикла и поддерживая его спецификацию, проектирование, реализацию, тестирование, верификацию и документирование.

Книга предназначена для специалистов в области программирования, информатики, вычислительной техники и систем управления, а также аспирантов и студентов, обучающихся по специальностям «Прикладная математика и информатика», «Управление и информатика в технических системах» и «Вычислительные машины, системы, комплексы и сети»