Open Access. Powered by Scholars. Published by Universities.®
- Keyword
-
- Prace ze studentami (in Polish) (3)
- Biogaz (2)
- 2001-2010 (1)
- Algebraic codes (1)
- Belief function (1)
-
- Complexity reduction (1)
- DSmT (1)
- Distance (1)
- Gaz ziemny (1)
- Heat exchanger (1)
- Heat recirculation (1)
- Heat transfer (1)
- Informacje dla studentów (in Polish) (1)
- Information fusion (1)
- Lattice (1)
- Measure of similarity (1)
- Niemcy (1)
- Polityka energetyczna (1)
- Robot perception (1)
- Soft linear code (1)
- Soft set (1)
- Technologia (1)
- Uniform redistribution rule; partially uniform redistribution rule; belief functions; Dezert-Smarandache Theory (DSmT); information fusion (1)
- Uszlachetnianie (1)
- Publication
- Publication Type
Articles 1 - 10 of 10
Full-Text Articles in Other Mathematics
Termodynamika Procesowa (Dla Me Aparatura Procesowa) Ćw., Wojciech M. Budzianowski
Termodynamika Procesowa (Dla Me Aparatura Procesowa) Ćw., Wojciech M. Budzianowski
Wojciech Budzianowski
No abstract provided.
The Analysis Of Heat Transfer In A Gas-Gas Heat Exchanger Operated Under A Heat-Recirculating Mode, Mariusz Salaniec, Wojciech M. Budzianowski
The Analysis Of Heat Transfer In A Gas-Gas Heat Exchanger Operated Under A Heat-Recirculating Mode, Mariusz Salaniec, Wojciech M. Budzianowski
Wojciech Budzianowski
The present paper presents the analysis of heat transfer in a gas-gas heat exchanger operated in a heat-recirculating mode.
An Overview Of Technologies For Upgrading Of Biogas To Biomethane, Wojciech M. Budzianowski
An Overview Of Technologies For Upgrading Of Biogas To Biomethane, Wojciech M. Budzianowski
Wojciech Budzianowski
The present contribution presents an overview of technologies available for upgrading of biogas to biomethane. Technologies under study include pressure swing adsorption (PSA), high-pressure water wash (HPWW), reactive absorption (RA), physical absorption (PA), membrane separation (MS) and cryogenic separation (CS).
Influence Of Energy Policy On The Rate Of Implementation Of Biogas Power Plants In Germany During The 2001-2010 Decade, Izabela Chasiak, Wojciech M. Budzianowski
Influence Of Energy Policy On The Rate Of Implementation Of Biogas Power Plants In Germany During The 2001-2010 Decade, Izabela Chasiak, Wojciech M. Budzianowski
Wojciech Budzianowski
The current article describes energy policy tools, which caused intensive development of biogas-based power generation in Germany during the 2001-2010 decade. The German system of financial support to biogas power plants is presented in details. It is shown that in Germany, i.e. in a country characterised by similar climate and potentials to renewable energy to Poland, biogas power plants cover 10,7% of electricity demands in 2010, while all renewable energy sources cover only 5,4% of electricity demands. It is emphasised that under favourable Polish energy policy, the development of biogas energy can be very rapid.
Relation Liftings On Preorders And Posets, Marta Bílková, Alexander Kurz, Daniela Petrişan, Jiří Velebil
Relation Liftings On Preorders And Posets, Marta Bílková, Alexander Kurz, Daniela Petrişan, Jiří Velebil
Engineering Faculty Articles and Research
The category Rel(Set) of sets and relations can be described as a category of spans and as the Kleisli category for the powerset monad. A set-functor can be lifted to a functor on Rel(Set) iff it preserves weak pullbacks. We show that these results extend to the enriched setting, if we replace sets by posets or preorders. Preservation of weak pullbacks becomes preservation of exact lax squares. As an application we present Moss’s coalgebraic over posets.
Towards Nominal Formal Languages, Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
Towards Nominal Formal Languages, Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
Engineering Faculty Articles and Research
We introduce formal languages over infinite alphabets where words may contain binders.We define the notions of nominal language, nominal monoid, and nominal regular expressions. Moreover, we extend history-dependent automata (HD-automata) by adding stack, and study the recognisability of nominal languages.
Generic Trace Logics, Christian Kissig, Alexander Kurz
Generic Trace Logics, Christian Kissig, Alexander Kurz
Engineering Faculty Articles and Research
We combine previous work on coalgebraic logic with the coalgebraic traces semantics of Hasuo, Jacobs, and Sokolova.
A New Approach To Algebraic Coding Theory Through The Applications Of Soft Sets, Florentin Smarandache, Mumtaz Ali
A New Approach To Algebraic Coding Theory Through The Applications Of Soft Sets, Florentin Smarandache, Mumtaz Ali
Branch Mathematics and Statistics Faculty and Staff Publications
Algebraic codes play a signifcant role in the minimisation of data corruption which caused by defects such as inference, noise channel, crosstalk, and packet loss. In this paper, we introduce soft codes (soft linear codes) through the application of soft sets which is an approximated collection of codes. We also discuss several types of soft codes such as type-1 soft codes, complete soft codes etc. Further, we construct the soft generator matrix and soft parity check matrix for the soft linear codes. Moreover, we develop two techniques for the decoding of soft codes.
Uniform And Partially Uniform Redistribution Rules, Florentin Smarandache, Jean Dezert
Uniform And Partially Uniform Redistribution Rules, Florentin Smarandache, Jean Dezert
Branch Mathematics and Statistics Faculty and Staff Publications
This paper introduces two new fusion rules for combining quantitative basic belief assignments. These rules although very simple have not been proposed in literature so far and could serve as useful alternatives because of their low computation cost with respect to the recent advanced Proportional Conflict Redistribution rules developed in the DSmT framework.
Evidence Supporting Measure Of Similarity For Reducing The Complexity In Information Fusion, Xinde Li, Jean Dezert, Florentin Smarandache, Xinhan Huang
Evidence Supporting Measure Of Similarity For Reducing The Complexity In Information Fusion, Xinde Li, Jean Dezert, Florentin Smarandache, Xinhan Huang
Branch Mathematics and Statistics Faculty and Staff Publications
This paper proposes a new solution for reducing the number of sources of evidence to be combined in order to diminish the complexity of the fusion process required in some applications where the real-time constraint and strong computing resource limitation are of prime importance. The basic idea consists in selecting, among the whole set of sources of evidence, only the biggest subset of sources which are not too contradicting based on a criterion of Evidence Supporting Measure of Similarity (ESMS) in order to process solely the coherent information received. The ESMS criterion serves actually as a generic tool for outlier …