Докладчик: Евгений Тюменцев, HWdTech, Омск.
«Будет дано небольшое введение в теорию формальных языков программирования. Разобран пример построения транслятора для небольшого языка программирования и рассказано, как это можно применять на проектах или, например, при выполнении лабораторных работ в ВУЗе
Опыт работы в ИТ-отрасли 12 лет. Был программистом, системным архитектором, руководителем проектов. Специализируюсь на разработке серверных, многопоточных, высокопроизводительных приложений.
16 лет преподаю в ОмГУ (ИМИТ, ФКН). Читаемые дисциплины: Проектирование ПО, разработка серверов и серверных приложений. Руковожу курсовыми и дипломными работами.»
Докладчик: Евгений Тюменцев, HWdTech, Омск.
«Будет дано небольшое введение в теорию формальных языков программирования. Разобран пример построения транслятора для небольшого языка программирования и рассказано, как это можно применять на проектах или, например, при выполнении лабораторных работ в ВУЗе
Опыт работы в ИТ-отрасли 12 лет. Был программистом, системным архитектором, руководителем проектов. Специализируюсь на разработке серверных, многопоточных, высокопроизводительных приложений.
16 лет преподаю в ОмГУ (ИМИТ, ФКН). Читаемые дисциплины: Проектирование ПО, разработка серверов и серверных приложений. Руковожу курсовыми и дипломными работами.»
Este documento apresenta uma apostila sobre a doutrina cristã de Deus. Resume os principais pontos sobre a definição, natureza, atributos e soberania de Deus, baseando-se em citações bíblicas e autores teológicos. O objetivo é esclarecer os salvos por Jesus Cristo sobre os ensinamentos essenciais da fé cristã.
1) O documento discute a Cristologia, a doutrina cristã sobre Jesus Cristo, e como ela deve partir tanto da perspectiva histórica de Jesus quanto da revelação de Deus.
2) É explicado que a Cristologia não deve se limitar apenas ao Jesus histórico ou apenas à revelação posterior, mas sim ver a identidade de Cristo através de um processo dialético que considera ambos.
3) Discutem-se as visões do Reino de Deus pregado por Jesus, notando que ele não deve ser visto apenas como um conceito moral ou apocalí
Dia da água dr. arthur versão p publicaçãoMaike Zaniolo
O documento discute a importância da água, seus principais usos e fontes. A água é essencial para o abastecimento doméstico e industrial, irrigação, dessedentação de animais e preservação ambiental. Sua fonte principal são os recursos hídricos naturais como rios, lagos e lençóis freáticos, mas esses recursos podem estar em risco devido ao uso intensivo e mudanças climáticas.
Unidad iii.comprension inferencial de la lectura.0802690537
Este documento describe el proceso de comprensión inferencial de la lectura. Explica que la comprensión inferencial requiere que el lector haga generalizaciones e interprete ideas que no están explícitamente escritas mediante el uso de pistas del texto. También describe los procesos mentales de inferencia y suposición, y los pasos para lograr una comprensión literal e inferencial completa de un texto.
1) O documento discute o método teológico de Walter Kaiser para a teologia do Antigo Testamento, identificando quatro abordagens (estrutural, diacrônica, lexicográfica e de temas bíblicos).
2) Kaiser defende que a teologia do AT deve se basear unicamente no cânone bíblico e não em material extra-bíblico.
3) Ele argumenta que existe um centro canônico na teologia do AT, embora muitos teólogos o definam de forma apriorística e não exegetic
Este documento descreve três tipos de ecumenismo: religioso, cristão e evangélico. O ecumenismo religioso busca aproximar grandes religiões através de cooperação, mas tem progredido pouco. O ecumenismo cristão tenta aproximar ramos do cristianismo e tem tido mais sucesso, como entre luteranos e episcopais. O ecumenismo evangélico busca aproximação entre igrejas evangélicas principalmente em atividades sociais e evangelísticas.
Este documento apresenta uma apostila sobre a doutrina cristã de Deus. Resume os principais pontos sobre a definição, natureza, atributos e soberania de Deus, baseando-se em citações bíblicas e autores teológicos. O objetivo é esclarecer os salvos por Jesus Cristo sobre os ensinamentos essenciais da fé cristã.
1) O documento discute a Cristologia, a doutrina cristã sobre Jesus Cristo, e como ela deve partir tanto da perspectiva histórica de Jesus quanto da revelação de Deus.
2) É explicado que a Cristologia não deve se limitar apenas ao Jesus histórico ou apenas à revelação posterior, mas sim ver a identidade de Cristo através de um processo dialético que considera ambos.
3) Discutem-se as visões do Reino de Deus pregado por Jesus, notando que ele não deve ser visto apenas como um conceito moral ou apocalí
Dia da água dr. arthur versão p publicaçãoMaike Zaniolo
O documento discute a importância da água, seus principais usos e fontes. A água é essencial para o abastecimento doméstico e industrial, irrigação, dessedentação de animais e preservação ambiental. Sua fonte principal são os recursos hídricos naturais como rios, lagos e lençóis freáticos, mas esses recursos podem estar em risco devido ao uso intensivo e mudanças climáticas.
Unidad iii.comprension inferencial de la lectura.0802690537
Este documento describe el proceso de comprensión inferencial de la lectura. Explica que la comprensión inferencial requiere que el lector haga generalizaciones e interprete ideas que no están explícitamente escritas mediante el uso de pistas del texto. También describe los procesos mentales de inferencia y suposición, y los pasos para lograr una comprensión literal e inferencial completa de un texto.
1) O documento discute o método teológico de Walter Kaiser para a teologia do Antigo Testamento, identificando quatro abordagens (estrutural, diacrônica, lexicográfica e de temas bíblicos).
2) Kaiser defende que a teologia do AT deve se basear unicamente no cânone bíblico e não em material extra-bíblico.
3) Ele argumenta que existe um centro canônico na teologia do AT, embora muitos teólogos o definam de forma apriorística e não exegetic
Este documento descreve três tipos de ecumenismo: religioso, cristão e evangélico. O ecumenismo religioso busca aproximar grandes religiões através de cooperação, mas tem progredido pouco. O ecumenismo cristão tenta aproximar ramos do cristianismo e tem tido mais sucesso, como entre luteranos e episcopais. O ecumenismo evangélico busca aproximação entre igrejas evangélicas principalmente em atividades sociais e evangelísticas.
This document is a participation list for the 7th World Junior & Cadet Karate Championships being held from October 13-16, 2011 in Melaka, Malaysia. It lists the entries from Algeria, Argentina, Armenia, Australia, Austria, Azerbaijan, Belarus, and Belgium, including each participant's code, name, category, and date of birth. There are over 250 participants entered from these countries spanning junior, cadet, and under 21 age divisions and kumite (sparring) and kata (forms) events.
The document discusses concurrency and synchronization in distributed computing. It provides an overview of Petr Kuznetsov's research at Telecom ParisTech, which includes algorithms and models for distributed systems. Some key points discussed are:
- Concurrency is important due to multi-core processors and distributed systems being everywhere. However, synchronization between concurrent processes introduces challenges.
- Common synchronization problems include mutual exclusion, readers-writers problems, and producer-consumer problems. Tools for synchronization include semaphores, transactional memory, and non-blocking algorithms.
- Characterizing distributed computing models and determining what problems can be solved in a given model is an important area of research, with implications for distributed system design.
The document discusses weakly supervised learning from video and images using convolutional neural networks. It describes using scripts as weak supervision for learning actions from movies without explicit labeling. Methods are presented for jointly learning actors and actions from scripts, and for action learning with ordering constraints. The use of CNNs for object and action recognition in images is also summarized, including work on training CNNs using only image-level labels without bounding boxes.
This document discusses common C++ bugs and tools to find them. It describes various types of memory access bugs like buffer overflows on the stack, heap, and globals that can lead to crashes or security vulnerabilities. Threading bugs like data races, deadlocks, and race conditions on object destruction are also covered. Other undefined behaviors like initialization order issues, lack of sequence points, and integer overflows are explained. The document provides examples of each type of bug and emphasizes that undefined behavior does not guarantee a predictable result. It concludes with a quiz to find bugs in a code sample and links to additional reading materials.
AddressSanitizer, ThreadSanitizer, and MemorySanitizer are compiler-based tools that detect bugs like buffer overflows, data races, and uninitialized memory reads in C/C++ programs. AddressSanitizer instruments loads and stores to detect out-of-bounds memory accesses. ThreadSanitizer intercepts synchronization calls to detect data races between threads. MemorySanitizer tracks initialized and uninitialized memory using shadow memory to find uses of uninitialized values. The tools have found thousands of bugs with low overhead. Future work includes supporting more platforms and languages and detecting additional bug classes.
This document discusses common C++ bugs and tools to find them. It describes various types of memory access bugs like buffer overflows on the stack, heap, and globals that can lead to crashes or security vulnerabilities. Threading bugs like data races, deadlocks, and race conditions on object destruction are also covered. Other undefined behaviors like initialization order issues, lack of sequence points, and integer overflows are explained. The document provides examples of each type of bug and quizzes the reader to find bugs in a code sample. It recommends resources for further reading on debugging techniques and thread sanitizers that can detect races and data races.
This document provides examples and snippets of code for MapReduce, Pig, Hive, Spark, Shark, and Disco frameworks. It also includes two sections of references for related papers and Disco documentation. The examples demonstrate basic MapReduce jobs with drivers, mappers, and reducers in Java, Pig and Hive queries, Spark and Shark table operations, and a Disco MapReduce job.
2. Алгоритм логического анализа
Полиномиальный алгоритм, разрешающий C ⊑T D
Алгоритм решает для данных имен концептов AиB верно ли A ⊑T B .
Онтологии и представление знаний, 2010 1
3. Алгоритм логического анализа
Полиномиальный алгоритм, разрешающий C ⊑T D
Алгоритм решает для данных имен концептов AиB верно ли A ⊑T B .
Этого достаточно
• C ⊑T D
• A ⊑T ′ B , где A и B не входят в C , D, T и TBox
T ′ = T ∪ {A ≡ C, B ≡ D}
Онтологии и представление знаний, 2010 1
4. Нормальная форма
EL-TBox находится в нормальной форме если он состоит только из импликаций вида
(sform) A ⊑ B;
(cform) A1 ⊓ A2 ⊑ B ; имена концептов;
(rform) A ⊑ ∃r.B ;
(lform) ∃r.A ⊑ B .
где A A 1 , A2 , и B — имена концептов
Онтологии и представление знаний, 2010 2
5. Нормальная форма
EL-TBox находится в нормальной форме если он состоит только из импликаций вида
(sform) A ⊑ B;
(cform) A1 ⊓ A2 ⊑ B ; имена концептов;
(rform) A ⊑ ∃r.B ;
(lform) ∃r.A ⊑ B .
где A A 1 , A2 , и B — имена концептов
Произвольный EL-Box T может быть приведен к нормальной форме за полиномиальное
время так, что для всех имен концептов A, B из T:
A ⊑T B ⇔ A ⊑T ′ B.
Онтологии и представление знаний, 2010 2
6. Лемма
Определение. C[D/E] есть результат замены всех вхождений концепта D в C на E
hasPart.(Arm ⊓ Leg)[Arm ⊓ Leg/Tail ⊓ H_Leg] = hasPart.(Tail ⊓ H_Leg),
hasPart.(Arm ⊓ Leg)[Arm/Tail] = hasPart.(Tail ⊓ Leg)
Лемма. α = C ⊑ D ∈ T, T — TBox. Для
• T ′ = T α ∪ {C[E/X] ⊑ D, E ⊑ X} и
• T ′ = T α ∪ {C ⊑ D[E/X], X ⊑ E},
где X — новое имя концепта, и всех имен концептовA, B из T:
A ⊑T B ⇔ A ⊑T ′ B.
Онтологии и представление знаний, 2010 3
7. Приведение к нормальной форме
Применять следующие правила пока возможно
• заменить C1 ≡ C2 на C1 ⊑ C2 и C2 ⊑ C1 ;
• заменить C ⊑ C1 ⊓ C2 на C ⊑ C1 и C ⊑ C2 ;
• если ∃r.C входит в T и C сложный концепт, заменить все вхождения C на новое
имя XC и добавить XC ⊑ C и C ⊑ XC к TBox.
• Если A1 ⊓ · · · ⊓ An ⊓ ∃r1 .B1 ⊓ · · · ⊓ ∃rm.Bm ⊑ C входит в T , заменить на
A 1 ⊓ · · · ⊓ An ⊓ X ⊑ C и ∃r1 .B1 ⊓ · · · ⊓ ∃rm.Bm ⊑ X
гда X — новое имя концепта.
• если ∃r1 .B1 ⊓ · · · ⊓ ∃rm.Bm ⊑ ∃r.B входит в T , заменить на
∃r1 .B1 ⊓ · · · ⊓ ∃rm.Bm ⊑ X и X ⊑ ∃r.B
где X — новое имя концепта.
Онтологии и представление знаний, 2010 4
8. Пример
T:
A0 ⊑ B ⊓ ∃r.B ′
A1 ⊓ ∃r.B ⊑ A2
A0 ⊑ B
Шаг 1
A0 ⊑ ∃r.B ′
A1 ⊓ ∃r.B ⊑ A2
A0 ⊑ B
Шаг 2
A0 ⊑ ∃r.B ′
A1 ⊓ X ⊑ A2
∃r.B ⊑ X
Онтологии и представление знаний, 2010 5
9. MED в нормальной форме
Pericardium ⊑ Tissue
Pericardium ⊑ Y
Pericarditis ⊑ Inflammation
Pericarditis ⊑ ∃has_loc.Pericardium
Inflammation ⊑ Disease
Inflammation ⊑ ∃acts_on.Tissue
Disease ⊓ X ⊑ Heartdisease
Disease ⊓ X ⊑ NeedsTreatment
∃has_loc.Y ⊑ X ∃cont_in.Heart ⊑ Y Y ⊑ ∃cont_in.Heart
Онтологии и представление знаний, 2010 6
10. Идея алгоритма разрешающегоA ⊑T B
По данному T в нормальной форме, строим функции
• S отображает каждое имя концепта A, входящее в T , в множество имен концептов;
• R отображает каждое имя роли r, входящее в T, в множество пар (B1 , B2 ) имен
концептов.
A ⊑T B т. и т.т., когда B ∈ S(A). Интуитивно, строится интерпретация I с
• ∆I — множество имен концептов в T.
• AI множество всех B таких что A ∈ S(B);
• rI множество всех (A, B) ∈ R(r).
I является моделью T и A ⊑T B т. и т.т., когда A ∈ BI.
Онтологии и представление знаний, 2010 7
11. Алгоритм
Input: T в нормальной форме.
Инициализировать: S(A) = {A, ⊤} и R(r) = ∅ для всех A и r в T.
Применять следующие правила пока это возможно:
(simpleR) If A′ ∈ S(A) and A′ ⊑ B ∈ T and B ̸∈ S(A), then
S(A) := S(A) ∪ {B}.
(conjR) If A1 , A2 ∈ S(A) and A1 ⊓ A2 ⊑ B ∈ T and B ̸∈ S(A), then
S(A) := S(A) ∪ {B}.
(rightR) If A′ ∈ S(A) and A′ ⊑ ∃r.B ∈ T and (A, B) ̸∈ R(r), then
R(r) := R(r) ∪ {(A, B)}.
(leftR) If (A, B) ∈ R(r) and B ′ ∈ S(B) and ∃r.B ′ ⊑ A′ ∈ T and A′ ̸∈ S(A), then
S(A) := S(A) ∪ {A′}.
Онтологии и представление знаний, 2010 8
12. Пример
(1) A0 ⊑ ∃r.B
(2) B ⊑ E
(3) ∃r.E ⊑ A1
Initialise: S(A0 ) = {A0 }, S(A1 ) = {A1 }, S(B) = {B}, S(E) = {E}, R(r) = ∅.
• (rightR) и (1): R(r) = {(A0 , B)};
• (simpleR) и (2): S(B) = {B, E};
• (leftR) и (3): S(A0 ) = {A0 , A1 };
• Дальше правила не применяются
R(r) = {(A0 , B)}, S(B) = {B, E}, S(A0 ) = {A0 , A1 }.
Т.о.,
Следовательно, A0 ⊑T A1 .
Онтологии и представление знаний, 2010 9
14. Время работы
На каждом шаге алгоритм добавляет хотя бы одно имя концепта в какой-то S(C) или пару
имен концептов в какой-то R(r).
=⇒ Останавливается за полиномиальное время.
Онтологии и представление знаний, 2010 11
15. Корректность алгоритма
T в нормальной форме, S , R — выход алгоритма.
Теорема. Для всех имен концептов A, B в T: если B ∈ S(A), то A ⊑T B .
S0 , S1 , . . . и R0 , R1 , . . . отображения, построенные на i-той итерации алгоритма.
Для всех i, произвольной интерпретации I : I |= T и любого x ∈ AI
• Если B ∈ Si(A), то x ∈ B I
• Если (A, B) ∈ Ri(r), то существует y ∈ ∆I т.ч. (x, y) ∈ r I и y ∈ BI
Онтологии и представление знаний, 2010 12
16. Доказательство корректности (на доске)
• Если B ∈ Si(A), то x ∈ B I
• Если (A, B) ∈ Ri(r), то существует y ∈ ∆I т.ч. (x, y) ∈ r I и y ∈ BI
(simpleR) If A′ ∈ S(A) and A′ ⊑ B ∈ T and B ̸∈ S(A), then
S(A) := S(A) ∪ {B}.
(conjR) If A1 , A2 ∈ S(A) and A1 ⊓ A2 ⊑ B ∈ T and B ̸∈ S(A), then
S(A) := S(A) ∪ {B}.
(rightR) If A′ ∈ S(A) and A′ ⊑ ∃r.B ∈ T and (A, B) ̸∈ R(r), then
R(r) := R(r) ∪ {(A, B)}.
(leftR) If (A, B) ∈ R(r) and B ′ ∈ S(B) and ∃r.B ′ ⊑ A′ ∈ T and A′ ̸∈ S(A), then
S(A) := S(A) ∪ {A′}.
Онтологии и представление знаний, 2010 13
17. Полнота алгоритма
T в нормальной форме, S , R — выход алгоритма.
Теорема. Для всех имен концептов A, B в T: если A ⊑T B , то B ∈ S(A).
Допустим это не так, B ∈ S(A).
/ Определим интерпретацию I
• ∆I = {A | A ∈ CN (T )}
• AI = {B | A ∈ S(B)};
• r I = {(A, B) ∈ R(r)}.
Тогда
• I ̸|= A ⊑ B
• I выполняет T
(Для любого имени концепта A из T и EL-концепта C : A ⊑T C ⇔ A ∈ C I .)
Онтологии и представление знаний, 2010 14
18. EL: основные положения
• Простейшая дескрипционная логика
неполный набор пропозициональных связок
• Полиномиальный алгоритм логического анализа
• Хорошо подходит для описания больших и очень больших терминологий
– SNOMED CT
– GO
– NCI (почти)
Онтологии и представление знаний, 2010 15
19. EL: основные положения
• Простейшая дескрипционная логика
неполный набор пропозициональных связок
• Полиномиальный алгоритм логического анализа
• Хорошо подходит для описания больших и очень больших терминологий
– SNOMED CT
– GO
– NCI (почти)
• Только “позитивная”, детерминированная информация
Онтологии и представление знаний, 2010 15
20. EL: основные положения
• Простейшая дескрипционная логика
неполный набор пропозициональных связок
• Полиномиальный алгоритм логического анализа
• Хорошо подходит для описания больших и очень больших терминологий
– SNOMED CT
– GO
– NCI (почти)
• Только “позитивная”, детерминированная информация
– Слоны бывают серыми. А розовые?
Онтологии и представление знаний, 2010 15
21. EL: основные положения
• Простейшая дескрипционная логика
неполный набор пропозициональных связок
• Полиномиальный алгоритм логического анализа
• Хорошо подходит для описания больших и очень больших терминологий
– SNOMED CT
– GO
– NCI (почти)
• Только “позитивная”, детерминированная информация
– Слоны бывают серыми. А розовые?
– Слоны только серые
Онтологии и представление знаний, 2010 15
22. EL: основные положения
• Простейшая дескрипционная логика
неполный набор пропозициональных связок
• Полиномиальный алгоритм логического анализа
• Хорошо подходит для описания больших и очень больших терминологий
– SNOMED CT
– GO
– NCI (почти)
• Только “позитивная”, детерминированная информация
– Слоны бывают серыми. А розовые?
– Слоны только серые
– Самцы не могут быть самками
Онтологии и представление знаний, 2010 15
23. EL: основные положения
• Простейшая дескрипционная логика
неполный набор пропозициональных связок
• Полиномиальный алгоритм логического анализа
• Хорошо подходит для описания больших и очень больших терминологий
– SNOMED CT
– GO
– NCI (почти)
• Только “позитивная”, детерминированная информация
– Слоны бывают серыми. А розовые?
– Слоны только серые
– Самцы не могут быть самками
– Слоны делятся на индийских и африканских
Онтологии и представление знаний, 2010 15
24. Дескрипционная логика ALC :
терминологическая часть
База знаний (KB)
TBox (терминология, схема)
Система анализа
Интерфейс
Man ≡ Human ⊓ Male
HappyFather ≡ Man ⊓ ∃hasChild
...
ABox (assertion box, данные)
john: Man
(john, mary): hasChild
...