Informacja

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

Wyszukujesz frazę "Verification" wg kryterium: Temat


Wyświetlanie 1-6 z 6
Tytuł:
Application of grid convergence index in FE computation
Autorzy:
Kwaśniewski, L.
Powiązania:
https://bibliotekanauki.pl/articles/201974.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
discretization error
grid convergence index
finite element
mesh refinement
verification
Opis:
This paper presents an application of the grid convergence index (GCI) concept based on the Richardson extrapolation to a selected simple problem of a cantilever beam loaded with vertical forces at the tip end. The GCI method, popular in computational fluid dynamics, has been recently recommended for finite element (FE) applications in solid and structural mechanics. Based on the results obtained usually for three meshes, the GCI method enables one to determine, in an objective manner, the order of convergence to estimate the asymptotic solution and the bounds for discretization error. The example shows that the characteristics of the convergence depend on the selection of the quantity of interest, which can be local or a global functional such as the deflection considered here. The results differ for different FE formulations, and the difference is bigger when the nonlinearities (e.g., due to plastic response) are taken into account.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2013, 61, 1; 123-128
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A safe programmable electronic system
Autorzy:
Halang, W.
Śnieżek, M.
Powiązania:
https://bibliotekanauki.pl/articles/200676.pdf
Data publikacji:
2010
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
programmable electronic systems
safety
fail-safe comparison
function block programming
software verification
Opis:
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.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2010, 58, 3; 423-434
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dual synthesis of Petri net based application specific logic controllers with increased safety
Autorzy:
Tkacz, J.
Bukowiec, A.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/200217.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
critical safety
FPGAs
logic controllers
logic synthesis
Petri nets
verification
bezpieczeństwo krytyczne
FPGA
sterowniki logiczne
synteza logiczna
sieci Petriego
weryfikacja
Opis:
In the paper, design flow of the application specific logic controllers with increased safety by means of Petri nets is proposed. The controller architecture is based on duplicated control unit and comparison results from both units. One specification of control algorithm is used by means of Petri net for both units. The hardware duplication is obtained during dual synthesis process. This process uses two different logic synthesis methods to obtain two different hardware configurations for both control units. Additionally, the dual verification is applied to increase reliability of the control algorithm. Such design flow simplifies the process of realization of control systems with increased safety.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2016, 64, 3; 467-478
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Applying a fractional coil model for power system ferroresonance analysis
Autorzy:
Majka, Ł.
Powiązania:
https://bibliotekanauki.pl/articles/200329.pdf
Data publikacji:
2018
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
ferroresonant circuit
fractional derivative
ferromagnetic core coil
hysteresis
modeling
measurement verification
nonlinear dynamics
power system
pochodna ułamkowa
histereza
modelowanie
nieliniowa dynamika
układ zasilania
Opis:
This paper addresses the problem of modeling the nonlinear coil used for ferroresonant circuit analysis. The effect of ferroresonance is described and a general modeling approach is presented. The hysteresis modeling problem is also shortly discussed, on the example of a ferromagnetic coil. A brief overview of available literature and contributors to this area are provided. A series RLC circuit supplied from an AC source is discussed. The application of the fractional derivative in the modeling of an iron core coil is presented and suggestions of model implementations are given. The computations performed are illustrated by means of waveform data obtained from computer simulations and compared with those obtained from measurements performed in a specially prepared laboratory setup.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2018, 66, 4; 467-474
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Use of the finite element method for parameter estimation of the circuit model of a high power synchronous generator
Autorzy:
Berhausen, S.
Paszek, S.
Powiązania:
https://bibliotekanauki.pl/articles/200790.pdf
Data publikacji:
2015
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
synchronous generator model
finite element method
field-circuit model measurement verification
circuit model parameter estimation
model synchronicznego generatora
metoda elementów skończonych
weryfikacja modelu pomiaru pola obwodu
estymacja parametrów modelu obwodu
Opis:
The paper presents the two-dimensional, field-circuit model of a high power synchronous generator verified by measurements. The model enables determining the waveforms of electromagnetic quantities in steady and transient states. Verification of the model was based on comparison of the measured and calculated waveforms after a disturbance in the voltage regulation system of a TWW-200-2 generator operating in Połaniec Power Plant. There are also presented the field methods for determining electromagnetic parameters (synchronous reactances and time constants) when using the distributions of static and quasi-static, magnetic and electromagnetic fields calculated by the finite element method (FEM). The set of these parameters was used as the starting parameters of the optimization algorithm for estimation of electromagnetic parameters of the synchronous generator circuit model. The dynamic waveforms under the generator load conditions calculated by the finite element method are the basis of parameter estimation. The parameter estimation of the generator model was performed with the use of the least squares method.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2015, 63, 3; 575-582
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Design optimization of the Petri net-based production process supported by additive manufacturing technologies
Autorzy:
Patalas-Maliszewska, Justyna
Wiśniewski, Remigiusz
Topczak, Marcin
Wojnakowski, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/2173645.pdf
Data publikacji:
2022
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
additive manufacturing technology
manufacturing processes
Petri nets
process modelling
verification
validation
optimization of production process supported by AM technologies
technologia wytwarzania przyrostowego
proces produkcji
sieci Petriego
modelowanie procesów
weryfikacja
walidacja
optymalizacja procesu produkcyjnego wspierana technologiami AM
Opis:
In the era of smart manufacturing and Industry 4.0, the rapid development of modelling in production processes results in the implementation of new techniques, such as additive manufacturing (AM) technologies. However, large investments in the devices in the field of AM technologies require prior analysis to identify the possibilities of improving the production process flow. This paper proposes a new approach to determine and optimize the production process flow with improvements made by the AM technologies through the application of the Petri net theory. The existing production process is specified by a Petri net model and optimized by AM technology. The modified version of the system is verified and validated by the set of analytic methods safeguarding against the formal errors, deadlocks, or unreachable states. The proposed idea is illustrated by an example of a real-life production process.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2022, 70, 2; art. no. e140693
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-6 z 6

    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