DSC03331 (3)

100

Automatowa interpretacja funkcjonowania zasobu pozwala na do. kooanie efekt.ywnej formalizacji zmian wartości cech wejściowych i odpowiadających itn zmian wartości cech wyjściowych. Umożliwia ona również badania modelowe w zakresie syntezy procedury posfcę. powania zasobu projektowego - co z kolei pozwala na opracowani* procedury postępowania zasobu transformującego. Pomocnym w tych pracach noże być dobrze rozwinięty aparat teorii automatów [1].

Za pomocą modelu automatowego można opisać dopuszczalne sek-wencje słów wejściowych /wektorów wartości cech wejściowych/ orai odpowiadające im - dopuszczalne sekwencje słów wyjściowych /wektorów wartości cech wyjściowych/. Sekwencje słów wyjściowych ao-gą być określone jako model pożądanego /celowego/ zachowania Się obiektu w świecle rzeczywistym lub też mogą być wynikiem reakcji obiektu traktowanego jako ^Mczarna skrzynka" powstałej pod wpły-jwp wymuszeń zewnętrznych.

Dwa 3łowa /wejściowe lub wyjściowe/ różnią się, jeżeli różnią etę one stanem co najmniej jednego z kanałów. Zalany stanów ta kanałach wejściowych Ł wyjściowych powstają w wyniku zdarzeń wysuszających.

3*3. FOTKCJOflOłAHiF, DEKOMPOZYCJA I SYłłTEZA ZASOBU 3*3*1. Zasada charakteryzacji

Związek funkcjonowania ze strukturą zasobu uznamy za koniocz-ny dla całości prac analityczno-syn te tycznych w zakresie dekompozycji i rozwiązywania zadań projektowych. Pierwsze teoretyczne rozważania dotyczące związków strukturalno-funkcjonalnych przeprowadził V.A. Gorbatow w pracach nad systemami częściowo uporządkowanymi, a zwłaszcza w syntezie struktur logicznych Kontynuacja tych badań doprowadziła do sformułowania i rozwinię-zaaady charakteryzacji dla zadań projektowania systemów or-ganlsecyjoo-technlcznyeh fio] .

Istota zasady charakteryzacji zawiera się we wzajemnej interpretacji modelu funkcjonowania ¥_a pewnego obiektu z modele* jego struktury Vv * *zejawna interpretacja obu modeli uzyskiwana jeat przez dobór uniwersalnych praw "poprawnego" funkcjonowania wyrażonych modelem Vf^₉ którym to prawom pnrplrijm się tzw. obowiązkowe 1 zabronione figury modelu struktury Wijn Najczęściej figury te mają postać grafów i stąd nazywane 9 również figurami grafowymi.

Teoretyczna realizacja określonych zmian wartości cech wyjściowych i wejściowych zasobu /systemu/ uwarunkowana jest Jego strukturą i funkcjonowaniem. Zasób będzie funkcjonował poprawnie* jeżeli między strukturą i regułami funkcjonowania uda elf określić wzajemnie jednoznaczną interpretację wyrażającą się tym, że:

1/ zasób funkcjonuje adekwatnie do jego struktury,

2/ struktura zasobu jest adekwatna do pożądanego funkcjonowania*

Istotę zasady charakteryzacji dla przypadku ogólnego nożna zapisać w postaci zestawienia

<v v ^#8 v>*

gdzie P_Q (V_ftf    ^08t predykatem atomicznym charakteryzującym możliwość interpretacji modelu funkcjonowania    w kategoriach modelu struktury    .

W przypadku dekompozycji i rozwiązywania zadań projektowych zasada charakteryzacji może być sprowadzona do określenia modelu poprawnego funkcjonowania zasobu projektowego, wyrażonego w kategoriach wartości cech wejściowych i wyjściowych z uwzględnieniem kolizji-tych wartości /por.    - a następnie zin

terpretowana w kategoriach dopuszczalnej struktury tego zasobu opisanej modelem V_b • Zadowalającą interpretację uzyska się, jeżeli model funkcjonowania    zapiszemy w postaci aksjo-

matyki poprawnego funkcjonowania, a model struktury g|g; - w postaci zabronionych i obowiązkowych figur grafowych. Warunkiem konleoznym poprawności dekompozycji lub poprawności całego rozwiązania zadania projektowego będzie obecność figur grafowych obowiązkowych 1 brak figur grafowych zabronionych. Dzięki takie-qu podejściu można tworzyć bezbłędne rozwiązania zadań projektowych, unikając m.ln. czasochłonnego i nie gwarantującego poprawności procesu testowania. Praktyczne zastosowanie zasady charakteryzacji w określonej dziedzinie wymaga jednak opracowania adekwatnej teorii, wyrażającej się w szczegółowym określe-