Рабочая программа по курсу «Компьютерные методы решения задач в юриспруденции» для специальности (ей) 080801(010502) «Прикладная информатика (в юриспруденции)»
| Вид материала | Рабочая программа |
- Программа по курсу "Математика. Алгебра и геометрия" для специальности 080801 (351400), 143.45kb.
- Программа по курсу «Логистика и конроллинг» для специальности 080801 «Прикладная информатика, 210.29kb.
- Рабочая программа по дисциплине «Маркетинг» для специальности 080801 «Прикладная информатика, 165.98kb.
- Рабочая программа по курсу «Теория систем и системный анализ» для специальности 080801, 220.5kb.
- Рабочая программа для специальности 010502 Прикладная информатика (в экономике) Факультет, 106.16kb.
- Рабочая программа по дисциплине «Налогообложение» для специальности 080801 «Прикладная, 123.05kb.
- Рабочая программа по дисциплине «Финансовый анализ» для специальности 080801 «Прикладная, 160.28kb.
- Учебно-методический комплекс по дисциплине гражданское процессуальное право для специальности, 2066.26kb.
- Рабочая программа по дисциплине "Имитационное моделирование экономических процессов", 207.47kb.
- Рабочая программа по дисциплине «Математическая экономика» для специальности 080801, 222.52kb.
Федеральное агентство по образованию
Шахтинский институт (филиал)
Южно-Российского государственного технического университета
(Новочеркасского политехнического института)
РАБОЧАЯ ПРОГРАММА
по курсу «Компьютерные методы решения задач в юриспруденции»
для специальности (ей)
080801(010502) «Прикладная информатика (в юриспруденции)»
новый шифр (старый шифр) – название специальности (ей)
для специализации
название специализации
Шахты 2006 г.
Федеральное агентство по образованию
Шахтинский институт (филиал)
Южно-Российского государственного технического университета
(Новочеркасского политехнического института)
УТВЕРЖДАЮ
Заместитель директора по ОиНД
_____________ А.Ю. Прокопов
(должность, фамилия, инициалы)
«____» _____________ 2006 г.
РАБОЧАЯ ПРОГРАММА
Компьютерные методы решения задач в юриспруденции
наименование дисциплины
для специальности(ей) 080801(010502) «Прикладная информатика
новый шифр (старый шифр) и название специальности (ей)
(в юриспруденции)»
Факультет технологий и информатизации
Кафедра математики, информационных систем и технологий
Курс 5
Семестр 9
Лекции 34 (час.) Экзамен 9__ (семестр)
Зачет (семестр)
| Практические (семинарские) занятия 17 (час.) Лабораторные занятия 17 (час.) Всего аудиторных 68 (час.) | Всего самостоятельной работы 47 (час.), из них: Плановая работа _6_ (час.) курсовой проект __ семестр __ (час.) курсовая работа __ семестр __ (час.) реферат __ семестр __ (час.) домашнее задание _9_ семестр _6_ (час.) контрольная работа (ЗФО) __ семестр __ (час.) индивидуальная работа 25 (час.) домашняя работа 16 (час.) |
Итого по дисциплине 115 (час.)
2006 г.
Рабочая программа по курсу «Компьютерные методы решения задач в юриспруденции
» составлена в соответствии с требованиями государственного образовательного стандарта высшего профессионального образования по специальности 080801(010502) «Прикладная информатика (по отраслям)», утвержденного 14.03.2002 г., рег. №52 мжд/сп., на основании рабочего плана, утвержденного советом ЮРГТУ (НПИ), протокол №5 от 7.02.2001 г.
Код дисциплины по ГОС ОПД.Ф.10
Рабочую программу составила к.э.н., ст. преп., Сухова А.А.
Рабочая программа обсуждена и утверждена на заседании кафедры «Математика, информационные системы и технологии»
______________ Протокол _______
Зав. кафедрой А.М Безуглов
Рабочая программа согласована с учебно-методическим отделом
Начальник УМО ЮН.Попков
«____»_____________200 г.
Рабочая программа одобрена научно-методической комиссией факультета
Председатель НМК, декан факультета____________Н. В. Титов
_____________
«____»_______________2006 г.
Государственный образовательный стандарт по дисциплине «Компьютерные методы решения задач в юриспруденции»
| ОПД.Ф.10 | Границы возможностей классических математических методов в юриспруденции. Математические предпосылки создания компьютерной модели сложного процесса (теория массового обслуживания; метод Монте-Карло, структурный анализ и др.). Имитационная модель как источник ответа на вопрос: «что будет, если…». Планирование компьютерного эксперимента; масштаб времени; датчики случайных величин; проверки гипотез о связях типа событие ↔ явление ↔ поведение; риски и прогнозы. Процесс создания двух взаимосвязанных моделей: функциональной структурной и динамической имитационной. Автоматизированное конструирование моделей. Имитация процессов в трех измерениях: материальные, денежные и информационные потоки. Работа с объектами типа «ресурс». Процессы финансирования и денежные потоки. Моделирование взаимозачетов. Моделирование нарушений (преступлений) с вариантами развития последствий: пени, штраф, арбитражный процесс, банкротство и др. Задачи планирования; примеры автоматического построения планов решения задач (планов расследования). |
1. ЦЕЛИ И ЗАДАЧИ ДИСЦИПЛИНЫ, ЕЕ МЕСТО В УЧЕБНОМ ПРОЦЕССЕ
1.1. Цели и задачи изучения дисциплины
В дисциплине рассматриваются принципы и методы построения имитационных моделей и процессов в юриспруденции. Методология и технология машинного моделирования систем, формализация и алгоритмизация процессов функционирования элементов юридических систем, автоматизированных систем обработки информации и управления, организация статистического моделирования на ЭВМ, инструментальные средства моделирования. Значительное внимание уделяется вопросам имитационного моделирования юридических процессов на базе моделирующих систем GPSS, Process Model, Arena, Extend, Generic Enterprise Modeling (GEM), ITHINK, различным подходам к статическому моделированию.
В качестве современных способов моделирования систем рассматривается методология функционального моделирования SADT. Излагаются основы использования CASE – средств ARIS и AnyLogicTM.
Цель: изучение современных методов анализа структуры и динамических характеристик процессов в юриспруденции.
Задачи при изучении дисциплины:
- Студент должен знать: методы имитационного моделирования и возможности их применения в профессиональной области.
- Студент должен уметь: использовать инструментарий имитационного моделирования для решения профессиональных задач.
1.2. Краткая характеристика дисциплины и ее фундаментальных основ.
Имитационная модель позволяет сравнительно быстро дать ответ на вопросы: «А что будет, если …» и оценить различные риски: невозврата кредита, неуплаты налогов (с соответствующими санкциями со стороны налоговой инспекции), невыполнения заказа в договорные сроки и др.
Имитационное моделирование используется, если:
- проведение натуральных экспериментов нежелательно или невозможно;
- неизвестны или не существуют математические методы расчетов.
1.3. Место дисциплины в учебном процессе и основополагающие интеграционные связи с другими дисциплинами учебного плана.
Изучение дисциплины в комплексе с другими, специального цикла, призвано сформировать у будущего специалиста базу знаний в области применения методов и инструментария компьютерного моделирования в профессиональной сфере деятельности.
1.4. Связь с предшествующими дисциплинами, общность фундаментальных основ и гуманитарной подготовки.
| № п/п | Наименование дисциплины и ее разделы | Уровень знаний | Номера изучаемой дисциплины |
| 1 | Информационные технологии в юриспруденции | 3 | По всему курсу |
1.5. Связь с последующими дисциплинами, фундаментация, гуманитаризация и интеграция естественно – научных, гуманитарных и технических знаний.
1. Дипломное проектирование-спец. часть.
2. РАСПРЕДЕЛЕНИЕ ТЕМ И ЧАСОВ ЗАНЯТИЙ ПО СЕМЕСТРАМ.
Дисциплина читается в одном семестре.
3. СОДЕРЖАНИЕ ДИСЦИПЛИНЫ.
3.1. Наименование модулей дисциплины, их содержание и объем в часах.
Модуль 1. Основы моделирования систем -38 час.
Тема 1.1. Общие принципы моделирования систем 13 час, УЗ – З
Характеристики и поведение сложных систем. Система терминов процессного подхода. Общие понятия модели и моделирования. Классификация моделей. Структура моделей. Требования, предъявляемые к модели, функции модели. Методологические основы формализации функционирования сложной системы. Моделирование компонентов. Этапы формирования математической модели. Границы возможностей классических математических методов в юриспруденции. Математические предпосылки создания компьютерной модели сложного процесса (теория массового обслуживания; метод Монте-Карло, структурный анализ и др.). Имитационная модель как источник ответа на вопрос: «что будет, если…». Имитационное моделирование.
Литература 4 [ 1,2,3 ]
Срс 5 ч.
Тема 1.2 Методы получения случайных чисел 13 час, УЗ-З
Общие сведения о случайных числах. Область применения метода Монте-Карло. Основные средства равномерного распространения. Способы генерирования равномерно распределенных случайных чисел. Метод усечения. Требования к случайным числам. Генераторы случайных чисел.
Литература 4 [ 1 ]
Срс 5 ч.
Тема 1.3. Формирование случайных величин с заданным законом распределения 12 час, УЗ-З
Метод обратных функций. Приближенные методы. Метод отсеивания (метод генерации Неймана). Моделирование условий предельных теорем теории вероятности. Моделирование нормального распределения. Алгоритм Бойса и Маллера. Формирование реализаций случайных векторов и функций. Моделирование дискретных распределений. Биномиальное распределение. Распределение Пуассона.
Литература 4 [ 1,2,3,4,5,6 ]
СРС- 5
Модуль 2. Инструментальные средства имитационного моделирования 38час.
Тема 2.1. Основные средства моделирования в системе ARENA 13 час, УЗ-З
Пакет имитационного моделирования ARENA. Основные типы моделирующих конструкций – модулей: источники (Great), стоки (Dispose), процессы (Process), очереди (Queue).Модули типа Flowchart. Модули типа Data. Шаблоны Basik Process (Основной процесс), Advansed Process (Дополнительный процесс) и Advanced Transfer (Дополнительная передача). Простейшая имитационная модель. Детализация модулей с помощью диалоговых окон или встроенных таблиц. Обеспечение двухмерной анимации и вывод на экран динамической графики (гистограмм и графиков временной зависимости). Доступ к 12 стандартным теоретическим распределениям вероятностей, и к эмпирическим распределениям. Средство моделирования нестационарных процессов Пуассона. Способ выполнения независимых повторных прогонов моделируемой системы. Средство построения точечных оценок и доверительных интервалов для показателей работы системы. Построение доверительных интервалов для оценки разности между средними значениями двух систем. Построение графики( гистограммы, столбиковые диаграммы, графики временной зависимости и корреляционные). Дополнительный модуль оптимизации. Процесс создания двух взаимосвязанных моделей: функциональной структурной и динамической имитационной. Выполнение функционально-стоимостного анализа при использовании АВС-метода. Отображение результатов моделирования с помощью программы Crystal Reports, встроенной пакет. Поддержка пакетом ARENA языка Visual Basic for Application (VBA) компании Microsoft. Интерфейс ARENA с графическим пакетом Visio.
Литература 4 [ 1,2,3 ]
Срс 5 ч.
Тема 2.2 Имитационное моделирование в Generic Enterprise Modeling (GEM) 13 час, УЗ-З
COR (Constraint Orientid Reasoning) – технология. Общая структура GEM- программы. COR IDE – интегрированная среда для разработки COR –предложений. Смешанно- целочисленный решатель MIO. Имитация процессов в трех измерениях: материальные, денежные и информационные потоки. Работа с объектами типа «ресурс». Процессы финансирования и денежные потоки. Моделирование взаимозачетов. Возможность связывания моделей с внешними источниками данных (MS Access, Excel, DBF, MS SQL, Oracle). Встроенные средства формирования отчетов. Экспорт и импот данных. Раздел описаний. Модули типа «Приобретение», «Смешение», «Производство», «Сбыт». Детализация модулей с помощью диалоговых окон и встроенных таблиц. Связи-потоки. Формирование отчетов. Анализ граничных условий.
Литература 4 [ 3,5 ]
Срс 5 ч.
Тема 2.3 Разработка имитационных потоковых моделей в ITHINK- 12 час, УЗ-З
ITHINK как инструмент визуального моделирования. Процессы и модели. Метод проблем и альтернатив (Problems and opportunities approach). Процесс моделирования с помощью «картинок». Потоковые диаграммы ITHINK – идеографическое изображение моделей на среднем, базовом уровне представления. Элементы потоковых идеограмм: фонды потоки, конверторы, коннекторы. Создание имитационной модели.
Литература 4 [ 4,6 ]
СРС- 5 ч.
Модуль 3. Этапы имитационного моделирования - 39 ч.
Тема 3.1. Планирование имитационного эксперимента - 13 час, УЗ-З
Этапы применения математической (имитационной) модели. Технологические этапы имитационного моделирования: испытание модели; исследование свойств модели; планирование имитационного эксперимента; эксплуатация модели (проведение расчетов). Испытание имитационной модели: задание исходной информации; верификация имитационной модели; проверка адекватности модели; калибровка имитационной модели. Оценка погрешности имитации, связанной с использованием в модели генераторов ПСЧ. Определение деятельности переходного режима. Исследование чувствительности модели: установление диапазона изменения отклика модели при варьировании каждого параметра; проверка зависимости отклика модели от изменения параметров внешней среды. Имитационные проекты. Документирование проектов. Планирование компьютерного эксперимента; масштаб времени; датчики случайных величин; проверки гипотез о связях типа событие ↔ явление ↔ поведение; риски и прогнозы Оценка точности результатов моделирования. Анализ и оценка результатов. Поиск наилучших решений.
Литература 4 [ 1,2,3,4 ]
Срс 5 ч.
Тема 3.2 Моделирование нарушений - 13 час, УЗ-З
Моделирование нарушений, преступлений с различными вариантами развития последствий: пени, штрафы, арбитражные процессы, банкротство.
Задачи планирования, примеры построения планов решения задач, планов расследования.
Литература 4 [ 6 ]
Срс 7 ч.
Тема 3.3. Управление моделью и результаты моделирования в CASE – пакете ARIS Toolset -13 ч., УЗ-З
Работа с ARIS. Начало работы, настройки системы. Создание моделей. Глоссарий. Общие принципы моделирования. Организация хранения диаграмм проекта в базе ARIS. Перечень наиболее используемых диаграмм. Описание и примеры диаграмм.
Литература 4 [ 5 ]
СРС -5 ч.
3.2 Практические занятия, их наименования и объем в часах (17 ч.)
| № | Номер модуля. Наименования тем занятий | Кол-во час. | Форма контроля | Сроки контроля | Лит-ра |
| 1 | Модуль1. Проведение машинных экспериментов с имитационными моделями систем массового обслуживания в среде GPSS World | 2 | опрос | 25 окт. | 4[2] |
| 2 | Модуль1. Имитационное моделирование в пакете Process Model | 2 | опрос | 25 окт. | 4[6] |
| 3 | Модуль1. Знакомство с анимационным пакетом Proof Animation | 2 | опрос | 25 окт. | 4[6] |
| 4 | Модуль2. Моделирование процессов в юриспруденции c помощью ARENA | 2 | опрос | 25 окт. | 4[6] |
| 5 | Модуль2. Моделирование процессов в юриспруденции в пакете Extend | 2 | опрос | 25 окт. | 4[6] |
| 6 | Модуль2. Разработка имитационных потоковых моделей в ITHINK | 2 | опрос | 1 дек. | 4[6] |
| 7 | Модуль3. Модель простой системы массового обслуживания в среде Any LogicTM | 2 | опрос | 1 дек. | 4[6] |
| 8 | Модуль3. Разработка моделей сложных систем в среде Micro Saint | 2 | опрос | 1 дек. | 4[6] |
| 9 | Модуль3. Проведение машинных экспериментов имитационного моделирования в CASE – пакете ARIS Toolset | 1 | опрос | 1 дек. | 4[6] |
3.3 Лабораторные занятия, их наименования и объем в часах (17ч.)
| № | Номер модуля. Наименования тем занятий | Кол-во час. | Форма контроля | Сроки контроля | Лит-ра |
| 1 | Модуль1. Моделирование простых информационных процессов в среде GPSS | 3 | отчет | 25 окт. | 4[1,2] |
| 2 | Модуль1. Моделирование одноканальных бесприоритетных систем в GPSS | 3 | отчет | 25 окт. | 4[2] |
| 3 | Модуль2. Моделирование многоканальных систем | 3 | отчет | 1 дек. | 4[2] |
| 4 | Модуль2. Моделирование приоритетных систем с пуассоновскими потоками заявок | 3 | отчет | 1 дек. | 4[2] |
| 5 | Модуль3. Моделирование простейших вычислительных систем | 5 | отчет | 1 дек. | 4[2] |
3.4 Курсовой проект, курсовая работа, реферат, домашнее задание, их содержание и характеристика.
Домашнее задание предусматривает построение имитационной модели по предложенному варианту.
3. 5 Учебная практика по дисциплине, краткая характеристика.
Учебным планом не предусмотрены.
3.6.Самостоятельная работа студентов.
| Всего (час) | Плановая (час) | Индивидуальная (час) | Домашняя (час) |
| 47 | 6 | 25 | 16 |
4. Учебно-методические материалы по дисциплине.
Литература:
Основная
1. Бережная Е.В., Бережной В.И. Математические методы моделирования экономических систем: Учеб. Пособие.- М.: Финансы и статистика, 2001.-368 с.: ил-22 экз.
2. Боев В.Д. Моделирование систем. Инструментальные средства GPSS World: Учеб. Пособие.- СПб.: БХВ-Петербург , 2004. 368 с.: ил.
Дополнительная
3. Ермаков С.М. Метод Монте-Карло и смежные вопросы .- М.: статистика,1975.-471 с.
4. Калянов Г.Н. CASE Структурный системный анализ (автоматизация и применение). М.: издательство «ЛОРИ», 1996 -242 с.
5. Кельтон В., Лоу А. Имитационное моделирование. Классика СS. 3-е изд.- СПб.: Питер; Киев: Издательская группа ВНV, 2004- 847 с.: ил.
6. Кленен Дж. Статистические методы в имитационном моделировании.- М.: Статистика, 1978 .-235 с.
7. Кобелев Н.Б. Основы имитационного моделирования сложных экономических систем: Учеб . пособие. - М.: Дело, 2003.-336 с.
8. Математическая теория планирования эксперимента / под ред. С.М.Ермакова. - М.: Наука, 1983 .-392 с.
9. Рыжиков Ю.И. Имитационное моделирование: Теория и технологии. Издательство «Альтекс-А»,2004-380 с.
10. Гультяев А.К.MATLAB 5.2. Имитационное моделирование в среде Windows: Практическое пособие. - СПб.: КОРОНА принт, 1999.-288 с.
11. Советов Б.Я., Яковлев С.А. Моделирование систем. Учебник для ВУЗов.- М.: Высшая школа, 1985 .-320 с.
12. Томашевский В, Жданова Е. Имитационное моделирование в среде GPSS.- М.: Бестселлер,2003.- 416 с.
13. Шеннон Р.Имитационное моделирование систем - искусство и наука.- М.: Мир, 1978 .- 418 с.
14. Шрайбер Т. Дж. Моделирование на GPSS. – М.: Машиностроение, 1980. – 592 с.