Авторефераты по всем темам  >>  Авторефераты по техническим специальностям  

На правах рукописи

укьянова Людмила Михайловна

ТЕОРЕТИЧЕСКИЕ ОСНОВЫ, МОДЕЛИ, МЕТОДЫ
И СРЕДСТВА АВТОМАТИЗАЦИИ ФОРМИРОВАНИЯ СИСТЕМ ЦЕЛЕЙ РЫБОХОЗЯЙСТВЕННЫХ КОМПЛЕКСОВ

Специальность: 05.13.01 - Системный анализ, управление и обработка
информации (технические системы)

АВТОРЕФЕРАТ
диссертации на соискание ученой степени
доктора технических наук

Санкт-Петербург - 2009

Работа выполнена в Учреждении Российской академии наук
Санкт-Петербургском институте информатики и автоматизации РАН

Официальные оппоненты:        доктор технических наук, профессор,
заслуженный деятель науки и техники РФ,
ауреат Государственной премии СССР
и премии Президента РФ

       Игнатьев Михаил Борисович

доктор технических наук, профессор
Фомин Борис Федорович

доктор технических наук, профессор,
заслуженный деятель науки РФ
Тимофеев Адиль Васильевич

Ведущая организация:        Государственное образовательное учреждение высшего профессионального образования  Санкт-Петербургский государственный
политехнический университет

Защита состоится л 19 ноября  2009 года в 11: 00 часов на заседании диссертационного
совета Д 002.199.01 Учреждения Российской академии наук Санкт-Петербургский институт информатики и автоматизации РАН по адресу:199178, Санкт-Петербург, В.О., 14 линия, 39, ауд. 401.

С диссертацией можно ознакомиться в библиотеке СПИИРАН

Автореферат разослан  л 2009 г.

Ученый секретарь диссертационного

совета Д 002.199.01  к. т. н., доцент                                                А.аЛ.аРонжин

Общая характеристика работы

Актуальность темы. В решении проблемы продовольственной безопасности России и обеспечения населения жизненно необходимой белковой продукцией важное место занимают рыбохозяйственные комплексы (РХК) регионального и федерального уровней. Организационные системы класса РХК характеризуются специфическими сферой деятельности и окружающей средой. В рыбохозяйственных комплексах осуществляется промышленное рыболовство, товарное рыбоводство, сохранение водных биоресурсов (ВБР), производство и реализация рыбопродукции, а главные составляющие окружающей среды РХК - ВБР внутренних морей Российской Федерации и Мирового океана, потребители продукции и смежные отрасли.

После перехода к рыночным условиям хозяйствования в РХК существенно выросло число проблем управления (до 55% от их общего числа), в том числе, организации (до 22,5%), планирования (до 9,5%) и анализа (до 9%). Возросшие трудности обоснования решений по РХК привели к повышению роли системного подхода к управлению данными системами. Однако использование системной методологии лицами, принимающими решение (ЛПР), не гарантирует системности решений. Выявляемая в процессе их исполнения логическая некорректность (несравнимость, несовместимость) и неполнота отражают недостаточный научный уровень аппарата выработки (подготовки и принятия) решений применительно к системам класса РХК.

В результате анализа системной методологии и теории принятия системных решений был выделен ряд положений, вклад в разработку которых внесли Р.аАкофф, В.аГ.аАфанасьев, И.аВ.аБлауберг, А.аА.аБогданов, В.аН.аВолкова, Д.аМ.аГвиши-ани, Дж.аГиг, Е.аП.аГолубков, Г.аХ.аГуд, А.аА.аДенисов, С.аВ.аЕмельянов, В.аКинг, Д.аКли-ланд, Дж.аКлир, Р.аКовальски, В.аН.аКостюк, Т.аКотарбиньский, О.аИ.аЛаричев, Р.аЭ.аМак-кол, М.аМесарович, Б.аЗ.аМильнер, Н.аН.аМоисеев, С.аОптнер, Ф.аИ.аПерегудов, Д.аА.аПоспелов, Г.аС.аПоспелов, И.аВ.аПрангишвили, Л.аА.аРастригин, В.аН.аСадовский, В.аА.аСмирнов, Г.аА.аСмирнов, А.аН.аУемов, Ю.аА.аУрманцев, Б.аФ.аФомин, Ю.аИ.аЧерняк, А.аД.аХолл, С.аЯнг и другие ученые. Это, прежде всего, методологические положения о логическом характере понятий система, структура и лорганизация, о целях, дающих логическое основание для синтеза систем, о соотношении структур целей как результатов анализа и синтеза целей. На их основе конкретизирован системно-целевой подход к выработке системных решений и намечено развитие теории выработки решений по РХК, отражающей особенности данного класса систем. Конкретизация заключалась в формулировании и формализации условия обоснованности решений по рыбохозяйственному комплексу, рассматриваемому как система целедостижения (ЦД) - их совместимости с системой целей, характеризующейся логической корректностью и полнотой.

Однако выработка системы целей, отвечающих указанным свойствам, вызывает трудности, обусловленные рядом факторов. Наиболее значимы из них следующие факторы. Во-первых, сложность и неформализованность целей РХК. Во-вторых, их зависимость от нестационарной окружающей среды, непредсказуемости спроса на рыбопродукцию и состояний сырьевой базы РХК. В-третьих, субъективный характер целей, недостаточная изученность целеполагания (ЦП), осуществляемого в процессах их анализа и синтеза, и процедур согласования структур целей (СЦ) как результатов данных процессов. Все это часто приводит к выдвижению ложных целей, некорректности, неполноте СЦ, их несовместимости в системе целей и, как следствие, противоречивости решений по РХК, обычно выявляемой при их исполнении.

Несвоевременная корректировка целей, влекущая значительные (до 10%) сверхплановые затраты на реализацию системных решений и снижающая эффективность функционирования РХК, и большая трудоемкость выработки целей рыбохозяйственных комплексов в условиях быстро и непредсказуемо меняющейся окружающей среды актуализируют разработку средств автоматизации формирования систем целей в процессах подготовки, принятия решений и управления РХК. Таким образом, существует противоречие между необходимостью оперативной выработки целей РХК, характеризующихся корректностью, полнотой, и недостаточным уровнем развития теории формирования систем целей для автоматизации данного процесса.

Научная проблема заключается в преодолении указанного противоречия путем разработки теоретических основ, моделей и формализованных методов формирования логически корректных и полных систем целей рыбохозяйственных комплексов и, тем самым, создания возможностей автоматизации процесса их выработки.

Цель исследованияа - разработать теоретические основы, модели, методы и средства автоматизации формирования логически корректных, полных систем целей для получения результатов, создающих возможность оперативного обоснования системных решений, удовлетворяющих требованиям, предъявляемым к эффективности управления и функционирования рыбохозяйственных комплексов.

Основные задачи исследования:

  • определение характеристических свойств РХК как системы ЦД и разработка системного представления о целях для конкретизации на их основе закономерностей целеобразования (теория систем) и принципов системного анализа так, чтобы они способствовали формированию логически корректных и полных систем целей рыбохозяйственных комплексов;
  • разработка лингвистической и логической форм представления целей РХК, позволяющих обеспечить информативность (семантическую мощность) описаний целей, требуемую для формализованного обоснования их корректности;
  • разработка графосемантических моделей логически корректных и полных структур целей, совместимых в системе целей рыбохозяйственного комплекса;
  • разработка семиотической системы рассуждений о целях и методов: логико-лингвистического моделирования и анализа целей; согласования структур целей;
  • разработка методики и средств автоматизации формирования логически корректных и полных систем целей рыбохозяйственных комплексов.

Объект исследованияа - рыбохозяйственный комплекс.

Предмет исследованияаЦ системные связи и свойства РХК как системы целедостижения и закономерности ЦП и ЦД, анализа и синтеза целей, которые должны быть отражены в логико-лингвистических моделях управления анализом и синтезом целей для формировании логически корректной и полной системы целей.

Методы исследования. При решении сформулированных задач исследования в качестве основных использованы методы системного анализа, теории искусственного интеллекта, ситуационного управления и семиотического моделирования, теории формальных грамматик и языков.

Основные положения и результаты, выносимые на защиту:

1.аЗакономерности формирования логически корректной и полной системы целей рыбохозяйственного комплекса.

2.аПринципы формирования системы целей рыбохозяйственного комплекса в процессе выработки системных решений и управления РХК.

3.аМодели целей рыбохозяйственного комплекса, обеспечивающие требуемую семантическую мощность лингвистической и логической форм описания целей.

4.аГрафосемантические модели логически корректных и полных структур целей, совместимых в системе целей рыбохозяйственного комплекса.

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

Научная новизна положений и результатов исследования.

1.аВведены характеристические свойства рыбохозяйственного комплекса как специфического целого, удовлетворяющего требуемой целостности систем класса РХК. Системные связи рыбохозяйственного комплекса и его целей, конкретизированные с помощью данных свойств, позволили определить условия совместимости с системой целей решений по РХК как системе целедостижения.

2.аЗакономерности формирования системы целей рыбохозяйственного комплекса, в которых отражены особенности целей РХК и конкретизированы, по сравнению с известными закономерностями целеобразования, структуры и свойства системы целей, а именно, совместимость логически корректных и полных структур целей как результатов анализа и синтеза целей. Это позволило обосновать модели представления целей и их структур и аксиомы рассуждений о целях.

3.аСформулированы новые принципы формирования системы целей РХК, отражающие такие установки, как взаимообусловленность и единство анализа, синтеза, согласования целей; логическая корректность, полнота системы целей; дополнение способностей ЛПР по ЦП, анализу и синтезу целей возможностями средств автоматизации по выявлению и исправлению некорректных целей; управляемость системы целей. Данные установки способствуют эффективной выработке систем целей.

4.аМодели целей рыбохозяйственного комплекса, с помощью которых, в отличие от существующих моделей, обеспечивается семантическая мощность лингвистической и логической форм описания целей, требуемая для формализованного анализа корректности и полноты системы целей.

5.аГрафосемантические модели логически корректных и полных структур целей, позволившие формализовать условие совместимости С - в системе целей РХК.

6.аКлассификация ситуаций на целях в вырабатываемых ЛПР структурах целей РХК, осуществленная с применением теории понятий и систематизации семантических отношений на понятиях, из которых составлены формулировки целей рыбохозяйственного комплекса. С помощью данной классификации вместо применяемого в системном анализе свойства противоречивости С - введены частные свойства логической некорректности структуры целей и обоснованы типы логических ошибок в СЦ.

