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ę "reaction systems" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-10 z 10
    Tytuł:
    Biochemical reaction systems – system theory and decomposition
    Autorzy:
    Nemcová, J.
    van Schuppen, J. H.
    Powiązania:
    https://bibliotekanauki.pl/articles/205629.pdf
    Data publikacji:
    2013
    Wydawca:
    Polska Akademia Nauk. Instytut Badań Systemowych PAN
    Tematy:
    biochemical reaction systems
    rational systems
    realization
    decomposition
    interconnection
    algebra of positive real polynomials
    Opis:
    Biochemical reaction networks may be modeled as biochemical reaction systems consisting of differential equations with rational functions. Biochemical reaction systems are defined as rational positive dynamic systems with inputs and outputs, and illustrated by examples. This formulation makes available the results from algebraic system theory for rational systems and a relation with computer algebra. It is shown how to decompose networks into subsystems and how to relate them to graphs. The realization problem for this class of systems is briefly discussed. Finally, control problems for biochemical reaction networks are formulated.
    Źródło:
    Control and Cybernetics; 2013, 42, 1; 183-215
    0324-8569
    Pojawia się w:
    Control and Cybernetics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Model Checking Temporal Properties of Reaction Systems
    Weryfikacja temporalnych własności systemów reakcyjnych
    Autorzy:
    Męski, A.
    Penczek, W.
    Rozenberg, G.
    Powiązania:
    https://bibliotekanauki.pl/articles/182724.pdf
    Data publikacji:
    2014
    Wydawca:
    Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
    Tematy:
    reaction systems
    model checking
    temporal logic
    systemy reakcyjne
    weryfikacja modelowa
    logika temporalna
    Opis:
    This paper defines a temporal logic for reaction systems (RSTL). The logic is interpreted over the models for the context restricted reaction systems that generalize standard reaction systems by controlling context sequences. Moreover, a translation from the context restricted reaction systems into boolean functions is defined in order to be used for a symbolic model checking for RSTL over these systems. Finally, model checking for RSTL is proved to be PSPACE-complete.
    Praca wprowadza logikę temporalną dla systemów reakcyjnych (RSTL), która jest interpretowana w modelach dla systemów reakcyjnych z ograniczeniami kontekstów. Systemy te uogólniają standardowe systemy reakcyjne przez wprowadzenie ograniczeń kontrolujących dopuszczalne konteksty. Ponadto, przedstawiono translację z systemów reakcyjnych z ograniczeniami kontekstów do formuł boolowskich, która umożliwia symboliczną weryfikację modelową dla tych systemów oraz RSTL. Wykazano również, że problem weryfikacji modelowej dla RSTL jest problemem PSPACE-zupełnym.
    Źródło:
    Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk; 2014, 1028; 1-28
    0138-0648
    Pojawia się w:
    Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Global existence and asymptotic behavior for a nonlinear degenerate SIS model
    Autorzy:
    Ziane, T. A.
    Powiązania:
    https://bibliotekanauki.pl/articles/952842.pdf
    Data publikacji:
    2013
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    reaction diffusion systems
    degenerate diffusion
    global existence
    asymptotic behavior
    population dynamics
    Opis:
    In this paper we investigate the global existence and asymptotic behavior of a reaction diffusion system with degenerate diffusion arising in the modeling and the spatial spread of an epidemic disease.
    Źródło:
    Opuscula Mathematica; 2013, 33, 4; 615-630
    1232-9274
    2300-6919
    Pojawia się w:
    Opuscula Mathematica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Reaction-diffusion coupled inclusions with variable exponents and large diffusion
    Autorzy:
    Simsen, Jacson
    Stefanello Simsen, Mariza
    Wittbold, Petra
    Powiązania:
    https://bibliotekanauki.pl/articles/2052022.pdf
    Data publikacji:
    2021
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    reaction-diffusion coupled systems
    variable exponents
    attractors
    upper semicontinuity
    large diffusion
    Opis:
    This work concerns the study of asymptotic behavior of coupled systems of p(x)-Laplacian differential inclusions. We obtain that the generalized semiflow generated by the coupled system has a global attractor, we prove continuity of the solutions with respect to initial conditions and a triple of parameters and we prove upper semicontinuity of a family of global attractors for reaction-diffusion systems with spatially variable exponents when the exponents go to constants greater than 2 in the topology of [formula] and the diffusion coefficients go to infinity.
    Źródło:
    Opuscula Mathematica; 2021, 41, 4; 539-570
    1232-9274
    2300-6919
    Pojawia się w:
    Opuscula Mathematica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The use of nuclear energy for military and civilian purposes safety in the nuclear power industry
    Autorzy:
    Jóźwik, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/347346.pdf
    Data publikacji:
    2017
    Wydawca:
    Akademia Wojsk Lądowych imienia generała Tadeusza Kościuszki
    Tematy:
    nuclear energy
    chain reaction
    nuclear reactor
    safety systems
    programme for the nuclear power industry
    Opis:
    The purpose of the article was to gather the basic information about the mechanism behind nuclear energy formation and the types of reactors, already built worldwide or potentially planned for construction in the near future, and to present the history of the beginnings of nuclear power in Poland. The issues of the safety of reactors, independent safety assurance systems and systems for emergency shutdown of a reactor are discussed in more detail. The problem of responsibility for the safety of nuclear equipment is also examined, including the relevant authority and method for such safety inspection. The initiatives taken in Poland in connection with the programme for the nuclear power industry are also described.
    Źródło:
    Zeszyty Naukowe / Wyższa Szkoła Oficerska Wojsk Lądowych im. gen. T. Kościuszki; 2017, 3; 106-123
    1731-8157
    Pojawia się w:
    Zeszyty Naukowe / Wyższa Szkoła Oficerska Wojsk Lądowych im. gen. T. Kościuszki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Study of ODE limit problems for reaction-diffusion equations
    Autorzy:
    Simsen, J.
    Simsen, M. S.
    Zimmermann, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/1397881.pdf
    Data publikacji:
    2018
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    ODE limit problems
    shadow systems
    reaction-diffusion equations
    parabolic problems
    variable exponents
    attractors
    upper semicontinuity
    Opis:
    In this work we study ODE limit problems for reaction-diffusion equations for large diffusion and we study the sensitivity of nonlinear ODEs with respect to initial conditions and exponent parameters. Moreover, we prove continuity of the flow and weak upper semicontinuity of a family of global attractors for reaction-diffusion equations with spatially variable exponents when the exponents go to 2 in $L^\infty(\Omega)$ and the diffusion coefficients go to infinity.
    Źródło:
    Opuscula Mathematica; 2018, 38, 1; 117-131
    1232-9274
    2300-6919
    Pojawia się w:
    Opuscula Mathematica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Najczęstsze zjawiska występujące podczas analizy profili DNA w multipleksowych systemach STR
    Most frequent phenomena to come up during DNA profile analysis in multiplex STR systems
    Autorzy:
    Dąbrowska, Joanna
    Makowska, Żanetta
    Spólnicka, Magdalena
    Szabłowska-Gnap, Emilia
    Powiązania:
    https://bibliotekanauki.pl/articles/499751.pdf
    Data publikacji:
    2013
    Wydawca:
    Centralne Laboratorium Kryminalistyczne Policji
    Tematy:
    multipleksowe systemy STR
    artefakty reakcji PCR
    profilowanie DNA
    multiplex STR systems
    PCR reaction artifacts
    DNA profiling
    Opis:
    Obecnie niezmiernie ważna jest standaryzacja postępowania w interpretacji wyników badań genetycznych, która powinna uwzględniać jednolite reguły obowiązujące podczas analizy profili DNA. Narzędziami służącymi do tego są wytyczne i normy formułowane przez środowiska naukowe opisujące możliwie dokładnie istotne czynniki wpływające na wyniki badań genetycznych. Dlatego też w artykule przedstwaiono najczęściej pojawiające się zjawiska genetyczne (piki n i n + 1, amplifikację preferencyjną, stuttery, degradację DNA, efekt stochastyczny, nadmierną amplifikację, nakładanie się alleli, mutacje obszaru wiązania primerów, mutacje somatyczne, trisomie, translokacje iduplikacje), z jakimi mają do czynienia eksperci podczas kryminalistycznej analizy profili STR.
    Presently, the standisation of operating procedures in interpretation of DNA analytical results is extremely important and it shall include a uniform set of principles to be followed during the analysis of DNA profiles. The tools utilized to this end involve guidelines and standards formulated by scientists who precisely describe essential factors influencing DNA analytical results. Therefore, the paper presents the most often DNA phenomena (n and n +1 peaks, preferential amplification, stutters, DNA degradation, stochastic effect, excessive amplification, alleles overall, primer binding sites mutation, somatic mutation, trisomy, translocation and duplication) to be encountered by experts during forensic analysis of STR profiles.
    Źródło:
    Problemy Kryminalistyki; 2013, 279; 45-52
    0552-2153
    Pojawia się w:
    Problemy Kryminalistyki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Asymptotic behaviour of stochastic systems with conditionally exponential decay property
    Autorzy:
    Jurlewicz, Agnieszka
    Weron, Aleksander
    Weron, Karina
    Powiązania:
    https://bibliotekanauki.pl/articles/1340207.pdf
    Data publikacji:
    1996
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Tematy:
    stable distributions
    minima of random sequences
    stochastic CED systems
    reaction kinetics
    dielectric relaxation
    stability of stochastic models
    Opis:
    A new class of CED systems, providing insight into behaviour of physical disordered materials, is introduced. It includes systems in which the conditionally exponential decay property can be attached to each entity. A limit theorem for the normalized minimum of a CED system is proved. Employing different stable schemes the universal characteristics of the behaviour of such systems are derived.
    Źródło:
    Applicationes Mathematicae; 1995-1996, 23, 4; 379-394
    1233-7234
    Pojawia się w:
    Applicationes Mathematicae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Monotone iterative methods for infinite systems of reaction-diffusion-convection equations with functional dependence
    Autorzy:
    Brzychczy, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/255097.pdf
    Data publikacji:
    2005
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    infinite systems
    reaction-diffusion-convection equations
    semilinear parabolic differential-functional equations
    Volterra functionals
    monotone iterative methods
    method of upper and lower solutions
    Opis:
    We consider the Fourier first initial-boundary value problem for an infinite system of semilinear parabolic differential-functional equations of reaction-diffusion-convection type of the form [formula] where [formula] in a bounded cylindrical domain (0, T] x G := D rcup Rm+1. The right-hand sides of the system are Volterra type functionals of the unknown function z. In the paper, we give methods of the construction of the monotone iterative sequences converging to the unique classical solution of the problem considered in partially ordered Banach spaces with various convergence rates of iterations. We also give remarks on monotone iterative methods in connection with numerical methods, remarks on methods for the construction of lower and upper solutions and remarks concerning the possibility of extending these methods to more general parabolic equations. All monotone iterative methods are based on differential inequalities and, in this paper, we use the theorem on weak partial differential-functional inequalities for infinite systems of parabolic equations, the comparison theorem and the maximum principle. A part of the paper is based on the results of our previous papers. These results generalize the results obtained by several authors in numerous papers for finite systems of semilinear parabolic differential equations to encompass the case of infinite systems of semilinear parabolic differential-functional equations. The monotone iterative schemes can be used for the computation of numerical solutions.
    Źródło:
    Opuscula Mathematica; 2005, 25, 1; 29-99
    1232-9274
    2300-6919
    Pojawia się w:
    Opuscula Mathematica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Traveling waves in media with diffusion
    Autorzy:
    Kaźmierczak, Bogdan
    Powiązania:
    https://bibliotekanauki.pl/articles/747755.pdf
    Data publikacji:
    2005
    Wydawca:
    Polskie Towarzystwo Matematyczne
    Tematy:
    Reaction-diffusion equations, Boundary value problems for parabolic systems,Index theory, Morse-Conley indices, Homoclinic and heteroclinic orbits, Ionized gas flow in electromagnetic fields
    plasmic flow, Physiological flow
    Opis:
    In this paper, we discuss traveling wave solutions for equations that model nonlinear media with diffusion. Such solutions can also describe, for example, the propagation of heteroclinic fronts or impulses (medium excitations). We present several examples of processes in which the notion of a traveling wave captures the essence of the analytical phenomena, including plasma sustained by a laser beam, phase transitions in van der Waals fluids, skin morphogenesis, and the DNA-RNA transcription process.
    Źródło:
    Mathematica Applicanda; 2005, 33, 47/06
    1730-2668
    2299-4009
    Pojawia się w:
    Mathematica Applicanda
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-10 z 10

      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