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

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 19
Tytuł:
www-Based Boolean Function Minimization
Autorzy:
Tomaszewski, S. P.
Celik, I. U.
Antoniou, G. E.
Powiązania:
https://bibliotekanauki.pl/articles/908086.pdf
Data publikacji:
2003
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
informatyka
digital logic
logic design
Boolean function
Boolean minimization
Quine-McCluskey metod
Opis:
In this paper a Boolean minimization algorithm is considered and implemented as an applet in Java. The application is based on the Quine-McCluskey simplification technique with some modifications. The given application can be accessed on line since it is posted on the World Wide Web (WWW), with up to four variables, at the URL http://www.csam.montclair.edu/~antoniou/bs. After extensive testing, the performance of the algorithm has been found to be excellent. The proposed application is a useful aid for students and professors in the fields of electrical and computer engineering and computer science as well as a valuable tool for digital designers.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2003, 13, 4; 577-583
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Decomposition of the fuzzy inference system for implementation in the FPGA structure
Autorzy:
Wyrwoł, B.
Hrynkiewicz, E.
Powiązania:
https://bibliotekanauki.pl/articles/330759.pdf
Data publikacji:
2013
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
fuzzy logic
fuzzy inference algorithm
decomposition
digital fuzzy logic controller
FPGA
logika rozmyta
algorytm wnioskowania rozmytego
sterownik rozmyty
Opis:
The paper presents the design and implementation of a digital rule-relational fuzzy logic controller. Classical and decomposed logical structures of fuzzy systems are discussed. The second allows a decrease in the hardware cost of the fuzzy system and in the computing time of the final result (fuzzy or crisp), especially when referring to relational systems. The physical architecture consists of IP modules implemented in an FPGA structure. The modules can be inserted into or removed from the project to get a desirable fuzzy logic controller configuration. The fuzzy inference system implemented in FPGA can operate with a much higher performance than software implementations on standard microcontrollers.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2013, 23, 2; 473-483
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Quality of Minimal Sets of Prime Implicants of Boolean Functions
Autorzy:
Prasad, V. C.
Powiązania:
https://bibliotekanauki.pl/articles/227310.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
logic circuits
digital circuits
Boolean functions
minimal sets
Opis:
Two new problems are posed and solved concerning minimal sets of prime implicants of Boolean functions. It is well known that the prime implicant set of a Boolean function should be minimal and have as few literals as possible. But it is not well known that min term repetitions should also be as few as possible to reduce power consumption. Determination of minimal sets of prime implicants is a well known problem. But nothing is known on the least number of (i) prime implicants (ii) literals and (iii) min term repetitions , any minimal set of prime implicants will have. These measures are useful to assess the quality of a minimal set. They are then extended to determine least number of prime implicants / implicates required to design a static hazard free circuit. The new technique tends to give smallest set of prime implicants for various objectives.
Źródło:
International Journal of Electronics and Telecommunications; 2017, 63, 2; 165-169
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
SMTBDD : New Form of BDD for Logic Synthesis
Autorzy:
Kubica, M.
Kania, D.
Powiązania:
https://bibliotekanauki.pl/articles/226064.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
logic synthesis
SMTBDD
decomposition
technology mapping
FPGA
digital circuits
Opis:
The main purpose of the paper is to suggest a new form of BDD - SMTBDD diagram, methods of obtaining, and its basic features. The idea of using SMTBDD diagram in the process of logic synthesis dedicated to FPGA structures is presented. The creation of SMTBDD diagrams is the result of cutting BDD diagram which is the effect of multiple decomposition. The essence of a proposed decomposition method rests on the way of determining the number of necessary ‘g’ bounded functions on the basis of the content of a root table connected with an appropriate SMTBDD diagram. The article presents the methods of searching non-disjoint decomposition using SMTBDD diagrams. Besides, it analyzes the techniques of choosing cutting levels as far as effective technology mapping is concerned. The paper also discusses the results of the experiments which confirm the efficiency of the analyzed decomposition methods.
Źródło:
International Journal of Electronics and Telecommunications; 2016, 62, 1; 33-41
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wykorzystanie logiki rozmytej do poprawy jakości sterowania cyfrowego serwonapędu
Employing fuzzy-logic for improving control performance of a digital servodrive
Autorzy:
Broel-Plater, B.
Powiązania:
https://bibliotekanauki.pl/articles/277391.pdf
Data publikacji:
2011
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
logika rozmyta
sterowanie cyfrowe
serwonapędy
fuzzy logic
digital control
servo drives
Opis:
W artykule przedstawiono sposób poprawy jakości sterowania cyfrowego serwonapędu dzięki użyciu logiki rozmytej. Logika ta została użyta do obliczania wartości nastaw oraz korygowania wartości zadanych serwonapędu zastosowanego do sterowania obrabiarką numeryczną CNC. Rozważania zilustrowano wynikami komputerowych symulacji pracy cyfrowego serwonapędu ACOPOS firmy B&R.
The paper presents a way to improve control performance of a digital servo-drive by means of fuzzy-logic. Fuzzy-logic has been employed to evaluate settings and to correct set-points of a servo-drive used to control a CNC machine tool. The study is illustrated by results of computer-simulated operation of the ACOPOS digital servo-drive manufactured by B&R.
Źródło:
Pomiary Automatyka Robotyka; 2011, 15, 2; 546-555
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ultrasonic flow measurement with high resolution
Autorzy:
Grzelak, S.
Czoków, J.
Kowalski, M.
Zieliński, M.
Powiązania:
https://bibliotekanauki.pl/articles/221448.pdf
Data publikacji:
2014
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
ultrasonic flowmeter
time-to-digital converter
programmable logic device
time measurement
Opis:
The ultrasonic flowmeter which is described in this paper, measures the transit of time of an ultrasonic pulse. This device consists of two ultrasonic transducers and a high resolution time interval measurement module. An ultrasonic transducer emits a characteristic wave packet (transmit mode). When the transducer is in receive mode, a characteristic wave packet is formed and it is connected to the time interval measurement module inputs. The time interval measurement module allows registration of transit time differences of a few pulses in the packet. In practice, during a single measuring cycle a few time-stamps are registered. Moreover, the measurement process is also synchronous and, by applying the statistics, the time interval measurement uncertainty improves even in a single measurement. In this article, besides a detailed discussion on the principle of operation of the ultrasonic flowmeter implemented in the FPGA structure, also the test results are presented and discussed.
Źródło:
Metrology and Measurement Systems; 2014, 21, 2; 305-316
0860-8229
Pojawia się w:
Metrology and Measurement Systems
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Nowe stanowiska dydaktyczne do nauki sterowania cyfrowego z wykorzystaniem układów programowalnych
New stations for teaching digital controlling using programmable devices
Autorzy:
Noga, K.
Powiązania:
https://bibliotekanauki.pl/articles/266454.pdf
Data publikacji:
2011
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
sterowanie cyfrowe
układy programowalne
język VHDL
programmable logic devices
digital controlling
VHDL
Opis:
W artykule przedstawiono nowe stanowiska laboratoryjne, które są wykorzystywane w Katedrze Automatyki Okrętowej AM Gdynia do nauki sterowania cyfrowego z wykorzy-staniem układów programowalnych i języka VHDL. Przedstawiono stanowisko z platformą mobilną, modelem domu mieszkalnego, robotem kroczącym, modelem alarmowym skarbca oraz system wprowadzania danych z klawiatury matrycowej. Stanowiska te są obecnie z powodzeniem wykorzystywane w czasie zajęć z techniki cyfrowej do nauki programowania w edytorze graficznym lub tekstowym, w środowisku Quartus, Max Plus Baseline II lub Web Pack.
This paper presents examples of applications for several models controlled by programmable logic devices (PLDs). During digital logic laboratory sessions students create control systems for models and realize particular assignments with application of PLDs. The purpose of laboratory sessions is to familiarize students with programming in VHDL language and software environments designed for PLD.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2011, 30; 93-96
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Quantum geometry, logic and probability
Autorzy:
Majid, Shahn
Powiązania:
https://bibliotekanauki.pl/articles/1047619.pdf
Data publikacji:
2020-12-29
Wydawca:
Copernicus Center Press
Tematy:
logic
noncommutative geometry
digital geometry
quantum gravity
duality
power set
Heyting algebra
Opis:
Quantum geometry on a discrete set means a directed graph with a weight associated to each arrow defining the quantum metric. However, these ‘lattice spacing’ weights do not have to be independent of the direction of the arrow. We use this greater freedom to give a quantum geometric interpretation of discrete Markov processes with transition probabilities as arrow weights, namely taking the diffusion form ∂+f = (−Δθ + q − p)f for the graph Laplacian Δθ, potential functions q, p built from the probabilities, and finite difference ∂+ in the time direction. Motivated by this new point of view, we introduce a ‘discrete Schrödinger process’ as ∂+ψ = ı(−Δ + V )ψ for the Laplacian associated to a bimodule connection such that the discrete evolution is unitary. We solve this explicitly for the 2-state graph, finding a 1-parameter family of such connections and an induced ‘generalised Markov process’ for f = |ψ|2 in which there is an additional source current built from ψ. We also mention our recent work on the quantum geometry of logic in ‘digital’ form over the field F2 = {0, 1}, including de Morgan duality and its possible generalisations.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2020, 69; 191-236
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Cyfrowe sterowanie z zastosowaniem układów programowalnych
Digital controlling using programmable devices
Autorzy:
Noga, K. M.
Powiązania:
https://bibliotekanauki.pl/articles/268760.pdf
Data publikacji:
2014
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
układy programowalne
cyfrowe sterowanie
język programowania sprzętu VHDL
programmable logic devices
digital controlling
VHDL
Opis:
W artykule zostaną przedstawione nowe stanowiska laboratoryjne, które zostały wykonane w Katedrze Automatyki Okrętowej AM Gdynia. Są one wykorzystywane do nauki cyfrowego sterowania z wykorzystaniem układów programowalnych i języka VHDL. Zostanie przedstawiony model windy 3-biegowej, wciągarki, sygnalizacji świetlnej na skrzyżowaniu ulicznym oraz systemu kontroli dostępu z czytnikiem kart zbliżeniowych RFID.
This paper presents new laboratory models which were build in Department of Ship Automation at Gdynia Maritime University, like the model of 3-running lift, hoisting winch, light signaling on street and the system of the control of access with the reader of cards RFID. There models controlled by programmable logic devices prepared with hardware description languages VHDL.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2014, 40; 73-76
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metody sztucznej inteligencji w digitalizacji filozofii
Artificial Intelligence Methods in Digital Philosophy
Autorzy:
Garbacz, Paweł
Powiązania:
https://bibliotekanauki.pl/articles/1807180.pdf
Data publikacji:
2020-01-03
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
humanistyka cyfrowa
inżynieria ontologii
logika
reprezentacja wiedzy
digital humanities
logic
knowledge representation
ontological engineering
Opis:
Artykuł jest poświęcony możliwości digitalizacji filozofii przy użyciu formalnologicznych narzędzi wypracowanych w badaniach nad sztuczną inteligencją. Do takich narzędzi zaliczam przede wszystkim artefakty pojęciowe stworzone w inżynierii ontologii oraz metody ich zastosowań. W szczególności omawiam ontologie fundacjonalne, podklasę tzw. ontologii stosowanych, którą uważam za podstawową formę zdigitalizowanej filozofii.
The paper discusses the perspectives of digital philosophy in the context of the formal tools available in Artificial Intelligence. These include, first and foremost, engineering ontologies and the methods of their application. In particular I discuss foundational ontologies, a type of engineering ontologies, which I consider as the basic form of digital philosophy.
Źródło:
Roczniki Kulturoznawcze; 2016, 7, 1; 57-81
2082-8578
Pojawia się w:
Roczniki Kulturoznawcze
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Localization of vehicle license plates in images using fuzzy logic and morphological operations
Lokalizacja tablic rejestracyjnych pojazdów z użyciem logiki rozmytej i operacji morfologiczych na obrazach cyfrowych
Autorzy:
Król, A.
Pamuła, T.
Powiązania:
https://bibliotekanauki.pl/articles/374218.pdf
Data publikacji:
2009
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:
logika rozmyta
tablica rejestracyjna
wideorejestrator
obraz cyfrowy
fuzzy logic
licence plate
colour camera
digital image
Opis:
The paper presents a method of localization of licence plates in a traffic scene image. It is assumed that the input data comes from a colour camera and the results are grey scale images of isolated license plates. The method was implemented and tested. Test results confirm that it can be incorporated in a system for traffic monitoring or parking supervision.
W artykule przedstawiono metodę lokalizacji tablicy rejestracyjnej z obrazu uzyskanego z wideorejestratora. Przyjęto założenie, że danymi wejściowymi, analizowanymi przez algorytm, będą kolorowe obrazy, a efektem obrazy w odcieniach szarości z wyodrębnioną tablicą rejestracyjną. Metodę zaimplementowano i przetestowano. W metodzie wykorzystano elementy logiki rozmytej. Algorytm ten ma stanowić część systemu automatycznego rozpoznawania tablic rejestracyjnych.
Źródło:
Transport Problems; 2009, 4, 1; 95-101
1896-0596
2300-861X
Pojawia się w:
Transport Problems
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Parallel robot controlled by PLC and its digital twin
Autorzy:
Michalík, R.
Hrbček, J.
Janota, A.
Powiązania:
https://bibliotekanauki.pl/articles/2063983.pdf
Data publikacji:
2021
Wydawca:
Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
Tematy:
digital twin
human machine interface
PLC Controllers
computer aided design
paralled robot
CAD
programmable logic controller
PLC
Opis:
Modern ways of device development use the concept of a digital twin. A digital twin is an accurate digital copy of something that exists or is planned to be realized in the physical world. The digital twin is not only a virtual model of the physical system, but also a dynamic data and status information carrier obtained through a series of IoT-connected sensors that collect data from the physical world and send it to machines. The digital twin provides an overview of what is happening to the device in real time. This is very important in industry as this information is helpful to reduce maintenance issues and ensure production performance. This work focuses on the design and creation of a cybernetic physical system and its digital twin, based on CAD system modeling in conjunction with simulation and programming tools connected to real and simulated control systems. This process accelerates the development of the application implementation with the possibility to create a PLC control program and tune the system already in the design phase. Thus, the physical realization can be done in parallel with the programming and creation of the HMI interface. Modular programming will further accelerate software development [1]. The created system and its digital twin serve as a unified teaching tool without the need for real devices to be used by many students and users. This approach allows testing of program algorithms without the risk of damaging physical devices and is also suitable for distance learning.
Źródło:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation; 2021, 15, 3; 867--871
2083-6473
2083-6481
Pojawia się w:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie układów FPGA w konstrukcji przepływomierzy ultradźwiękowych
Application of FPGA devices to ultrasonic flowmeter
Autorzy:
Zaworski, Ł.
Kowalski, M.
Zieliński, M.
Powiązania:
https://bibliotekanauki.pl/articles/156070.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
przepływomierz ultradźwiękowy
przetwornik czas-cyfra
układ programowalny
pomiar czasu
ultrasonic flowmeter
time-to-digital converter
programmable logic device
time measurement
Opis:
Przepływomierze ultradźwiękowe mierzące różnicę czasu przelotu impulsu przez medium stanowią jedną z dwóch najbardziej rozpowszechnionych grup przepływomierzy. W artykule tym została przedstawiona konstrukcja systemu pomiaru odcinka czasu zaimplementowanego w strukturze programowalnej FPGA jak również metoda kalibracji i wyznaczenia rozdzielczości przetwornika czas/cyfra w trakcie pomiaru. Takie rozwiązanie zapewnia niewrażliwość układu na czynniki zewnętrzne (temperatura), oraz skrócenie czasu pomiaru, a tym samym redukcję poboru energii, co jest atutem przy zasilaniu bateryjnym.
The ultrasonic flowmeter market is the fastest-growing market in any flowmeter type, and transit-time flowmeters have the largest share in that market. One of the fundamental parts of a transit-time ultrasonic flowmeter is a time measurement circuit, often implemented in CMOS ASIC. This paper describes an application of a low-power FPGA device to the transit-time flowmeter time measurement circuit. The main problem discussed in this work is calibration of a delay line in TDC implemented in a FPGA device. The time- and resource-consuming code density testing is undesirable for mass production devices. In this paper a fast and simple method for calibration is proposed. The method is based on measurement of the clock period length [5] and analysis of the data; therefore, it does not require implementation of any additional circuits in the device. A resolution of TDC is estimated by (2), when I_T is the largest state of a decoder in measurement series, and T_0 is clock period. The method uncertainty is larger than that of the code density test, but the method requires virtually no resources and takes less time - under certain conditions the calibration can be performed simultaneously with the measurement. At the end the measurement results and the conclusions are presented.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 12, 12; 1511-1514
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wykorzystanie robota humanoidalnego Robowisdom w dydaktyce techniki cyfrowej
Use of the humanoid robot Robowisdom in the didactics of the digital technique
Autorzy:
Noga, K. M.
Powiązania:
https://bibliotekanauki.pl/articles/267419.pdf
Data publikacji:
2016
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
technika cyfrowa
dydaktyka
robot humanoidalny
układy programowalne
FPGA
język opisu sprzętu VHDL
digital technique
didactics
humanoid robot
programmable logic
VHDL
Opis:
W artykule zostały przedstawione kilkuletnie doświadczenia wynikające z wykorzystania na zajęciach laboratoryjnych z Techniki Cyfrowej na Wydziale Elektrycznym Akademii Morskiej w Gdyni robotów humanoidalnych Robowisdom. Omówiono budowę robota oraz zasady sterowania. Ponadto przedstawiono przykłady współpracy robota z zestawami dydaktycznymi DE_2, DE_0_Nano oraz platformą Arduino Yun.
The article presents several years of the operation experiences with the remote - controlled robot Robowisdom in the digital technique laboratory on Electrical Engineering Faculty in Gdynia Maritime University. The building of the robot and the principle of controlling was described. The examples of the co-operation of the robot with didactic platforms DE_2, DE_0_Nano and Arduino Yun were presented too.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2016, 51; 127-130
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Construction of Generalized Rademacher Functions in Terms of Ternary Logic : Solving the Problem of Visibility of Using Galois Fields for Digital Signal Processing
Autorzy:
Vitulyova, Elizaveta S.
Matrassulova, Dinara K.
Suleimenov, Ibragim E.
Powiązania:
https://bibliotekanauki.pl/articles/2055235.pdf
Data publikacji:
2022
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
digital signal processing
non-binary Galois fields
fourier transform
rademacher functions
walsh function
multivalued logic
visibility problem
algebraic extensions
ternary representation of number
Opis:
Generalized Rademacher functions, constructed as a sequence of elements of Galois fields are intended to find the spectral representation of signals with levels. These functions form a complete basis on the interval corresponding to -1 discrete time intervals and for passing into the classical Rademacher functions. The advantage of such spectra obtained using Galois Fields Fourier Transform is that the range of variation of the spectrum amplitudes remains the same as the range of variation of the original signal, which is modeled on discrete time functions taking values in the Galois field.
Źródło:
International Journal of Electronics and Telecommunications; 2022, 68, 2; 237--244
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 19

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