Национальный цифровой ресурс Руконт - межотраслевая электронная библиотека (ЭБС) на базе технологии Контекстум (всего произведений: 509875)
Консорциум Контекстум Информационная технология сбора цифрового контента
Уважаемые СТУДЕНТЫ и СОТРУДНИКИ ВУЗов, использующие нашу ЭБС. Рекомендуем использовать новую версию сайта.
  Расширенный поиск
Результаты поиска

Нашлось результатов: 148718 (2,05 сек)

Свободный доступ
Ограниченный доступ
Уточняется продление лицензии
1

О ненадежности схем из функциональных элементов, подверженных двум типам неисправностей [Электронный ресурс] / Алехина, Барсукова // Известия высших учебных заведений. Поволжский регион. Физико-математические науки .— 2013 .— №3 .— С. 31-47 .— Режим доступа: https://rucont.ru/efd/270077

Автор: Алехина
М.: ПРОМЕДИА

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

Верхние оценки ненадежности схем Теорема 1. <...> Теорема 2. <...> Теорема 2 доказана. Теорема 3. <...> Справедлива теорема 4. Теорема 4. <...> Теорема 5. Пусть функция f ∈ K, и пусть S − любая схема, реализующая функцию f .

2

СИНТЕЗ И СЛОЖНОСТЬ АСИМПТОТИЧЕСКИ ОПТИМАЛЬНЫХ ПО НАДЕЖНОСТИ КЛЕТОЧНЫХ СХЕМ [Электронный ресурс] / Алехина, Рыбаков // Известия высших учебных заведений. Поволжский регион. Физико-математические науки .— 2014 .— №4 .— С. 5-16 .— Режим доступа: https://rucont.ru/efd/552643

Автор: Алехина

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

теореме. <...> В работе [4] доказана аналогичная теорема для схем из функциональных элементов. <...> Справедлива теорема о нижней оценке ненадежности клеточных схем. Теорема 5. <...> Для схемы S′ по теореме 2 верно утверждение о нижней оценке. <...> Справедлива теорема 6. Теорема 6.

3

ПРИБЛИЖЕННОЕ ВЫЧИСЛЕНИЕ ОБЫЧНОГО ПРЕОБРАЗОВАНИЯ ФУРЬЕ С ПОМОЩЬЮ ДИСКРЕТНОГО [Электронный ресурс] / Курбатов, Курбатов // Вестник Воронежского государственного университета. Серия: Физика. Математика .— 2012 .— №2 .— С. 150-160 .— Режим доступа: https://rucont.ru/efd/522422

Автор: Курбатов

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

.* Простейшая схема применения ДПФ для приближенного вычисления обычного ПФ является следующей. <...> Буквальное применение этой схемы (теорема 8), хотя и дает приближение, которое сходится к точному ПФ <...> Теорема 8. <...> Вытекает из теоремы 7. Теорема 9. <...> Положим в схеме теоремы 10 b( ) ( ) ,x x h h= / /L Y = ,xa b .

4

СУЩЕСТВОВАНИЕ РЕШЕНИЯ ДИСКРЕТНОЙ ЗАДАЧИ ОПТИМАЛЬНОГО УПРАВЛЕНИЯ ДЛЯ ЛИНЕЙНЫХ СОСРЕДОТОЧЕННЫХ СИСТЕМ СО СПЕЦИАЛЬНЫМ КРИТЕРИЕМ КАЧЕСТВА [Электронный ресурс] / Махмудов, Салманов // Известия высших учебных заведений. Северо-Кавказский регион. Естественные науки .— 2012 .— №5 .— С. 19-21 .— Режим доступа: https://rucont.ru/efd/426697

Автор: Махмудов

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

i k ik nkkkk NkNidttf t f ffff (6) [ ]( ) ______ ,0,,0, NkTpuxx N k p k p === – решение разностной схемы <...> При каждом [ ] NN Uu ∈ рассмотрим разностную схему (4), (5). Теорема 1. <...> Таким образом, в силу оценок (10), (11) установили справедливость утверждения теоремы. <...> Таким образом, выполнены все условия теоремы Вейерштрасса [4, 9]. <...> Теорема 2 доказана. Литература 1. Будак Б.М., Беркович Е.М., Соловьева Е.Н.

5

СИНТЕЗ СХЕМ ИЗ НЕНАДЕЖНЫХ ЭЛЕМЕНТОВ В Pk [Электронный ресурс] / Алехина // Известия высших учебных заведений. Поволжский регион. Физико-математические науки .— 2015 .— №3 .— С. 3-10 .— Режим доступа: https://rucont.ru/efd/552688

Автор: Алехина

Актуальность и цели. Многозначная логика предоставляет широкие возможности для разработки различных алгоритмов во многих областях и с успехом применяется при решении многих задач и во множестве технических разработок. Этим объясняется интерес к задаче построения надежных схем в полном конечном базисе из k-значных функций (k ≥ 3), которая решена при k равном 3 и 4. Цель работы – выявить свойства k-значных функций (k ≥ 5), схемы которых можно использовать для повышения надежности исходных схем, и описать соответствующий метод синтеза Материалы и методы. В работе используются известные методы дискретной математики и математической кибернетики для получения оценок ненадежности схемы и для оценок числа функций специального вида. Кроме того, предлагается новый метод синтеза схем из ненадежных функциональных элементов. Результаты. Выявлены свойства k-значных функций (k ≥ 5), схемы которых можно использовать для повышения надежности исходных схем, и описан соответствующий метод синтеза. Также получены верхняя и нижняя оценки для числа этих функций. Вывод. Выявленные ранее свойства трехзначных и четырехзначных функций, схемы которых можно использовать для повышения надежности исходных схем, можно обобщить на случай k-значных функций при любом натуральном k ≥ 5.

