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

Нашлось результатов: 125217 (1,52 сек)

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

Параполное модельное множество [Электронный ресурс] / Шангин // Вестник Московского университета. Серия 7. Философия .— 2013 .— №4 .— С. 80-87 .— Режим доступа: https://rucont.ru/efd/378220

Автор: Шангин

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

Шангин* ПАРАПОЛНОЕ МОДЕЛЬНОЕ МНОЖЕСТВО** В статье построено оригинальное модельное множество для параполной <...> логики PComp (параполное модельное множество), которое является обобщением модельного множества, предложенного <...> Фиттинг использует модельные множества и коллекции модельных множеств для доказательства полноты предложенных <...> Любое модельное множество Σ выполнимо. <...> Любое модельное множество Σ выполнимо.

2

ВОЗМОЖНЫЕ МИРЫ И ПОНЯТИЕ «КАРТИН МИРА» [Электронный ресурс] / Смирнова // Вопросы философии .— 2017 .— №1 .— С. 40-50 .— Режим доступа: https://rucont.ru/efd/581016

Автор: Смирнова

Рассматриваются различные трактовки понятия возможных миров. Используются результаты семантик возможных миров. Предлагается определенная экспликация понятия “возможный мир”. Выявляются эпистемические и онтологические предпосылки возможных миров различного вида. В центре рассмотрения – понятие логических пространств, их роли в условиях построения картин мира

Модельные множества подобны описаниям состояний. <...> Фактически дается индуктивное определение построения модельных множеств. <...> На базе модельных множеств определяются основные семантические понятия. <...> , другими словами, если и только если оно может быть встроено в некоторое модельное множество. <...> Модельные множества отвечают требованиям полноты, как и классические описания состояний.

3

№4 [Вестник Московского университета. Серия 7. Философия, 2013]

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

Шангин* ПАРАПОЛНОЕ МОДЕЛЬНОЕ МНОЖЕСТВО** В статье построено оригинальное модельное множество для параполной <...> логики PComp (параполное модельное множество), которое является обобщением модельного множества, предложенного <...> Фиттинг использует модельные множества и коллекции модельных множеств для доказательства полноты предложенных <...> Любое модельное множество Σ выполнимо. <...> Любое модельное множество Σ выполнимо.

Предпросмотр: Вестник Московского университета. Серия 7. Философия №4 2013.pdf (0,2 Мб)
4

№1 [Вопросы философии, 2017]

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

Модельные множества подобны описаниям состояний. <...> Фактически дается индуктивное определение построения модельных множеств. <...> На базе модельных множеств определяются основные семантические понятия. <...> , другими словами, если и только если оно может быть встроено в некоторое модельное множество. <...> Модельные множества отвечают требованиям полноты, как и классические описания состояний.

Предпросмотр: Вопросы философии №1 2017.pdf (0,4 Мб)
5

ЭПИСТЕМИЧЕСКАЯ ЛОГИКА И УБЕЖДЕНИЯ О СЕБЕ: НАСКОЛЬКО ОПТИМИСТИЧЕН Я. ХИНТИККА? [Электронный ресурс] / Моисеева // Философия науки .— 2015 .— №3 .— С. 3-10 .— Режим доступа: https://rucont.ru/efd/357425

Автор: Моисеева

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