7.аСистема рассуждений о целях, разработанная с использованием принципов ситуационного управления и теории семиотических моделей (Д.аА.аПоспелов, Г.аС.аОсипов). Специфика рассуждений о целях обусловила расширение подмножества постоянных аксиом семиотической системы аксиомами логики утилитарных оценок (А.аА.аИвин) и конкретизацию подмножества изменяемых аксиом с помощью закономерностей анализа и синтеза целей РХК. Это обеспечило вывод целей, условия реализации которого определяются семантикой целей и отношений между ними.

8.аМетоды логико-лингвистического моделирования и анализа целей и согласования структур целей РХК, с помощью которых, в отличие от существующих методов анализа и структурирования целей, обеспечивается выявление и исправление субъективных логических ошибок в результатах формирования систем целей ЛПР.

9.аМетодика, технология и прототип программного средства формирования системы целей РХК, позволившие, в отличие от существующего инструментария анализа и структурирования целей, автоматизировать формирование совместимых в системе целей логически корректных и полных СЦ, обеспечивая при этом оценивание структур целей, вырабатываемых ЛПР в процессах ЦП, анализа и синтеза целей, и исправление выявляемых в них субъективных ошибок некорректности и неполноты.

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

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

Реализация и внедрение. Полученные научные и практические результаты внедрены в головных научно-исследовательских и проектно-конструкторских учреждениях рыбной отрасли, региональном РХК, образовательных учреждениях рыбной и смежных отраслей и используются (что подтверждено соответствующими актами):

  • во Всероссийском научно-исследовательском и проектно-конструкторском институте экономики, информации и автоматизированных систем управления рыбного хозяйства (при проведении системного анализа и планировании развития отраслевых промышленных систем, что позволило повысить качество управления РХК за счет синтеза обоснованных систем целедостижения и в среднем в три раза снизить затраты на осуществление плановой деятельности; с 2002 г.);
  • в Государственном научно-исследовательском и проектно-конструкторском институте рыбопромыслового флота (Гипрорыбфлот) (при проведении системного анализа регионального РХК, что позволило повысить качество планов развития РХК за счет формирования логически корректной и полной системы его целей и эффективность аналитической и плановой деятельности за счет сокращения временных и трудовых затрат; 2002Ц2007 гг.);
  • в Комитете по рыбопромышленному комплексу Ассоциации Северо-Запад (при проведении системного анализа проблемной ситуации, формировании системы проблем и системы целей регионального РХК и разработке Программы развития рыбной промышленности г.аСанкт-Петербурга до 2010 года, что способствовало ее обоснованию и созданию предпосылок для инвестирования РХК; 2002Ц2003 гг.);
  • во ФГОУ ВПО Калининградский государственный технический университет (при подготовке магистров по направлению 110900.68 - Водные биоресурсы и аквакультура и информатиков по специальности 080801.65 - Прикладная информатика в экономике; с 2002 г.); в Калининградском институте международного бизнеса (в дисциплине Теория систем и системный анализ; 2002Ц2006агг.); в Санкт-Петербургском государственном университете водных коммуникаций (в дисциплине Представление знаний; c 2008 года).

Исследования по теме диссертации выполнены в рамках НИР (№ГР 01.20.  0006420), поддержаны РФФИ (проекты № 02-07-90463, 2004 г., № 06-07-89242, 2006Ц2008 гг.) и Санкт-Петербургским научным центром РАН (грант 2005 г.).

Апробация работы. Результаты диссертационного исследования докладывались, представлялись и получили одобрение на более чем 30 конференциях и семинарах. Наиболее значимые из них: Международные научно-практические конференции Системный анализ в проектировании и управлении (г.аС.-Петербург, 2009 г., 2007 г., 2006 г., 2005 г., 2003 г.), X Национальная конференция по искусственному интеллекту (г.аОбнинск, 2006аг.), IX Общероссийская конференция Современная логика: проблемы теории, истории и применения в науке (г.аС.-Петербург, 2006 г.), XXXIV Международная филологическая конференция (г.аС.-Петербург, 2005 г.), IV Международная научная конференция по проблемам логико-лингвистического управления динамическими объектами DOLLC2003 (г.аС.-Петербург, 2003аг.), Международная научная конференция Economics and Management (г.аКаунас, 2001аг.), Международные научно-практические конференции KnowledgeЦDialogueЦSolution (г.аВарна, 2003 г., г.аС.-Петербург, 2001 г.; г.аЯлта, 1997 г.), Международные конференции Региональная информатика (г.аС.-Петербург, 2008 г., 2006 г., 2004 г., 2002 г., 2000 г.), Международные научные конференции Балттехмаш-2004 (г.аКа-лининград, 2004 г.) и Инновации в науке и образовании (г.аКалининград,
2003Ц2009 гг.), Всероссийская научно-практическая конференция Информационные и коммуникационные технологии в общем, профессиональном и дополнительном образовании (г.аСветлогорск, 2004 г.), VII научно-техническая конференция по развитию флота рыбной промышленности и промышленного рыболовства социалистических стран (г.аЛенинград, 1989 г.).

Публикации. Научные результаты диссертации изложены в 63 печатных публикациях общим объемом более 80 п.л., в их числе две монографии, 20 статей в отечественных и зарубежных научных журналах (из них 13 - в журналах, рекомендованных ВАК РФ), а также в пяти отчетах о НИР. По результатам исследований по теме диссертации разработаны три учебных пособия и два программных средства.

Структура и объем работы. Диссертация состоит из введения, пяти глав, заключения, библиографического списка источников, включающего 320 наименований и двух приложений. Работа изложена на 396 страницах основного текста, включая 34 таблицы и 51 рисунок.

ОСНОВНОЕ СОДЕРЖАНИЕ РАБОТЫ

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

В первой главе представлены результаты анализа проблемы формирования непротиворечивых и полных систем целей при управлении РХК, выбраны пути ее решения, обеспечивающие обоснование вырабатываемых решений.

С учетом анализа специфики видов деятельности (рис.а1) и окружающей среды (водные биоресурсы и потребители рыбопродукции), непредсказуемость состояний и поведения которой вызывает неопределенность ситуаций, возникающих в рыбохозяйственных комплексах, выделен класс этих систем, осуществлен анализ источников противоречивости, неполноты, несогласованности вырабатываемых по РХК решений, корректировка которых при их исполнении влечет значительные (до 10% от плановых затрат) издержки и снижает эффективность функционирования РХК.

На основе положений о логическом содержании понятий система, структура, лорганизация (В.аА.аСмирнов), о целях как логических основаниях для синтеза систем (А.аД.аХолл) и о соотношении С - как результатов анализа и синтеза целей (Г.аС.аПоспелов) сформулирован постулат об обосновании решений по РХК как системе целедостижения с помощью логически корректной и полной системы целей.

В контексте данного постулата выделена логическая страта описания системных решений, проанализированы компоненты методологии подготовки и принятия таких решений и конкретизирован системно-целевой подход к их выработке в РХК.

Конкретизация осуществлена на основе конструктивного определения системы класса РХК как специфического целого (Δ), удовлетворяющего требуемой целостности (). Установленные с помощью данного определения характеристические свойства РХК выражают системные связи целей и совместимость системы целей и РХК как системы целедостижения. Таким образом, в процессе выработки решений по РХК (рис.а2) выделены фазы формирования системы целей (САС - - согласования, анализа и синтеза целей) и синтеза совместимой с ней системы целедостижения (ССЦД)

Целостность РХК определена следующими четырьмя частными свойствами.

Внешнецелевая целостность РХК () характеризует его целевую обособленность и единство (по конечной цели ) с надсистемой и окружающей средой в фазе САСЦ. С помощью функции , аргумент которой - , объект оценивается как удовлетворяющий данному частному свойству целостности РХК, если его цель совместима с целью , заданной его надсистемой.

Рис. 1. Структурная схема рыбохозяйственного комплекса Российской Федерации

Рис. 2. Этапы выработки системных решений при управлении РХК

Внешнецелесообразная целостность РХК () характеризует совместимость его системных свойств , (где lа - число свойств, а - функциональное, свойство) с конечной целью , задаваемой надсистемой в фазе ССЦД. С помощью функции , аргумент которой - , объект оценивается как удовлетворяющий данному частному свойству целостности РХК, если его свойства , j=1(1)l, совместимы с целью .

Внутрицелевая целостность РХК () характеризует единство структуры его целей как результата анализа целей и целеполагания в фазе САСЦ. С помощью функции , аргумент которой - структура , объект оценивается как удовлетворяющий  данному частному  свойству  целостности  РХК, если  структура его целей логически корректна и полна.

Внутрицелесообразная целостность РХК () характеризует совместимость его структур ,   (структура - это структурная схема целедостижения, а i-е структуры (i=2(1)m) - это соответственно структура функций, организационная и другие структуры РХК) в фазе ССЦД. С помощью функции , аргумент которой - , объект оценивается как удовлетворяющий данному частному свойству целостности РХК, если отвечает требованию полноты его структур и каждая из структур (i=2(1)m)  совместима с .

РХК как специфическое целое задается следующим образом:

(1)

где аЦамножество частей, E ={ei}, i=1(1)n (рыбопромысловые суда, средства лова, порты, судоремонтные верфи, ..., объекты по производству рыбопродукции); а - множество определенных на отношений , , k=1(1)m (при этом множество свойств части ei, определеных в пространстве свойств частей , где - функциональное свойство, и множество свойств отношения , определенных в пространстве свойств отношений , обусловлены внешнецелевой и внешнецелесообразной  целостностью и обусловливают внутрицелевую и внутрицелесообразную целостность РХК).

С помощью функции , аргумент которой определяется по формуле (1), объект оценивается как удовлетворяющий свойству быть специфическим целым класса РХК, если его части совместимы с соответствующими элементами структуры , а их свойства - с элементами структуры .

С помощью функции , аргумент которой - объект, удовлетворяющий введенным частным свойствам целостности РХК и свойству быть специфическим целым класса РХК, указанный объект оценивается как удовлетворяющий свойству быть системой класса РХК, если его целостность и он как целое совместимы.

Истинные значения сформированных ЛПР системы целей и системы ЦД, оцениваемые с помощью функций служат обоснованием логической корректности и полноты этих целей и совместимых с ними решений по РХК.

