SCI Библиотека

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

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

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

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

Учебное пособие разработано в соответствии с ФГОС ВО. Содержит основные сведения о теоретических и практических аспектах контроля достоверности заявленного кода. Раскрыты вопросы, связанные с контролем достоверности заявленного кода товара. Предназначено для обучающихся по специальности 38.05.02 - Таможенное дело, также может быть полезно всем интересующимся вопросами контроля достоверности заявленного кода.

The manual is developed in accordance with the GEF in. It contains basic information on customs code accuracy control. The issues related to the customs code accuracy control are revealed. The manual is intended for students in the specialty 38.05.02 - Customs, and can be useful for everyone interested in customs code accuracy control.

Учебное пособие содержит подборку заданий для проведения контрольных
и самостоятельных работ по разделу дискретной математики: логика высказы-
ваний, булева алгебра. Приведены необходимые теоретические сведения и при-
меры решения задач, содержится большой набор задач для самостоятельного
решения. Большое внимание уделено принципам строения математических тео-
рий и доказательства математических теорем.
Пособие предназначено для студентов направлений 01.03.02 «Прикладная
математика и информатика», 01.03.04 «Прикладная математика», 02.03.01 «Ма-
тематика и компьютерные науки».

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

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

Цель. Проведен анализ процессов деградации КМОП микросхем при воздействии ионизирующего излучения, в котором рассмотрены три процесса дефектообразования в МОП структуре на границе Si-SiO2. Методы. На примере тестовых логических элементов проанализирована зависимость времени условного отказа по быстродействию от мощности дозы гамма-излучения. Результаты. Определен критический дефект на границе Si-SiO2. Заключение. Предлагаемый в статье подход позволяет определить причины отказа КМОП микросхем. Представлен результат расчета времени отказа для трех значений мощности дозы.

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

В первом разделе (главы 1–4) рассмотрен ряд вопросов теории точных матриц. Сформулировано генеральное неравенство для средних величин, в том числе установлены иерархические инварианты для спектрально положительной матрицы. Выражены в явном виде собственные проекторы и квазиобратные матрицы – через коэффициенты характеристического многочлена. Идентифицирован минимальный аннулирующий многочлен. Изучены параметры сингулярности матриц и связанные с ними неравенства. Определены нуль-простые и нуль-нормальные сингулярные матрицы.

Во втором разделе (главы 5–12) развита тензорная тригонометрия в аффинной и метрической формах. Определены бинарные угловые и модульные характеристики линейных объектов. Построена квазиевклидова и псевдоевклидова тензорная тригонометрия в трёх видах: проективная, рефлективная и моторная (последняя – ротационная или деформационная). Установлен тригонометрический спектр нуль-простой матрицы, на основе которого получены генеральные нормирующие синусное и косинусное неравенства. Определены квадратичные нормы матриц.

В Приложении тензорная тригонометрия в своих элементарных формах используется для изучения движений в неевклидовых геометриях и в теории относительности. Для суммирования в них двух и многоступенчатых движений (скоростей) применено полярное представление тригонометрических ротаций. Закону суммирования движений (скоростей) придана генеральная матричная форма. Реализована гиперболическая формализация эйнштейнова замедления времени и лоренцева сокращения протяжённости как следствий ротационного и деформационного преобразований координат. Даны формулы вычисления и тригонометрическая интерпретация особой ортосферической ротации (буста). Предложены тригонометрические модели для релятивистской кинематики и динамики материальной точки в

Учебное пособие разработано в соответствии с ФГОС ВО. Содержит теоретические основы по общим вопросам теории управления и по отдельным технологиям управления таможенной деятельности. Предназначено для обучающихся по специальности 38.05.02 - Таможенное дело, также может быть полезно для преподавателей и должностных лиц таможенных органов.

The manual is developed in accordance with the GEF IN. Contains theoretical foundations on general issues of control theory and on individual technologies of customs management. Designed for students in the specialty 38.05.02 - Customs, it can also be useful for teachers and officials of customs authorities.

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

Цель. Предложить методологический подход к обеспечению функциональной надежности производства на основе использования SMART-документов в условиях импортонезависимости технологических процессов цифрового формата. Методы. Развитие прикладных возможностей использования теории надежности и методов построения информационных систем определило построение методологических положений алгоритмизации применения SMART-стандартов как средств минимизации функциональных сбоев и отказов в производственных процессах. В качестве инструментов машиноинтерпретируемого представления стандартов рассмотрены цифровые модели технологических линий. Предлагаемая форма нормативных документов ориентирована на переход от машиночитаемых данных к машинопонимаемому контенту. Результаты. Использование предлагаемых методов систематизации контента в стандартизации производственных процессов показывает, что одним из ключевых методологических положений в обеспечении однозначности интерпретации нормативных требований является каталогизация технологических данных на основе стандартизации характеристик процессов обмена информацией в цифровой форме. В специализированных проектах часто используется не полный нормативный документ, а его отдельные положения. В этом случае для машинопонимаемости разрабатываемого контента предлагается использовать специальные идентификаторы, например, «абзац», «графический объект», «ячейка таблицы». Введение таких средств идентификации позволит формировать класс SMART-стандартов, собирающих в единый документ положения по обеспечению штатных результатов при разнородных средствах реализации технологического процесса. Публикации, созданные с помощью интеллектуальной обработки содержания SMART-документов, рассматриваются как контейнеры структурированных и неструктурированных данных, учитывающие условия реализации конкретного проекта. Существующая динамика спроса на современную продукцию часто определяет допустимость ее промышленного выпуска на различных предприятиях с параллельным применением уникальных технологий. Условия такой организации накладывает свои ограничения на сопоставимость разнородных требований к производственным процессам, поэтому представление результатов организационных, конструктивных и технологических решений предлагается унифицировать, используя термин «актив производственной системы». Введение в цифровом формате относительных оценок результатов является эффективным механизмом обеспечения согласованности управления. В этой связи повышается важность единства нормативного обеспечения как базы таких оценок. В качестве одного из решений проблемы минимизации сбоев и отказов в технологических линиях предложено создание ситуационного центра с системой поддержки принятия решений на основе данных комплекса нормативных документов с унифицированными требованиями к активам производственной системы. Опыт формирования нормативного обеспечения индустрии 4.0 дан в обзоре серий стандартов ISА на цифровые производства. Показано, что благодаря введению SMART-стандартов повышается устойчивость взаимодействия между информационными системами, повышается функциональная надежность работы технологических линий. Введение в средства машинопонимаемости контента положений, регламентирующих использование алгоритмов разработки, редактирования и экспертизы проектов нормативных документов, является важным фактором обеспечения функциональной надежности выпуска продукции. Заключение. Изложенный подход ориентирован на методологию разработки стандартов, учитывающих требования из различных предметных областей. В условиях формирования импортонезависимости производства рассмотрены возможности минимизации сбоев и отказов в технологических процессах цифрового формата вследствие использования нормативной базы, неэквивалентной положениям международных документов, и учитывающей специфику отечественных производственных систем.