На модельных множествах Я. Хинтикка вводит два отношения альтернативности. <...> Модельное множество μ* эпистемически альтернативно данному модельному множеству μ относительно субъекта <...> Модельное множество μ* доксатически альтернативно данному модельному множеству μ относительно субъекта <...> Моисеева (C.P*) Если "Pa p"  μ и если μ  Ω, то в Ω есть хотя бы одно модельное множество μ*, эпистемически <...> систему, состоящую из трех модельных множеств μ, μ*, μ**, таких что μ = {"Bа Bаp", "~Bа p", "Cа ~p".

6

ПАМЯТИ ЯАККО ХИНТИККИ [Электронный ресурс] / Беляев // Вестник Воронежского государственного университета. Серия: Философия .— 2015 .— №3 .— С. 114-116 .— Режим доступа: https://rucont.ru/efd/506313

Автор: Беляев

Крупнейший финский философ Каарло Яакко Юхани Хинтикка скончался 12 августа 2015 г. в Порвоо на 87-м году жизни после непро должительной болезни. Хинтикка известен во всем мире своими рабо тами по математической логике, теории игр, философии математики, эпистемологии. Также его знают как организатора многих крупных фи лософских мероприятий, талантливого педагога, человека с поистине фантастической эрудицией

Работая в области классической логики, Хинтикка стал известен тем, что ввел в употребление понятия модельного <...> множества и дистрибутив­ 2 0 1 5 . № 3 Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»Copyright <...> Метод модельных множеств весьма удобен для построения доказательства полноты логических систем, в дальнейшем

7

№4 [Кристаллография, 2017]

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

Пенроуза как модельного множества. <...> точечных множеств, называемых модельными множествами. ( , )R r n n УДК 548.1 ТЕОРИЯ КРИСТАЛЛИЧЕСКИХ <...> Связность – для любой пары точек модельного множества существует состоящая из точек модельного множества <...> Пусть – множество точек модельного множества, являющихся отмеченными точками кластеров, эквивалентных <...> Пусть теперь – множество точек модельного множества, имеющих локальную звезду порядка n, а – множество

Предпросмотр: Кристаллография №4 2017.pdf (0,1 Мб)
8

№3 [Философия науки, 2015]

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

На модельных множествах Я. Хинтикка вводит два отношения альтернативности. <...> Модельное множество μ* эпистемически альтернативно данному модельному множеству μ относительно субъекта <...> Модельное множество μ* доксатически альтернативно данному модельному множеству μ относительно субъекта <...> Моисеева (C.P*) Если "Pa p"  μ и если μ  Ω, то в Ω есть хотя бы одно модельное множество μ*, эпистемически <...> систему, состоящую из трех модельных множеств μ, μ*, μ**, таких что μ = {"Bа Bаp", "~Bа p", "Cа ~p".

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

Указатель статей и материалов, помещенных в журнале "Вестник Московского университета. Серия 7, Философия" за 2013 год " [Электронный ресурс] / Вестник Московского университета. Серия 7. Философия .— 2013 .— №6 .— С. 116-119 .— Режим доступа: https://rucont.ru/efd/378244

Представлен указатель статей и материалов, помещенных в журнале "Вестник Московского университета. Сер. 7, Философия" за 2013 год.

Параполное модельное множество . . . . . . . . . 4 80 Религиоведение В е в ю р к о И.С.

10

ОБРАЗОВАТЕЛЬНЫЕ СИСТЕМЫ: ВЫЗРЕВАНИЕ ИЛИ ПОЯВЛЕНИЕ? [Электронный ресурс] / Шептуховский // Педагогические технологии .— 2016 .— №1 .— С. 57-69 .— Режим доступа: https://rucont.ru/efd/392732

Автор: Шептуховский

Посылки для рискованного прогнозирования

Чтобы множество компонентов было объединено в целостность (в систему), мы должны показать их неаддитивный <...> Полагаю, что именно формулировка цели как раз и характеризует эмерджентные свойства множества: С ≠ Σki <...> (1.1), где С — свойства всего объекта (множества), ki — свойства отдельных компонентов объекта (множества <...> Поппер) позволяет отнести модельное множество к научным концепциям. <...> Но мне представляется, что существование их множества и особенностей взаимодействия с окружающей средой

11

№3 [Философия науки, 2017]

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

удается конвертировать различные формы определенности друг в друга, на чем, собственно, и основаны все модельные <...> В частности, она аналогична концепцию выигрышной стратегии с понятием модельного множества, предложенного <...> Метод модельных множеств равносилен методу семантических таблиц Э. <...> Хинтиккой (модельные множества) и Э. Бетом (семантические таблицы) [15, p. 403, 405]. <...> Множество релевантных следствий из хорошей теории огромно и только некоторая часть этого множества известна

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

Технология управления гетерогенными системами обработки информации монография

Автор: Антамошкин Олеслав Александрович
Сиб. федер. ун-т

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

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

Предпросмотр: Технология управления гетерогенными системами обработки информации.pdf (0,8 Мб)
13

№3 [Вестник Воронежского государственного университета. Серия: Философия, 2015]

Журнал «Вестник Воронежского государственного университета» основан в 1993 г. и первоначально издавался в двух сериях «Гуманитарные науки» и «Естественные науки», которые с 2000 по 2010 годы преобразовались в 12 серий более узкого направления. Серия «Философия», образованная в 2009 году, как и серия «Гуманитарные науки», публикует научные статьи и краткие сообщения с оригинальными результатами исследований, а также обзоры по всем разделам философии (в соответствии с рубрикатором ГРНТИ). Журнал предназначен для научных работников, преподавателей, аспирантов и студентов.

Кант же считал, что не следует говорить о мире как о множестве, т.е. рассматривать его с количественной <...> Серия: Философия ного всем значения, множество отсылок к основным свойствам наших характеров, иначе нам <...> Множество под­ ходов к обсуждаемым вопросам демонстрирует необходимость дальней­ шего осмысления данной <...> Работая в области классической логики, Хинтикка стал известен тем, что ввел в употребление понятия модельного <...> Метод модельных множеств весьма удобен для построения доказательства полноты логических систем, в дальнейшем

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

Моделирование и принятие решений в организационно-технических системах. В 2 ч. Ч. 1 [учеб. пособие]

Автор: Аксенов К. А.
М.: ФЛИНТА

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

Полагаем, что параметр gp определяется выбранной стратегией si, и вводим два счетчика: счетчик модельных <...> Выполняем модельные шаги для модельных множеств на глубину gp. <...> Повторяем модельные шаги до достижения Cmgp=gp. <...> Выполнение активных действий агента происходит на текущем шаге модельного времени Execute AD Agent GA <...> Машина вывода выполняет в момент запуска подготовительный этап — устанавливает значение модельного времени

Предпросмотр: Моделирование и принятие решений в организационно-технических системах. В 2 ч. Ч. 1.pdf (0,3 Мб)
15

№5 [Кристаллография, 2017]

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

Задается некоторое множество А принципиально совмещаемых друг с другом объектов (множество точек пространства <...> , множество функций, принадлежащих определенному классу, множество атомов в кристаллическом пространстве <...> вершин разбиения Пенроуза представляется в виде модельного множества , , где – целочисленная четырехмерная <...> множеств и их графов. <...> ПОСЛОЙНЫЙ РОСТ НЕКОТОРЫХ ПОДГРАФОВ ГРАФА ПЕНРОУЗА Пусть множество A является подмножеством множества

Предпросмотр: Кристаллография №5 2017.pdf (0,1 Мб)
16

Экономико-математические методы и модели учеб. пособие

Автор: Гетманчук А. В.
М.: ИТК "Дашков и К"

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

множество (универсум) — множество, содержащее все мыслимые объекты;  упорядоченное множествомножество <...> Множество A содержится во множестве B (множество B включает множество A), если каждый элемент A есть <...> Разумеется, этот натуральный ряд — чисто модельное множество возможных значений, к которому мы сейчас <...> Модельное описание предприятий АПК отражает структуру технологических связей производства и управления <...> Это дает основание проводить модельные эксперименты, обосновывающие принципиальную экономическую эффективность

Предпросмотр: Экономико-математические методы и модели.pdf (0,6 Мб)
17

Экономико-математические методы и модели учеб. пособие

Автор: Гетманчук А. В.
М.: ИТК "Дашков и К"

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

множество (универсум) — множество, содержащее все мыслимые объекты;  упорядоченное множествомножество <...> Множество A содержится во множестве B (множество B включает множество A), если каждый элемент A есть <...> Разумеется, этот натуральный ряд — чисто модельное множество возможных значений, к которому мы сейчас <...> Модельное описание предприятий АПК отражает структуру технологических связей производства и управления <...> Это дает основание проводить модельные эксперименты, обосновывающие принципиальную экономическую эффективность

Предпросмотр: Экономико-математические методы и модели Учебное пособие для бакалавров.pdf (0,5 Мб)
18

№1 [Педагогические технологии, 2016]

Журнал "Педагогические технологии" - научно-методическое издание кафедры образовательной технологии АПКиППРО, осуществляемое при участии Научно-исследовательского института школьных технологий. Это профессиональный журнал для технологов образования: научных работников, преподавателей и аспирантов педагогических образовательных учреждений, системы повышения квалификации, методистов и специалистов.

с пла34 При использовании задачного подхода к организации учебного процесса на основе проблемного, модельного <...> Из множества понятий А.А. <...> Мир как множество пространств. <...> (1.1), где С — свойства всего объекта (множества), ki — свойства отдельных компонентов объекта (множества <...> Поппер) позволяет отнести модельное множество к научным концепциям.

Предпросмотр: Педагогические технологии №1 2016.pdf (0,1 Мб)
19

Прототипические и непрототипические единицы в языке

Автор: Ковалева Лия Матвеевна
ФГБОУ ВПО "ИГЛУ"

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

Понятие возможного мира восходит к понятию «модель» (модель первопорядковой логики), а понятие модельного <...> множества является основой теории возможного мира. <...> «Модельное множество представляет собой описание возможных положений дел» (там же, 44). <...> Даля, ещё множество действий, предпринимаемых субъектом для достижения своей цели. <...> либо на логографическом, либо на силлабическом, либо на альфабетическом типе письменности, является модельной

Предпросмотр: Прототипические и непрототипические единицы в языке.pdf (1,7 Мб)
20

№6 [Вестник Московского университета. Серия 7. Философия, 2013]

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

Приблизительно потому, что Гавриил читал множество предметов, в том числе богословие и церковное право <...> Факт существования множества взаимоисключающих позиций признается нормальным для «свободного» философского <...> Конкретное бытие в учении Лосского есть индивидуальное целое, содержащее в себе бесконечное множество <...> Сейчас в мире успешно проводится множество операций, о которых ранее не могли помыслить не только люди <...> Параполное модельное множество . . . . . . . . . 4 80 Религиоведение В е в ю р к о И.С.

Предпросмотр: Вестник Московского университета. Серия 7. Философия №6 2013.pdf (0,2 Мб)
21

Информатика 2 класс метод. рекомендации для учителя

Автор: Петухова
ГОУ ОГУ

множеств. <...> План урока 1 Множество. Элемент множества. Игра « Аукцион множеств». 2 Практическая работа. <...> Ход урока Множество. Элемент множества. Учитель называет, одним словом множество. <...> ; множества цветов и бабочек (не пересекаются): множество цифр и множество букв русского алфавита (0,3 <...> Какое множество больше: множество учеников в классе или множество конфет?

Предпросмотр: Информатика 2 класс.pdf (0,5 Мб)
22

№8 [Автоматизация, телемеханизация и связь в нефтяной промышленности, 2019]

Разработка и сервисное обслуживание средств измерения, автоматизации, телемеханизации и связи, АСУТП, ИИС, САПР и метрологическому, математическому, программному обеспечению

Иными словами, "модельные ожидания управленцев" оказались существенно завышенными. <...> Универсальные платформы интегрированного модельного анализа [17, 18 ], имея высокий уровень детальности <...> ОБУЧАЮЩИЕ СИСТЕМЫ Автоматизация, телемеханизация и связь в нефтяной промышленности 8(553)2019 18 сальные модельные <...> Для каждого из шести параметров, значения которых считываются датчиками, формируется множество термов <...> Поскольку причинно-следственные связи устанавливаются не только между элементами множеств X и Y, но и

Предпросмотр: Автоматизация, телемеханизация и связь в нефтяной промышленности №8 2019.pdf (1,0 Мб)
23

Нейронные сети учеб. пособие

Автор: Горожанина Е. И.
Изд-во ПГУТИ

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

Обучающее множество состоит лишь из входных векторов. <...> Повторять шаги с 1 0 по 4 0 для каждой пары обучающего множества до тех пор, пока ошибка на всем множестве <...> Из списка "Способ разделения исходного множества" выбирается порядок отбора записей во все три множества <...> Затем необходимо указать, какие множества будут применяться. <...> Если флажок сброшен, то множество использовано не будет.

Предпросмотр: Нейронные сети учебное пособие.pdf (0,6 Мб)
24

Пособие по математике для поступающих в вузы учеб. пособие

Автор: Руцкова И. Г.
ГОУ ОГУ

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

число, это множество N. <...> {x| P} – множество элементов x, удовлетворяющих условию P. ∅ − пустое множество. <...> множеству M». ∃! <...> множество X в (на) множество Y. <...> XY:f →−1 − функция, обратная к функции f, отображающая множество Y в (на) множество X.

Предпросмотр: Пособие по математике для поступающих в вузы.pdf (0,9 Мб)
25

Уравнения теории поля и алгебры Клиффорда [монография]

Автор: Марчук Н. Г.
Регулярная и хаотическая динамика

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

Очевидно, что множество K(t(k)) — множество 4 × 4-матриц со всеми нулевыми элементами за исключением <...> Множества W(Cℓ(p, q)), SW(Cℓ(p, q)) замкнуты по отношению к клиффордову умножению, а множества w(Cℓ(p <...> Множества W(Cℓ(p, q)), SW(Cℓ(p, q)) рассматриваются как группы Ли, а множества w(Cℓ(p, q)), sw(Cℓ(p, <...> Множество h-форм будем обозначать через H(n), а множества h-форм рангов k = 0, 1, . . . , n будем обозначать <...> Множество Λ0 отождествляется с множеством скалярных комплекснозначных функций на X1,3.

Предпросмотр: Уравнения теории поля и алгебры Клиффорда.pdf (0,3 Мб)
26

Оценивание параметров распределения ограниченной случайной величины, робастное к нарушению границ [Электронный ресурс] / Лисицин, Гаврилов // Научный вестник Новосибирского государственного технического университета .— 2016 .— №2 .— С. 70-89 .— Режим доступа: https://rucont.ru/efd/610305

Автор: Лисицин

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

При использовании традиционного подхода к решению задачи оценивания определяется множество допустимых <...> Обозначим множество решений задачи оценивания при традиционном подходе через m , а при обобщенном подходе <...> Отметим, что для М-оценок мы различаем множество решений задачи оптимизации или системы оценочных уравнений <...> и множество решений задачи оценивания. <...> Будем считать, что множества таких предельных значений для оценок, получаемых в рамках традиционного

27

Теория автоматов и формальных языков метод. указания к выполнению курсовой работы

Автор: Ишакова Е. Н.
ОГУ

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

символов грамматики (обычно прописные латинские буквы); VT множество терминальных символов грамматики <...> правил вывода грамматики, являющееся конечным подмножеством множества (VTVN) +  (VTVN) * ; элемент <...> Описание синтаксиса модельного языка М с помощью диа Описание синтаксиса модельного языка М с помощью <...> Множество всех строк, допускаемых распознавателем, называется языком распознавателя. <...> Составим ЛА для модельного языка М.

Предпросмотр: Теория автоматов и формальных языков.pdf (0,3 Мб)
28

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

Автор: Иванченко

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

Модельное время T0 увеличивается на продолжительность изучения/тестирования. <...> Формируется контейнер C из множества входных вершин графа G и пустой контейнер C1. <...> Фиксируется время получения оценки ti, равное текущему модельному времени. <...> Запись алгоритма 2 на псевдокоде: C = множество входных вершин графа G; C1 = пустое множество; T0 = 0 <...> Булевы алгебры, упорядоченные множества, решетки: Определения, свойства, примеры. 2-е изд.

29

Формализация моделей выполнения функциональных блоков IEC 61499 [Электронный ресурс] / Дубинин, Вяткин // Известия высших учебных заведений. Поволжский регион. Технические науки .— 2011 .— №1 .— С. 12-23 .— Режим доступа: https://rucont.ru/efd/269531

Автор: Дубинин
М.: ПРОМЕДИА

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

FB = {fb1, fb2, …, fbn} – множество ФБ, входящих в систему и подлежащих исполнению. <...> EIj = {ei1j, ei2j, …, eikj} – множество событийных входов блока fbj. <...> Обозначим FBa = {fbFB | activeFB(fb)} – множество активных ФБ в текущий момент модельного времени. <...> Определим FBe = {fbFB | enabled(fb)} – множество разрешенных ФБ. <...> Обозначим prefb – множество предшественников блока fb по отношению EvConn.

30

ТЕХНОЛОГИЯ СПЕКТРАЛЬНО-ВРЕМЕННОГО АНАЛИЗА НЕСТАЦИОНАРНЫХ КОЛЕБАТЕЛЬНЫХ СИГНАЛОВ МЕХАНИЧЕСКИХ СИСТЕМ [Электронный ресурс] / Гетманов // Проблемы машиностроения и автоматизации .— 2010 .— №2 .— С. 121-129 .— Режим доступа: https://rucont.ru/efd/425196

Автор: Гетманов

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

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

31

Основы распределенной обработки информации учеб. пособие

Автор: Царев Р. Ю.
Сиб. федер. ун-т

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

Во-вторых, если данная сеть N для формирования алгоритмов имеет множество источников R (|R| > 1) и множество <...> Множество П всех случайных акций изоморфно выпуклой оболочке множества ε допустимых детерминированных <...> °ti (ti°) называется множеством входных (выходных) позиций перехода ti, а множество °pj (pj°) – множеством <...> Множество процессов Pzr, заявленных и готовых к выполнению, которые в модели представлены множеством <...> вызовов из множества функциональных объектов типа А (также их множество обычно определяется типом).

Предпросмотр: Основы распределенной обработки информации.pdf (0,6 Мб)
32

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

Автор: Новоселова

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

Особенностью МАИТ является формирование модельного представления автоматизируемых задач, которое инвариантно <...> представлений редко используемых на практике; – отсутствие формального описания указанных модельных <...> их свойств; ijkfR – множество связей между указанными компонентами. <...> Для каждого функционального компонента выделено множество деревьев { }ijkfsT , для интерфейсного – множество <...> Данные множества как результат выполнения этапа могут быть описаны множеством выходных спецификаций {

33

АГРЕГИРОВАНИЕ МУЛЬТИМЕТРИЧЕСКИХ ОПИСАНИЙ ПО РАССТОЯНИЯМ МЕЖДУ НЕРАЗМЕЧЕННЫМИ ОБЪЕКТАМИ [Электронный ресурс] / Суворов, Майсурадзе // Журнал вычислительной математики и математической физики .— 2017 .— №2 .— С. 168-179 .— Режим доступа: https://rucont.ru/efd/591242

Автор: Суворов

Рассматривается ситуация, когда в задаче распознавания на множестве объектов задано несколько различных полуметрик. Ставится и исследуется задача агрегирования расстояний на основе неразмеченной выборки. Иными словами, рассматривается задача сокращения размерности мультиметрических описаний без учителя. Указанная задача сводится к задаче аппроксимации исходных расстояний в форме оптимальной матричной факторизации с дополнительными метрическими ограничениями. Для точного решения поставленной задачи предлагается метод метрической неотрицательной матричной факторизации. По постановке задачи и процедуре решения метод для метрических данных является аналогом метода главных компонент для признаковых описаний. Доказывается, что добавление метрических требований не снижает качества аппроксимации. Работа метода демонстрируется на модельных и реальных данных. Библ. 30. Фиг. 3. Табл. 5

Работа метода демонстрируется на модельных и реальных данных. Библ. 30. Фиг. 3. Табл. 5. <...> Пусть на непустом множестве объектов задано полуметрик , …, . <...> Этот эффект будет показан ниже на модельных данных. 6. <...> Корректные алгебры над множествами некорректных (эвристических) алгоритмов. <...> Корректные алгебры над множествами некорректных (эвристических) алгоритмов.

34

Эвристические нейросетевые модели в биофизике: приложение к проблеме структурно-функционального соответствия [монография]

Автор: Барцев С. И.
Сиб. федер. ун-т

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

Что такое эвристический модельный объект? <...> между элементами множества. <...> Пусть S и T – множества. <...> (множество выходов); Q – конечное множество внутренних состояний; f : Q × X → Q – функция перехода; <...> между элементами этих множеств.

Предпросмотр: Эвристические нейросетевые модели в биофизике приложение к проблеме структурно-функционального соответствия монография.pdf (2,3 Мб)
35

Разработка компиляторов метод. указания к курсовой работе

Автор: Ишакова Е. Н.
ГОУ ОГУ

Методические указания предназначены для выполнения курсовой работы по дисциплине "Теория языков программирования и методов трансляции" для студентов специальности 220400 "Программное обеспечение вычислительной техники и автоматизированных систем".

Формальной грамматикой называется четверка вида: ),,,( SPVVG NT= , (1.1) где VN конечное множество нетерминальных <...> символов грамматики (обычно прописные латинские буквы); VT множество терминальных символов грамматики <...> (обычно строчные латинские буквы, цифры, и т.п.), VT ∩VN =∅; Р – множество правил вывода грамматики, <...> являющееся конечным подмножеством множества (VT∪ VN)+ × (VT∪ VN)*; элемент (α, β) множества Р называется <...> Описание синтаксиса модельного языка М с помощью диа Описание синтаксиса модельного языка М с помощью

Предпросмотр: Разработка компиляторов.pdf (0,2 Мб)
36

Количественный подход к прогнозированию светостойкости полимерных материалов [Электронный ресурс] / Кутыркин // Инженерный журнал: наука и инновации .— 2013 .— №9 .— Режим доступа: https://rucont.ru/efd/276614

Автор: Кутыркин
М.: Изд-во МГТУ им. Н.Э. Баумана

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

и 2v  , то ( , ) min{ ( , ) :v U v u   }u U – расстояние Хаусдорфа между множеством U и точкой <...> Если 2V   – еще одно непустое замкнутое и ограниченное множество, то ( , ) max{max{ ( , ) :U V u V <...>   },u U max{ ( , ) : }}v U v V  – расстояние Хаусдорфа между множествами U и V . <...> . (16) Используя (16) и его границу 1( ( ))Sgr F , назовем графиком 1( )gr F функции 1F замкнутое множество <...> Его работоспособность продемонстрирована на конкретном модельном примере.

37

Восстановление пространственной структуры древовидных объектов на основе нечеткого поля направлений [учеб. пособие]

Издательство СГАУ

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

Рассмотрим фактор-множество множества отрезков прямых. <...> Полученное таким образом множество (отрезков прямых) является множеством направлений, а его элементы <...> Модельное изображение представляет собой искусственно сгенерированное изображение ветви древовидного <...> Пример модельного изображения проекции приведен на рис. 2.5. <...> Рис. 2.5 Примеры модельных изображений проекций Для исследований использовались полутоновые изображения

Предпросмотр: Восстановление пространственной структуры древовидных объектов на основе нечеткого поля направлений.pdf (0,3 Мб)
38

ПРОГРАММНЫЙ КОМПЛЕКС ДЛЯ ПОСТРОЕНИЯ ПРИКЛАДНЫХ МОДЕЛЕЙ И МЕТАМОДЕЛЕЙ НА ОСНОВЕ ПРИНЦИПОВ МАТЕМАТИЧЕСКОГО ПРОГРАММИРОВАНИЯ [Электронный ресурс] / Чернышов, Абасов // Вестник Российского университета дружбы народов. Серия: Информатизация образования .— 2013 .— №3 .— С. 37-48 .— Режим доступа: https://rucont.ru/efd/407148

Автор: Чернышов

Описывается программный комплекс (ПК), разработанный авторами на основе языка LMPL и представляющий собой средство синтеза прикладных программных моделей и метамоделей, строящихся на основе принципов математического программирования (МП). Язык LMPL обеспечивает наглядную форму декларативного представления МП-моделей, предусматривает автоматическое построение и преобразование моделей, а также возможность подключения внешних программных пакетов. Реализованы прикладные программные версии ПК, рассчитанные на модельное представление процесса выбора оптимальных режимов ГЭС (на основе принципа метамоделирования), представление логико-смысловых связей между моделями множества дискурсивных формаций в метамодели дискурса.

Реализованы прикладные программные версии ПК, рассчитанные на модельное представление процесса выбора <...> ММ предполагает получение модельного представления процесса выбора оптимальных режимов функционирования <...> БЗ в ММ содержит фрагменты различных типов модельного представления режимов, для которых можно выделить <...> Пример модельного представления процесса выбора оптимальных режимов ГЭС, полученного на основе принципа <...> Пример модельного представления процесса выбора оптимальных режимов функционирования ГЭС, полученного

39

Сравнительное исследование кластерного и нейросетевого подходов в задаче анализа белковых структур [Электронный ресурс] / Баранов, Ососков, Баранов // Вестник Российского университета дружбы народов. Серия: Математика, информатика, физика .— 2014 .— №2 .— С. 236-240 .— Режим доступа: https://rucont.ru/efd/404425

Автор: Баранов

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

алгоритмов подтверждается положительными результатами, полученными на основе специально подготовленных модельных <...> Для преодоления данной особенности был предложен алгоритм кластерного разбиения всего множества сортов <...> Для решения данной проблемы был предложен метод кластерного разбиения множества сортов на отдельные сортовые <...> классификации даёт возможность обучения нейросети на отдельных группах, позволяя охватить все сортовое множество <...> В приведённой ниже таблице представлены результаты кластерного разбиения множества модельных данных,

40

Основы инновационного менеджмента научно-производственного предприятия учеб. пособие

Автор: Калюжный И. Л.
М.: Проспект

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

в модельном ряду изделий. <...> Схема построения модельных рядов усилителей мощности Выбранная схема построения УМ устанавливает множество <...> Каждое изделие может быть представлено как набор блоков из множества m, выпускаемого предприятием. <...> Необходимо для множества возможных вариантов построения группы усилителей и множества вариантов блоков <...> Таким образом, проект PRi представляет собой множество работ и связанное с ним множество событий.

Предпросмотр: Основы инновационного менеджмента и научно-производственного предприятия. Учебное пособие..pdf (0,2 Мб)
41

Методы моделирования и оптимизации учеб. пособие

Автор: Ваняшин С. В.
Изд-во ПГУТИ

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

В первом случае модельное время продвигается на некоторую величину t∆ . <...> После этого модельное время снова продвигается на величину t∆ , и процедура повторяется. <...> Конечный автомат имеет множество внутренних состояний и входных сигналов, являющихся конечными множествами <...> Модельное время устанавливается t = t0= 0. <...> Для этого модельному даётся некоторое приращение dt.

Предпросмотр: Методы моделирования и оптимизации учебное пособие.pdf (0,1 Мб)
42

ОБ ИНТЕРПРЕТАЦИИ БОЛЬШИХ ОБЪЕМОВ ДАННЫХ ГРАВИМАГНИТОРАЗВЕДКИ С ПОМОЩЬЮ МОДИФИЦИРОВАННОГО МЕТОДА S-АППРОКСИМАЦИЙ [Электронный ресурс] / Степанова, Раевский, Щепетилов // Физика Земли .— 2017 .— №1 .— С. 123-137 .— Режим доступа: https://rucont.ru/efd/591993

Автор: Степанова

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

Нам известен некоторый функционал задающий отношение предпочтений на множестве приближенных решений СЛАУ <...> приближенных решения и СЛАУ (1), удовлетворяющих условию = Тогда функционал задает отношение предпочтения на множестве <...> В этом случае функционал = = задает отношение предпочтения на множестве решений приближенных решений. <...> Модельный пример № 1 В настоящем модельном примере рассматривается область от 0 до 20 км по оси OX и <...> Модельный пример № 2 В настоящем модельном примере рассматривается область от 0 до 30 км по оси OX и

43

МОДЕЛИРОВАНИЕ ПРОЦЕССОВ СОЗДАНИЯ, ФУНКЦИОНИРОВАНИЯ И РАЗВИТИЯ ПРИКЛАДНЫХ АВТОМАТИЗИРОВАННЫХ СИСТЕМ НА БАЗЕ МЕТОДОЛОГИИ АВТОМАТИЗАЦИИ ИНТЕЛЛЕКТУАЛЬНОГО ТРУДА [Электронный ресурс] / Тюрбеева, Волкова, Григорьев // Известия высших учебных заведений. Поволжский регион. Технические науки .— 2013 .— №4 .— С. 189-198 .— Режим доступа: https://rucont.ru/efd/552473

Автор: Тюрбеева

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

МАИТ является то, что она обусловливает промышленный способ создания ПАС и обеспечивает формирование модельных <...> элементов системы, состоящее из подмножества модельных представлений 1MX и подмножества элементов системы <...> связей между объектами модельных представлений, документирования, этапами и действиями. <...> свойств элементов среды, SRR – множество связей между элементами среды; SRMR – множество связей между <...> элементов системы, состоящее из подмножества модифицированных модельных представлений 1PXΔ и подмножества

44

РЕГУЛЯРНОСТЬ РЕШЕНИЙ МОДЕЛЬНОЙ ЗАДАЧИ ВЕНТЦЕЛЯ ДЛЯ КВАЗИЛИНЕЙНЫХ ПАРАБОЛИЧЕСКИХ СИСТЕМ С НЕГЛАДКИМИ ПО ВРЕМЕНИ ГЛАВНЫМИ МАТРИЦАМИ [Электронный ресурс] / Архипова // Журнал вычислительной математики и математической физики .— 2017 .— №3 .— С. 96-116 .— Режим доступа: https://rucont.ru/efd/591271

Автор: Архипова

В работе рассматривается задача Вентцеля в модельной постановке для квазилинейных параболических систем уравнений с недиагональными главными матрицами. Предполагается только ограниченность главных матриц системы и краевого условия по временной переменной. Доказана частичная гладкость обобщенных решений (непрерывность по Гёльдеру на множестве полной меры вплоть до поверхности, на которой определено условие Вентцеля) Для доказательства применяется метод A(t)-калорической аппроксимации. Библ. 26.

Похожаева посвящается РЕГУЛЯРНОСТЬ РЕШЕНИЙ МОДЕЛЬНОЙ ЗАДАЧИ ВЕНТЦЕЛЯ ДЛЯ КВАЗИЛИНЕЙНЫХ ПАРАБОЛИЧЕСКИХ <...> Матрица определена и удовлетворяет условиям Каратеодори на множестве . <...> Мы рассмотрим также -калорические функции на множестве . <...> Определим множество (5.32) Очевидно, что для точек множества можно зафиксировать параметры и так, чтобы <...> Определим множество (5.33) и заметим, что если , то .

45

МЕТОД РАСШИФРОВКИ ДАННЫХ ТЕКСТУРНОГО РЕНТГЕНОДИФРАКЦИОННОГО АНАЛИЗА ПО ОДНОЙ ПРЯМОЙ ПОЛЮСНОЙ ФИГУРЕ НА ОСНОВЕ ОЦЕНКИ ДОСТОВЕРНОСТИ КРИСТАЛЛОГРАФИЧЕСКИХ ОРИЕНТАЦИЙ [Электронный ресурс] / Мокрова, Милич // Химическая физика и мезоскопия .— 2018 .— №1 .— С. 151-162 .— Режим доступа: https://rucont.ru/efd/684685

Автор: Мокрова

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

Результаты обработки модельных и реальных ППФ верифицированы с использованием RP-фактора, значения которого <...> алюминия, снятая для семейства {111} (а); ее трехмерная модель (б) Текстуру можно рассматривать, как множество <...> Пример модельной текстуры на прямоугольной сетке (а); модельная полюсная фигура (б); 3D модель прямой <...> Множество квадратов, повернутых на разные углы, представляет некую модельную текстуру. <...> Текстурная компонента представляет собой множество близких ориентаций с небольшим углом разориентации

46

МЕТОД ФОРМИРОВАНИЯ СБАЛАНСИРОВАННОЙ ПРОДУКТОВОЙ ЛИНЕЙКИ ПРОМЫШЛЕННЫХ ГАЗОТУРБИННЫХ ДВИГАТЕЛЕЙ ХОЛДИНГОВОЙ КОМПАНИИ [Электронный ресурс] / А.А. Михайлов // Экономический анализ: теория и практика .— 2016 .— №12 .— С. 68-85 .— Режим доступа: https://rucont.ru/efd/553209

Автор: Михайлов Андрей Александрович

Предмет. Зачастую перед вновь сформированными холдинговыми компаниями возникает вопрос повышения эффективности вошедших в них дочерних предприятий, в том числе за счет повышения результативности финансовой деятельности. Учитывая, что в последние несколько десятилетий в секторе высокотехнологичной продукции был кризис производства, то при объединении предприятий в холдинги одним из ключевых вопросов становится формирование востребованного рынком перечня товаров и услуг Цели. Так как двигателестроительные предприятия, как правило, являются мультипродуктовыми, то при решении задачи выбора приоритетного модельного ряда необходимо проводить комплексную оценку, связанную не только с получением быстрого экономического эффекта, но и обеспечением поддержки двигателей, находящихся в эксплуатации. Методология. Определение сбалансированной продуктовой линейки промышленных газотурбинных двигателей базируется на системном подходе, с помощью частных моделей проводится поэтапное сравнение и выбор наилучшего образца среди альтернативных вариантов двигателей в одном классе мощности. Результаты. Расчеты, проведенные с помощью разработанной методики, позволили из 34 типов промышленных газотурбинных двигателей, формирующих модельный ряд АО «Объединенная двигателестроительная корпорация», выделить 10 типов двигателей, для которых целесообразно принятие решения о прекращении их производства в 2016–2018 гг. Выводы. Разработан методический аппарат, позволяющий определить сбалансированную продуктовую линейку промышленных газотурбинных двигателей мультипродуктовой холдинговой компании. Он позволил не только выделить лучшие образцы промышленных двигателей из модельного ряда, но и определить точки принятия решения о прекращении производства двигателей, не вошедших в приоритетный модельный ряд.

Описанное проще рассмотреть на примере кругов Эйлера (рис. 1), где множество А – модельный ряд промышленных <...> газотурбинных двигателей; Б – множество конкурентоспособных ГТД; В – множество конкурентоспособных двигателей <...> ; Д – множество двигателей, имеющих положительный опыт эксплуатации. <...> А – модельный ряд промышленных газотурбинных двигателей; Б – множество конкурентоспособных газотурбинных <...> двигателей; В – множество конкурентоспособных двигателей, обладающих спросом; Г – множество двигателей

47

ИМПУЛЬСНЫЙ ВЫСОКОВОЛЬТНЫЙ МОДУЛЯТОР С ЧАСТИЧНЫМ РАЗРЯДОМ ЕМКОСТНОГО НАКОПИТЕЛЯ [Электронный ресурс] / А.В. Щербаков // Вестник Московского энергетического института .— 2017 .— №1 .— С. 51-58 .— Режим доступа: https://rucont.ru/efd/572110

Автор: Щербаков Александр Владимирович

Для стационарных импульсных высоковольтных устройств, когда нет жестких требований по массогабаритным показателям, модулятор с частичным разрядом емкостного накопителя может быть конкурентоспособным модулятору с полным разрядом емкостного накопителя. Коммутатор должен быть «жестким» по управлению, иметь малое прямое падение напряжения на открытом приборе, термокатод, работающий в режиме пространственного заряда, должен обеспечивать заданную длительность импульса и частоту повторения. Использование в качестве «жесткого» коммутатора новых высоковольтных модуляторных ламп, электроннолучевых вентилей с малыми потерями мощности на аноде и высокопервеансными электронно-оптическими системами, например типа ЭЛВ 50/100, позволяют создавать последовательные или параллельные схемы модуляторов мощностью более 1 МВт вполне конкурентоспособные схемам, созданным на основе соединенных последовательно большого количества сравнительно низковольтных полупроводниковых коммутаторов Параметры импульсов, сформированных таким модулятором, при правильном расчете, согласно общеизвестным методикам, в широких пределах практически не зависят от изменения величины активного сопротивления нагрузки, а сами силовые схемы не боятся воздействия любого вида внешнего электромагнитного или рентгеновского излучения. Рассматриваются две основные схемы построения модуляторов: параллельная, формирующая импульс отрицательной полярности, и последовательная, формирующая импульсы как положительной, так и отрицательной полярности. Нагрузка модуляторов должна иметь активное сопротивление, не менее чем в 10 раз превышающее сопротивление анод-катод открытого коммутатора. Для возможности оперативного и наглядного определения предельных значений режимов работы коммутаторов, сопротивления нагрузки и оптимизации номиналов электротехнических элементов модулятора проводится компьютерное моделирование электрической схемы в программе EWB.

Падение напряжения коллектор-эмиттер множества соединенных последовательно высоковольтных транзисторов <...> силовые электротехнические элементы для каждого транзистора, обеспечивающие уравнивание фронтов включения множества <...> Схема анодного ИМ параллельного типа: а — модельная схема; б — модельная осциллограмма и режим работы <...> коммутатора на основе ЭЛВ близки к электрическим характеристикам коммутатора, собранного на основе множества <...> Схема анодного ИМ последовательного типа: а — модельная схема; б — модельная осциллограмма и режим работы

48

ИМИТАЦИОННОЕ МОДЕЛИРОВАНИЕ ПРОЦЕССА ДИАГНОСТИРОВАНИЯ СЛОЖНОЙ ТЕХНИЧЕСКОЙ СИСТЕМЫ С ВЫСОКИМ УРОВНЕМ АВТОНОМНОСТИ ФУНКЦИОНИРОВАНИЯ [Электронный ресурс] / Г.Н. Мальцев, А.В. Назаров, В.Л. Якимов // Информационно-управляющие системы .— 2016 .— №4 .— doi:10.15217/issn1684-8853.2016.4.34 .— Режим доступа: https://rucont.ru/efd/480923

Автор: Мальцев Г. Н.

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

При этом формирование множества частично работоспособных состояний представляет собой отдельную задачу <...> параметров как между собой, так и по отношению к множеству НС не позволяет с высокой достоверностью <...> Число текущих состояний, образующих множество S  (S0, S1, S2, …, S11), определяется логикой и уровнем <...> Все процессы в модели синхронизированы, а их длительность определяется модельным временем. <...> Накопив статистику значений величины Ta(j) по результатам множества экспериментов, можно построить функцию

49

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

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

совпадает с множеством , а множество совпадает с множеством . <...> Общий метод построения модельного уравнения для одноатомных газов был предложен в [1], где получено модельное <...> ОСНОВНЫЕ ОСОБЕННОСТИ МОДЕЛЬНОГО УРАВНЕНИЯ РЕЛАКСАЦИОННОГО ТИПА Модельное кинетическое уравнение релаксационного <...> Обозначим множество таких предикатов через и множество через . <...> Входом являются множество “красных” элементов , множество “синих” элементов и набор подмножеств множества

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

№3 [Проблемы экономики и управления нефтегазовым комплексом, 2017]

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

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

Предпросмотр: Проблемы экономики и управления нефтегазовым комплексом №3 2017.pdf (0,7 Мб)
Страницы: 1 2 3 ... 2505