Результаты анализа существующего аппарата структурирования целей организационных систем показали, что для обеспечения логической корректности и полноты систем целей необходимо конкретизировать ряд его компонентов и осуществить разработку новых компонентов (рис.а3, соответственно блоки 7,а9,а10 и блоки 6,а8).

При определении концепта логически корректная и полная система целей (рис.а3, блок 6) использовано соотношение графов целей и задач (Г.аС.аПоспелов).

Структура целей как результат анализа целей. Иерархическая структура , формируемая в результате анализа целей, обычно представляется в виде -уровневого орграфа : , где а - множество вершин, обозначающих цели i-х уровней структуры , iа=а0(1)(mЦ1); а - множество дуг, обозначающих отношение подчинения между целями.

Представим цели как , где - цель конечная цель РХК (цель верхнего уровня), а а - множество -х целей -го уровня (), , - число целей -го уровня), подчиненных -м целям -го уровня (, а - число целей -го уровня). Множество дуг графа описывается как . Упорядочив уровни графа во времени и положив, что цели каждого уровня выдвигаются в соответствующие моменты времени (iа=а0(1)(mЦ1)), получим граф : отображающий процесс целевого планирования, идущий от вершины в направлении вершин . На рис.а4 приведен пример модели С - в виде графа .

Рис. 3. Структурная схема разработки теории формирования систем целей РХК

  Структура  целей  Структурная  схема  целедостижения

Рис. 4. Соотношение структуры целей и начальной структурной схемы целедостижения РХК

С анализом целей сопоставлены процедуры формирования кустов графа . Куст целей задается в виде двухуровневого графа , где , рассматривается как цель, - как подцели, ; - число подцелей; - множество дуг, выражающих отношение подчинения целью подцелей.

При формировании решаются логические и математические задачи. Логические задачи заключаются в обосновании правильности анализа цели и целеполагания - образования и формулирования подцелей , а в результате - формировании логически корректного и полного куста целей . Матема-

тические задачи состоят в выборе рациональных альтернатив подцелей по критериям эффективности (ресурсоемкости и оперативности) целедостижения.

Структура целей как результат синтеза целей. Сетевая структура целей (структурная схема целедостижения (ССЦ)), сформированная в результате синтеза целей с помощью средств, намеченных в С - соответствующими подцелями, представляется в виде графа , с обратным по отношению к направлением дуг. Вершины в имеют индексы, соответствующие индексам вершин графа , за исключением добавленной начальной вершины (цель начать целедостижение). В граф добавлены также дуги, связывающие с вершинами, являющимися в графе висячими. При этом граф является (m+1)-уровневым.

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

В процессе синтеза графа выделены процедуры, формирующие графы и , которые представляют соответственно начальную () и конечную () ССЦ. В работе введен (m+1)-уровневый орграф , где Цамножество вершин , обозначающих цели i-х уровней, i=m(-1)0, начиная с начальной цели ; аЦамножество дуг, обозначающих отношения между целями, , - инверсия отношения подчинения , - отношение, сопоставленное с дугами, связывающими с вершинами, являющимися конечными в графе . Логическая корректность графа обосновывается логической корректностью графа . Пример графа , соответствующего графу , приведен на рис. 4.

Формирование проводится путем уточнения графа за счет информации, полученной ЛПР между этапами анализа и синтеза целей (см.арис. 2). В результате изменения множества на , а множества на , получаем граф (в частном случае имеет место тождество графов и ).

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

Однако представления С - и СС - в виде графов недостаточны для формирования логически корректных и полных систем целей РХК и оценивания результатов целеполагания, анализа, синтеза целей ЛПР и согласования С - и СС - в системе целей. Для уточнения характеристик методов  (рис. 3, блок 11), обеспечивающих правильность реализации указанных функций и логическую корректность, полноту, совместимость результатов их выполнения ЛПР, а также выявление в них и исправление возможных паралогизмов, осуществлена трехуровневая классификация методов анализа и структурирования целей (классификационные признаки: степени формальности описания целей (I-й уровень), правил анализа целей (II-й уровень), представления С - (III-й уровень); значения признаков: неформальное (1), частично формальное (2), формальное (3)). В соответствии с задачами исследования выбран класс K232 потенциальных методов, характеризующихся частично формализованной семантикой целей (требования к лингвистическим средствам описания целей) и средств представления С - (требования к семантическим представлениям графов и ) и формальными правилами анализа/синтеза целей (требования к методам анализа логической некорректности и неполноты СЦ, вырабатываемых ЛПР).

Таким образом, в работе установлена необходимость интеграции лингвистических и логических средств для формирования систем целей РХК, объясняемая, с одной стороны, невозможностью алгоритмизации целеполагания (вследствие его зависимости от систем ценностей, биопрограмм, интуиции, эмоций ЛПР и других трудно формализуемых факторов) и синтеза целей (вследствие его зависимости от внеязыковых средств), а с другой - небольшим числом базовых стратегий анализа/синтеза целей (порядка десяти) при значительном числе их комбинаций в применяемых ЛПР производных стратегиях, потенциально большими комбинационными возможностями естественного языка (ЕЯ), проявляющимися в формулировках целей, необходимостью итеративной обработки целей в процессах их анализа и синтеза, ЦП и ЦД. Все это делает необходимым семиотическое моделирование целей РХК. Дополнительными аргументами к его использованию явились динамичность и непредсказуемость спроса на рыбопродукцию и состояний сырьевой базы РХК (рис.а3, блоки 2, 3), обусловливающими ситуационное управление РХК.

Показано, что семиотическое моделирование целей заключается в применении графосемантических и логико-лингвистических моделей соответственно структур целей и рассуждений о целях для обеспечения логической корректности и полноты систем целей, вырабатываемых ЛПР.

На основе приведенных соображений разработана концептуальная модель формирования систем целей РХК (рис.а3, блока8). Ее компоненты: ЛПР, исполнители решений, логико-лингвистические, графосемантические и математические модели, методы и средства, внешние и внутренние интерфейсы (рис. 5). Внешние интерфейсы: И11аЦаЛПР со средствами логико-лингвистического моделирования целей (на основе языка описания целей L); И21аЦаЛПР с формирователем систем целей (на основе представлений в виде семантических графов , , и языка L); И23аЦаисполнителей решений с формирователем систем целей (на основе представлений , и ЕЯ-формулировок целей); И31аЦаЛПР со средствами выбора целей (входной язык соответствующего программного средства (ПС), например, Expert Choice); И41аЦаЛПР со средствами планирования ЦД (язык соответствующего ПС, например, Spider Project); И43аЦаисполнителей решений со средствами планирования ЦД (выходной язык соответствующего программного средства).

Рис. 5. Концептуальная  модель  формирования  системы  целей  РХК

Свойства, истинностные значения которых позволяют оценивать систему целей и процесс ее формирования на логической страте (рис.а3, блока9) сведены в табл. 1.

Таблица 1

Свойства процессов и результатов решения логических задач формирования систем целей

Обозначение свойства

Наименование свойства

Правильность выполнения i-го этапа формирования систем целей

огическая корректность результатов i-го этапа формирования систем целей

Правильность выполнения N (Nа2) этапов формирования систем целей

огическая корректность результатов N (Nа2) этапов формирования систем целей РХК

Между данными свойствами имеют место следующие каузальные связи (неполной, или частичной, причины), обозначенные через I, причем считается, что указанные связи обладают свойства импликации:

I

(2)

(3)

{( I)}I( I).

(4)

В качестве основного типа критериев оценивания соответствующих показателей (истинностных значений указанных свойств) использованы критерии пригодности. Так, критерий оценивания правильности процесса выполнения i-го этапа формирования системы целей формулируется следующим образом:

(5)

Критерий оценивания правильности выполнения N этапов процесса формирования систем целей РХК формулируется следующим образом:

(6)

При решении логических задач формирования системы целей РХК использован также критерий полноты соответствующих результатов (значения свойства  полноты оцениваются с точностью до базовых знаний о целях систем класса РХК).

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

Основываясь на концептуальной модели формирования систем целей и введенных показателях, изложено содержание этапов выработки решений по РХК (рис. 2), включая этапы формирование системы целей (рис.а3, блока10).

Во второй главе изложены теоретические основы формирования логически корректных и полных систем целей РХК.

В результате анализа представлений о целях деятельности организационных систем производственной сферы, выработанных в философии, психологии, лингвистике и логике, и эмпирического материала целей РХК сформировано системное представление о целях и процессах их анализа и синтеза, позволившее конкретизировать применительно к РХК и дополнить новыми известные закономерности целеобразования, выбрать и обосновать категорийный, понятийный, реляционный базисы и синтаксическую структуру описания целей, а также тип моделей (аксиологические) для анализа систем целей, формируемых ЛПР.

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

Первая группа включает следующие закономерности целеполагания и целедостижения: 1)аобразования и формулирования целей; 2)аконтекста в формулировке цели; 3)аединства целей в процессах ЦП и ЦД.

Закономерность образования и формулирования целей отражает процесс ЦП в РХК с учетом объективных и субъективных факторов (рис. 6).

Развитие потребности 

Надсистема       интерес

Рыбохозяйственный комплекс

Потребность

Цель на ЕЯ

Окружающая среда Мотивационный поиск

Рис. 6. Структура процесса целеполагания в РХК

В отличие от объективных потребностей цели субъективны, зависят от многих взаимосвязанных, недостаточно изученных и потому сложных для анализа факторов: от систем ценностей, интуиции, эмоций, особенностей психики ЛПР, его опыта, знаний о предметной области и языке целей, от степени владения данным языком. Поэтому результаты целеполагания могут оказаться ложными по отношению к обусловившим их потребностям. С другой стороны, из-за сложности и неопределенности цели по-разному истолковываются специалистами, осуществляющими ЦП и ЦД. Поэтому (психологически) правильное целеобразование и (лингвистически) правильное формулирование целей, а также правильное их восприятие и корректность результатов данных процессов могут быть достигнуты путем разработки формализованных средств описания целей, обеспечивающих однозначную их интерпретацию при требуемой семантической мощности соответствующего языка.

Такие средства, в частности, должны обеспечивать различение типов целей РХК (к которым отнесены (рис.а7): тип 1а - цель функционирования (лтиражируемый предмет); тип 2а - цель развития, имеющий два подтипа: 2.1.алновый предмет; 2.2.алмодифицированный предмет) и классов целей РХК (производственные, экономические, управленческие, экологические, научно-технические и социальные).

