Композитосутнісні моделі адаптивних процесональних середовищ
| dc.contributor.advisor | Редько Ігор Володимирович | |
| dc.contributor.author | Захарченко Тарас Леонідович | |
| dc.date.accessioned | 2026-01-24T13:07:38Z | |
| dc.date.issued | 2018 | |
| dc.description.abstract | Захарченко Т.Л. Композитосутнісні моделі адаптивних процесональних середовищ. - Кваліфікаційна наукова праця на правах рукопису. Дисертація на здобуття наукового ступеня кандидата технічних наук (доктора філософії) за спеціальністю 05.13.06 – інформаційні технології. Інститут телекомунікацій і глобального інформаційного простору, Київ, 2018. Будь-яка людська діяльність на кожному етапі її розвитку обумовлена її інтуїтивним баченням або розумінням. Природно, що найбільш спрощене розуміння за необхідністю присутнє на перших етапах розвитку діяльності. Але поступово, з розвитком самої діяльності, еволюціонує і її розуміння. Поштовхом для наступного кроку еволюції зазвичай виступає притаманна діяльності проблемність – надмірне спрощення її розуміння. Не винятком тут є й такий важливий вид людської діяльності як інформаційно-технологічна діяльність. Причин проблемності загалом більш ніж достатньо, але, що стосується ІТД, то тут головною серед них бачиться надто спрощене, а значить недостатньо змістовне розуміння взаємодоповнення інформаційнотехнологічних процесів (ІТП) і їх результатів. Загальна природа взаємодоповнюваності дуже складна та розкриття її в повному обсязі є, напевно, неможливим. Реальним бачиться шлях поступового прагматико-обумовленого збагачення уявлень про нього. Домінуючу роль у цьому взаємодоповненні традиційно відіграє результат ІТД. Для цього більш ніж достатньо об'єктивних підстав. Добре відомі вражаючі результати, досягнуті насамперед у математиці, які, без сумніву, є наслідком подібного домінування. Але безпрецедентно широке поширення комп'ютерної справи в усіх областях дійсності не могло не прийти в суперечність із реаліями розвитку всіх сфер людської діяльності. Змістовно кажучи, прийняте домінування результату ІТД як позиція чітко підтвердило, що абсолютизація будь-якого, навіть виключно важливого і продуктивного позиціонування, часто призводить до вкрай негативних результатів. Адже абсолютизація будь-чого в силу її природи замкнена в актуальних даностях предмету абсолютизації. Це свідчить про нездатність адекватно реагувати на обумовлені потенційною відкритістю об’єктивних процесів пізнання еволюційні зміни бачення дійсності. Звідси виходить, що усунення головної причини недоліків у рамках актуально замкненої точки зору на ІТД є неможливим. Актуально замкнене загальнозначуще ядро розглядів як їх логіка повинно бути адекватно збагачене потенційно відкритим різноманіттям його предметних продовжень. Тобто традиційні сьогодні, актуально замкнені у своїй відкритості або замкненості парадигми ІТД мають бути якісно збагачені відповідно до їх взаємодоповнення – відкрито-замкненої парадигми. Змістовно така зміна бачиться у переході в ІТД від продукування окремих, іноді досить ефективних, але фактично обмежених домінантою результату ІТД підходів до вирішення задач, до розробки єдиної відкрито-замкненої інформаційно-технологічної платформи, домінантою якої є не результат, а ІТП. Це дозволяє не протиставляти існуючі точки зору на ІТД, а навпаки, природним чином об’єднувати їх у якості тих чи інших предметних продовжень «спільного знаменника» – взаємодоповнення ІТП та їх результатів. Така об’єднуюча точка зору складає кістяк реального розуміння ІТД. Вона дозволяє, відштовхуючись від фундаментального значення інтуїтивної бази сучасної ІТД, якісно його розвивати, доповнюючи за можливістю точними дослідженнями та розробками. У дисертації в якості такого «спільного знаменника» різних точок зору на ІТД пропонується концепція адаптивного процесонального середовища (АПС). Основу його складає адекватне зміщення акцентів розгляду з виключно результатів вирішення задач, зокрема їх верифікації на коректні методи їх досягнення. Це забезпечує можливість ставити та ефективно вирішувати задачі управління якістю отримуваних рішень, забезпечення ефективності діяльності з пошуку таких рішень і проблему збереження інвестицій у такій діяльності. Тут під якістю розуміється коректність продукованих АПС рішень, їх гарантоздатність та функціональна безпека. Під ефективністю ж розуміється підвищення продуктивності розробки за рахунок простоти використання існуючих суміжних інформаційно-технологічних рішень і уточнення самої ІТД за рахунок підтримки АПС, прийняття інформаційно-технологічних рішень в умовах часткової невизначеності. Отримати рішення цих та інших задач стало можливим завдяки залученню до розглядів, у першу чергу, процесів їх вирішення, зокрема адекватній організації цих процесів. Останнє забезпечується реальним врахуванням активної участі суб’єкта в ІТП, там, де ця участь дійсно необхідна. Основу ІТД складає його розуміння як обумовлення результату ІТД при цьому результат ІТД є сутністю (монадою), а ІТД є процесом розкриття її суті (концепту). Таке відношення між суттю та сутністю називається сутесутнісним відношенням. У цього відношення можна виділити властивості рефлексивності, транзитивності та антисиметричності. В силу приведених властивостей ІТД можна звести до рефлексивно-транзитивного замикання сутесутнісного відношення. Звісно, для того, щоб говорити про ІТД цього недостатньо, необхідно збагатити це відношення до необхідного рівня. В роботі ці збагачення проходять починаючи з розгляду динамічного та статичного аспектів ІТД, закінчуючи втягненням до розглядів таких понять як результат ІТД, композиція та функція. А саме ССВ зводиться до композитосутнісного відношення (КСВ). Це означає що суттю сутності в нашому специфічному випадку (ІТД) виступає композиція. В роботі ґрунтовно досліджено поняття композиції, зокрема, виділено основні їх властивості: адекватність, тотальність, замкненість. Особливо важливою є адекватність, як носій суб’єктивності в ІТД. Для більш глибокого розуміння композицій розроблені їх класифікації: за роллю та властивостями даних. Відомо три ролі композицій: аплікативні, фундативні та константні. За властивостями даних вони поділяються на абстрактні, іменні та метаіменні. Виходячи з того, що КСВ – частковий порядок, ми можемо сформулювати та довести прагматико-обумовлену спеціалізацію теореми Тарського: проективні функції мають нерухомі точки. Тут проективною функцією називається та функція, що забезпечує ітеративний перехід від задачі до рішення. Принципова значимість цієї теореми полягає, звичайно, не в доведенні існування нерухомих точок у проективних функцій, а в тому, що вона відкриває зовсім природній шлях для пошуку тих типів прагматико-обумовлених функцій, для яких їхнє існування є більш-менш прямим наслідком такої обумовленості. Зважаючи на те, що у ІТД можна виділити певну загальнозначущу логіку – рефлексивно-транзитивне замикання КСВ, та відкрите різноманіття прагматично-обумовлених її продовжень, з’явився сенс говорити про відкиртозамкнену парадигму ІТД, яка лягла в основу АПС. Базовим поняттям відкритозамкненої парадигми стало відкрито-замкнене середовище (ВЗСр), яке включає в себе згадані вище відкриту та замкнуту частини. Дані побудови все ще досить загальні, а розуміння АПС як ВЗСр не достатньо. В роботі проводиться ряд збагачень ВЗСр, які приводять до розуміння АПС, як прагматико-обумовленої релятивізації універсального середовища інтеграції. Таке середовище має наступну архітектуру: УСІ = <<< УР, УП>, УЗП>, ЗЕР>. Вона побудована на взаємодоповненні універсуму рішень (УР) та універсуму предметів(УП, композиції у пасивній ролі), що доповнюють універсумі засобів побудови (УЗП, композиції в активній ролі), це доповнення в свою чергу доповнює засоби еволюційного розвитку (ЗЕР, метакомпозиції). Характер цих взаємодоповнень, як можна помітити, носить суб’єктно-об’єктний характер та дозволяє говорити про конкретні реалізації АПС. Подальші дослідження АПС виявляються неможливими без актуалізації алгебри яка використовується в ІТД. Вона актуалізована як примітивна програмна алгебра (ППА). Її зручно використовувати в розробці програмного забезпечення, так як її композиції нагадують управляючі структури класичних мов програмування. Також вона може використовуватись і для розробки апаратного забезпечення завдяки властивості кортежності носіїв алгебри. Це дозволило дослідити такий актуальний носій, як функції над записами. Розглянуті підкласи функцій що зберігають та не зберігають денотати і для них вирішені проблеми повноти. В результаті розглядів отримав подальший розвиток метод отримання алгебраїчних характеристик класів функцій. Взаємодія розробника з АПС неможлива без мови специфікації композицій(МСК). У роботі запропонована як текстова, так і графічна МСК. Вони підтримують, як породження композицій (метакомпозиції), так і застосування їх. З метою досліджень, в ході роботи розроблена дослідна реалізація адаптивного процесонального середовища. Воно підтримує розробку як апаратного, так і програмного забезпечень. Користувач може задати дескрипцію вирішення задачі у МСК. Після цього вирішення може бути згенероване в код HDL або на мові програмування. На разі підтримуються Verilog HDL та C. У випадку якщо мова йде про розробку апаратного забезпечення, то рішення виглядає як Verilog модуль, що сумісний з САПР Quartus II. | |
| dc.identifier.citation | Захарченко Т. Л. Композитосутнісні моделі адаптивних процесональних середовищ : дис. ... канд. техн. наук : 05.13.06 / Т. Л. Захарченко . – Київ, 2018. – 191 с. | |
| dc.identifier.uri | https://repository.itgip.org/handle/123456789/55 | |
| dc.language.iso | uk | |
| dc.publisher | Інститут телекомунікацій і глобального інформаційного простору Національної академії наук України | |
| dc.subject | Адаптивне процесональне середовище | |
| dc.subject | композиція | |
| dc.subject | відкрито-замкнене середовище | |
| dc.subject | сутесутнісне відношення | |
| dc.subject | композитосутнісне відношення | |
| dc.title | Композитосутнісні моделі адаптивних процесональних середовищ | |
| dc.title.alternative | Composition-gist models of adaptive processional environments | |
| dc.type | Thesis | |
| local.description.abstracten | Dissertation research for degree of PhDs on speciality 05.13.06 information technologies.- Institute of Telecommunications and Global Information Space of the National Academy of Sciences of Ukraine, Kyiv, 2018. Any human activity on every stage of its development conditioned by its intuitive vision and understanding. Naturally that the most simplified understanding present on earlier stages of the activity's development. But with development of the activity, its understanding also evolves. In the most cases the push to the next step of evolution is the problematic of the activity – oversimplification of the activity's understanding. The information-technologic activity (ITA), as important kind of human activity, is not exception here also. It is more than enough reasons of the problematic, but regarding to the ITA, the main reason is oversimplified, hence not enough informative, understanding mutual supplementation of IT-processes and their results. The nature of the mutual supplementation is very complicated and it is impossible to fully reveal it. More real way is gradual pragmatically-conditioned enrichment of its conception. The domination role in this mutual supplementation is traditionally played by the result of ITA. It is more than enough reasons for this. Well known impressive results achieved mostly in mathematics, are consequence of the domination. But unprecedentedly wide spread of information technologies in all domains of reality, came to contradiction with realities of all human activity domains development. In other words, adopted as position, result's domination confirmed that absolutization of anything, even if the thing is exceptionally important, leads to very negative results. This is because that absolutization closed in its actualities of the subject, due to its nature. This is evidence of thing that one unable to adequately react on evolution changes of reality vision, conditioned by potential openness of cognitive processes. Hence, it is impossible to eliminate the main reason of the shortcomings in the framework of actually closed point of view on the ITA. Actually closed kernel of views as their logic must be adequately enriched by the potentially open diversity of its subjective sequels. In the other words, traditional ITA paradigms, which are actually closed in their openness/closeness must be enriched according to their mutual supplementation – open-closed paradigm (OC-paradigm). We see such change in the transition from production of separate, sometimes quite effective, but limited by domination of ITA's result, approaches to ITA of the united open-closed ITA platform, where dominates ITA as activity targeted on result(solution) creation. This allows to not put existing points of view on ITA in opposition to each other, but naturally to unite them as subject sequels of the "common denominator" – mutual supplementation of the IT-processes and their results. Such uniting point of view is framework of the real understanding of the ITA. It allows starting from fundamental significance of intuitive basis of the modern ITA, quality develop it by supplementing it, when it is possible, with precise researches and developments. In the paper as such "common denominator" of different points of view on ITA a concept of adaptive processional environment (APE) proposed. Basis of the APE consists of adequate shift of accents from considering solely results of problem's solutions, including verification to actual methods of the solutions obtaining. This provides possibility to put and effectively solve problems of quality management and effectiveness assurance of the solution finding. The problem of investments preservation is also solved. Here we understand quality as correctness of produced by APE solutions, their reliability and functional safety. The effectiveness is the ITA performance increase because of simplicity of use of already existing adjacent solutions and specification of the IT-process itself with support APE and taking decisions in conditions of partial uncertainty. It is become possible to obtain solutions of this or another problems by involving processes of their solution and adequate organization of the processes in the considerations. Adequate organization of the IT-processes is achieved by taking in account active role of the designer in the process, where designer's decisions are really needed. The basis of the ITA is its understanding as conditioning of the designed thing, where designed thing is substance and the ITA is a process of revealing its gist (concept). Such relations between the substance and the gist are named "substance-gist relations" (SGR). There are three properties of the relation found: reflectivity, transitivity and antisymmetricity. Because of listed properties the ITA can be reduced to reflective-transitive closure of SGR. Of course, this is not enough to talk about ITA, this relation should be enriched to necessary level. In the paper the enrichment conducted starting from consideration of dynamic and static aspects of the ITA to consideration such concepts as solution, composition and function. Namely, SGR is reduced to composition-gist relation (CGR). This means that gist of the substance in our specific case (ITA) is composition. In the paper concepts of composition profoundly studied, also marked out composition's properties: adequacy, totality, closedness. Particularly important is adequacy, it is carrier of subjectivity in the ITA. For more profound understanding of compositions, their classifications are specified: by role and by data properties. There are three types of compositions by roles: applicative, fundative and constant. And there are three types of compositions by data properties: abstract, named, meta-named. Because of the fact that CGR is partial order, we can formulate and prove pragmatically conditioned theorem of Tarsky: projective functions have fixed points. Here term "projective function" means function that provides iterative transition from problem to solution. Principal importance of the theorem is not in the proof of existence of fixed points, but in the thing that it opens fully natural way for pragmatically conditioned functions search, for which their (functions') existence is more or less direct consequence of such conditioning. Due to fact that in the ITA we can mark out some common logic – reflective-transitive closure of CGR and open diversity of pragmatically-conditioned sequels of the logic, it makes sense to discuss OC ITA paradigm which is foundation of APE. The essential concept of OC-paradigm is OC-environment (OCE), which include mentioned above open and closed parts. Given results are still too general and it is not enough to understand APE as OC-environment. Series of OCE enrichments conducted in the paper, so they led to understanding APE as pragmatically conditioned relativisation of universal integration environment (UIE). Such environment has following architecture: UIE=<<<SolU, SU>, DMU,EMU>. It is based on: mutual supplementation of solution universe (SolU) and subject universe (SU, compositions in passive role) which altogether supplement ITA means universe (DMU, compositions in active role), this supplementation supplements means of evolution universe (EMU, metacompositions). The nature of these mutual supplements allows us to talk about certain implementation of APE. Further research of APE is impossible without actualization of IT-algebra. It is actualized as primitive program algebra (PPA). It is handy to use it in SW design because its compositions resemble statements in programming languages. Also, it may be used for HW design due to tupleness of the algebra's carriers. This allowed studying such actual carrier as functions on records. There are two subclasses of the functions considered: functions which preserve denotates and which are not. One of the results in the research is method of algebraic characteristics obtaining of different function classes. Interaction of the designer with APE is impossible without composition specification language (CSL). In the paper text and graphical CSLs are proposed. They are supporting both producing (metacompositions) and application of compositions. Due to research purposes, during the work on the paper, implementation of APE was proposed. It supports design both HW and SW. The user may define description of problem solution with CS. After this, the solution may be translated to HDL code or some software source code. Verilog HDL and C are supported for now. In the case of HW design, the solution looks like Verilog module which conforms Quarus II design software. | |
| local.identifier.udc | 004.021 | |
| local.subject.keywordsen | Adaptive processional environment | |
| local.subject.keywordsen | composition | |
| local.subject.keywordsen | open-closed environment | |
| local.subject.keywordsen | subject-gist relation | |
| local.subject.keywordsen | composition-gist relation | |
| local.thesis.defensedate | 2018 | |
| local.thesis.level | CandTechSci | |
| local.thesis.pages | 191 | |
| local.thesis.specialtyold | 05.13.06 – Інформаційні технології |