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ę "SAT" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 17
Tytuł:
Using BOINC desktop grid to solve large scale SAT problems
Autorzy:
Posypkin, M.
Semenov, A.
Zaikin, O.
Powiązania:
https://bibliotekanauki.pl/articles/305605.pdf
Data publikacji:
2012
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
desktop grid
Boolean satisfiability problem (SAT)
SAT
volunteer computing
BOINC
Opis:
Many practically important combinatorial problems can be efficiently reduced to a problem of Boolean satisfiability (SAT). Therefore, the implementation of distributed algorithms for solving SAT problems is of great importance. In this article we describe a technology for organizing desktop grid, which is meant for solving SAT problems. This technology was implemented in the form of a volunteer computing project SAT@home based on a popular BOINC platform.
Źródło:
Computer Science; 2012, 13 (1); 25-34
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza niezawodności systemu łączności alarmowo-rozgłoszeniowej na przykładzie systemu SAT
The reliability analysis of an alarm and communication system based on the SAT system
Autorzy:
Miśkiewicz, K.
Wojaczek, A.
Wojtas, P.
Powiązania:
https://bibliotekanauki.pl/articles/186346.pdf
Data publikacji:
2010
Wydawca:
Sieć Badawcza Łukasiewicz - Instytut Technik Innowacyjnych EMAG
Tematy:
bezpieczeństwo
system łączności alarmowo-rozgłoszeniowej
system SAT
alarm and communication system
safety
SAT system
Opis:
System łączności alarmowo-rozłoszeniowej jest ważny z punktu widzenia bezpiecznego funkcjonowania podziemnych zakładów górniczych i z tego względu istotna jest znajomość jego niezawodności. Referat jest próbą oceny niezawodności systemu łączności alarmowo-rozgłoszeniowej na podstawie rejestracji zdarzeń w komputerach będących składnikiem takiego systemu. W referacie przedstawiono strukturę niezawodnościową systemu SAT oraz wybrane parametry niezawodnościowe takie jak intensywność uszkodzeń [lambda], intensywność odnowy [mi], współczynnik gotowości poszczególnych elementów systemu SAT, obliczone w dwóch różnych kopalniach i w różnych okresach eksploatacji systemu.
An alarm and communication system is important for the safety of underground mines and that is why it is necessary to get familiar with its reliability. The article is an attempt to assess the reliability of an alarm and communication system based on the registration of events in the computers which are part of such a system. The article features the reliability structure of the SAT system along with selected reliability parameters, such as the intensity of damages [lambda], intensity of recovery [mi], readiness coefficient of particular elements of the SAT system - calculated in two separate mines and in two different periods of the system exploitation.
Źródło:
Mechanizacja i Automatyzacja Górnictwa; 2010, R. 48, nr 11, 11; 25-30
0208-7448
Pojawia się w:
Mechanizacja i Automatyzacja Górnictwa
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The Solution of SAT Problems Using Ternary Vectors and Parallel Processing
Autorzy:
Posthoff, C.
Steinbach, B.
Powiązania:
https://bibliotekanauki.pl/articles/226241.pdf
Data publikacji:
2011
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
SAT solver
ternary vector
parallel processing
XBOOLE
Opis:
This paper will show a new approach to the solution of SAT-problems. It has been based on the isomorphism between the Boolean algebras of finite sets and the Boolean algebras of logic functions depending on a finite number of binary variables. Ternary vectors are the main data structure representing sets of Boolean vectors. The respective set operations (mainly the complement and the intersection) can be executed in a bit-parallel way (64 bits at present), but additionally also on different processors working in parallel. Even a hierarchy of processors, a small set of processor cores of a single CPU, and the huge number of cores of the GPU has been taken into consideration. There is no need for any search algorithms. The approach always finds all solutions of the problem without consideration of special cases (such us no solution, one solution, all solutions). It also allows to include problem-relevant knowledge into the problem-solving process at an early point of time. Very often it is possible to use ternary vectors directly for the modeling of a problem. Some examples are used to illustrate the efficiency of this approach (Sudoku, Queen's problems on the chessboard, node bases in graphs, graph-coloring problems, Hamiltonian and Eulerian paths etc.).
Źródło:
International Journal of Electronics and Telecommunications; 2011, 57, 3; 233-249
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Comparing sat-based bounded model checking rtectl and ectl properties
Autorzy:
Zbrzezny, A. M.
Powiązania:
https://bibliotekanauki.pl/articles/297995.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Warmińsko-Mazurski w Olsztynie
Tematy:
SAT
bounded model checking
ECTL
RTECTL
translation
Opis:
We compare two SAT-based bounded model checking algorithms for the properties expressed in the existential fragment of a soft real-time computation tree logic (RTECTL) and in the existential fragment of computation tree logic (ECTL). To this end, we use the generic pipeline paradigm (GPP) and the train controller system (TC), the classic concurrency problems, which we formalise by means of a finite transition system. We consider several properties of the problems that can be expressed in both RTECTL and ECTL, and we present the performance evaluation of the mentioned bounded model checking methods by means of the running time and the memory used.
Źródło:
Technical Sciences / University of Warmia and Mazury in Olsztyn; 2017, 20(2); 131-147
1505-4675
2083-4527
Pojawia się w:
Technical Sciences / University of Warmia and Mazury in Olsztyn
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Unbounded Model Checking for ATL
Autorzy:
Kański, Michał
Niewiadomski, Artur
Kacprzak, Magdalena
Penczek, Wojciech
Nabiałek, Wojciech
Powiązania:
https://bibliotekanauki.pl/articles/2175150.pdf
Data publikacji:
2021
Wydawca:
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
Tematy:
ATL
temporal logics
model checking
SAT
SMT
QBF
Opis:
In this paper, we deal with verification of multi-agent systems represented as concurrent game structures. To express properties to be verified, we use Alternating-Time Temporal Logic (ATL) formulas. We provide an implementation of symbolic model checking for ATL and preliminary, but encouraging experimental results.
Źródło:
Studia Informatica : systems and information technology; 2021, 1-2(25); 5--22
1731-2264
Pojawia się w:
Studia Informatica : systems and information technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
From arithmetic expressions to propositional formulae
Autorzy:
Stępień, L.
Stępień, M. R.
Powiązania:
https://bibliotekanauki.pl/articles/121623.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:
algebra liniowa
programowanie deklaratywne
SAT solver
linear algebra
declarative programming
Opis:
In papers [3], [4], [5] Authors presented a new method of solving some kinds of computational tasks in the area of linear algebra by applying SAT-solver as the highly optimized algorithms for solving the problem of propositional satisfiability. On input SAT-solver (cf. [1], [2]) takes a propositional formula in the clause form. In this paper we show in detail how any arithmetical expression can be translated into propositional formula in the CNF form skipping out its traditional form. For this, we define the notion of consistency of arithmetic and boolean valuations.
Źródło:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2016, 21; 135-143
2450-9302
Pojawia się w:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Selection of search strategies for solving 3-SAT problems
Autorzy:
Pułka, A.
Powiązania:
https://bibliotekanauki.pl/articles/330562.pdf
Data publikacji:
2014
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
SAT solving
formal verification
CNF
Boolean satisfiability
badanie spełnialności logicznej
weryfikacja formalna
Opis:
The paper concerns the problem of Boolean satisfiability checking, which is recognized as one of the most important issues in the field of modern digital electronic system verification and design. The paper analyzes different strategies and scenarios of the proving process, and presents a modified and extended version of the author’s FUDASAT algorithm. The original FUDASAT methodology is an intuitive approach that employs a commonsense reasoning methodology. The main objective of the work is to investigate the SAT-solving process and try to formulate a set of rules controlling the reasoning process of the FUDASAT inference engine. In comparison with the author’s previous works, the paper introduces new mechanisms: hypergraph analysis, multiple variable assignments and search space pruning algorithms. The approach considers only 3-SAT class functions, although a generalization of the method is discussed as well. The presented approach has been tested on various benchmarks and compared with the original pure FUDASAT algorithm as well as with other algorithms known from the literature. Finally, the benefits of the proposed SAT solving technique are summarized.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2014, 24, 2; 283-297
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
SAT-based cryptanalysis of modified versions of Feistel Network
Autorzy:
Dudek, P.
Kurkowski, M.
Powiązania:
https://bibliotekanauki.pl/articles/121634.pdf
Data publikacji:
2011
Wydawca:
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:
Feistel network
sat-based cryptanalysis
cryptographic functions
sieć Feistela
satelitarna kryptoanaliza
funkcje kryptograficzne
Opis:
It is well known that Feistel Network (FN) is the foundation of many symmetric ciphers used in practice. In this paper we present some remarks and experimental results on SAT based cryptanalysis of several modified versions of FN. We investigate different cryptographic functions used in FN schema for better understanding their properties from a security point of view. In our work we study the notions widely used in many ciphers: the xor function, bits rotations, permutations and S-boxes.
Źródło:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2011, 16; 103-110
2450-9302
Pojawia się w:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Algorithmic Aspects of the Independent 2-Rainbow Domination Number and Independent Roman {2}-Domination Number
Autorzy:
Poureidi, Abolfazl
Rad, Nader Jafari
Powiązania:
https://bibliotekanauki.pl/articles/32312036.pdf
Data publikacji:
2022-08-01
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
independent 2-rainbow dominating function
independent Roman {2}-dominating function
algorithm
3-SAT
Opis:
A 2-rainbow dominating function (2RDF) of a graph $G$ is a function $g$ from the vertex set $V (G)$ to the family of all subsets of $ \{1, 2\}$ such that for each vertex $v$ with $g(v) =\emptyset $ we have \( \bigcup_{u∈N(v)} g(u) = \{ 1, 2 \} \). The minimum of $ g(V (G)) = \Sigma_{v \in V (G)} |g(v)| $ over all such functions is called the 2-rainbow domination number. A 2RDF $g$ of a graph $G$ is independent if no two vertices assigned non empty sets are adjacent. The independent 2-rainbow domination number is the minimum weight of an independent 2RDF of $G$. A Roman {2}-dominating function (R2DF) $ f : V \rightarrow \{ 0, 1, 2 \} $ of a graph $G = (V, E)$ has the property that for every vertex $ v \in V$ with $f(v) = 0$ either there is $ u \in N(v)$ with $f(u) = 2$ or there are $x, y \in N(v)$ with $f(x) = f(y) = 1$. The weight of $f$ is the sum $f(V) = \Sigma_{v \in V} f(v) $. An R2DF $f$ is called independent if no two vertices assigned non-zero values are adjacent. The independent Roman {2}-domination number is the minimum weight of an independent R2DF on $G$. We first show that the decision problem for computing the independent 2-rainbow (respectively, independent Roman {2}-domination) number is NP-complete even when restricted to planar graphs. Then, we give a linear algorithm that computes the independent 2-rainbow domination number as well as the independent Roman {2}-domination number of a given tree, answering problems posed in [M. Chellali and N. Jafari Rad, Independent 2-rainbow domination in graphs, J. Combin. Math. Combin. Comput. 94 (2015) 133–148] and [A. Rahmouni and M. Chellali, Independent Roman {2}-domination in graphs, Discrete Appl. Math. 236 (2018) 408–414]. Then, we give a linear algorithm that computes the independent 2-rainbow domination number of a given unicyclic graph.
Źródło:
Discussiones Mathematicae Graph Theory; 2022, 42, 3; 709-726
2083-5892
Pojawia się w:
Discussiones Mathematicae Graph Theory
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Question of Identity in the Life and Works of Sat-Okh (Long Feather)
Zagadnienie tożsamości w życiu i twórczości Sat-Okha
Autorzy:
Leszman, Milena
Powiązania:
https://bibliotekanauki.pl/articles/1179297.pdf
Data publikacji:
2020-11-24
Wydawca:
Ateneum - Akademia Nauk Stosowanych w Gdańsku
Tematy:
sat-okh
identity
indian heritage
native americans
canada
tożsamość
dziedzictwo indian
rdzenni amerykanie
kanada
Opis:
Sat-Okh (Stanisław Supłatowicz) was an Indian-Polish writer who popularised the culture of North American Indigenous People in Poland during the Cold War and afterwards. His incredible biography evokes questions about the nature of his identity. Born of an Indian chief and a Polish mother around 1922 in the territory of Alberta, Sat-Okh grew up as a Shawnee. When his mother decided to return to Poland, he followed, but until his death in Gdańsk in 2003, Sat-Okh consistently identified with his Indigenous heritage. During WWII he escaped from a train to Auschwitz and joined the AK (The Home Army). He became famous for numerous books and short stories about his life with the Indians, which were translated into many languages. He was also strongly involved in the Polish-Indian Movement and promoted the culture of his native ancestors. This paper aims to present the life and work of Sat-Okh with regard to his mysterious identity. Recently, there has been some doubt whether Sat-Okh's biography is genuine. However, I would like to argue that Long Feather's phenomenon proves the fact that regardless of whether he was a true Shawnee or not, Sat-Okh chose to identify himself as Indian and consistently presented himself as one. He taught Poles about Indian traditions and gained a tremendous respect which has lasted until today.
Sat-Okh (Stanisław Supłatowicz, Długie Pióro) był pisarzem i popularyzatorem kultury Indian północnoamerykańskich w Polsce. Jego niewiarogodny życiorys skłania do kwestionowania tożsamości tego Polaka-Indianina. Urodził się ok. 1922 r. na terenie Kanandy jako syn Polki i wodza Indian i przez pierwsze lata życia wychowywał się w plemieniu Szaunisów. Do Polski przybył wraz z matką po pierwszej wojnie światowej, ale do końca życia identyfikował się jako rdzenny Amerykanin. Podczas drugiej wojny światowej uciekł z transportu do Oświęcimia, po czym wstąpił do AK. Po wojnie stał się sławnym pisarzem publikacji o życiu Indian, a jego książki były tłumaczone na wiele języków. Sat-Okh był bardzo związany z Polskim Stowarzyszeniem Przyjaciół Indian i angażował się w promowanie kultury swoich przodków. Poniższy artykuł ma na celu zaprezentowanie postaci Sat-Okh'a w odniesieniu do jego tajemniczej tożsamości. Pomimo nieścisłości w biografii Supłatowicza, niniejsza publikacja przedstawia Sat-Okh'a jako człowieka, który stworzył własny wizerunek i konsekwentnie prezentował siebie jako Indianina. Sat-Okh to Indianin z wyboru, który propagował kulturę kanadyjskich przodków ciesząc się wielkim szacunkiem wśród polskiego społeczeństwa aż do śmierci w 2003 roku.
Źródło:
Forum Filologiczne Ateneum; 2020, 8, 1; 417-425
2353-2912
2719-8537
Pojawia się w:
Forum Filologiczne Ateneum
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
SAT-based searching for k-quasi-optimal runs in weighted timed automata
Autorzy:
Woźna-Szcześniak, B.
Zbrzezny, A.
Powiązania:
https://bibliotekanauki.pl/articles/121744.pdf
Data publikacji:
2010
Wydawca:
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:
SAT
timed automata
air traffic control problem
reachability problem
automat czasowy
problem kontroli ruchu lotniczego
problem osiągalności
Opis:
In the paper we are concerned with an optimal cost reachability problem for weighted timed automata, and we use a translation to SAT to solve the problem. In particular, we show how to find a run of length k ∈ IN that starts at the initial state and terminates at a state containing a target location, its total cost belongs to the interval [c,c+1), for some natural number c ∈ IN, and the cost of each other run of length k, which also leads from the initial state to a state containing the target location, is greater or equal to c. This kind of runs is called k-quasi-optimal. We exemplify the use of our solution to the mentioned problem by means of the air traffic control problem, and we provide some preliminary experimental results.
Źródło:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2010, 15; 163-176
2450-9302
Pojawia się w:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie technik algebraicznych w kryptoanalizie różnicowej na przykadzie szyfru blokowego DES
Application of algebraic techniques in differential cryptanalysis against block cipher DES
Autorzy:
Gąsecki, A.
Misztal, M.
Powiązania:
https://bibliotekanauki.pl/articles/209745.pdf
Data publikacji:
2011
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
kryptologia
kryptoanaliza
szyfr blokowy
kryptoanaliza różnicowa
atak algebraiczny
SAT solver
cryptology
cryptanalysis
block cipher
dierential cryptanalysis
algebraic attack
Opis:
Artykuł omawia nowy sposób ataku na szyfr blokowy DES. Zaprezentowany pomysł polega na połączeniu dwóch znanych metod kryptoanalizy, tj. kryptoanalizy różnicowej oraz ataku algebraicznego. W artykule scharakteryzowano budowę algorytmu, elementy wykorzystanych ataków oraz sposób ich połączenia. Przedstawione zostały także otrzymane wyniki oraz omówiono efekty w porównaniu z zaprezentowanymi metodami kryptoanalizy stosowanymi oddzielnie.
Article describes a new method of cryptanalysis of block cipher DES. Presented idea combines two, already known techniques, namely differential crypt-analysis and algebraic attacks. The article covers a description of the block cipher DES, used elements of attacks and the way of their combination. Then, comes the presentation of the results and comparison with already known techniques of cryptanalysis, but used separately.
Źródło:
Biuletyn Wojskowej Akademii Technicznej; 2011, 60, 3; 379-390
1234-5865
Pojawia się w:
Biuletyn Wojskowej Akademii Technicznej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Solving SAT in a distributed cloud: A portfolio approach
Autorzy:
Ngoko, Yanik
Cérin, Christophe
Trystram, Denis
Powiązania:
https://bibliotekanauki.pl/articles/329749.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
resource provisioning
resource scheduling
parallel distributed SAT
algorithm portfolio
maximum coverage problem
udostępnianie zasobów
szeregowanie zasobów
problem maksymalnego zasięgu
Opis:
We introduce a new parallel and distributed algorithm for the solution of the satisfiability problem. It is based on an algorithm portfolio and is intended to be used for servicing requests in a distributed cloud. The core of our contribution is the modeling of the optimal resource sharing schedule in parallel executions and the proposition of heuristics for its approximation. For this purpose, we reformulate a computational problem introduced in a prior work. The main assumption is that it is possible to learn optimal resource sharing from traces collected on past executions on a representative set of instances. We show that the learning can be formalized as a set coverage problem. Then we propose to solve it by approximation and dynamic programming algorithms based on classical greedy algorithms for the maximum coverage problem. Finally, we conduct an experimental evaluation for comparing the performance of the various algorithms proposed. The results show that some algorithms become more competitive if we intend to determine the trade-off between their quality and the runtime required for their computation.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2019, 29, 2; 261-274
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Generation of synchronizing state machines from a transition system: A region-based approach
Autorzy:
Teren, Viktor
Cortadella, Jordi
Villa, Tiziano
Powiązania:
https://bibliotekanauki.pl/articles/2201022.pdf
Data publikacji:
2023
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
transition system
Petri net
state machine
theory of regions
SAT
pseudo Boolean optimization
układ przejściowy
sieć Petriego
maszyna stanów
teoria regionów
Opis:
Transition systems (TSs) and Petri nets (PNs) are important models of computation ubiquitous in formal methods for modeling systems. A crucial problem is how to extract, from a given TS, a PN whose reachability graph is equivalent (with a suitable notion of equivalence) to the original TS. This paper addresses the decomposition of transition systems into synchronizing state machines (SMs), which are a class of Petri nets where each transition has one incoming and one outgoing arc. Furthermore, all reachable markings (non-negative vectors representing the number of tokens for each place) of an SM have only one marked place with only one token. This is a significant case of the general problem of extracting a PN from a TS. The decomposition is based on the theory of regions, and it is shown that a property of regions called excitation-closure is a sufficient condition to guarantee the equivalence between the original TS and a decomposition into SMs. An efficient algorithm is provided which solves the problem by reducing its critical steps to the maximal independent set problem (to compute a minimal set of irredundant SMs) or to satisfiability (to merge the SMs). We report experimental results that show a good trade-off between quality of results vs. computation time.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2023, 33, 1; 133--149
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analysis of the performance of an aircraft powered by hybrid propulsion
Autorzy:
Majka, Andrzej
Muszyńska-Pałys, Jagoda
Powiązania:
https://bibliotekanauki.pl/articles/24202466.pdf
Data publikacji:
2023
Wydawca:
Polskie Towarzystwo Naukowe Silników Spalinowych
Tematy:
air transport
hybrid power unit
electric aircraft
Small Air Transport
SAT
aircraft emission
transport lotniczy
jednostka napędu hybrydowego
samolot elektryczny
emisja lotnicza
Opis:
Travel is an inseparable part of human life. It is connected not only with private life but also with business life. People want to travel more, farther and faster. That is why air transport is currently one of the fastest-growing areas of passenger transport, and airlines carry more and more passengers from year to year. Due to the growing negative impact of air transport on the natural environment, research aimed at the development of technologies to reduce the negative impact of air transport is becoming more and more important. One of the possibilities for improving the situation is the use of alternative energy sources, limiting the emission of greenhouse gases into the atmosphere. The paper aimed to analyze the meaningfulness of replacing the classic power unit in a light transport aircraft with a hybrid, combustion-electric power unit. Analyzes were made with the use of simulation methods for the PZL M-28 aircraft.
Źródło:
Combustion Engines; 2023, 62, 2; 45--51
2300-9896
2658-1442
Pojawia się w:
Combustion Engines
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 17

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