Моделирование, структурный анализ и синтез технических систем с целью повышения их эффективности
Развитие рыночных отношений в стране сформулировало задачи по созданию и внедрению новых технологий и автоматизированных производств с использованием средств вычислительной техники и других средств автоматизации. В диссертации решена задача, имеющая существенное значение для машиностроения и заключающаяся в повышении эффективности технических систем на основе их моделирования, структурного… Читать ещё >
Содержание
- ГЛАВА 1. СОСТОЯНИЕ ВОПРОСА, ЦЕЛЬ И ЗАДАЧИ ИССЛЕДОВАНИЯ
- 1. 2. Формы представления структур
- 1. 1. Задача структурного синтеза в процессе проектирования
- 1. 3. Методы структурного моделирования
- 1. 4. Методы структурного синтеза
- 1. 5. Цель и задачи исследования
- ГЛАВА 2. МЕТОДЫ ГЕНЕРАЦИИ СТРУКТУРНЫХ ПРЕДПОЛОЖЕНИЙ
- 2. 1. Определение структуры системы
- 2. 2. Решетка структур
- 2. 3. Алгоритмы генерации структур
- 2. 4. Выводы
- ГЛАВА 3. МЕТОДЫ ОПИСАНИЯ ПОВЕДЕНИЯ СИСТЕМЫ И ОЦЕНКИ СТРУКТУР
- 3. 1. Метод описания поведения системы
- 3. 2. Формирование поведения системы по заданной структуре
- 3. 3. Оценка структур системы
- 3. 4. Выводы
- ГЛАВА 4. ИСПОЛЬЗОВАНИЕ КОМПЛЕКСА МЕТОДОВ СТРУКТУРНОГО СИНТЕЗА В ПРОЦЕССЕ ПРОЕКТИРОВАНИЯ И ЕГО РЕАЛИЗАЦИЯ
- 4. 1. Реализация методов структурного синтеза
4.2. Пример использования комплекса методов структурного синтеза для идентификации функциональной структуры подсистемы выбора схемы базирования системы технологического проектирования процессов и оснащения сборки в машиностроении
4.3. Идентификация функциональной структуры и специфицирование подсистемы формирования функциональных структур систем
4.4.Выводы 100 ОБЩИЕ
ВЫВОДЫ И РЕЗУЛЬТАТЫ 102
СПИСОК ЛИТЕРАТУРЫ
Список литературы
- Александров A.A., Г. А. Булкин и А. О. Поляков, Автоматизированная обработка информации на языке предикатов, Наука, Москва, 1982.
- Ахо А., Дж. Хопкрофт, и Дж. Ульман, Построение и анализ вычислительных алгоритмов, Мир, Москва, 1979.
- Банахан М. и Э. Раттер, Введение в операционную систему UNIX, Радио и связь, Москва. 1986.
- Баранов Л.В., Бикулов С. А., Талдыкин В. Ю. Современные тенденции в технологии автоматизированного проектирования на примере системы Т-FLEX. В сб. научных трудов ИКТИ РАН, вып. З, М., Янус-К, 2001.
- Берж К., Теория графов и ее применения, ИЛ, Москва, 1962.
- Бетелин В. Б., Экранные редакторы, ориентированные на язык программирования, АН СССР, Москва, 1985.
- Биркгоф Г., Теория решеток, Наука, Москва, 1984.
- Брук В.М. и В.И. Николаев, Системотехника: методы и приложения, Машиностроение, Ленинград, 1985.
- Брябрин В.М., «Интеллектуальный интерфейс на основе персональной ЭВМ», Микропроцессорные средства и системы Ж 3, 1984.
- Велихов Е.П. и В.Б. Бетелин, Создание интерактивной системы обработки графической информации в машиностроении. (Основные концепции), НИИавтопром, Москва, 1984.
- Гилой В., Интерактивная машинная графика, Мир, Москва, 1981.
- Гончарова В.А., Буланже Г. В., Гущин И. А., Феофанов А. Н. Геометрические построения в инженерной, прикладной и компьютерной графике. М., МГТУ «СТАНКИН», 2000.
- Гудман С. и С. Хидетниеми, Введение в разработку и анализ алгоритмов, Мир, Москва, 1981.
- Диденко В.П., «Применение методов структурного анализа при разработке САПР», В сб. Проблемы автоматизации проектирования и изготовления в машиностроении, Мосстанкин, Москва, 1983.
- Диденко В.П. и А.Ф. Колчин, «Оценка возможных реализации проектных процедур на этапе разработки САПР» Тезисы доклада на Всесоюзной конференции «САПР РЭА», Одесса, 1984.
- Диденко В.П., «Автоматизация разработки САПР машиностроения на основе интегральной структурной модели», В сб. КТИ-87. Мосстанкин. Москва, 1987.
- Диденко В.П., C.B. Волков, А. Ф. Колчин и O.A. Хмелев, «Программная реализация методов структурного моделирования автоматизированных систем», В сб. «Вопросы автоматизированного проектирования гибких производственных систем», Атом, Москва, 1984.
- Диденко В.П., «Автоматизация проектирования систем на концептуальном уровне», Прикладная информатика, вып. 1, Финансы и статистика, Москва, 1985.
- Диденко В.П., Д. В. Копылов и O.A. Хмелев, «Метод автоматизации анализа структур сложных технических систем», В сб. «Технология», НТИ «Поиск», Москва, 1985.
- Диденко В.П. и Ю.М. Соломенцев, «Автоматизация разработки САПР машиностроения на основе структурного моделирования», Материалы семинара «Гибкие производственные системы», Знание, Москва, 1986.
- Дружинин В.В. и Д.С. Конторов, Системотехника, Радио и связь, Москва, 1985.
- Евстигнеев В .А., Применение теории графов в программировании, Наука, Москва, 1985.
- Ершов А.П., Введение в теоретическое программирование. Беседы о методе, Наука, Москва, 1977.
- Зелковиц М., А. Шоу и Дж. Гэннон, Принципы разработки программного обеспечения, Мир, Москва, 1982.
- Зыков А. А, Основы теории графов, Наука. Москва, 1987.
- Иодан Э., Структурное проектирование и конструирование программ, Мир, Москва, 1979.
- Калинин В.В., А.Ф.Прохоров и Ю. М. Соломенцев, Автоматизированная разработка структуры оборудования технологических систем, Ю, Вестникмашиностроения, 1984.
- Капустин Н. М. и В.В. Павлов, Диалоговое проектирование технологических процессов, Машиностроение, Москва, 1983.
- Касти Дж., Большие системы. Связность, сложность, катастрофы, Мир, Москва, 1982.
- Керниган Б., Д. Ритчи и А. Фьюэр, Язык программирования Си. Задачи по языку, Финансы и статистика, Москва, 1985.
- Колмогоров А.Н., «Основные понятия теории вероятностей» ОНТИ. 1936.
- Колмогоров А.Н., «Несмещенные оценки». Изв. АН СССР, .№. 14, 1950.
- Колчин А.Ф., «Оценка сложности информационных систем» Сборник трудов, Мосстанкин. Москва, 1984.
- Корячко В.П., В.М. Курейчик и И. П. Норенков, Теоретические основы САПР, Энергоатомиздат, Москва, 1987.
- Кристиан К., Введение в операционную систему UNIX, Мир, Москва, 1986.
- Кристофидес Н., Теория графов. Алгоритмический подход, Мир. Москва, 1978.
- Кузменков П.Б., В.Г. Митрофанов и А. Брунитс, «Автоматизация проектирования технологических процессов сборки», В сб. «Тезисы докладов технической конференции», «Сборка 84», Ташкент, 1984.
- Лебедев В.Н., Введение в системы программирования, Статистика, 1. Москва, 1975.
- Левин Д.Я., Инструментальный комплекс программирования на основе языков высокого уровня, Наука, Москва, 1987.
- Лингер Р., X. Миллс и Б. Уитт, Теория и практика структурного программирования. Мир, Москва, 1982.
- Мартин Дж., Планирование развития автоматизированных систем, Финансы и статистика, Москва.
- Маслов С.Ю., Теория дедуктивных систем и ее применения, Радио и связь, Москва, 1986.
- Месарович М., Д. Мако и И. Такахара, Теория иерархических многоуровневых систем, Мир, Москва, 1973.
- Месарович М. и Я. Такахара, Общая теория систем: математические основы, Мир, Москва, 1978.
- Минский М., Фреймы для представления знаний, Энергия, Москва, 1979.
- Митрофанов В.Г., «Алгоритмы планировки станочных участков при машинном проектировании», В сб. «Системы управления станками и АЛ», ВЗМИ, Москва, 1984.
- Митрофанов В.Г., «Управление автоматизированной станочной системой для обработки корпусных деталей», В сб. «Системы управления станками и АЛ», ВЗМИ, Москва, 1984.
- Мурога С., Системное проектирование сверхбольших интегральных схем, Мир, Москва, 1985.
- Норенков И.П., Введение в автоматизированное проектирование технических устройств и систем, Высшая школа, Москва, 1986.
- Норенков И.П., «Принципы построения и структура САПР» Системы автоматизированного проектирования. Учебное пособие, Кн. 1, Высшая школа. Москва, 1986.
- Оре О. Теория графов, Наука, Москва, 1980.
- Павлов В.В., Математическое обеспечение САПР в производстве летательных аппаратов, МФТИ, Москва, 1978.
- Павлов В.В., «О некоторых проблемах технологической систематики». В сб. КТИ-87, Мосстанкин, Москва, 1987.
- Панфилов А.Л. и Ю. П. Шакула, «Использование пиктографического диалогового интерфейса в системах САПР/ГАП», Всесоюзная конференция «ДИАЛОГ-85». Киев, 1985.
- Половинкин А.И., Н.К. Бобков, Г. Я. Буш и др., Автоматизация поискового конструирования (искусственный интеллект в машинном проектировании), Радио и связь, Москва, 1981.
- Поспелов Г. С. и В.А. Ириков, Программно-целевое планирование и управление (введение), Советское радио, Москва, 1976.
- Нечеткие множества в моделях управления и искусственного интеллекта /Под. ред. Д. А. Поспелова, Наука, Москва, 1986.
- Прохоров А.Ф. и В. Г. Митрофанов, «Методика автоматизированного проектирования автоматических линий для механической обработкикорпусных деталей», Вестник машиностроения, №. 10, 1984.
- Прохоров А.Ф. и Ю.М. Соломенцев. «Принципы построения структуры оборудования гибких автоматизированных производств», III Всесоюзное совещание по робототехническим системам, №. 1, ВПИ, Воронеж, 1984.
- Прохоров А.Ф. и Ю.М. Соломенцев, «Перспективы и проблемы развития САПР технологических систем», Вестник машиностроения, №. 10, 1984.
- Прохоров А.Ф. и A.B. Рыбаков. «Отображение процесса проектирования в программное обеспечение САПР», В сб. КТИ-87, Мосстанкин, Москва, 1987.
- Панфилов А.Л., «Инструментальная комплексная Среда разработки САПР машиностроения», В сб. КТИ-87, Мосстанкин, Москва, 1987.
- Ракович А.Г., Автоматизация проектирования приспособлений для металлорежущих станков, Машиностроение, Москва, 1980.
- Рейнгольд Э., Ю. Нивергельт и Н. Део, Комбинаторные алгоритмы. Теория и практика, Мир, Москва, 1980.
- Росс Д., «Структурный анализ (SA): язык для передачи понимания», В сб. Требования и спецификации в разработке программ, Мир, Москва, 1984.
- Скорняков Л.А., Элементы теории структур, Наука, Москва, 1982.
- Соломенцев Ю.М., «Конструкторско технологическая информатика как основа автоматизированного создания машин и технологий», В сб. КТИ-87, Мосстанкин, Москва, 1987.69
- Соломенцев Ю.М., Митрофанов В. Г. Выбор варианта базирования, последовательности обработки поверхностей и построение размерной структуры технологического процесса. В сб. Труды ИКТИ РАН, вып. З, М., Янус-к, 2001.
- Сыроежин И. М., Очерки теории производственных организаций, Экономика, Москва, 1970.
- Турский В., Методология программирования, Мир, Москва, 1981.
- Тыугу Э.Х., «Вычислительные фреймы и структурный синтез программ», Техническая кибернетика, № 6, 1982.
- Федорчук В.Г. и В.М. Черненький, «Информационное и прикладное программное обеспечение. Системы автоматизированного проектирования: Учеб. пособие для втузов», 9 кн. Под. ред. И. П. Норенкова. Кн. 3, Высшая школа, Москва, 1986.
- Фоке Дж., Программное обеспечение и его разработка, Мир, Москва, 1982.
- Фуксман А. Л., Технологические аспекты создания программных систем, Статистика, Москва, 1979.
- Харари Ф., Теория графов, Мир, Москва, 1973.
- Холстед М.Х., Начала науки о программах, Финансы и статистика, Москва, 1981.
- Цвиркун А.Д., Основы синтеза структур сложных систем, Наука, Москва, 1982.
- Шакула Ю.П., «Архитектура программного обеспеченияпиктографического диалогового интерфейса для систем автоматизированного проектирования», В сб. КТИ-87, Мосстанкин, Москва. 1987.
- Эванчук С. и Т. Мануэль, «Использование естественных языков и баз знаний в прикладных системах». Электроника, №. 24, 1983.
- ГОСТ 19.102−77 Проектирование автоматизированное. Стадии разработки.
- ГОСТ 22.487−77 Проектирование автоматизированное. Термины и определения.
- ГОСТ 23 501.101−87 Системы автоматизированного проектирования. Основные положения. Автоматизация проектирования в радиоэлектронике и вычислительной технике. МДНТП, Москва, 1981.
- Alexander С. Notes on the Synthesis of Form, Harvard, Cambridge MA, 1964.
- Ashby W.R., «Constraint analysis o-f many-dimensional relations,» General Systems Yearb., vol. 9, pp. 99−105, 1964.
- Ashby W.R., «Measuring the internal information exchange in a system», Cybernetics, vol. 8, pp. 5−22, 1965.
- Ashby W.R., «Systems and their informational measures», Trends in General Systems Theory, New York, 1972.
- 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.
- Barr P., CAD: Principles And Applications, Prentice-Hall, NJ. 1985.
- Berge C., Graphs and Hypergraphs, North-Holland/American Elsevier, Amsterdam and New York, 1973.
- Broekstra G., «Constraint analysis and structure identification,» Annals of System Res., vol. 5, pp. 67−80, 1976.
- Cavallo R.E., «The structure of reconstructable relations: a comprehensive study,» Journal of Cybernetics, vol. 9, pp. 399−413. 1979.
- 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.
- 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.
- Dubos D. and H. Prade, «A class of fuzzy measures based on triangular norms», International Journal of General Systems, vol. 8. 1982.
- Edwards P., «Systems Analysis, Design, and Development with structured Concepts», Holt, Rinehart and Winston, New York, 1985.
- Ehrig H., W. Fey, H. Hansen, and M. Lowe, «Algebraic theory of modularspecification development», TU, WB, 1987.
- Ewusi-Mensah Kweku, «Identifying subsystems in information systems analysis,» Inform. Systems, vol. 4(2), pp. 181−190, Pergamon Press Ltd, Honolulu, 1984.
- Gaines B.R., «On the complexity of causal models», IEEE Trans, on Systems, Man and Cybernetics, vol. 6(1), January 1976.
- 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.
- 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.
- Groover M. and E. Zimmer, «Computer Aided Design And Manufacturing», Prentice-Hall, NJ, 1984.
- Guiasu S., Information Theory With Application, McGraw-Hill, New York, 1972.
- Gur Y., «An extension of structural modeling,» Technol. Forecasting and Soc. Change, vol. 14, pp. 399−408, 1979.
- Hanan M. and J. M. Kurtzberg, Placement techniques in Design Automation of Digital Systems, 1, Prentice-Hall, 1972.
- 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.
- Harary F., R.Z. Norman, and D. Cartwright, Wiley, New York, 1965.
- Harrison W., K. Magel, R. Kluczny, and A. DeKock, «Applying Sowtware Complexity Metrics to Program Maintenance,» COMPUTER, pp. 65−79, IEEE. September 1982.
- Haruna K. and N. Komoda, «An algorithm for structural sensitivity analysis in structural analysis,» Proc. IEEE Int. Conf. Systems, Man, & Cybern, Japan, 1978.
- Higashi M. and G.J. Klir, «Measures of uncertainty and information based on triangular norms», International Journal of General Systems, vol. 9, 1983.
- Johannsen and Rijnsdorp, Analysis, design and evaluation of ManMachine systems, Pergamon Press, 1983.
- Kaisler Stephen H., INTERLISP. The Language and Its Usage, John Wiley &: Sons, Inc, 1986.
- Karagiannis D. and H. -J. Schneider, «Data and Knowledge Base Management System for Decision Support», CIS-report, pp. 1−31, TU, WB, 1985 June.
- Klir G. J, «On the representation of activity arrays,» International Journal of General Systems, vol.2, No. 3, pp. 149−168, 1975.
- Klir G.J., An Approach to General Systems Theory, Van Nostrand Reinhold, New York, 1969.
- Komaya K., T. Fukuda. and K. Komaya, «A Method of Analysis and Synthesis of Complex Systems», IEEE, pp. 816−820, 1980.
- 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.
- 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.
- Kruzic P.G., «KSIM techniques for evaluating interactions among variables», Tech. Note OED-16, Stanford Research Institute, Menio Park, June 1973.
- Langhorst F.E., «Computer graphics aided interpretive structural modeling tool for conceptualizing complex design problems», Ph. D. dissertation, Purdue Univ., 1. Aug. 1977.
- Lendaris George G., «Structural Modeling A Tutorial Guide», IEEE Transactions On Systems, Man, and Cybernetics, vol. 10(12), pp. 807−840,1. December 1980.
- Levine R.L. and M. Trebus, The Maximum Entropy Formalism, Cambridge, 1979.
- Luck K.V., B. Nebel. C. Peltason, and A. Schmiedel. «BACK to Consistency and Incompleteness», internal KIT memo, TU, WB, 1985.
- Puri M.L. and D. Raselen, «A possibility measure is not a fuzzy measure», Fuzzy Sets and Systems, vol. 7, 1982.
- Luck Kai von, Bernhard Nebel, Christof Peltason, and Albrecht Schmiedel. «The BACK-System», KIT-report. vol. 28, pp. 1−32, TU, WB, 1985.
- Nonn F., A Method for Structural Analysis of Information Systems, pp. 61−66, Computing Centre of Hungarian Ministry of Finance, Budapest.
- 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.
- Orchard R. A., «On an approach to general systems theory,» Trends in General Systems Theory, John Wiley, New York, 1972.
- Owen C.L., «An algorithm for the decomposition of nondirected graphs, «Emerging Methods in Environmental Design and Planning, 1970.
- Pfaltz J.L., «Graph structures, «J. Association for Computing Machinery, vol. 19, pp. 411−422, 1972.
- Rauch and W. Hindin, «UNIX: an opereting systems that mans basiness,», vol. 10, p. 101.
- Ritchie D. M. and K. Thompson, «The UNIX time-sharing system,» Commun. ACM, vol. 17(7). pp. 365−375, July 1974.
- Roberts F.S., «Weighted digraph models .for energy use and air pollution in transportation systems, «RAND Corp. Rep, vol. R-1578-NSF, 1974.
- Roberts F.S., Discrete Mathematical Models, Prentice-Hall, Engiewood Cliffs, NJ, 1976.
- Rosenthal D., «UNIX as a basis for CAD software, «Computer aided design, vol. 14(3), pp. 131−135, Butterworth & Co, 1982.
- 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.
- Sage A.P., «Interpretive structural modeling,» Methodology for Large Seals Systems, pp. 91−159, McGraw-Hill Book Co, 1977. Chapter four: Interpretivestructural modeling.
- Sage A.P., Methodology for Large Scale Systems, McGraw-Hill Book Co, New York. 1977.
- Saito Yoshio and Yoshimi Ito, Computer-Aided Draughting System ALODS' for Mashine tool structures, pp. 69−76.
- Scantlebury, Stategies for integrated communications, Pergmon Press, 1984.
- Schiffner G., «A specification and Performance Evaluation Model for Multicomputer Database Machines», Informatik, pp. 1−159, Universitat Bremen, Bremen, 1984 May. Bericht 1984 Mar.
- Schneider H.-J., «Publications of the CIS-group 1975−1984», Internal CIS-Report, vol. 05/84, pp. 1−56, TU, WB, 1984.
- 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.
- Shannon C.E., «A mathematical theory of communication», The Bell System Technical Journal, vol. 27, 1948.
- Slower R., Analysis of CAD/CAM Applications, Prentice-Hall, 1984.
- 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.
- 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.
- Uyttenhove H. J. J., «Computer-Aided Systems Modeling: An Assemblage of Methodological Tools for Systems Problem Solving», Ph. D. dissertation, SUNY, 1. Binghamton, 1978.
- 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.
- 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.
- Warfield J.N.. «An Assault on Complexity», Battelle Monograph, vol. 3, Battelle Memorial Institute, Columbus, OH, 1973.
- Warfield J.N., Social Systems: Policy, Planning, and Complexity, John Wiley, New York, 1976. Watanabe S., Knowing and Guessing, John Wiley, New York, 1969.
- 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.
- Zadeh L.A., «Fuzzy sets as a basis for a theory of possibility», Fuzzy Sets and Systems, vol. 1, 1978.
- Zeigler B.P., «A conceptual basis for modeling and simulation», International Journal of General Systems, vol. 4, pp. 213−228, 1974.