Закономерность контекста в формулировке цели выражает связь ЦП и ЦД и конкретизирует действующий в ЕЯ закон семантического согласования результатов данных процессов. Закономерность проявляется в наличии в формулировках целей частей, играющих роль ближайшего контекста целей, повышающих степень правильности их интерпретации, анализа, синтеза и являющихся ссылками: на результаты действий, в которых будут использоваться намеченные целями будущие средства (лцели-средства), или на средства осуществления намеченных целями будущих результатов действий (лцели-результаты).

Закономерность единства целей в процессах ЦП и ЦД основывается на системном представлении о данных процессах, устанавливает их взаимообусловленность и общность целей как результатов ЦП и ЦД, что проиллюстрировано на рис. 8.

  ЦП

  Надсистема         интерес средства

Рыбохозяйственный комплекс

Потребность

  Цель на ЕЯ

Результат

Окружающая среда          ЦД

Рис. 8. Взаимообусловленность процессов и результатов ЦП и ЦД в РХК

Вторая группа закономерностей включает следующие закономерности анализа и синтеза целей: 1)абазовых стратегий анализа целей; 2)аправильности анализа целей; 3)аполноты структур целей; 4)авзаимообусловленности процессов анализа и синтеза целей; 5)асовместимости С - и СС - как результатов анализа и синтеза целей в системе целей.

Закономерность базовых стратегий анализа целей основывается на системном представлении о целях и процессах их анализа, результатах анализа методов формирования структур типа дерева целей, эмпирическом материале, полученном в процессе систематизации стратегий анализа целей в производственной сфере, а также на приведенных выше закономерностях ЦП и ЦД (рис.а9).

Рис. 9. Базовые стратегии анализа целей рыбохозяйственных комплексов

Закономерность результатЦсредство выражает каузальную связь цели, намечающей будущий результат действия, и цели, намечающей средство его осуществления (средство является частичной причиной осуществления результата).

Если после целеполагания не возникает проблемы средств достижения цели (лцели-результата), процесс анализа целей завершается. В противном случае необходимо осуществление указанных средств (лцелей-средств):

представляющий ценность будущий предмет как результат действия РХК I→
представляющий ценность будущий предмет как средство осуществления
результата действия РХК.

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

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

Если анализируемая цель сложна для установления средств ее достижения, то до применения стратегии результатЦсредство используются другие стратегии анализа целей (см.арис.а9). В С - базовые стратегии анализа целей сопоставлены с базовыми отношениями, при которых строгий порядок связанных целей i-го и (i+1)-го уровней графа целей формируется отношениями подчинения (Rап), с которыми сопоставлены имена: результатЦсредство (I1), лцелоеЦчасть (I2), родЦвид (I3), системаЦаспект_системы (I4), рангЦсубранг (I5), а частичный порядок вершин (i+1)-го уровня в данных кустах целей - отношениями Rасп, им соответствуют имена сопоставленность средств (I6), сопоставленность частей (I7), сопоставленность видов (I8), сопоставленность аспектов (I9), сопоставленность субрангов (I10). При этом на безальтернативных подцелях должны быть выполнены отношения Rапл, которым соответствуют имена: полнота средств (I11), полнота частей (I12), полнота видов (I13), полнота аспектов (I14), полнота субрангов (I15).

Закономерность правильности анализа целей отражает логические связи целей в СЦ, условиями существования которых являются отношения подчинения целей Rап и сопоставленности соподчиненных подцелей Rасп, и устанавливает признаки правильных рассуждений о целях как результатах такого анализа: определенность значений понятий, использованных в формулировках целей, смысла суждений о целях в соответствии с принципом исключенного третьего; последовательность рассуждений, определяемых импликативными связями исходных суждений о целях (анализируемые или уже выведенные и, значит, истинные цели) с заключительными суждениями о целях (точнее, подцелях), или следствиями, и требующих ненарушения этапности рассуждений (отсутствия в них прерывности и несвязуемости); доказательность рассуждений о целях, состоящую в обосновании подцелей, в частности, посредством выявления отношений подчинения Rап (между целями и подцелями) и сопоставленности Rасп (подцелей), определяемых знаниями о предметной области.

Закономерность полноты С - отражает полноту совокупности подцелей в каждом кусте соответствующего графа целей, определяемую отношениями полноты Rапл, для которых в имеется соответствие в знаниях о предметной области.

Закономерность взаимообусловленности анализа и синтеза целей отражает необходимость использования стратегий синтеза для обеспечения правильности данного процесса, выражаемой импликативными связями лцелей-средств и лцели-результата (частями/видами/аспектами/субрангами результата как целого/рода/ системы/ранга), обратных стратегиям анализа, условиями существования которых являются отношения обратного подчинения  целей.

Закономерность совместимости С - и СС - как результатов анализа и синтеза целей в системе целей отражает семантическую согласованность целей конечных СС - и СЦ, что выражается в: покрытии множества вершин графа множеством вершин графа , соответствии порядка вершин указанных графов и совместимости целей фрагментов графа и соответствующих кустов графа .

В качестве основы принципов формирования и достижения систем целей использованы принципы системного анализа целей, логический аспект которых конкретизирован с помощью закономерностей формирования систем целей, к которым добавлены установки на автоматизацию данного процесса (принцип 3) и использование управляемости системы целей (принцип 4) и, как следствие, рыбохозяйственным комплексом как системы целедостижения (рис.а10).

В третьей главе приведены модели и средства описания целей, представления их структур, преобразования форм описания целей: лингвистическаяа↔алогиче-скаяа→аграфосемантическая, - и методы логико-лингвистического моделирования и анализа целей и формирования систем целей РХК.

В качестве средства рассуждений о целях для формирования логически корректных и полных систем целей в соответствии с принципами ситуационного управления выбрана семиотическая система (логико-лингвистическая модель) класса SW1, построенная на основе идеи возможных миров и теории частично упорядоченных алгебраических систем (Г.аС.аОсипов). Реализация семиотической системы осуществлена с помощью аксиом логики утилитарных оценок (А.аА.аИвин) и закономерностей формирования систем целей, что позволило оценивать утилитарную ценность лцелей-средств (намечающих средства реализации операции) по отношению к абсолютной ценности лцели-результата (намечающей результат операции),

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

Принципы системного анализа целей Принципы формирования системы целей

Рис.а10. Соотношение принципов системного анализа целей и формирования системы целей

В качестве теоретических оснований лингвистической формы представления целей использованы концептуальные основания, такие как семантическое поле цели (Н.аД.аАрутюнова) и категорийная триада вещьа(предмет)ЦлсвойствоЦлотноше-ние (А.аИ.аУемов), а в качестве модельных - фреймовое представление цели (цель с ближайшим контекстом) и фенотипическая модель цели (собственно цель). Семантико-синтаксические основания предложения-цели (фреймовое представление цели) - синтаксические схемы описания цели в русском языке и универсальный семантический код, кодирующий функциональную семантику языковых знаков, выражающую универсальные роли компонентов действий (В.аВ.аМартынов). Семантико-синтаксические основания фразы предложения-цели (слот фрейма, описывающего собственно цель): базовые и производные (определенные свойствами установленных видов (фенотип)) предметы.

В качестве языка описания указанных моделей целей разработан двухуровневый язык L, реализуемый посредством КС-грамматик. На рис.а11 приведены основные составляющие словаря языка (базовые понятия, из которых по правилам КС-грамматики строятся термы-1 (<роль><базовый предмет>) и термы-2 (<вид свойства><базовое свойство>[[<базовое свойство>]Е]), образующие производные понятия - фразы предложения-цели).

Язык описания фраз предложений-целей (в частности, целевых, т.е. собственно целей) задается следующим образом:

(7)

гдеааЦа-я цепочка знаков, реализующая фразу предложения-цели с ролью ; аЦатерминальный алфавит, где а - множество базовых предметов ; - множество базовых свойств ; а - множество ба-

зовых единиц измерения ; а - множество базовых значений ; а - множество ролей ; а - множество видов свойств ; а - множест-

во, включающее имена отношений согласования терма-1 и термов-2 во фразе ; а - одноэлементное множество, включающее знак целевой модальности (ценностное отношение) G; аЦанетерминальный алфавит; ПФаЦаправильная фраза (аксиома грамматики), ПФ; аЦаправила образования из терма-1 и термов-2; .

Рис. 11. Основные классы базовых понятий языка описания целей

Язык описания предложений-целей задается так:

(8)

где Цаалфавит, , а - множество ролей ; а - множество фраз ,  принадлежащих  языку (7);  а - одноэлементное множество, включающее имя отношения строгого порядка между фразами предложения-цели; - множество, включающее имена отношений прагматико-семантической согласованности фраз предложения-цели; аЦанетерминальный алфавит, аЦаправильное предложение (аксиома грамматики), ; аЦаправила образования , .

Пример описания на языке L цели создать автоматизированную линию АЛ-10 производительностью 50 бан./мин для консервирования рыбы.

Описание фраз предложения-цели на языке : а - <а S3 линия СХ1 автоматизированная; СФ консервирование; СИ АЛ-10; СЗ производительность бан./мин 50; СЗ стадия жизненного цикла . созданиеа>, а - <аS2 рыбаа>, а - <аO0 рыба СХ2 консервированнаяа> (составленных из термов-1: - S3 линия, - S2 рыба, - O0 рыба, - и термов-2: а - СФ консервирование; а - СХ автоматизированная; а - СИ АЛ-10; а - СЗ производительность бан./мин 50; - СЗ стадия жизненного цикла . создание). Описание данного предложения-цели на языке : <<а S3...><S2...>< O0...>>.

В итоге имеем следующее описание цели на языке L:

<а<а S3 линия СХ1 автоматизированная; СФ консервирование; СИ АЛ-10; СЗ производительность бан./мин 50; СЗ стадия жизненного цикла . созданиеа>
<аS2 рыбаа>а<аO0 рыба СХ2 консервированнаяа>а>.

На рис. 12 приведена схема перехода от формулировки цели к ее L-описанию.

Рис. 12. Схема перехода от ЕЯ-формулировки цели РХК к описанию на языке L

Для представления систем целей РХК и оценивания результатов их выработки ЛПР с помощью показателей , и определены соответствующие графам и графосемантические модели С - и ССЦ: и .

