Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество задач и упражнений для самостоя…
Управление распределенными системами, которые невозможно постоянно наблюдать визуально, обычно ведется через формирование виртуальных моделей таких систем. Моделей, обеспечивающих как выработку управляющих воздействий, так и управление их реализацией. Анализ показывает, что в доинформационную эпоху такие модели формировались в нематериальном виде, на основе логико-аналитических рассуждений управле…
Рассмотрены средства индивидуальной защиты органов дыхания, органов зрения, органов слуха, а также изолирующие костюмы и специальная одежда.
An introduction to child psychiatry which draws on clinical experience as well as the latest research findings. Child Psychiatry includes many practical tips on successful assessment and treatment techniques. Its companion website features over 200 multiple choice questions and answers to assist those preparing for examinations, including MRCPsych Written in an accessible style by international ex…
«Гений среди людей» – произведение великого русского и советского ученого Константина Эдуардовича Циолковского (1857-1935). *** Человек освоил множество различных профессий, но так и не нашел ответа на вопрос о существовании внеземных цивилизаций во Вселенной… Другими произведениями автора являются «Вне Земли», «Воля вселенной», «Живые существа в космосе», «На Луне», «Неизвестные разумные силы», «…
В статье обсуждаются некоторые результаты, полученные в процессе решения задачи оценки перспективности крупных инновационных мультипроектов по выпуску новой металлопродукции. В процессе решения разработаны методы прогнозирования производственных показателей предприятий, участвующих в реализации мультипроектов. Такие результаты имеют значение для развития экономико-математических и инструментальных…
Рассматривается система индексации серверов на базе протокола FTP. В статье описан набор функционала для индексации файлов и поисковой системы. Подробно рассмотрены основные проблемы, встречающиеся при обработке ответов на запросы по протоколу FTP и методы их решения. Несмотря на эволюцию файловых хранилищ, прошедшую за 34 года после создания протокола FTP, проблема индексации остается актуальной …
В статье представлена система имитационного моделирования Айвика (англ. Aivika), где особое внимание уделяется модулю распределенного моделирования, реализующего оптимистичный метод деформации времени. Показано, как в распределенной имитации можно использовать основные парадигмы дискретно-событийного моделирования, в частности, процесс-ориентированную парадигму. Также представлено, как в такой ими…
В учебном пособии рассматриваются основные этапы разработки программных продуктов с позиции системного подхода в рамках каскадной модели. Цели разработки на каждом этапе определены в соответствии с требованиями профессиональных стандартов. В соответствии с целями спроектирована индивидуальная и командная работа на каждом этапе, сформулированы критерии оценки, приведены образцы выполнения работы, п…
Изложены методы автоматизированного проектирования умножителей частоты на диодах с накоплением заряда, работающих в полосе частот, в сосредоточенном и распределенном (сосредоточенно-распределенном) геометрическом элементном базисе. Рассмотрены примеры проектирования топологии умножителя частоты на диоде с накоплением заряда. Предназначено для закрепления знаний по соответствующим дисциплинам и пол…
Пособие дает общее представление об организации эксплуатационной работы предприятий городского электротранспорта и последовательности расчета основных ее характеристик. В работе приведены краткие сведения о проектировании эксплуатационных предприятий городского электрического транспорта, а также рассмотрен расчет показателей надежности и анализа деятельности предприятия на основе контрольных карт …
An authoritative introduction to the roles of switching and transmission in broadband integrated services networks Principles of Broadband Switching and Networking explains the design and analysis of switch architectures suitable for broadband integrated services networks, emphasizing packet-switched interconnection networks with distributed routing algorithms. The text examines the mathematical p…
Журнал «Бассейны и сауны» – популярное издание, посвященное вопросам проектирования, строительства, оборудования и дизайна бассейнов, саун, бань, веллнесс- и спа-зон. Представленные в журнале материалы охватывают большой тематический диапазон: от конструктивных особенностей чаш бассейнов, саун, гидромассажных бассейнов и ванн, специального оборудования для бассейнов и саун до отделочных материалов…
Журнал «Бассейны и сауны» – популярное издание, посвященное вопросам проектирования, строительства, оборудования и дизайна бассейнов, саун, бань, веллнесс- и спа-зон. Представленные в журнале материалы охватывают большой тематический диапазон: от конструктивных особенностей чаш бассейнов, саун, гидромассажных бассейнов и ванн, специального оборудования для бассейнов и саун до отделочных материалов…
Журнал «Бассейны и сауны» – популярное издание, посвященное вопросам проектирования, строительства, оборудования и дизайна бассейнов, саун, бань, веллнесс- и спа-зон. Представленные в журнале материалы охватывают большой тематический диапазон: от конструктивных особенностей чаш бассейнов, саун, гидромассажных бассейнов и ванн, специального оборудования для бассейнов и саун до отделочных материалов…