Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Models" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 29
Tytuł:
Models of quantum computation and quantum programming languages
Autorzy:
Miszczak, J.
Powiązania:
https://bibliotekanauki.pl/articles/200159.pdf
Data publikacji:
2011
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
programming languages
models of computation
Turing machine
Opis:
The goal of the presented paper is to provide an introduction to the basic computational models used in quantum information theory. We review various models of quantum Turing machine, quantum circuits and quantum random access machine (QRAM) along with their classical counterparts. We also provide an introduction to quantum programming languages, which are developed using the QRAM model. We review the syntax of several existing quantum programming languages and discuss their features and limitations.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2011, 59, 3; 305-324
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Extending scientific computing system with structural quantum programming capabilities
Autorzy:
Gawron, P.
Klamka, J.
Miszczak, J.
Winiarczyk, R.
Powiązania:
https://bibliotekanauki.pl/articles/199942.pdf
Data publikacji:
2010
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
quantum information
quantum programming
models of quantum computation
Opis:
We present the basic high-level structures used for developing quantum programming languages. The presented structures are commonly used in many existing quantum programming languages and we use quantum pseudo-code based on QCL quantum programming language to describe them. We also present the implementation of introduced structures in GNU Octave language for scientific computing. Procedures used in the implementation are available as a package quantum-octave providing library of functions, which facilitates the simulation of quantum computing. This package allows also to incorporate high-level programming concepts into the simulation in GNU Octave and Matlab. As such it connects features unique for higl-level quantum programming languages, with the full palette of efficient computational routines commonly available in modern scientific computing systems. To present the major features of the described package we provide the implementation of selected quantum algorithms. We also show how quantum errors can be taken into account during the simulation of quantum algorithms using quantum-octave package. This is possible thanks to the ability to operate on density matrices implemented in quantum-octave.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2010, 58, 1; 77-88
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Mathematical description of rheological properties of asphalt-aggregate mixes
Autorzy:
Zbiciak, A.
Powiązania:
https://bibliotekanauki.pl/articles/202010.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
asphalt-aggregate mixes
rheological models
fractional derivatives
constitutive equations
Opis:
The procedure of the formulation of constitutive equations for asphalt-aggregate mixes is based very often on rheological schemes composed of classical elastic, plastic and viscous elements. The parameters of these schemes can be obtained based on laboratory experiments. In order to obtain better curve fitting results one can use non-classical viscoelastic elements described by fractional derivatives. In this paper we present the characteristics of the fractional viscoelastic Huet-Sayegh model as well as the characteristics of an original simplified fractional model. The results have been obtained using algorithms of numerical calculation of inverse Laplace transforms. Then the proposal of an original rheological model including plasticity has been given. The non-linear differential constitutive relationships of such a model are presented in the paper. The results of computer simulations are also visualized. Finally, 3D viscoelasticplastic models of asphalt aggregatemixes are proposed. The models are based on a generalized macroscopic theory taking into account the effect of pressure-dependency on yielding.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2013, 61, 1; 65-72
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Characteristics of the use of coupled hidden Markov models for audio-visual Polish speech recognition
Autorzy:
Kubanek, M.
Bobulski, J.
Adrjanowicz, L.
Powiązania:
https://bibliotekanauki.pl/articles/201266.pdf
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
coupled hidden Markov models
audiovisual speech recognition
lip reading
Opis:
This paper focuses on combining audio-visual signals for Polish speech recognition in conditions of the highly disturbed audio speech signal. Recognition of audio-visual speech was based on combined hidden Markov models (CHMM). The described methods were developed for a single isolated command, nevertheless their effectiveness indicated that they would also work similarly in continuous audiovisual speech recognition. The problem of a visual speech analysis is very difficult and computationally demanding, mostly because of an extreme amount of data that needs to be processed. Therefore, the method of audio-video speech recognition is used only while the audiospeech signal is exposed to a considerable level of distortion. There are proposed the authors’ own methods of the lip edges detection and a visual characteristic extraction in this paper. Moreover, the method of fusing speech characteristics for an audio-video signal was proposed and tested. A significant increase of recognition effectiveness and processing speed were noted during tests – for properly selected CHMM parameters and an adequate codebook size, besides the use of the appropriate fusion of audio-visual characteristics. The experimental results were very promising and close to those achieved by leading scientists in the field of audio-visual speech recognition.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2012, 60, 2; 307-316
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Equivalent circuits for averaged description of DC-DC switch-mode power converters based on separation of variables approach
Autorzy:
Janke, W.
Powiązania:
https://bibliotekanauki.pl/articles/200524.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
switch-mode power converter
BUCK
BOOST
averaged models
equivalent circuits
Opis:
Large-signal and small-signal averaged models of basic switch-mode DC-DC power converters: BUCK (step-down) and BOOST (step-up) are presented. Models are derived with the separation of variables approach and have the form of equivalent circuits, suitable for a circuit simulation. Apart from equivalent circuits, small-signal transmittances of converters for CCM and DCM modes are discussed. Parasitic resistances of all components of converters are taken into account. A few examples of simulations and measurement results of selected converter characteristics are also presented. It is shown, that neglecting parasitic resistances (often met in works of other authors) may lead to serious errors in an averaged description of converters.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2013, 61, 3; 711-723
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Machine learning methods for optimal compatibility of materials in ecodesign
Autorzy:
Rojek, I.
Dostatni, E.
Powiązania:
https://bibliotekanauki.pl/articles/202203.pdf
Data publikacji:
2020
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
machine learning methods
classification models
ecodesign
selection of materials
compatibility
Opis:
Machine learning (ML) methods facilitate automated data mining. The authors compare the effectiveness of selected ML methods (RBF networks, Kohonen networks, and random forest) as modelling tools supporting the selection of materials in ecodesign. Applied in the design process, ML methods help benefit from the knowledge, experience and creativity of designers stored in historical data in databases. Implemented into a decision support system, the knowledge can be utilized – in the case under analysis – in the process of design of environmentally friendly products. The study was initiated with an analysis of input data for the selection of materials. The input data, specified in cooperation with designers, include both technological and environmental parameters which guarantee the desired compatibility of materials. Next, models were developed using selected ML methods. The models were assessed and implemented into an expert system. The authors show which models best fit their purpose and why. Models supporting the selection of materials, connections and disassembly methods help boost the recycling properties of designed products.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2020, 68, 2; 199-206
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Biometric speech signal processing in a system with digital signal processor
Autorzy:
Marciniak, T.
Weychan, R.
Stankiewicz, A.
Dąbrowski, A.
Powiązania:
https://bibliotekanauki.pl/articles/200794.pdf
Data publikacji:
2014
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
biometry
speech processing
digital signal processor
Gaussian mixture models
vector quantization
Opis:
This paper presents an analysis of issues related to the fixed-point implementation of a speech signal applied to biometric purposes. For preparing the system for automatic speaker identification and for experimental tests we have used the Matlab computing environment and the development software for Texas Instruments digital signal processors, namely the Code Composer Studio (CCS). The tested speech signals have been processed with the TMS320C5515 processor. The paper examines limitations associated with operation of the realized embedded system, demonstrates advantages and disadvantages of the technique of automatic software conversion from Matlab to the CCS and shows the impact of the fixed-point representation on the speech identification effectiveness.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2014, 62, 3; 589-594
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Transient stability analysis and control of power systems with considering flux decay by energy function approach
Autorzy:
Lu, D.
Zhang, X.
Powiązania:
https://bibliotekanauki.pl/articles/201016.pdf
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
transient stability
dynamic performance
flux decay
structure preserving models
energy function
Opis:
In this paper, transient stability of power systems with structure preserving models is considered. A Hamiltonian function which can be regarded as a Lyapunov function for the system is proposed. Based on this, the influence of flux decay dynamics, especially during a fault, on transient stability is analyzed. With the increase of load power, the variation of stability boundary in the rotor angle/Eq plane is shown. The Energy-based excitation control, aiming at injecting additional damping into the post-fault system may reduce the critical clearing time (CCT). This can be demonstrated by the comparison of different flux decay dynamics in the fault-on condition, and the reason is illustrated by the relationship between rotor angle/Eq and the stability boundary. An improved control strategy is proposed and applied to increase the CCT. Simulation results verify that improvement is obtained both in transient stability and dynamic performance.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2012, 60, 1; 3-8
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modeling and design of role engineering in development of access control for dynamic information systems
Autorzy:
Poniszewska-Marańda, A.
Powiązania:
https://bibliotekanauki.pl/articles/200307.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
access control of information systems
access control models
role engineering
usage control
Opis:
Nowadays, the growth and complexity of functionalities of current information systems, especially dynamic, distributed and heterogeneous information systems, makes the design and creation of such systems a difficult task and at the same time, strategic for businesses. A very important stage of data protection in an information system is the creation of a high level model, independent of the software, satisfying the needs of system protection and security. The process of role engineering, i.e. the identification of roles and setting up in an organization is a complex task. The paper presents the modeling and design stages in the process of role engineering in the aspect of security schema development for information systems, in particular for dynamic, distributed information systems, based on the role concept and the usage concept. Such a schema is created first of all during the design phase of a system. Two actors should cooperate with each other in this creation process, the application developer and the security administrator, to determine the minimal set of user’s roles in agreement with the security constraints that guarantee the global security coherence of the system.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2013, 61, 3; 569-579
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Large-signal averaged models of the non-ideal flyback converter derived by the separation of variables
Autorzy:
Janke, W.
Bączek, M.
Kraśniewski, J.
Powiązania:
https://bibliotekanauki.pl/articles/200399.pdf
Data publikacji:
2020
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
switch mode converter
flyback
averaged models
separation of variables
large-signal simulation
Opis:
The main topic of the paper is the large signal averaged model of a switch-mode flyback power converter. The use of the large-signal averaged models of switching converters allows for fast simulation of power systems. The known averaged models of a flyback are based on the state-space averaging or switch-averaging approach. The model presented in the paper is derived with the use of the separation of variables approach and include parasitic resistances of all converter components. The limitations of the model accuracy are discussed. The calculations based on the averaged model are compared with detailed full-wave simulations and measurements results.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2020, 68, 1; 81-88
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Two theorems about Lorentz method for asymmetrical anisotropic regions
Autorzy:
Spałek, D.
Powiązania:
https://bibliotekanauki.pl/articles/200154.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
asymmetrical magnetic anisotropy
electromagnetic force and torque
models of electromechanical converters for benchmarks
Opis:
The paper has dealt with two theoretical problems of calculation of electromagnetic force or torque. The first problem considers the magnetically anisotropic and conductive region. The theorem about equivalence of both Maxwell and Lorentz methods has been presented. The second problem deals with the independence from the integration surface of force or torque calculated by the Maxwell method. The second theorem which presents the sufficient condition for an independence problem in the anisotropic and nonconductive region has been formulated.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2013, 61, 2; 399-404
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Small-signal input characteristics of step-down and step-up converters in various conduction modes
Autorzy:
Janke, W.
Walczak, M.
Powiązania:
https://bibliotekanauki.pl/articles/200514.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
pulse converter
BUCK
BOOST
small-signal models
input characteristics
przetwornica impulsowa
charakterystyki wejściowe
Opis:
Small-signal input characteristics of BUCK and BOOST DC-DC power converters in continuous conduction and discontinuous conduction mode have been presented. Special attention is paid to characteristics in discontinuous conduction mode. The input characteristics are derived from the general form of averaged models of converters. The frequency dependence of input admittance and other input characteristics has been observed in a relatively low-frequency range. The analytical formulas derived in the paper are illustrated by numerical calculations and verified by experiments with a laboratory model of BOOST converter. A satisfying level of conformity of calculations and measurements has been obtained.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2016, 64, 2; 265-270
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Stability conditions for fractional-order linear equations with delays
Autorzy:
Mozyrska, D.
Ostalczyk, P.
Wyrwas, M.
Powiązania:
https://bibliotekanauki.pl/articles/201130.pdf
Data publikacji:
2018
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
fractional calculus
discrete-time models with delays
stability
rachunek różniczkowy
model dyskretny
stabilność
Opis:
The problem of stability of the Gr¨unwald-Letnikov-type linear fractional-order discrete-time systems with delays is discussed. For the stability analysis of the considered systems the Z -transform is used. The sufficient conditions for the asymptotic stability of the considered systems are presented. Using conditions related to eigenvalues of the matrices defining the linear difference systems, one can determine the regions of location of eigenvalues of matrices associated to the systems in order to guarantee the asymptotic stability of the considered systems. Some of these regions are illustrated with relevant examples.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2018, 66, 4; 449-454
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A new hybrid (hydro-numerical) model of the circulatory system
Autorzy:
Darowski, M.
Kozarski, M.
Ferrari, G.
Zieliński, K.
Górczyńska, K.
Szczepanowski, A.
Pałko, K. J.
Fresiello, L.
Di Molfetta, A.
Powiązania:
https://bibliotekanauki.pl/articles/199804.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
lumped parameter circulatory model
hybrid hydro-numerical models
impedance transformers
LVAD assistance
variable elastance
Opis:
The paper presents a hybrid (hydro-numerical) circulatory model built to be used as a complementary tool for clinical purposes. It was developed at the Institute of Biocybernetics and Biomedical Engineering - Polish Academy of Sciences (Poland) in co-operation with the Institute of Clinical Physiology - National Council of Research (Italy). Main advantages of the model are: 1) high accuracy and repeatability of parameters setting, characteristic of numerical solutions, 2) maximum flexibility achieved by implementing the largest possible number of the model’s elements in the numerical way, 3) ability to test mechanical heart assist devices provided by special computer applications; in the model two physically different signal environments - numerical and hydraulic - are connected by special impedance transformers interfacing physical and numerical parts of the model; 4) eliminating flowmeters, as the voltage controlled flow sources embedded in the system provide information on flows. In vitro tests were performed to evaluate the circulatory model: a) modelling and simulation of physiological and pathological states parameters vs. left ventricular end-systolic elastance (Emax l) and rest volume (Vol) variations, b) testing the effect of LVAD counterpulsation on circulatory hemodynamics and ventricular energetics; it resulted in the increase of total cardiac output (COLV tot) from pathological value 3.8 to 5.4 l·min−1, mean aortic pressure mPas from 67.8 to 96.1 mmHg and in the decrease of left atrial pressure mPla from 15.7 to 7.7 mmHg and External Work nEW by 37.5%. The model was verified based on literature data.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2013, 61, 4; 993-1003
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Probabilistic adaptive computation time
Autorzy:
Figurnov, M.
Sobolev, A.
Vetrov, D.
Powiązania:
https://bibliotekanauki.pl/articles/201248.pdf
Data publikacji:
2018
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
deep learning
probabilistic models
adaptive computation time
uczenie głębokie
modele probabilistyczne
adaptacyjny czas obliczeniowy
Opis:
We present a probabilistic model with discrete latent variables that control the computation time in deep learning models such as ResNets and LSTMs. A prior on the latent variables expresses the preference for faster computation. The amount of computation for an input is determined via amortized maximum a posteriori (MAP) inference. MAP inference is performed using a novel stochastic variational optimization method. The recently proposed adaptive computation time mechanism can be seen as an ad-hoc relaxation of this model. We demonstrate training using the general-purpose concrete relaxation of discrete variables. Evaluation on ResNet shows that our method matches the speed-accuracy trade-off of adaptive computation time, while allowing for evaluation with a simple deterministic procedure that has a lower memory footprint.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2018, 66, 6; 811-820
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 29

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies