МАТЕМАТИКА

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

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

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

Решается задача построения асимптотически оптимальных по надежности схем в базисе. Доказано, что любую булеву функцию f (x[1], x[2],..., x[n]), не равную x[i] (i = 1, 2,..., n) и константам 0 и 1, можно реализовать асимптотически оптимальной по надежности схемой, функционирующей с ненадежностью асимптотически равной [гамма{k}] при [гамма] стремится к 0. Функции x[i], i = 1, 2,..., n, можно реализовать абсолютно надежно, а константы 0 и 1 - схемами сколь угодно высокой надежности.

В работе рассмотрены вопросы использования реверсивных частично маркированных sNCES-сетей (RsNCES-сетей) в синтезе контроллеров безопасности для дискретно-событийных систем. К основным результатам работы относятся: расширенные sNCES-сети, включающие продукционные правила, для моделирования замкнутых систем, методы предотвращения разрешенных шагов в sNCES-сетях на основе конфигураций шагов в RsNCES-сетях с учетом взаимовлияния предотвращения шагов, а также метод построения предотвращающих правил на основе графа достижимости критических маркировок для RsNCES-сети.

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

Актуальность и цели. Геометрия гладких слоений является одним из основных объектов исследования в дифференциальной геометрии, имеющим многочисленные приложения, в частности в теоретической физике. Дифференциальные инварианты слоений изучались одним из авторов настоящей статьи методами, развитыми в работах А. Виноградова, Д. Алексеевского и В. Лычагина. Однако эти методы не предоставляют инвариантной формы записи дифференциальных уравнений изучаемых объектов, что создает определенные трудности при исследовании сложных дифференциально-геометрических структур. Цель исследования состоит в том, чтобы разработать универсальный подход к изучению слоений различной коразмерности. Материалы и методы. Используется метод внешних форм и подвижного репера, разработанный Эли Картаном и развитый в работах Г. Ф. Лаптева, А. М. Васильева и других геометров. В частности, Г. Ф. Лаптевым была построена инвариантная теория дифференцируемых отображений гладкого многообразия в многообразие большей размерности. В этой работе мы показываем, как исследовать методом Картана – Лаптева геометрию гладких субмерсий и определяемых ими гладких слоений. Результаты. Найден канонический вид структурных уравнений гладкой субмерсии, выяснен геометрический смысл канонизации. Показано, что с субмерсией каноническим образом связаны G-структуры первого и второго порядка и некоторый трехвалентный тензор. Выводы. Метод Картана – Лаптева позволяет эффективно изучать геометрию гладких слоений различной коразмерности как на произвольных гладких многообразиях, так и на многообразиях, снабженных дополнительной структурой.

Журнал «Системный администратор» – ведущее российское отраслевое издание для ИТ-специалистов. Его цель – предоставление полной и объективной информации о решениях, продуктах и технологиях современной ИТ-отрасли.90% статей в журнале носят прикладной характер, снабжены примерами, таблицами, графическим материалом. Именно поэтому журнал «Системный администратор» является настольным пособием для ИТ-профессионалов и тех, кто решил делать карьеру в ИТ. Издается с октября 2002 года.

Первый выпуск журнала вышел в свет в 1937 г. Публикуются статьи по всем разделам современной математики. Особое внимание уделяется алгебре, математической логике, теории чисел, математическому анализу, геометрии, топологии, дифференциальным уравнениям. Журнал является рецензируемым, включен в Перечень ВАК. Входит в международные базы данных Web of Science, Scopus, MathSciNet, Zentralblatt MATH.

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

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

Учебно-методическое пособие предназначено для студентов физико-математических факультетов педвузов

Рассматриваются абелевы подгруппы действительных унитреугольных групп третьего, четвертого и пятого порядков и изоморфные им группы кортежей длины 2, 3, 4 действительных чисел. На последних получены линейные пространства, альтернативные арифметическому пространству. Операции над векторами альтернативных пространств задаются нелинейными формулами. Группы автоморфизмов пространств одной размерности задаются нелинейными формулами различного вида. Все рассматриваемые линейные пространства являются подсибсонами. Определены сибсоны размерностей 3, 6, 10.

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

Является периодическим научным изданием, отражающим тематику важнейших направлений теоретических исследований по математике и механике в МГУ имени М.В.Ломоносова. На его страницах печатаются оригинальные статьи, посвященные конкретным научным вопросам по всем основным направлениям теоретических и прикладных исследований.

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

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

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

Рассматривается задача синтеза асимптотически оптимальных по надежности схем, реализующих булевы функции, при инверсных неисправностях на выходах элементов в некоторых полных неприводимых базисах из двухвходовых функциональных элементов. Доказано, что в рассматриваемых базисах все булевы функции можно реализовать асимптотически оптимальными по надежности схемами, причем почти для всех функций эти схемы функционируют с ненадежностью, асимптотически равной 2? при ? >0 (? - вероятность инверсной неисправности на выходе базисного элемента). Сложность этих схем асимптотически не больше чем в три раза превышает сложность минимальных схем, построенных из абсолютно надежных элементов.

Рассматривается задача синтеза асимптотически оптимальных схем, реализующих булевы функции, при инверсных неисправностях на выходах элементов в базисе {x & y, x v y, x{-}}. Доказано, что почти все булевы функции можно реализовать асимптотически оптимальными по надежности схемами, которые функционируют с ненадежностью, асимптотически равной 3? при ? > 0, где ? - вероятность инверсной неисправности на выходе базисного элемента. Сложность предлагаемых схем превышает сложность минимальных схем, построенных только из надежных элементов, не более чем в 3 раза.

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

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

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

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

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

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

