Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: decision function

Sortuj według:

Ogranicz wyniki do:

Określanie priorytetów zmiennych pewnych funkcji decyzyjnych

Wiśniewska J.

Biuletyn Instytutu Systemów Informatycznych

2009

nr 4

59-63

W pracy opisane są dwie metody wyznaczania priorytetów zmiennych pewnych funkcji logicznych (takich, w których zapisie nie występuje negacja). Pierwsza metoda opiera się na wykorzystaniu miary Hamminga w procesie określania priorytetów zmiennych. Ze względu na koniecznośc generowania i przeglądania tablicy prawdy dla badanej funkcji, złożoność czasowa tej metody jest rzędu wykładniczego. Druga proponowana metoda polega na analizowaniu zapisu funkcji w postaci minimalnej formuły sumacyjnej. Daje ona wyniki mniej precyzyjne niż pierwsza wspomniana metoda, ale nie wymaga podania tablicy prawdy dla danego zadania, dzięki czemu jest zazwyczaj mniej złożona czasowo od metody używającej miary Hamminga.

The following thesis describes two methods of finding variables' priorities for some specific logical functions (without any negated variables). The first method is based on Hamming distance and requires a review of examined function's truth table. That makes this method exponentially complex. The second proposed method consists on analyzing function's minimum Boolean formula and it's less precise in variables' qualification than the first mentioned method, but usually it's also less complex.

Komputerowe wspomaganie zarządzania eksploatacją systemów technicznych przy zastosowaniu symulacji cyfrowej. Część II. Adekwatność modelu symulacyjnego systemu.

Kołodziński E.

Zagadnienia Eksploatacji Maszyn

2002

Vol. 37, nr 2

103-116

W pierwszej części artykułu scharakteryzowano symulacyjną metodę badania systemów. Zwrócono uwagę, że istotnym zagadnieniem badawczym jest adekwatność modelu symulacyjnego, które stanowi treść niniejszej części. Sformułowano problem oceny adekwatności modelu symulacyjnego, sprowadzając go na grunt teorii weryfikacji hipotez statystycznych. Zamieszczono procedurę postępowania przy weryfikacji adekwatności modelu symulacyjnego oraz podano podstawowe testy statystyczne użyteczne do oceny.

The aim of the simulation research described in the first part of paper is to calculate the characteristics, the degree of influence of their course of determined factors or to solve optimisation tasks: the calculation of optimum control, optimum structure and so forth. The characteristics of the system functioning are interpreted as expected conditional values of certain quantities of relative factors - independent variables. The characteristics and the solution of optimisation tasks are calculated on the ground of the observation of the simulation model of the system being examined i.e. on the ground of its mathematical model. The consistency of the solution or the characteristics with their real values depends, among other things (sometimes, first of all), one the adequacy of the simulation model of the system being under observation to the processes occured in it. In the most general way, the adequacy valuation consists in the finding of the decision rule which, on the ground of the results of the experiments carried out in the examined system and the realisation of the simulation model, allows to state that: - There is no ground to reject the hypothesis concerning the process carried out in the examined system or; - The obtained results deny the truthfulness of the hypothesis concerning the simulation model adequacy. The methods of the construction of such decision rules, mathematical apparatus and the methods of the settlement of the problems of the simulation model adequacy are the subject of the consideration of the present paper. In the paper the problem of the statistical valuation of the simulation model adequacy has been formulated, the procedure of the adequacy valuation on the ground of the retrospective prediction of the processes occurred in the examined system has been presented and the tests particularly useful for application have been shown.