Семантическая масштабируемость для специализации вычислений при разработке деловых игр: аппликативные модели



Скачать 29.11 Kb.
Дата15.01.2013
Размер29.11 Kb.
ТипДокументы


С.В. КОСИКОВ, А.Е. ЗАЙЦЕВ1

Национальный исследовательский ядерный университет «МИФИ»

1Институт «ЮрИнфоР-МГУ»
СЕМАНТИЧЕСКАЯ МАСШТАБИРУЕМОСТЬ
ДЛЯ СПЕЦИАЛИЗАЦИИ ВЫЧИСЛЕНИЙ
ПРИ РАЗРАБОТКЕ ДЕЛОВЫХ ИГР: АППЛИКАТИВНЫЕ МОДЕЛИ

Рассмотрено два класса систем, обеспечивающих семантическое масштабирование. В первом из них реализуется компиляция в промежуточный язык категорного типа. Второй основан на наиболее общей аппликативной вычислительной модели. Применяются оригинальные инструментальные средства.
Как известно, семейство языков категорного типа обеспечивает средства управления семантикой [3], [4]. В настоящей работе рассматриваются вопросы моделирования предметных областей обучающих систем. Выделяются особенности предметных областей, требующие настройки семантики средств моделирования. В качестве общей основы описания семантики предлагается подход на основе теории категорий. Разработана концепция и значимые фрагменты реализации инструментальных средств с настраиваемой семантикой в виде компилятора для семейства языков категорного типа. Внедрения в учебный процесс подтверждают возможности развития инструментальных средств указанного вида.

С другой стороны, хорошо себя зарекомендовали и аппликативные модели семантической масштабируемости при специализации вычислений для деловых игр по юриспруденции [1, 2, 5]. Предлагаются решения в области проектирования деловых игр (ДИ) моделирующего типа в области юриспруденции, концепция проектирования специализированных предметно-ориентированных механизмов наследования их композиции и подходы к их погружению в аппликативные вычислительные системы (АВС) и реализации.

Особенности отображения семантических аспектов ДИ в области права проявляются на всех уровнях их проектирования. Необходимость использования средств настройки семантики на лингвистическом уровне предопределяется принципиальной открытостью языка описания ДИ, а также требованиями её последующего сопровождения. Для предметных областей (ПО) деловых игр в области права (ДИП) характерно их описание в рамках различных “систем” терминов. Последние получают в большинстве случаев в модели несколько возможных интерпретаций, которые могут изменяться как со временем, так и под влиянием других объектов среды.

Как следствие возникает необходимость разработки специализированных механизмов наследования, в которых само правило наследования оказывается вычисляемым. В рамках модели ДИП такое правило может зависеть от правового статуса или состояния фигуранта игры (фактического, приписываемого ему им самим или другими фигурантами). Как правило, оценки и процедуры оценивания вовлекаются в рассмотрение наряду с действительными объектами ПО и требуют их отражения в модели. Масштабируемость и “переключение” семантик в ДИП могут быть достигнуты за счет применения аппликативных языков и моделей.
Целью является обеспечить вычислительный характер модели, облегчающий её реализацию, отладку и последующее сопровождение.
Список литературы


  1. Вольфенгаген В. Э., Исмаилова Л. Ю., Косиков С. В. Структура компьютинга и конструирование вычисления. / Электронное научно-техническое издание “Наука и образование”, Эл № ФС 77-30569. Государственная регистрация № 0421000025. ISSN 1194-0408, # 08, август 2010. -- 21 с. URL: http://technomag.edu.ru/doc/153062.html (дата обращения: 20.10.2010).

  2. Исмаилова Л.Ю., Косиков С.В., Вольфенгаген В.Э., Зинченко К.Е. Средства инструментальной поддержки композиции и специализации предметно-ориентированных механизмов наследования для правовых деловых игр. --В мире научных открытий. 2010. № 1-4. С. 32-36.

  3. Исмаилова Л.Ю., Косиков С.В. Семейство языков категорного типа для обеспечения средств управления семантикой. -- Аппликативные вычислительные системы: Труды 2-й международной конференции по аппликативным вычислительным системам (АВС’2010), Москва, 29-31 октября 2010 г. / Под ред. Л.Ю. Исмаиловой. – М.: НОУ Институт Актуального образования «ЮрИнфоР-МГУ», 2010, С. 67

  4. Исмаилова Л.Ю. Подходы к построению инвариантов компьютинга на категорной основе. -- Аппликативные вычислительные системы: Труды 2-й международной конференции по аппликативным вычислительным системам (АВС’2010), Москва, 29-31 октября 2010 г. / Под ред. Л.Ю. Исмаиловой. – М.: НОУ Институт Актуального образования «ЮрИнфоР-МГУ», 2010, С. 67

  5. Ismailova L.Yu., Kosikov S.V. Applicative Models, Semantic Scalability and Specialized Calculations for Business Games in Jurisprudence. – Proc. of the International Workshop “Innovation Information Technologies – Theory and Practice”, Dresden, September 06-10, 2010, Forschungszentrum Dresden-Rossendorf, 2010, PP. 33-35