Указанные модели заданы с помощью следующих семантических отношений: 1)асемантического подчинения целью цели (обозначено через или ) как отношение , с элементами графика которого сопоставлены имена Igа∈аIап (g=1(1)nп, где nп - число имен); 2)асемантической сопоставленности целей и (обозначена через или ) как отношение , с элементами графика которого сопоставлены имена Igа∈аIасп  (g=1(1)nсп, nсп - число имен). Указанные отношения обладают свойствами соответственно строгого и нестрогого порядка.

В соответствии с отношением древесного порядка (Ю.аИ.аШрейдер) на множестве целей С графа , определен семантический древесный порядок, условиями выполнения которого являются: 1)асемантическое подчинение целями целей , т.е. ; , ∈С; 2)асемантическая сопоставленность целей ,,Е,, подчиненных цели (сравнимость по основанию анализа подчиняющей цели)  т.е. из , ,Е, следует ... Е; 3)аво множестве целей C, существует наименьший элемент , который семантически подчиняет элементы ∈аС (i≠0).

Семантический граф целей определен как конечный m-уровневый орграф , , на вершинах с∈С которого, сопоставленных с целями, описанными на языке L, задан семантический древесный порядок, с помощью которого обеспечивается сопоставленность дуг Uj∈U с семантическими отношениями подчинения .

В качестве условия вывода из целей, сопоставляемых с вершинами кустов графа , i-х подцелей (i=1(1)n, где n - число подцелей) определено отношение непосредственного семантического подчинения целей . С выводимостью целей связана логическая корректность графа по высоте

Условием вывода из первой подцели куста i-й подцели, i=2(1)l, определена семантическая сопоставленность первой и i-й подцели. С указанной выводимостью целей связана логическая корректность графа по ширине

В качестве условия вывода полных наборов подцелей в кустах графа из l сопоставленных подцелей определено n-арное семантическое отношение полноты , выражающее полноту n сопоставленных подцелей (n>l) в соответствии со стратегиями анализа цели куста . Обоснованием полноты служит соответствующий фрагмент знаний о предметной области. С выводимостью полных наборов  i-х подцелей, i=1(1)n, связана полнота уровней графа , образуемых множествами из n подцелей соответствующих кустов .

Семантический граф целей , характеризующийся свойствами и , считается логически корректным. Логически корректный граф , характеризующийся свойством , считается полным (в указанном смысле).

В результате задания на вершинах C полного (в указанном смысле) графа целей отношения значимости и исключения из него наименее значимых в текущей ситуации вершин (целей), составляющих подмножество EX, EX={cj}, EXа⊂аC, инцидентных им дуг и тех ветвей графа , которые утратили с ним связи в результате данных действий, имеем уточненный семантический граф целей .

Семантический граф начальной СС - () является результатом преобразования графа , которое формирует обратный семантический древесный порядок на множестве целей где - одноэлементное множество, состоящее из вершины , связываемой с вершинами, которые в являются висячими. Уточнение графа целей в результате синтеза целей обеспечивает получение семантического графа целей .

Семиотическая система рассуждений о целях задается восьмью компонентами, первые четыре из которых определяют формальную систему F, а следующие четыре - механизм ее изменения в процессе функционирования :

(9)

где аЦамножество основных символов (в частности, предметных переменных fij для j-х фраз prpi-х предложений-целей, переменных Is для имен семантических отношений на целях в СЦ, n-местных функциональных Fk, и предикатных Pk констант, n0); аЦамножество синтаксических правил, применение которых к элементам из позволяет получать множество правильно построенных формул (ППФ); аЦанекоторое подмножество множества ППФ; аЦамножество правил вывода (семантические правила), применение которых к элементам из A и выведенным ППФ обеспечивает получение новых ППФ; аЦамножества правил, применение которых соответственно к множествам обеспечивает изменение F.

Множество A является компонентом базовых знаний о целях в системе S, Aа=а1Aа∪а2A, где 1Aа - логические законы, выражающие постоянные, не подверженные изменениям знания о мире;а2Aа - переменные, изменяющиеся знания о мире, в которых выделены: 2A1а - подмножество выражений, истинных в некоторых состояниях мира, логические значения которых зависят от такта времени (элементы данного подмножества называются фактами состояний мира); 2A2а - подмножество выражений импликативного вида, элементы которого называются правилами переходов, или смены состояний системы S.

При фиксированных T и B и Fiа=1Ai, где iа2A1аЦафакты состояния семиотической системы S, помеченного тактом времени i, и Pа - правило вывода целей, будем, следуя теории систем класса SW1, называть элементарной формальной подсистемой системы S рассуждений о целях замыкание Fi* относительно правила P. Для подмножества множества правил смены состояний а (2A2), условия которых оказались выполнены в элементарной формальной подсистеме Fi*  будем называть ((Fiаа)**аi+1)*, где л** означает замыкание относительно применения правил , формальной подсистемой системы S рассуждений о целях и обозначать через Fi+1. Если Fiа - формальная подсистема семиотической системы S, то формальную подсистему Fi+1 системы S, такую что Fi+1а=а((Fiа)**а)*, будем называть достижимой из формальной подсистемы Fi. Будем считать, что Fj достижима из Fi тогда и только тогда, когда (Fi**2A1j)*а=а(Fj**)*, где 2A1j - множество фактов подсистемы Fj.

Таким образом, в формальных подсистемах Fi, i=1(1)n, системы S рассуждений о целях реализована дедуктивная теория, которая частично изменяется при переходе S из одного состояния в другое, осуществляемом посредством механизма , , (при этом меняется язык, дедуктивная система, аксиомы собственной части S). Указанные изменения определяются ситуацией на целях РХК и обеспечивают перестройку системы S в процессе ее функционирования.

Особенностью семиотической системы рассуждений о целях по сравнению с системами класса SW1, является выделение из нее области определения предметных переменных и представление ее в виде модели тезаурусного типа , что обеспечивает открытость и простую настраиваемость S на конкретный РХК.

В модели выделены два компонента: , где аЦасловарь ролевых предметов и видовых свойств; аЦасловарь семантических отношений, определяющих семантический древесный порядок на элементах словаря .

В качестве множества постоянных аксиом 1A системы S рассуждений о целях использовано множество аксиом GuаHu-D3-логики утилитарных оценок, включающее полное множество аксиом пропозициональной логики 1A0 и множество 1A1, так что 1A= Множество  , =включает подмножества аксиом  логической  теории  изменения (p=1(1)5), частичного причинения  (p=6(1)11) и абсолютных

оценок. (p=12(1)14).

В соответствии с определениями DG3 и DH3 GuHu-D3-логики установлен смысл утилитарной положительной (Gu) и отрицательной (Hu) ценности объектов, описываемых фразами предложений-целей, относительно абсолютной(G) и
отрицательной (H) ценности объектов, описываемых фразами (точнее, суждениями о целях):

DG3.аGuа(\а)а=аDfаGа((⇒\ Υ) ∨ (⇒Υ));

DH3.аHu(\а)а=аDfаHа((⇒\ Υ) ∨ (⇒Υ)).

Согласно DG3 объект, описываемый фразой предложения-цели и интерпретируемый как простое суждение в составе сложного заключительного суждения о соответствующей целевой ситуации является утилитарно положительно ценным в процессе анализа объекта, описываемого фразой предложения-цели и интерпретируемого как простое суждение в составе сложного исходного суждения о целевой ситуации, в том и только том случае, когда объект является абсолютно ценным и способствует осуществлению или сохранению . Согласно  DH3  объект  ,  является утилитарно отрицательно цен-

ным в том и только том случае, когда - абсолютно неценно и способствует осуществлению или сохранению .

Множество 2A системы S (как и системы класса SW1) включает аксиому

\аU(аfj)а∨а∃ fj U(аfj),

смысл которой заключается в том, что для объекта, описываемого фразой fj предложения-цели , и выражения U(аfjа), в котором fj не связана кванторами, имеет место либо ложное выражение U(аfjа), либо истинное выражение ∃ fj U(аfjа),

а также следующие основные схемы аксиом:

2A1.1.а; 2A1.2.а;

2A1.3.а∃∃Е∃∧∧Е∧

2A2.аF1:\ (A2а∧\ A1), F2:\ (A3 ∧\ F1), ааЕ, ааFm:\ (Am+1 ∧\ Fm-1),

гдеаа - форма суждения о целевой ситуации, свернутая в определенное на фразах цели , , семантическое отношение с именем , - множество имен {лбыть целевым результатом, средствоЦцелевой результат, результатЦцелевой результат,  быть целевым средством,  средст-

воЦцелевое средство, результатЦцелевое средство, лцелевое средствоЦцелевое

средство}; а - форма суждения о целевой ситуации, свернутая в определенное на фразах цели и ее подцели , цели и подцелей , подцелей семантическое отношение подчинение, соподчинения, сопоставленности и полноты куста семантического графа целей ; Ai, i∈1(1)(m+1) - аксиомы вида 2A1.j, .

Элементам множества 2A присуще свойство ситуативности. Цель , исходная для каждого шага анализа целей (и формирования куста графа ), представляется схемой 2A1.1. Истинность формулы, построенной по данной схеме, постулируется тем, что выражаемая ею целевая ситуация уже определена в РХКа - установлена на текущий плановый период директивно или выведена системой S. Формулы, построенные в соответствии со схемой 2A1.2, интерпретируются как семантические отношения: подчинения анализируемой целью (точнее, ее фразой ) подцели (точнее, фразы , ) (имена отношенийа - ); сопоставленности подцелей (фраз , ) с подцелью (фразой ), которые подчинены цели (имена данных отношений согласованы с именами ); полноты сопоставленных подцелей ,,Е,,Е, (фразы ) (имена отношений  полноты  согласованы с именами )  и являются  истинными,  если

указанные отношения имеют место в соответствии со знаниями об РХК. Формулы, построенные по схеме 2A1.3, интерпретируются как совместимые семантические отношения подчинения, сопоставленности и полноты целей.

Указанные формулы описывают закономерности анализа целей в РХК и становятся аксиомами при подстановке в них таких имен , , семантических отношений, индексы которых соответственно s1,Е,sk,Е,su (k∈1(1)u), su+1,Е,sk,Е,sv (k∈(u+1)(1)v), su+1,Е,sk,Е,sw (k∈(v+1)(1)w) образуют определяемые моделью MTz фиксированные в предметной области и совместимые наборы.

В формулах, построенных по схеме 2A2, утверждается ложность результата конъюнкции формул вида 2A1.j, j∈1(1)3, при ложности одного из конъюнктов, имеющих место на целях, выведенных системой S в предыдущем состоянии.