Теорема 1. <...> При всех [0,1]p∈ и 3m ≥ справедливо неравенство 2 2 (2 1) . m i i m m i C p m p = ≤ − − Теорема 2. <...> Теорема 2 доказана. Таким образом, получены следующие результаты: 1. <...> схем (теорема 2) и описан соответствующий метод синтеза. 2. <...> Получены верхняя и нижняя оценки для числа таких функций (теорема 1). Список литературы 1.

6

О СИНТЕЗЕ СХЕМ ИЗ НЕНАДЕЖНЫХ ЭЛЕМЕНТОВ В P4 [Электронный ресурс] / Алехина, Каргин // Известия высших учебных заведений. Поволжский регион. Физико-математические науки .— 2014 .— №4 .— С. 47-56 .— Режим доступа: https://rucont.ru/efd/552647

Автор: Алехина

Актуальность и цель. В современной технике и математике в подавляющем большинстве случаев используется двузначная логика. Это исторически сложившееся положение предопределено ее сравнительной простотой и сделало ее применение предпочтительным (в сравнении с другими логическими системами) с технической и экономической точек зрения. Основные модельные объекты, работающие на основе двузначной логики (например, схемы из ненадежных элементов, неветвящиеся программы) на данный момент являются хорошо изученными. Однако сложность решаемых задач, а следовательно, и технических устройств постоянно возрастает. Многозначная логика предоставляет более широкие возможности для разработки различных алгоритмов во многих областях. Она позволяет уменьшить как вычислительную сложность, так и размеры, число соединений в различных арифметико-логических устройствах, повысить плотность размещения элементов на схемах, найти альтернативные методы решения задач. Уже сейчас многозначная логика с успехом применяется при решении многих задач и во множестве технических разработок. Среди них различные арифметические устройства, системы искусственного интеллекта и обработки данных, обработка сложных цифровых сигналов и т.д. Определенный интерес представляет задача исследования надежности функционирования схем в полном конечном базисе из k-значных функций (k ≥ 3). Задача построения надежных схем в произвольном полном базисе из трехзначных функций (т.е. при k = 3) решена в диссертации О. Ю. Барсуковой. Цель этой статьи – выявить свойства четырехзначных функций, схемы которых можно использовать для повышения надежности исходных схем, и описать соответствующий метод синтеза Результаты. Выявлены свойства функций, схемы которых можно использовать для повышения надежности исходных схем и описан соответствующий метод синтеза. Получены верхняя и нижняя оценки для числа таких функций. Вывод. Свойства трехзначных функций, схемы которых можно использовать для повышения надежности исходных схем, можно обобщить на четырехзначные функции.

