Материалы
Научное обозрение 2-2015
ПРОЕКЦИОННО-МАТРИЧНЫЙ ПОДХОД К АНАЛИЗУ И СИНТЕЗУ СИСТЕМ УПРАВЛЕНИЯ
ЭЛЕКТРОЭНЕРГЕТИЧЕСКИХ СИСТЕМ
Мельников Дмитрий Владимирович, канд. техн. наук, доцент, зав. кафедрой «Электротехника», Калужский филиал ФГБОУ ВПО «Московский государственный технический университет им Н. Э. Баумана»: Россия, 248000, г. Калуга, ул. Баженова, 2.
Корнюшин Петр Юрьевич, аспирант кафедры «Системы автоматического управления», Калужский филиал ФГБОУ ВПО «Московский государственный технический университет им Н. Э. Баумана»: Россия, 248000, г. Калуга, ул. Баженова, 2.
Мин Чжо Ту, аспирант кафедры «Системы автоматического управления», Калужский филиал
ФГБОУ ВПО «Московский государственный технический университет им Н. Э. Баумана»: Россия, 248000, г. Калуга, ул. Баженова, 2.
Чжо Ту Аунг, аспирант кафедры «Системы автоматического управления», Калужский филиал
ФГБОУ ВПО «Московский государственный технический университет им Н. Э. Баумана»: Россия, 248000, г. Калуга, ул. Баженова, 2.
Окар Мин, аспирант кафедры «Системы автоматического управления», Калужский филиал
ФГБОУ ВПО «Московский государственный технический университет им Н. Э. Баумана»: Россия, 248000, г. Калуга, ул. Баженова, 2.
Тел.: (484-2) 74-40-32
Е-mail: melnikov-dv@yandex.ru
Аннотация. В настоящие время в практических приложениях теории автоматического управления широкое применение находят проекционно-матричные методы расчета и проектирования систем, поведение которых описывается нелинейными дифференциальными уравнениями. В статье рассматривается возможность применения этих методов к решению задач, возникающих на этапе проектирования систем управления энергетическими объектами, в частности, задача синтеза контура регулирования частоты вращения ротора турбоагрегата. Полученные результаты
свидетельствуют об эффективности применения проекционно-матричных методов для решения задач; выдвигаемых энергетикой.
Ключевые слова: энергетическая система, оператор, базис, регулятор, синтез, алгоритм.
PROJECTION-MATRIX APPROACH TO THE ANALYSIS AND SYNTESIS OF THE SYSTEMS
OF ELECTRIC ENERGY SYSTEMS CONTROL
Melnikov Dmitrij Vladimirovich, Cand. of Tech. Sci., Ass. Prof., head of “Systems of automated control” department, Kaluga branch of Moscow State technical university named after N. E. Bauman. Russia.
Kornjushin Petr Yurijevich, postgraduate student of “Systems of automated control” department, Kaluga branch of Moscow State technical university named after N. E. Bauman. Russia.
Min Kyaw Thu, postgraduate student of “Systems of automated control” department, Kaluga branch of Moscow State technical university named after N. E. Bauman. Russia.
Kyaw Thu Aung, postgraduate student of “Systems of automated control” department, Kaluga branch of Moscow State technical university named after N. E. Bauman. Russia.
Oukar Min, postgraduate student of “Systems of automated control” department, Kaluga branch of Moscow State technical university named after N. E. Bauman. Russia
Keywords: energy system, operator, basis, regulator, synthesis, algorithm.
These days the projection-matrix methods of calculating and designing the systems, the behavior of which is described by non-linear differential equations, are widely used in the practical applications of automated control theory. The article studies the possibility of using
these methods in solving the problems which arise at the stage of designing the systems of energy objects control, in particular the problem of the synthesis of the control loop of the frequency of a turbine unit’s rotor rotation. The results obtained are evident of the effectiveness of using projection-matrix methods for solving the problems posed by power engineering.
ОБЩИЕ РЕКОМЕНДАЦИИ ПО СОЗДАНИЮ МОДЕЛЕЙ ДВИЖЕНИЯ МЕХАНИЗМОВ ДЛЯ ЦЕЛЕЙ ИСПОЛЬЗОВАНИЯ В СИСТЕМАХ АВТОМАТИЗАЦИИ СТРОИТЕЛЬСТВА АВТОДОРОГ
Жигалов Кирилл Юрьевич, канд. техн. наук, ст. науч. сотрудник, ФГБУН «Институт проблем управления РАН»: Россия, 117997, г. Москва, ул. Профсоюзная, 65.
Тел.: (495) 334-88-70
Е-mail: kshakalov@mail.ru
Аннотация. В статье рассмотрены современные разработки программных средств для целей моделирования движения техники на строительных объектах. Основное внимание уделено вопросам максимальной автоматизации работы оператора при моделировании процессов автоматического управления строительной техникой. Предложена методика, при использовании которой процесс моделирования будет максимально упрощен и автоматизирован. Это позволит
существенно сократить время производства работ как на этапе моделирования, так и при обучении специалистов строительного профиля.
Ключевые слова: моделирование процессов строительства, использование геоинформационных систем, автоматизация процессов строительства.
GENERAL RECOMMENDATIONS ON CREATING THE MODELS OF MECHANISMS MOVEMENT TO BE USED IN THE SYSTEMS OF AUTOMATING AUTOMOBILE ROAD CONSTRUCTION
Zhigalov Kirill Yurievich, Cand. of Tech. Sci., senior researcher, Institute of management problems of the RASc. Russia.
Keywords: modeling construction processes, usage of geo-information systems, automation of construction processes.
The article examines modern developments of software used in modeling the movement of equipment at construction objects. Attention is mostrly given to the issues of maximum automation of the work of an operator in modeling the processes of automated control
of construction equipment. The study suggests the model, the usage of which will provide maximum simplification and automation of the modeling process. This will make it
possible to significantly decrease the duration of work both at modeling stage and at the stage of training construction specialists
ИНФОРМАЦИОННО-АНАЛИТИЧЕСКИЕ И ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ
LTL-ПРЕДСТАВЛЕНИЕ СВОЙСТВ КРИПТОГРАФИЧЕСКИХ ПРОТОКОЛОВ
Борхаленко Вадим Анатольевич, аспирант, ФГБОУ ВПО «Национальный исследователь-
ский университет «МЭИ»: Россия, 111250, г. Москва, ул. Красноказарменная, 14.
Тел.: (495) 362-56-50
E-mail: vadikhide@yandex.ru
Аннотация. Model Checking – метод проверки на формальной модели системы (в нашем случае – криптографического протокола) свойств ее поведения, описанных на языке формальной логики. Формализация некоторых из основных свойств безопасности криптографических протоколов, фигурирующих в документах IETF, возможна с помощью логики LTL. Приводится пример проверки одного из описанных свойств безопасности на модели протокола SSL.
Ключевые слова: математическое моделирование, криптографические протоколы, защита информации, линейная темпоральная логика, формализация свойств безопасности, Model Checking.
LTL-REPRESENTATION OF THE PROPERTIES OF CRYPTOGRAPHIC PROTOCOLS
Borkhalenko Vadim Anatoljevich, postgraduate student, National research university “MEI”. Russia.
Keywords: mathematical modeling, cryptographic protocols, information protection, linear temporal logic, formalization of safety features, Model Checking.
Model Checking is the method of using a formal model of a system (in our case – a cryptographic protocol) to check the specific features of its behavior described in the
language of formal logic. The formalization of some of the main features of cryptographic protocols safety which figure in IETF documents is possible with the help of LTL logic.
The work gives an example of checking one of the described safety features on the basis of SSL protocol model.
ПОДХОД К ПРЕДСТАВЛЕНИЮ ОБЪЕКТОВ НА ОСНОВЕ СИСТЕМЫ n-МЕСТНЫХ ТНОШЕНИЙ В ЗАДАЧАХ РАСПОЗНАВАНИЯ СЛОЖНОЙ РЕАЛЬНОСТИ
Лямец Леонид Леонидович, канд. техн. наук, доцент кафедры «Электроника и микропроцессорная техника», филиал ФГБОУ ВПО «Национальный исследовательский университет «МЭИ» в г. Смоленске: Россия,214013, г. Смоленск, Энергетический пр-д, 1.
Тел.: (915) 640-10-38
E-mail: lll190965@ya.ru
Аннотация. Во многих прикладных задачах распознавания объекты представляют собой сложную реальность. Требования к повышению качества распознавания таких объектов ведут к необходимости совершенствования подходов и методов их представления, обладающих большей информационной емкостью. Предлагаемый подход основан на экспликации образов сложных объектов с использованием системы n-местных отношений между множеством признаков.
Ключевые слова: распознавание образов, n-местные отношения.
APPROACH TO OBJECTS REPRESENTATION ON THE BASIS OF THE SYSTEM OF n-LOCAL RELATIONS IN THE TASKS OF COMPLEX REALITY RECOGNITION
Ljamets Leonid Leonidovich, Cand. of Tech. Sci., Ass. Prof. of “Electronics and micro-processor equipment” department, National research university “MEI” in Smolensk. Russia.
Keywords: recognition of images, n-local relations.
In many applied recognition tasks objects are represented by complex reality. The requirements towards increasing the quality of such objects recognition leads to the necessity of improving the approahes and methods of their representation which have a higher information capacity. The suggested approach is based on the explication of the images of complex objects with the usage of the system of n-local relations among the
set of features.
МЕТОД ГРУППИРОВКИ ПРАВИЛ В ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМАХ, ИСПОЛЬЗУЮЩИХ НЕЧЕТКИЙ ВЫВОД
Долинина Ольга Николаевна, канд. техн. наук, доцент, зав. кафедрой «Прикладные информационные технологии», Заслуженный работник высшей школы РФ, ФГБОУ ВПО «Саратовский государственный технический университет им. Ю. А. Гагарина»: 410054, г. Саратов, ул. Политехническая, 77.
Шварц Александр Юрьевич, аспирант кафедры «Прикладные информационные технологии», ФГБОУ ВПО «Саратовский государственный технический университет им. Ю. А. Гагарина»: 410054, г. Саратов, ул. Политехническая, 77.
Тел.: (845-2) 99-86-03
E-mail: odolinina09@gmail.com
Аннотация. Рассмотрены продукционные базы знаний интеллектуальных систем, использующих нечеткий вывод. Для баз знаний большой размерности, использующих параллельные вычисления, важным является сокращение времени принятия решения за счет предварительной группировки правил. Для повышения эффективности параллельных вычислений при принятии решения предлагаются предварительная группировка правил и соответствующее построение графа зависимостей правил в базе знаний и зависимостей лингвистических переменных в правилах. Сформированные группы выполнения правил и дефаззификация лингвистических переменных дают возможность повышения эффективности процесса принятия решений за счет применения параллельных вычислений в пределах каждой группы.
Ключевые слова: интеллектуальные системы, нечеткий вывод, параллельная обработка правил, группировка правил.
METHOD OF GROUPING RULES IN THE INTELLECTUAL SYSTEMS USING FUZZY INFERENCE
Dolinina Olga Nikolaevna, Cand. of Tech. Sci., Ass. Prof., head of “Applied information technologies”
department, honored worker of higher education of the RF, Saratov State technical university named after Y. A. Gagarin. Russia.
Shvarts Aleksandr Yurievich, postgraduate student of “Applied information technologies” department, Saratov State technical university named after Y. A. Gagarin. Russia.
Keywords: intellectual systems, fuzzy inference, parallel processing of rules, grouping of rules.
The work studies the production knowledge bases of intellectual systems using fuzzy inference. For the large-sized knowledge bases which use parallel calculations, it is important to decrease the time needed to make a decision through the preliminary grouping
or rules. In order to increase the efficiency of parallel calculations in the course of decision-making, the work suggests preliminary grouping of rules and the corresponding creation of a graph of rules dependence in the knowledge base and the one of linguistic variables dependence in rules. The formed groups of rules implementation and defuzzification of linguistic variables make it possible to increase the efficiency of the process of making decisions through the usage of parallel calculations within each group.
ПРИБОРОСТРОЕНИЕ
ПРОБЛЕМЫ СОЗДАНИЯ ОТЕЧЕСТВЕННЫХ ДИФРАКЦИОННЫХ ВИДЕОСПЕКТРОМЕТРОВ НА ПРИМЕРЕ ГИПЕРСПЕКТРАЛЬНОГО КОМПЛЕКСА «ФРЕГАТ»
Кузнецов Александр Юрьевич, ассистент кафедры «Проектирование и безопасность компьютерных систем», аспирант, ФГБОУ ВПО «Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики»: Россия,
197101, г. Санкт-Петербург, Кронверкский просп., 49.
Тел.: (812) 232-97-04
Е-mail: al.ur.kouznetsov@gmail.com
Аннотация. Данная статья посвящена проблеме проектирования отечественных видеоспектрометров на дифракционных решетках. Рассмотрена главная проблема оптических схем приборов данного класса – проблема наложения второго порядка спектра и предложена методика ее решения.
Ключевые слова: видеоспектрометр, дифракционная решетка.
PROBLEMS OF CREATING RUSSIAN DIFFRACTION VIDEO-SPECTROMETERS BASED
ON THE EXAMPLE OF “FREGAT” HYPERSPECTRAL COMPLEX
Kuznetsov Aleksandr Yurievich, assistant lecturer of “Design and safety of computer systems” department, postgraduate student, Saint Petersburg national research university of information technologies, mechanics and optics. Russia.
Keywords: video-spectrometer, diffraction grid.
The work is devoted to the problem of designing Russian video-spectrometers on diffraction grids. It examines the main problem of the optical schemes of this type of devices – the problem of second-order spectrum imposition – and suggests the method of its solution.