Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl
Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 20

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
|
|
tom Nr 6 (75)
4--5
PL
W artykule przedstawiono problemy w technologii lakierowania, nanoszenia oznakowań, lub nadrukowywania bezpośredniego napisów na wyrobach z polietylenu, występujący wskutek niskiej energii powierzchniowej wyrobów z poliolefin. Trudności te można pokonać poprzez aktywowanie powierzchni wyrobów z tworzyw sztucznych metodą wyładowania koronowego prądu przemiennego wysokiej częstotliwości.
EN
The article presents technological problems of painting, marking and direct printing inscriptions on polyethylene products, occurring in result of low surface energy in products made of polyolefin. These problems can be overcome by surface activation of plastics products through method of corona discharge of high frequency alternating current.
2
Content available remote Anemometr z falą cieplną wymuszaną sygnałem sinusoidalnym
100%
|
|
tom z. 98
361-368
PL
Przedstawiono działanie systemu umożliwiającego pomiar prędkości gazu z wykorzystaniem anemometru falowego z sinusoidalnym sygnałem wymuszającym we włóknie elementu nadawczego. Omówiono także detekcję sygnału wyjściowego przy użyciu odpowiedniego czujnika. Opisano proces kształtowania fali cieplnej oraz metodykę analizy sygnałów. Przedstawiono przykładowe wyniki badań i analiz.
EN
The paper presents the operation of a system for measuring gas velocity. The system is based on a wave thermoanemometer with a sinusoid forcing signal in the wire of the sending element. Output signal detection by means of an appropriate sensor is also discussed. The process of thermal wave formation and the methodology of signal analysis are described. Examples of the results of experiments and analyses are presented.
3
Content available remote The Completeness Theorem for a Logic of Authentication
100%
EN
In a distributed computational system, security depends heavily on the use of secure protocols such as authentication protocols. In the past few years, a lot of attention has been paid to the use of special logics to analyze cryptographic authentication protocols. Burrows, Abadi, Needham and others have proposed a few logics for the analysis of these protocols (called BAN-Iogics). These are specialized versions of modal logics of belief, with special constructs for expressing some of the central concepts used in authentication processes. These logics have revealed many subtleties and serious flaws in published and widely applied protocols. Unfortunately, they have also created some confusions, for example they are not complete. In the present paper we introduce a new logic of authentication, which is a modification of the BAN logic. It provides a convenient formal language for specifying and reasoning about cryptographic protocols requirements. We also provide an axiomatic inference system, a model of computation and semantics. We present some important properties of our logic, first of all the Completeness Theorem.
|
|
tom Nr 4 (103)
16--19
PL
W artykule przedstawiono wyniki projektu oświetlenia budynku opieki zdrowotnej na przykładzie przychodni lekarskiej. Porównano dotychczas stosowane tradycyjne rozwiązania z energooszczędną instalacją oświetleniową ze źródłami fluorescencyjnymi oraz sterowaniem. Dokonano analizy prognozowanego zużycia energii elektrycznej oraz oszacowano jej koszt przy tych samych wymaganiach oświetleniowych.
EN
This paper presents results of building lighting design on the example of health care medical clinic. It was compared the previously used traditional solutions to the energy saving lighting system with fluorescent sources and with steering. It has been analyzed the projected energy consumption and estimated its cost at the same lighting requirements.
|
|
tom Nr 4 (97)
47--49
PL
W artykule opisano źródła światła z diodami LED. Przedstawiono kilka rozwiązań opraw stosowanych w zastosowaniach wnętrzowych i na zewnątrz. Porównano rozwiązania oferowane na rynku z wymaganiami europejskich przepisów i norm. Szczególną uwagę zwrócono na pobór mocy źródeł z diodami LED.
EN
The article describes light sources with LED diodes. Several solutions of bindings were presented in indoor and outdoor application. The solutions offered on the market were compared with requirements of the European rules and standards. The special attention was paid to the power consumption of sources with LED diodes.
PL
W artykule przedstawiono wyniki pomiarów natężenia oświetlenia w salach dydaktycznych szkół wszystkich szczebli. Omówiono wymagania zawarte w normie PN-EN 12464-1:2012. Opisano wymagania projektowe i konserwacyjne dotyczące stosowanych opraw i instalacji oświetleniowych. Zaprezentowano wyniki audytu oświetlenia przykładowych sal dydaktycznych budynku szkolnego.
EN
The results of measuring of the luminous intensity in didactic rooms in all grades schools have has been presented in the article. Than the article discusses the requirements closed in standard PN-EN 12464-1:2012. It was described the design and conservation requirements that refer to the applied lighting fittings and lighting installations. The article presents also the results of audit of lighting for the choice didactic rooms of school-building.
|
|
tom Nr 6 (87)
14--18
PL
Artykuł dotyczy rozporządzenia w sprawie metodologii obliczania charakterystyki energetycznej budynku. Podstawą do sporządzenia tej charakterystyki są dane określone w dokumentacji technicznej lub jeśli brak jest tej dokumentacji wyznaczone w wyniku inwentaryzacji techniczno-budowlanej. W części dotyczącej obliczeń dotyczących oświetlenia wbudowanego ustawodawca dopuszcza przyjęcie danych z tabel zamieszczonych w przepisach techniczno-budowlanych.
EN
The article concerns the decree in the matter of methodology of the calculation of energetic profile of building. The base for making up this profile are data in technical working plan or in the case of lack of such a documentation, data that are calculated in result of techno-building stock taking. In the part relating to calculations concerning built-in lighting, the legislator admits to receive data from tables which are in techno-building regulations.
|
|
tom Nr 6 (93)
56--58
PL
Artykuł przedstawia analizę przepisów dotyczących opraw oświetleniowych z lampami fluorescencyjnymi. Omówiono zapisy dyrektyw i rozporządzeń komisji europejskiej dotyczących efektywności energetycznej stateczników. Przeprowadzono pomiary parametrów elektrycznych wybranych opraw oświetleniowych (świetlówkowych). Dokonano analizy uzyskanych wyników. Stwierdzono niezgodność parametrów pracy części opraw z przepisami.
EN
Article presents the analysis of regulations relating to luminaires of fluorescent lamps. Notations of directives and decrees of European committee related to energetic efficiency of stabilizers were discussed. The measurements of electric parameters of selected luminaires (glow-tubes) were conducted. The analysis of the gained results was executed. It was found the incompatibility of work parameters of part of luminaires from regulations.
PL
W artykule przedstawiono wymagania normy PN-EN 12193 Światło i Oświetlenie - Oświetlenie w Sporcie. Omówiono zalecenia FIFA dotyczące boisk piłkarskich. Zaprezentowano wyniki obliczeń instalacji oświetleniowej szkolnego boiska sportowego. Opisano wymagania pomiarowe i konserwacyjne użytkowanej instalacji.
EN
This paper presents results of building lighting design on the example of pharmacy. Compared to previously used traditional solutions with energy saving lighting system with LED sources. Has been analyzed the projected energy consumption and estimated its cost at the same lighting requirements.
10
63%
PL
Artykuł przedstawia analizę zapisów dyrektyw i rozporządzeń komisji europejskiej dotyczących opraw oświetleniowych z lampami fluorescencyjnymi. Na podstawie przeprowadzonych pomiarów określono rozkład składowych mocy urządzeń oświetleniowych stosowanych w budynkach mieszkalnych i użyteczności publicznej. Zaproponowano rozszerzenie stosowania pomiarów składowych energii elektrycznej na wszystkich odbiorców.
EN
Article presents the analysis of notations of directives and decrees European committee relating lighting bindings of fluorescent lamps. On the basis of measurements defined expansion of power components of energy lighting devices used in habitable buildings and usefulness public. Expansion of applying measurements of electric energy components was proposed on all consumers.
PL
Artykuł przedstawia analizę wpływu emiterów LED na rozwój roślin szklarniowych. Omówiono korzystny wpływ energii pochłanianej z widma światła widzialnego na poszczególne procesy życia roślin. Przedstawiono wyniki badań eksperymentalnych.
EN
An article presents an analysis of the impact of LED emitters on the development of greenhouse plants. Discussed the positive impact of the energy absorbed from the visible light spectrum on individual processes of plant life. Presents the results of experimental studies.
|
|
tom Nr 5
36-41
PL
W artykule przedstawiono analizę parametrów elektrycznych urządzeń oświetleniowych i ich wpływu na pobór energii elektrycznej w budynkach mieszkalnych i użyteczności publicznej. Dokonano oceny użytkowanych odbiorników w aspekcie zużycia składowych energii. Zaprezentowano wyniki pomiarów oraz symulacji. Opisano możliwości realizacji pomiarów energii czynnej i biernej licznikami elektronicznymi. Zaproponowano modyfikację systemu smartmetering.
EN
The article presents an analysis of electrical parameters of lighting and its impact on energy consumption in residential and public buildings. Opinions were executed in aspect of consumption of component ener-gies used receiver sets. The results of measurements as well as simulations were presented. Possibilities of realization of active and passive energy measurements using electronic counters were described. How to modify the system of smartmetering is suggested.
EN
The article discusses the issues of modeling and the analysis of executions, which is a substantial part of modern communication protocols - authentication protocols, which are generally referred to herein as security protocols. The article presents a way of security protocols executions analysis with the use of probabilistic automata, without well known and widely used perfect cryptography assumption (we assume allowing the possibility of breaking a key with a specified probability). This type of analysis leads to interesting observations about the operation of the protocol and its weaknesses.
14
Content available remote Efektywność energetyczna instalacji oświetleniowych z układami sterowania
51%
PL
W prezentowanym artykule przedstawiono zapisy norm i przepisów dotyczących instalacji oświetleniowych ze sterowaniem. Omówiono założenia projektów oświetlenia realizowanych w budynkach użyteczności publicznej. Przedstawiono przykładowe wyniki pomiarów parametrów elektrycznych opraw fluorescencyjnych oraz LED. Zaprezentowano dane dotyczące energii elektrycznej w całej instalacji a także wyniki analiz dotyczących przepływów składowych energii elektrycznej (czynnej i biernej).
EN
The paper presents standards and regulations for lighting installations with control systems. It discusses the basic features of lighting installation projects in public buildings. The paper contains example results of measurements of the electrical parameters for fluorescent luminaires and LED. It presents data regarding energy efficiency in the entire system as well as results of analyzes regarding flows of active and reactive power components.
15
Content available remote Modernizacja i rozbudowa Oczyszczalni Ścieków "Czajka"
51%
16
Content available remote On Some Crypto-messages Parser
51%
EN
Some methods of automatic verification of cryptographic protocols require creating specially designed formal languages based on suitable algebra of terms (called crypto-terms or crypto-messages). Sometimes in verification process it is essential to check whether a given crypto-term is a sub term of another one or in general whether some crypto-term belongs to the specified crypto-Language (a set of some crypto-terms) or not. Another problem is creating the set of all ant chains of subterms of a given term wit h respect to the order introduced by a subterm relation. The main goal of this paper is to present a tool for verification whether crypto-term belongs to the specified crypto-language or not. Our main purpose is to check lexical analysis and syntax analysis. Finally, after checking that a crypto-sentence is correct, we convert it into the special format, purpose was to check lexical analysis and syntax analysis. For our investigation Flex and Bison - the well known grammar tools – have been used. We believe that our tool will be usefull in research on the topic of symbolic verification of cryptographic protocols.
17
Content available remote Harmoniczne prądu w instalacjach oświetleniowych
51%
PL
Problematyka artykułu dotyczy zawartości harmonicznych napięcia i prądu w sieciach elektroenergetycznych niskiego napięcia. Omówiono obowiązujące zapisy rozporządzeń i norm. Zaprezentowano wyniki badań na obiekcie rzeczywistym i analiz dotyczących obecności harmonicznych prądu opraw wyładowczych i LED stosowanych w instalacjach oświetleniowych zewnętrznych.
EN
The paper describes problems connected with presence of voltage and current harmonics in low voltage power network. Valid decrees and standard regulations are discussed. The results of experimental investigations are presented, focused on harmonics content for LED and discharge lighting fitting, applied to outdoor lighting installations.
PL
Problematyka artykułu dotyczy rozliczania energii biernej przez spółki dystrybucyjne. Omówiono obowiązujące w Polsce zapisy dyrektyw, rozporządzeń i norm. Przedstawiono warunki legalizacji liczników energii elektrycznej. Opisano metodę rozliczania energii biernej określoną w standardzie IEEE 1459-2000. Zaprezentowano wyniki badań i analiz dotyczących zużycia energii instalacji oświetleniowych zewnętrznych.
EN
The issue of article relates to accounting reactive energy by distribution companies. Discussed the records in force in Poland, directives, regulations and standards. Conditions of legalization of electric energy meters were introduced. Describes a method of accounting for reactive energy specified in standard IEEE 1459-2000. Results of research and analysis of energy consumption of external lighting installations were presented.
PL
W pracy przedstawiono aktualne rozwiązania konstrukcji aparatury termoanemometrycznej, w tym sensorów i elektronicznych układów pomiarowych stosowanych dotychczas do pomiarów parametrów przepływającego gazu. Dokonano także oceny możliwości wykorzystania adekwatnych wersji konstrukcyjnych do pomiaru natężenia przepływu i temperatury przepływającego oleju hydraulicznego. Rozważono dalej możliwości zastosowania wybranych przetworników opartych na różnych zasadach funkcjonowania, w tym półprzewodnikowych. Dokonano próby sprecyzowania zasad i wymagań eksploatacyjno-metrologicznych do zbudowania modelu systemu pomiarowego spełniającego założone parametry mierzonego medium.
EN
The paper presents recent developments in the construction of thermoanemometric devices, including sensors and electronic measuring systems used for measuring parameters of flowing gas. The possibility of using specific devices for measuring the flow intensity and temperature of hydraulic oil is investigated. Also, the possibility of applying selected converters, with various functioning principles, including semiconductor converters is considered. An attempt is made at specifying the metrologies! and exploitation requirements of a measuring system that would meet the set parameters of the measured medium.
20
Content available remote Pomiary energii biernej w instalacjach niskiego napięcia
45%
PL
Problematyka artykułu dotyczy energii biernej odbiorników niskiego napięcia. Omówiono wybrane, obowiązujące zapisy dyrektyw, rozporządzeń i norm. Przedstawiono metodykę rozliczania energii biernej. Zaprezentowano wyniki badań i analiz dotyczących pomiarów składowych energii w instalacjach elektrycznych niskiego napięcia (w tym także obwodów oświetleniowych).
EN
The issue of the paper relates to reactive energy consumed by low-voltage receivers. Chosen directives, regulations and standards being in force in Poland are discussed. The method for reactive energy settlement is presented as well. The results of researches and analyses are presented, referring to measurements of energy components performed in low-voltage installations (including lighting installations).
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ć.