Рассматриваются четыре комбинаторные задачи, параметризованные кратностью r элемента базового мультимножества: распределение индексов vp-монотонных перестановок, обобщенные перестановки Гесселя-Стенли и обобщенные частично упорядоченные множества Баклавского-Эдельмана, обобщенные числа Стирлинга и обобщенные частично упорядоченные множества разбиений, обобщенные статистики и обобщенные многочлены Эйлера. Для исследования этих задач привлекаются различные методы.

Установлено, что в некоммутативных 4-мерных галилеевых пространствах с растранами двух видов кривые, все кривизны которых постоянны, имеют третью кривизну, равную нулю.

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

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

Изучена задача линейной классификации четности перестановочных матриц. Эта задача связана с анализом сложности класса алгоритмов вычисления перманента матрицы, обобщающего алгоритм знаков Кастелейна. Получены экспоненциальные нижние оценки для величины коэффициентов функционала, классифицирующего четные и нечетные перестановочные матрицы, в случае поля действительных чисел, и аналогичные линейные нижние оценки на ранг классифицирующего отображения в случае поля характеристики 2. Библ. 10. Фиг. 2

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

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

Представлено доказательство того, что при конечной размерности Гельфанда-Кириллова алгебры А количество не больше (l-2) (n-1). Случай слов с периодом длины 2 обобщается до доказательства экспоненциальной оценки в теореме Ширшова.

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

Работа посвящена моделированию коллективного взаимодействия агентов для совместного преодоления (обхода) препятствий. Моделирование проведено с использованием клеточного автомата. Клеточное поле заполняется агентами и препятствиями разной сложности. Задача агентов – обойти препятствия, двигаясь к заданной точке. Агентам присваивается один из трех уровней, что задает иерархию подчинения между агентами. Сложность препятствия определяется количеством времени, необходимым для его преодоления. Предложенная в статье модель основана на вероятностях перехода из одних ячеек в другие. Библ. 11. Фиг. 6

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

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

Основные рубрики: Управление и моделирование технологических процессов и технических систем; Компьютерное обеспечение и вычислительная техника; Системы телекоммуникаций и сетевые технологии; Управление в социальных и экономических системах

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

Монография написана в соответствии с требованиями Федерального государственного образовательного стандарта начального общего образования второго поколения и концепцией комплекта «Перспективная начальная школа».

Журнал «Системный администратор» – ведущее российское отраслевое издание для ИТ-специалистов. Его цель – предоставление полной и объективной информации о решениях, продуктах и технологиях современной ИТ-отрасли.90% статей в журнале носят прикладной характер, снабжены примерами, таблицами, графическим материалом. Именно поэтому журнал «Системный администратор» является настольным пособием для ИТ-профессионалов и тех, кто решил делать карьеру в ИТ. Издается с октября 2002 года.

Журнал "Тонкие химические технологии" (прежнее название [2006-2014] "Вестник МИТХТ") выходит один раз в два месяца и публикует обзоры и статьи по актуальным проблемам химической технологии и смежных наук. Журнал основан в 2006 году. Учредителем журнала является Московская государственная академия тонкой химической технологии им. М.В. Ломоносова (МИТХТ), ныне Московский государственный университет тонких химических технологий имени М.В. Ломоносова. Журнал входит в Перечень ведущих рецензируемых научных журналов, в которых должны быть опубликованы основные научные результаты диссертации на соискание ученой степени доктора (кандидата) наук. Журнал реферируется в международной базе данных Chemical Abstracts, входит в международный каталог периодических изданий Ulrich. Под новым названием "Тонкие химические технологии" журнал "Вестник МИТХТ" выходит, начиная с 1-го выпуска 10-го тома за 2015 год.

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

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

Рассматривается реализация булевых функций схемами из ненадежных функциональных элементов в полном конечном базисе B, содержащем специальные функции. Предполагается, что все элементы схемы независимо друг от друга с вероятностью [эпсилон] (0, 1/2) подвержены неисправностям типа 0 на выходах. Доказано, что почти для всех булевых функций асимптотически оптимальные по надежности схемы функционируют с ненадежностью, асимптотически равной [эпсилон] при [эпсилон] [стрелка вправо] 0. Эта оценка ненадежности в два раза меньше, чем в случае инверсных неисправностей на выходах элементов в соответствующих базисах.

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

Рассматривается обобщение квадратично-вычетных кодов на случай вычетов высших степеней. Исследуются свойства h-вычетных кодов. В некоторых случаях указывается вид и способ построения порождающего многочлена. С помощью полученных результатов выписываются порождающие многочлены кодов с вычетами 5–8-й степени.

На основе представления о тройках D+ ֒→ H ֒→ D− гильбертовых пространств разрабатывается аналог процедуры продолжения по Фридрихсу для ряда неполуограниченных операторных матриц. Дополнительно предлагается (формулируемый в тех же терминах) общий подход к построению вариационных принципов для собственных значений таких матриц Библиография: 10 названий.

При численном моделировании процесса развития и распространения детонации по методике ЛЭГАК отработана технология проведения расчетов с кинетикой МК на лагранжево-эйлеровых сетках. Изучено поведение результатов расчетов с кинетикой МК на последовательно сгущающихся сетках. Исследовано влияние на численное решение величины временного шага, типа счетной квадратичной вязкости, алгоритма расчета термодинамических параметров смешанных ячеек Проведено исследование по уточнению параметров модели кинетики МК для ВВ типа ТАТБ. Приводятся результаты одномерных и двумерных расчетов. Дано сравнение результатов расчетов с экспериментальными данными, полученными в ИФВ ВНИИЭФ.