Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "approximation model" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 38
Tytuł:
Beta Fuzzy Logic Systems: Approximation Properties in the mimo Case
Autorzy:
Alimi, A. M.
Hassine, R.
Selmi, M.
Powiązania:
https://bibliotekanauki.pl/articles/908193.pdf
Data publikacji:
2003
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
informatyka
beta function
universal approximation property
best approximation property
interpolation property
Sugeno fuzzy model
MIMO systems
Opis:
Many researches have been interested in the approximation properties of Fuzzy Logic Systems (FLS), which, like neural networks, can be seen as approximation schemes. Almost all of them tackled the Mamdani fuzzy model, which was shown to have many interesting approximation features. However, only in few cases the Sugeno fuzzy model was considered. In this paper, we are interested in the zero-order Multi-Input-Multi-Output (MIMO) Sugeno fuzzy model with Beta membership functions. This leads to Beta Fuzzy Logic Systems (BFLS). We show that BFLSs are universal approximators. We also prove that they possess the best approximation property and the interpolation characteristic.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2003, 13, 2; 225-238
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Beta Fuzzy Logic Systems: Approximation Properties in the Siso Case
Autorzy:
Alimi, A. M.
Hassine, R.
Selmi, M.
Powiązania:
https://bibliotekanauki.pl/articles/911157.pdf
Data publikacji:
2000
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
funkcja beta
własność aproksymacyjna
model rozmyty
beta function
universal approximation property
best approximation property
interpolation property
Sugeno fuzzy model
SISO systems
Opis:
In this paper, a Single-Input Single-Output (SISO) Sugeno fuzzy model of the zeroth order with Beta membership functions for input variables is adopted. After the introduction of Beta Fuzzy Logic Systems (BFLS) a constructive theory is developed to establish the fact that they are universal approximators. Based on this theory, an algorithm, which can actually construct a BFLS approximating a given continuous function with an arbitrary degree of accuracy, is described. We then show that BFLSs satisfy more critical properties which are the best approximation property and the interpolation property. We complete the paper with a series of numerical comparisons between the approximation performances of BFLSs and other classes of widely used fuzzy logic systems. These comparisons confirm that BFLSs perform best in all the cases studied.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2000, 10, 4; 857-875
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Beta neuro-fuzzy systems
Autorzy:
Alimi, A. M.
Powiązania:
https://bibliotekanauki.pl/articles/1931568.pdf
Data publikacji:
2003
Wydawca:
Politechnika Gdańska
Tematy:
beta function
kernel based neural networks
Sugeno fuzzy model
neuro-fuzzy systems
universal approximation property
learning algorithms
incremental learning
Opis:
In this paper we present the Beta function and its main properties. A key feature of the Beta function, which is given by the central-limit theorem, is also given. We then introduce a new category of neural networks based on a new kernel: the Beta function. Next, we investigate the use of Beta fuzzy basis functions for the design of fuzzy logic systems. The functional equivalence between Beta-based function neural networks and Beta fuzzy logic systems is then shown with the introduction of Beta neuro-fuzzy systems. By using the SW theorem and expanding the output of the Beta neuro-fuzzy system into a series of Beta fuzzy-based functions, we prove that one can uniformly approximate any real continuous function on a compact set to any arbitrary accuracy. Finally, a learning algorithm of the Beta neuro-fuzzy system is described and illustrated with numerical examples.
Źródło:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 2003, 7, 1; 23-41
1428-6394
Pojawia się w:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Approximate state-space and transfer function models for 2x2 linear hyperbolic systems with collocated boundary inputs
Autorzy:
Bartecki, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/330464.pdf
Data publikacji:
2020
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
distributed parameter system
hyperbolic equations
approximation model
state space
transfer function
układ o parametrach rozłożonych
równanie hiperboliczne
model aproksymacyjny
przestrzeń stanu
funkcja przesyłowa
Opis:
Two approximate representations are proposed for distributed parameter systems described by two linear hyperbolic PDEs with two time- and space-dependent state variables and two collocated boundary inputs. Using the method of lines with the backward difference scheme, the original PDEs are transformed into a set of ODEs and expressed in the form of a finite number of dynamical subsystems (sections). Each section of the approximation model is described by state-space equations with matrix-valued state, input and output operators, or, equivalently, by a rational transfer function matrix. The cascade interconnection of a number of sections results in the overall approximation model expressed in finite-dimensional state-space or rational transfer function domains, respectively. The discussion is illustrated with a practical example of a parallel-flow double-pipe heat exchanger. Its steady-state, frequency and impulse responses obtained from the original infinite-dimensional representation are compared with those resulting from its approximate models of different orders. The results show better approximation quality for the “crossover” input–output channels where the in-domain effects prevail as compared with the “straightforward” channels, where the time-delay phenomena are dominating.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2020, 30, 3; 475-491
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On finite deformations of spatially curved bisymmetric thin-walled rods
O skończonych odkształceniach bisymetrycznych, zakrzywionych przestrzennie belek o przekroju cienkościennym
Autorzy:
Bijak, R.
Kołodziej, G.
Powiązania:
https://bibliotekanauki.pl/articles/230162.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
belka zakrzywiona w przestrzeni
belka cienkościenna
przekrój bisymetryczny
odkształcenie
aproksymacja
obroty skończone
model Reissnera
hipoteza Bernoulliego
space-curved rod
thin-walled rod
bisymmetric cross-section
deformation
approximation
finite rotations
Reissner model
Bernoulli hypothesis
Opis:
Deriving the formulas for strain components, we are assuming, that cross-section of a rod being rotated in space during deformation does not need to be perpendicular to deformed centroid line. This not a quite intuitive assumption allows for more compact and easier formulas for strain tensor or equilibrium equations. Derived transformations between actual and initial coordinate system, components of strain tensor and virtual works principle for investigated spatially curved beams of bisymmetric cross-section are shown in this paper. Conformity with other models from referenced literature is also shown.
W pracy przedstawiono geometrycznie nieliniową teorię wstępnie skręconych i zakrzywionych pryzmatycznych prętów cienkościennych o bisymetrycznym przekroju poprzecznym. Jest ona modyfikacją teorii przedstawionej w Abaqus Theory Manual [5]. Polega na zastąpieniu teorii [5] uwzględniającej, że w trakcie deformacji mogą wystąpić skończone obroty przekroju poprzecznego, inżynierską teorią ograniczoną do małych obrotów (ok. 0,3 rad). W konstrukcjach budowlanych, stan graniczny użytkowania wyklucza w praktyce pozostałe przypadki. To uproszczenie sprawia, że możemy sformułować inżynierską teorię, otrzymując wyniki zbliżone do otrzymanych w programie Abaqus [5]. Przedstawiono zmodyfikowane wzory na składowe odkształcenia Greena-Lagrange’a wstępnie skręconego i zakrzywionego w przestrzeni pręta cienkościennego przyjmując założenie, że 1) przekroje poprzeczne podlegające obrotom w przestrzeni w trakcie deformacji, nie muszą pozostawać prostopadłe do krzywej wyznaczonej przez środki ciężkości, 2) deformacja paczenia jest opisana przez niezależną od kąta skręcenia funkcję paczenia [5]. Do opisu obrotów przekroju poprzecznego wykorzystano aproksymację rzędu drugiego (2.15, 4.2). Prezentowane sformułowanie pozwala na wyprowadzenie praktycznie każdej z inżynierskich teorii prętów o przekroju cienkościennym przedstawionych w cytowanej literaturze problemu.
Źródło:
Archives of Civil Engineering; 2016, 62, 1; 25-36
1230-2945
Pojawia się w:
Archives of Civil Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Symulacja komputerowa parametrów wytrzymałościowych gleby na bazie modeli Janosi-Hanamoto oraz Coulomba-Mohra
The computer simulation of the soil strength parameters on the basis of the Janosi-Hanamato and the Coulomb-Mohr models
Autorzy:
Błaszkiewicz, Z.
Szafarz, A.
Powiązania:
https://bibliotekanauki.pl/articles/287587.pdf
Data publikacji:
2008
Wydawca:
Polskie Towarzystwo Inżynierii Rolniczej
Tematy:
gleba
ścinanie bezpośrednie
model
program komputerowy
aproksymacja
soil
direct shear test
computer program
approximation
Opis:
W pracy przedstawiono program komputerowy do wyznaczania parametrów wytrzymałościowych gleby i symulacji zależności naprężeń ścinających od poziomego odkształcenia gleby obliczanej na bazie modeli Janosi-Hanamoto i Coulomba-Mohra. W badaniach symulacyjnych wykazano, że modele dobrze opisują nowe zależności naprężeń ścinających od poziomego odkształcenia gleby uzyskane metodą zmodyfikowaną w aparacie bezpośredniego ścinania przy narastających naprężeniach normalnych. Testy zostały przeprowadzone dla wilgotności gleby 4% wag. i dla maksymalnych naprężeń normalnych 70 i 130 kPa.
The paper presents a computer application used to determine soil strength parameters and to simulate relations between shearing stresses and horizontal soil strain, computed using the Janosi- Hanamoto and Coulomb-Mohr models. Simulation tests have proven that these models characterize well new relations between shearing stresses and horizontal soil strain, obtained using the modified method in a direct shear apparatus at growing normal stress values. The tests were performed for soil humidity 4% by weight, and for maximum normal stress values of 70 and 130 kPa.
Źródło:
Inżynieria Rolnicza; 2008, R. 12, nr 7(105), 7(105); 15-21
1429-7264
Pojawia się w:
Inżynieria Rolnicza
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On Mean Squared Error of Hierarchical Estimator
Autorzy:
Brodowski, Stanisław
Powiązania:
https://bibliotekanauki.pl/articles/1373498.pdf
Data publikacji:
2011
Wydawca:
Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:
Hierarchial Estimator
hierarchical model
regression
function approximation
error
theorem
Opis:
In this paper a new theorem about components of the mean squared error of Hierarchical Estimator is presented. Hierarchical Estimator is a machine learning meta-algorithm that attempts to build, in an incremental and hierarchical manner, a tree of relatively simple function estimators and combine their results to achieve better accuracy than any of the individual ones. The components of the error of a node of such a tree are: weighted mean of the error of the estimator in a node and the errors of children, a non-positive term that descreases below 0 if children responses on any example dier and a term representing relative quality of an internal weighting function, which can be conservatively kept at 0 if needed. Guidelines for achieving good results based on the theorem are brie discussed.
Źródło:
Schedae Informaticae; 2011, 20; 83-99
0860-0295
2083-8476
Pojawia się w:
Schedae Informaticae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Development of a topology-based current-flux characteristic approximation in a Hamiltonian model of a reluctance machine
Autorzy:
Burlikowski, W.
Kowalik, Z.
Powiązania:
https://bibliotekanauki.pl/articles/141438.pdf
Data publikacji:
2015
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
Hamiltonian model
simplicial approximation
reluctance machine
triangulation refinement
Opis:
The paper presents an algorithm for the construction of an approximation of a highly nonlinear current-flux characteristic of a synchronous reluctance machine. Such an approximation is required in a Hamiltonian model of an electric machine and the constructed approximation is suited to be used in such a model. It employs a simplicial approximation based on irregular points sets in the spaces of currents and fluxes. The sets are constructed by the iterative insertion of new points. Initially the sets contain an arbitrarily small number of elements. The insertion is based on an approximation error calculation. Based on the sets containing possibly small number of elements, the proposed procedure leads to smooth and precise approximation. Due to the nonlinearity of the approximated characteristics, ambiguities can occur. A method for the triangulation refinement of the sets of currents and fluxes that eliminates them is also presented. In the paper, a reluctance machine model using the constructed approximation is described and compared with a model using the approximation based on regular sets.
Źródło:
Archives of Electrical Engineering; 2015, 64, 2; 277-289
1427-4221
2300-2506
Pojawia się w:
Archives of Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Perturbation series for Jacobi matrices and the quantum Rabi model
Autorzy:
Charif, Mirna
Zielinski, Lech
Powiązania:
https://bibliotekanauki.pl/articles/2051897.pdf
Data publikacji:
2021
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
Jacobi matrix
unbounded self-adjoint operators
quasi-degenerate eigenvalue perturbation
perturbation series
quantum Rabi model
rotating wave approximation
Opis:
We investigate eigenvalue perturbations for a class of infinite tridiagonal matrices which define unbounded self-adjoint operators with discrete spectrum. In particular we obtain explicit estimates for the convergence radius of the perturbation series and error estimates for the Quantum Rabi Model including the resonance case. We also give expressions for coefficients near resonance in order to evaluate the quality of the rotating wave approximation due to Jaynes and Cummings. .
Źródło:
Opuscula Mathematica; 2021, 41, 3; 303-333
1232-9274
2300-6919
Pojawia się w:
Opuscula Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Transportation Cost Optimization of an Online Business Applying Vogel’s Approximation Method
Autorzy:
Debapriya, Banik
Hasan, Md. Zahid
Powiązania:
https://bibliotekanauki.pl/articles/1178001.pdf
Data publikacji:
2018
Wydawca:
Przedsiębiorstwo Wydawnictw Naukowych Darwin / Scientific Publishing House DARWIN
Tematy:
Cost optimization
Transportation model
Vogel’s approximation method
‘C’ program
Opis:
Red Tech. BD, an online based business company intended to spread their business over whole Rajshahi District. As there is no cost for manufacturing the only factor that can maximize the profit is the product transportation cost. Determination of the optimum & reliable transportation medium was the first challenge. A suitable destination for distributing the products in the selected location has been chosen carefully on the basis of demand & minimum rent of warehouse. First, the mathematical model has been formed & then it has been solved by a program written in ‘C’ programming language. The program can show the result of the optimum amount of supply with the corresponding destination together in a single output. Verification of the program or ‘code’ has been done with the help of hand calculation. The company can determine the supply unit with destination to minimize the transportation cost before every shifting of products from warehouse to the destination.
Źródło:
World Scientific News; 2018, 96; 179-190
2392-2192
Pojawia się w:
World Scientific News
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Phase Diagrams of the Excitonic Insulator State: Analyzing the Excitonic Susceptibility
Autorzy:
Do, Thi Hong Hai
Nguyen, Thi Hau
Powiązania:
https://bibliotekanauki.pl/articles/2019421.pdf
Data publikacji:
2021
Wydawca:
Polskie Towarzystwo Przeróbki Kopalin
Tematy:
unrestricted Hartree-Fock approximation
Falicov-Kimball model
excitonic insulator
excitonic susceptibility
rare-earth chalcogenide
izolatory
model Falicova-Kimballa
materiały rzadkie
Opis:
In this paper, the formation of the excitonic insulator state in the rare-earth chalcogenides has been investigated through the extended Falicov-Kimball model. Adapting the unrestricted Hartree-Fock approximation, we have derived a set of explicitly self-consistent equations determining expectation values and the excitonic susceptibility in the system. Analyzing the excitonic susceptibility, we have established phase diagrams of the excitonic insulator state depending on the model parameters. The phase structures confirmed the excitonic insulator state is found at low temperature and between two critical values of the Coulomb interaction. The effect of the external pressure on the formation of the excitonic insulator state is also shown.
Źródło:
Inżynieria Mineralna; 2021, 2; 199--206
1640-4920
Pojawia się w:
Inżynieria Mineralna
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Development of an Approximation Model of Selected Properties of Model Materials Used for Simulations of Bulk Metal Plastic Forming Processes Using Induction of Decision Trees
Autorzy:
Hawryluk, M.
Wilk-Kołodziejczyk, D.
Regulski, K.
Głowacki, M.
Powiązania:
https://bibliotekanauki.pl/articles/351927.pdf
Data publikacji:
2019
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
regression tree induction
properties approximation
physical modelling
soft model materials
Opis:
The article discusses the development of an approximation model of selected plastic and mechanical properties obtained from compression tests of model materials used in physical modeling. The use of physical modeling with the use of soft model materials such as a synthetic wax branch with various modifiers is a popular tool used as an alternative or verification of numerical modeling of bulk metal forming processes. In order to develop an algorithm to facilitate the choice of material model to simulate the behavior of real-metallic materials used in industrial production processes the induction of decision trees was used. First of all, the Statistica program was used for data mining, which made it possible to determine / find the relationship between the percentage of particular constituents of the model material (base material and modifiers) and yield strength, critical and maximum strain, and provide the opportunity to indicate the most important variables determining the shape of the stress - strain curve. Next, using the induction of decision trees, an approximation model was developed, which allowed to create an algorithm facilitating the selection of individual modifying components. The last stage of the research was verification of the correctness of the developed algorithm. The obtained research results indicate the possibility of using decision tree induction to approximate selected properties of modeling materials simulating the behavior of real materials, thus eliminating the need for costly and time-consuming experiments carried out on metallic material.
Źródło:
Archives of Metallurgy and Materials; 2019, 64, 3; 1073-1085
1733-3490
Pojawia się w:
Archives of Metallurgy and Materials
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Variational Approximations for Selecting Hierarchical Models of Circular Data in a Small Area Estimation Application
Autorzy:
Hernandez-Stumpfhauser, Daniel
Breidt, F. Jay
Opsomer, Jean D.
Powiązania:
https://bibliotekanauki.pl/articles/465673.pdf
Data publikacji:
2016
Wydawca:
Główny Urząd Statystyczny
Tematy:
deviance information criterion Laplace approximation
model selection
projected normal distribution
Opis:
We consider hierarchical regression models for circular data using the projected normal distribution, applied in the development of weights for the Access Point Angler Intercept Survey, a recreational angling survey conducted by the US National Marine Fisheries Service. Weighted estimates of recreational fish catch are used in stock assessments and fisheries regulation. The construction of the survey weights requires the distribution of daily departure times of anglers from fishing sites, within spatio-temporal domains subdivided by the mode of fishing. Because many of these domains have small sample sizes, small area estimation methods are developed. Bayesian inference for the circular distributions on the 24-hour clock is conducted, based on a large set of observed daily departure times from another National Marine Fisheries Service study, the Coastal Household Telephone Survey. A novel variational/Laplace approximation to the posterior distribution allows fast comparison of a large number of models in this context, by dramatically speeding up computations relative to the fast Markov Chain Monte Carlo method while giving virtually identical results.
Źródło:
Statistics in Transition new series; 2016, 17, 1; 91-104
1234-7655
Pojawia się w:
Statistics in Transition new series
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modification of Bragg-Williams approximation applied in Jacksons model of crystal growth
Modyfikacja przybliżenia Bragga-Williamsa w modelu Jacksona wzrostu kryształów
Autorzy:
Izdebski, M.
Powiązania:
https://bibliotekanauki.pl/articles/296467.pdf
Data publikacji:
2010
Wydawca:
Politechnika Łódzka. Wydawnictwo Politechniki Łódzkiej
Tematy:
przybliżenie Bragga-Williamsa
model wzrostu kryształów Jacksona
symulacja Monte Carlo
Bragg-Williams approximation
Jackson's model of crystal growth
Monte Carlo simulations
Opis:
Results of Monte Carlo simulations for single-layer solid-fluid interface were compared with Bragg-Williams approximation, which describes the number of bonds between solid and fluid cells in Jackson's crystal growth model. The comparison shows that Bragg-Williams approximation produces much higher values than those resulting from simulations. The use of better approximations based on the results of the simulation does not lead directly to improvement of predictions given by Jackson's model, but rather reveals further problems. In particular, the estimation of entropy seems to be also very overvalued. Monte Carlo simulations were used also to investigate the number of stable states of a single boundary layer for various crystal growth conditions. The results obtained differ significantly from those resulting from the analysis of free energy minima in Jackson's model, but are in good agreement with the results of multi-layer simulations.
Wyniki symulacji Monte Carlo dla jednowarstwowej granicy faz porównano z przybliżeniem Bragga-Williamsa, które w modelu Jacksona wzrostu kryształów opisuje liczbę wiązań między blokami stałymi i ciekłymi. Porównanie to pokazało, ze przybliżenie Bragga-Williamsa daje znacznie większe wartości od tych otrzymanych na podstawie symulacji. Zastosowanie lepszego przybliżenia opartego na wynikach symulacji nie prowadzi wprost do poprawy przewidywań modelu Jacksona, lecz raczej ujawnia kolejne problemy. W szczególności oszacowanie entropii wydaje się także bardzo zawyżone. Symulacje Monte Carlo zastosowano także do zbadania liczby stanów stabilnych pojedynczej warstwy granicznej w zależności od warunków wzrostu kryształu. Uzyskane wyniki różnią się znacznie od tych wynikających z analizy liczby minimów energii swobodnej w modelu Jacksona, natomiast pozostają w dobrej zgodności z wynikami symulacji wielowarstwowych.
Źródło:
Scientific Bulletin. Physics / Technical University of Łódź; 2010, 31; 25-36
1505-1013
2449-982X
Pojawia się w:
Scientific Bulletin. Physics / Technical University of Łódź
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Underapproximating ATL with Imperfect Information and Imperfect Recall
Dolna Aproksymacja Bezpamięciowego ATL o Niepełnej Informacji
Autorzy:
Jamroga, W.
Knapik, M.
Powiązania:
https://bibliotekanauki.pl/articles/182675.pdf
Data publikacji:
2015
Wydawca:
Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:
ATL
model checking
approximation
weryfikacja
aproksymacja
Opis:
We investigate the correspondence between model checking of af-AMCi and ATLir , on the example of reachability. We identify some of the reasons for the fact that these logics are of uncomparable expressivity. These observations form the basis for a novel method for underapproximating ATLir by means of fixed-point calculations. We introduce a special version of the next-step operator, called Persistent Imperfect Next-Step Operator h_iF and show how it can be used to define a new version of reachability that carries to ATLir.
W pracy badane są związki pomiędzy weryfikacją modelową Bezpamięciowej Logiki Temporalnej Czasu Alternującego z Niepełną Informacją ATLir i Epistemicznego Alternującego Mu-Rachunku af-AMCi. Jak pokazano, naturalne uogólnienia pojęcia osiągalności z ATLir -a do af-AMCi nie przynoszą dobrych efektów: osiągalność w af-AMCi nie pociąga za sobą osiągalności w ATLir . Po zidentyfikowaniu części powodów, dla których tak się dzieje, zaproponowano nową wersję operatora następnego kroku, który pozwala na przybliżanie osiągalności w ATLir przy pomocy obliczeń stałopunktowych.
Źródło:
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk; 2015, 1032; 1-16
0138-0648
Pojawia się w:
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 38

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies