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ę "logic" wg kryterium: Wszystkie pola

  Lista filtrów

Dostawca treści

Podbaza

Wyrównaj
Wyświetlanie 1-15 z 1434
Tytuł:
Graphene-based Current Mode Logic Circuits : a Simulation Study for an Emerging Technology
Autorzy:
Abdollahi, Hassan
Hooshmand, Reza
Owlia, Hadi
Powiązania:
https://bibliotekanauki.pl/articles/226818.pdf
Data publikacji:
2019
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
current mode logic (CML)
graphene
graphene FET
low-power design
Opis:
In this paper, the usage of graphene transistors is introduced to be a suitable solution for extending low power designs. Static and current mode logic (CML) styles on both nanoscale graphene and silicon FINFET technologies are compared. Results show that power in CML styles approximately are independent of frequency and the graphene-based CML (G-CML) designs are more power-efficient as the frequency and complexity increase. Compared to silicon-based CML (Si-CML) standard cells, there is 94% reduction in power consumption for G-CML counterparts. Furthermore, a G-CML 4-bit adder respectively offers 8.9 and 1.7 times less power and delay than the Si-CML adder.
Źródło:
International Journal of Electronics and Telecommunications; 2019, 65, 3; 381-388
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Implementation of a hardware trojan chip detector model using arduino microcontroller
Autorzy:
Abdulsalam, Kadeejah
Adebisi, John
Durojaiye, Victor
Powiązania:
https://bibliotekanauki.pl/articles/1956027.pdf
Data publikacji:
2021
Wydawca:
Polskie Towarzystwo Promocji Wiedzy
Tematy:
hardware trojans
chips
logic test
machine learning
microcontroller
trojan sprzętowy
test logiczny
nauczanie maszynowe
mikrokontroler
Opis:
These days, hardware devices and its associated activities are greatly impacted by threats amidst of various technologies. Hardware trojans are malicious modifications made to the circuitry of an integrated circuit, Exploiting such alterations and accessing the level of damage to devices is considered in this work. These trojans, when present in sensitive hardware system deployment, tends to have potential damage and infection to the system. This research builds a hardware trojan detector using machine learning techniques. The work uses a combination of logic testing and power side-channel analysis (SCA) coupled with machine learning for power traces. The model was trained, validated and tested using the acquired data, for 5 epochs. Preliminary logic tests were conducted on target hardware device as well as power SCA. The designed machine learning model was implemented using Arduino microcontroller and result showed that the hardware trojan detector identifies trojan chips with a reliable accuracy. The power consumption readings of the hardware characteristically start at 1035-1040mW and the power time-series data were simulated using DC power measurements mixed with additive white Gaussian noise (AWGN) with different standard deviations. The model achieves accuracy, precision and accurate recall values. Setting the threshold proba-bility for the trojan class less than 0.5 however increases the recall, which is the most important metric for overall accuracy acheivement of over 95 percent after several epochs of training.
Źródło:
Applied Computer Science; 2021, 17, 4; 20-33
1895-3735
Pojawia się w:
Applied Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A New Trust Framework for E-Government in Cloud of Things
Autorzy:
Abualese, Hasan
Al-Rousan, Thamer
Al-Shargabi, Bassam
Powiązania:
https://bibliotekanauki.pl/articles/226446.pdf
Data publikacji:
2019
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
cloud of things
e-government
fuzzy logic
trust
Opis:
The idea of using the Cloud of Things is becoming more critical for e-government, as it is considered to be a useful mechanism of facilitating the government’s work. The most important benefit of using the Cloud of Things concept is the increased productivity that the e-governments would achieve; which eventually would lead to significant cost savings; which in turn would have a highly anticipated future impact on egovernments. E-government’s diversity goals face many challenges; trust is one of the major challenges that it is facing when deploying the Cloud of Things. In this study, a new trust framework is proposed which supports trust with the Internet of Things devices interconnected to the cloud; to support the services that are provided by e-government to be delivered in a trusted manner. The proposed framework has been applied to a use case study to ensure its trustworthiness in a real mission. The results show that the proposed trust framework is useful to ensure achieving a trusted environment for the Cloud of Things for it to continue providing and gathering the data needed for the services that are offered by users through E-government.
Źródło:
International Journal of Electronics and Telecommunications; 2019, 65, 3; 397-405
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Implementacja automatycznych metod strojenia nastaw regulatora PID w sterowniku programowalnym
PLC implementation of automatics tuning methods for PID controller
Autorzy:
Adamkiewicz, M.
Damps, P.
Gryń, K.
Piotrowski, R.
Powiązania:
https://bibliotekanauki.pl/articles/268593.pdf
Data publikacji:
2015
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
regulator PID
metody strojenia
automatyczny dobór nastaw PID
sterownik PLC
PID controller
heuristic tuning methods
automatic tuning of PID
programmable logic controller
Opis:
Zainteresowanie środowiska przemysłowego klasycznymi algorytmami regulacji, dającymi akceptowalne wyniki pracy i stabilność w odniesieniu do zmiennych warunków otoczenia, wciąż jest bardzo duże. W artykule opisano wybrane inżynierskie metody doboru nastaw regulatora PID. Przedstawiono implementację sprzętową jednej z nich (metoda ÅströmaHägglunda) w sterowniku programowalnym PLC, umożliwiającą automatyczny dobór nastaw regulatora. Na podstawie symulacji w pętli sprzętowej liniowego układu regulacji PID dokonano analizy porównawczej pracy tego układu dla nastaw regulatora obliczonych trzema metodami inżynierskimi.
Industrial environments are still interested in classic control algorithms: providing acceptable results of the work and stability in relation to changing environmental conditions. This paper includes the description of heuristic tuning methods for the widely used PID. There’s also shown Åström-Hägglund (relay) automatic tuning algorithm implemented in Programmable Logic Controller. Results of experiments were obtained from simulations using dynamic plant model in Hardware In the Loop technique. Simulation tests presents control results for the dynamic plant.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2015, 47; 11-14
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Diagonal reasonings in mathematical logic
Autorzy:
Adamowicz, Zofia
Powiązania:
https://bibliotekanauki.pl/articles/1359630.pdf
Data publikacji:
1995
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Opis:
First we show a few well known mathematical diagonal reasonings. Then we concentrate on diagonal reasonings typical for mathematical logic.
Źródło:
Banach Center Publications; 1995, 34, 1; 9-18
0137-6934
Pojawia się w:
Banach Center Publications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Implementacja współbieżnych algorytmów sterowania w reprogramowalnych sterownikach logicznych
Concurrent control algorithm implementation using reprogrammable
Autorzy:
Adamski, M.
Węgrzyn, M.
Powiązania:
https://bibliotekanauki.pl/articles/157560.pdf
Data publikacji:
2003
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
reprogramowalne sterowniki logiczne
algorytmy sterowania
implementacja współbieżnych algorytmów sterowania
reprogrammable Logic controllers
concurrent control algorithm implementation
Opis:
W artykule omówiono metodologię bezpośredniego odwzorowania sieci Petriego opisującej algorytm sterowania, równoważnej grafowi SFC (Sequential Function Chart), w strukturze reprogramowalnego sterownika logicznego, realizowanego z wykorzystaniem układów typu FPGA i CPLD. Wskazano na rolę języków HDL (VHDL i Verilog) w modelowaniu i syntezie rozpatrywanej klasy układów.
In the paper, a method of direct mapping of Petri net describing logic controllers, or equivalent Sequential Function Chart (SFC), into a structure of reprogrammable logic controller realized by means of programmable logic (FPGA and CPLD), is presented. In addition, using of HDLs in modeling and synthesis of considered circuits is discussed.
Źródło:
Pomiary Automatyka Kontrola; 2003, R. 49, nr 2/3, 2/3; 21-25
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Fuzzy Clustering with Multi-Constraint QoS Service Routing in Wireless Sensor Networks
Autorzy:
Agarkhed, Jayashree
Kadrolli, Vijayalaxmi
Patil, Siddarama R.
Powiązania:
https://bibliotekanauki.pl/articles/307716.pdf
Data publikacji:
2019
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy
Tematy:
fuzzy logic
QoS
routing
WSN
Opis:
This paper presents a fuzzy logic-based, service differentiated, QoS aware routing protocol (FMSR) offering multipath routing for WSNs, with the purpose of providing a service differentiated path meant for communication between nodes, based on actual requirements. The proposed protocol initially forms a cluster by fuzzy c-means. Next, the building of a routing follows, so as to establish multiple paths between nodes through the modified QoS k-nearest neighborhood, based on different QoS constraints and on optimum shortest paths. If one node in the path fails due to lack of residual energy, bandwidth, packet loss, delay, an alternate path leading through another neighborhood node is selected for communication. Simulation results show that the proposed protocol performs better in terms of packet delivery ratio, delay, packet drop ratio and throughput compared to other existing routing protocols.
Źródło:
Journal of Telecommunications and Information Technology; 2019, 1; 31-38
1509-4553
1899-8852
Pojawia się w:
Journal of Telecommunications and Information Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Comparative Analysis of the Performances of Six Taguchi-Based Multi-Response Optimisation Techniques for Product Development in Textiles
Charakterystyka preparatów kolagenowych pochodzących z odpadów skórzanych metodą wysokosprawnej chromatografii cieczowej
Autorzy:
Ahmad, Naseer
Kamal, Shahid
Raza, Zulfiqar Ali
Zeshan, Muhammad
Abid, Sharjeel
Javed, Zafar
Karahan, Mehmet
Powiązania:
https://bibliotekanauki.pl/articles/2056321.pdf
Data publikacji:
2021
Wydawca:
Sieć Badawcza Łukasiewicz - Instytut Biopolimerów i Włókien Chemicznych
Tematy:
fuzzy logic
grey relational analysis
optimisation
Taguchi method
textile
logika rozmyta
szara analiza relacyjna
optymalizacja
metoda Taguchi
tekstylia
Opis:
Researchers are using different statistical techniques for process optimisation and product development both in academia and industries. Similarly, several statistical tools are being employed in the textile industry for process optimisation during the manufacturing of different products. The purpose of this study was to analyse different Taguchi-based techniques in the multi-response optimisation of selected industrial processes and then to generalise the outcomes. Herein, six different Taguchi-based multi-response optimisation techniques, including grey relational analysis (GRA), the weighted signal-to-noise (WSN) ratio, principal component analysis, VIKOR (VlseKriterijumska Optimizacija I Kompromisno Resenje), the multiple response signal-to-noise ratio, and Fuzzy logic were compared against three data sets of industrial processes. The researchers herein optimised cotton dyeing, the finishing of textile to make them oleo-hydrophobic, and the production of rhamnolipids (bio-surfactants). The results demonstrated that the Fuzzy logic-based Taguchi method gave the best optimisation amongst all the other approaches, followed by GRA and WSN for all the selected processes. The said statistical techniques were applied to specific textile and biotechnological processes. The outcomes of this study can help researchers in practical implementation in industrial sectors. In this study, a comparative analysis of the performances of six Taguchi-based multi-response optimisation techniques was conducted for potential industrial processes, particularly textile processing.
Niegarbowane odpady skórzane pochodzące z przemysłu garbarskiego są potencjalnym zagrożeniem dla środowiska naturalnego. Z drugiej jednak strony tego rodzaju odpady zawierają znaczące ilości cennego białka – kolagenu. Białko kolagenowe jest biopolimerem, który z uwagi na swoje właściwości znajduje zastosowanie w przemyśle spożywczym, kosmetycznym oraz w przemyśle biomedycznym. Obecnie na rynku dostępne są preparaty kolagenowe pozyskane z odpadów pochodzenia zwierzęcego. W pracy przedstawiono procedurę oznaczania aminokwasów w wybranych preparatach kolagenowych metodą wysokosprawnej chromatografii cieczowej i metodą spektrofotometryczną. We wszystkich próbkach oznaczono wysokie stężenia glicyny, alaniny, proliny i hydroksyproliny, a niewielkie ilości tyrozyny, seryny, waliny i izoleucyny. Zastosowana metoda chromatograficzna umożliwia szybkie i równoczesne oznaczenie 17 aminokwasów w badanych próbach. Opracowane w ramach pracy metody analityczne mogą być wykorzystane m.in. do szybkiej kontroli składu aminokwasowego kolagenu.
Źródło:
Fibres & Textiles in Eastern Europe; 2021, 5 (149); 100--108
1230-3666
2300-7354
Pojawia się w:
Fibres & Textiles in Eastern Europe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Główne zasady logiki i metodologii. Wykłady z roku 1949/1950 w Uniwersytecie Poznańskim
The Main Principles of Logic and Methodology. Lectures for the Year 1949/1950 at the University of Poznań
Autorzy:
Ajdukiewicz, Kazimierz
Powiązania:
https://bibliotekanauki.pl/articles/965308.pdf
Data publikacji:
2008-03-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Źródło:
Filozofia Nauki; 2008, 16, 1; 117-157
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Konspekt wykładów z logiki wygłoszonych na Uniwersytecie Jana Kazimierza we Lwowie w roku akademickim 1924/1925 sporządzony przez Stefana Ołeksiuka
Logic: A Synopsis of Kazimierz Ajdukiewicz’s Lectures at the University of Lwów in the Academic Year 1924/1925
Autorzy:
Ajdukiewicz, Kazimierz
Powiązania:
https://bibliotekanauki.pl/articles/968703.pdf
Data publikacji:
2017-06-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
The lectures recorded by Stefan Oleksiuk mainly concern the part of logic called, in Polish terminology, “logical semiotics” (application of formal logic to matters of natural language). Ajdukiewicz discusses several important philosophical issues, such as the problem of meaning, representation, the status of general names, the truth-value of sentences or propositions, and identity
Źródło:
Filozofia Nauki; 2017, 25, 2; 137-159
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Huaping Lu-Adler, „Kant and the Science of Logic: A Historical and Philosophical Reconstruction”
Autorzy:
Albiński, Tomasz
Powiązania:
https://bibliotekanauki.pl/articles/1398112.pdf
Data publikacji:
2019-12-31
Wydawca:
Polska Akademia Nauk. Instytut Historii Nauki im. Ludwika i Aleksandra Birkenmajerów
Źródło:
Analecta. Studia i Materiały z Dziejów Nauki; 2019, 28, 2; 170-174
1509-0957
Pojawia się w:
Analecta. Studia i Materiały z Dziejów Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wybrane strategie sterowania redundantnymi urządzeniami okrętowymi
Selected Control Strategies of Redundant Marine Equipment
Autorzy:
Albrecht, A.
Muc, A.
Szeleziński, A.
Powiązania:
https://bibliotekanauki.pl/articles/342418.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Morski w Gdyni. Wydawnictwo Uniwersytetu Morskiego w Gdyni
Tematy:
urządzenia okrętowe
redundancja
sterowanie
sterownik programowalny
PLC
marine devices
redundancy
control
programmable logic controller
Opis:
Artykuł przedstawia wybrane strategie sterowania urządzeniami redundantnymi zawarte w jednym programie, dzięki czemu istnieje możliwość zmiany trybu pracy w zależności od sytuacji i zapotrzebowania. Sterowanie zrealizowano z wykorzystaniem sterownika programowalnego PLC oraz panelu operatorskiego HMI. Celem pracy było przedstawienie kilku uzupełniających się rozwiązań, do efektywnego i optymalnego wykorzystania urządzeń okrętowych.
This paper presents selected control strategies of redundant devices implicted in one program so that there is a possibility to change the operating mode depending on situation. The problem was evolved on pumps example becaue of their often use both in marine, and shore environment. Simulation model was based on two parallel pumps working in one system. First and second control mode assumes one of the pump working as ‘Master’ and second as ‘Stand-by’. It gives freedom in selection which pump is ‘Master’ and opportunity to change the choice. Third mode comprehends rotating work of two pumps depending on medium pressure value in the system. The control was implemented by using Programmable Logic Controller (PLC) and Human Machine Interface (HMI). Described strategies were checked and simulated in a few different configurations. The aim was to present several complementary solutions to achieve efficient and optimum use of the devices.
Źródło:
Zeszyty Naukowe Akademii Morskiej w Gdyni; 2017, 100; 9-19
1644-1818
2451-2486
Pojawia się w:
Zeszyty Naukowe Akademii Morskiej w Gdyni
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Faults detection based on fuzzy concepts for vibrations monitoring in gas turbine
Autorzy:
Alili, Bachir
Hafaifa, Ahmed
Iratni, Abdelhamid
Powiązania:
https://bibliotekanauki.pl/articles/327804.pdf
Data publikacji:
2020
Wydawca:
Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
Tematy:
faults detection
fuzzy logic
decision making
vibration monitoring
gas turbines
turbina gazowa
logika rozmyta
wykrywanie uszkodzeń
podejmowanie decyzji
monitorowanie drgań
Opis:
The use of new technologies in modern industry improves productivity but induces complexity in the industrial system. This complexity makes it vulnerable to faults, which requires significant expense in terms of safety, reliability and availability. Indeed, a diagnostic operation is essential for the operational safety and availability of these industrial systems. This diagnostic operation is based on two important functions which are the detection and localization of anomalies, which consists to verifying the consistency of the data taken in real time from the installation with a reliable model, to ensure the good performance of the monitoring system. Hence, the diagnosis of gas turbines is a main component for making maintenance decisions for this type of machine. In this paper, the faults detection approach based on fuzzy logic is applied for the vibrations monitoring of a gas turbine, in order to monitor their operating state by including the detection and occurrence of vibration faults, thus using determined fault indicators based on the input/output variables of the examined gas turbine. In this work, the investigation results of fuzzy fault detection approach applied on gas turbine vibration are presented, based on the actual data recorded in the different gas turbine operating modes. However, analysis of the defect detection results was performed in order to determine the influence of these vibration defects on the deferent operating modes of the examined machine. This makes it possible to find the causes of failures and then to deduce the actions to follow the operational safety of the examined turbine.
Źródło:
Diagnostyka; 2020, 21, 4; 67-77
1641-6414
2449-5220
Pojawia się w:
Diagnostyka
Dostawca treści:
Biblioteka Nauki
Artykuł
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ł
Wyświetlanie 1-15 z 1434

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