Библиотека

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Рекомендована научно-методическим советом по специальности 2101 "Управление и информатика в технических системах" в качестве учебного пособия для студентов высших учебных заведений, обучающихся по этой специальности.

Излагается технология алгоритмизации и программирования задач логического управления на основе теории автоматов. Центральным понятием разрабатываемого подхода является понятие "состояние". Обоснован выбор графов переходов в качестве языка спецификаций. Предложено использовать многозначное кодирование и конструкции, аналогичные конструкции switch языка СИ, для программной реализации автоматов. Применение пентады (состояние - независимость от глубокой предыстории - система взаимосвязанных графов переходов - многозначное кодирование - конструкция switch) обеспечивает наглядность, структурность, вызываемость, вложенность, иерархичность, управляемость и наблюдаемость программ, а также их изоморфизм (изобразительную эквивалентность) со спецификациями, по которым они формально строятся. Это позволяет Заказчику, Технологу (Проектанту), Разработчику, Программисту и Оператору однозначно понимать друг друга, разделять работу и ответственность, легко и корректно вносить изменения. Изложены методы программирования рассматриваемого класса задач на алгоритмических языках высокого уровня, ассемблерах, языках инструкций, функциональных и лестничных схем, используемых в промышленных (управляющих) компьютерах и программируемых логических контроллерах.

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

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

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

В книге описан творческий путь академика В.М. Глушкова по развитию искусственного интеллекта (ИИ) при решении математических задач с доказательством правильности, автоматического распознавания символов в текстах и машинным переводов На первой конференции по искусственному интеллекту были доклады по многим аспектам машинного перевода, построения формальных моделей и обучающихся систем. Описывается приезд в Киев Винера – первого создателя компьютера и построения интеллектуальных систем. В.М. Глушков поддержал идею Винера и начал развивать науку ИИ. 

Приводятся работы учеников и коллег В.М. Глушкова по ИИ, алгоритмам обучения, задания изображений, абстрактным автоматам, дискретным автоматам и др. 

Работы проводились на первых ЭВМ \ Киев, М-20, БЭСМ, Мир, Терем и др. Приводится концепция В.М.Глушкова по прогаммирования математических, Физических задач в ЯП и реализация програмных объектов (модулей, компонентов, сервисов) и их сблорки в системы решения задач. Прикладных облачтей знаний. Он первый высказал концепцию сборки бортовых систем в авиации, космосе, морфлоте , автомобильной и другой промышленности, а также построения АСУ ТП для разных областей знаний , промышленности и др. С помощью системы автоматизации программ –АПРОП, сделанной под руковоством В.М.Глушкова в рамках НИЦЭВТ (1975-1976) и ВПК (1977-1989) с участием Липаева В.В. (АРГОП, ПРОМЕТЕЙ, И др.).

Монография посвящена историческому этапу развития Санкт-Петербургского национального исследовательского университета информационных технологий, механики и оптики в период конца XX – начала XXI веков (1990-2011 гг.). В хронологической последовательности описываются события и достижения вуза этих лет, превращение института сначала в технический, а затем в национальный исследовательский университет

История учебного заведения от основания в 1900 до 90-х годов прошлого века была опубликована в первой книге настоящей серии в 2000 году

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