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ę "first order" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 72
Tytuł:
Modelowanie zmian zawartości trójhalometanów w wodzie wodociągowej
Modeling of trihalomethane concentrations in tap water
Autorzy:
Zimoch, I.
Powiązania:
https://bibliotekanauki.pl/articles/237375.pdf
Data publikacji:
2011
Wydawca:
Polskie Zrzeszenie Inżynierów i Techników Sanitarnych
Tematy:
sieć wodociągowa
model jakościowy
reakcja kinetyki 1- i 2-rzędu
model dynamiczny
kalibracja
trójhalometany
water-pipe network
quality model
first-order reactions
second-order reactions
kinetics
dynamic model
calibration
trihalomethanes
Opis:
W badaniach przyjęto model kinetyki powstawania THM w wodzie wodo-ciągowej i przedstawiono metodykę wyznaczania współczynników reakcji zarówno w strumieniu wody, jak i w warstwie przyściennej. W oparciu o wieloletnie badania warunków eksploatacyjnych i jakości wody w systemie wodociągowym Wrocławia przedstawiono zasady budowy rzeczywistego modelu symulacji zmian zawartości THM w transportowanej wodzie, z wykorzystaniem komputerowego pakietu jakościowego EPANET. Analiza odchyleń wartości symulowanych od rzeczywistej zawartości THM w wodzie w sieci wodociągowej pozwoliła przyjąć, że opracowany model jakościowy jest wystarczająco zwalidowany do oceny zmian jakości wody w różnych sytuacjach eksploatacyjnych systemu zaopatrzenia w wodę. Większość (76%) różnic zawartości THM zmierzonych i symulowanych zawierała się w granicy błędu pomiaru metody analitycznej. Jednocześnie żaden z symulowanych wyników nie przekroczył wartości rzeczywistej o 100%, która to wartość odpowiada powszechnie akceptowanemu kryterium oceny modeli jakościowych.
In this work use is made of a model that describes the kinetics of THM formation in tap water. For this model presented is the method of determining the reaction coefficients in both bulk flow and wall area. Based on many years' studies of the operating conditions and water quality in the water supply system for the city of Wroclaw, and aided by the computer software EPANET, the principles to the construction of a real model for the simulation of the changes in the THM content of the transported water are presented. Analysis of the deviation of the simulated values from those of the real THM content measured in the water-pipe network allows the assumption that the quality model proposed is sufficiently validated for the assessment of water quality variations under different operating conditions in the water supply system. Most of the differences (76%) between measured and simulated THM content are within the range of the measuring error for the analytical method. Moreover, none of the simulated results exceeds the real value by 100%, i.e. the value corresponding to the commonly accepted criterion for the assessment of quality models.
Źródło:
Ochrona Środowiska; 2011, 33, 3; 35-42
1230-6169
Pojawia się w:
Ochrona Środowiska
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Changes in the flotation kinetic of bituminous coal before and after natural weathering processes
Autorzy:
Xia, W.
Peng, Y.
Ren, C.
Xie, G.
Liang, C.
Powiązania:
https://bibliotekanauki.pl/articles/951864.pdf
Data publikacji:
2015
Wydawca:
Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:
flotation kinetic
classical first-order rate constant
natural weathering processes
XPS
contact angle
Opis:
Natural weathering processes can make coal surface more hydrophilic due to the increase of content of hydrophilic functional groups (C-O, C=O, and COOH) and the decrease of content of hydrophobic functional groups (C-C and C-H) on coal surface, and hence the flotation recovery of fine coal is reduced. In this paper, a series of flotation tests were conducted in order to investigate the changes in the flotation kinetic of bituminous coal before and after natural weathering processes. Additionally, XPS was used to indicate the changes in surface properties of bituminous coal. In the investigations the flotation kinetic was changing. The classical first-order rate constant (k) of bituminous coal flotation was reduced after the natural weathering processes. A relationship between the classical first-order rate constant (k) and the hydrophilicity ability (HA) was given.
Źródło:
Physicochemical Problems of Mineral Processing; 2015, 51, 2; 401-410
1643-1049
2084-4735
Pojawia się w:
Physicochemical Problems of Mineral Processing
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Equilibrium and kinetic studies of palladium(II) ions sorption onto Dowex resins
Autorzy:
Wołowicz, A.
Hubicki, Z.
Greluk, M.
Powiązania:
https://bibliotekanauki.pl/articles/115919.pdf
Data publikacji:
2011
Wydawca:
Fundacja na Rzecz Młodych Naukowców
Tematy:
palladium
sorption
pseudo-first order kinetic equation
pseudo-second order kinetic equation
isotherms
Opis:
Palladium(II) sorption was studied in hydrochloric acid solutions with sodium chloride addition onto Dowex MSA-1 and Dowex MSA-2 resins by means of the static method. The dependence between the amount of palladium(II) ions sorbed at time tin a disequilibrium state (qt) as well as the sorption capacities (qe) and phases contact time were obtained. The results were applied in kinetic studies using the pseudo-fi rst (Lagergren equation) and pseudo-second order kinetic equations (linear form of Blanchard equation proposed by Ho, PSO). Moreover, the equilibrium studies were caried out at ambient temperature and fitted to the Langmuir and Freundlich isotherms. The AFM pictures of the surface of anion exchange resins before and after the loading process were also recorded. Both resins exhibit high selectivity towards palladium(II) ions. The sorption capacities are in the range 7–10 mg/g for both resins under discussion in all examined solutions. Th e pseudo-second order kinetic equation and the Langmuir isotherm show the best fit with the experimental data.
Źródło:
Challenges of Modern Technology; 2011, 2, 2; 71-75
2082-2863
2353-4419
Pojawia się w:
Challenges of Modern Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Universality of Logic
Autorzy:
Woleński, Jan
Powiązania:
https://bibliotekanauki.pl/articles/749938.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
universality
logica docents
logica utens
first-order logic
consequence operation
model
syntax
semantics
expressive power
Opis:
This paper deals with the problem of universality property of logic. At first, this property is analyzed in the context of first-order logic. Three senses of the universality property are distinguished: universal applicability, topical neutrality and validity (truth in all models). All theses senses can be proved to be justified. The fourth understanding, namely the amount of expressive power, is connected with the criticism of the first-order thesis: first-order logic is the logic. The categorical approach to logic is presented as associated with the last understanding of universality. The author concludes that two senses of universality should be sharply discriminated and defends the first-order thesis.
Źródło:
Bulletin of the Section of Logic; 2017, 46, 1/2
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Teoria systemów i zagadki kultury prawnej
Systems Theory and Puzzles of Legal Culture
Autorzy:
Winczorek, Jan
Powiązania:
https://bibliotekanauki.pl/articles/531477.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Filozofii Prawa i Filozofii Społecznej – Sekcja Polska IVR
Tematy:
Niklas Luhmann
teoria systemów
kultura prawna
sprzężenie strukturalne
obserwacja pierwszego rzędu
obserwacja drugiego rzędu
czasowa natura systemów społecznych
Systems Theory
legal culture
structural coupling
first-order observation
second-order observation
temporal nature of social systems
Opis:
Kultura prawna to pojęcie tyleż centralne dla nauk prawnych i socjologii prawa, co trudne do zdefiniowania. Ma ono służyć ważnym potrzebom teoretycznym, ale jest też odpowiedzialne, za niektóre dylematy nękające prawników i badaczy problematyki społeczno-prawnej. Niektóre z nich są dość słynne: zagadka natury japońskiej skłonności do sporów, zagadka różnic w niemieckiej i holenderskiej kulturze prawnej czy też, ostatnio, zagadnienie obrony przez kulturę. Niektóre z nich są mniej znane, jak wielość sądowych strategii orzekania w rzekomo zunifikowanej kulturze prawnej Polski. Artykuł stawia tezę, że problemy tej natury są artefaktami pojęciowymi, wynikiem reifikacji rozumienia kultury prawnej jako fenomenu. Podkreśla się, że w takich badaniach większą wagę należy przykładać do bezpośredniej, proceduralnej natury badanych zjawisk. W celu poparcia tych twierdzeń wykorzystana zostaje pojęciowa maszyneria teorii systemów. Po pierwsze, ogólny pogląd N. Luhmanna dotyczące pojęcia „kultury” zostaje zaakceptowany i zaaplikowany do idei kultury prawnej. Ponadto wykazuje się, w jaki sposób cele, którym służy pojęcie kultury prawnej można osiągnąć odwołując się do takich konceptów teoretycznych, jak: sprzężenie strukturalne, obserwacja pierwszego i drugiego rzędu, a przede wszystkim – czasowa natura systemów społecznych. Ogólny wniosek jest taki, że w badaniu „kultury prawnej” nieunikniona jest perspektywa ewolucyjna.
Legal culture is a concept as central to legal studies and sociology of law as difficult to define. It aims to serve important theoretical needs but it is also responsible for some puzzles that trouble legal and socio-legal scholars. Some of them are quite famous: the puzzle of the nature of Japanese litigiousness, the puzzle of differing German and Dutch legal cultures, or, recently, the issue of cultural defence. Some are lesser known, like the multitude of courts’ adjudicating strategies in Poland’s allegedly unitary legal culture. The paper argues that the problems of such nature are a conceptual artefact, a result of objectifying understanding of legal culture as a phenomenon. It is stressed that in such studies more weight should be put on the immediate, procesual nature of investigated phenomena. In order to support these claims, conceptual machinery of systems theory is utilised. First, a general view of N. Luhmann regarding the notion of culture is accepted and applied to the idea of legal culture. Further it is demonstrated how the aims served by the notion of legal culture can be achieved by appealing to such theoretical concepts as structural coupling, first- and second- order observation, and above all – temporal nature of social systems. A general conclusion of the paper is that in the study of “legal culture” an evolutionary perspective is unavoidable.
Źródło:
Archiwum Filozofii Prawa i Filozofii Społecznej; 2012, 1(4); 106-125
2082-3304
Pojawia się w:
Archiwum Filozofii Prawa i Filozofii Społecznej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wear cumulating process for friction pair implemented by first order recurrences
Autorzy:
Wierzcholski, K.
Powiązania:
https://bibliotekanauki.pl/articles/245033.pdf
Data publikacji:
2014
Wydawca:
Instytut Techniczny Wojsk Lotniczych
Tematy:
cumulative wear values
operation after finite and infinite time units
first order recurrence implementation
variable coefficients after experiments
Opis:
Wear determination engages a major part of our efforts in considered numerous tribology problems including animal teeth and joints, human joints, cams, piston, rings, tires, brakes, dirt seals, belts, shoes, fabrics, electrical contacts, tape and CD reader heads and others. At times it seems after numerous observation, that the rate of progress in the knowledge of wear is very slow. Modern design activities are mostly concern in the wear cumulative values determination rather than the wear values determination in successive time units of friction nods during the operation time. Therefore, presented paper determines in analytical way the cumulative wear values of friction nods after specified finite and infinite units of operation time. Therefore are considered the convergences and divergences of wear value cumulative processes for various friction nods. The kind of friction nods depends on type of wear process propagation. Such propagation is described in this paper by the recurrence first order equation. Mentioned equation is formulated with constant or variable parameters. This parameters are determined by virtue of experimental measurements and depend on: bearing materials properties, environmental conditions, roughness of cooperating surfaces, vibration effects, electrical conductivity of materials, hardness of materials, deformations mode of cooperating surfaces, temperature, air humidity, kind of the friction, sliding velocity, loading of the friction nod and others. The range of wearing influence components and devices is endless. Therefore, this paper presents the methods of solutions of numerous specific class of ordinary non-homogeneous recurrence equations of first order with variable coefficients occurring in hydrodynamic theory of bearing especially micro-bearing wear problems. The obtained solutions are examined by means of the UOS operator. The examples presented in this paper determine the abrasive wear cumulative values of micro-bearing system after the indicated time units of operating time. Moreover, after infinite time units of micro-bearing operation are considered the convergences and divergences of the obtained sums of cumulative wear process.
Źródło:
Journal of KONES; 2014, 21, 1; 287-294
1231-4005
2354-0133
Pojawia się w:
Journal of KONES
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wear process in successive time units described by first order recurrences
Autorzy:
Wierzcholski, K.
Powiązania:
https://bibliotekanauki.pl/articles/244485.pdf
Data publikacji:
2014
Wydawca:
Instytut Techniczny Wojsk Lotniczych
Tematy:
wear determination during slide bearings operating process
first order recurrence equation
class of variable coefficients
Opis:
The numerous tribology problems occurring in power-train and transport industry lead to wear bearing determination solutions. Especially the project designer demand the more and more information referring the slide bearing wear anticipation in succeeding years of machine operations. In this paper a perspective will be provided on what is known about various types of influences which are caused wear effects. Some machinery eventually fails or becomes uneconomical to operate because of single causes for example types of wear, but most mechanical devices succumb to combinations of causes. A direct parallel is seems in the human machine. Therefore this paper presents the methods of solutions of some specific class of ordinary non-homogeneous recurrence equations of first order with variable coefficients occurring in hydrodynamic theory of bearing wear problems. The various coefficients occurring in considered recurrent equations are determined from experimental measurements where the influence of various operating parameters on the wear effects is taking into account. The influence of numerous operating parameters on the wear effects is experimentally determined in the case if mentioned parameters are independent as well if are mutually connected. Moreover in this paper the theorems will be presented of the existence, determination and an algorithm construction of discrete solutions of non-homogeneous, linear, first order recurrent equations with variable coefficients. The Lemmas and Theorem are formulated and proved by means of the Unified Operator of Summation (UOS operator) with a unitary translation operator, where the operator properties and features are taking into account. In the case of the space of solution functions, the above mentioned wear problems determination are attributed to practical applications related to the non-homogeneous, linear, first order differential equations. The examples presented in this paper for various variable coefficients i.e. for various operating conditions determine the wear values of micro- bearing system during the indicated time units of operating time.
Źródło:
Journal of KONES; 2014, 21, 3; 285-292
1231-4005
2354-0133
Pojawia się w:
Journal of KONES
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Pomiar składowej zmiennej pulsującego ciśnienia powietrza
Measurement of an Alternating Component of Pulsating Air Pressure
Autorzy:
Werszko, R.
Tomczuk, K.
Powiązania:
https://bibliotekanauki.pl/articles/277202.pdf
Data publikacji:
2018
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
średnia wartość ciśnienia krwi
pomiar metodą oscylometryczną
pneumatyczny filtr dolnoprzepustowy
pneumatyczny człon inercyjny pierwszego rzędu
obliczanie filtru pneumatycznego
dotykowy czujnik ciśnienia krwi
mean value of blood pressure
measurement by oscillometry method
pneumatic low-pass filter
pneumatic inertial element of the first order
calculation of the pneumatic filter
blood pressure tactile sensor
Opis:
Przedstawiono przypadek pomiaru składowej zmiennej, której amplituda jest wielokrotnie mniejsza od składowej stałej pulsującego ciśnienia, a częstotliwość jest zawarta w granicach 0,1–2 Hz. Do pomiaru użyto handlowego przetwornika różnicy ciśnień, którego jedno z wejść połączono z pneumatycznym filtrem dolnoprzepustowym. Projekt tego filtru oparto na zaproponowanym modelu układu pomiarowego. Jego weryfikację przeprowadzono na stanowisku pomiarowym, będącym częścią układu do bezinwazyjnego pomiaru średniej wartości ciśnienia krwi.
The case when the amplitude is much smaller than the constant component, and the frequency ranges 0.1–2 Hz is presented. Stock transducers equipped with a pneumatic low-pass filter were used. Design of the filter is based on the proposed measuring system model and verified by using a special pneumatic device dedicated for measuring the human blood pressure.
Źródło:
Pomiary Automatyka Robotyka; 2018, 22, 4; 13-18
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Projektowanie niezawodnościowe z wykorzystaniem kilku strategii utrzymania
Reliability - based design incorporating several maintenance policies
Autorzy:
Wang, Z.
Huang, H. Z.
Du, X.
Powiązania:
https://bibliotekanauki.pl/articles/301423.pdf
Data publikacji:
2009
Wydawca:
Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Tematy:
optymalizacja projektowania niezawodnościowego
cykl życia
eksploatacja
metoda analizy niezawodności pierwszego rzędu
reliability-based design optimization
lifecycle
maintenance
first order reliability method
Opis:
Tradycyjna optymalizacja projektowania niezawodnościowego (RBDO) minimalizuje funkcję celu opisującą koszty w zależności od ograniczeń niezawodności. Ograniczenia niezawodności oparte są na modelach fizycznych, takich jak symulacja z wykorzystaniem metody elementów skończonych, których używa się do określania stanu komponentu lub systemu. Stąd niezawodność oznacza tu tzw. niezawodność fizyczną. Ograniczenia niezawodności są zazwyczaj statyczne i nie wyjaśniają problemów związanych z cyklem życia produktu. W niniejszej pracy zaproponowano kilka modeli optymalizacji projektowania niezawodnościowego wykorzystujących kilka strategii utrzymania. Koszt cyklu życia produktu w omawianych modelach został zminimalizowany przy jednoczesnym spełnieniu wymogów niezawodności i dostępności podczas cyklu życia produktu. Do obliczenia czasowo zależnej niezawodności wykorzystano metodę analizy niezawodności pierwszego rzędu (FORM). Możliwość praktycznego wykorzystania proponowanych modeli zilustrowano przykładem.
Traditional reliability-based design optimization (RBDO) minimizes a cost-type objective function subject to reliability constraints. The reliability constraints are based on physical models, such as finite element simulation, which are used to specify the state of a component or a system. Hence the reliability is the so-called physical reliability. The reliability constraints are usually static without accounting for product lifecycle issues. In this work, several reliability-based design optimization models incorporating several maintenance policies are proposed. The product lifecycle cost is minimized while the constraints of product lifecycle reliability or availability are satisfied. The First Order Reliability Method (FORM) is employed to calculate the time dependent reliability. An engineering example is used to illustrate the proposed models.
Źródło:
Eksploatacja i Niezawodność; 2009, 4; 37-44
1507-2711
Pojawia się w:
Eksploatacja i Niezawodność
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On the stability of first order impulsive evolution equations
Autorzy:
Wang, J.
Feckan, M.
Zhou, Y.
Powiązania:
https://bibliotekanauki.pl/articles/255727.pdf
Data publikacji:
2014
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
first order
impulsive evolution equations
Ulam-Hyers-Rassias stability
Opis:
In this paper, concepts of Ulam-Hyers stability, generalized Ulam-Hyers stability, Ulam-Hyers-Rassias stability and generalized Ulam-Hyers-Rassias stability for impulsive evolution equations are raised. Ulam-Hyers-Rassias stability results on a compact interval and an unbounded interval are presented by using an impulsive integral inequality of the Gronwall type. Two examples are also provided to illustrate our results. Finally, some extensions of the Ulam-Hyers-Rassias stability for the case with infinite impulses are given.
Źródło:
Opuscula Mathematica; 2014, 34, 3; 639-657
1232-9274
2300-6919
Pojawia się w:
Opuscula Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Long-time asymptotics for the nonlinear heat equation with a fractional Laplacian in a ball
Autorzy:
Varlamov, Vladimir
Powiązania:
https://bibliotekanauki.pl/articles/1206006.pdf
Data publikacji:
2000
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
first initial-boundary value problem
nonlinear heat equation
construction of solutions
higher-order long-time asymptotics
fractional Laplacian
Opis:
The nonlinear heat equation with a fractional Laplacian $[u_t+(-Δ)^{α/2} u = u^2, 0 < α ≤ 2]$, is considered in a unit ball $B$. Homogeneous boundary conditions and small initial conditions are examined. For 3/2 + ε₁ ≤ α ≤ 2, where ε₁ > 0 is small, the global-in-time mild solution from the space $C⁰([0,∞), H₀^{κ}(B))$ with κ < α - 1/2 is constructed in the form of an eigenfunction expansion series. The uniqueness is proved for 0 < κ < α - 1/2, and the higher-order long-time asymptotics is calculated.
Źródło:
Studia Mathematica; 2000, 142, 1; 71-99
0039-3223
Pojawia się w:
Studia Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs
Autorzy:
Tourlakis, George
Powiązania:
https://bibliotekanauki.pl/articles/749974.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Modal logic
GL
first-order logic
proof theory
cut elimination
reflection property
disjunction property
quantified modal logic
QGL
arithmetical completeness
Opis:
Reference [12] introduced a novel formula to formula translation tool (“formula-tors”) that enables syntactic metatheoretical investigations of first-order modallogics, bypassing a need to convert them first into Gentzen style logics in order torely on cut elimination and the subformula property. In fact, the formulator tool,as was already demonstrated in loc. cit., is applicable even to the metatheoreticalstudy of logics such as QGL, where cut elimination is (provably, [2]) unavailable. This paper applies the formulator approach to show the independence of the axiom schema ☐A → ☐∀ A of the logics M3and ML3 of [17, 18, 11, 13]. This leads to the conclusion that the two logics obtained by removing this axiom are incomplete, both with respect to their natural Kripke structures and to arithmetical interpretations.  In particular, the so modified ML3 is, similarly to QGL, an arithmetically incomplete first-order extension of GL, but, unlike QGL, all its theorems have cut free proofs. We also establish here, via formulators, a stronger version of the disjunction property for GL and QGL without going through Gentzen versions of these logics (compare with the more complexproofs in [2,8]).
Źródło:
Bulletin of the Section of Logic; 2016, 45, 1
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Plate structural analysis based on a double interpolation element with arbitrary meshing
Autorzy:
Ton-That, Hoang Lan
Powiązania:
https://bibliotekanauki.pl/articles/1837942.pdf
Data publikacji:
2021
Wydawca:
Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:
mesh irregularity
first-order shear deformation theory
double interpolation procedure
Opis:
This paper presents the plate structural analysis based on the finite element method (FEM) using a double interpolation element with arbitrary meshing. This element used in this research is related to the first-order shear deformation theory (FSDT) and the double interpolation procedure. The first stage of the procedure is the same with the standard FEM for the quadrilateral element, but the averaged nodal gradients must be computed for the second stage of this interpolation. Shape functions established by the double interpolation procedure exhibit more continuous nodal gradients and higher-order polynomial contrast compared to the standard FEM when analysing the same mesh. Note that the total degrees of freedom (DOFs) do not increase in this procedure, and the trial solution and its derivatives are continuous across inter-element boundaries. Besides, with controlling distortion factors, the interior nodes of a plate domain are derived from a set of regular nodes. Four practical examples with good results and small errors are considered in this study for showing excellent efficiency for this element. Last but not least, this element allows us to implement the procedure in an existing FEM computer code as well as can be used for nonlinear analysis in the near future.
Źródło:
Acta Mechanica et Automatica; 2021, 15, 2; 91-99
1898-4088
2300-5319
Pojawia się w:
Acta Mechanica et Automatica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modeling of distributed objects computing pattern combinations using a formal specification language
Autorzy:
Taibi, T.
Ngo, D. C. L.
Powiązania:
https://bibliotekanauki.pl/articles/908185.pdf
Data publikacji:
2003
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
informatyka
Balanced Pattern Specification Language (BPSL)
First-Order Logic (FOL)
Temporal Logic of Actions (TLA)
substitution
addition
elimination
Opis:
Design patterns help us to respond to the challenges faced while developing Distributed Object Computing (DOC) applications by shifting developers' focus to high-level design concerns, rather than platform specific details. However, due to the inherent ambiguity of the existing textual and graphical descriptions of the design patterns, users are faced with difficulties in understanding when and how to use them. Since design patterns are seldom used in isolation but are usually combined to solve complex problems, the above-mentioned difficulties have even worsened. The formal specification of design patterns and their combination is not meant to replace the existing means of describing patterns, but to complement them in order to achieve accuracy and to allow rigorous reasoning about them. The main problem of the existing formal specification languages for design patterns is the lack of completeness. This is mainly because they tend to focus on specifying either the structural or behavioral aspects of design patterns but not both of them. Moreover, none of them even ventured in specifying DOC patterns and pattern combinations. We propose a simple yet Balanced Pattern Specification Language (BPSL) aimed to achieve equilibrium by specifying both the aspects of design patterns. The language combines two subsets of logic: one from the First-Order Logic (FOL) and the other from the Temporal Logic of Actions (TLA).
Źródło:
International Journal of Applied Mathematics and Computer Science; 2003, 13, 2; 239-253
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Sytuacja finansowa klasztoru Paulinów na Łąkach Panny Maryi pod Głogówkiem w XVIII i na początku XIX wieku
Financial situation of the monastery of the Order of Saint Paul the First Hermit located in Łąki Panny Maryi near Głogówek of the 18th and the 19th centuries
Autorzy:
Szpak, Jacek
Powiązania:
https://bibliotekanauki.pl/articles/666213.pdf
Data publikacji:
2018
Wydawca:
Wydawnictwo Uniwersytetu Śląskiego
Tematy:
Śląsk, Głogówek, zakon paulinów, finanse
Silesia, Głogówek, the Order of Saint Paul the First Hermit, finance
Opis:
Celem artykułu jest omówienie sytuacji finansowej konwentu Paulinów na Łąkach Panny Maryi pod Głogówkiem. Postawiono kilka pytań badawczych: 1) jakie były źródła dochodów, 2) jaka była wysokość dochodów, 3) na jakie cele wydatkowano pieniądze i w jakich kwotach, 4) jak kształtował się bilans finansowy placówki. Wszystkie ustalenia zostały opracowane na podstawie zachowanych źródeł archiwalnych, które znajdują się w Archiwum Zakonu Paulinów na Jasnej Górzew Częstochowie.
Źródło:
Wieki Stare i Nowe; 2018, 13, 18; 115-135
1899-1556
2353-9739
Pojawia się w:
Wieki Stare i Nowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 72

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