Теорема 1. <...> При всех [0,1]p∈ и 3m ≥ справедливо неравенство 2 2 (2 1) . m i i m m i C p m p = ≤ − − Теорема 2. <...> Теорема 2 доказана. Таким образом, получены следующие результаты: 1. <...> Выявлены свойства функций, схемы которых можно использовать для повышения надежности исходных схем (теорема <...> Получены верхняя и нижняя оценки для числа таких функций (теорема 1). Список литературы 1.

7

ОЦЕНКИ НЕНАДЕЖНОСТИ СХЕМ В БАЗИСЕ РОССЕРА – ТУРКЕТТА [Электронный ресурс] / Алехина, Барсукова // Известия высших учебных заведений. Поволжский регион. Физико-математические науки .— 2014 .— №1 .— С. 5-19 .— Режим доступа: https://rucont.ru/efd/552614

Автор: Алехина

Актуальность и цель. В современной математике и технике теория синтеза схем из ненадежных функциональных элементов занимает важное место. Стоит отметить, что до сих пор рассматривались задачи построения надежных схем, реализующих только булевые функции. В данной работе предложена математическая модель построения асимптотически оптимальных по надежности схем, реализующих функции трехзначной логики. Исследуется задача реализации функций трехзначной логики схемами из ненадежных функциональных элементов в базисе Россера – Туркетта. Предполагается, что все базисные элементы независимо друг от друга переходят в неисправные состояния и любой базисный элемент на любом входном наборе (с вероятностью 1 – 2ε) выдает правильное значение и с вероятностью, равной ε, может выдать любое из двух неправильных. Целью данной работы является получение нижних и верхних оценок ненадежности схем и построение асимптотически оптимальных по надежности схем. Результаты. В результате исследования полученные ранее верхние оценки ненадежности удалось доказать, существенно ослабив ограничения на ε (ранее эта вероятность зависела от n – числа переменных функции, а в этой работе ее удалось заменить константой). Доказана асимптотическая точность верхних оценок, т.е. в базисе Россера – Туркетта найден класс K функций трехзначной логики такой, что при реализации любой функции из этого класса любой схемой нижняя оценка ненадежности этой схемы будет асимптотически равна верхней оценке ненадежности. Класс K описан в явном виде, а также найдена оценка для количества функций, входящих в данный класс. Выводы. Установлено, что любую функцию трехзначной логики можно реализовать схемой, функционирующей с ненадежностью, асимптотически (при ε → 0) не больше 6ε. Доказано, что функции класса K (содержащего почти все функции трехзначной логики) нельзя реализовать схемами с ненадежностью, асимптотически (при ε → 0) меньше 6ε. Таким образом, почти все функции трехзначной логики можно реализовать асимптотически оптимальными по надежности схемами, функционирующими с ненадежностью, асимптотически равной 6ε при ε→0 .

Теорема 2. <...> Следовательно, схема ( )Cψ – искомая схема D . Теорема 2 доказана. Теорема 3. <...> По схеме D построим схему ( )Dψ и оценим ее ненадежность по формуле (1) из теоремы 1 при условии, что <...> Нижние оценки ненадежности схем Теорема 4. <...> Из теоремы 4 следует, что при (0,1 /1000]ε∈ любая схема, удовлетворяющая условиям теоремы 3 и реализующая

8

О ЗАДАЧЕ КОШИ ДЛЯ ФУНКЦИОНАЛЬНО-ДИФФЕРЕНЦИАЛЬНОГО ВКЛЮЧЕНИЯ ДРОБНОГО ПОРЯДКА С ИМПУЛЬСНЫМИ ∗ ХАРАКТЕРИСТИКАМИ В БАНАХОВОМ ПРОСТРАНСТВЕ [Электронный ресурс] / Обуховский, Петросян // Вестник Воронежского государственного университета. Серия: Физика. Математика .— 2013 .— №1 .— С. 192-209 .— Режим доступа: https://rucont.ru/efd/511840

Автор: Обуховский

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

Петросян Теорема 3.1. <...> Нам понадобится следующий технический результат, доказательство которого может быть проведено по схеме <...> Мы проведем доказательство следуя Теореме 4.2.2 из [11]. <...> Теорема 4.1. <...> Теорема доказана. ВЕСТНИК ВГУ. СЕРИЯ: ФИЗИКА.

9

О задаче Коши для полулинейного функционально-дифференциального включения дробного порядка с импульсными характеристиками и бесконечным запаздыванием в банаховом пространстве [Электронный ресурс] / Петросян // Вестник Российского университета дружбы народов. Серия: Математика, информатика, физика .— 2014 .— №1 .— С. 7-24 .— Режим доступа: https://rucont.ru/efd/404384

Автор: Петросян

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

Теорема 1. <...> � Нам понадобится следующий технический результат, доказательство которого может быть проведено по схеме <...> теоремы 4.2.1, следствия 4.2.1 и замечаний 4.2.1 и 4.2.2 из [16]. <...> Проведём доказательство, следуя теореме 4.2.2 из [16]. <...> Теорема 2.

10

ПУТЬ К СЛАВЕ ИОГАННА КЕПЛЕРА [Электронный ресурс] / Бондаренко // Философия науки .— 2016 .— №4 .— С. 147-176 .— Режим доступа: https://rucont.ru/efd/546841

Автор: Бондаренко

Анализируя разнообразные факты из истории физики, астрономии, математики и философии, автор статьи объясняет, почему законы движения планет открыл Кеплер и не смогли открыть его предшественники и современники. Обобщение конкретного исторического материала позволило выявить причины, помешавшие открыть истинные законы движения планет ученым Античности (Пифагор, Платон, Аристотель, Демокрит, Архимед, Аристарх, Аполлоний, Гиппарх, Птолемей и др.), Средневековья и эпохи Возрождения (Николай Кузанский, Леонардо да Винчи, Николай Коперник, Рамус, Джордано Бруно, Тихо Браге, Галилео Галилей и др.). В статье показана несостоятельность концепций научного творчества Кеплера, выдвинутых В. Паули, М. Полани, Т. Куном и Д. Холтоном. Продемонстрирована недостаточность поддерживаемого большинством историков астрономии и физики модельного объяснения открытия законов движения планет Кеплером. Обосновывана концепция понимания и объяснения научного творчества Кеплера, опирающаяся на идею множества видов индукции (леонардовская, галилеевская, бэконовская и т.д.). Объясняется, почему именно Кеплер сумел разработать индуктивный метод вычисления, с помощью которого были открыты законы движения планет

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

11

Метод конечных разностей [Электронный ресурс] электрон. учеб. пособие

Автор: Дегтярев Александр Александрович
Изд-во СГАУ

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

Теорема 1. <...> Теорема доказана. <...> Теорема 2. <...> Теорема 2. <...> Теорема.

Предпросмотр: Метод конечных разностей [Электронный ресурс] .pdf (0,4 Мб)
12

№1 (8) [Прикладная дискретная математика. Приложение, 2015]

Теоретические основы прикладной дискретной математики Математические методы криптографии Псевдослучайные генераторы Математические методы стеганографии Математические основы компьютерной безопасности Математические основы надёжности вычислительных и управляющих систем Прикладная теория кодирования Прикладная теория графов Прикладная теория автоматов Математические основы информатики и программирования Вычислительные методы в дискретной математике

Справедлива теорема 1 об асимптотической верхней оценке ненадёжности схем. Теорема 1. <...> Справедлива теорема 2 об асимптотической нижней оценке ненадёжности схем. Теорема 2. <...> Надёжность схемы S равна 1− P (S). Теорема 1 [1]. <...> Справедлива теорема о нижней оценке ненадёжности схем, реализующих функции из класса K. Теорема 2. <...> Заметим, что нетрудно найти сложность схемы ψ(V2i) из теоремы 3 (для этого достаточно умножить длину

Предпросмотр: Прикладная дискретная математика. Приложение №1 (8) 2015.pdf (0,7 Мб)
13

№4 [Известия высших учебных заведений. Поволжский регион. Физико-математические науки, 2014]

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

Mathematics 11 Используя теорему 3, получим верхнюю оценку ненадежности схем. Теорема 4. <...> В работе [4] доказана аналогичная теорема для схем из функциональных элементов. <...> Очевидно, что ненадежность каждой из этих схем не более 2ε, т.е. для n = 1 теорема верна. <...> Справедлива теорема о нижней оценке ненадежности клеточных схем. Теорема 5. <...> Для схемы S′ по теореме 2 верно утверждение о нижней оценке.

Предпросмотр: Известия высших учебных заведений. Поволжский регион. Физико-математические науки №4 2014.pdf (0,8 Мб)
14

Информационное обеспечение задач электроэнергетики учеб. пособие

Автор: Бартоломей П. И.
М.: ФЛИНТА

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

Важнейшие теоремы и следствия Теорема о разложении. <...> Естественно, вместо схем на рис. 14 получается более простая реализация. Теорема о поглощении. <...> Применение теорем булевой алгебры к релейным схемам Из теоремы о разложении можно получить два следствия <...> Получение инверсных схем Теорема о разложении помогает сделать описание действия релей‑ ной схемы, содержащей <...> Схемы ОС‑2: а — логическая; б — результирующая Читатель уже заметил, что законы, теоремы и вытекающие

Предпросмотр: Информационное обеспечение задач электроэнергетики .pdf (0,4 Мб)
15

№3 [Известия высших учебных заведений. Поволжский регион. Физико-математические науки, 2013]

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

Теорема. <...> Верхние оценки ненадежности схем Теорема 1. <...> Теорема 2 доказана. Теорема 3. <...> Справедлива теорема 4. Теорема 4. <...> Теорема 5. Пусть функция f ∈ K, и пусть S − любая схема, реализующая функцию f .

Предпросмотр: Известия высших учебных заведений. Поволжский регион. Физико-математические науки №3 2013.pdf (1,0 Мб)
16

№5 [Журнал вычислительной математики и математической физики, 2017]

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

Теорема 5.1. <...> Теорема 1. <...> Теорема 3.2. Пусть выполняется условие теоремы 3.1. <...> Справедлива следующая теорема о сходимости схемы {(3.2), (3.3); (5.2)}. Теорема 5.1. <...> Теорема 2.

Предпросмотр: Журнал вычислительной математики и математической физики №5 2017.pdf (0,1 Мб)
17

№4 [Сибирский журнал вычислительной математики, 2012]

СибЖВМ - единственный общероссийский журнал по вычислительной математике, издающийся за Уралом с привлечением авторов и рецензентов со всего СНГ.Основные направления журнала:- вычислительная математика;- математическое моделирование;- прикладная информатика;- автоматизация научных и прикладных исследований.Статьи публикуются на русском и английском языках, в зависимости от языка оригинала.

Теорема 2. <...> Теорема 1. <...> Т. 15, №4 Теорема 2. Разностная схема с весами (23), (24) при A ≥ 0 устойчива в H, если σ ≥ 0.5. <...> Их этого равенства в условиях теоремы следует оценка ‖yn+1‖ ≤ ‖yn‖, т. е. схема (22), (23) устойчива <...> Эта теорема — следствие леммы 1 и теоремы 2.

Предпросмотр: Сибирский журнал вычислительной математики №4 2012.pdf (0,2 Мб)
18

№1 [Сибирский журнал вычислительной математики, 2009]

СибЖВМ - единственный общероссийский журнал по вычислительной математике, издающийся за Уралом с привлечением авторов и рецензентов со всего СНГ.Основные направления журнала:- вычислительная математика;- математическое моделирование;- прикладная информатика;- автоматизация научных и прикладных исследований.Статьи публикуются на русском и английском языках, в зависимости от языка оригинала.

Теорема 2. <...> Теорема 3.1. <...> Теорема 3.2. <...> Теорема 4.1. <...> Для начала докажем теорему относительно сходимости нашей схемы. Теорема 4.1.

Предпросмотр: Сибирский журнал вычислительной математики №1 2009.pdf (0,5 Мб)
19

№1 [Доклады Академии наук высшей школы Российской Федерации, 2012]

Начиная со второго номера 2007 г. «Доклады Академии наук высшей школы России» публикуют статьи о новых конкретных результатах законченных оригинальных и особенно имеющих приоритетный характер исследований в области естественных и технических наук, а также в области инноваций. В «Докладах АН ВШ РФ» не публикуются статьи описательного, обзорного, полемического, общественно-информационного и методического (если метод не является принципиально новым) характера, а также статьи, излагающие результаты промежуточных этапов исследований и не содержащие весомых научных выводов. «Доклады АН ВШ РФ» публикуют статьи членов АН ВШ РФ и МАН ВШ, членов-корреспондентов их отделений, а также научных работников академических и отраслевых институтов, профессорско-преподавательского состава, аспирантов и студентов высших учебных заведений. Все рукописи рецензируются, по результатам рецензирования редколлегия принимает решение о целесообразности опубликования материалов. Для авторов публикация является бесплатной. Редакция журнала «Доклады АН ВШ РФ» просит авторов при подготовке статей строго соблюдать правила, приведенные в конце каждого номера

Теорема 2. <...> Теорема доказана. Теорема 3. <...> Теорема 4. <...> На основании леммы доказывается сходимость численной схемы. Теорема. <...> Доказательство теоремы следует из леммы с учетом порядка аппроксимации схемы 2( )O  .

Предпросмотр: Доклады академии наук высшей школы №1 2012.pdf (0,6 Мб)
20

Оптимальное управление биологическими сообществами: учебное пособие

Автор: Андреева Е. А.
Северный (Арктический) федеральный университет имени М.В. Ломоносова

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

Схема Беллмана. <...> Схема Беллмана. <...> Составить схему Беллмана, выписать алгоритм, составить блок-схему программной реализации. <...> Схемы построения эффективных и слабоэффективных решений могут быть основаны на следующих теоремах. <...> По схеме теоремы 6.5.1 могут быть получены все слабоэффективные решения, если вектор  k ,,1  пробегает

Предпросмотр: Оптимальное управление биологическими сообществами учебное пособие .pdf (0,9 Мб)
21

№1 [Сибирский журнал вычислительной математики, 2011]

СибЖВМ - единственный общероссийский журнал по вычислительной математике, издающийся за Уралом с привлечением авторов и рецензентов со всего СНГ.Основные направления журнала:- вычислительная математика;- математическое моделирование;- прикладная информатика;- автоматизация научных и прикладных исследований.Статьи публикуются на русском и английском языках, в зависимости от языка оригинала.

Для векторных полей справедливо более детальное разложение (теорема Гельмгольца–Ходжа) [30–32]. <...> Теперь докажем равномерную сходимость схемы (3.5). Теорема 3.1. Пусть mab > 0. <...> При доказательстве теоремы 3.1 мы использовали ограничение mab > 0, поэтому в численных экспериментах <...> , соответствующая теореме 3.1. <...> Если корреляционная функция R(t) непрерывна, то, в соответствии с теоремой Бохнера–Хинчина, в Rn существуют

Предпросмотр: Сибирский журнал вычислительной математики №1 2011.pdf (0,5 Мб)
22

Дружелюбные алгоритмы, понятные каждому. Как улучшить работу ума без лишних хлопот

Автор: Паронджанов Владимир
М.: ДМК-Пресс

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

Теорема 1. <...> Теорема. <...> Теорема. <...> А дракон-схемы вовсе не похожи на теоремы! Кто и зачем их должен доказывать? <...> Следовательно, теоремы исчисления, теоремы формальной системы и теоремы теории — одно и то же.

Предпросмотр: Дружелюбные алгоритмы, понятные каждому. Как улучшить работу ума без лишних хлопот.pdf (0,7 Мб)
23

№4 [Прикладная дискретная математика, 2016]

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

Нижние оценки длин тестов для входов схем В теоремах 1–3 устанавливаются экспоненциальные по n нижние <...> и входов схем 69 Теорема 3. <...> Нижние оценки длин тестов для схем из функциональных элементов В теоремах 4–7 устанавливаются экспоненциальные <...> Пусть f̂(x̃n) — булева функция, определённая в ходе доказательства теоремы 1; S — произвольная схема <...> Пусть f̂(x̃n) — булева функция, определённая в ходе доказательства теоремы 1; S — произвольная схема

Предпросмотр: Прикладная дискретная математика №4 2016.pdf (0,3 Мб)
24

№2 [Прикладная дискретная математика, 2016]

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

Теорема 1. <...> Теорема 3. <...> Теорема 1. Пусть в схеме (1) выполнено условие (2) независимости входа и ключевых векторов. <...> Воспользуемся схемой доказательства теоремы 1. Получим сначала оценку стойкости аутентификации. <...> Теорема 1 (см. также [3, теорема 2]).

Предпросмотр: Прикладная дискретная математика №2 2016.pdf (0,7 Мб)
25

Сборник задач по теории вероятностей [учеб. пособие]

Автор: Коломиец
Издательство СГАУ

Сборник задач по теории вероятностей. Гриф. Используемые программы: Adobe Acrobat. Труды сотрудников СГАУ (электрон. версия)

Предельные теоремы в схеме Бернулли 49 2. СЛУЧАЙНЫЕ ВЕЛИЧИНЫ И СЛУЧАЙНЫЕ ВЕКТОРЫ 62 2.1. <...> 1.6 Схема Бернулли. <...> Предельные теоремы в схеме Бернулли Схемой Бернулли называется последовательность независимых испытаний <...> Теорема Бернулли Относительная частота Am n появления события A в n независимых испытаниях по схеме Бернулли <...> Предельные теоремы в схеме Бернулли 1.6.1. а) Р8(m ≥ 7) ≈ 0,00038; б) Р8(m ≥ 1) = 0,8999. 1.6.2. 10.

