диссертация модальная логика

-301 -

71.Елфимова Н. В. Пути исследования мотивации в когнитивной психологии: сравнительный анализ // Вопросы психологии. Педагогика, 1985,

№5 . - С . 162-168.

72.Козлов Л.А., Козлова Н.В. Категориальный анализ и когнитивное моделирование в процессе обучения целеполаганию // Проблемы и перспективы многоуровневой подготовки специалистов. Междунар. сб. - Барнаул, 1996 . - С . 75 - 83 .

73.Пиаже Ж. Избранные психологические труды. - М.: Международная педагогическая академия, 1994. - 680с.

74.Сергеев В. М., Цимбурский В. Л. Когнитивные механизмы принятия решений: модели и приложения в политологии и истории // Компьютеры и познание. Сб. научн. трудов. - М.: Наука, 1990. - С.105-123.

75.Рузавин Г. И. Логика и аргументация. Учебн. пособие для вузов. - М.: Культура и спорт. ЮНИТИ, 1997. - 350с.

76.Франк С. Предмет знания. - С.-Пб.: Наука, 1995. - 655с.

77.Девид Марка, Клемент Мак Гоуэн. Методология структурного анализа и проектирования. - М.: Метатехнология, 1993. - 240с.

78.Козлов Л.А. Когнитивное моделирование на ранних стадиях проектной деятельности. Учебное пособие. - Барнаул: Изд-во АлтГТУ, 1988. - 120с.

79.Хинтика Я. Логико-эпистемологические исследования. - М.: Прогресс, 1980.-450с.

80.Гетманова А. Д. Логика. Для педагогических учебных заведений. Учебное пособие для вузов. - М.: Новая школа, 1995. - 415с.

81.Кэрролл Л. Логическая игра. - М.: Наука, 1991. - 200с.

82.Козлов Л.А. Когнитивный подход к исследованию информационных процессов на ранних стадиях проектирования // Информационные технологии,

№5 . - С . 2 1 - 2 3 .

-3 0 2 -

83.Лисичкин В.А. Теория и практика прогностики. - М.: Наука, 1972. -

224с.

84.Котлер Ф. Основы маркетинга. - Новосибирск: Наука. Сибирское отделение, 1992. - 725с.

85.Гмощинский В.Г., Флиорент Г.И. Теоретические основы инженерного проектирования. - М.: Наука, 1973. - 304с.

86.Эйрес Р. Научно-техническое прогнозирование и долгосрочное планирование. - М.: Мир, 1971. - 296с.

87.Локк Д. Сочинения в трех томах. Том 1. - М.: Мысль, С.З

88.Ивин A . A . Логика норм. М.: Просвещение, 1973. С.29.

89.Рубашкин В.Ш. Представление и анализ смысла в интеллектуальных информационных системах. - М.: Наука, Гл.ред.физ.-мат.лит. 1989. - 192с.

90.Братко И. Программирование на языке ПРОЛОГ для искусственного интеллекта. - М.: Мир, 1990. - 560с.

91.Стерлинг Л. Искусство программирования на языке ПРОЛОГ, - М.: Мир, 1990.-336с.

92.Юм. Д. Трактат о человеческой природе или попытка применить основанный на опыте метод рассуждений к моральным предметам. - Минск: Попурри, 1998 . - 317с .

93.Урнов Д. Прекрасная экзегеза // Знание-Сила, 1986, №9. - С.46-48.

94. Иванов В.В. Роль семиотики в кибернетическом исследовании человека

и коллектива. В кн.: Логическая структура научного значения. - М.: Знание.

1974.-64 с.

95.Шрейдер Ю.А. Логика знаковых систем. - М.: Знание, 1974. - 64 с.

96.Кондаков Н.И. Введение в логику. Издательство Наука, 1967.- 465 с.

97.Прангишвили И.В., Абрамова Н,А,, Спиридонов В.Ф., Коврига С В . , Разбегин В.П. Поиск подходов к решению проблем. - М.: СИНТЕГ, 1999. - 284с.

-303 -

98.Липаев В.В. Сертификация информационных технологий программных средств и баз данных. Методы и стандарты. - Казань: 1995. - 150с.

99.Гухман А.А. Применение теории подобия к исследованию процессов тепло-массообмена. - М.: Высшая школа, 1974. - С.ЗЗО.

100.Найсер У. Познание реальности. - М.: МГУ, 1981. - 210с.

101.Гегель Г. Энциклопедия философских наук. Паука логика. Соч. в 3 томах. Том 1 . - м . : Мысль, 1974. - С. 152.

102.Капустин Н.М., Павлов В.В., Козлов Л.А. и др. Диалоговое проектирование технологических процессов. - М.: Машиностроение, 1983. - 255с.

