Статья
On the Model Checking of Finite State Transducers over Semigroups
This book contains some of the contributions, divided into five main sections, that have been carefully selected and peer-reviewed, which were presented at the International Symposium MME06 Mathematical Methods in Engineering, held in Cankaya University, Ankara, April 27—29, 2006.
The Symposium provided a setting for discussing recent developments in Fractional Mathematics, Neutrices and Generalized Functions, Boundary Value Problems, Applications of Wavelets, Dynamical Systems and Control Theory.
В данной статье представлен методологический подход к определению контрагентов для осуществления горизонтальной кооперации в снабженческой логистике. В контексте современной логистики, на фоне развивающейся глобализации, возросшей конкуренции, завышенных ожиданий клиентов, большой доле транспортных затрат в себестоимости продукции и вступления России в ВТО, данная тема имеет высокую актуальность. Цель данной статьи разработать единый методологический подход к определению функций и контрагентов для применения горизонтальной кооперации для повышения эффективности компании на примере снабженческой логистики.
This book constitutes the proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014, held in Tunis, Tunisia, in June 2014. The 15 regular papers and 4 tool papers presented in this volume were carefully reviewed and selected from 48 submissions. In addition the book contains 3 invited talks in full paper length. The papers cover various topics in the field of Petri nets and related models of concurrency.
1. Описание проблемы. Инструментальный анализ позволяет найти аргументы разрешения споров о границах и структуре состава преступления, его соотношении с уголовным и восполняющим законодательством. 2. Исходные положения. Состав преступления понимается как выраженный в уголовно-правовой доктрине результат преобразования предписаний, содержащихся в уголовном законе, в иную практически необходимую форму, что происходит в процессе накопления практического опыта и развития теории. Конструкция состава преступления - преобразованная для практических нужд, выраженная текстуально система признаков, установленных уголовным законом и характеризующих деяние как преступление определенного вида. Связанность конструкции состава преступления законом и доктриной. Состав преступления -его алгоритм. Переход от предписаний закона к составу деяния осуществляется: а) прогностически, б) при постоянном анализе закона, в) в процессе правоприменения. 3. Этапы инструментального построения состава преступления: прогнозный, докгринальный, правоприменительный. Инструментальный подход к составу преступления включает в себя на каждом этапе: а) основанное на уголовном законе решение спора о классификации составов и соответственно их границах; б) предметное описание фактической модели; в) принятие значения соотносимых с деянием правовых понятий и конструкций; г) выбор конструкции состава и размещение его признаков; д) проверку легитимности, необходимости и достаточности. 4. Инструментальный анализ спорных вопросов понимания и использования конструкции состава преступления. А. Функции и цели использования конструкции состава преступления. Функции состава преступления: а) моделирующая, б) коммуникационная, в) идентифицирующая, г) технологическая. Б. Содержание состава преступления. Состав преступления в его традиционном понимании не соответствует признакам преступления, не характеризует признаки общественной опасности; признак угрозы наказания в границы состава преступления также не входит. Предлагается для обсуждения два варианта: расширение границ состава преступления за счет включения в него признаков общественной опасности деяния и признаков, определяющих индивидуализацию наказания и ограничить состав преступления характеристикой уголовно-наказуемого деяния, отделив его от состава вины и состава общественной опасности. В. Структура состава деяния. Две проблемы: разграничение элементов преступления кажется излишне жестким и не вполне адекватным - целесообразно включить в структуру состава преступления признаков пространственных и временных границ деяния, причинных связей, пересекающихся признаков объективной и субъективной сторон, их связей и взаимозависимостей, а также объективной стороны, прежде всего последствий и объекта преступления; формы совершения уголовно-наказуемого деяния - совершение преступления в соучастии, идеальной совокупности, неоконченного преступления.
This volume constitutes the refereed proceedings of the 37th International Symposium on Mathematical Foundations of Computer Science, MFCS 2012, held in Bratislava, Slovakia, in August 2012. The 63 revised full papers presented together with 8 invited talks were carefully reviewed and selected from 162 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, databases and knowledge-based systems, foundations of computing, logic in computer science, models of computation, semantics and verification of programs, and theoretical issues in artificial intelligence.
В качестве продолжения линии "Алгоритмизация и программирование" в главе рассматриваются основы систем счисления, символьный и строковый типы данных, многомерные массивы, принципы рекурсивного программирования, работа с файлами и со случайными числами.
Классические подходы к построению режимов работы хэш-функций, основанные на использовании итеративных процедур, не позволяют обеспечить эффективную обработку больших объемов данных и не могут быть адаптированы к параллельным вычислительным архитектурам. Это касается как российского криптографического стандарта ГОСТ Р 34.11-2012, определяющего алгоритм и процедуру вычисления хэш-функции, так и многих других зарубежных стандартов (например, SHA-3). Отсутствие действующих стандартов в части режимов работы хэш-функций ГОСТ Р 34.11-2012 создает острую необходимость разработки отечественного стандарта параллелизуемого режима выработки хэш-кода.
Настоящая статья посвящена исследованию и разработке новых режимов выработки хэш-кода, допускающих эффективное распараллеливание процесса вычислений и обеспечивающих криптографическую стойкость, удовлетворяющую современным требованиям. Данная работа продолжает исследования, проводимые авторами, и предлагает принципиально новый универсальный древовидный режим выработки хэш-кода («FT-режим»), построенный на основе l-арных деревьев хэширования и позволяющий применять в качестве механизма формирования узлов дерева любое сжимающее отображение. При этом стойкость режима полностью определяется стойкостью соответствующего сжимающего отображения. Так, в частности, для формирования узлов дерева хэширования, наряду с функциями сжатия и хэш-функциями, FT-режим допускает использование блочных шифров, подстановочных преобразований и т.д. В дополнение к этому FT-режим исключает основные функциональные недостатки известных древовидных режимов выработки хэш-кода, влияющие на их эксплуатационно-технические и криптографические качества.
В рамках настоящих исследований вычислен ряд характеристик FT-режима, а также проведен сравнительный анализ временной и вычислительной трудоемкостей реализаций FT-режима и некоторых иностранных режимов древовидного хэширования, по результатам которого разработанный режим не уступает ни одному из рассмотренных.
We present an approach based on a two-stage ltration of the set of feasible solutions for the multiprocessor job-shop scheduling problem. On the rst stage we use extensive dominance relations, whereas on the second stage we use lower bounds. We show that several lower bounds can eciently be obtained and implemented.
Журналы событий, сохраняемые современными информационными и техническими системами, как правило, содержат достаточно данных для автоматизированного восстановления моделей соответствующих процессов. Разработано множество алгоритмов для построения моделей процессов, проверки соответствия фактического поведения системы модельному, сравнения моделей процессов, и т.д. Однако возможность быстрого анализа выбираемых пользователями частей журнала до сих пор не нашла полноценной реализации. В статье описан метод многомерного хранения журналов событий для извлечения и анализа процессов, основанный на подходе ROLAP. Результатом анализа журнала является направленный невзвешенный граф, представляющий собою сумму возможных последовательностей событий, упорядоченных по вероятности их возникновения с учетом заданных условий. Разработанный инструмент позволяет выполнять совместный анализ моделей подпроцессов, восстановленных из частей журнала путем задания критериев отбора событий и требуемого уровня детализации модели.
В монографии приведены результаты исследования, посвященного управлению жизненным циклом информационных систем, а также анализу стандартов, сводов знаний и корпоративных методик, использующихся в ИТ-проектах. Приведены характеристики фаз ЖЦИС из практики управления ИТ-проектами, а также практические рекомендации по управлению такими проектами. Книга предназначена для научных работников, сотрудников научно- технических предприятий и работников государственных органов управлений, а также студентов, аспирантов, слушателей бизнес-школ повышения квалификации и переподготовки кадров. Книга содержит практические рекомендации для руководителей ИТ-проектов, а также сотрудников компаний, занимающихся проектной деятельностью в области ИТ-проектов.
The geographic information system (GIS) is based on the first and only Russian Imperial Census of 1897 and the First All-Union Census of the Soviet Union of 1926. The GIS features vector data (shapefiles) of allprovinces of the two states. For the 1897 census, there is information about linguistic, religious, and social estate groups. The part based on the 1926 census features nationality. Both shapefiles include information on gender, rural and urban population. The GIS allows for producing any necessary maps for individual studies of the period which require the administrative boundaries and demographic information.
В данной работе рассматривается пятое уравнение Пенлеве, которое имеет 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)