Посредством формальной подсистемы Fi семиотической системы S рассуждений о целях осуществляется последовательный вывод (обозначен знаком У|⇒Ф) из цели cα формируемого куста графа подцелей , ,Е,,.., в двух направлениях: в глубину и ширину:

cα|⇒; cα|⇒; |⇒;Е;асα|⇒; |⇒,

где w - число выводов, определяемое числом m подцелей, содержание которых удовлетворяет семантической полноте формируемого куста целей, wа=а2m.

Схема вывода целей, обеспечивающего логическую корректность и полноту формируемых в данных процессах кустов целей графа определена в соответствии с теорией семиотических моделей класса SW1:

Е
Е
F1, F1⊃F2а(D1, D2,Е, Dn)|⇒F2а(D 1, D 2,Е, D n)

(∈Φ, Цафраза rq, rg предложения-цели prp1, prpi соответственно, интерпретируемая как простое суждение о целевой ситуации, i∈2(1)p, q∈1(1)n; Фа - множество фраз предложений-целей, допустимых в языке L (точнее, в); Di обозначают либо =, либо =Ftа(), , где lа - число базовых закономерностей анализа целей в рыбохозяйственном комплексе, имеющих место в текущей целевой ситуации (в некотором возможном мире системы S )).

Полная семантика системы рассуждений о целях построена (как и в системах класса SW1) на основе модифицированной модели Крипке K, K=(K1,аK2), первый компонент которой определяет внутреннюю (постоянную) семантику системы S, а второй - задает внешнюю (переменную) семантику, определяемую предметной областью.

В работе доказаны следующие утверждения.

Утверждениеа1. Система S рассуждений о целях обеспечивает логическую корректность целей , ,...,,Е, как результатов анализа цели .

Утверждениеа2. Система S рассуждений о целях обеспечивает полноту целей , ,...,,Е, как результатов анализа цели .

Для анализа корректности С - и ССЦ, формируемых ЛПР, и исправление выявляемых в них ошибок разработан метод логико-лингвистического моделирования и анализа целей, реализуемый в процессе функционирования S. Для повышения эффективности анализа осуществлена классификация целевых ситуаций в РХК.

Указанная классификация основана на результатах проведенной систематизации унарных и бинарных семантических отношений на фразах предложений-целей. Классы макро- и микроситуаций на множестве целей C (вершины куста графа целей , C={ct}, tа=а1(1)(m+1)), описанных на языке L, определены, исходя соответственно из фреймовой и фенотипической форм представления целей.

Ситуация M на цели ct, определена как множество семантических отношений на фразах и парах фраз данного предложения-цели. Каждому из двух подмножеств M множества M ситуаций, выражающих семантику лцели-результата или лцели средства поставлен в соответствие класс целевых ситуаций ℜ i∈{1,2}, на предложении-цели ct, tа=а1(1)(m+1).

Класс макроситуаций ℜ на <ас1,ас2а> определяется в соответствии с классами ℜ и ℜ на этих целях, так что на <ас1,ас2а> возможны четыре класса макроситуаций.

Микроситуацию  fM на парах целей <ас1, с2а> составляет определяемое фенотипической моделью цели множество бинарных семантических отношений между парами базовых или производных предметов с одинаковой ролью и их свойств одного вида. Классификация микроситуаций fM на парах целей <ас1, с2а> осуществлена по признакам сравнимости, совместимости целей, направлению их связей и их непрерывности относительно соответствующей топологии предметной области.

Определены следующие классы микроситуаций, распознавание которых осуществляется по правилам обобщения ситуаций, используемым в ситуационном управлении: fM→1ℜ (изолированность цели с2); fM→2ℜ (эквивалентность целей с1 и с2); fM→3+ℜ (подчинение обратное непрерывное);
fM→3-ℜ (подчинение обратное прерывное); fM→4+ℜ (подчинение прямое непрерывное); fM→4-аℜ (подчинение прямое прерывное); fM→5ℜ (перекрещивание целей с1 и с2); fM→6ℜ (сопоставленность целей с1 и с2); fM→7ℜ (несопоставленность целей с1 и с2); fM→8ℜ (противоречие  целей с1 и с2); fM→9ℜ (противоположность целей с1 и с2, где  fM (i=1(1)9) - множество описаний i-х микроситуаций).

огически корректными на парах целей кустов графа целей являются ситуации классов 4+ℜ и  6ℜ. Ситуациям классов kℜ, k∈{1, 2, 3-, 3+, 4-, 5, 7, 8}, поставлены в соответствие основные типы логических ошибок в СЦ. Дополнительно введены два класса микроситуаций на сопоставленных целях <ас1, с2,Е, сmа> в кустах , учет которых обеспечивает проверку полноты наборов подцелей<ас1, с2,Е, сmа> в кустах графа целей : fM→10ℜ (полнота сопоставленных подцелей); fM→11ℜ (неполнота сопоставленных подцелей).

Дополнительно к основным типам логических ошибок, определенным на (m+1) целях, из которых формируются кусты целей графа , заменяющим принятое в практике управления РХК и толкуемое содержательно понятие противоречивости СЦ, введен тип ошибки полноты целей, соответствующий классу 11ℜ.

В основном состоянии , i,j=1(1)2, системы S рассуждений о целях куста (класс макроситуаций на подчиненных целях и (l-1)-го и l-го уровней графа соответственно; класс макроситуаций на сопоставленных целях и l-го уровня) выделены сечения и , с которыми сопоставлено основное состояние класса макроситуаций на полных наборах подцелей l-го уровня графа . На рис.а13 приведен граф переходов системы S из основных состояний в другие основные состояния.

Рис. 13. Граф переходов семиотической системы S  из основного в основное состояние

В работе приведены схемы специальных аксиом смежных состояний семиотической системы S (в которых исправляются соответствующие типы субъективных логических ошибок и неполноты целей) для основного состояния (классы , и макроситуаций и соответствующие классы , и микроситуаций на парах и m-ках целей).

Приведен метод согласования логически корректных и полных С - и ССЦ, обеспечивающий их совместимость в системах целей РХК.

В четвертой главе изложены методика и технология автоматизированного формирования систем целей РХК.

Методика формирования систем целей РХК представлена в виде обобщенных процедур, обеспечивающих правильное выполнение данного процесса, логическую корректность и полноту его результатов. Приведены различные схемы анализа проблем и целей, применение которых обусловлено характеристиками текущей ситуации в РХК. Выделены и описаны группы процедур (методики): выявления и анализа проблем, способствующие объективированию субъективных по своей природе целей; выдвижения и анализа целей; оценивания степени логической корректности и полноты СЦ; формирования ССЦ; согласования С - и СС - в системе целей. Конкретизированы правила описания целей, стратегии их анализа, показатели логической корректности С - и типы логических ошибок и неполноты С - (структура целей до и после анализа и компоненты представляющего ее графа помечены соответственно одним и двумя правыми верхними штрихами, общее число ошибок анализа целей обозначено через N).

В процедуре оценивания показателей логической корректности и полноты С - используются формулы (11)Ц(19).

(11)

где Niа - число ошибок i-го типа.

kп = N/(s+q),

(12)

где sа - минимально возможное число петель в СЦ, равное числу ее элементов C,

q - число связей (дуг графа ) с ориентацией, обратной по отношению к СЦ,

kи=N1/c;

(13)

kд=N2/q;

(14)

kо=qo/q,

(15)

где qo - число связей (дуг графа ) с ориентацией, обратной по отношению к СЦ.

kн∈{},

(16)

где kнеп - коэффициент непрерывности в е-й ветви С - (е=1(1)р, где р - число ветвей графа ).

kнe= tpа/аtнеп,

(17)

где tpа - число уровней графа в е-й ветви СЦ;

tнепа - число уровней графа в е-й ветви С - в соответствии с базовыми знаниями о предметной области.

kл∈{},

(18)

где kлк - коэффициент полноты подцелей в анализируемом кусте целей СЦ.

Kлка=аPp/Pи,

(19)

где Pp Цачисло подцелей в анализируемом кусте целей СЦ,

PиаЦачисло подцелей в соответствующем кусте целей С - в соответствии с базовыми знаниями о предметной области.

В табл. 2 приведены полезные эффекты, получаемые в результате исправления определенных в данной методике типов логических ошибок и неполноты СЦ.

В работе дано укрупненное описание технологического процесса автоматизированного формирования систем целей РХК, обеспечивающего эффективную реализацию указанных процедур и регламентирующего группы субъектов, выполняющих операции и контролирующих корректность их результатов, а также используемые в них методы и средства.

Приведены функции, состав, структура и интерфейсы И11, И21, И23 (см. рис.а5) программного средства (ПС) формирования систем целей РХК. Данное ПС включено в программное средство Анализ и синтез систем целедостижения, однако разработано как автономная программа и обеспечивает оперативное выявление и исправление допускаемой ЛПР логической некорректности, неполноты и несовместимости С - и СС - (диалоговый режим), а также анализ сформированных систем целей (пакетный режим). Приведены логическая структура и состав информационной базы автоматизированной системы формирования систем целей РХК, требуемой для работы указанного ПС и технологическая схема анализа и синтеза целей.

В пятой главе приведены и исследованы результаты использования методики и информационно-программных средств формирования систем целей РХК при: анализе исполняемых комплексных целевых программ (КЦП) развития рыбной отрасти; системном анализе регионального РХК и формировании программы его развития.

При решении первой задачи были проанализированы целевые разделы КЦП: ПЕЛАГИАЛЬ (развитие океанического рыболовства и обусловливаемых им видов рыбохозяйственной деятельности), ПРЕМИКС (развитие рыбоводства во внутренних водоемах страны), РЕМОНТ (развитие сферы услуг по обслуживанию судов флота рыбной промышленности), АСУОР (совершенствование управления рыбохозяйственным комплексом страны). Объекты анализа - пятиуровневые структуры целей с числом элементов от 128 до 264 (число проанализированных целей - 556).

Сравнение естественно-языковых и соответствующих L-описаний целей выявило близость характеристик информативности (семантической мощности) и компактности языка L и используемого при формулировании целей подмножества ЕЯ, что свидетельствует об эквивалентной выразительности языка L и указанного подмножества ЕЯ.

На рис.а14Ц16 приведен пример анализа и синтеза  целей ФПП 01.04 КЦП ПЕЛАГИАЛЬ с использованием программы Анализ целей и методики анализа и синтеза целей РХК.