Похожие:

Семантическая масштабируемость для специализации вычислений при разработке деловых игр: аппликативные модели iconАппликативные модели вычислений на основе параметризованных семантик в юридических деловых играх
На стыке информационных технологий, информатики и юриспруденции развиты методы и средства онтологически ориентированного проектирования...
Семантическая масштабируемость для специализации вычислений при разработке деловых игр: аппликативные модели iconСемантическая структура пропозиции при извлечении фактов из текстов на русском языке
Идеогра из текста извлекается грамматическая, лексико-семантическая, семантическая информация, которая может быть использована для...
Семантическая масштабируемость для специализации вычислений при разработке деловых игр: аппликативные модели iconВ профессию Автор: Кравцов Г. Г. Специализации
Программой предусмотрены лекции и занятия в учебной мастерской с проведением семинаров и деловых игр, на которых моделируются и обсуждаются...
Семантическая масштабируемость для специализации вычислений при разработке деловых игр: аппликативные модели iconСовременные тенденции в разработке средств визуализации программного обеспечения параллельных вычислений
...
Семантическая масштабируемость для специализации вычислений при разработке деловых игр: аппликативные модели iconМногопроцессорные вычислительные системы – назначение, область применения
Высокопроизводительные системы для глобальных корпоративных вычислений должны отличаться такими характеристиками, как повышенная...
Семантическая масштабируемость для специализации вычислений при разработке деловых игр: аппликативные модели iconРабочая программа дисциплины " Теория игр и исследование операций "
В курсе рассматриваются основные математические модели, связанные с принятием решений. Главное место занимают математические модели...
Семантическая масштабируемость для специализации вычислений при разработке деловых игр: аппликативные модели iconМодели вычислений
Под эффективными алгоритмами всюду ниже, согласно тезису Эдмондса, мы будем понимать полиномиальные алгоритмы. Последние, в соответствии...
Семантическая масштабируемость для специализации вычислений при разработке деловых игр: аппликативные модели iconПрограмма дисциплины методы оптимизации и модели исследования операций для направления 080100. 62 «Экономика»
Требования к студентам. Курс “Методы оптимизации и модели исследования операций” предназначен для студентов ш курса нф гу вшэ специализации...
Семантическая масштабируемость для специализации вычислений при разработке деловых игр: аппликативные модели iconОрдена ленина
О языке программирования для модели вычислений, основанной на принципе потока данных
Семантическая масштабируемость для специализации вычислений при разработке деловых игр: аппликативные модели iconТеория сложности вычислений
Разрешимые и перечислимые множества. Нумерации вычислимых функций. Модели вычислений. Примеры неразрешимых проблем. Сводимость одних...
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org