Программные редктва и информационные технологии
дующие средства, расширяющие возможности операционной системы: Windows Services for Unix (SFU), ISAPI Rewrite, Admin Tool Pack, CAPICOM, CryptoPro CSP 3. Система использует криптопровайдер CryptoPro CSP, обеспечивающий реализацию алгоритмов формирования и проверки электронной подписи в соответствии со стандартами ГОСТ Р 34.11-94 и ГОСТ Р 34.10-2001. Система разработана на языке PHP5, используется реляционная СУБД PostgreSQL и балансировщик соединений Pgbouncer.
Информационная безопасность обеспечивается следующими мерами: аутентификация и авторизация зарегистрированных пользователей, разграничение прав доступа на основе модифицированной ролевой модели RBAC [4], ограничения на пароли пользователей, использование электронной подписи для заверения юридически значимых действий пользователей, использование средств фильтрации данных, шифрование трафика при взаимодействии с авторизованными пользователями по протоколу HTTPS, разграничение доступа к средствам администрирования на основе IP-адресов, обнаружение и временное блокирование автоматизированных средств подачи ценовых предложений (bid-ботов), разграничение доступа к площадке на основе геотаргетинга пользователя, разграничение доступа для внутренних сервисов, журналирование всех значимых операций для обнаружения нештатных ситуаций, блокирование подозрительных запросов. Также осуществляется регулярное резервное копирование рабочей базы данных.
Реализованная система успешно решает поставленные задачи. В настоящее время система находится в режиме промышленной эксплуатации и доступна по адресу torgi.admkrsk.ru. За год работы площадки было проведено более 400 электронных аукционов, в результате которых бюджет города Красноярска получил дополнительные денежные средства в размере более 318 млн руб. Созданная система способствует повышению качества и эффективности муниципального управления за счет организации автоматизиро-
ванной системы проведения аукционов и обеспечения эффективного использования органами муниципального управления современных информационных и коммуникационных технологий.
Библиографические ссылки
1. Постановление Правительства РФ от 11 ноября 2002 г. № 808 // Российская газета. № 221. 21.11.2002.
2. Федеральный закон Российской Федерации от 13 марта 2006 г. № 38-ФЗ // Российская газета. № 51. 15.03.2006.
3. Щербенин В. Ф., Лузан Н. Ф., Ноженкова Л. Ф., Исаева О. С., Жучков Д. В. Комплексная автоматизированная поддержка подготовки, размещения и контроля муниципальных заказов // Проблемы информатизации региона : материалы 10-й Всерос. науч.-практ. конф. В 2 т. Т. 1. Красноярск : Сиб. федер. ун-т, 2007. С. 3-11.
4. Кононов Д. Д., Исаев С. В. Модель безопасности кросс-платформенных веб-сервисов поддержки муниципальных закупок // Прикладная дискретная математика. Приложение. 2011. № 4. С. 48-50.
References
1. Postanovlenie Pravitel'stva RF ot 11 nojabrja 2002 g. № 808 // Rossijskaja gazeta. № 221. 21.11.2002.
2. Federal'nyj zakon Rossijskoj Federacii ot 13 marta 2006 g. №38-FZ // Rossijskaja gazeta. № 51. 15.03.2006.
3. Shherbenin V. F., Luzan N. F., Nozhenkova L. F., Isaeva O. S., Zhuchkov D. V. Kompleksnaja avtomatizirovannaja podderzhka podgotovki, razmeshhenija i kontrolja municipal'nyh zakazov // Materialy 10-j Vserossijskoj nauchno-prakticheskoj konferencii Problemy informatizacii regiona V 2 t. T. 1. Krasnojarsk: Sib. feder. un-t; Politehn. in-t, 2007. S. 3-11.
4. Kononov D. D., Isaev S. V. Model' bezopasnosti kross-platformennyh veb-servisov podderzhki municipal'nyh zakupok // Prikladnaja diskretnaja matematika. Prilozhenie. 2011. № 4. S. 48-50.
© Кононов Д. Д., Жучков Д. В., 2013
УДК 004.052.2
МОДЕЛИРОВАНИЕ НАДЁЖНОСТИ АВТОМАТИЗИРОВАННОЙ СИСТЕМЫ УПРАВЛЕНИЯ ПРЕДПРИЯТИЕМ
В. А. Кулягин, В. И. Миненко, А. Г. Речитский, А. А. Михайлов
Сибирский федеральный университет Россия, 660041, г. Красноярск, просп. Свободный, 79. E-mail: [email protected],
Рассматривается вопрос создания математической модели надёжности автоматизированной системы управления предприятием. Создание модели включает в себя определение целей моделирования, критериев выбора модели, определение функции эффективности, выработка альтернатив моделей, оптимизация и выбор лучшей модели.
Ключевые слова: модель, моделирование, надёжность автоматизированной системы управления предприятием.
Решетневскуе чтения. 2013
MODELING RELIABILITY OF AN ENTERPRISE AUTOMATED CONTROL SYSTEM
V. A. Kulyagin, V. I. Minenko, A. G. Rechitskiy, A. A. Mihailov
Siberian Federal University 79, Svobodny prosp., Krasnoyarsk, 660041, Russia. E-mail: [email protected],
The question of mathematical model creation of the enterprise automated management system of sale reliability is considered. Designing a model includes purpose definition, criteria, efficiency function definition, models alternative development, optimization and choice of the best model.
Keywords: model, mathematical simulation, reliability of an enterprise automated management system.
Постановка задачи: предприятие состоит из N отделов, К рабочих мест. Компонентам разрабатываемой автоматизированной системы управления предприятием (АСУП) соответствуют бизнес-процессы предприятия, количество компонент равно F. При построении модели необходимо учесть баланс между простотой модели и полнотой описания объекта, включить в модель только существенные характеристики объекта. Цель моделирования - рассчитать надёжность АСУП в виде одного или нескольких показателей. Причём количество этих показателей должно быть минимальным, в то же время показатели надёжности должны описывать все стороны надёжности, характерные для объекта.
Сначала выполняется построение концептуальной модели надёжности на этапах жизненного цикла АСУП:
Далее строится математическая модель надёжности (см. рисунок). Модель динамическая, отказы системы происходят в случайные моменты времени.
Для выбора приемлемой модели необходимо ввести ограничения:
1) все отказы явные, внезапные, независимые, проявляются поодиночке;
2) программно-техническое резервирование не используется;
3) модель разработки ПО - каскадная. Переход от одной фазы к другой в каскадной модели происходит
только после полного и успешного завершения предыдущей;
4) тестирование выполняется централизованно, в период тестирования не появляется новый код;
5) такие стороны надёжности, как долговечность и сохраняемость, не учитываются в связи с особенностями эксплуатации АСУП. Предполагается, что система после её разработки сразу же вводится в эксплуатацию и используется до истечения срока службы, со временем не подвергается старению. АСУП непрерывного типа работы - нет существенных перерывов в работе системы;
6) рабочее место пользователя представляет собой персональную ЭВМ и дополнительные технические средства, необходимые ему в работе. Каждый пользователь работает на своём рабочем месте. На одном рабочем месте может находиться не более одного пользователя. В то время, когда пользователь не работает с АСУП, отказы в системе не появляются;
7) не учитывается влияние условий эксплуатаций для технических средств АСУП. Приработкой технических средств пренебрегают. Предполагается, что в систему вводятся уже обкатанные изделия.
Выполняется формирование множества альтернативных моделей и выбор из них наиболее оптимальной модели по таким критерия: минимум трудоёмкости вычислений, максимум адекватности [1; 2].
Модель надёжности АСУП
Программные средства и информационные технологии
В результате получаем формулы для расчёта вероятности безотказной работы автоматизированной системы управления предприятием ЯАСУШ за рабочее время £
R
-АСУШ - П -^АСУШ 1 , 1=1
R
'АСУП t 1
= п R
Rlt = Z [PUy. : di x R
j=i
г=Ki-i +1
■ПМ_ j ' ^О_ij ' -^ИО _j ]
(1)
(2)
(3)
: ^С г ■ ^О г ■ ^С г ■ ^С г ' RQG г ' ^СПО г,
где ЯАСУП1 - безотказность 1-й секции, 1 = 1.. .Ж; Ж - количество секций; К1 - максимальный индекс модуля 1-й секции; Л" - количество пользователей системы; Е - количество компонент системы; Я, - безотказность работы 1-го пользователя за время t, / = 1.К; РПу - вероятность использования компонента ' пользователем /, I = 1, ..., К, ' = 1, ..., Е; ё - коэффициент простоя пользователя / АСУП (доля времени, когда пользователь не работает с АСУП); ё € (0,1);
Остальные параметры Я - безотказность программного модуля ', серверного ПО, локальной сети, операционной системы, аппаратного обеспечения, эргономической составляющей, данных, дополнительного оборудования, глобальной сети для пользователя I [3].
Коэффициент сохранения эффективности АСУП за некоторый интервал времени t КСЭАСУШ, который описывает безотказность, ремонтопригодность и эффективность АСУП [4], рассчитывается по следующей формуле:
,
где Эру - реальная эффективность работы /'-го пользователя с у'-м модулем; Эну - номинальная эффективность работы /-го пользователя с '-м модулем; Жоп' -количество операций, совершаемых пользователем / над модулем ' в единицу времени ^ Яу - количество байт информации в одной операции; КСЭ/'1 - коэффициент сохранения эффективности для /-го пользователя ву'-м модуле при 1-м частичном отказе; Кгр - ко-
ксэ*
(4)
эффициент готовности j-го компонента для г-го пользователя; Kj - коэффициент готовности АСУП для г-го пользователя в j-м модуле при 1-м частичном отказе; Кг - коэффициент готовности АСУП.
В результате выполнения оптимизации получили одну модель, характеризующуюся двумя показателями надёжности (КСЭАСУШ и R^^). Расчётные формулы для показателей применяются на стадиях проектирования, разработки и тестирования компонент, ввода в эксплуатацию, сопровождения жизненного цикла АСУП. Выходные данные модели на этапах проектирования, тестирования и разработки модулей, эксплуатации жизненного цикла АСУП служат входными данными для последующих этапов, таким образом уменьшается трудоёмкость оценки надёжности.
Библиографические ссылки
1. Замятина О. М. Компьютерное моделирование : учеб. пособие. Томск : Изд-во ТПУ, 2007. 121 с.
2. Новиков А. М., Новиков Д. А. Методология научного исследования. М. : Либроком. 280 с.
3. Кулягин В. А. Модель оценки надежности автоматизированных систем управления предприятием на основе статических вероятностей компонент / Вестник СибГАУ. 2012. Вып. 3(43) С. 33-37.
4. Леонтьев Е. А. Надежность экономических информационных систем. Тамбов : Изд-во ТГТУ, 2002, 130 с.
References
1. Zamjatina O. M., Komp'juternoe modelirovanie: Uchebnoe posobie. Tomsk : Izd-vo TPU, 2007. 121 s.
2. Novikov A. M., Novikov D. A. Metodologija nauchnogo issledovanija. M. : Librokom. 280 s.
3. Kuljagin V. A. Model' ocenki nadezhnosti avtomatizirovannyh sistem upravlenija predprijatiem na osnove staticheskih verojatnostej komponent / Vestnik Sibirskogo gosudarstvennogo ajerokosmicheskogo universiteta imeni akademika M. F. Reshetneva. 2012. Vyp. 3(43) s. 33-37.
4. Leont'ev E. A. Nadezhnost' jekonomicheskih informacionnyh sistem. Tambov : Izdatel'stvo TGTU, 2002, 130 s.
© Кулягин В. А., Миненко В. И., Речитский А. Г., Михайлов А. А., 2013
УДК 025.4.03
АЛГОРИТМ НЕПРЕРЫВНОЙ КОРРЕКТИРОВКИ ПРОФИЛЯ ЛПР
Д. В. Кустов, Е. В. Каюков, С. В. Ефремова, А. В. Демиш, В. В. Брезицкая
Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева Россия, 660014, г. Красноярск, просп. им. газ. «Красноярский рабочий», 31 [email protected]
В настоящее время существует несколько подходов к построению модели лица, принимающего решение (ЛПР). Приведен алгоритм непрерывной корректировки параметров модели ЛПР, основанный на предыдущих запросах пользователя (ЛПР) системы.
Ключевые слова: ЛПР, профиль пользователя, корректировка профиля, автоматизированная система управления, поисковые технологии, обработка данных.