Моделирование, структурный анализ и синтез технических систем с целью повышения их эффективности тема диссертации и автореферата по ВАК РФ 05.13.01, кандидат технических наук Тясто, Сергей Александрович
- Специальность ВАК РФ05.13.01
- Количество страниц 120
Оглавление диссертации кандидат технических наук Тясто, Сергей Александрович
СОДЕРЖАНИЕ
ВЕДЕНИЕ
ГЛАВА 1. СОСТОЯНИЕ ВОПРОСА, ЦЕЛЬ И ЗАДАЧИ
ИССЛЕДОВАНИЯ
1.2. Формы представления структур
1.1. Задача структурного синтеза в процессе проектирования
13
1.3. Методы структурного моделирования
1.4. Методы структурного синтеза
21
1.5. Цель и задачи исследования
ГЛАВА 2. МЕТОДЫ ГЕНЕРАЦИИ СТРУКТУРНЫХ
24
ПРЕДПОЛОЖЕНИЙ
2.1. Определение структуры системы
27
2.2. Решетка структур
2.3. Алгоритмы генерации структур
39
2.4. Выводы
ГЛАВА 3. МЕТОДЫ ОПИСАНИЯ ПОВЕДЕНИЯ СИСТЕМЫ И ОЦЕНКИ
СТРУКТУР
3.1. Метод описания поведения системы
3.2. Формирование поведения системы по заданной структуре
3.3. Оценка структур системы
3.4. Выводы
ГЛАВА 4. ИСПОЛЬЗОВАНИЕ КОМПЛЕКСА МЕТОДОВ СТРУКТУРНОГО СИНТЕЗА В ПРОЦЕССЕ
ПРОЕКТИРОВАНИЯ И ЕГО РЕАЛИЗАЦИЯ
4.1. Реализация методов структурного синтеза 5
4.2. Пример использования комплекса методов структурного
синтеза для идентификации функциональной структуры подсистемы выбора схемы базирования системы технологического проектирования процессов
и оснащения сборки в машиностроении
4.3. Идентификация функциональной структуры и
специфицирование подсистемы формирования
функциональных структур систем
4.4.Выводы 100 ОБЩИЕ ВЫВОДЫ И РЕЗУЛЬТАТЫ 102 СПИСОК ЛИТЕРАТУРЫ
Рекомендованный список диссертаций по специальности «Системный анализ, управление и обработка информации (по отраслям)», 05.13.01 шифр ВАК
Методы формирования и выбора архитектурных решений специфицируемых вычислительных систем на основе инвариантных моделей поведения2000 год, доктор технических наук Топорков, Виктор Васильевич
Методология автоматизированного проектирования технического обеспечения АСУТП2009 год, доктор технических наук Ахремчик, Олег Леонидович
Разработка математического и программного обеспечения генерации тестовых последовательностей и верификации сложных цифровых схем1999 год, кандидат технических наук Зизин, Георгий Валентинович
Методы проектирования и экспертизы технически оптимальных позиционных систем программного управления2003 год, доктор технических наук Ботуз, Сергей Павлович
Методы синтеза защищенных телекоммуникационных систем на стадии концептуального проектирования2004 год, доктор технических наук Царегородцев, Анатолий Валерьевич
Введение диссертации (часть автореферата) на тему «Моделирование, структурный анализ и синтез технических систем с целью повышения их эффективности»
ВВЕДЕНИЕ
Развитие рыночных отношений в стране сформулировало задачи по созданию и внедрению новых технологий и автоматизированных производств с использованием средств вычислительной техники и других средств автоматизации.
Ведущие организации отраслей хозяйства страны поставили задачи интенсификации внедрения новых технологий для достижения требуемых экономических показателей производства. В настоящее время ведутся работы по созданию производственных систем более высокого уровня интегрированных машиностроительных автоматизированных
производственных систем (ПС), включающих в себя все этапы проектирования и изготовления изделий машиностроения. Одной из важнейших частей автоматизированной ПС является комплекс программно-технических средств, составляющий основу подсистемы автоматизированного проектирования, а также подсистемы управления автоматизированным производством. Объединение этих систем будем называть технической системой (ТС). Проектирование программно-технического обеспечения под комплекс задач является принципиальным отличием идеологии автоматизированных ТС от существовавших ранее подходов к проектированию автоматизированных производств. Для воплощения данного подхода требуются глубокие знания как в областях технологии, конструирования, теории информации, вычислительной техники, программирования, математики и т.д., так и взаимосвязи друг с другом. Более того, в виду сложности взаимосвязей подсистем ТС, обособленная разработка программного обеспечения, технологического оборудования, аппаратного обеспечения, средств диагностики и контроля и т.д. принципиально невозможна и крайне неэффективна [14, 21, 68].
Сложность взаимосвязей подсистем и многообразие функций определяет
сложность структуры ТС, которая должна являться предметом исследования на ранних этапах проектирования. Вследствие недостаточного анализа функциональной структуры проектируемой системы, на этапах изготовления появляется большое количество неопределенных связей между программными модулями, аппаратными средствами, техническим оборудованием и другими компонентами. Это приводит к необходимости добавления новых функций в программное обеспечение, закупке дополнительного оборудования и другим трудозатратам. Для того, чтобы избежать незапланированных затрат на разработку необходимо создать комплекс методов анализа и синтеза структур проектируемых систем, позволяющих формировать гипотетическую структуру системы, генерировать и формально оценивать новые структурные предположения, прослеживать изменения в поведении системы при изменении структуры, а также согласовывать различные уровни описания подсистем [14, 15,21].
Целью данной работы является повышение эффективности технических систем на основе их моделирования, структурного анализа и синтеза.
Для достижения поставленной цели решались следующие научные задачи:
1. Выявление взаимозависимостей между структурами проектных решений на этапах разработки программно-технических компонент технических систем.
2. Выбор метода формального описания структур проектных решений,
обеспечивающих возможность:
- идентификации требуемого поведения проектируемой системы;
- установления отношений между структурами проектных решений на
различных этапах разработки.
3. Разработка математических методов генерации структур проектных решений на фиксированном этапе разработки.
Научная новизна работы заключается в:
1. выявлении взаимозависимостей между структурами проектных решений на этапах разработки программно-технических компонент
технических систем;
2. моделях генерации структурных предположений;
3. моделях описания поведения системы и оценки структур;
4. алгоритмах, позволяющих эффективно проводить формальную оценку отличия требуемого поведения системы от поведения, соответствующего предлагаемой структуре.
Похожие диссертационные работы по специальности «Системный анализ, управление и обработка информации (по отраслям)», 05.13.01 шифр ВАК
Автоматизированное проектирование вычислительных сетей крупных проектных организаций2008 год, доктор технических наук Стецко, Александр Алексеевич
Средства автоматизации структурно-функционального проектирования микропроцессорных систем с развитой поддержкой обучения2002 год, доктор технических наук Негода, Виктор Николаевич
Символьно-численные методы проектирования автоматизированных систем1999 год, кандидат технических наук Стрижаченко, Алексей Ильич
Подсистема схемотехнического проектирования для диалоговой САПР радиоэлектронных схем на ЕС ЭВМ1984 год, кандидат технических наук Мазур, Виталий Владимирович
Рекуррентное метамоделирование в системных средах САПР2008 год, доктор технических наук Черткова, Елена Александровна
Заключение диссертации по теме «Системный анализ, управление и обработка информации (по отраслям)», Тясто, Сергей Александрович
ОБЩИЕ ВЫВОДЫ И РЕЗУЛЬТАТЫ
1. В диссертации решена задача, имеющая существенное значение для машиностроения и заключающаяся в повышении эффективности технических систем на основе их моделирования, структурного анализа и синтеза.
2. В результате изучения существующих материалов по вопросам проектирования технических систем установлено, что между функциональными структурами проектных решений на этапах разработки программно-технических компонент технических систем существуют зависимости.
3. Предлагаемые математические модели синтеза структур проектируемой системы позволяют описывать структуру и поведение системы, генерировать непосредственные агрегаты и уточнения начальной структуры, формировать поведение системы, соответствующее сгенерированным структурам, оценивать варианты структур путем сравнения вероятностных либо возможностных распределений, соответствующих начальному и сформированному поведениям.
4. Построены алгоритмы, позволяющие эффективно проводить формальную оценку отличия требуемого поведения системы от поведения, соответствующего предлагаемой структуре, т.е. определять насколько полно предлагаемая структура поддерживает требования к системе, следует, используя аппарат вычисления метрических расстояний между распределениями, соответствующими начальному и сформированному поведениям.
5. Спецификой предлагаемого метода к процессу проектирования является факт сохранения отношений, установленных на предметном уровне, на всех этапах. Эти отношения могут уточняться в процессе проектирования, агрегироваться или декомпозироваться на этапах определения комплекса программных средств, базового и общесистемного программного обеспечения и средств аппаратной поддержки проектируемой системы, но концептуально оставаться неизменными.
6. Применение разработанных инструментальных средств позволило:
- сократить сроки выполнения этапов предпроектных исследований, разработки технического задания и функциональной структуры проектируемой системы;
- снизить (до 30%) возможность ошибки в структуре проектируемой системы, тем самым повысить эффективность процесса проектирования;
7. Полученные результаты рекомендуются для применения в машиностроительной отрасли и в учебном процессе для направления 220700.62 «Автоматизация технологических процессов и производств».
Список литературы диссертационного исследования кандидат технических наук Тясто, Сергей Александрович, 2012 год
СПИСОК ЛИТЕРАТУРЫ
1. Александров A.A., Г. А. Булкин и А. О. Поляков, Автоматизированная обработка информации на языке предикатов, Наука, Москва, 1982.
2. Ахо А., Дж. Хопкрофт, и Дж. Ульман, Построение и анализ вычислительных алгоритмов, Мир, Москва, 1979.
3. Банахан М. и Э. Раттер, Введение в операционную систему UNIX, Радио и связь, Москва. 1986.
4. Баранов Л.В., Бикулов С.А., Талдыкин В.Ю. Современные тенденции в технологии автоматизированного проектирования на примере системы Т-FLEX. В сб. научных трудов ИКТИ РАН, вып.З, М., Янус-К, 2001.
5. Берж К., Теория графов и ее применения, ИЛ, Москва, 1962.
6. Бетелин В. Б., Экранные редакторы, ориентированные на язык программирования, АН СССР, Москва, 1985.
7. Биркгоф Г., Теория решеток, Наука, Москва, 1984.
8. Брук В.М. и В.И. Николаев, Системотехника: методы и приложения, Машиностроение, Ленинград, 1985.
9. Брябрин В.М., "Интеллектуальный интерфейс на основе персональной ЭВМ", Микропроцессорные средства и системы Ж 3, 1984.
10. Велихов Е.П. и В.Б. Бетелин, Создание интерактивной системы обработки графической информации в машиностроении. (Основные концепции), НИИавтопром, Москва, 1984.
11. Гилой В., Интерактивная машинная графика, Мир, Москва, 1981.
12. Гончарова В.А., Буланже Г.В., Гущин И.А., Феофанов А.Н. Геометрические построения в инженерной, прикладной и компьютерной графике. М., МГТУ «СТАНКИН», 2000.
13. Гудман С. и С. Хидетниеми, Введение в разработку и анализ алгоритмов, Мир, Москва, 1981.
14. Диденко В.П., "Применение методов структурного анализа при разработке САПР", В сб. Проблемы автоматизации проектирования и изготовления в машиностроении, Мосстанкин, Москва, 1983.
15. Диденко В.П. и А.Ф. Колчин, "Оценка возможных реализации проектных процедур на этапе разработки САПР" Тезисы доклада на Всесоюзной конференции "САПР РЭА", Одесса, 1984.
16. Диденко В.П., "Автоматизация разработки САПР машиностроения на основе интегральной структурной модели", В сб. КТИ-87. Мосстанкин. Москва, 1987.
17. Диденко В.П., C.B. Волков, А.Ф. Колчин и O.A. Хмелев, "Программная реализация методов структурного моделирования автоматизированных систем", В сб. "Вопросы автоматизированного проектирования гибких производственных систем", Атом, Москва, 1984.
18. Диденко В.П., Ю.М. Соломенцев и И. Чер, "Методологические вопросы развития гибких систем автоматизированного проектирования технологических процессов механообработки", В сб. "Вопросы автоматизированного проектирования гибких производственных систем", Атом, 1984.
19. Диденко В.П., "Автоматизация проектирования систем на концептуальном уровне", Прикладная информатика, вып. 1, Финансы и статистика, Москва, 1985.
20. Диденко В.П., Д. В. Копылов и O.A. Хмелев, "Метод автоматизации анализа структур сложных технических систем", В сб. "Технология", НТИ "Поиск", Москва, 1985.
21. Диденко В.П. и Ю.М. Соломенцев, "Автоматизация разработки САПР машиностроения на основе структурного моделирования", Материалы семинара "Гибкие производственные системы", Знание, Москва, 1986.
22. Дружинин В.В. и Д.С. Конторов, Системотехника, Радио и связь, Москва, 1985.
23. Евстигнеев В .А., Применение теории графов в программировании, Наука, Москва, 1985.
24. Ершов А.П., Введение в теоретическое программирование. Беседы о методе, Наука, Москва, 1977.
25. Зелковиц М., А. Шоу и Дж. Гэннон, Принципы разработки программного обеспечения, Мир, Москва, 1982.
26. Зыков А.А, Основы теории графов, Наука. Москва, 1987.
27. Иодан Э., Структурное проектирование и конструирование программ, Мир, Москва, 1979.
28. Калинин В.В., А.Ф.Прохоров и Ю.М.Соломенцев, Автоматизированная разработка структуры оборудования технологических систем, Ю, Вестник
машиностроения, 1984.
29. Капустин Н. М. и В.В. Павлов, Диалоговое проектирование технологических процессов, Машиностроение, Москва, 1983.
30. Касти Дж., Большие системы. Связность, сложность, катастрофы, Мир, Москва, 1982.
31. Керниган Б., Д. Ритчи и А. Фьюэр, Язык программирования Си. Задачи по языку, Финансы и статистика, Москва, 1985.
32. Колмогоров А.Н., "Основные понятия теории вероятностей" ОНТИ. 1936.
33. Колмогоров А.Н., "Несмещенные оценки". Изв. АН СССР, .№. 14, 1950.
34. Колчин А.Ф., "Оценка сложности информационных систем" Сборник трудов, Мосстанкин. Москва, 1984.
35. Корячко В.П., В.М. Курейчик и И.П. Норенков,Теоретические основы САПР, Энергоатомиздат, Москва, 1987.
36. Кристиан К., Введение в операционную систему UNIX, Мир, Москва, 1986.
37. Кристофидес Н., Теория графов. Алгоритмический подход, Мир. Москва, 1978.
38. Кузменков П.Б., В.Г. Митрофанов и А. Брунитс, "Автоматизация проектирования технологических процессов сборки", В сб. "Тезисы докладов технической конференции", "Сборка - 84", Ташкент, 1984.
39. Лебедев В.Н., Введение в системы программирования, Статистика,
Москва, 1975.
40. Левин Д.Я., Инструментальный комплекс программирования на основе языков высокого уровня, Наука, Москва, 1987.
41. Лингер Р., X. Миллс и Б. Уитт, Теория и практика структурного программирования. Мир, Москва, 1982.
42. Мартин Дж., Планирование развития автоматизированных систем, Финансы и статистика, Москва.
43. Маслов С.Ю., Теория дедуктивных систем и ее применения, Радио и связь, Москва, 1986.
44. Месарович М., Д. Мако и И. Такахара, Теория иерархических многоуровневых систем, Мир, Москва, 1973.
45. Месарович М. и Я. Такахара, Общая теория систем: математические основы, Мир, Москва, 1978.
46. Минский М., Фреймы для представления знаний, Энергия, Москва, 1979.
47. Митрофанов В.Г., "Алгоритмы планировки станочных участков при машинном проектировании", В сб. "Системы управления станками и АЛ", ВЗМИ, Москва, 1984.
48. Митрофанов В.Г., "Управление автоматизированной станочной системой для обработки корпусных деталей", В сб. "Системы управления станками и АЛ", ВЗМИ, Москва, 1984.
49. Мурога С., Системное проектирование сверхбольших интегральных схем, Мир, Москва, 1985.
50. Норенков И.П., Введение в автоматизированное проектирование технических устройств и систем, Высшая школа, Москва, 1986.
51. Норенков И.П., "Принципы построения и структура САПР" Системы автоматизированного проектирования. Учебное пособие, Кн. 1, Высшая школа. Москва, 1986.
52. Оре О.. Теория графов, Наука, Москва, 1980.
53. Павлов В.В., Математическое обеспечение САПР в производстве летательных аппаратов, МФТИ, Москва, 1978.
54. Павлов В.В., "О некоторых проблемах технологической систематики". В сб. КТИ-87, Мосстанкин, Москва, 1987.
55. Панфилов А.Л. и Ю. П. Шакула, "Использование пиктографического диалогового интерфейса в системах САПР/ГАП", Всесоюзная конференция "ДИАЛОГ-85". Киев, 1985.
56. Половинкин А.И., Н.К. Бобков, Г.Я. Буш и др., Автоматизация поискового конструирования (искусственный интеллект в машинном проектировании), Радио и связь, Москва, 1981.
57. Поспелов Г.С. и В.А. Ириков, Программно-целевое планирование и управление (введение), Советское радио, Москва, 1976.
58. Нечеткие множества в моделях управления и искусственного интеллекта /Под. ред. Д.А.Поспелова, Наука, Москва, 1986.
59. Прохоров А.Ф. и В. Г.. Митрофанов, "Методика автоматизированного проектирования автоматических линий для механической обработки
корпусных деталей", Вестник машиностроения, №. 10, 1984.
60. Прохоров А.Ф. и Ю.М. Соломенцев. "Принципы построения структуры оборудования гибких автоматизированных производств", III Всесоюзное совещание по робототехническим системам, №. 1, ВПИ, Воронеж, 1984.
61. Прохоров А.Ф. и Ю.М. Соломенцев, "Перспективы и проблемы развития САПР технологических систем", Вестник машиностроения, №. 10, 1984.
62. Прохоров А.Ф. и A.B. Рыбаков. "Отображение процесса проектирования в программное обеспечение САПР", В сб. КТИ-87, Мосстанкин, Москва,
1987.
63. Панфилов А.Л., "Инструментальная комплексная Среда разработки САПР машиностроения", В сб. КТИ-87, Мосстанкин, Москва, 1987.
64. Ракович А.Г., Автоматизация проектирования приспособлений для металлорежущих станков, Машиностроение, Москва, 1980.
65. Рейнгольд Э., Ю. Нивергельт и Н. Део, Комбинаторные алгоритмы. Теория и практика, Мир, Москва, 1980.
66. Росс Д., "Структурный анализ (SA): язык для передачи понимания", В сб. Требования и спецификации в разработке программ, Мир, Москва, 1984.
67. Скорняков Л.А., Элементы теории структур, Наука, Москва, 1982.
68. Соломенцев Ю.М., "Конструкторско - технологическая информатика как основа автоматизированного создания машин и технологий", В сб. КТИ-87, Мосстанкин, Москва, 1987.
69
Соломенцев Ю.М., Митрофанов В.Г. Выбор варианта базирования,
последовательности обработки поверхностей и построение размерной структуры технологического процесса. В сб. Труды ИКТИ РАН, вып.З, - М., Янус-к, 2001.
70. Сыроежин И. М., Очерки теории производственных организаций, Экономика, Москва, 1970.
71. Турский В., Методология программирования, Мир, Москва, 1981.
72. Тыугу Э.Х., "Вычислительные фреймы и структурный синтез программ", Техническая кибернетика, № 6, 1982.
73. Федорчук В.Г. и В.М. Черненький, "Информационное и прикладное программное обеспечение. Системы автоматизированного проектирования: Учеб. пособие для втузов", 9 кн. Под. ред. И.П. Норенкова. Кн. 3, Высшая школа, Москва, 1986.
74. Фоке Дж., Программное обеспечение и его разработка, Мир, Москва, 1982.
75. Фуксман А. Л., Технологические аспекты создания программных систем, Статистика, Москва, 1979.
76. Харари Ф., Теория графов, Мир, Москва, 1973.
77. Холстед М.Х., Начала науки о программах, Финансы и статистика, Москва, 1981.
78. Цвиркун А.Д., Основы синтеза структур сложных систем, Наука, Москва, 1982.
79. Шакула Ю.П., "Архитектура программного обеспечения
пиктографического диалогового интерфейса для систем автоматизированного проектирования", В сб. КТИ-87, Мосстанкин, Москва. 1987.
80. Эванчук С. и Т. Мануэль, "Использование естественных языков и баз знаний в прикладных системах". Электроника, №. 24, 1983.
81. ГОСТ 19.102-77 Проектирование автоматизированное. Стадии разработки.
82. ГОСТ 22.487-77 Проектирование автоматизированное. Термины и определения.
83. ГОСТ 23501.101-87 Системы автоматизированного проектирования. Основные положения. Автоматизация проектирования в радиоэлектронике и вычислительной технике. МДНТП, Москва, 1981.
84. Alexander С. Notes on the Synthesis of Form, Harvard, Cambridge MA, 1964.
85. Ashby W.R., "Constraint analysis o-f many-dimensional relations," General Systems Yearb., vol. 9, pp. 99-105, 1964.
86. Ashby W.R., "Measuring the internal information exchange in a system", Cybernetics, vol. 8, pp. 5-22, 1965.
87. Ashby W.R., "Systems and their informational measures", Trends in General Systems Theory, New York, 1972.
88. Baer J.L., D.P. Bovet, and G. Estrin, "Legality and .Other Properties of Graph Models of Computation", Journal of the Association for Computing Machinery, vol. 3. pp. 543-554, July, 1970.
89. Barr P., CAD: Principles And Applications, Prentice-Hall, NJ. 1985.
90. Berge C., Graphs and Hypergraphs, North-Holland/American Elsevier, Amsterdam and New York, 1973.
91. Broekstra G., "Constraint analysis and structure identification," Annals of System Res., vol. 5, pp. 67-80, 1976.
92. Cavallo R.E., "The structure of reconstructable relations: a comprehensive study," Journal of Cybernetics, vol. 9, pp. 399-413. 1979.
93. Cavallo R.E. and F. Pichler, "General systems methodology: design for intuition-amplification," Improving the Human Condition: Quality and Stability in Social Systems, Springer-Verlag, New York, 1979.
94. Cavallo R.E., "Reconstructability & identifiability in the evaluation of structure hypotheses: an issue in the logic of modeling, " Systems Science &: Science, edited by B. Banathy, Society for General Systems Research, pp. 647654, Louisville, Kentucky, 1980,.
95. Conant R., "A structural modeling technique using information measures", Proc. 24th Annu. North American Meeting of Society for General Systems Res., pp. 9-18, San Francisco, CA, Jan. 1980.
96. Dubos D. and H. Prade, "A class of fuzzy measures based on triangular norms", International Journal of General Systems, vol. 8. 1982.
97. Edwards P., "Systems Analysis, Design, and Development with structured Concepts", Holt, Rinehart and Winston, New York, 1985.
98. Ehrig H., W. Fey, H. Hansen, and M. Lowe, "Algebraic theory of modular
specification development", TU, WB, 1987.
99. Ewusi-Mensah Kweku, "Identifying subsystems in information systems analysis," Inform. Systems, vol. 4(2), pp. 181-190, Pergamon Press Ltd, Honolulu,
1984.
100. Gaines B.R., "On the complexity of causal models", IEEE Trans, on Systems, Man and Cybernetics, vol. 6(1), January 1976.
101. Godbersen Heinrich P., "On Decision Support with Function Nets," Interner CIS-Bericht, vol. 3/83, pp. 1-19, TU Berlin, Fachbereich Informatik, Institut fuer Angewandte Informatik, Berlin. 01. 03. 83.
102. Grawford S.G., A. A. Mcintosh, and D. Pregibon, "An Analysis of Static Metrics and Faults in C Software", The Journal of Systems and Software, vol. 5, pp. 37-48, 1985.
103. Groover M. and E. Zimmer, "Computer Aided Design And Manufacturing", Prentice-Hall, NJ, 1984.
104. Guiasu S., Information Theory With Application, McGraw-Hill, New York, 1972.
105. Gur Y., "An extension of structural modeling," Technol. Forecasting and Soc. Change, vol. 14, pp. 399-408, 1979.
106. Hanan M. and J. M. Kurtzberg, Placement techniques in Design Automation of Digital Systems, 1, Prentice-Hall, 1972.
107. Hansen J.V. and Lynn J. McKell, "A computer aid for the analysis of complex systems", The Computer Journal, vol. 23(2), pp. 98-106, Brigham Young
Usiversity, Provo, January 1978.
108. Harary F., R.Z. Norman, and D. Cartwright, Wiley, New York, 1965.
109. Harrison W., K. Magel, R. Kluczny, and A. DeKock, "Applying Sowtware Complexity Metrics to Program Maintenance," COMPUTER, pp. 65-79, IEEE. September 1982.
110. Haruna K. and N. Komoda, "An algorithm for structural sensitivity analysis in structural analysis," Proc. IEEE Int. Conf. Systems, Man, & Cybern, Japan, 1978.
111. Higashi M. and G.J. Klir, "Measures of uncertainty and information based on triangular norms", International Journal of General Systems, vol. 9, 1983.
112. Johannsen and Rijnsdorp, Analysis, design and evaluation of ManMachine systems, Pergamon Press, 1983.
113. Kaisler Stephen H., INTERLISP. The Language and Its Usage, John Wiley &: Sons, Inc, 1986.
114. Karagiannis D. and H. -J. Schneider, "Data and Knowledge Base Management System for Decision Support", CIS-report, pp. 1-31, TU, WB, 1985 June.
115. Klir G.J, "On the representation of activity arrays," International Journal of General Systems, vol.2, No. 3, pp. 149-168, 1975.
116. Klir G.J., An Approach to General Systems Theory, Van Nostrand Reinhold, New York, 1969.
117. Komaya K., T. Fukuda. and K. Komaya, "A Method of Analysis and Synthesis of Complex Systems", IEEE, pp. 816-820, 1980.
18. Konrad E. and U. Reiner, "Zur semantik von anfragesprachen fur dokumentennachweissysteme", Live-Bericht. vol. 6/85. pp. 1-30, TU Berlin, Fachbereich Informatik, Institut hier Angewandte Informatik, Berlin. 04.10.1985.
119. Konrad E. and U. Reiner, "Eine Semantische Analyse der Suchkomponente des Information Retrieval Systems GRIPS", CIS LIVE-Bericht, vol. Nr. 2/85, pp. 1158. TU, WB. 1985.
120. Kruzic P.G., "KSIM techniques for evaluating interactions among variables", Tech. Note OED-16, Stanford Research Institute, Menio Park, June 1973.
121. Langhorst F.E., "Computer graphics aided interpretive structural modeling tool for conceptualizing complex design problems", Ph. D. dissertation, Purdue Univ.,
Aug. 1977.
122. Lendaris George G., "Structural Modeling - A Tutorial Guide", IEEE Transactions On Systems, Man, and Cybernetics, vol. 10(12), pp. 807-840,
December 1980.
123. Levine R.L. and M. Trebus, The Maximum Entropy Formalism, Cambridge, 1979.
124. Luck K.V., B. Nebel. C. Peltason, and A. Schmiedel. "BACK to Consistency and Incompleteness", internal KIT memo, TU, WB, 1985.
125. Puri M.L. and D. Raselen, "A possibility measure is not a fuzzy measure", Fuzzy Sets and Systems, vol. 7, 1982.
126. Luck Kai von, Bernhard Nebel, Christof Peltason, and Albrecht Schmiedel. "The BACK-System", KIT-report. vol. 28, pp. 1-32, TU, WB, 1985.
127. Nonn F., A Method for Structural Analysis of Information Systems, pp. 61-66, Computing Centre of Hungarian Ministry of Finance, Budapest.
128. Nonn F., A Method for Structural Analysis of Information Systems, pp. 61-66, after 1979. Work was done in Computing Centre of Hungarian Ministry of
Finance Budapest, Hungary.
129. Orchard R. A., "On an approach to general systems theory," Trends in General Systems Theory, John Wiley, New York, 1972.
130. Owen C.L., "An algorithm for the decomposition of nondirected graphs, " Emerging Methods in Environmental Design and Planning, 1970.
131. Pfaltz J.L., "Graph structures, " J. Association for Computing Machinery, vol. 19, pp. 411-422, 1972.
132. Rauch and W. Hindin, "UNIX: an opereting systems that mans basiness,", vol. 10, p. 101.
133. Ritchie D. M. and K. Thompson, "The UNIX time-sharing system," Commun. ACM, vol. 17(7). pp. 365-375, July 1974.
134. Roberts F.S., "Weighted digraph models .for energy use and air pollution in transportation systems, " RAND Corp. Rep, vol. R-1578-NSF, 1974.
135. Roberts F.S., Discrete Mathematical Models, Prentice-Hall, Engiewood Cliffs, NJ, 1976.
136. Rosenthal D., "UNIX as a basis for CAD software, " Computer aided design, vol. 14(3), pp. 131-135, Butterworth & Co, 1982.
137. Ruggiero W., G. Estrin, and R. Fenchel, "Analysis of data flow model using
SARA graph model of behavior," National Computer Conference, pp. 976-988, 1979.
138. Sage A.P., "Interpretive structural modeling," Methodology for Large Seals Systems, pp. 91-159, McGraw-Hill Book Co, 1977. Chapter four: Interpretive
structural modeling.
139. Sage A.P., Methodology for Large Scale Systems, McGraw-Hill Book Co, New York. 1977.
140. Saito Yoshio and Yoshimi Ito, Computer-Aided Draughting System ALODS' for Mashine tool structures, pp. 69-76.
141. Scantlebury, Stategies for integrated communications, Pergmon Press, 1984.
142. Scheschonk Cert. "Eine auf Petri-Netzen basierende Konstruktions-, Analyse-und (Teil)Verifikationsmethode zur Modellierungsunterstutzung bei der Entwicklung von Informationssystemen", Monography. vol. 1, pp. 1-308, Papyrus-Druck GmbH Berlin, t. 3416451, Dissertationen, Berlin, 19. 06.1984.
143. Schiffner G., "A specification and Performance Evaluation Model for Multicomputer Database Machines", Informatik, pp. 1-159, Universität Bremen, Bremen, 1984 May. Bericht 1984 Mar.
144. Schneider H.-J., "Publications of the CIS-group 1975-1984", Internal CIS-Report, vol. 05/84, pp. 1-56, TU, WB, 1984.
145. Schneider H.-J. (Eds.) and A. Whinston(Eds.), "Decission Support Systems", International Journal, vol. 1 No. 3, pp. 197-275, Elsevier Science Publishers B.V, Amsterdam, September 1985.
146. Shannon C.E., "A mathematical theory of communication", The Bell System Technical Journal, vol. 27, 1948.
147. Slower R., Analysis of CAD/CAM Applications, Prentice-Hall, 1984.
148. Sugiyama K., S. Tagawa and M. Toda. "Methods for Visual Understanding of Hierarchical System Structures", IEEE Trans. Syst. Man. Cybern, vol.11 (2), pp. 109-125, 1981.
149. Sugiyama Kozo and Mitsuhiko Toda, "Structuring Information for Understanding Complex Systems: A Basis for Decision Making", FUJITSU Sci. Tech. J, vol. 21(2), pp. 144-164, June 1985.
150. Uyttenhove H. J. J., "Computer-Aided Systems Modeling: An Assemblage of Methodological Tools for Systems Problem Solving", Ph. D. dissertation, SUNY,
Binghamton, 1978.
151. Waller R.J., "Contextual Relations and Mathematical Relations in Interpretive Structural Modeling", IEEE Transactions on Systems, Man and Cybernetics, vol. 3. pp. 143-145, 1980.
152. Waller R.J., "Comparing and Combining Structural Models of Complex Systems", IEEE Transactions on Systems, Man, and Cybernetics, vol. 9 (9), pp. 580-586, September 1979.
153. Warfield J.N. . "An Assault on Complexity", Battelle Monograph, vol. 3, Battelle Memorial Institute, Columbus, OH, 1973.
154. Warfield J.N., Social Systems: Policy, Planning, and Complexity, John Wiley, New York, 1976.Watanabe S., Knowing and Guessing, John Wiley, New York,
1969.
5. Woodman M., "A Software Tool for the Construction and Maintenance of Structured Analysis Notation", Software-Practice, vol. 15(11), pp. 1057-1072, 1103, John Wiley, November 1985.
6. Zadeh L.A., "Fuzzy sets as a basis for a theory of possibility", Fuzzy Sets and Systems, vol. 1, 1978.
7. Zeigler B.P., "A conceptual basis for modeling and simulation", International Journal of General Systems, vol. 4, pp. 213-228, 1974.
Обратите внимание, представленные выше научные тексты размещены для ознакомления и получены посредством распознавания оригинальных текстов диссертаций (OCR). В связи с чем, в них могут содержаться ошибки, связанные с несовершенством алгоритмов распознавания. В PDF файлах диссертаций и авторефератов, которые мы доставляем, подобных ошибок нет.