Поиск по:sp.cs.msu.ru -
Поискать по всем серверам
На этой странице приведены все страницы сервера sp.cs.msu.ru ,которые мы индексируем. Показаны документы 541 - 560 из 751.
Упорядочить по:
URL
|
дате изменения
541. http://sp.cs.msu.ru/datalog/levshin-swps.pdf
PostgreSQL , . ... RDF, RDFS, OWL SWRL) . ... SQL , , PostgreSQL. ... OWL ProtИgИ, RDFS, OWL Lite, OWL DL OWL Full. ... P(a,b). pg_rdf_oldprop (property_id, arg1_id, arg2_id) pg_rdf_newprop (property_id, arg1_id, arg2_id). pg_rdf_oldprop , , . ... R(?x,?y) P(?x,?y) , , <get_id(`P'), NULL, NULL> <get_id(`R'), NULL, NULL>. pg_rdf_oldprop , pg_rdf_depend , , . pg_rdf_newprop. , pg_rdf_oldprop <get_id(`P'), NULL, NULL>, pg_rdf_newprop <get_id(`R'), NULL, NULL>. , , . ... RDF, RDFS, OWL SWRL, RDF SQL. ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/datalog/levshin-swps.pdf -- 532.4 Кб -- 23.05.2007
Похожие документы
Похожие документы
542. http://sp.cs.msu.ru/courses/tm/q2007.doc
Список вопросов по курсу "Методы управления транзакциями в современных СУБД" Лектор: мл. н. с. Плешачков Петр Олегович 1. Классическое определение транзакций и их основные свойства. ... Понятие сериализуемости транзакций. ... Основные критерии сериализуемости транзакций. ... Двухфазный протокол блокировок (2PL); тупики (deadlocks) и методы их разрешения. ... Метод гранулированных блокировок. ... Метод временных меток. ... Восстановление после сбоев в System R. Основные достоинства и недостатки. ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/courses/tm/q2007.doc -- 33.5 Кб -- 25.04.2007
Похожие документы
Похожие документы
543. http://sp.cs.msu.ru/courses/prak1/otchet-req.doc
... Отчет по заданию 1 включает в себя: + Титульный лист; + Содержание; + Введение. Постановка задачи (конкретный вариант); + Математическое обоснование (выбора отрезков поиска корней, применимости метода поиска корня и квадратурной формулы, выбора погрешностей для обеспечения требуемой точности); + Тестирование (root и integral); + Текст программы; + Заключение. ... 9 Низ листа: -2- Тестирование включает в себя таблицу вида: |Тест (входные |Тест (точный |Полученный |Заключение (тест | ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/courses/prak1/otchet-req.doc -- 35.0 Кб -- 09.02.2007
Похожие документы
Похожие документы
544. http://sp.cs.msu.ru/courses/vendrov/ooad_q2006.doc
Вопросы по курсу «Объектно-ориентированный анализ и проектирование» 2006 г. 1. ... Основные особенности и проблемы современных программных проектов. ... Модели программного обеспечения и их место в процессе проектирования. ... Основные принципы построения объектной модели. ... Основные элементы объектной модели. ... Язык UML. ... Состав диаграмм UML. ... Варианты использования (use cases) и диаграммы вариантов использования. ... Содержание процесса анализа и проектирования программного обеспечения. ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/courses/vendrov/ooad_q2006.doc -- 26.0 Кб -- 21.12.2006
Похожие документы
Похожие документы
545. http://sp.cs.msu.ru/courses/xml/xml2006q.doc
Вопросы к экзамену по курсу П. О. Плешачкова "Технологии управления XML-данными" 1. ... Языки запросов над полуструктурированными данными. ... Взаимосвязи между языками SGML, XML, HTML, XHTML. ... Язык XML. ... Язык описания схем XML-документов DTD. ... Виды ограничений на XML-документы, накладываемые языками описания схем. ... Язык описания схем XML-документов Relax NG. ... Модель данных XPath, XQuery и XSLT. ... Язык запросов к XML-данным XPath. ... Язык запросов к XML-данным XQuery. ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/courses/xml/xml2006q.doc -- 26.5 Кб -- 06.12.2006
Похожие документы
Похожие документы
546. http://sp.cs.msu.ru/courses/bp/bp_q2006.doc
Вопросы к экзамену по спецкурсу "Моделирование бизнес-процессов" 2006 г. 1. Понятие бизнес-процесса. ... Метод функционального моделирования SADT (IDEF0). Состав функциональной модели. ... Методика моделирования. ... Метод моделирования IDEF3. ... Модель business use case. Понятие business actor. ... Понятие business use case. ... Диаграмма business use case. ... Спецификация business use case. ... Модель business analysis. Понятие business worker. ... Понятие business entity. ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/courses/bp/bp_q2006.doc -- 25.5 Кб -- 24.11.2006
Похожие документы
Похожие документы
547. http://sp.cs.msu.ru/courses/progs2006/arch_comp.doc
Архитектура ЭВМ и язык ассемблера 1 курс, 2-й семестр лекции (51 час), экзамен практикум на ЭВМ (68 часов), зачет с оценкой Кафедра, отвечающая за курс: алгоритмических языков Составители программы: доц ., канд . физ .- мат . наук Баула В. Г., доц ., канд . физ .- мат . наук Пильщиков В. Н., ст. преп., канд . физ .- мат . наук Бордаченкова Е. А. Лекторы: доц ., канд . физ .- ... Отображение структур данных и структур управления языков высокого уровня на язык ассемблера. ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/courses/progs2006/arch_comp.doc -- 24.5 Кб -- 19.06.2006
Похожие документы
Похожие документы
548. http://sp.cs.msu.ru/courses/progs2006/database.doc
Базы данных 3 курс, 1 поток , 5-й семестр лекции (34 часа), экзамен 4 курс, 2 поток , 7-й семестр лекции (34 часа), экзамен 3 курс, 3 поток ... п.), проф., доктор физ.-мат. наук Марков А. С. (1 и 2 п.) Аннотация В курсе обсуждаются общие вопросы систем управления базами данных ( СУБД ) и основы реляционных баз данных : введение в реляционные СУБД (РСУБД), основные функциональные компоненты РСУБД, введение в язык реляционных ... Основные средства манипулирования данными. ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/courses/progs2006/database.doc -- 44.5 Кб -- 16.06.2006
Похожие документы
Похожие документы
549. http://sp.cs.msu.ru/courses/progs2006/art_int.doc
Искусственный интеллект 4 курс, III поток и бакалавры, 7-й семестр лекции (68 час), экзамен Кафедра, отвечающая за курс: алгоритмических языков Составитель программы: проф., доктор физ.-мат. наук Мальковский М. Г. Лектор: проф., доктор физ.-мат. наук Мальковский М. Г. Веб-страница: http://al.cs.msu.ru/malk/ai Программа курса Новые информационные технологии и Искусственный интеллект (ИИ). ... Интегрированные методы представления знаний. ... Мальковский М.Г. Диалог с системой искусственного интеллекта. ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/courses/progs2006/art_int.doc -- 31.0 Кб -- 14.06.2006
Похожие документы
Похожие документы
550. http://sp.cs.msu.ru/courses/progs2006/distr_oper_sys.doc
Распределенные операционные системы 4 курс, 3 поток, 8 семестр лекции (32 часа), экзамен Кафедра, отвечающая за курс: кафедра системного программирования Составитель программы: проф., доктор физ.-мат. наук Крюков В. А. Лекторы последних лет: проф., доктор физ.-мат. наук Крюков В. А. Веб-страница: http ://sp.cmc.msu.ru/courses/os/ Аннотация В курсе рассматриваются проблемы создания распределенных операционных систем - операционных ... Крюков В. А. Распределенные операционные системы. ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/courses/progs2006/distr_oper_sys.doc -- 30.0 Кб -- 14.06.2006
Похожие документы
Похожие документы
551. http://sp.cs.msu.ru/courses/progs2006/par_data_proc3.doc
Параллельная обработка данных 5 курс, 3 поток , 9-й семестр лекции (68 часов), экзамен Кафедра, отвечающая за курс: АСВК Составитель программы: доц., канд. физ.-мат. наук Фисун В.А. Лектор: доц., канд. физ.-мат. наук Фисун В.А. Аннотация В курсе обсуждаются общие вопросы организации параллельных вычислений. Рассматриваются особенности архитектур современных параллельных вычислительных систем, изучаются основные методы и парадигмы программирования в параллельных средах. ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/courses/progs2006/par_data_proc3.doc -- 26.5 Кб -- 14.06.2006
Похожие документы
Похожие документы
552. http://sp.cs.msu.ru/courses/progs2006/sys_prog.doc
Системы программирования 2 курс, 4-й семестр лекции (32 часа), зачет без оценки практикум на ЭВМ (68 часов), зачет с оценкой Кафедра, отвечающая за курс: алгоритмических языков Составители программы: доц ., канд. физ .-мат. наук Волкова И. А., доц ., доктор техн. наук Карпов Л. Е., доц ., канд. физ .-мат. наук Руденко Т. В. Лекторы: доц ., канд. физ .-мат. наук Волкова И. А. (3 п.), доц ., доктор техн ... Программное, языковое и информационное обеспечение системы программирования. ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/courses/progs2006/sys_prog.doc -- 28.0 Кб -- 14.06.2006
Похожие документы
Похожие документы
553. http://sp.cs.msu.ru/courses/progs2006/oper_sys.doc
... Структура вычислительной системы: аппаратный уровень ВС, управление физическими ресурсами ВС, управление виртуальными ресурсами ВС, операционная система, системы программирования, прикладные системы. ... Базовые понятия - процесс, ресурс. ... Задачи планирования. ... Реализация процессов в ОС UNIX Определение. ... Примеры: организация планирования времени ЦП в ОС UNIX, WINDOWS NT. Организация планирования своппинга в ОС UNIX. ... М.: Вильямс, 2002г. (ISBN 5-8459-0310-6 страниц: 843) 2. ... СПб.: ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/courses/progs2006/oper_sys.doc -- 40.0 Кб -- 14.06.2006
Похожие документы
Похожие документы
554. http://sp.cs.msu.ru/courses/progs2006/alg_lang.doc
... РАН, проф. Иванников В. П., доц., канд. физ.-мат. наук Пильщиков В. Н., проф., доктор физ.-мат. наук Соловьев С. Ю. Лекторы: чл.-кор. РАН, проф. Иванников В. П. (1 п.), доц., канд. физ.-мат. наук Пильщиков В. Н. (2 п.), проф., доктор физ.-мат. наук Соловьев С. Ю. (3 п.) Аннотация Рассматриваются формальные модели алгоритмов (машина Тьюринга, алгоритмы Маркова), язык программирования Паскаль, основные структуры данных и алгоритмы их обработки. ... Интуитивное понятие алгоритма. ... Операторы цикла. ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/courses/progs2006/alg_lang.doc -- 30.0 Кб -- 14.06.2006
Похожие документы
Похожие документы
555. http://sp.cs.msu.ru/courses/qs2006.doc
Вопросы госэкзамена ( основная часть ). 2006 г. Для всех кафедр факультета 1. Предел и непрерывность функций одной и нескольких переменных. ... Ряд Фурье по ортогональной системе функций. ... Прямая и плоскость, их уравнения. ... Системы линейных алгебраических уравнений. ... Общее решение системы линейных алгебраических уравнений. ... Операционные системы, основные функции. ... Базы данных. ... М.: Наука, 1979., ... Колмогоров А.Н., Фомин С.В. Элементы теории функций и функционального анализа. ...
556. Fortran-DVM - описание языка
... Описание языка . ... Синтаксис директив FDVM . ... Распределение данных . ... Определение удаленных ссылок . ... Удаленные ссылки типа SHADOW . ... Синхронная спецификация независимых ссылок типа SHADOW для одного цикла . ... Удаленные ссылки типа REMOTE . ... Синхронная спецификация удаленных ссылок типа REMOTE . ... Асинхронная спецификация удаленных ссылок типа REMOTE . ... Синхронная спецификация удаленных ссылок типа REDUCTION . ... Асинхронная спецификация удаленных ссылок типа REDUCTION . ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/dvm/dvmhtm1107/rus/usr/fdvm/fdvmLDr.html -- 15.2 Кб -- 13.02.2006
Похожие документы
Похожие документы
557. Fortran-DVM - описание языка. Часть 1(1-4)
... Эта модель освобождает программиста от рутинной и трудоемкой работы по распределению глобальных массивов на локальные массивы процессов, по управлению передачей сообщений и синхронизации доступа к общим данным. ... Описание массивов виртуальных процессоров. ... Спецификация ONTO указывает массив или секцию массива виртуальных процессоров. ... Рассмотрим форматы распределения для одного измерения массива (одномерный массив A(N) ) и для одного измерения массива процессоров (одномерный массив R(P) ). ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/dvm/dvmhtm1107/rus/usr/fdvm/fdvmLDr1.html -- 110.5 Кб -- 13.02.2006
Похожие документы
Похожие документы
558. Fortran-DVM - описание языка. Часть 2 (5-6)
Fortran-DVM - оглавление . Часть 1 (1-4) . ... 5-6) . ... Параллельные циклы . ... нет операторов ввода-вывода и dvm -директив в теле цикла. ... Директива PARALLEL . ... Директива PARALLEL размещается перед заголовком цикла и распределяет витки циклов в соответствии с распределением массива или шаблона. ... Цикл с регулярными вычислениями, в котором существуют регулярные зависимости по распределенным массивам, можно распределять с помощью директивы PARALLEL , указывая спецификацию ACROSS . ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/dvm/dvmhtm1107/rus/usr/fdvm/fdvmLDr2.html -- 125.8 Кб -- 13.02.2006
Похожие документы
Похожие документы
559. Fortran DVM - описание языка. Часть 4 (Приложения)
Fortran-DVM - оглавление . Часть 1(1-4) . ... is CDVM$ dvm-directive . ... Семь небольших программ из научной области приводятся для иллюстрации свойств языка Fortran DVM. ... 1 ) THEN * DVM $ PARALLEL ( K ) ON AI(K,INDI), * DVM $* REMOTE_ACCESS (GRINB : AJ(INDJ,K) ) DO 30 K = S1,S2 30 AI(K, INDI) = AJ(INDJ,K) ELSE * DVM $ PARALLEL ( K ) ON AI(K,INDI), * DVM $* REMOTE_ACCESS (GRINB : AJ(K,INDJ) ) DO 40 K = S1, S2 40 AI(K,INDI) = AJ(K,INDJ) ENDIF ENDIF END SUBROUTINE MPROC(LP,HP,SIZE,NBL ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/dvm/dvmhtm1107/rus/usr/fdvm/fdvmLDr4.html -- 109.4 Кб -- 13.02.2006
Похожие документы
Похожие документы
560. Отладка эффективности. Руководство пользователя
Отладка эффективности параллельных программ . Руководство пользователя . ... 2 Характеристики производительности . ... 2.3 Характеристики выполнения программы на каждом процессоре . ... равномерностью загрузки процессоров во время выполнения параллельных вычислений; . ... время операций редукции; . ... Во-первых, потерянное время (как и коэффициент эффективности распараллеливания) вычисляется, опираясь не на реальное время выполнения программы на одном процессоре, а на прогнозируемое время. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/dvm/dvmhtm1107/rus/usr/perform/pppaUGr.html -- 63.0 Кб -- 13.02.2006
Похожие документы
Похожие документы