PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 5

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  logika trójwartościowa
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Podstawowe operacje logiki trójwartościowej w oparciu o Różnicową Technikę Prądową
Gołofit K.
Elektronika : konstrukcje, technologie, zastosowania
|
2011
|
Vol. 52, nr 9
151-154
PL
Bezpieczeństwo układów kryptograficznych w ostatnich latach zostało poważnie zagrożone poprzez metody zaliczane do kategorii ataków typu Side-channel (SCA). Techniki "łamania" sprzętu okazały się być dużo bardziej skuteczne (szybsze i tańsze) w porównaniu do technik klasycznej kryptoanalizy. W obronie przed SCA powstał szereg implementacji zabezpieczających układy przed ulotem informacji (poprzez prąd zasilania czy promieniowanie elektromagnetyczne), a między nimi także Różnicowa Technika Prądowa (RTP). W niniejszym artykule przedstawiono i publikowano po raz pierwszy, układy temarnego dodawania i mnożenia - wykonane w oparciu o bramki RTP. Właściwości arytmetyki różnicowo-prądowej pozwalają zrealizować każdą z tych operacji przy użyciu zaledwie dwóch bramek RTP, co czyni te układy konkurencyjnymi w stosunku do analogicznych realizacji wykorzystujących tradycyjne bramki CMOS.
EN
In recent years, the security of cryptographic circuits was threatened by the methods called Side-channel Attacks (SCA). "Breaking" circuits appeared to be much more efficient (faster and cheaper) in comparison to the classical cryptanalysis. In the opposite part of research, countermeasures against leaking data from the circuits were invented (against side channels like power current or electromagnetic emanation) and in between also the Differential Current Mode Technology (DCMT). In this article were presented. and published for the first time, circuits for ternary addition and multiplication - based on DCMT gates. Features of differential and current arithmetic allow to performe each of these functions by using only two DCMT gates. This accomplishment makes the DCMT circuits competitive in comparison to circuits based on traditional CMOS gates.
2
Content available remote Formalization of the Sentential Logic Dual to Łukasiewicz’s Three-valued Logic
Górnicka A.
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
|
2006
|
Vol. 11
41--50
EN
Dual logics with respect to Łukasiewicz’s logics were investigated by G. Malinowski, M. Spasowski and R. Wójcicki in [4,5]. Our aim is to discuss the generalized method of natural deduction for the logic which is dual to Łukasiewicz’s three-valued logic.
3
Content available remote The Procedures of the Assigvment of Tasks Distribution for Parallel Processors System
Borowik A., Piech H.
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
|
1998
|
Vol. 4
63-73
EN
In this paper one of possible optimum conditions distribution processes algorithmes with precised (limited) number of processors is described. This method accepts that realization lines of particular variavles with initial supplementary procedures application are specified earlier. Results are produced as a time-vectors of particular rules realization with determine each variable creation stages. In this algorithm criterions relavant with minimalization following rules expection of time which determine particular variable creation stages and also with conferment highest priorites lines which are characterized by langest realization time is regarded. Moreover in investigations is experimentated a simulation program of proposed algorithm.
4
Content available remote The Principles of Creating the Critical Path of the Formation
Borowik A., Piech H.
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
|
1998
|
Vol. 4
74-84
EN
Assumptions and the algorithm for creating the critical path the formation of variables have been presented for programming procedures. The algorithm is based on the parallelization map and information related to the actions that are performed when calculating the values of variables in the particular phases of parallelization. Also, information was used in the algorithm for the analysis, which related to the time of the execution of the particular actions, and each time the time of the operation of each node was determined. i.e. the time of the calculation of a variable in the particular phase of its modification. The critical paths created are used for the optimization of distribution in multi-processor systems with a limited number of conversion nodes.
5
Content available remote A Formalization of a Logic Without Tautologies
Bryll G., Chotomska A., Jaworski L.
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
|
2000/2001
|
Vol. 8
11--12
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.