Технологии информатизации профессиональной деятельности (в науке, образовании и промышленности) - ТИПД-2011 : тр. 3 Всерос. науч. конф. с междунар. участием, Ижевск, 8-12 нояб. [Т. 2]

Description

Начало......Page 1 Оглавление......Page 3 Эволюция генотипа и возможный общий механизм повышения генетической устойчивости при многократном использовании генов......Page 11 Об использовании Венского метода описания операционной семантики формальных языков......Page 16 Введение......Page 25 Анализ обстановки и факторов для формирования постановки задачи......Page 26 Примеры использования принципов в формировании постановки задачи......Page 27 Необходимость разнообразия постановок задач......Page 29 Список литературы......Page 30 Введение......Page 32 Категориальная абстрактная машина......Page 33 Формирование варианта КАМ......Page 34 Демонстрационный аппликативный язык......Page 36 Особенности пользовательского интерфейса......Page 39 Список литературы......Page 40 Введение......Page 43 Список литературы......Page 44 Lux-AZ — система описания предметной области на основе семантических конструкций......Page 47 Список литературы......Page 49 Система поддержки компоновки стратегий взаимодействия пользователя с деловой игрой......Page 50 Список литературы......Page 52 Разработка системы поддержки интерфейса моделирующей абстрактной машины......Page 53 Список литературы......Page 56 Система изучения аппликативных сред......Page 57 Список литературы......Page 60 Введение......Page 62 Аппликативные термы......Page 64 Контексты......Page 65 Конверсия как отношение эквивалентности......Page 66 Экстенсиональность......Page 67 Разрешимость......Page 68 Комбинаторы неподвижной точки......Page 69 20 ламбда"=теорий......Page 70 Аппликативная структура......Page 71 Комбинаторная полнота......Page 72 Теорема о комбинаторной полноте......Page 73 Алгебраические свойства комбинаторных алгебр......Page 75 Ламбда"=термы над комбинаторной алгеброй......Page 76 Ламбда"=алгебры......Page 78 Эквациональное представление ламбда"=алгебр......Page 79 Экстенсиональность......Page 80 Ламбда"=модели......Page 81 Список литературы......Page 82 Система исследования динамики модели реляционного типа......Page 85 Многоцелевые алгоритмы: структура, программная реализация и приложения......Page 99 Синтетическая модель представления семантики различных предметных областей......Page 116 Гарантии полиномиальной эффективности для некоторых средств программирования из языков паскаль и рефал-5......Page 132 Аппликативная среда программирования на основе комбинаторной логики......Page 145 Модели, методы и средства программной инженерии для пост-кризисного управления жизненным циклом......Page 152 Введение......Page 158 Использование Scilab и Octave при решении инженерных и математических задач......Page 159 Об опыте использования программы Maxima в курсе «Высшая и прикладная математика»......Page 183 Список литературы......Page 184 Введение......Page 192 Математическая модель задачи......Page 193 Решение задачи с помощью метода сеток......Page 195 Список литературы......Page 196 Методы исследования и информационно-вычислительное обеспечение задач группового управления подводными роботами......Page 198 Асимптотический анализ вероятности связности плоского графа с высоконадежными ребрами......Page 246 Конструктивно-логические составляющие будущей компетентности информатика......Page 259 Информационно-дидактическая модель дизайна......Page 265 Ассоциативная семантика в чтении чертежей......Page 273 Проблемы безопасности облачных вычислений и возможности риск-анализа......Page 282 Тензорные методы в информационных технологиях......Page 297 Предварительные сведения......Page 331 О проблеме распознавания консервативности суперинтуиционистских логик......Page 332 Список литературы......Page 333 Введение......Page 335 Общие сведения......Page 336 Описание задачи......Page 337 Описание метода......Page 338 Распознавание математических формул......Page 340 Список литературы......Page 343 Введение......Page 345 Адаптивная мультимедийная обучающая система......Page 346 Список литературы......Page 349 Введение......Page 352 Постановка задачи......Page 354 Частное решение для узловой тензорной модели......Page 355 Численные результаты......Page 359 Список литературы......Page 360 Становление теоретического мышления в астрономии......Page 363 Комплекс прорывных технологий ноосферного управления глобальным и региональным устойчивым инновационным развитием......Page 393 Teacher’s Skills for the school of the future. Research project summary: Opening note and Final Conclusions......Page 416 Presentations at Udmurt University -- Russia (Video repository)......Page 418 Final conclusions......Page 419 Final conclusions......Page 420 References......Page 421 Классический метод молекулярной динамики......Page 427 Метод первопринципной (ab initio) молекулярной динамики......Page 429 Результаты моделирования......Page 431 Список литературы......Page 433 Введение......Page 436 Основные проблемы и подходы к формиро-ванию информационно-технологической под-держки......Page 437 Структура сайта......Page 440 Схема базы данных для сайта......Page 442 Дизайнерские задачи и их решения для сайта......Page 443 Эволюция пиктограмм......Page 445 Поддержка создания цифровых публикаций......Page 447 Команда и инструментальные средства......Page 448 Список литературы......Page 449 Введение......Page 451 Формулы для программирования......Page 453 Секвенции и правила......Page 457 Программы......Page 458 Постулаты формальной системы и их реализации......Page 460 Пример. Задача нахождения стоимости продукта......Page 464 Список литературы......Page 468 Фундаментальные основания системного знания и проблема устойчивой эволюции......Page 471 Подгонка фреймов как семантический механизм для создания моделирующих деловых игр в области права......Page 515 Список литературы......Page 517 Бельтюков А.П.......Page 518 Васильева Е.С.......Page 519 Зайцев А.Е.......Page 520 Исламов А.Г.......Page 521 Кензин М.Ю.......Page 522 Косиков С.В.......Page 523 Кощеева А.К.......Page 524 Кучер Т.В.......Page 525 Мажирин И.В.......Page 526 Нагул Н.В.......Page 527 Пономарев Д.Ю.......Page 528 Рожина А.В.......Page 529 Ульянов С.А.......Page 530 Цветков А.А.......Page 531 Чеснокова О.В.......Page 532 George Siemens......Page 533 Sixto Cubo Delgado......Page 534 Nuria de Salvador......Page 535 Eugenia Smyrnova-Trybulska......Page 536