Wyniki wyszukiwania - Biblioteka Nauki

Ten serwis zostanie wyłączony 2025-02-11.

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 4

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

A Survay of Foundational Gentzen's Systems for Finitely-Valued Logics

100%

Borowik P.

tom Vol. 4

89-120

The Gentzen system for n-valued logical calculi discussed here is based on the notion of a sequent. However, this notion can be defined in at least three different ways. The first defines a sequent as a finite sequence of formulas (Kirin 1985, Saloni 1972, Orłowska 1985), the second defines it as an ordered n-tuple of finite sequences or sets of formulas (Rousseau 1967, Takahasi 1967, Borowik 1984). The third way consists in defining a sequent as an ordered pair of finite sets or sequences of formulas (Fitting 1991). The assumed definition determines then the form of the rules for eliminating or introducing propositional connectives in a given sequent, and thus also the whole formalization of the system.

Analysis of performance for the DIRECT global optimization algorithm

63%

Borowik P. , Chwastek K.

Prace Instytutu Elektrotechniki

2016

tom Z. 273

55--62

The usefulness of the "branch-and-bound" algorithm for solving chosen optimization problems is considered in the paper. Simulations have been carried out for chosen benchmark tasks with different complexity and number of dimensions.

W pracy dokonano oceny użyteczności algorytmu "branch-and-bound" do rozwiązywania wybranych zadań optymalizacji. Przeprowadzono symulacje dla wybranych zadań testowych o różnej złożoności i liczbie wymiarów.

Wykorzystanie metody Monte Carlo do modelowania właściwości struktur kwantowych laserów kaskadowych

51%

Borowik P. , Adamowicz L. , Thobel J.-L.

2010

tom Vol. 51, nr 10

96-98

Od wielu lat różne realizacje metody Monte Carlo (MC) znajdują zastosowanie jako jedne z najbardziej efektywnych narzędzi teoretycznych pozwalających na ilościowe poznanie właściwości materiałów i urządzeń elektronicznych, również na poziomie uwzględnienia złożonych efektów kwantowych. Wytwarzanie struktur kwantowych laserów kaskadowych (QCL) w Instytucie Technologii Elektronowej stało się dla nas impulsem do wykorzystania metody MC w odniesieniu do modelowania takich struktur półprzewodnikowych. Przeprowadzone badania pozwalają na głębsze poznanie mikroskopowych mechanizmów rządzących transportem elektronów w strukturze QCL. Możliwe jest uzasadnienie teoretyczne powstawania inwersji obsadzeń pomiędzy poziomami laserującymi. Analiza danych pokazuje, w jaki sposób dochodzi do inwersji oraz które poziomy energetyczne struktury mają wpływ na przebieg tego procesu.

For many years different implementations of Monte Carlo method (MC) are used as one of the most effective theoretical tools allowing the guantitative description of materials and electronic device properties. Also complex quantum effects can be included in these studies. Realization of quantum cascade laser (QCL) structures at the Institute of Electron Technology in Warsaw stimulated us to use the MC method for modeling such structures in order to bring a deeper understanding of microscopic mechanisms governing the transport of electrons. We are able to demonstrate the theoretical justification of formation of population inversion between the lasing levels. The data analysis allows us to determine which energy levels take part in the described process.

Preliminary studies evaluating the condition of Quercus robur acorns infected with Ciboria batschiana through electronic nose measurements

38%

Borowik P. , Oszako T. , Malewski T. , Tkaczyk M. , Slusarski S. , Tarakowski R.

nr 10