Системный анализ и алгоритмы контроля надежности функционирования автоматизированной системы планирования грузовых перевозок
Диссертация
При существующем в настоящее время уровне развития методов, технологии и средств автоматизации проектирования есть предельные масштабы и объемы комплексов программ, при которых невозможно обеспечить при допустимых затратах необходимую надежность их функционирования. Крайне высокие требования к такому типу программных комплексов не могут быть выполнены в полном объеме вследствие различного рода… Читать ещё >
Список литературы
- Абрамов Л. Ф. Капустин В.Ф. Математическое программирование. Л.:Изд-во Ленингр. ун-та, 1976. 184с.
- Антонов А.В. Системный анализ. М.: Высшая школа, 2004. — 454с.
- Байхельт Ф., ФранкенП. Надежность и техническое обслуживание: Математический подход. М.: Радио и связь, 1988. — 392с.
- Баронов А.Э., Дудникова М. Ф., Пацев А. В., Петров М. В., Чурсин О. В. Автоматизированное рабочее место по расчету дополнительных сборов и штрафов. // Свидетельство об официальной регистрации программ для ЭВМ. № 2 004 610 109.
- Безопасность информации. Сборник материалов международной конференции. М.: СИП РИА, 1997. — 45с.
- Беляев Ю.К., Богатырев В. А., Болотин В. В. и др.- Под ред. Ушакова И. А. Надежность технических систем: Справочник М.: Радио и связь, 1985.-608с.
- Благодатских В.А. и др. Стандартизация разработки программных средств. М.: Финансы и статистика, 2003. — 288 с.
- Боэм Б.У. Инженерное проектирование программного обеспечения: Пер. с англ. /Под ред. А. А. Красилова. — М.: Радио и связь, 1985. — 176с.
- Буч Г. Объектно-ориентированное проектирование с примерами применения М.: Конкорд, 1992. — 267с.
- Буч Г., Рамбо Д., Джекобсон А. Язык UML. Руководство пользователя: Пер. с англ. М.: ДМК, 2000. 456с.
- Васильев Ф.П. Численные методы решения экстремальных задач М.: Наука, 1988.-125с.
- Вендров A.M. Проектирование программного обеспечения экономических информационных систем. М: Финансы и статистика, 2000.-226с.
- Вентцель Е.С. Теория вероятностей. М.: Наука, 1969. — 506с.
- Волков И.К., Загоруйко Е. А. Исследование операций: Учеб. для вузов / Под ред. B.C. Зарубина, А. П. Крищенко. М.: Изд-во МГТУ им. Н. Э. Баумана, 2000. — 436с. (Сер. Математика в техническом университете).
- Волкова В.Н., Денисов А.А Основы теории систем и системного анализа. СПб.: СП6ГТУД999. — 510с.
- Герасименко В.А. Защита информации в автоматизированных системах обработки данных. Книга 1 и 2. -М.: Энергоатомиздат, 1994. 537с.
- Герман О.В. Введение в теорию экспертных систем и обработку знаний. М. Букинист: -1995. — 256с.
- Глас Р. Руководство по надежному программированию: Пер. с англ. М.: Финансы и статистика, 1982. 114с.
- Гнеденко Б. В., Беляев Ю. К., Соловьев А. Д. Математические методы в теории надежности. М.: Наука, 1965. — 524с.
- Гнеденко Б.В., Даниелян Э. А., Димитров Б. Н., Климов Г. П., Матвеев В. Ф. Приоритетные системы обслуживания М.: Изд-во МГУ, 1973. -446с.
- Гнеденко Б. В., Коваленко И. Н. Лекции по теории массового обслуживания. Киев: КВИРТУ, 1963. — 187с.
- Гнеденко Б. В., Хинчин А. Я. Элементарное введение в теорию массового обслуживания (изд. 6-е). — М.: Наука, 1964. — 146с.
- ГОСТ 6.01.1−87 Единая система классификации и кодирования технико-экономической информации М.: Изд. стандартов, 1987.
- ГОСТ 27.002−89 Надежность в технике. Основные понятия. Термины и определения.
- ГОСТ 27.310−95 Надежность в технике. Анализ видов, последствий и критичности отказов.
- ГОСТ 34.601−90. Автоматизированные Системы Стадии создания. Комплекс стандартов на автоматизированные системы. ИПК издательство стандартов. 1997.
- ГОСТ Р 51 904−2002. Программное обеспечение встроенных систем. Общие требования к разработке и документированию.
- ГОСТ Р ИСО/МЭК 12 207−89. Информационная технология. Процессы жизненного цикла программных средств.
- ГОСТ Р ИСО/МЭК ТО 15 271−2002 Информационная технология. Руководство по применению ГОСТ Р ИСО/МЭК 12 207 (Процессы жизненного цикла программных средств).
- Грекул В.И., Денищенко Г. Н., Коровкина H.JI. Проектирование информационных систем. Интернет-университет информационных технологий ИНТУИТ.РУ, 2005. — 42с.
- Дегтярев Ю.И. Системный анализ и исследование операций. М.: Высшая школа, 1996. — 335с.
- Джексон Питер. Введение в экспертные системы, 3-е издание. М.: Изд-во Вильяме, 2001. — 624с.
- Дружинин Г. В. Надежность автоматизированных производственных систем. М.: Энергоатомиздат, 1986. — 480с.
- Елисеев С.Ю., Сугробов Н. В., Куренков П. В., Жукова Е. А. Автоматизация сменно-суточного планирования погрузки грузов по роду подвижного состава // Транспорт: наука, техника, управление: Сб. ОИ ВИНИТИ, 2004. № 9. — 126с.
- Елиферов В.Г., Репин В. В. Бизнес-процессы: регламентация и управление М.: ИНФРА-М, 2004. — 178с.
- Елманова Е.И., Федоров А.А., ADO в Delphi, БХВ-Петербург, 2002. -225с.
- Епанешников A.M., Епанешников В.А., Delphi 5. Базы данных, Диалог-МИФИ, 2001.- 484с.
- Ермаков С.М., Михайлов Г. А. Курс статистического моделирования. -М.: Наука, 1976 320с.
- Зингер И.С., Куцык Б. С. Обеспечение достоверности данных в автоматизированных системах управления производством М.: Наука, 1974.- 136с.
- Иголкин В.Н. Об оптимизации одной системы массового обслуживания // Вопросы механики и процессов управления. Вып. 15 СПб.: Изд-во СПбГУ, 1992.-231с.
- Иыуду К.А. Надежность, контроль и диагностика вычислительных машин и систем: Учеб. пособие для вузов.- М.: Высш. шк, 1989.- 216с.
- Калашников В.В., Рачев С. Т. Математические методы построения стохастических моделей обслуживания М.: Наука, 1988. — 310с.
- Калихман И.Л. Сборник задач по математическому программированию.- М.: Высш. школа, 1975. 344с.
- Калявин В.П. Надежность и диагностика. СПб.: Элмор, 1998. — 230с.
- Калянов Г. Н. Теория и практика реорганизации бизнес-процессов М.: СИНТЕГ, 2000.-267с.
- Калянов Г. Н. Структурный системный анализ М.: Лори, 1996. — 389с.
- Качала В.В. Основы системного анализа. Мурманск: МГТУ, 2003. -205с.
- Клейнрок Л. Вычислительные системы с очередями. М.: Мир, 1979. -600с.
- Клейнрок Л. Теория массового обслуживания М.: Машиностроение, 1979.-321с.
- Ковтунов А.В., Куренков П. В., Петров М. В. и др. Автоматизированная система управления сменно-суточным планированием погрузки по номенклатурным группам грузов (АСУ ССП HIT). // Свидетельство об официальной регистрации программ для ЭВМ. № 2 005 610 618.
- Ковтунов А.В., Куренков П. В., Петров М. В. и др. Автоматизированная система управления сменно-суточным планированием погрузки на уровне дороги (АСУ ССП ДЦФТО). // Свидетельство об официальной регистрации программ для ЭВМ. № 2 005 610 627.
- Колесников С.М., Ковтунов А. В., Петров М. В. и др. Автоматизированная система формирования и присвоения кода приоритета погрузки заявкам грузоотправителей. // Свидетельство об официальной регистрации программ для ЭВМ. № 2 005 610 623.
- Колесников С.М., Никищенков С. А., Петров М. В. Автоматизированная система взаимодействия с программными комплексами ОАО «РЖД». // Свидетельство об официальной регистрации программ для ЭВМ. № 2 005 611 735.
- Колтунова Е. Требования к информационной системе и модели жизненного цикла М.: Jet Info N1,2003. — 85с.
- Кондратьев В.В., Краснова В. Б. Модульная программа для менеджеров. Реструктуризация управления компанией М.: Инфра-М, 2000. — 228с.
- Коутс Р., Влейминг И. Интерфейс «человек-компьютер»: Пер. с англ. -М.: Мир, 1990.-501с.
- Лагоша Б.А., Емельянов А. А. Основы системного анализа. -М.:МЭСИ, 1998.-106с.
- Лагоша Б.А., Шаркович В. Г. Анализ и синтез в системах отраслевого управления производством М.: Наука, 1978.- 263с.
- Лецкий Э.К. и др. Информационные технологии на ж.д. транспорте. -М.: УМК МПС России, 2000. 680с.
- Лецкий Э.К. Модели и методы расчета временных характеристик систем сбора и обработки данных. М.: МИИТ, 1994. — 40с.
- Лившиц А.Л., Мальц Э. А. Статистическое моделирование систем массового обслуживания М.: Советское радио, 1978. — 245с.
- Липаев В.В. Методы обеспечения качества крупномасштабных программных средств М.: СИНТЕГ, 2003. — 478с.
- Липаев В.В. Надежность программных средств М.: СИНТЕГ, 2003. -354с.
- Липаев В.В. Технологические процессы и стандарты обеспечения функциональной безопасности в жизненном цикле программных средств М.: Jet Info N3,2004. — 45с.
- Майерс Г. Надежность программного обеспечения: Пер. с англ. / Под ред. В. Ш. Кауфмана. М.: Мир, 1980. -324с.
- Маклаков С.В. Создание информационных систем с AllFusion Modelling Suite М.: Диалог-МИФИ, 2003. — 252с.
- Марка Д.А., МакГоуэн К. SADT методология структурного анализа и проектирования-М.: Метатехнология, 1993.- 114с.
- Матвеев В.Ф., Ушаков В. Г. Системы массового обслуживания М.: Изд-во МГУ, 1984. — 312с.
- Мину М. Математическое программирование. Теория и алгоритмы М.: Наука, 1990.-488с.
- Мохонько В.П., Ковтунов А. В., Петров М. В. и др. Автоматизированная система управления сменно-суточным планированием погрузки на уровне отделения-региона (АСУ ССП РАФТО). // Свидетельство об официальной регистрации программ для ЭВМ. № 2 005 610 620.
- Мохонько В.П., Колесников С. М., Петров М. В. и др. Автоматизированная система управления сменно-суточным планированием погрузки на уровне станции-агенства (АСУ ССП АФТО). // Свидетельство об официальной регистрации программ для ЭВМ. № 2 005 610 614.
- Мохонько В.П., Куренков П. В., Петров М. В. и др. Автоматизированная система управления месячным планированием погрузки по номенклатурным группам грузов. // Свидетельство об официальной регистрации программ для ЭВМ. № 2 005 610 619.
- Мохонько В.П., Сугробов Н. В., Куренков П. В. Автоматизация сменно-суточного планирования погрузки по номенклатурным группам грузов // Транспорт: наука, техника, управление: Сб. ОИ ВИНИТИ, 2004. № 7. — 148с.
- Надежность в машиностроении: Справочник. Под ред. Шашкина В. В., Карзова Г. П. СПб.: Политехника, 1992. — 719с.
- Нейбург Э. Д., Максимчук Р. А. Проектирование баз данных с помощью UML Издательский дом «Вильяме», 2002. — 229с.
- Никищенков С.А., Павлов А. Ю., Петров М. В., Сиваков С.В Современные программные разработки для Куйбышевской железной дороги. // Тез.докл. XII Российской научной конф. проф.-преп. сост. ПГАТИ.- Самара, ПГАТИ, 2005. С.292−293.
- Никищенков С.А., Петров М. В. Средства встроенного программного контроля автоматизированной системы управления сменно-суточным планированием (АСУ ССП). // Свидетельство об официальной регистрации программ для ЭВМ. № 2 005 611 734.
- Никищенков С.А., Петров М. В., Сиваков С. В., Черемухин А. Н. Технология функционального диагностирования реконфигурируемых транспортных систем // Транспорт: наука, техника, управление М: ВИНИТИ РАН, 2005 — № 4. — С.15−20.
- Никищенков С.А., Петров М. В., Черемухин А. Н. Инженерные языки описания реконфигурируемых транспортных систем. // Тез.докл. XII Российской научной конф. проф.-преп.сост. ПГАТИ Самара, ПГАТИ, 2005. — С.398−399.
- Никищенков С.А., Петров М. В., Чурсин О. В., Черемухин А. Н. Программное обеспечение АСУ сменно-суточным планированием грузовой работы железной дороги. // Транспорт: наука, техника, управление М: ВИНИТИ РАН, 2005 — № 10. — С.11−16.
- Новиков О.А., Петухов С. И. Прикладные вопросы теории массового обслуживания М.: Советское радио, 1969. — 399с.
- Оценка работоспособности объектов при постепенных отказах. Методические указания / Состав. Колобов А. Б., Огурцов Ф. Б. -Иваново: ИГЭУ, 2003 40 с.
- Петров М.В. АСУ сменно-суточного планирования грузовой работы железной дороги: методы и компоненты функциональной безопасности.
- Вестник самарского государственного технического университета -Самара: СамГТУ, 2005. Выпуск 39. Серия «Технические науки». -С. 174−177.
- Петров М.В. Опыт внедрения информационных систем: ожидания и фактические результаты, проблемы и пути их решения // Международная конференция «Корпоративные системы 2005» — М: Талгар, 2005.-85с.
- Петров М.В. Информационные системы, использующиеся на ж.д. транспорте. Особенности построения и внедрения. // Международная конференция «Техникон 2005» — Москва: Талгар, 2005. — 126с.
- Пирогов В.A. MS SQL Server 2000. М.: Управление и программирование, 2005. — 497с.
- Проектирование информационных систем М: «КомпьютерПресс», № 9,2001.-256с.
- Расчет показателей надежности по результатам экспериментов. Методические указания // Состав. Колобов А. Б. Иваново: ИГЭУ, 2004 -36 с.
- Радковский Г. Н. Естественно-языковые интерфейсы на основе многооконного меню // Интеллектуальные информационные системы Серия «Информатика», 1991. Т15. С. 170−190.
- Розенберг Дж., Скотт К. Применение объектного моделирования с использованием UML и анализ прецедентов М.: ДМК, 2002. — 160с.
- Саркисян А. А. Повышение качества программ с помощью автоматизированных методов М.: Наука, 1991. — 121с.
- Смирнова Г. Н., Сорокин А. А., Тельнов Ю. Ф. Проектирование экономических информационных систем М.: Финансы и статистика, 2002.-187с.
- Советов Б.Я. Моделирование систем. Практикум: Учеб. пособие для вузов / Б. Я. Советов, С. А. Яковлев.- М.: Высш. шк, 1999.- 224с.
- Советов Б.Я. Моделирование систем: Учебн./ Б. Я. Советов, С. А. Яковлев Зе изд., пераб. и доп-.М.: Высш. шк, 2001.- 344с.
- Соловьев Б. А., Калайда В. Т., Базовое программное обеспечение интегрированных распределенных систем безопасности // Информационные технологии.-2006.- № 1, с.76−86.
- Спицнандель В.Н. Основы системного анализа СПб: Бизнесс-пресс, 2000.-258с.
- Сугробов Н.В., Голубева И. Е., Петров М. В., Трусов А. В. Подсистема автоматизированного рабочего места товарного кассира «Учетные карточки ГУ-1». // Свидетельство об официальной регистрации программ для ЭВМ. № 2 005 611 732.
- Таха X. Введение в исследование операций: В 2-х книгах. Кн. 1 М.: Мир, 1985.-496с.
- Таха X. Введение в исследование операций: В 2-х книгах. Кн. 2 М.: Мир, 1985.-479с.
- Тейер Т., Липов М., Нельсон Э. Надежность программного обеспечения: Пер. с англ. М.: Мир, 1981. — 396с.
- Ш. Трубачев А. П., Долинин М. Ю., Кобзарь М. Т. Оценка безопасности информационных технологий. Общие критерии. Под ред. Галатенко В. А. — М.: СИП РИА, 2001. — 226с.
- Устинов Г. Н. Основы информационной безопасности систем и сетей передачи данных М.: СИНТЕГ, 2000. — 134с.
- ПЗ.Фатрелл Р. Т., Шафер Д. Ф., Шафер Л. И. Управление программными проектами: достижение оптимального качества при минимуме затрат. Пер. с англ. — М.: Вильяме, 2003. — 687с.
- Федеральная целевая программа «Модернизация транспортной системы России (2002 2010 годы)». — М: ФЗ, 2002 — 38 с.
- Фольфсон В.Л. Показатели надежности программного обеспечения на стадии его сопровождения. // Приборы и системы. Управление, контроль, диагностика. № 2. 2004. — с. 18−20.
- Нб.Хинчин А. Г. Работы по теории массового обслуживания М.: Физматгиз, 1963. — 236 с.
- Черемных С.В., Ручкин B.C., Семенов И. О. Структурный анализ систем. IDEF-технологии М.: Финансы и статистика, 2001. — 83с.
- Черемухин А.Н. Проблемы информатизации и реинжиниринга на железнодорожном транспорте // Транспорт: наука, техника, управление: Сб. ОИ ВИНИТИ, 2003. № 7. — С 47.
- Шамис В.А. Borland С++ Builder 5. Техника визуального программирования М.: Нолидж, 2000. — 688с.
- Шураков В.В. Надежность программного обеспечения систем обработки данных М.: Статистика, 1981. — 234с.
- Юдин Д.Б., Гольштейн Е. Г. Линейное программирование (теория, методы и приложения). М.: Мир, 1969. — 424с.
- Ястребенецкий М.А., Иванова Г. М. Надежность автоматизированных систем управления технологическими процессами: Учеб. пособие для вузов.-М.: Энергоатомиздат, 1989.- 264с.
- Encyclopedia of Software Engineering. Vol.1 A-N- Vol.2 O-Z. Editor — In — Chief John J. Marciniak John Wiley & Sons. Inc., 1995. — 379p.
- Clegg, Dai and Richard Barker. Case Method Fast-track: A RAD Approach Adison-Wesley, 1994. 123p.
- Musa J.D., Iannino A., Okumoto K. Software Reliability: Measurement, Prediction, Application. N.Y. McGraw Hill, 1987. — 326p.
- Parnas D.L. Software aspects of strategic defence system. // Communication of the ACM -1985. V.28, — N12 — p.1326−1335.
- Thiele D. Life cycle management using life cycle process standards. Abstract. -56p.