ГОСТ Р ИСО 18629-11— 2010
Библиография
Ш
ИСО 10303-41
(ISO 10303-41)
[2]
ИСО 13584-1
(ISO 13584-1)
[3]
ИСО 15926-1
(ISO 15926-1)
Системы промышленной автоматизации и интеграция. Представление данных о продук
ции и обмен данными. Часть 41. Интегрированные родовые ресурсы. Основы описания и
поддержки продукции
(Industrial automation systems and integration — Product data representation exchange —
Part 41: Integrated generic resource: Fundamentals of product description and support)
Системы промышленной автоматизации и интеграция. Библиотека данных на детали.
Часть 1. Обзор и основные принципы
(Industrial automation systems and integration — Parts library — Part 1: Overview and
fundamental principles)
Системы промышленной автоматизации и интеграция. Интеграция данных о сроке служ
бы нефтехимических установок, включая установки по добыче нефти и газа. Часть 1.
Общее представление и основные принципы
(Industrial automation systems and integration — Integration of life-cycle data for process
plants including oil and gas production facilities — Part 1: Overview and fundamental principles)
(4]
Allen J.. Hayes P. Моменты и точки временной логики на основе интервала. Технический доклад (TR 180).
Отделы компьютерной науки и философии, университет г. Рочестер. 1987 г.
(Allen J.. Hayes Р. Moments and points in an interval-based temporal logic. Technical Report (TR 180), Departments
of Computer Science and Philosophy. University of Rochester. 1987)
15]
Banvise J., Etchemendy J. Язык логики первого порядка. 3-е издание. Примечания № 34 к лекции CSLI, 1992 г.
(Barwtse J., Etchemendy J. The language of first-order logic. 3rd Edition. CSLI Lecture Notes № 34. 1992)
16]
Cann R. Формальная семантика, введение. Печать университета г. Кембридж. 1994 г.
(Сапп R. Formal semantics, an introduction. Cambridge University Press. 1994)
т
Genesereth M., Fikes R. Формат обмена знаниями (версия 3.0). Справочник. Отдел компьютерной науки,
университета г. Стенфорд. 1992 г.
(Genesereth М.. Fikes R. Knowledge Interchange Format (Version 3.0) — Reference Manual. Computer Science
Dept., Stanford University. Stanford. CA.. 1992)
(
8
]
Формат обмена знаниями. Часть 1. Ядро KIF, ISO/JTC1/SC32/WG2.WD, 1999 г.
(Knowledge Interchange Format. Part 1: KIF-Core. 1SO/JTC1/SC32/WG2. WD. 1999)
19]
Публикация 184 по федеральным стандартам обработки информации, определение интеграции для инфор
мационного моделирования (IDEF3). FIPS PUB 184. Национальный институт стандартов и технологии, де
кабрь 1993 г. IDEF3. Доступ в сети Интернет:
http://www.idef.com
(Federal Information Processing Standards Publication 184. Integration Definition for Information Modeling (IDEF3).
FIPS PUB 184. National Institute of Standards and Technology. December 1993. IDEF3. Available from the Internet:
<
http://www.idef.oom
>)
[
10
]
Mayer R.J., Menzel C.P.. Painter M.K.. de Witte P.S.. Blinn T.. Perekath В. Интеграция информации для параллель
ного проектирования (ПСЕ). Сообщение о методе сбора описаний процесса IDEF3. KBSI Inc. AL-TR-1995,
1995 г.
(Mayer R.J., Menzel С.Р., Painter М.К.. de Witte P.S., Blinn T.. Perakath B. Information integration for concurrent
engineering (IICE) IDEF3 process description capture method report. KBSI Inc. AL-TR-1995. 1995)
111]
Stephan T. Polyak и Stuart Aitken Сценарии возможности взаимодействия процесса производства, проект
NIST-MSID-SIMA. AIAI-PR-68,1988г.
(Stephen Т. Polyak and Stuart Aitken Manufacturing Process Interoperability Scenario. NISTMSID-SIMA Project.
AIAI-PR-68. 1998)
[
12
]
Uschold M. и Gruninger M. Онтологии. Принципы, методы и приложения. Обзор инженерных знаний. Том 11,
стр. 96—137. 1996 г.
(Uschold М. and Gruninger М. Ontologies: Principles. Methods, and Applications. Knowledge Engineering Review,
Vol. 11. pp. 96—137. 1996)
113}
Van Benthem J. Логика времени. Дордрехт. Голландия. D. Reidel Pub Co.. 1983 r.
(Van Benthem J. The logic of time. Dordrecht. Holland. D. Reidel Pub. Co.. 1983)
27