Без темы
<<  Институт необходимой обороны Институт социальных технологий  >>
Картинок нет
Картинки из презентации «Институт системного анализа РАН» к уроку обществознания на тему «Без темы»

Автор: Osipov. Чтобы познакомиться с картинкой полного размера, нажмите на её эскиз. Чтобы можно было использовать все картинки для урока обществознания, скачайте бесплатно презентацию «Институт системного анализа РАН.ppt» со всеми картинками в zip-архиве размером 654 КБ.

Институт системного анализа РАН

содержание презентации «Институт системного анализа РАН.ppt»
Сл Текст Сл Текст
1ИНСТИТУТ СИСТЕМНОГО АНАЛИЗА РАН 30таких систем и их управляемости (в смысле
Г.С.Осипов gos@isa.ru. Структура компенсации возмущений и в смысле
достижимых состояний динамических систем, достижимости) о связи архитектур баз
основанных на правилах. знаний с достижимостью состояний и
2Введение. Около 20 лет исследуются так существованием планов поведения.
называемые гибридные динамические системы, Динамическая система с целенаправленным
в которых присутствуют как континуальная поведением.
так и дискретная части: дифференциальные 31Классификация динамических систем,
автоматы, модель Нерода-Кона, модель основанных на правилах. Система H1: П=?С,
Брокета и некоторые другие. Поведение P(t, y), ??, P(t, y) – добавляемый факт;
таких систем изучается посредством Система H2: П=?С, P(t, y), Ф (t, z) ? ,
топологизации состояний и сведения задчи к P(t, y) – добавляемый факт, Ф (t, z) -
методам, применяемым обычно в системах с удаляемый факт; Система H3: П1=?С, {P(t,
континуальными переменными. y)}, {Ф (t, z)} ? {P(t, y)} –множество
3Введение. Системы, которые в отличие добавляемых фактов, {Ф (t, z)} - множество
от гибридных систем обладают более сложно удаляемых фактов.
устроенными состояниями чем таблица 32Классификация динамических систем,
состояний «дискретной» части или вектор основанных на правилах. S0 – начальное
фазового пространства «континуальной» состояние систем H2 и H3. Система H21: H2,
части гибридной системы. Область где P ? Ф = ? Система H22: H2, где S0 ? Ф
применения - моделирование искусственных, = ? Система H31: Н3, где P ? Ф1 = ?
экологических, биологических и иных Система H32: Н3, где S0 ? Ф2 = ? Система
систем, структура которых и состояния не H33: Н3, где P ? Ф ? ? ?S0 ? Ф ? ?, Ф = Ф1
имеют априорного, а законы поведения и его ? Ф2.
цели - аналитического описания. 33Р – объединение фактов, добавляемых
4Системы, основанные на знаниях. всеми правилами; Ф – объединение фактов,
Известны: множество высказываний о удаляемых всеми правилами; S0 – начальное
значениях лингвистических или логических состояние; Предельные состояния.
переменных; экспертные или эмпирические 34Система Н1: S0 ? Р; Системы Н21, Н31 :
правила, связывающие наблюдаемые значения (S0 / Ф) ? Р; Системы Н22, Н32, Н33: -
переменных или значения высказываний с стабилизация состояний не наступает;
ненаблюдаемыми или прогнозируемыми. Предельные состояния.
5Системы, основанные на знаниях. Не 35Предельные траектории. В Н22, Н32, Н33
известны: точные описания состояний; наступает стабилизация траекторий со
точное описание динамики системы. второго «витка».
6Примеры. 12 мая температура воды 14 36Структура предельных состояний и
градусов 12 мая течение слабое Направление траекторий. Н1 н21 н22.
течения: северо-западное Соленость воды: 37Структура предельных состояний и
низкая Зоопланктон не размножается Цель: траекторий. Н1 н31 н32 н33.
изгнание соперника из стада Цель: облет 38Учет применимости правил.
станции. 39Сводка результатов. Устойчивость и
7Примеры. Правило 1. УСЛОВИЕ управляемость. Пусть I - некоторое
температура воды высокая, солёность низкая возмущение в состоянии Si, т.е. i=Si?{I}и
или средняя СПИСОК ДОБАВЛЯЕМЫХ ФАКТОВ имеет место ??I. Тогда для состояния Si+1
зоопланктон размножается СПИСОК УДАЛЯЕМЫХ имеем Si+1 = ?(?(?(Si?{I}))). Определение
ФАКТОВ зоопланктон не размножается. 1. Траектория ? называется устойчивой,
8Примеры. Правило 2. УСЛОВИЕ если для любого состояния Si?? и
зоопланктон размножается, течение слабое возмущения I ?(?(? (Si))) ? ?(?(?
СПИСОК ДОБАВЛЯЕМЫХ ФАКТОВ рост биомассы (Si?{Ii}))). Теорема 1. (достаточное
популяции, биомасса популяции (t+1) СПИСОК условие устойчивости) Если ? и ?
УДАЛЯЕМЫХ ФАКТОВ уменьшение биомассы монотонны, то траектория системы
популяции. устойчива. Определение 2. База правил R
9Примеры. Правило 3.(ВЫБОР ЦЕЛИ) полна в слабом смысле если найдется R1 –
УСЛОВИЕ направление линии визирования = подмножество R, и найдется S –
неизвестно СПИСОК ДОБАВЛЯЕМЫХ ФАКТОВ цель: подмножество L(R), что S -подмножество
= поиск станции СПИСОК УДАЛЯЕМЫХ ФАКТОВ A(R1) и пересечение S и D(R1) пусто, где
остальные цели. A(R1) - объединение множеств всех фактов,
10Примеры. Правило 4.(ВЫБОР ЦЕЛИ) добавляемых правилами из R1 , D(R1) -
УСЛОВИЕ угол (АL,V)??, резерв времени ?? объединение множеств всех фактов,
СПИСОК ДОБАВЛЯЕМЫХ ФАКТОВ цель: = удаляемых правилами из R1.
зависание СПИСОК УДАЛЯЕМЫХ ФАКТОВ 40Сводка результатов. Определение 3.
остальные цели. Если X - множество состояний модели, то
11Примеры. Правило 5. (ВЫЧИСЛЕНИЕ пара точек (x0,x1) в XґX называется
ВЕКТОРА И МОМЕНТА СИЛЫ) УСЛОВИЕ цель = N–достижимой, если существуют такие
сближение, дистанция = D, вектор линии управления U(j) НL (j=0,1,…,N-1), что x1
визирования = AL, угол промаха = ? СПИСОК Нx(N), при начальных условиях x(0) Н x0
ДОБАВЛЯЕМЫХ ФАКТОВ вектор силы := F(V,AL, ?U(0), где x(N) - решение уравнения
Ox, ?t), момент силы := M(?, F?, AL,V, Ox, состояния. Определение 4. Если пара точек
?t). (x0,x1) N–достижима и в траектории,
12Примеры. Правило 6.(ВЫБОР КОМБИНАЦИИ доставляющей решение уравнению (5.1)
ВКЛЮЧАЕМЫХ ДВИГАТЕЛЕЙ) УСЛОВИЕ nтакта= каждый факт Ф из x(N) встречается не
четный, ?F??0, угол (F,F(Cn))??? , ?F?- более, чем в одном правиле, то пара точек
?F(Cn)? ??? СПИСОК ДОБАВЛЯЕМЫХ ФАКТОВ (x0,x1) называется эффективно N –
C(t+1):= Cn СПИСОК УДАЛЯЕМЫХ ФАКТОВ C(t). достижимой. Теорема 3. База правил R полна
13Примеры. Правило 7.(ВЫБОР КОМБИНАЦИИ в слабом смысле тогда и только тогда,
ВКЛЮЧАЕМЫХ ДВИГАТЕЛЕЙ) УСЛОВИЕ nтакта= когда в XхX найдутся пара точек (x0 ,x1) и
нечетный, ?M??0, угол (M,M(Cn))?? ? , ?M?- управления U(j), такие что (x0 , x1 ) –
?M(Cn)? ??? СПИСОК ДОБАВЛЯЕМЫХ ФАКТОВ эффективно N - достижима. Определение 5.
C(t+1):= Cn СПИСОК УДАЛЯЕМЫХ ФАКТОВ C(t). База правил R полна, если для всякого
14Правила. Правило: П = < C, A, D Ф?L(R), Ф?А(R) и A(R)?D(R)=?, где A(R) -
>, C, A и D - множества атомарных объединение множеств всех фактов,
формул языка L - например, многосортный добавляемых правилами из R, D(R) -
язык исчисления предикатов первого объединение множеств всех фактов,
порядка. Факт – замкнутая атомарная удаляемых правилами из R. Определение 6.
формула языка L. Формула превращается в Система называется полностью достижимой,
факт в результате подстановок значений на если для любой пары точек (x0 , x1),
места переменных. найдется N, что пара (x0 , x1) является
15C – условие правила, A – множество эффективно N -достижимой. Теорема 4.
формул, таких, что соответствующие им Система полностью достижима, если и только
факты добавляются в состояние в результате если база правил R полна.
применения правила , D – множество формул, 41Сводка результатов. Существование
таких, что соответствующие им факты плана и достижимость Определение 7. Планом
удаляются из состояния в результате достижения состояния ? из состояния ?
применения правила . Для каждого правила будем называть последовательность П =
A?D=?. <(П1 ,U1), ( П2 ,U2), …, (Пk ,U k )>
16Правила. Два класса правил R? и R?. С правил П1 , П2 , …, Пk и управлений U1 ,
правилом класса R? связывается некоторое U2 ,…,U k удовлетворяющие следующим
действие, производимое исполнительным свойствам: 1)каждое правило
органом, либо процедура, вычисляющая и последовательности является допустимым; 2)
присваивающая некоторой переменой значения ?Н S (П1 , П2 , …, Пk). Определение 8.
некоторых атрибутов по значениям других Пусть Mi – состояние, которое достигнуто
атрибутов. С правилами класса R? не перед применением правила Пi+1. Правило Пi
связывается никаких действий, они не назовем результативным, если A(Пi)З Mi ?0.
изменяют окружающей действительности, но 42Сводка результатов. Теорема 5.
изменяют знания о ней. Следующая процедура есть процедура
17Динамические системы, основанные на планирования: 1.Пусть S есть целевое
правилах. Применение правил как средства состояние, Mi текущее состояние, а П1 , П2
описания состояний и динамики приводит к , …, Пk–множество результативных правил.
динамическим системам, основанным на 2. Пусть текущим является правило Пi ,
правилах. Включают: множество правил, тогда Mi-1 = Mi\ A(Пi ) ИC(Пi); 3.
рабочую память, стратегию управления. Выполняется проверка MjНMi-1 , где
18Рабочая память. Совокупность таблиц j>i-1. Если это выполняется, то текущим
или конечных отношений (таких, как, множеством целей становится Mi-1, в
например, в реляционных базах данных), противном случае текущим становится
количество которых соответствует правило Пi+1. 4. Если результативных
количеству различных предикатных символов правил не осталось, то текущим множеством
в правилах. Столбцы таблиц соответствуют целей становится Mi+1, правило же,
сортам индивидных переменных из приведшее к Mi считается неудачным.
предикатных символов. Правила остановки: 1. MiН S0 2. Mi =S и
19Рабочая память. Выполнимость и результативных правил не осталось. .
применимость: а) условие правила выполнено 43Сводка результатов. Теорема 6. Для
в текущем состоянии рабочей памяти тогда и всякой пары точек (x0 ,x1) ? XхX план П =
только тогда, когда все атомарные формулы П = <(П1 ,U1), (П2 ,U2), …, (Пk ,U k
условия выполнены в текущем состоянии )> существует тогда и только тогда,
рабочей памяти; б) атомарная формула когда (x0 , x1 ) – N - достижима.
выполнена в рабочей памяти тогда и только 44Публикации по теме. Gennady Osipov.
тогда, когда существует непустая Developing Models of a World with Regard
подстановка из соответствующей таблицы на for its Dynamics - General Principles.
места её индивидных переменных. Proc. of SCI'97 - World Multiconference on
20Стратегия управления 1. Выбирает Systemics, Cybernetics and Informatics,
некоторое правило из множества правил, Vol.3, Caracas, Venezuela, 1997. Gennady
проверяет выполнимость его условия в Osipov. Applied semiotics and intelligent
текущем состоянии рабочей памяти и, в control. Proc. of the Second Workshop on
случае выполнимости, применяет правило, Applied Semiotics 7-th Int. Conference
т.е. выполняет предписываемые правилом AIICSR’97, Slovakia, 1997 Gennady Osipov.
действия; иначе выбирает следующее правило Dynamics in Integrated Knowledge-Based
и повторяет с ним указанные действия. Systems. Proceedings of the 1998 IEEE
21Стратегия управления 1. Если множество `Symposium on Intelligent control,
правил упорядочено, например, в алфавитном Gaithersburg, MD, USA, 1998.
порядке (по первой букве, затем по второй 45Публикации по теме. Osipov G. Sazonova
и т.д.), то стратегия управления имеет L., Intelligent system for fish stock
следующий вид: 1.Выбрать очередное правило prediction and allowable catch evaluation.
Пi из множества правил; 2.Проверить Environmental modelling & software,
выполнимость условия Сi в текущем Elsevier Science Ltd., Volume 14, issue 5,
состоянии рабочей памяти; 3.Если Сi 1999 А.Б.Беляев, Е.П.Куршев , Г.С. Осипов.
выполнено, то подставить на места всех Интеллектуальная технология поддержки
свободных переменных в формулы из Сi, Аi и лечебно-диагностического процесса. Сб.
Di соответствующие значения параметров из Программные системы: Теоретические основы
базы данных. Иначе перейти к п.1; 4. и приложения. М. Наука, “Физматлит”, 1999.
Применить правило, т.е. записать в рабочую 46Публикации по теме. Осипов Г.С.
память те значения, на которых оказались Дискретные динамические модели, основанные
выполненными формулы из Аi и удалить из на знаниях: архитектура, планирование,
рабочей памяти значения, на которых управляемость. Труды 4-го международного
оказались выполнены формулы из Di. Перейти семинара по прикладной семиотике,
к п.1. Условием завершения процесса семиотическому и интеллектуальному
является стабилизация состояния рабочей управлению ASC’99, Москва, ПАИМС, 1999
памяти. Лебедева Т.Г. Осипов Г.С. Архитектура и
22Обозначим описанный процесс через К и управляемость дискретных динамических
положим K(x, П? )= ?(x) K(x, П? )= ?(x), систем, основанных на знаниях. Известия
где П?? R?, П? ? R?. ?(x) – функция АН. Теория и системы управления. М: Наука,
замыкания, ?(x) – функция переходов. 2000, №5, 703-709 Gennady Osipov.
Динамические системы, основанные на Attainable Sets and Knowledge Base
правилах. Architecture in Discrete Dynamic
23Динамические системы, основанные на Knowledge-based Systems. Proc. of the ECAI
правилах. Осталось ввести время: для этого 2000. 14-th European Conference of
в языке выделим сорт переменной t, которая Artificial Intelligence. Berlin.2000,
может принимать значения из линейно 39-43.
упорядоченного дискретного множества T. 47Публикации по теме. Бурдаев М.Н.,
24Динамические системы, основанные на Осипов Г.С., Хачумов В.М. О системе
правилах. H = ?X, T, ?, ?? - динамическая управления относительным движением
система, основанная на правилах, где ?: 2х космических аппаратов с повышенной
? 2х ?: 2х ? Т ? 2х. безопасностью сближения. Материалы Третьих
25Динамические системы, основанные на научных чтений памяти М.К.Тихонравова по
правилах. Состояние системы - неподвижная военной тематике, 4-5 октября 2000 г., 4
точка уравнения ?(?) = ? Предельное ЦНИИ МО РФ, 2000. Бурдаев М.Н., Осипов
состояние системы - неподвижная точка Г.С. Хачумов В.М. Принципы построения
уравнения ? (? (?), t) = ? где ??2х ? интеллектуальной измерительно-управляющей
индуцируется на 2х ? Т функцией ? ? системы. Доклады Международной космической
индуцируется на 2х функцией ? конференции 2001. Космос без оружия арена
26Задано некоторое ? ? 2х с определенным мирного сотрудничества в ХХI веке. М.:
на нем нетранзитивным, асимметричным и Изд-во МАИ, 2001.
антирефлексивным бинарным отношением ? (? 48Публикации по теме. Г.С.Осипов.
? ???) - отношение предпочтения; тогда ? Интеллектуальные динамические системы и
множество целей, а D = < X, Т, ?, ?, ? целенаправленное поведение. Научно -
> - динамическая система с теоретический журнал «Искусственный
целенаправленным поведением. Динамическая интеллект», IПШI «Наука i ocвiтa», 2002,
система с целенаправленым поведением. №2, 221-235. Виноградов А. Н., Осипов
27Пусть ? ? ? Процедура ?: 2х ? 2х ? Г.С., Жилякова Л.Ю. Динамические
МНОЖЕСТВО ПЛАНОВ, вырабатывающая план интеллектуальные системы. Ч.1.
достижения цели ? из состояния ? - Представление знаний и основные алгоритмы.
процедура планирования. Динамическая Известия АН. Теория и системы управления,
система с целенаправленным поведением. М: Наука, 2002, №6, 119-127 Виноградов А.
28Стратегия управления 2. 1. Выбирается Н., Осипов Г.С., Жилякова Л. Ю.
цель ? из множества ? - наиболее Динамические интеллектуальные системы.
предпочтительная в смысле отношения ?. 2. Ч.2. Моделирование целенаправленного
Выполняется процедура планирования. 3. поведения. Известия АН. Теория и системы
Если план существует, то реализуется управления, М: Наука, 2003, №1.
соответствующее поведение и ОСТАНОВ, иначе 49Публикации по теме. Осипов Г.С.
Выбирается следующая цель ?1 в смысле Динамические модели и инструментальные
отношения ? Выполняется процедура программные средства, использующие
планирования, Если план существует, экспертные и эмпирические знания. Труды
реализуется Стратегия 1 для достижения ?1; 3-его расширенного семинара
если нет – переход к п.4., Переход к п.1. "Использование методов искусственного
Динамическая система с целенаправленным интеллекта и высокопроизводительных
поведением. вычислений в аэрокосмических
29Пример. поведение обезьяны: исследованиях." (АКИИ-03)
«СОПЕРНИК-БАНАН-СОПЕРНИК», поведение Переславль-Залесский, 2003, с.13-20. Г.И.
активного корабля: «СТЫКОВКА- ОБЛЕТ- Назаренко, Г.С. Осипов. Основы теории
СТЫКОВКА». медицинских технологических процессов.
30Получены результаты: об устойчивости Часть1.-М.: ФИЗМАТЛИТ, 2005.
Институт системного анализа РАН.ppt
http://900igr.net/kartinka/obschestvoznanie/institut-sistemnogo-analiza-ran-76013.html
cсылка на страницу

Институт системного анализа РАН

другие презентации на тему «Институт системного анализа РАН»

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

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

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

«Моя будущая профессия» - Вопрос «Кем я буду?» задает себе каждый молодой человек. И главное здесь не растеряться, сориентироваться и сделать правильный выбор. Социально-экономические преобразования в нашей стране предопределили появление рынка труда и конкуренции на нем. Я и моя будущая ПРОФЕССИЯ. Учебно-тематический план. Методические материалы.

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

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

Без темы

1473 презентации
Урок

Обществознание

85 тем
Картинки
900igr.net > Презентации по обществознанию > Без темы > Институт системного анализа РАН