Статья
Equivalence Checking Problem for Finite State Transducers
В статье рассматриваются основные характеристики и принципы сложного мышления, в том виде как они были разработаны французским социологом и философом Эдгаром Мореном (р. 1921), чилийским биологом и эпистемологом Франсиско Варелой (1946-2001) и немецким математиком и философом Клаусом Майнцером (р. 1947). Все трое являются выдающимися мыслителями и специалистами не просто теории сложности, но и методологии познания сложности и сложного, или, как предлагает называть его В.И. Аршинов, сложностного мышления. Сложное мышление – это мышление эволюционное (во всех новых смыслах эволюционности, включающих в себя и прежние представления о развитии, но уходящие далеко за их пределы), мышление нелинейное, мышление открытое (open mind), мышление холистическое (как говорит Э. Морен, голографическое и диалогическое), мышление автопоэтическое (Ф. Варела), мышление креативное (дивергентное, гибкое, чувствительное к новому и умеющее творить инновации). Сложное мышление нам необходимо, чтобы совладать со сложностью мира, в котором мы живем. Подлинное мышление адекватно сложности мира, ибо оно является атрибутом человеческого существа, которое само является эволюционным продуктом этого мира. Поэтому формирование и развитие сложного мышление возвращает человека к своей собственной сущности.
Автор рассуждает о целесообразности и взаимной обусловленности эволюционных изменений и в природе, и в социуме. В статье выделены три важнейших фактора эволюции, до сих пор не оцененных по достоинству исследователями. Это случайность, фактор стечения обстоятельств и фактор ускорения социальной эволюции.
Характерная особенность моделей Крипке и большинства темпоральных логик (PLTL, CTL, PDL, mu-исчисление и др.), используемых в качестве формальных языков спецификации, состоит в том, что элементарные свойства вычислений зависят только от состояний модели, но не от вычислений, которыми достигаются состояния. Однако для стороннего наблюдателя поведение реагирующей системы проявляется в соответствии между последовательностями стимулов (сигналов), которыми внешняя среда воздействует на систему, и откликов (действий), которые вырабатывает или исполняет система в ответ на внешние воздействия. Поэтому при верификации некоторых видов реагирующих систем элементарными свойствами становятся множества конечных последовательностей действий. Это обстоятельство должно быть также учтено при разработке формального языка спецификаций поведения таких систем. В данной статье рассмотрена задача формальной верификации реагирующих систем, моделируемых конечными автоматами-преоб\-разователями. Для спецификации их поведения предложен новый вариант темпоральной логики линейного времени LTL-FL (LTL with Formal Languages). Формальные языки (множества конечных слов фиксированных алфавитов) в формулах LTL-FL используются для представления элементарных свойств вычислений, а также для параметризации темпоральных операторов. Установлено, что задача проверки выполнимости формул регулярного фрагмента FL-LTL на конечных автоматах преобразователях разрешима.
«Метод» – главное сочинение выдающегося французского философа и социолога, известного своими трансдисциплинарными исследованиями и отстаивающего необходимость реформы мышления, радикального изменения метода познания, чтобы постигнуть сложность реального мира, приблизиться к раскрытию глубинной тайны вещей. В настоящем издании с позиции общей теории систем и современной теории самоорганизации излагаются оригинальные воззрения автора на природу сложных формообразований и человека, процессы жизни и познания, развитие человечества.
Монография посвящена рассмотрению сложных систем с позиций науки конца XX века. В книге всесторонне проанализирован существенный скачок в понимании сложных систем, связанный с исследованием новейших методов нелинейной динамики, организации современных вычислительных экспериментов. Книга рассчитана на специалистов в различных областях естественнонаучного и гуманитарного знания и всех, интересующихся новейшими достижениями науки.
Содержит необходимые сведения по системам счисления, булевой алгебре и основам цифровой электроники для практических занятий и самостоятельного изучения некоторых общих вопросов курсов «Информатика» и «Информационные технологии», а также для подготовки к домашним и контрольным работам.
Для бакалавров направлений 210700.62 «Инфокоммуникационные технологии и системы связи» и 211000.62 «Конструирование и технология электронных средств» I курса Факультета электроники и телекоммуникаций, изучающих информатику и информационные технологии.
Рассматриваются задачи интеллектуального анализа данных, которые необходимо решать в технологии предсказательного моделирования. Для уменьшения сложности решения этих задач в технологии предсказательного моделирования используются решения задач снижения размерности, которые должны удовлетворять ряду дополнительных условий. В статье обсуждаются эти дополнительные требования и сформулированы соответствующие новые нетрадиционные постановки задач снижения размерности.
Задача управления нелинейным объектом, подвергающимся воздействию неконтролируемых возмущений, рассматривается в ключе дифференциальной игры. Синтез оптимальных управлений производится с применением преобразования нелинейного уравнения исходного объекта в дифференциальное уравнение с параметрами, зависящими от состояния. Квадратичный функционал качества позволяет сформулировать условия синтеза в виде необходимости поиска решений уравнения Риккати. Решение уравнения Риккати с параметрами, зависящими от состояния, находится в символьном виде с применением алгебраических методов, что позволяет обобщить ряд ранее опубликованных теоретических результатов, получить достаточно конструктивные решения в ряде постановок задач управления.
В сборник трудов включены доклады юбилейного ХХ-го Международного симпозиума «Надежность и качество», проходившего с 25 по 31 мая 2015 г. в городе Пензе.
Рассмотрены актуальные проблемы теории и практики повышения надежности и качества; эффективности внедрения инновационных и информационных технологий в фундаментальных научных и прикладных исследованиях, образовательных и коммуникативных системах и средах, экономике и юриспруденции; методов и средств анализа и прогнозирования показателей надежности и качества приборов, устройств и систем, а также анализа непараметрических моделей и оценки остаточного ресурса изделий двойного назначения; ресурсосбережения; проектирования интеллектуальных экспертных и диагностических систем; систем управления и связи; интерактивных, телекоммуникационных сетей и сервисных систем; экологического мониторинга и контроля состояния окружающей среды и биологических объектов; исследования физико-технологических процессов в науке, технике и технологиях для повышения качества выпускаемых изделий радиопромышленности, приборостроения, аэрокосмического и топливно-энергетического комплексов, электроники и вычислительной техники и др.
Оргкомитет благодарит за поддержку в организации и проведении Международного симпозиума и издании настоящих трудов Министерство образования и науки РФ, Правительство Пензенской области, Академию проблем качества РФ, Российскую академию космонавтики им. К.Э. Циолковского, Российскую инженерную академию, Академию информатизации образования, Вычислительный центр РАН им. А.А. Дородницына, Институт испытаний и сертификации ВВТ, ОАО «Радиотехнический институт имени академика А.Л. Минца», ОАО «УПКБ Деталь», ОАО «НИИФИ», ФГУП «ПНИЭИ», ОАО «Рубин», ОАО «Радиозавод», ОАО «ППО ЭЛЕКТРОПРИБОР», ФГУП «ПО «Старт», НИКИРЭТ - филиал ФГУП «ПО «Старт», Пензенский филиал ФГУП НТЦ «Атлас», ОАО «ТЕХПРОММАШ», МИЭМ НИУ ВШЭ, Евразийский Национальный университет им. Л.Н. Гумилева, Сургутский институт мировой экономики и бизнеса «Планета», Пензенский государственный университет.
Отмечено, что несмотря на растущий спрос на системы управления мастер-данными (СУ НСИ), в настоящее время отсутствует общепринятая методика их проектирования. Предложена и кратко описана методика проектирования СУ НСИ, основанная на моделировании данных и их распространении в распределенных средах с учетом характерных особенностей нормативно-справочной информации.
В данной работе рассматривается пятое уравнение Пенлеве, которое имеет 4 комплексных параметра. Методами степенной геометрии ищутся асимптотические разложения его решений в окрестности его неособой точки z=z0, z0≠0, z0≠∞, при любых значениях параметров уравнения. Показано, что имеется ровно 10 семейств разложений решений уравнения. Все они - по целым степеням локальной переменной z - z0. Из них одно новое; у него произвольный коэффициент при четвертой степени локальной переменной. Одно из семейств однопараметрическое, остальные - двухпараметрические. Доказано, что все разложения сходятся в окрестности (а являющиеся полюсами - в проколотой окрестности) точки z=z0.
В данной работе рассматривается пятое уравнение Пенлеве, которое имеет 4 комплексных параметра α, β, γ, δ. Методами степенной геометрии ищутся асимптотические разложения его решений при x → ∞. При α≠0 найдено 10 степенных разложений с двумя экспоненциальными добавками каждое. Шесть из них - по целым степеням x (они были известны), и четыре по полуцелым (они новые). При α=0 найдено 4 однопараметрических семейства экспоненциальных асимптотик y(x) и 3 однопараметрических семейства сложных разложений x=x(y). Все экспоненциальные добавки, экспоненциальные асимптотики и сложные разложения найдены впервые. Также уточнена техника вычисления экспоненциальных добавок.
В данной работе рассматривается пятое уравнение Пенлеве. Методами степенной геометрии ищутся асимптотические разложения его решений при x → 0. Получено 27 семейств разложений решений уравнения. 19 из них получены из разложений решений шестого уравнения Пенлеве. Среди остальных 8 семейств одно было известно раньше, ещё одно может быть получено из разложения решения третьего уравнения Пенлеве. Новыми являются 3 семейства полуэкзотических разложений, 2 семейства сложных разложений и семейство степенно-логарифмических разложений.
Электронное издание является сборником материалов международной научно-практической конференции "Теория активных систем" (ТАС-2014)