Резюме

Надежность R можно понимать как качество Q, развернутое во времени: R = (Q х т), где т = <тл, тф, тс, тд>; тл, тф, тс, тд - логическое, функциональное, статистическое и динамическое время соответственно. Разрабатываемая ТС будет обладать требуемой надежностью после ее реализации, если она удовлетворяет требованиям аксиоматической теории надежности (АТН), поскольку ТС может быть до ее реализации полностью описана с помощью моделей объектов в [1] — многомерном информационном пространстве. Большинство терминов определено в ГОСТах и других государственных нормативных документах. Это формально можно символически записать на языке соотношений множество (классов) — подмножество (подклассов) так: ((ТНТТ) d (ТН)) v ((ТНТТ) с (ТН)). Понятия делятся на единичные и общие. Единичное понятие — это просто имя определенного предмета. Общее понятие по содержанию определяется указанием совокупности свойств, характеризующих подпадающие под него предметы. Свойства предметов в МЛ называются одноместными предикатами, служащими для построения утверждений, которые можно обозначить через F, G, Я. Изменение аксиоматики ТМ приведет к изменению МЛ. В сфере МЛ для перевода математических предложений на формальном языке используются знаки кванторов и логических знаков. Канто- ровское философское определение множества: «Множество есть многое, мыслимое нами как единое», символическое и удобное определение множества: М = {i = 1, ..., п. Предыстория развития МЛ прослеживается от Платона и Аристотеля до работ Шредера и Порецкого. Геометрическая

модель аксиоматического пространства может быть выражена формулой

-1 ]

Гл= U пЧ+i)r> Ч Е (О» к =1, ..., т.Информационно-геометрическая

(п-1 т-1

U U (Чкпч+,ы)г* j=1 *=1 J

 
Посмотреть оригинал
< Пред   СОДЕРЖАНИЕ   ОРИГИНАЛ     След >