Software & Systems

Принципиальным отличием самоорганизующихся информационных систем (СИС) от автоматизированных информационных систем (АИС) является их способность к самомодификации (самодостраиванию) и совершенствованию [1]. Это означает, что СИС самостоятельно должна формировать и поддерживать в актуальном состоянии свои структуру и функциональность, сохраняя целостность, расширяя свои возможности и повышая эффективность функционирования. Для этого СИС должна выявлять проблемы, формулировать задачи, разрабатывать и апробировать методы решения задач, строить исполняемые программные модули и использовать их в работе.

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

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

Задача – это точная спецификация решения некоторой проблемы [3]. Задача включает в себя требования (цель), условия (известное) и искомое (неизвестное). Между этими элементами существуют определенные связи и зависимости, за счет которых осуществляются поиск и определение неизвестных элементов через известные.

В общем виде задача представляется следующим образом: z = , где idz – идентификатор (имя) задачи, выделяющий ее среди множества других задач; Sи = {sи} – область определения задачи, представляющая собой множество допустимых исходных состояний (совокупностей элементов данных) решаемой задачи; Sк = {sк} – область значений задачи, представляющая собой множество допустимых результирующих состояний (совокупностей элементов данных) решаемой задачи; с – ограничения, накладываемые средой на решение задачи, частью которых является соответствие qz между исходными и результирующими состояниями, инициируемое проблемой и заданное в форме отношения qz = {ásи, sкñ} (возможно, частичного, например, только тестовые данные) или функции qz: sи ® sк; m : s'и  s'к – метод решения, представляющий собой определенный способ f преобразования s'и Î S'и в s'к Î S'к; S'и, S'к – соответственно области определения и значений метода m.

Ожидаемый результат (sк Î Sк) – это цель решения задачи, выступающая в качестве внешнего дополнения для оценки правильности (корректности) и эффективности решения поставленной задачи. Корректность решения задачи заключается в установлении такого соответствия между sи и sк, чтобы ásи, sкñ Î qz.

Метод решения задачи m – это описание последовательности действий, определяющей процесс решения некоторой абстрактной задачи путем преобразования исходного состояния s'и в результирующее состояние s'к. Метод может задаваться двумя способами: семантически и конструктивно.

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

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

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

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

Для обеспечения возможности решения задачи z методом m требуется их согласованность, заключающаяся в эквивалентности законов преобразования и в соответствии областей определений и значений. Поэтому при qz º f, соответствии ограничений с и ограничений метода и при Sи Í S'и и Sк Í S'к имеем полностью разрешимую задачу, а при SиÇS'и ¹ Æ, Sи\S'и ¹ Æ и SкÇS'к ¹ Æ, Sк\S'к ¹ Æ – частично разрешимую.

Решение задачи осуществляется в некоторой среде, которая, с одной стороны, выступает в качестве ограничений с, а с другой – может использоваться для доопределения задачи, что позволяет перейти от полностью определенной задачи к недоопределенной (контекстно определяемой), требующей интеллектуального подхода к решению [4, 5]. Способность решения недоопределенных задач существенно расширяет возможности системы, но вызывает необходимость разработки специальных формальных методов [6, 7]. В области информационных систем и баз данных недоопределенные вычисления использовались для многомерного анализа данных [8], а для решения математических задач на основе недоопределенных моделей разработаны универсальный решатель математических задач UniCalc [9] и объектно-ориенти­рованная система программирования в ограничениях NeMo+ [10].

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

Приобретение способности решения недоопределенных задач требует наличия в системе механизмов доопределения задачи в случаях неполного покрытия области определения задачи областью определения метода, неполного удовлетворения ограничений метода условиям задачи, незначительного отклонения от эквивалентности соответствия qz и способа преобразования f.

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

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

–      формированием сложного (составного) метода решения абстрактной задачи, покрывающего Sи путем объединения Sиi и вызывающего метод mj решения частной задачи для исходных дан- ных sиÎSиj.

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

Устранение несоответствий условий задачи и ограничений метода может осуществляться несколькими способами:

–      выделить часто решаемую частную задачу (с высокой частотой входных данных) и использовать для нее наиболее эффективный метод решения;

–      в ситуациях, критичных по времени или по памяти, использовать методы решения, эффективные в соответствующей ситуации;

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

–      постепенно формировать структуры данных, допускающие более эффективную обработку данных, и заменять ими структуры данных, используемые в системе.