103.Тей А., Грибомон П., Луи Ж. и др. Логический подход к искусственному интеллекту. - М . : Мир, 1990. - 432с.

104.Барвайс Дж. Справочная книга по математической логике. - М.: Наука, 1983 . - 250с .

105.Фейс Р. Модальная логика. - М.: Наука, 1974. - 220с.

106.Робинсон А. Введение в теорию моделей и метаматематику алгебры. - М.: Наука, 1967 . - 250с .

107.Hintikka J. Form and Content in Quantification Theory. "Acta Philosophica Fennica", 1955, vol.8, p . l 1-55.

108.Hintikka J. Notes on Quantification Theory. - "Societas Scientiarum Fennica. Commentationes Physico-Mathematical", 1957, vol.17, p. 1-13.

109.SmuUyan R. First-Order Logic. Berlin. Heidelberg and New York, Springer,

1968.

110.Нильсон H . Искусственный интеллект. Методы поиска решений. - М.: Мир, 1973 . - 270с .

111.Сигорский В.П. Математический аппарат инженера. - Киев: Техн1ка, 1975 . - 765с .

-3 0 4 -

112.Клоксин, Уильям, Меллиш, Кристофер. Программирование на языке Пролог. - М.: Мир, 1987 - 336с.

113.Доорс Дж. и др. Пролог - язык программирования будущего. - М.: Финансы и статистика, 1990. - 144с.

114.Hayes Р. J. In defense of logic, Proc. IJCAJ-77, 1977, p.428-433.

115.Hayes P. J. The logic of frame. In Frame Conceptions and Text Understanding (D. Metzing, ed.), de Gruyter, Berlin, 1979, p.46-61.

116.Домелкин Б., Середи П. Практическое использование Пролога // В сб. Логическое программирование. - М.: Мир, 1988. - 368с.

117.Келер В., Кофка. Гештальтпсихология. - М.: ООО "Изд-во ACT-ЛТД", 1998 . - 704с .

118.Келер В. Некоторые задачи гещтальтпсихологии // Хрестоматия по истории психологии. - М.: Изд-во МГУ. - С. 102-120.

119.Козлов Л.А Повышение эффективности ранних стадий проектирования средствами структурного анализа // Динамика стационарных трибосистем. - Барнаул, 1995. - С.З7-45.

120.Соломенцев Ю.М., Павлов В.В. Моделирование технологической среды машиностроения. - М . : Станкин, 1994. - 104с.

121.Михайленко В.Е., Кислоокий В.Н., Лященко А.А. и др. Геометрическое моделирование и машинная графика в САПР. - Киев: Высшая школа, 1991. -374 с.

122.Кузьмин А.Г,, Синицын В.А. Динамический расчет кривошипношатунного механизма двигателей внутреннего сгорания. - Барнаул: Изд-во

АлтГТУ, 1 9 9 6 . - 4 1 с .

123.Дизель Д-4400, ПО "Алтайский моторный завод". ./ Технический проект.-Барнаул, 1998.

124.Дизель Д-4402, ПО "Алтайский моторный завод". / Технический проект. - Барнаул, 1990.

-305 -

125.Жеков К. Современные аналитические возможности AnSyS // САПР и графика, 1998, №9, 10.

126.Мухин А., Блинов О. Что такое конечный элемент // САПР и графика, 1998, №7.

127.Еременко С Ю . Метод

конечных элементов в

механике

деформируемых тел. - Харьков: Основа, 1991. - 271с.

128.Козлов Л.А. Когнитивное моделирование состава, структуры и оценки эффективности проектных процедур при разработке САПР // Труды АлтГТУ им. И.И. Ползунова. - Барнаул, 1993. С. 132-139.

129.Котов И.И. Прикладная геометрия и автоматическое воспроизведение поверхностей // Кибернетика графики и прикладная геометрия поверхностей. Труды МАИ. 1971, вып. 231.

130.Соломенцев Ю.М., Сосонкин B . C . Управление гибкими производственными системами . -М. : Машиностроение, 1988.

131.Козлов Л.А., Макарова Е.И. Автоматизация компоновочных работ // Информационные технологии. Машиностроение, 1997, № 2. - С37 - 40 .

132.Теллес М. Borland С++ Builder: Библиотека программиста. - С-Пб.: Питер, 1998.-512с.

133.Кречко Ю.А., Полипдук В.В. АвтоКАД: Курс практической работы. - М.: ДИАЛОГ-МИФИ, 1995. - 256с.

134.Хювёнен Э., Сеппянен Й. Мир лиспа: В 2 т. - М.: Мир, 1990

135.Маслов С Ю . Обратный метод установления выводимости в классическом исчислении предикатов // ДАН СССР, 1964. - Т. 159. - С. 17-20.