Оценки результатов диалогового анализа целей КЦП ПЕЛАГИАЛЬ, ПРЕМИКС, АСУОР с использованием ПС Анализ и синтез систем целедостижения приведены в табл. 3. Указанные оценки показывают, что С - отличаются от С - как составом, так и содержанием целей (ряд целей и подструктур С - в результате проведенного анализа оказались изолированными; выявлен ряд эквивалентных целей; изменилось содержание главной цели КЦП ПЕЛАГИЛЬ, окончательно переформулированной на этапе синтеза целей).

Вносимые коррективы были сгруппированы по признаку тяжести соответствующих изменений СЦ. К I-ой отнесены крупные коррективы, в частности, исключение целей из СЦ. Ко II-ой - средние коррективы, в частности, перемещение целей с одного уровня С - на другой, обусловленные ошибками обратного подчинения, несопоставленности целей, совмещения результата со средством. III-ю группу составили мелкие коррективы по уточнению формулировок целей без изменения их положения в С - (изменения такого рода вносятся при выявлении неполноты формулировки либо частичного пересечения с другой целью анализируемой пары).

Все выявленные логические ошибки, в частности, кроме изолированных из структур целей были исключены эквивалентные цели, были приняты соответствующими экспертными коллективами (ЭК) и исправлены в соответствии с рекомендациями, выработанными программным средством. По результатам диалогового анализа С - указанных КЦП были синтезированы логически корректные СЦ, изменены СС - и откорректированы соответствующие исполнительные планы.

Таблица 2

  Полезные эффекты от устранения логической некорректности и неполноты целей

Класс

Структура целей



микроситу-

до

после

Полезный

ации
на целях
<c1, c2>

анализа

анализа

эффект

1ℜ

(изолиро-

ванность)

с1

  с2

  с1

с2

Экономия финансовых и материально-технических ресурсов на достижение цели с2 за счет исключения ее из плана ЦД как не ведущей
к достижению
цели с1

2ℜ

(эквива-лент-

ность)

  с1

с2

с1 (с2)

Экономия финансовых и материально-технических ресурсов на достижение с2  за счет исключения ее из плана ЦД как эквивалентной с1

3ℜ

(подчине-

ние обратное)

с1

с2

  с1

  с2

Экономия времени ЦД за счет своевременного изменения
схемы ЦД.

-ℜ

(нарушена

непрерыв-

ность)

с1

с2

  с1

с

с2

Экономия непроизводительных затрат на перепланирование ЦД за счет своевременного введения цели с

4+ℜ

(подчине-

ние прямое непрерыв-ное)

с1

с2

  с1

с2

-

Класс

Структура целей

микроситу-

до

после

Полезный

ации
на целях
<c1, c2>

анализа

анализа

эффект

8ℜ

(противо-речие)

  с1

с2

  с1

 

  с2

Экономия финансовых и материально-технических ресурсов на достижение цели  с2  за счет исключения ее из плана ЦД как противоречащей цели с1

9ℜ

(перекре-щивание)

с1

с2

  с1

с2

Экономия затрат, которые могут возникнуть из-за различных способов устранения частич-ного пересечения цели с2  с  с1

7ℜ

(несопоcта-вленность

подцелей)

  с

  с1  с2

q


 

с1  с2

Экономия финансовых и материально-технических ресурсов на достижение цели с2 за счет исключения ее из плана ЦД как не сопоставленной с целью с1

11ℜ

(неполнота

подцелей)

сα

  ,,,

с1  сp

  с


 

,,,

с1  сn

Экономия непроизводительных затрат на довыполнение плана ЦД для обеспечения требуемой степени достижения cα за счет введения ее (n-p) подцелей и получения полной совокупности из  n подцелей

Рис. 14. Видеограммы куста целей КЦП Пелагиаль, сформированного ЛПР, и частей некорректных целей, выделенных из него программой Анализ целей

Рис. 15. Результаты анализа целей КЦП Пелагиаль

Рис. 16. Результаты синтеза фрагмента структурной схемы целедостижения КЦП Пелагиаль

Экономический эффект от выявленной и исправленной логической некорректности целей выразился в экономии ресурсов, выделенных на КЦП, в частности, ресурсов на достижение целей, исключенных из С - по результатам анализа.

Предварительный анализ проблем регионального РХК выявил их сложность и неопределенность, дублирование и пересечение. Для уменьшения сложности проблем, в их списке были выделены две группы: внешние и внутренние, а в группе внешних проблема - отраслевые и внеотраслевые.

Таблица 3

Результаты анализа структур целей комплексных программ развития рыбного хозяйства

Наиме-

нование

программы

Количество

Количество использованных базовых стратегий анализа целей

огические ошибки

це-лей

уро-вней

все-го

сред-ство

часть

вид

суб-ранг

ас-пект

все-го

в том числе по типам

це-ле-вых фраз

базо-вого пред-мета

базо--вого свой-тва

Уизо-лиро-ван-ностьФ

Унару-шение непре-рыв-ностиФ

Уобра-тное подчи-нениеФ

Упере-кре-щи-ваниеФ

Унесо-по-став-лен-ностьФ

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

Пелагиаль

100

5

164

7

12

83

0

0

0

66

2

10

16

7

31

Премикс

128

5

128

0

0

35

4

0

1

66

7

22

6

10

16

АСУОР

204

5

258

28

0

109

0

72

0

62

0

4

46

12

0

Продолжение табл. 3

Наиме-

нование

программы

Количество компонентов связности

Коэффициенты

Синтезированное число

огической некорректности

изолированности

непрерывности

обратного

подчинения

неполноты

целей

уровней

1

18

19

20

21

22

23

24

25

Пелагиаль

3

0,33

0,02

0,33Ц0,5

0,08

0,76Ц1

121

9

Премикс

2

0,24

0,05

0,8Ц1

0,08

0,89Ц1

130

5

АСУОР

1

0,15

0

0,8Ц1

0,06

0,88Ц1

196

5

Были также определены аспекты и виды рыбохозяйственной деятельности, производственных операций и функций управления РХК, в которых возникли проблемы, что послужило обоснованием для их стратифицирования. Из исходного списка (43 проблемы) исключены две проблемы, модифицированы восемь, стратифицированы восемнадцать. Выработаны рекомендации по уточнению семи проблем.

Результаты систематизации проблем позволили обосновать основные направления развития данного РХК и его главные цели, исходя из которых по методике формирования систем целей с помощью программного средства формирования систем целей, а также средства поддержки принятия решений Expert Choice, привлеченного для выбора целей из альтернативных, были получены логически корректные и полные С - и совместимые с ними начальные ССЦ, а затем, с привлечением средства моделирования проектов Spider project - конечная СС - и разработан исполнительный план развития рыбной промышленности регионального РХК.

Использование методических и информационно-программных средств анализа и синтеза целей и систем целедостижения позволило в четыре раза сократить затраты на проведение системного анализа регионального рыбопромышленного комплекса и формирование решений по соответствующей системе целедостижения.

В заключении обобщены основные выводы и изложены целесообразные направления дальнейших исследований.

ОСНОВНЫЕ РЕЗУЛЬТАТЫ И ВЫВОДЫ

По итогам проведенного исследования сделаны следующие выводы:

1.аВведенные характеристические свойства рыбохозяйственного комплекса как системы целедостижения обеспечили конкретизацию системных связей РХК и его целей, требуемую для определения условий обоснованности системных решений, выражающих их совместимость с логически корректной и полной системой целей.

2 Закономерности и принципы формирования систем целей рыбохозяйственных комплексов создали теоретическую основу формирования систем целей, возможность обоснования лингвистической и логической форм представления целей, графосемантических моделей структур целей и структурных схем целедостижения, а также экспликация аксиом собственной части семиотической системы рассуждений о целях рыбохозяйственных комплексов.

3.аМодели лингвистической и логической форм представления целей позволяют описывать цели деятельности РХК с требуемой семантической мощностью. Графосемантические модели структур целей обеспечили представление совместимых в системе целей логически корректных и полных С - и ССЦ. Тем самым создана возможность логико-лингвистического моделирования и анализа целей и формирования систем целей рыбохозяйственных комплексов.

4.аКлассификация целевых ситуаций в РХК позволила обосновать введение частных свойств логической некорректности системы целей, формализовать их и использовать вместо содержательно толкуемого в методиках системном анализе свойства противоречивости целей и СЦ. Это обеспечило определение основных типов ошибок, допускаемых ЛПР при выработке структур целей и структурных схем целедостижения.

5.аСистема рассуждений о целях и методы логико-лингвистического моделирования и анализа целей и согласования С - и ССЦ, реализующие принципы ситуационного управления и семиотического моделирования, обеспечивают выявление и исправление логических ошибок и неполноты формируемых ЛПР систем целей и, тем самым, снижают уровень субъективности целей деятельности РХК при их выдвижении ЛПР и достижении исполнителями решений.

6.аМетодика, технология и прототип программного средства формирования систем целей РХК создали возможность автоматизации формирования совместимых в системе целей логически корректных, полных СЦ, СС - и оценивания степени некорректности и неполноты СЦ, вырабатываемых ЛПР в процессах ЦП, анализа и синтеза целей, а также выявление и исправление некорректных результатов формирования систем целей управленческим персоналом рыбохозяйственных комплексов.

Таким образом, приведенные в диссертационной работе результаты исследований показывают, что в данной работе решена научная проблема разработки теоретических основ, моделей и формализованных методов формирования логически корректных и полных систем целей рыбохозяйственных комплексов, что позволило разработать информационно-программные средства автоматизации данного процесса. Указанный научный аппарат развивает теорию систем (закономерности и принципы формирования систем целей), теорию организационного управления (управляемость системы целей и, как следствие, РХК) и теорию принятия системных решений (условие совместимости системы целедостижения с логически корректной и полной системой целей) применительно к системам класса РХК. На его основе обеспечивается оперативное решение проблем анализа, планирования и организации, возникающих при управлении рыбохозяйственными комплексами, выработке и исполнении решений по данным системам, нижняя граница которых составляет в региональных РХК 9,5% (от 55% проблем управления данными системами). Логическая корректность и полнота результатов автоматизированного формирования систем целей РХК обеспечивает обоснованность решений, принимаемых в рыбохозяйственных комплексах и эффективность (результативность и оперативность) процесса их выработки. Отсутствие логических ошибок в системных решениях, основывающихся на корректных системах целей, сводит к нулю издержки на корректировку исполняемых (логически некорректных, неполных, несогласованных) решений, достигающие 10% от планируемых в РХК затрат на их исполнение. Использование совместимых корректных и полных структур целей и структурных схем целедостижения соответственно в фазах выработки и исполнения решений обеспечивает повышение степени управляемости РХК и качества управления данными системами и, тем самым, вносит значительный вклад в эффективность функционирования рыбохозяйственного комплекса Российской Федерации и устранение угрозы продовольственной безопасности страны.