Устранение отклонений от эквивалентности соответствия qz и способа преобразования f может производиться двумя способами:

–      выбором метода, осуществляющего решение более общей абстрактной задачи, в которой отклонение от qz устраняется автоматически;

–      модификацией используемого метода так, чтобы обеспечивалась полная эквивалентность соответствия qz и способа преобразования f.

Указанные способы решения недоопределенных задач возможны при достаточно богатом наборе подзадач и методов их решения в различных условиях.

Для преобразования конструктивного описания метода решения задачи в исполняемый код можно использовать конструктивно-универсаль­ный автомат [11]. При этом конструктивное описание метода будет являться шаблоном автомата, решающего требуемую подзадачу.

Семантическую спецификацию задачи целесо- образно представить в виде понятия-задачи [12]: z = , где idz – идентификатор (имя) задачи; zs = {zi} – состав задачи, являющейся совокупностью подзадач, подлежащих решению для решения задачи z; zc = (Sи, Sк, с) – содержание задачи z, включающее допустимые исходные данные и ожидаемый результат, а также ограничения с, содержащие способ соответствия qz между исходными и результирующими состояниями; zv = {mj} – множество возможных методов решения задачи z; zw – описание задачи z для пользователей (назначение задачи, изложение сущности ее решения, пример решения задачи и др.); za – макросвойства задачи, включающие временную и емкостную сложность и др.

Между понятиями-задачами могут устанавливаться отношения вида rz = , где nrz – имя отношения; trz – тип отношения между понятиями z1 и z2.

В соответствии с [12] между понятиями-задачами допустимы следующие типы отношений trz: агрегация (часть–целое) – задача z2 является подзадачей (частью) задачи z1; классификация – задача z2 является подклассом класса задач z1; обобщение (род–вид) – задача z2 является категорией (модификацией, частным случаем) задачи z1; абстрагирование – задача z2 является конкретизацией обобщенной задачи z1.

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

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

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

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

Семантические спецификации задач, известных и решаемых в СИС, могут быть использованы для формирования слоя задач в семантическом пространстве «проблема–задача–подзадача–метод решения–знания».

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

Литература

1.     Дрождин В.В. Организация и функционирование самоорганизующейся информационной системы // Новые информационные технологии и системы: тр. X Междунар. науч.-технич. конф. Пенза: Изд-во ПГУ, 2012. С. 231–233.

2.     Что такое Проблема? Значение и толкование слова problema, определение термина. URL: http://www.onlinedics.ru/ slovar/log/t/problema.html (дата обращения: 15.03.2014).

3.     Что такое Задача? Значение и толкование слова zadacha, определение термина. URL: http://www.onlinedics.ru/ slovar/fil/z/zadacha.html (дата обращения: 15.03.2014).

4.     Перчик Е. Методология синтеза знаний: преодоление фактора некорректности задач математического моделирования. URL: http://pelbook.narod.ru/read.htm (дата обращения: 15.03.2014).

5.     Нариньяни А.С. Недоопределенность в системе представления и обработки знаний // Изв. АН СССР. Техн. кибернетика. 1986. № 5. С. 3–28.

6.     Пилипчук Л.А. Разреженные недоопределенные системы линейных алгебраических уравнений. Минск: Изд-во БГУ, 2012. 260 с.

7.     Нариньяни А.С., Телерман В.В., Ушаков Д.И., Шве- цов И.Е. Программирование в ограничениях и недоопределенные модели // Информационные технологии. 1998. № 7. С. 13–22.

8.     Смирнов К.Е. Многомерный анализ данных в системах недоопределенных вычислений // Программные продукты и системы. 2010. № 4. С. 71–74.

9.     Web-версия универсального решателя математических задач UniCalc. URL: http://uniserv.iis.nsk.su/unicalc (дата обращения: 15.06.2014).

10.  Расчетно-логические системы на основе недоопределенных моделей. URL: http://www.artint.ru/projects/nemo.php (дата обращения: 16.06.2014).

11.  Дрождин В.В., Жуков М.В. Модель конструктивно-универсального автомата // Программные продукты и системы. 2009. № 4. С. 122–125.

12.  Дрождин В.В., Герасимова Е.В., Зинченко Р.Е., Кондрашин М.В. Семантическая организация самоорганизующейся информационной системы // Биокосмология – нео-Аристо­телизм. 2012. Т. 2. Вып. 4. С. 345–359; URL: http://www.biocos­mology.ru/ (дата обращения: 05.09.2014).