136.Козлов Л.А., Нечаев Л.В. Когнитивный подход к процессу формирования концепции семейства транспортных дизелей // Труды АлтГТУ им. И.И. Ползунова. Автотракторный ф-т. Вып. 8, Ч. 1. Совершенствование рабочих процессов Д В С - Барнаул, 1999. - С.3-9.

-3 0 6 -

137.Козлов Л.А., Нечаев Л.В. Некоторые особенности ранних стадий проектирования в машиностроении // Материалы международной научнотехнической конференции, посвяш;енной 100-летию создания первого российского дизеля. - Барнаул: АлтГТУ, 1999. - С.58-60.

138.Козлов Л.А. Логико-эпистемологические исследования на ранних стадиях проектирования как компонент CALS-технологий // Материалы международной научно-технической конференции, посвященной 100-летию создания первого российского дизеля. - Барнаул: АлтГТУ, 1999. - С.51-52.

139.Козлов Л.А., Исаев П.И. Формирование паттернов когнитивной графики для проектных расчетов машиностроения // Решетневские чтения. Тезисы докладов III Всероссийской науч.-практической конфер. - Красноярск, 1999.-C.217.

140.Козлов Л.А., Львов В.А. Применение вычислительных систем при исследовании некоторых математических моделей в области машиностроения

//Вычислительные системы. - Новосибирск, 1970, №38. - С.128-137.

141.Козлов Л.А., Львов В.А. Нечаев Л.В. и др. Исследование динамики коленчатого вала ДВС с помощью ЭВМ и графических средств отображения данных // Труды АлтГТУ им. И.И. Ползунова. Вьш.18, 1973. - С.31-37.

142.Козлов Л.А. Системы автоматизированного проектирования (искусственные системы, имитирующие этапы решения проектных задач.) / Обзорно-аналитическая справка. - М . : МГЦНТИ, 1985. - 48с.

143.Козлов Л.А. Искусственный интеллект и вопросы проектирования / Обзорно-аналитический материал. - М.: МГЦНТИ, 1986. - 33с.

144.Козлов Л.А. Логико-эпистемологические исследования и когнитивное моделирование при формировании образа объекта проектирования. Конструкторско-технологическая информатика - 2000 / IV международный конгресс: Труды конгресса 2Т. Т1 - М.: Изд-во "Станкин", 2000. - 388с. ил. - С.279-280.

-307 -

Приложение 1

Описание работы в среде системы построения образов когнитивной графики

Разработанное программное обеспечение предназначено для одной из задач автоматизации прикладных и научных исследований - задачи отображения результатов вычислительного эксперимента. В данной разработке в качестве предметной области была выбрана такая область как двигателестроение. Таким образом, потенциальными пользователями данного ПО являются проектировщики и разработчики ДВС. Кроме этого, эта программа возможно будет полезна как учебное пособие для студентов специальности ДВС.

Работа программы начинается с запуска исполняемого файла "pattern.exe". При этом на экране дисплея появится следующая форма (Рисунок 1).

,	.	^	„	.	,	.	.	.	.
	Рисунок 1 - Главная форма приложения

Это главная форма приложения, которая является основным рабочим пространством. Опишем последовательно все опции меню главной формы.

Вид подменю "Файл" показан на Рисунке 2.

Опция "Новый" - создание нового паттерна работоспособности.

Опция "Сохранить диаграмму" - позволяет сохранить во внешнем файле активную в данный момент диаграмму.

Опция "Сохранить паттерн" - позволяет сохранить во внешнем файле паттерн работоспособности, состоящий из неминимизированных в данный момент диаграмм.

Опция "Сохранить банк" - позволяет сохранить в архивном файле результаты текущего исследования, находящиеся в подкаталоге <Вапк>.

- 308 -

Приложение 1

ЩРаблтоспособность изделия

Операция Окно Помощь

Сохранить паттерн Сохранить-банк. . Загрузить диаграммы Зе1гр^/зйть;банк

Рисунок В.2 - Вид подменю "Файл"

Опция "Загрузить диаграммы" - позволяет зафузить ранее сохраненные во внешнем файле диаграммы.

Опция "Загрузить банк" - позволяет извлечь из архивного файла результаты исследования в подкаталог <Вапк>.

Опция "Закрыть" - завершение работы с приложением. Вид подменю "Операция" изображен на Рисунке 3.

Работоспособность изделия

Файл КВН^ШВВМ Окно	Помощь
Свойства диаграммы
Пополнить банк	.
; : ^Выбр&ть латйер	:,

Рисунок 3 - Вид подменю "Операция"

Опция "Свойства диаграммы" - позволяет вывести на экран форму, содержащую свойства активной в данный момент диаграммы.