СПИСОК ОСНОВНЫХ  ПУБЛИКАЦИЙ ПО ТЕМЕ ДИССЕРТАЦИИ

Монографии

1.аЛукьянова Л.М. Теоретико-методологические основы структурно-целевого анализа и синтеза организационно-технических комплексов: монография. - СПб.: Наука, 2006. - 276 с.

2.аЛукьянова Л.М. Структурно-целевой анализ и синтез организационно-технических комплексов (на примере рыбохозяйственных комплексов): монография. - Калининград: Изд-во КГТУ,
2005. - 163 с.

Статьи, опубликованные в журналах, определенных ВАК Российской Федерации

3.аЛукьяновааЛ.М. Автоматизация опорных логических процедур системного анализа организационно-технических комплексов // Научно-технические ведомости СПбГТУ. - 2008. Ца№ 3, Т. 2.
- С. 86Ц91.

4.аЛукьяновааЛ.М.аМетодика структурно-целевого анализа и синтеза организационно-технических комплексов // Научно-технические ведомости СПбГТУ. - 2008. Ца№ 5(65). - С. 7Ц14.

5.аЛукьяновааЛ.М. Целеполагание, анализ и синтез целей в сложных системах: модели и методы моделирования // Известия РАН. Сер. Теория и системы управления. Ца2007. - №5. - С.а100Ц113.

6.аЛукьяновааЛ.М. Проблемы анализа и синтеза целей, основные пути решения // Известия вузов. Приборостроение. - 2007. - № 3. - С. 17Ц23.

7.аЛукьяновааЛ.М. Моделирование рассуждений о целях сложных систем производственной сферы // Известия вузов. Приборостроение. - 2007. - № 5. - С. 15Ц19.

8.аЛукьяновааЛ.М. Информационная технология структурно-целевого анализа и синтеза организационно-технических комплексов // Научно-технические ведомости СПбГТУ. - 2007. - Т. 2, № 4.
- С. 74Ц77.

9.аЛукьянова Л.М. Структурно-целевой анализ и синтез рыбохозяйственных комплексов // Рыбное хозяйство. - 2007. - № 3. - С. 36Ц42.

10.аЛукьяновааЛ.М. Логические проблемы системного анализа организационно-технических комплексов и основные направления их решения // Кибернетика и системный анализ (журнал списка ВАК РФ 2006 г.). - 2006. - №3. - С.а40Ц147.

11.аЛукьяновааЛ.М. Концепция структурно-целевого анализа и синтеза организационно-технических комплексов // Кибернетика и системный анализ (журнал списка ВАК РФ 2006 г.). - 2006.
- №6. - С.а147Ц156.

12.аЛукьяновааЛ.М. Модели анализа и синтеза целей в системах производственной сферы // Научно-технические ведомости СПбГТУ. - 2006. - №6, Т. 2. - С.а195Ц200.

13.аЛукьяновааЛ.М. Человеко-машинный анализ и полагание целей в организационных системах / Л.аМ. Лукьянова // Известия ТРТУ. Тематич. вып. Системный анализ в экономи-ке и управлении (журнал списка ВАК РФ 2006 г.). - 2006. - №17. - С.а183Ц193.

14.аЛукьянова Л.М. Язык представления цели в системе поддержки целеполагания // Вестник СПбГУ. Сер. 9. - 2005. - Вып. 4. - С. 67Ц78.

15.аЛукьянова Л.М. Метод структурирования целей (на примере структур целей для целевых программ) // Изв. АН СССР. Техническая кибернетика. - 1986. - № 3. - С. 66Ц75.

Статьи, доклады, учебные пособия, опубликованные в других изданиях

16.аЛукьянова Л.М. Методы автоматизации анализа, синтеза целей и формирования систем целей рыбохозяйственных комплексов // Известия КГТУ. - Калининград: КГТУ, 2009.  - № 15.
- С. 146Ц152.

17.аЛукьянова Л.М. Семиотические модели и методы анализа и синтеза целей систем производственной сферы // Известия КГТУ. - 2008. - №13. - С. 143 Ц147.

18.аLukТyanova L.M. Goal Analysis and Setting in Production Industry: Modeling of Reasoning on Goals // Cybernetics and Systems Analysis. - 2007. - Vol. 43, No. 3. - P. 407Ц418.

19.аЛукьянова Л.М. Моделирование анализа и полагания целей в сложных системах // Вестник РГУ им.аИ.аКанта (Сер. физ.-мат. науки). - 2006. - Вып. 10. - С. 28Ц35.

20.аЛукьянова Л.М. Логико-лингвистическое моделирование целеполагания в сложных системах: сб. статей // Логико-философские штудии: сб. тр. / под ред. Я.А. Слинина. - СПб.: Изд-во СПбГУ, 2006. - Вып.а4. - С.а90Ц111.

21.аЛукьянова Л.М. Моделирование рассуждений о целях систем производственной сферы // 10-я Нац. конф. по искусственному интеллекту с междунар. участием (КИИ-2006): сб. науч. тр.: в 3 т.
- М.: Физматлит, 2006. - Т.а3. - С.а765Ц773.

22.аЛукьянова Л.М. Логическая модель целеполагания в системах производственной сферы // IX Общерос. науч. конф. Современная логика: проблемы теории, истории и применения в науке: материалы. - СПб.: Изд. СПбГУ, 2005. - С.а303Ц306.

23.аЛукьянова Л.М., Киприянова Е.А. Теория систем и системный анализ: закономерности и модели целеполагания и целедостижения // Ученые записки института информатизации образования РАО. - М.: Изд-во ИИО РАО, 2004. - Вып. 13, № 1Ц2. - С.а216Ц221.

24.аЛукьянова Л.М. Адаптивный язык представления цели в системе логико-лингвистического моделирования целеполагания // Труды СПИИРАН. - СПб.: Наука, 2004. - Вып. 2, Т. 1. - С. 64Ц89.

25.аЛукьяновааЛ.М. Проблемы системного анализа отраслей промышленности и пути их решения // Информатизация и связь. - 2003. - №1Ц2. - С. 109Ц114.

26.аЛукьянова Л.М. Структурно-целевой анализ в управлении системами производственной сферы // Информационно-управляющие системы. - 2003. - № 5. - С. 21Ц28.

27.аLukianova L.M. Systems Analysis: the Structure-and-Purpose Approach Based on Logic-linguistic Formalization // International Journal Information Theories & Applications.аЦа2003. ЦаVol.а10,аNo.а4.
ЦаP.а380Ц387.

28.аЛукьянова Л.М. Система поддержки структурно-целевого анализа проблемных ситуаций // Межд. науч.-практич. конф. ЗнаниеЦДиалогЦРешение (KDS-2001): труды: в 2 т. - СПб.: Изд-во Лань, 2001. - Т. II. - С.а446Ц453.

29.аLukianova L. Problem-Aimed Analysis of Organization System for Industry Branches
// Intern. сonf. Economics and Management-2001: proceedings. - Kaunas: Technologija, 2001. - V. 6.
- P. 129Ц132.

30.аЛукьянова Л.М. Экспертная система структурирования проблем и целей // Проблемы обработки информации и интегральной автоматизации производства: сб. науч. тр. / под ред. В.М.аПономарева. - Л.: Наука, Ленингр. отд-е, 1990. - С.а178Ц185.

31.аЛукьянова Л.М., Ханенко В.Н. Процедуры логико-лингвистического моделирования структур целей в диалоговых системах программно-целевого управления // Проблемы интегральной автоматизации производства: сб. науч. тр. / под ред. В.М.Пономарева. - Л.: Наука, Ленингр. отд-е, 1988.
- С.а39Ц47.

32.аЛукьянова Л.М., Пономарев В.Ф. Метод автоматизированного управления формированием и ведением систем целей для программ развития отрасли // Труды УI науч.-технич. конф. по развитию флота рыбной промышленности и промышленного рыболовства соц. стран: в 3 т. - Л.: Судостроение: 1987. - Т. 3. - С.а313Ц319.

33.аЛукьянова Л.М. Системный анализ: структурно-целевой подход к анализу и синтезу систем: учебное пособие для студентов вузов по спец.: 351400, 561100, 220200, 561100 [допущено управлением учеб. заведений Госкомитета РФ по рыболовству]. - Калининград: Изд-во КГТУ, 2004. - 234 с.

34.аЛукьянова Л.М. Системный анализ: структурно-целевой подход: учебное пособие для подготовки магистров по спец. 561100 [допущено УМО по образованию в области рыбного хозяйства].
- Калининград: Изд-во КГТУ, 2001. - 175 с.

Опубликованные программные средства

35.аЛукьянова Л.М. Программное средство Анализ и синтез систем целедостижения: свидетельство №аГР 2008614503 от 19.09.2008 // Офиц. бюлл. Федеральной службы по интеллект. собственности, патентам и товарным знакам Программы для ЭВМ. Базы данных. Топологии интегральных микросхем: в 2-х ч. - М., 2008. - №4(65). - Ч. II. - С. 312.

36.аЛукьянова Л.М. Диалоговая система формирования и ведения комплексов целей (ДИСУФР). Анализ систем целей // Алгоритмы и программы [инф. бюллетень]. - М.: ГосФАП СССР, 1986 - № 3. Реф. 3.038.

укьянова Людмила Михайловна

Теоретические основы, методы, модели и средства автоматизации
формирования систем целей рыбохозяйственных комплексов

Специальность 05.13.01 - Системный анализ, управление
и обработка информации (технические системы)

Автореферат

диссертации на соискание ученой степени

доктора технических наук

ИД №а06494 от 26.12.01

Подписано в печать 15.07..09. Формат 60x90 1/16.

Печать офсетная. Усл. печ. л. 2,15

Заказ №а . Тираж 100.

Изд-во ФГОУ ВПО Калининградский государственный технический университет

Св. о регистрации № от

236000, Калининград, Советский пр, 1.

Авторефераты по всем темам  >>  Авторефераты по техническим специальностям