Предпросмотр: Сборник задач по теории вероятностей.pdf (0,3 Мб)
26

№3 [Прикладная дискретная математика, 2017]

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

Схема ψ(S) В теореме 1 найдено рекуррентное соотношение для ненадёжностей схем S и ψ(S). Теорема 1. <...> Верхняя оценка ненадёжности схем Теорема 2. <...> Следовательно, схема ψ(C) —искомая схема S. Теорема 2 доказана. Теорема 3. <...> По схеме D построим схему ψ(D) (см. рис. 2) и оценим её ненадёжность по формуле (1) из теоремы 1: P ( <...> По схеме ψ(D) построим схему ψ2(D) и оценим её ненадёжность по формуле (1) из теоремы 1: P (ψ2(D)) 6

Предпросмотр: Прикладная дискретная математика №3 2017.pdf (0,6 Мб)
27

№3 [Известия высших учебных заведений. Поволжский регион. Физико-математические науки, 2016]

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

Рекуррентные соотношения для ненадежностей схем в 4P и в 5P Теорема 2. <...> В теореме 2 найдено рекуррентное соотношение для ненадежностей схем S и 4( )S . Теорема 3. <...> В теореме 3 найдено рекуррентное соотношение для ненадежностей схем S и 5( )S . <...> Получены рекуррентные соотношения для ненадежностей предлагаемых схем и исходной схемы (теоремы 2 и 3 <...> Следует заметить: сложность схем, которые строятся в теореме 1, есть ( 2 )nO n , а глубина этих схем

Предпросмотр: Известия высших учебных заведений. Поволжский регион. Физико-математические науки №3 2016.pdf (0,5 Мб)
28

№5 [Моделирование и анализ информационных систем (МАИС), 2012]

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

Доказательство теоремы 3 громоздко, поэтому здесь приведем лишь его краткую схему. <...> Таким образом, нами введена (ν, L)–модель матричных схем над B. Теорема 2. <...> Требуемый теоремой алгоритм по схеме G строит матричную схему G′, применяя следующие правила. <...> трансформируется в так называемую свободную схему (теорема 4); 2. если построенные для свободных схем <...> Схема G(v1, v2) построена. Теорема 5.

Предпросмотр: Моделирование и анализ информационных систем (МАИС) №5 2012.pdf (0,5 Мб)
29

№2 [Вестник Воронежского государственного университета. Серия: Физика. Математика, 2012]

Журнал входит в Перечень ВАК ведущих рецензируемых научных журналов и изданий, в которых должны быть опубликованы основные научные результаты диссертаций на соискание ученых степеней доктора и кандидата наук

РЕЗУЛЬТАТЫ МОДЕЛИРОВАНИЯ СХЕМЫ КОМПЕНСАЦИИ Описанным выше способом были рассчитаны параметры схемы, формирующей <...> Буквальное применение этой схемы (теорема 8), хотя и дает приближение, которое сходится к точному ПФ <...> Вытекает из теоремы 7. Теорема 9. <...> Положим в схеме теоремы 10 b( ) ( ) ,x x h h= / /L Y = ,xa b . <...> Численная схема. Рассмотрим численную схему для нахождения приближенных решений задачи (7).

Предпросмотр: Вестник Воронежского государственного университета. Серия Физика. Математика №2 2012.pdf (0,3 Мб)
30

№6 [Математический сборник, 2017]

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

В работе [6] неунитальные кольцевые схемы W g(q) S и их подлежащие групповые схемы довольно подробно <...> аффинной кольцевой схемой над R. <...> Теорема 3 доказана. Лемма 4. Пусть F = specA и G = specB – две аффинные кольцевые схемы над R. <...> кольцевых схем. <...> Доказательство этого результата идет по той же схеме, что и доказательство теоремы 2 работы [9].

Предпросмотр: Математический сборник №6 2017.pdf (0,1 Мб)
31

№1 [Известия высших учебных заведений. Поволжский регион. Физико-математические науки, 2014]

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

Следовательно, схема ( )Cψ – искомая схема D . Теорема 2 доказана. Теорема 3. <...> По теореме 2 любую функцию 3f P∈ можно реализовать схемой D с ненадежностью ( ) 8P D ≤ ε . <...> По схеме D построим схему ( )Dψ и оценим ее ненадежность по формуле (1) из теоремы 1 при условии, что <...> Нижние оценки ненадежности схем Теорема 4. <...> Из теоремы 4 следует, что при (0,1 /1000]ε∈ любая схема, удовлетворяющая условиям теоремы 3 и реализующая

Предпросмотр: Известия высших учебных заведений. Поволжский регион. Физико-математические науки №1 2014.pdf (0,7 Мб)
32

№4 [Вестник Южно-Уральского государственного университета. Серия "Математическое моделирование и программирование", 2013]

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

Бояринцева посвящены теории разностных схем. <...> Доказывалось немного теорем, но каждая теорема разбиралась «по косточкам». <...> Одному из авторов данной статьи особенно запомнились лекции, посвященные теореме Лакса и критерию Неймана <...> Сам Юрий Еремеевич Бояринцев читал спецкурс «Теория разностных схем (теорема Лакса и критерий устойчивости <...> О сходимости разностных схем для уравнений с переменными коэффициентами / Ю. Е. Бояринцев // Тр.

Предпросмотр: Вестник Южно-Уральского государственного университета. Серия Математическое моделирование и программирование №4 2013.pdf (0,5 Мб)
33

№1 [Вестник Российского университета дружбы народов. Серия: Математика, информатика, физика, 2014]

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

Теорема 1. <...> теоремы 4.2.1, следствия 4.2.1 и замечаний 4.2.1 и 4.2.2 из [16]. <...> Проведём доказательство, следуя теореме 4.2.2 из [16]. <...> Теорема 2. <...> Взаимодействие элементов системы будем описывать с помощью схем взаимодействия, подобным схемам химической

Предпросмотр: Вестник Российского университета дружбы народов. Серия Математика, информатика, физика №1 2014.pdf (0,8 Мб)
34

№3 [Известия высших учебных заведений. Поволжский регион. Физико-математические науки, 2015]

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

Теорема 1. <...> схем (теорема 2) и описан соответствующий метод синтеза. 2. <...> Теорема 2. <...> Итак, 1 >0 (( ) ).cu C δ δ ∈ ∂Ω Теорема доказана. Из теоремы 2 следует Теорема 3. <...> Теорема 2.

Предпросмотр: Известия высших учебных заведений. Поволжский регион. Физико-математические науки №3 2015.pdf (0,6 Мб)
35

№5 [Известия высших учебных заведений. Северо-Кавказский регион. Естественные науки, 2012]

Научно-образовательный и прикладной журнал «Известия Высших учебных заведений. Северо-Кавказский регион» существует более 40 лет, зарегистрирован в Комитете Российской Федерации по печати (регистрационные номера 011018, 011019, 011020). В состав его редколлегий входят ведущие ученые вузов Северного Кавказа. Он был создан в 1972 г. по инициативе чл.-кор. РАН, доктора химических наук, профессора Ю.А. Жданова, ставшего его главным редактором, с целью интеграции ученых Северного Кавказа для решения актуальных проблем науки и народнохозяйственных задач. Тогда журнал носил название «Известия Северо-Кавказского научного центра высшей школы». С началом перестройки изменилось не только название, но и условия финансирования. Сегодня издание журнала осуществляется при частичной финансовой поддержке его соучредителей — 15 вузов Северного Кавказа (отсюда и название). На его страницах стали печататься статьи ученых как Северного Кавказа, так и стран ближнего и дальнего зарубежья по широкому спектру научных, прикладных и образовательных проблем, отражающих развитие науки в следующих сферах:математика и механика, биология, науки о Земле.

ЕСТЕСТВЕННЫЕ НАУКИ. 2012. № 5 6 Теорема 1. <...> Теорема 2. <...> Теорема 2. <...> При каждом [ ] NN Uu ∈ рассмотрим разностную схему (4), (5). Теорема 1. <...> схеме.

Предпросмотр: Известия высших учебных заведений. Северо-Кавказский регион. Естественные науки №5 2012.pdf (0,8 Мб)
36

№2 [Прикладная дискретная математика, 2009]

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

Теорема 29 (теорема синтеза). <...> По теореме 14 непосредственные и полные проводимости в переключательной схеме являются монотонными функциями <...> В силу этой теоремы синтез комбинационной схемы с заданным динамическим поведением осуществляется так <...> Согласно этой теореме, синтез последовательностной схемы с заданным динамическим поведением сводится <...> (теорема 2) схемами.

Предпросмотр: Прикладная дискретная математика №2 2009.pdf (0,5 Мб)
37

№4 [Философия науки, 2016]

Выходит с 1995 года. Это первый российский журнал, посвященный проблемам философии, логики, методологии и истории естественных наук. Основные направления журнала: анализ философских, методологических и логических проблем современного естествознания (физики, химии, геологии, биологии, медицины) и математики; история естествознания в контексте развития его философии, логики и методологии; в разделе “Из архивов” публикуются неизвестные или забытые в силу разных причин, но не потерявшие актуальность работы известных философов и ученых-естествоиспытателей.

Если первая теорема о неполноте Геделя сформулирована в синтаксических терминах, надо понять, откуда <...> В такой системе доказуема теорема G(F) истинно, если и только если, F непротиворечива. <...> о повторении опытов, говорящая о биномиальном распределении, а общая теорема. <...> Дело в том, что здесь две разные схемы. <...> О двух неверных догмах, связанных со второй теоремой Гёделя о неполноте арифметики.

Предпросмотр: Философия науки №4 2016.pdf (0,2 Мб)
38

№3 [Известия высших учебных заведений. Северо-Кавказский регион. Естественные науки, 2018]

Научно-образовательный и прикладной журнал «Известия Высших учебных заведений. Северо-Кавказский регион» существует более 40 лет, зарегистрирован в Комитете Российской Федерации по печати (регистрационные номера 011018, 011019, 011020). В состав его редколлегий входят ведущие ученые вузов Северного Кавказа. Он был создан в 1972 г. по инициативе чл.-кор. РАН, доктора химических наук, профессора Ю.А. Жданова, ставшего его главным редактором, с целью интеграции ученых Северного Кавказа для решения актуальных проблем науки и народнохозяйственных задач. Тогда журнал носил название «Известия Северо-Кавказского научного центра высшей школы». С началом перестройки изменилось не только название, но и условия финансирования. Сегодня издание журнала осуществляется при частичной финансовой поддержке его соучредителей — 15 вузов Северного Кавказа (отсюда и название). На его страницах стали печататься статьи ученых как Северного Кавказа, так и стран ближнего и дальнего зарубежья по широкому спектру научных, прикладных и образовательных проблем, отражающих развитие науки в следующих сферах:математика и механика, биология, науки о Земле.

Теорема 1. <...> Доказательство проводится по схеме [5, теорема 1, с. 128] c естественными изменениями, вызванными заменой <...> Теорема 2. <...> Это приводит к следующим теоремам. Теорема 11. <...> Приведем короткую схему доказательства теоремы 1.

Предпросмотр: Известия высших учебных заведений. Северо-Кавказский регион. Естественные науки №3 2018.pdf (1,3 Мб)
39

Нейронные сети, генетические алгоритмы и нечеткие системы

Автор: Рутковская Д.
М.: Горячая линия – Телеком

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

алгоритмам и называемую теоремой о схемах [7, 15, 21, 33]. <...> алгоритмам и называемую теоремой о схемах [7, 15, 21, 33]. <...> Основная теорема о генетических алгоритмах148 149 волом данной схемы. <...> Это основная теорема генетических алгоритмов, иначе называемая теоремой о схемах [21]. <...> Это основная теорема генетических алгоритмов, иначе называемая теоремой о схемах [21].

Предпросмотр: Нейронные сети, генетические алгоритмы и нечеткие системы.pdf (0,6 Мб)
Предпросмотр: Нейронные сети, генетические алгоритмы и нечеткие системы (1).pdf (0,5 Мб)
40

№9 [Журнал вычислительной математики и математической физики, 2017]

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

С помощью этого процесса была доказана теорема о существовании решения нелинейной разностной схемы (23 <...> Справедлива также следующая теорема о единственности решения нелинейной разностной схемы (23)–(25). <...> С помощью этой схемы можно доказать следующую теорему. Теорема 3.3. <...> Схема (3.4), (3.5) имеет первый порядок аппроксимации по времени. Теорема 2. <...> Будем следовать схеме доказательства теоремы 4.

Предпросмотр: Журнал вычислительной математики и математической физики №9 2017.pdf (0,0 Мб)
41

Справочник по электронике

Автор: Грабовски Богдан
М.: ДМК-Пресс

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

Основные теоремы Предварительные определения Ветвь – это элемент схемы (или группа элементов) с двумя <...> Теоремы Тевенина и Нортона Теорема Тевенина* Рассмотрим схему, содержащую независимые источники тока <...> Эквивалентная схема, рассматриваемая в теореме Тевенина Можно сформулировать три следующих положения: <...> сопротивление r; АНАЛИЗ СХЕМАНАЛИЗ СХЕМАНАЛИЗ СХЕМАНАЛИЗ СХЕМАНАЛИЗ СХЕМ * Теорема об эквивалентном <...> Теорема Нортона* Рассмотрим схему, отдельные ветви которой содержат независимые ис� точники тока и/или

Предпросмотр: Cправочник по электронике.pdf (1,4 Мб)
42

Психологическое сопровождение в системе образования сб. науч. трудов по материалам Междунар. междисциплин. науч.-практ. конф. «Психология и психолог. практика в соврем. мире»

М.: ФЛИНТА

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

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

Предпросмотр: Психологическое сопровождение в системе образования сб. науч. трудов по материалам Международной междисциплинарной научно-практической конференции «Психология и психологическая практика в современном мире»..pdf (0,7 Мб)
43

№6 [Лесной вестник. Forestry Bulletin, 2012]

Предыдущее название: Вестник Московского государственного университета леса - Лесной вестник (до 2016 года)/ Журнал является ведущим научно-информационным журналом в области лесного хозяйства, экологии, лесозаготовки, деревообработки, химической технологии и обработки древесины, экономики лесного комплекса. Журнал публикует: статьи ученых высшей школы, НИИ, зарубежных специалистов, руководителей предприятий и инженеров; тексты докладов ученых на симпозиумах, конференциях и совещаниях; аннотации и рецензии на новые книги; публицистические и исторические литературные материалы. Главный редактор - Обливин Александр Николаевич, профессор, доктор технических наук, академик РАЕН и МАНВШ, Заслуженный деятель науки и техники РФ, Президент МГУЛ, профессор кафедры процессов и аппаратов деревообрабатывающих производств Московского государственного университета леса

Подтвердим утверждение теоремы 1. <...> Однозначность соответствия результатов теоремы 1 авторов и теоремы 1 из [3, с. 611] установлена. <...> Схема «точного диода» и осциллограммы напряжений на входе (1) и на выходе (2) схемы схеме всегда присутствует <...> Приведем формулировку этой теоремы из [3]. Теорема 1 Пусть P ∈ Mn – проектор. <...> теоремы 3.

Предпросмотр: Вестник Московского государственного университета леса - Лесной вестник №6 2012.pdf (0,8 Мб)
44

ЭКСПОРТ РОССИЙСКОЙ НЕФТИ – АСПЕКТЫ КАЧЕСТВА И СТРУКТУРА ПОСТАВОК [Электронный ресурс] / Кацал // Проблемы экономики и управления нефтегазовым комплексом .— 2016 .— №8 .— С. 19-25 .— Режим доступа: https://rucont.ru/efd/449064

Автор: Кацал

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

Эта схема в системе магистральных нефтепроводов существует уже более 20 лет. <...> Содержание серы до 0,65 %, но это обозначено в "Схеме нормальных грузопотоков". <...> Схема формирования экспортных сортов нефти восточного и западного направлений в соответствии " Рис. 1 <...> Схема формирования экспортных сортов нефти Восточного и Западного направлений со "Схемой нормальных грузопотоков <...> Общая схема предлагаемого формирования Urals Heavy показана на рис. 12.

45

Вероятностный метод учеб. пособие, The Probabilistic Method

Автор: Алон Нога
М.: Лаборатория знаний

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

Еще о схемах ограниченной глубины 213 11.4. Монотонные схемы 216 11.5. Формулы 219 11.6. <...> Таким образом, схема на рис. 11.1 является булевой схемой, но не является формулой. <...> Предполагая, что такая схема существует, получаем по теореме 11.2.2, что значение f может быть зафиксировано <...> Монотонная 2-схема — это 2-схема, содержащая только 2-входовые элементы И и ИЛИ. <...> 2-схемы.

Предпросмотр: Вероятностный метод  учебное пособие. — 3-е изд. (эл.).pdf (0,5 Мб)
46

Методы качественной теории в нелинейной динамике. Ч. 1 Methods of Qualitative Theory in Nonlinear Dynamics

М.: Институт компьютерных исследований

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

Типичная схема исследования нового явления обычно такова: для соответствующего эксперимента или наблюдения <...> В связи с этим гиперболические аттракторы стали рассматривать как результат чисто абстрактной схемы, <...> Данное множество S будем называть схемой12. <...> Теорема 1.3. Схема является полным топологическим инвариантом. <...> Следуя схеме, использованной ранее для неведущего многообразия, можно локально распрямить многообразия

Предпросмотр: Методы качественной теории в нелинейной динамике. Часть 1.pdf (0,1 Мб)
47

№1 [Вестник Воронежского государственного университета. Серия: Физика. Математика, 2013]

Журнал входит в Перечень ВАК ведущих рецензируемых научных журналов и изданий, в которых должны быть опубликованы основные научные результаты диссертаций на соискание ученых степеней доктора и кандидата наук

Выход практически один – использовать ту же схему расчета, что и в работах [11-13]. <...> Данные о распадных характеристиках ядер и их схемы уровней брались из [21]. <...> Имеет место следующая теорема. Теорема 4. <...> При этом по времени используется неявная схема Эйлера. <...> Справедливы следующие теоремы. Теорема 2.

Предпросмотр: Вестник Воронежского государственного университета. Серия Физика. Математика №1 2013.pdf (0,3 Мб)
48

№7-8 [Системный администратор, 2015]

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

Аналогом дракон-схем являются блок-схемы, диаграммы поведения языка UML. <...> Блок-схема, построенная по правилам языка ДРАКОН, называется дракон-схемой. <...> , то есть является теоремой. <...> Таким образом, все правильно построенные абстрактные дракон-схемы (теоремы) истинны. <...> Неужели такая стройная, изящная схема не пригодна? Конечно, нет, схема работоспособна.

Предпросмотр: Системный администратор №7-8 2015.pdf (12,3 Мб)
49

Физико-химические основы материаловедения [учеб. пособие], Physical Foundations of Materials Science

Автор: Готтштайн Гюнтер
М.: Лаборатория знаний

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

этом случае равновесная форма кристалла представляет собой многогранник, подчиняющийся требованиям теоремы <...> В соответствии с этой теоремой равновесные поверхности (равновесная форма) кристалла может быть получена <...> 75 — теорема 293 Выгодное изменение формы 185 Выделение непрерывное 324 Выделений укрупнение 326 — частиц <...> В соответствии с этой теоремой равновесные поверхности (равновесная форма) кристалла может быть получена <...> 75 — теорема 293 Выгодное изменение формы 185 Выделение непрерывное 324 Выделений укрупнение 326 — частиц

Предпросмотр: Физико-химические основы материаловедения.pdf (0,3 Мб)
50

УЧЕТ И ОЦЕНКА ЗЕМЕЛЬ В РАЙОНЕ (НА ПРИМЕРА РОСТОВСКОГО РАЙОНА ЯРОСЛАВСКОЙ ОБЛАСТИ) АВТОРЕФЕРАТ ДИС. ... КАНДИДАТА ЭКОНОМИЧЕСКИХ НАУК

Автор: ВОЛЬНОВ
М.: МОСКОВСКИЙ ОРДЕНА ТРУДОВОГО КРАСНОГО ЗНАМЕНИ ИНСТИТУТ ИНЖЕНЕРОВ ЗЕМЛЕУСТРОЙСТВА

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

"схема районной планировки, материалы крупномасштабных почвен­ ных обследований, годовые отчеты колхозов <...> Специализация колхозов и. совхозов должна проводиться на основе схемы районной планиров¥ ки, которую

Предпросмотр: УЧЕТ И ОЦЕНКА ЗЕМЕЛЬ В РАЙОНЕ (НА ПРИМЕРА РОСТОВСКОГО РАЙОНА ЯРОСЛАВСКОЙ ОБЛАСТИ).pdf (0,0 Мб)
Страницы: 1 2 3 ... 2975