Опция "Пополнить банк" - выводит на экран форму, позволяющую провести многофакторный вычислительный эксперимент без построения диаграмм.

Опция "Выбрать двигатель" - выводит на экран форму, позволяющую определить текущий двигатель. Опция "Выбрать паттерн" - выводит на экран форму, позволяющую выбрать вид паттерна

работоспособности.

Вид подменю "Окно" изображен на Рисунке 4.

1ИЯ_

Помощь

Закрыть все

Рисунок 4 - Вид подменю "Окно"

-309-

Приложение 1

Опция "Закрыть все" - закрывает все диаграммы Вид подменю "Помощь" изображен на Рисунке 5.

Ф а й л О п е р а ц и я Окно | Помощь

- О программе...

Рисунок 5 - Вид подменю "Помощь"

Опция "О программе ..." - выводит окно, сообщающее информацию о данной программе, разработчике и др. информацию.

Перед тем, как строить новый паттерн работоспособности необходимо выбрать двигатель и вид паттерна работоспособности. Вид формы, позволяющей выбрать текущий двигатель изображен на Рисунке 6.

' ^ Выбор двигателя		X
Характеристики двигателя		- определены!
...Q.QP.?.9.§.uy.I.b.!	¿1	Показать
Опеределить		Показать
;Ш1м|нйя*ййдШМ
Опеределить	i ,	Показать
•:?Щннней^		рпр^рёленыЦл-
Опеределить		Показать
Готово		Отменить

Рисунок 6 - Выбор двигателя

Кнопки "Определить" и "Показать" предназначены для определения и показа соответствующих параметров текущего двигателя. Если некоторые параметры не определены в данный момент, то об этом будет сообщено посредством сообщения, выделенного красным цветом, вверху соответствующего отсека.

Когда все параметры двигателя будут определены необходимо нажать кнопку "Готово".

Вид паттерна работоспособности выбирается с помощью формы, изображенной на Рисунке 7.

Для того, чтобы определить паттерн работоспособности необходимо определить диаграммы, входящие в его состав. Диаграмма выбирается с помощью двойного щелчка мыши или нажатия клавиши "Enter" на соответствующей строке "Списка доступных диаграмм". При этом в окне "Выбранных диафамм" появится условное обозначение выбранной диаграммы. Чтобы отменить выбор диаграммы необходимо сделать

-310-

Приложение 1

двойной щелчок мыши на соответствующей надписи в окне "Выбранных диаграмм". Кроме диаграмм в состав паттерна может входить трехмерная модель изделия. Для этого необходимо установить флажок "Формирование чертежа двигателя".

	Список доступных диаграмм	Выбранные диаграммы
-	Силы, действующие в КШМ.	Р,кН [1,1]
	Р,кН - Сумарная сила, действующая вдоль оси цилиндра
	; • НкН - Боковая (нормальная) сила давления порщня на стен1
	: 5,кН - Сила действующая вдоль шатуна
	К,кН - Радиальная сила, действующая по оси кривошипа
	Т,кН - Касательная (тангенциальная) сила
Й Крутящий момент двигателя.
Й Набегающие моменты.
Й Нагрузка на шатунные шейки.
$	Полярные диаграммы и диаграммы износа для шш.
Й Нагрузка на коренные шейки.
а	Полярные диаграммы и диаграммы износа для кш.

			Очистить
li? Формирование чертежадвигателя			Изменить параметры чертежа
Минимальные обороты:	1600
Максимальные обороты; 2600		Ж	Количество рядов:
Шаг приращения:	¿100	• Ц ; : : : ;	Количество столбцов: 3
Готово			Отменить

Рисунок 7 - Выбор паттерна работоспособности

Для изменения параметров трехмерной модели следует нажать кнопку "Изменить параметры чертежа". При этом появится соответствующая форма. Для построения диаграмм необходимо определить границы и шаг изменения параметра, определяющего режим работы двигателя. Это делается с помощью полей: "Максимальные обороты", "Минимальные обороты", "Шаг приращения". Под оборотами здесь подразумевается частота вращения коленчатого вала. Также можно определить расположение диаграмм в паттерне. Для этого необходимо определить число диаграмм в одной строке. При этом число строк будет определено автоматически.

Параметры трехмерной модели определяются с помощью формы, изображенной на Рисунке 8.

На этом рисунке показано какие параметры поршня можно определить. Если требуется определить параметры кривошипа, то следует нажать соответствующую закладку. При этом экран будет иметь следующий вид (Рисунок 9). После того, как все параметры определены следует нажать кнопку "Готово". При этом будет сгенерирован файл "Llsp.lsp", который будет содержать программу на AutoLispe, позволяющую построить трехмерную модель в среде AutoCad.