Пространство состояний каждого объекта является, очевидно, подмножеством глобального пространства состояний.
1.2.1. Классификация пространств состояний.
В процессе работы по анализу существования объектов в пространствах состояний будут выделяться следующие типы пространств состояний:
а) локальное пространство состояний. Локальное пространство состояний – пространство состояний отдельно взятого объекта, его собственное пространство состояний;
б) типовое пространство состояний. Под типовым пространством состояний понимается пространство всех возможных состояний объектов одного типа. Следует помнить, что объекты одного типа имеют одинаковое устройство пространства состояний – одинаковый набор параметр, но могут отличаться конкретными значениями параметров и интервалами их изменений. Объединение всех возможных интервалов изменения значений параметров объектов одного типа или, что тоже самое, объединение локальных пространств объектов одного типа порождает типовое пространство состояний;
в) глобальное пространство состояний. Под глобальным пространством состояний будет пониматься такое пространство состояний, которое построено на параметрах всех возможных типов объектов и является локальным пространством состояний для макрообъекта, порожденного объединением всех возможных объектов в единую систему. В свою очередь будем различать:
в1) истинное глобальное пространство – пространство, построенное на параметрах всех возможных типов объектов и учитывающее все возможные реализации типов объектов. Такое пространство, вообще говоря, не реализуемо на практике и часто оказывается избыточным для практических задач;
в2) рабочее глобальное пространство – пространство, построенное на параметрах, рассматриваемых в контексте задачи, объектов, объединенных в макрообъект. Такое пространство имеет смысл в рамках конкретной задачи и поэтому имеет теоретическую ограниченность, хотя и более удобно, по сравнению с истинным глобальным пространством, в практическом применении;
г) обобщенное пространство состояний. Под обобщенным пространством состояний будет пониматься такое пространство состояний, которое построено на совокупности интервалов значений параметров всех объектов, без учета их взаимосвязей. Объединение всех интервалов значений всех параметров всех объектов или, что тоже самое, всех типовых пространств состояний, порождает пространство состояний, включающее все объекты, которые размещены в этом пространстве в соответствии с текущими значениями своих параметров.
1.2.2. Классификация объектов.
В приличных работах почти всегда производят классификацию объектов, так или иначе являющихся предметом анализа.
В данной статье также будет проведена классификация системных объектов, но в пределах контекста концепции пространства состояний и типизации пространств состояний.
Объекты, имеющие одинаковый набор параметр в дальнейшем будут считаться объектами, относящимися к одному типу.
Совокупность типов образует семейство объектов.
Каждая конкретная реализация типа объектов образует собственно объект.
Объекты одного типа, имеющие одинаковые контенты состояний являются объектами одного вида.
Объекты разных типов, имеющие какое-либо количество одинаковых параметров, будут именоваться подобными объектами.
Заметим, что если подобные объекты поместить в одно пространство состояний (рабочее глобальное пространство, естественно), то контенты состояний таких объектов будут взаимно пересекаться.
