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

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

Наиболее пригодными являются следующие уровни абстрактного описания систем:
1) символический или лингвистический;
2) теоретико-множественный;
3) абстрактно-алгебраический;
4) топологический;
5) логико-математический;
6) теоретико-информационный;
7) динамический;
8) эвристический.

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

Все высказывания делят обычно на два типа.
К первому причисляют «термы» (имена предметов, члены предложения и т. д.) — высказывания, с помощью которых обозначают объекты исследования, а ко второму — «функторы» — высказывания, определяющие отношения между термами.

С помощью термов и функторов можно показать, как из лингвистического уровня абстрактного описания (уровня высшего ранга) как частный случай возникает теоретико-множественный уровень абстрагирования (уровень более низкого ранга). Термы — некоторые множества, с помощью которых перечисляют элементы, или, иначе, подсистемы изучаемых систем, а функторы устанавливают характер отношений между введенными множествами. Множество образуется из элементов, обладающих некоторыми свойствами и находящимися в некоторых отношениях между собой и элементами других множеств. (Следовательно, автоматизированные системы управления (АСУ) вполне подходят под такого рода определение понятия «множество». Это доказывает, что построение сложных систем на теоретико-множественном уровне абстракции вполне уместно и целесообразно. На теоретико-множественном уровне абстракции можно получить только общие сведения о реальных системах, а для более конкретных целей необходимы другие абстрактные модели, которые позволили бы производить более тонкий анализ различных свойств реальных систем. Эти более низкие уровни абстрагирования, в свою очередь, являются уже частными случаями по отношению к теоретико-множественному уровню формального описания систем. Так, если связи между элементами рассматриваемых множеств устанавливаются с помощью некоторых однозначных функций, отображающих элементы множества в само исходное множество, то приходим к абстрактно-алгебраическому уровню описания систем. В таких случаях говорят, что между элементами множеств установлены нульарные (никакие, отсутствующие), унарные, бинарные (двойные, двойственные), тернарные отношения и т. д. Если же на элементах рассматриваемых множеств определены некоторые топологические структуры, то в этом случае приходим к топологическому уровню абстрактного описания систем. При этом может быть использован язык общей топологии или ее ветвей, именуемых гомологической топологией, алгебраической топологией и т. д.

Низшие уровни описания систем. Логико-математический уровень описания систем нашел широкое применение для: формализации функционирования автоматов; задания условий функционирования автоматов; изучения вычислительной способности автоматов. Понятие «автомат» (от греч. automatos — самодействующий) имеет следующие значения: устройство, выполняющее некоторый процесс без непосредственного участия человека. В глубокой древности это часы, механические игрушки, со второй половины XVIII в. Широкое применение в промышленности для замены физического труда человека; в 40 — 50-х годах XX в. появились автоматы для выполнения некоторых видов умственного труда; автоматические вычислительные машины и другие кибернетические устройства. Применение автоматов значительно повышает производительность труда, скорость и точность выполнения операций. Освобождает человека от утомительного однообразного труда, для защиты человека от условий, опасных для жизни или вредных для здоровья. Автоматы используются там, где невозможно присутствие человека (высокая температура, давление, ускорение, вакуум и т. д.); математическое понятие, математическая модель реальных (технических) автоматов.

Это интересно знать: