PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników
Powiadomienia systemowe
  • Sesja wygasła!

Znaleziono wyników: 12

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 remote Analysis of influence of LEED certification process to achieve the passive house standard
Knapik M.
Technical Transactions
|
2017
|
Vol. 9(114)
137--150
EN
The article presents an analysis of influence of the LEED certification process to achieve the passive house standard of the building. The purpose of LEED certification is to reduce building energy consumption, water consumption and to reduce building impact on the environment. The passive building is characterized by low energy demand of 15 kWh/(m2* year). Passive buildings are the result of introducing new ideas in the design process of buildings. This article presents the results of the analysis based on example objects. The results show that the LEED certification significantly influences the achievement of the passive building standard.
PL
Artykuł przedstawia analizę wpływu procesu certyfikacji LEED na osiągnięcie przez budynek standardu budynku pasywnego. Celem certyfikacji LEED jest zmniejszenie energochłonności obiektu, zużycia wody oraz zmniejszenie jego wpływu na otoczenie. Budynek pasywny charakteryzuje się niskim zapotrzebowaniem na energię wynoszącym 15 kWh/(m2* year). Budynki pasywne są wynikiem wprowadzenia nowych idei w procesie projektowania budynków. Artykuł przedstawia wyniki analizy na podstawie przykładowych obiektów. Wyniki pokazują, że certyfikat LEED w znaczny sposób wpływa na uzyskanie standardu budynku pasywnego.
2
Współpraca pomp ciepła z turbinami wiatrowymi i panelami fotowoltaicznymi – aspekty energetyczne i ekonomiczne
Knapik M.
Rynek Instalacyjny
|
2017
|
Nr 11
22--30
PL
Artykuł przedstawia analizę doboru ogniw fotowoltaicznych i turbin wiatrowych dla pokrycia istotnej części zapotrzebowania na energię elektryczną do napędu sprężarkowej pompy ciepła, stanowiącej monowalentne źródło ciepła pracujące na cele grzewcze i przygotowania ciepłej wody użytkowej w mieszkalnym budynku niskoenergetycznym.
EN
The article presents an analysis of the selection of photovoltaic cells and wind turbines to cover a substantial part of the demand for electricity to motive the heat pump, which is working as monovalent heat source for heating and domestic hot water purposes in residential low energy building.
3
Analiza i wybór źródła grzewczego przygotowującego ciepłą wodę z wykorzystaniem energii odnawialnej
Knapik M.
Rynek Instalacyjny
|
2016
|
Nr 9
36--38
PL
Budownictwo pasywne i niskoenergetyczne wymaga znacznie większego zaangażowania energii pochodzącej ze źródeł odnawialnych do pokrycia zapotrzebowania budynków. Poszukiwanie korzystnych pod względem ekonomicznym i środowiskowym rozwiązań źródła jest konieczne, zwłaszcza w odniesieniu do zapotrzebowania na ciepło do przygotowania ciepłej wody użytkowej. Zapotrzebowanie to w odróżnieniu od potrzeb grzewczych, które mogą być znacznie zmniejszone przez ograniczenie strat ciepła, niełatwo poddaje się takiej redukcji. Dlatego znalezienie odpowiedniego rozwiązania źródła ciepła do przygotowania c.w.u., korzystającego w niewielkim zakresie z nieodnawialnej energii pierwotnej, a głównie z odnawialnych źródeł energii, to istotna kwestia.
EN
Passive and low energy constructions requires a significantly larger proportion of energy obtained from renewable sources of energy to cover the needs of buildings. Searching for beneficial in terms of economic and environmental point solutions of heating source is necessary, especially in regard to the heat demands for domestic hot water. This demand as opposed to heating needs which can be reduced significantly by reducing heat losses, it is not simple to reduce. Therefore, searching for an appropriate solution of heating source for hot water, which is using in a small scope a non-renewable primary energy and mainly from renewable energy sources is an important issue.
4
Content available Underapproximating ATL with Imperfect Information and Imperfect Recall
Jamroga W., Knapik M.
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
|
2015
|
Nr 1032
1--16
EN
We investigate the correspondence between model checking of af-AMCi and ATLir , on the example of reachability. We identify some of the reasons for the fact that these logics are of uncomparable expressivity. These observations form the basis for a novel method for underapproximating ATLir by means of fixed-point calculations. We introduce a special version of the next-step operator, called Persistent Imperfect Next-Step Operator h_iF and show how it can be used to define a new version of reachability that carries to ATLir.
PL
W pracy badane są związki pomiędzy weryfikacją modelową Bezpamięciowej Logiki Temporalnej Czasu Alternującego z Niepełną Informacją ATLir i Epistemicznego Alternującego Mu-Rachunku af-AMCi. Jak pokazano, naturalne uogólnienia pojęcia osiągalności z ATLir -a do af-AMCi nie przynoszą dobrych efektów: osiągalność w af-AMCi nie pociąga za sobą osiągalności w ATLir . Po zidentyfikowaniu części powodów, dla których tak się dzieje, zaproponowano nową wersję operatora następnego kroku, który pozwala na przybliżanie osiągalności w ATLir przy pomocy obliczeń stałopunktowych.
5
Content available remote Parameter Synthesis for Timed Kripke Structures
Knapik M., Penczek W.
Fundamenta Informaticae
|
2014
|
Vol. 133, nr 2/3
211--226
EN
We show how to synthesise parameter values under which a given property, expressed in a certain extension of CTL, called RTCTLP, holds in a parametric timed Kripke structure. We prove the decidability of parameter synthesis for RTCTLP by showing how to restrict the infinite space of parameter valuations to its finite subset and employ a brute-force algorithm. The bruteforce approach soon becomes intractable, therefore we propose a symbolic algorithm for RTCTLP parameter synthesis. Similarly to the fixed-point symbolic model checking approach, we introduce special operators which stabilise on the solution. The process of stabilisation is essentially a translation from the RTCTLP parameter synthesis problem to a discrete optimization task. We show that the proposedmethod is sound and complete and provide some complexity results. We argue that this approach leads to new opportunities in model checking, including the use of integer programming and related tools.
6
Content available Modelowanie i zarządzanie procesami przy wsparciu symulacji w programie FlexSim
Dziekan J., Feluks K., Knapik M., Kramarz M.
TTS Technika Transportu Szynowego
|
2013
|
R. 20, nr 10
1039--1047, CD
PL
Artykuł dotyczy nowoczesnego programu służącemu do symulacji FlexSim Simulation Software. W artykule znajduje się opis, czym jest symulacja i jak wpływa na rozwój. Przedstawiono również opis programu FlexSim, jakie posiada on zalety oraz wady. W artykule znajdują się zrzuty ekranowe, wraz z opisem, wykonanej przez autorów przykładowej symulacji w opisywanym programie.
EN
This article is about modern program to simulation FlexSim Simulation Software. In the article is a description what is the simulation and how help in development. It also presents a description of the FlexSim program and his advantages and disadvantages. In the article are screenshots with description, made example simulation in describe program by the authors.
7
Content available remote Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics
Knapik M., Penczek W., Szreter M., Półrola A.
Fundamenta Informaticae
|
2010
|
Vol. 101, nr 1/2
9-27
EN
Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time how to apply BMC to parametric verification of time Petri nets with discrete-time semantics. The properties are expressed by formulas of the logic PRTECTL - a parametric extension of the existential fragment of Computation Tree Logic (CTL).
8
Po cichu do przodu, czyli nadchodzi e-motoryzacja
Knapik M.
Energetyka Cieplna i Zawodowa
|
2010
|
Nr 3
25--26
PL
Hasło "samochody elektryczne" od pewnego czasu powoduje dreszczyk emocji u fanów motoryzacji i u zwolenników innowacji. "E-mobility" to projekt, w którym siły polączyli Vattenfall i czołowi europejscy producenci samochodów, pracujący nad pojazdami zasilanymi energią elektryczną.
9
Content available Polska Platforma CTW
Knapik M.
Problemy Ekologii
|
2008
|
R. 12, nr 6
306-308
PL
Omówiono porozumienie mające na celu wprowadzenie w przedsiębiorstwach zajmujących się na terenie Polski produkcją energii elektrycznej "czystych technologii węglowych". Zaprezentowano też zakres działań firmy Vattenfall.
EN
An agreement aimed at the implementing clean coal technologies in enterprises producing electric power is discussed. The scope of activities of the Vattenfall company is also presented.
10
Analiza składu chemicznego układu DLC/Si przy użyciu metody SIMS i spektroskopii elektronów Augera
Staryga E., Rogowski J., Knapik M., Jarzyńska D., Cłapa M., Rylski A.
Inżynieria Materiałowa
|
2006
|
Vol. 27, nr 5
1240-1243
PL
Warstwy diamentopodobne (DLC) są atrakcyjnym materiałem ze względu na unikalne właściwości, takie jak duża twardość, odporność chemiczna oraz dobre przewodnictwo cieplne i elektryczne. Właściwości te są szeroko powiązane z procesem oraz parametrami osadzania warstw, a także powinny być skorelowane ze składem chemicznym oraz strukturą warstw. W celu analizy chemicznej warstw DLC osadzonych przy różnych parametrach procesu RF CVD (13,56 MHz) zostały użyte metody SIMS oraz AES. Warstwy DLC osadzone zostały na gładkim podłożu krzemowym. Nanoszenie warstw odbywało się przy zastosowaniu ujemnego potencjału autopolaryzacji elektrody w zakresie -60 V - -420 V. Tworząc profile głębokościowe analizie chemicznej poddano powierzchnię i objętość warstwy DLC oraz obszar granicy DLC/Si. W składzie chemicznym warstwy DLC oprócz węgla wykryto obecność wodoru i tlenu. Uzyskane metodami SIMS i AES profile głębokościowe wskazują na obecność zanieczyszczeń takich jak żelazo i chrom w obszarze rozdziału faz, pomiędzy podłożem a warstwą DLC.
EN
Diamond-like carbon (DLC) films attract considerable interest due to their mechanical hardness, chemical inertness, thermal and electrical properties. Those properties are highly influenced by the deposition parameters and in turn should be correlated with chemical composition and structure of the DLC films. In this study the Time-of-Flight Secondary Ion Mass Spectrometry (TOF-SIMS) and Auger Electron Spectroscopy (AES) were used to analyze chemical composition of DLC films deposited at various preparation parameters. The DLC films were deposited on flat Si substrates using Radio Frequency Plasma Chemical Vapour Deposition (RFPCVD 13,56 MHz) method. Deposition of samples took place with different negative self-bias voltage of electrode between -60 V and -420 V. Both surface and bulk chemical composition were analyzed for all samples by acquiring surface mass spectra and performing depth profiles respectively. Carbon, hydrogen and oxygen in the DLC films were detected. Collected depth profiles showed that all samples were contaminated with considerable amount of Fe and Cr in the interface region of the substrate and deposited DLC film.
11
Analiza składu chemicznego obszaru przejściowego w układzie DLC/Si
Staryga E., Rogowski J., Knapik M., Jarzyńska D., Cłapa M.
Elektronika : konstrukcje, technologie, zastosowania
|
2006
|
Vol. 47, nr 11
12-14
PL
Warstwy diamentopodobnego węgla są atrakcyjnym materiałem ze względu na dużą twardość, odporność chemiczną oraz właściwości elektryczne. Właściwości fizykochemiczne warstw DLC są ściśle związane z warunkami i parametrami procesu osadzania, dlatego też istotne jest zbadanie składu chemicznego warstw oraz ich struktury w zależności od parametrów wytwarzania. Badania składu chemicznego warstw wykonano przy użyciu spektrometrii mas jonów wtórnych TOF-SIMS. Warstwy DLC osadzono na gładkich podłożach krzemowych przy użyciu techniki RF PCVD (13,56 MHz). Warstwy nakładane były przy różnych wartościach ujemnego potencjału autopolaryzacji z zakresu od -60 V do -420 V. Zarejestrowano widma masowe i profile głębokościowe dla powierzchni, objętości i obszaru granicznego układu DLC/Si. W składzie chemicznym warstwy DLC, oprócz węgla, zarejestrowano wodór i tlen. Uzyskane profile głębokościowe wskazują na obecność zanieczyszczeń takich jak żelazo i chrom w obszarze granicznym pomiędzy podłożem a warstwą DLC.
EN
Diamond-like carbon (DLC) films attract considerable interest due to their mechanical hardness, chemical inertness, optical transparency and electrical properties. Those properties are highly influenced by the deposition parameters and in turn should be correlated with chemical composition and structure of the DLC films. In this study the Time-of-Flight Secondary Ion Mass Spectrometry (TOF-SIMS) was used to analyze chemical composition of DLC films deposited at various preparation parameters. The DLC films were deposited on flat Si substrates using Radio Frequency Plasma Chemical Vapour Deposition (RF PCVD 13.56 MHz) method. Deposition of samples was carried out using various negative self-bias voltage of electrode between -60 V and -420 V. Both surface and bulk chemical composition was analyzed for all samples by recorded surface mass spectra and depth profiles respectively.
12
Rola logistyki w adaptacji firmy do warunków gospodarki rynkowej
Knapik M.
Logistyka
|
2001
|
R. 31, nr 2
18-20
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ć.