W referacie pokazano zastosowanie logiki opisowej do opisu wybranych ontologii pojawiajcych si w inynierii oprogramowania, wymagajcych wsparcia ze strony inynierii wiedzy. Omówione zagadnienia to: inynieria wymaga, opis architektury oprogramowania wysokiego poziomu, opis projektu systemu i ontologia kodu programu. Wskazano zastosowanie systemów wnioskujcych (ang. knowledge reasoner) do automatycznego odkrywania wiedzy w systemach...

Przedmiot badań ekonomicznych, jako system złożony, podlega modelowaniu. Etapy dekompozycji i jakościowego opisu modelowanego systemu, w tym systemu gospodarczego, są nieodzowne w prawidłowym prowadzeniu badań naukowych. Z drugiej strony modelowanie w ekonomii nie powinno być pozbawione matematycznego języka opisu, ponieważ konstruując model wyjaśniający, należy posługiwać się zarówno modelem opisowym, jak i sformalizowanym. Tak...

Cel rozprawy stanowi zbudowanie opisowego modelu detalicznych transakcji internetowych, który mógłby w kolejnym etapie badań zostać sformalizowany i jako model wyjaśniający stać się bazą prognozowania odnośnie rynku detalicznego handlu internetowego. Temu celowi podporządkowano jej zakres, w ramach którego dokonano prezentacji historii i definicji pojęć związanych z internetem, omówiono rolę internetu w przedsiębiorczości, podsumowano...

Scharakteryzowano własności oraz fizyczne podstawy działania bezpieczników, ich wady i zalety, a także przedstawiono główne charakterystyki. Uzasadniono różnorodność aktualnie dostępnych rodzajów wkładek. Porównano skutki stosowania zabezpieczeń opartych na wyłącznikach i bezpiecznikach. Wykazano, że bezpieczniki są nadal niezastąpione jako "zabezpieczenie życia", do ograniczania prądów zwarciowych i pomagają w zwalczaniu zapadów...