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

Znaleziono wyników: 4

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
1
Content available A safe programmable electronic system
Halang W., Śnieżek M.
Bulletin of the Polish Academy of Sciences. Technical Sciences
|
2010
|
Vol. 58, nr 3
423-434
EN
A dual-channel computer architecture for utilisation in programmable logic controllers is presented. Faults can be detected by novel high-speed comparators with fail-safe operation. The cyclic operating mode of PLCs and a specification-level, graphical programming paradigm based on the interconnection of application-oriented standard software function modules are architecturally supported. Thus, by design, there is no semantic gap between the programming and machine execution levels enabling the safety licensing of application software by an extremely simple, but rigorous method, viz., diverse back translation.
2
Content available Bezpieczna platforma sprzętowa dla aplikacji opisanych w języku FBD
Śnieżek M.
Pomiary Automatyka Kontrola
|
2005
|
R. 51, nr 1
31-33
PL
W pracy przedstawiono programowalny sterownik logiczny, zachowujący się w sposób bezpieczny. Zachowanie to obejmuje normalną pracę, podczas której wymaga się poprawnego sterowania, jak również stan awarii, w którym wyjścia muszą być automatycznie wyzerowane. Algorytm sterowania jest opisany metodą bloków funkcyjnych FBD i SFC zgodną z normą IEC-61131. Zastosowana architektura sprzętowa sprzyja podzieleniu oprogramowania na dwie części. Pierwsza część - stała, niezależna od aplikacji - obejmuje bibliotekę bloków funkcyjnych. część druga - zmienna, bezpośrednio zależna od aplikacji - zawiera strukturę połączeń bloków. Obydwie części są wykonywane przez osobne procesory. Do badania poprawności stałej części programu zaproponowano formalną metodę wykorzystującą logikę wyższego rzędu HOL. Część zamienną bada się stosując metodę zróżnicowanej retranslacji.
EN
To architecturally support the programming of safety related control applications in the graphical language Function Block Diagram and the verification of such software meeting the requirements of safety Integrity level 3, a dedicated, low complexity execution platform is presented. Its hardware is fault detecting to immediately initiate emegrency shut-downs in case of malfunctions. By design, there is no semantic gap between the programming and machine execution levels, enabling the safety licensing of application software by extremely simple, but rigorous methods, viz., diverse back translation and inspection. Operating in strictly periodic fashion, the platform exhibits fully predictable real time behaviour.
3
Content available remote Properties of electron beam welded 300M steel
Dudek S., Karliński W., Poznańska A., Śnieżek M.
Prace Instytutu Lotnictwa
|
2003
|
z. 1-2 (172-173)
55-58
EN
Electron beam welding technology of ultrahigh-strength steel of 300M grade was worked up. The steel would replace 30HGSNA steel for such aircraft structural components as landing gear units and wing spars. The weld strength properties meet requirements of AMS 614 E standard for nonwelded specimens and are much higher than of 30HGSNA steel, both welded and parent metal. The welds show good homogeneity and dispersion of properties.
PL
Opracowano technologię spawania wiązką elektronów stali 300M, przeznaczonej do zastąpienia stali 30HGSNA w wykonawstwie wysokoobciążonych elementów konstrukcyjnychkonstrukcyjnych płatowców, takich jak: podwozia i dźwigary. Uzyskano złącza o właściwościach wytrzymałościowych spełniających wymagania normy amerykańskiej AMS6414H dla materiału niespawanego. Złącza odznaczają sie dużą jednorodnością i małym rozrzutem właściwości, które są znacznie wyższe od stali 30HGSNA, spawanej i niespawanej.
4
Content available remote Properties of electron beam welded 300M steel
Dudek S., Karliński W., Poznańska A., Śnieżek M.
Prace Instytutu Lotnictwa
|
2002
|
z. 3-4 (170-171)
31-34
EN
Electron beam welding technology of ultrahigh-strength steel of 300M grade was worked up. The steel would replace 30HGSNA steel for such aircraft structural components as landing gear units and wing spars. The weld strength properties meet requirements of AMS 614 E standard for nonwelded specimens and are much higher than of 30HGSNA steel, both welded and parent metal. The welds show good homogeneity and dispersion of properties.
PL
Opracowano technologię spawania wiązką elektronów stali 300M, przeznaczonej do zastąpienia stali 30HGSNA w wykonawstwie wysokoobciążonych elementów konstrukcyjnych płatowców, takich jak: podwozia i dźwigary. Uzyskano złącza o właściwościach wytrzymałościowych spełniających wymagania normy amerykańskiej AMS6414H dla materiału niespawanego. Złącza odznaczają się dużą jednorodnością i małym rozrzutem właściwości, które są znacznie wyższe od stali 30HGSNA, spawanej i niespawanej.
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ć.