ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Articles  (127)
  • Other Sources
  • stability  (70)
  • nitric oxide  (36)
  • automated theorem proving
  • Springer  (127)
  • American Geophysical Union
  • American Institute of Physics (AIP)
  • Nature Publishing Group
  • 2000-2004
  • 1995-1999  (127)
  • 1945-1949
  • 1999  (61)
  • 1997  (66)
  • Mathematics  (38)
  • Computer Science  (38)
  • Medicine  (38)
  • Physics  (20)
Collection
  • Articles  (127)
  • Other Sources
Keywords
Publisher
  • Springer  (127)
  • American Geophysical Union
  • American Institute of Physics (AIP)
  • Nature Publishing Group
  • Wiley-Blackwell  (8)
Years
  • 2000-2004
  • 1995-1999  (127)
  • 1945-1949
Year
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    The journal of Fourier analysis and applications 5 (1999), S. 105-125 
    ISSN: 1531-5851
    Keywords: 26B05 ; 42B10 ; 42C99 ; frame ; Gabor system ; Riesz basis ; stability ; wavelet
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract If the sequence of functions ϕj, k is a wavelet frame (Riesz basis) or Gabor frame (Riesz basis), we obtain its perturbation system ψj,k which is still a frame (Riesz basis) under very mild conditions. For example, we do not need to know that the support of ϕ or ψ $$(\hat \phi or\hat \psi )$$ is compact as in [14]. We also discuss the stability of irregular sampling problems. In order to arrive at some of our results, we set up a general multivariate version of Littlewood-Paley type inequality which was originally considered by Lemarié and Meyer [17], then by Chui and Shi [9], and Long [16].
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    Positivity 1 (1997), S. 319-330 
    ISSN: 1572-9281
    Keywords: delay equations ; stability ; positive solutions ; spectral growth condition
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract We prove stability for a semilinear delay equation, whose nonlinearity is majorized by a linear positive operator. The key ingredients are a spectral condition, positivity of solutions to the linear problem, and lattice properties of the Banach space.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    Springer
    Queueing systems 32 (1999), S. 131-168 
    ISSN: 1572-9443
    Keywords: stability ; positive recurrence ; fluid limit ; polling system ; exhaustive service policy
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We introduce a generalized criterion for the stability of Markovian queueing systems in terms of stochastic fluid limits. We consider an example in which this criterion may be applied: a polling system with two stations and two heterogeneous servers.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    Electronic Resource
    Electronic Resource
    Springer
    Celestial mechanics and dynamical astronomy 74 (1999), S. 19-57 
    ISSN: 1572-9478
    Keywords: stability ; Hamiltonian ; two centers ; oblate planet ; galactic disks ; dipole
    Source: Springer Online Journal Archives 1860-2000
    Topics: Physics
    Notes: Abstract Relative equilibria occur in a wide variety of physical applications, including celestial mechanics, particle accelerators, plasma physics, and atomic physics. We derive sufficient conditions for Lyapunov stability of circular orbits in arbitrary axisymmetric gravitational (electrostatic) and magnetic fields, including the effects of local mass (charge) and current density. Particularly simple stability conditions are derived for source‐free regions, where the gravitational field is harmonic (∇2U = 0) or the magnetic field irrotational (∇ × B = 0). In either case the resulting stability conditions can be expressed geometrically (coordinate‐free) in terms of dimensionless stability indices. Stability bounds are calculated for several examples, including the problem of two fixed centers, the J2 planetary model, galactic disks, and a toroidal quadrupole magnetic field.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    Electronic Resource
    Electronic Resource
    Springer
    Celestial mechanics and dynamical astronomy 75 (1999), S. 251-285 
    ISSN: 1572-9478
    Keywords: unrestricted problem ; rotational motion ; rigid body dynamics ; libration points ; stability ; resonances
    Source: Springer Online Journal Archives 1860-2000
    Topics: Physics
    Notes: Abstract We present an analysis of the model introduced by Kokoriev and Kirpichnikov (1988) for the study of unrestricted planar motion of a point mass and a symmetric rigid body whose gravity field is approximated by two point masses (a dumb-bell model). To show possible generalization of the model, we give a systematic derivation of equations of motion for a more general unrestricted problem of a point and a rigid body possessing a plane of dynamical symmetry. We give a simple description of bifurcation of triangular libration points, and we perform an analysis of their linear stability. We propose to extend the model of Kokoriev and Kirpichnikov (1988) to a case when the symmetric body is oblate. In the proposed model the gravity field of moving and rotating body is approximated by two complex masses at complex distance (a complex dumb-bell model). An analysis of bifurcation of the triangular libration points in this model is also presented.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    Electronic Resource
    Electronic Resource
    Springer
    Set-valued analysis 5 (1997), S. 73-88 
    ISSN: 1572-932X
    Keywords: differential inclusion ; invariance ; stability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract The properties of invariance, stability, asymptotic stability and attainability of a given compact set $$K \subset \mathbb{R}^n $$ with respect to a differential inclusion, have weak and strong versions: the weak version requires existence of a trajectory with the corresponding property, while the strong one requires this property for all trajectories. The following statement is proven in the paper (under slight restrictions) for each of the above-mentioned properties: if K has the weak property with respect to $$\dot x \in F(x) $$ , then there is a (regulation) mapping G such that G(x) ⊂ F(x) ∀ x and G has the strong property with respect to $${\dot x}$$ ε G(x). In addition, certain regularity of the set of solutions of the last inclusion is claimed.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    Electronic Resource
    Electronic Resource
    Springer
    Set-valued analysis 5 (1997), S. 365-375 
    ISSN: 1572-932X
    Keywords: set-valued mappings ; vector optimization ; stability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract We establish optimization results for set-valued mappings, with the image space given by a topological vector space partially ordered by a cone. Moreover, we obtain stability results relative to parametrized optimization problems. We use a weak semicontinuity concept related to the order structure of the image space and show how compactness assumptions used in previous papers can be lightened.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    Electronic Resource
    Electronic Resource
    Springer
    Computational & mathematical organization theory 5 (1999), S. 5-30 
    ISSN: 1572-9346
    Keywords: network models ; organization theory ; rule following ; self organized ; stability ; work teams ; work routine
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract Self-organized rule-following systems are increasingly relevant objects of study in organization theory due to such systems&2018; capacity to maintain control while enabling decentralization of authority. This paper proposes a network model for such systems and examines the stability of the networks&2018; repetitive behavior. The networks examined are Ashby nets, a fundamental class of binary systems: connected aggregates of nodes that individually compute an interaction rule, a binary function of their three inputs. The nodes, which we interpret as workers in a work team, have two network inputs and one self-input. All workers in a given team follow the same interaction rule. We operationalize the notion of stability of the team&2018;s work routine and determine stability under small perturbations for all possible rules these teams can follow. To study the organizational concomitants of stability, we characterize the rules by their memory, fluency, homogeneity, and autonomy. We relate these measures to work routine stability, and find that stability in ten member teams is enhanced by rules that have low memory, high homogeneity, and low autonomy.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    Electronic Resource
    Electronic Resource
    Springer
    Queueing systems 27 (1997), S. 205-226 
    ISSN: 1572-9443
    Keywords: multiclass queueing networks ; ergodicity ; stability ; performance analysis
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We develop the use of piecewise linear test functions for the analysis of stability of multiclass queueing networks and their associated fluid limit models. It is found that if an associated LP admits a positive solution, then a Lyapunov function exists. This implies that the fluid limit model is stable and hence that the network model is positive Harris recurrent with a finite polynomial moment. Also, it is found that if a particular LP admits a solution, then the network model is transient.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    Electronic Resource
    Electronic Resource
    Springer
    Queueing systems 33 (1999), S. 293-325 
    ISSN: 1572-9443
    Keywords: stability ; fluid models ; multiclass queueing networks ; piecewise linear Lyapunov functions ; linear Lyapunov functions ; monotone global stability ; static buffer priority disciplines
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract This paper studies the stability of a three‐station fluid network. We show that, unlike the two‐station networks in Dai and Vande Vate [18], the global stability region of our three‐station network is not the intersection of its stability regions under static buffer priority disciplines. Thus, the “worst” or extremal disciplines are not static buffer priority disciplines. We also prove that the global stability region of our three‐station network is not monotone in the service times and so, we may move a service time vector out of the global stability region by reducing the service time for a class. We introduce the monotone global stability region and show that a linear program (LP) related to a piecewise linear Lyapunov function characterizes this largest monotone subset of the global stability region for our three‐station network. We also show that the LP proposed by Bertsimas et al. [1] does not characterize either the global stability region or even the monotone global stability region of our three‐station network. Further, we demonstrate that the LP related to the linear Lyapunov function proposed by Chen and Zhang [11] does not characterize the stability region of our three‐station network under a static buffer priority discipline.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 11
    Electronic Resource
    Electronic Resource
    Springer
    Journal of dynamics and differential equations 9 (1997), S. 463-505 
    ISSN: 1572-9222
    Keywords: Difference equations ; random perturbation ; averaging ; diffusion approximation ; randomly perturbed iterations ; stability ; 3SR60 ; 60H15 ; 60J99
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract Let (X, ℬ) and (Y,C) be two measurable spaces withX being a linear space. A system is determined by two functionsf(X): X→ X andϕ:X×Y→X, a (small) positive parameterε and a homogeneous Markov chain {y n } in (Y,C) which describes random perturbations. States of the system, say {x n ɛ ∈X, n=0, 1,⋯}, are determined by the iteration relations:x n+1 ɛ =f(x n ɛ )+ɛϕ(x n ɛ ,Yn+1) forn≥0, wherex 0 ɛ =x 0 is given. Here we study the asymptotic behavior of the solutionx n ɛ asε → 0 andn → ∞ under various assumptions on the data. General results are applied to some problems in epidemics, genetics and demographics.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    Electronic Resource
    Electronic Resource
    Springer
    Set-valued analysis 5 (1997), S. 377-390 
    ISSN: 1572-932X
    Keywords: differential inclusions ; stability ; boundedness of solutions ; Lyapunov functions
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract For Lipschitzian differential inclusions, we prove that the existence of suitable Lyapunov functions is necessary for uniform stability and uniform boundedness of solutions.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    Electronic Resource
    Electronic Resource
    Springer
    Set-valued analysis 7 (1999), S. 209-238 
    ISSN: 1572-932X
    Keywords: nonsmooth analysis ; subdifferentials ; coderivatives ; implicit function theorem ; solvability ; stability ; open mapping theorem ; metric regularity ; multidirectional mean value inequality
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract We prove a general implicit function theorem for multifunctions with a metric estimate on the implicit multifunction and a characterization of its coderivative. Traditional open covering theorems, stability results, and sufficient conditions for a multifunction to be metrically regular or pseudo-Lipschitzian can be deduced from this implicit function theorem. We prove this implicit multifunction theorem by reducing it to an implicit function/solvability theorem for functions. This approach can also be used to prove the Robinson–Ursescu open mapping theorem. As a tool for this alternative proof of the Robinson–Ursescu theorem, we also establish a refined version of the multidirectional mean value inequality which is of independent interest.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    Electronic Resource
    Electronic Resource
    Springer
    Queueing systems 31 (1999), S. 171-206 
    ISSN: 1572-9443
    Keywords: scheduling ; open multiclass queueing networks ; discrete-review policies ; fluid models ; stability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract This paper describes a family of discrete-review policies for scheduling open multiclass queueing networks. Each of the policies in the family is derived from what we call a dynamic reward function: such a function associates with each queue length vector q and each job class k a positive value r k (q), which is treated as a reward rate for time devoted to processing class k jobs. Assuming that each station has a traffic intensity parameter less than one, all policies in the family considered are shown to be stable. In such a policy, system status is reviewed at discrete points in time, and at each such point the controller formulates a processing plan for the next review period, based on the queue length vector observed. Stability is proved by combining elementary large deviations theory with an analysis of an associated fluid control problem. These results are extended to systems with class dependent setup times as well as systems with alternate routing and admission control capabilities.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    Electronic Resource
    Electronic Resource
    Springer
    Queueing systems 26 (1997), S. 343-363 
    ISSN: 1572-9443
    Keywords: retrial queues ; stability ; ergodicity ; renovation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We consider the following Type of problems. Calls arrive at a queue of capacity K (which is called the primary queue), and attempt to get served by a single server. If upon arrival, the queue is full and the server is busy, the new arriving call moves into an infinite capacity orbit, from which it makes new attempts to reach the primary queue, until it finds it non-full (or it finds the server idle). If the queue is not full upon arrival, then the call (customer) waits in line, and will be served according to the FIFO order. If λ is the arrival rate (average number per time unit) of calls and μ is one over the expected service time in the facility, it is well known that μ 〉 λ is not always sufficient for stability. The aim of this paper is to provide general conditions under which it is a sufficient condition. In particular, (i) we derive conditions for Harris ergodicity and obtain bounds for the rate of convergence to the steady state and large deviations results, in the case that the inter-arrival times, retrial times and service times are independent i.i.d. sequences and the retrial times are exponentially distributed; (ii) we establish conditions for strong coupling convergence to a stationary regime when either service times are general stationary ergodic (no independence assumption), and inter-arrival and retrial times are i.i.d. exponentially distributed; or when inter-arrival times are general stationary ergodic, and service and retrial times are i.i.d. exponentially distributed; (iii) we obtain conditions for the existence of uniform exponential bounds of the queue length process under some rather broad conditions on the retrial process. We finally present conditions for boundedness in distribution for the case of nonpatient (or non persistent) customers.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    Electronic Resource
    Electronic Resource
    Springer
    Queueing systems 32 (1999), S. 99-130 
    ISSN: 1572-9443
    Keywords: neural network ; inhibition ; stability ; Markov process ; fluid limit ; Harris-recurrence ; transience
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract The subject of the paper is the stability analysis of some neural networks consisting of a finite number of interacting neurons. Following the approach of Dai [5] we use the fluid limit model of the network to derive a sufficient condition for positive Harris-recurrence of the associated Markov process. This improves the main result in Karpelevich et al. [11] and, at the same time, sheds some new light on it. We further derive two different conditions that are sufficient for transience of the state process and illustrate our results by classifying some examples according to positive recurrence or transience.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    Electronic Resource
    Electronic Resource
    Springer
    Queueing systems 32 (1999), S. 195-231 
    ISSN: 1572-9443
    Keywords: window flow control ; TCP ; stability ; multiclass networks ; stationary ergodic point processes ; (max,+)-linear system
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We focus on window flow control as used in packet-switched communication networks. The approach consists in studying the stability of a system where each node on the path followed by the packets of the controlled connection is modeled by a FIFO (First-In-First-Out) queue of infinite capacity which receives in addition some cross traffic represented by an exogenous flow. Under general stochastic assumptions, namely for stationary and ergodic input processes, we show the existence of a maximum throughput allowed by the flow control. Then we establish bounds on the value of this maximum throughput. These bounds, which do not coincide in general, are reached by time-space scalings of the exogenous flows. Therefore, the performance of the window flow control depends not only on the traffic intensity of the cross flows, but also on fine statistical characteristics such as the burstiness of these flows. These results are illustrated by several examples, including the case of a nonmonotone, nonconvex and fractal stability region.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    Electronic Resource
    Electronic Resource
    Springer
    Advances in computational mathematics 10 (1999), S. 271-289 
    ISSN: 1572-9044
    Keywords: delay differential equations ; steady state solutions ; stability ; 34K20 ; 65J10
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract The characteristic equation of a system of delay differential equations (DDEs) is a nonlinear equation with infinitely many zeros. The stability of a steady state solution of such a DDE system is determined by the number of zeros of this equation with positive real part. We present a numerical algorithm to compute the rightmost, i.e., stability determining, zeros of the characteristic equation. The algorithm is based on the application of subspace iteration on the time integration operator of the system or its variational equations. The computed zeros provide insight into the system’s behaviour, can be used for robust bifurcation detection and for efficient indirect calculation of bifurcation points.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    Electronic Resource
    Electronic Resource
    Springer
    BIT 39 (1999), S. 385-402 
    ISSN: 1572-9125
    Keywords: Gaussian elimination ; stability ; backward error analysis ; growth factor
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract A new backward error analysis of LU factorization is presented. It allows to obtain a sharper upper bound for the forward error and a new definition of the growth factor that we compare with the well known Wilkinson growth factor for some classes of matrices. Numerical experiments show that the new growth factor is often of order approximately log2 n whereas Wilkinson's growth factor is of order n or $$\sqrt n$$ .
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    Electronic Resource
    Electronic Resource
    Springer
    Annals of global analysis and geometry 15 (1997), S. 277-297 
    ISSN: 1572-9060
    Keywords: mean curvature ; $$r$$ -mean curvature ; sphere ; stability ; stable
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract We deal with compact hypersurfaces immersed in space forms with constant $$r$$ -mean curvature. They are critical points for a variational problem. We show they are stable if and only if they are geodesic spheres, generalizing results on constant curvature hypersurfaces.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    Electronic Resource
    Electronic Resource
    Springer
    Acta applicandae mathematicae 49 (1997), S. 35-54 
    ISSN: 1572-9036
    Keywords: dynamical systems ; stability ; pseudo orbit tracing property ; nonstandard analysis
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract It is known that it is not possible to introduce C0 -structural stability for whole systems in topological dynamics. Using the methods of Nonstandard Analysis, we suggest four different purely topological stability concepts for dynamical systems on compact subsets of Rn. Classically these amount to considering the space of all systems on a given subset of Rn as the fundamental entity when deforming a continuous system (instead of the space of all continuous systems as is normally done in topological dynamics). For two of the introduced stability concepts, we will show that all minimal flows are stable in this sense. Besides this, we will show that one of our stability concepts is related to what is called the pseudo orbit tracing property in a recently published book by Aoki and Hiraide and compare some of our results to the theory of dynamical systems as presented there.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    Electronic Resource
    Electronic Resource
    Springer
    Celestial mechanics and dynamical astronomy 67 (1997), S. 181-204 
    ISSN: 1572-9478
    Keywords: Hamiltonian systems ; symplectic mappings ; normal forms ; resonances ; stability ; three degrees of freedom
    Source: Springer Online Journal Archives 1860-2000
    Topics: Physics
    Notes: Abstract We analyze four-dimensional symplectic mappings in the neighbourhood of an elliptic fixed point whose eigenvalues are close to satisfy a third-order resonance. Using the perturbative tools of resonant normal forms, the geometry of the orbits and the existence of elliptic or hyperbolic one-dimensional tori (fixed lines) is worked out. This allows one to give an analytical estimate of the stability domain when the resonance is unstable. A comparison with numerical results for the four-dimensional Hénon mapping is given.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    Electronic Resource
    Electronic Resource
    Springer
    Advances in computational mathematics 10 (1999), S. 115-133 
    ISSN: 1572-9044
    Keywords: Runge–Kutta–Nyström methods ; predictor–corrector methods ; stability ; parallelism ; 65M12 ; 65M20
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract This paper describes the construction of block predictor–corrector methods based on Runge–Kutta–Nyström correctors. Our approach is to apply the predictor–corrector method not only with stepsize h, but, in addition (and simultaneously) with stepsizes a i h, i = 1 ...,r. In this way, at each step, a whole block of approximations to the exact solution at off‐step points is computed. In the next step, these approximations are used to obtain a high‐order predictor formula using Lagrange or Hermite interpolation. Since the block approximations at the off‐step points can be computed in parallel, the sequential costs of these block predictor–corrector methods are comparable with those of a conventional predictor–corrector method. Furthermore, by using Runge–Kutta–Nyström corrector methods, the computation of the approximation at each off‐step point is also highly parallel. Numerical comparisons on a shared memory computer show the efficiency of the methods for problems with expensive function evaluations.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    Electronic Resource
    Electronic Resource
    Springer
    Celestial mechanics and dynamical astronomy 69 (1997), S. 271-281 
    ISSN: 1572-9478
    Keywords: restricted three-body problem ; libration points ; stability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Physics
    Notes: Abstract The existence and stability of triangular libration points in the relativistic restricted three-body problem has been studied. It is found that L4,5 are unstable in the whole range 0 ≤ µ ≤ 1/2 in contrast to the classical restricted three-body problem where they are stable for 0 〈 µ 〈 µ0, where µ is the mass parameter and µ0 = 0.03852....
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 25
    Electronic Resource
    Electronic Resource
    Springer
    Celestial mechanics and dynamical astronomy 69 (1997), S. 317-330 
    ISSN: 1572-9478
    Keywords: artificial satellite ; Nekhoroshev's theory ; normal form ; stability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Physics
    Notes: Abstract We investigate the significance of long time stabilty predictions in the light of Nekhoroshev's theory by studying the orbits of artificial satellites. As a simplified model problem we consider the so-called J2problem for an earth's satellite, neglecting luni-solar perturbations and nonconservative effects. We consider a wide range of orbits, excluding those which are too close to the critical inclination. Most of the orbits turn out to be stable for times larger than the estimated age of the solar system, thus proving that, as far as dissipation can be neglected, stability in Nekhoroshev's sense may be effective for physically realistic systems.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 26
    Electronic Resource
    Electronic Resource
    Springer
    BIT 39 (1999), S. 620-645 
    ISSN: 1572-9125
    Keywords: Numerical integrator ; oscillatory solutions ; Schrödinger equation ; quantum-classical coupling ; error bounds ; stability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract We study time integration methods for equations of mixed quantum-classical molecular dynamics in which Newtonian equations of motion and Schrödinger equations are nonlinearly coupled. Such systems exhibit different time scales in the classical and the quantum evolution, and the solutions are typically highly oscillatory. The numerical methods use the exponential of the quantum Hamiltonian whose product with a state vector is approximated using Lanczos' method. This allows time steps that are much larger than the inverse of the highest frequencies. We describe various integration schemes and analyze their error behaviour, without assuming smoothness of the solution. As preparation and as a problem of independent interest, we study also integration methods for Schrödinger equations with time-dependent Hamiltonian.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 27
    Electronic Resource
    Electronic Resource
    Springer
    Optical review 6 (1999), S. 28-36 
    ISSN: 1349-9432
    Keywords: optical propagation equation ; stability ; picosecond pulse ; 3-dimensional computation ; Fresnel’s distribution ; fast Fourier transform
    Source: Springer Online Journal Archives 1860-2000
    Topics: Physics
    Notes: Abstract We present a new simulation code able to simulate the entire propagation of laser pulse, from the amplifiers level up to the focusing stage. This algorithm has some new characteristics that we intend to present. It computes the three-dimensional optical propagation equation using no approximation other than its picosecond expression. The stability has been carefully studied so that it can be applied to any geometry. This is a great improvement since, up to now only cylindrical geometry was accessible for accuracy. In this paper we also present a method using Fast Fourier Transform able to evaluate with a high accuracy, Fresnel’s distribution of a focused laser pulse. The advantages provided by our algorithm are its rapidity and its high physical understanding of the focusing phenomena.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 28
    Electronic Resource
    Electronic Resource
    Springer
    Journal of statistical physics 88 (1997), S. 691-711 
    ISSN: 1572-9613
    Keywords: Quasicrystals ; nonperiodic tilings ; classical lattice-gas models ; ground states ; stability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Physics
    Notes: Abstract We give strong evidence that noncrystalline materials such as quasicrystals or incommensurate solids are not exceptions, but rather are generic in some regions of phase space. We show this by constructing classical lattice-gas models with translation-invariant finite-range interactions and with a unique quasiperiodic ground state which is stable against small perturbations of two-body potentials. More generally, we provide a criterion for stability of nonperiodic ground states.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 29
    Electronic Resource
    Electronic Resource
    Springer
    Journal of statistical physics 95 (1999), S. 835-850 
    ISSN: 1572-9613
    Keywords: quasicrystals ; nonperiodic tilings ; classical lattice-gas models ; nonperiodic ground states ; nonperiodic Gibbs states ; stability ; frustration
    Source: Springer Online Journal Archives 1860-2000
    Topics: Physics
    Notes: Abstract One of the fundamental problems of quasicrystals is to understand their occurrence in microscopic models of interacting particles. We review here recent attempts to construct stable quasicrystalline phases. In particular, we compare two recently constructed classical lattice-gas models with translation-invariant interactions and without periodic ground-state configurations. The models are based on nonperiodic tilings of the plane by square-like tiles. In the first model, all interactions can be minimized simultaneously. The second model is frustrated; its nonperiodic ground state can arise only by the minimization of the energy of competing interactions. We put forward some hypotheses concerning stabilities of nonperiodic ground states. In particular, we introduce two criteria, the so-called strict boundary conditions, and prove their equivalence to the zero-temperature stability of ground states against small perturbations of potentials of interacting particles. We discuss the relevance of these conditions for the low-temperature stability, i.e., for the existence of thermodynamically stable nonperiodic equilibrium states.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    Electronic Resource
    Electronic Resource
    Springer
    Journal of statistical physics 95 (1999), S. 867-902 
    ISSN: 1572-9613
    Keywords: kinetics of phase transitions ; domain coarsening ; asymptotic behavior ; self-similarity ; stability ; chaos
    Source: Springer Online Journal Archives 1860-2000
    Topics: Physics
    Notes: Abstract The classical Lifshitz–Slyozov–Wagner theory of domain coarsening predicts asymptotically self-similar behavior for the size distribution of a dilute system of particles that evolve by diffusional mass transfer with a common mean field. Here we consider the long-time behavior of measure-valued solutions for systems in which particle size is uniformly bounded, i.e., for initial measures of compact support. We prove that the long-time behavior of the size distribution depends sensitively on the initial distribution of the largest particles in the system. Convergence to the classically predicted smooth similarity solution is impossible if the initial distribution function is comparable to any finite power of distance to the end of the support. We give a necessary criterion for convergence to other self-similar solutions, and conditional stability theorems for some such solutions. For a dense set of initial data, convergence to any self-similar solution is impossible.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 31
    Electronic Resource
    Electronic Resource
    Springer
    Journal of intelligent and robotic systems 20 (1997), S. 131-155 
    ISSN: 1573-0409
    Keywords: robot adaptive control ; basis function-like networks ; stability ; discrete variable structure
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
    Notes: Abstract Stable neural network-based sampled-data indirect and direct adaptivecontrol approaches, which are the integration of a neural network (NN)approach and the adaptive implementation of the discrete variable structurecontrol, are developed in this paper for the trajectory tracking control ofa robot arm with unknown nonlinear dynamics. The robot arm is assumed tohave an upper and lower bound of its inertia matrix norm and its states areavailable for measurement. The discrete variable structure control servestwo purposes, i.e., one is to force the system states to be within the stateregion in which neural networks are used when the system goes out of neuralcontrol; and the other is to improve the tracking performance within the NNapproximation region. Main theory results for designing stable neuralnetwork-based sampled data indirect and direct adaptive controllers aregiven, and the extension of the proposed control approaches to the compositeadaptive control of a flexible-link robot is discussed. Finally, theeffectiveness of the proposed control approaches is illustrated throughsimulation studies.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 32
    Electronic Resource
    Electronic Resource
    Springer
    Journal of intelligent and robotic systems 19 (1997), S. 411-436 
    ISSN: 1573-0409
    Keywords: assembly planning ; stability ; robot ; forward ; operations
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
    Notes: Abstract The paper presents an approach to sequence planning consisting in determining assembly sequences defined in terms of mating and non-mating operations and based on a dynamic expansion of the assembly tree obtained using a knowledge base management system. The planner considers the case of a single-robot assembly workcell. The use of stability and the detailed definition of sequences also by means of several non-mating operations are shown to be powerful instruments in the control of the tree expansion. Forward assembly planning has been chosen, in order to minimize the number of stability checks. Backtracking is avoided by combining precedence relations and stability analysis. Hard and soft constrains are introduced to drive the tree expansion. Hard constraints are precedence relations and stability analysis. All operations are associated to costs, which are used as soft constraints. The operation based approach enables one to manage even non-mating operations and to easily overcome the linearity constraint. Costs enable the planner to manage the association among tools and components. The first section of the paper concerns Stability Analysis that is subdivided into Static and Dynamic Stability Analysis. The former is mainly involved in analyzing gravity effects; the latter is mainly involved in evaluate inertia effects due to manipulation. Stability Analysis is implemented in a simplified form. Fundamental assumptions are: no rotational equilibrium condition is considered; for each reaction force only direction and versus, but not magnitude, are considered; friction is neglected. The second section discusses the structure of the planner and its implementation. The planner is a rule based system. Forward chaining and hypothetical reasoning are the inference strategies used. The knowledge base and the data base of the system are presented and the advantages obtained using a rule based system are discussed. The third section shows two planning examples, showing the performance of the system in a simple case and in an industrial test case, the assembly of a microwave branching filter composed of 26 components.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 33
    Electronic Resource
    Electronic Resource
    Springer
    Journal of intelligent and robotic systems 26 (1999), S. 91-100 
    ISSN: 1573-0409
    Keywords: robots ; neural networks ; adaptiveness ; stability ; approximation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
    Notes: Abstract An indirect adaptive control approach is developed in this paper for robots with unknown nonlinear dynamics using neural networks (NNs). A key property of the proposed approach is that the actual joint angle values in the control law are replaced by the desired joint angles, angle velocities and accelerators, and the bound on the NN reconstruction errors is assumed to be unknown. Main theoretical results for designing such a neuro-controller are given, and the control performance of the proposed controller is verified with simulation studies.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    ISSN: 1432-0770
    Keywords: Key words: Hebbian learning rule ; attractor dynamics ; symmetric connections ; multiplicative normalization ; self-organization ; stability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Computer Science , Physics
    Notes: Abstract. While learning and development are well characterized in feedforward networks, these features are more difficult to analyze in recurrent networks due to the increased complexity of dual dynamics – the rapid dynamics arising from activation states and the slow dynamics arising from learning or developmental plasticity. We present analytical and numerical results that consider dual dynamics in a recurrent network undergoing Hebbian learning with either constant weight decay or weight normalization. Starting from initially random connections, the recurrent network develops symmetric or near-symmetric connections through Hebbian learning. Reciprocity and modularity arise naturally through correlations in the activation states. Additionally, weight normalization may be better than constant weight decay for the development of multiple attractor states that allow a diverse representation of the inputs. These results suggest a natural mechanism by which synaptic plasticity in recurrent networks such as cortical and brainstem premotor circuits could enhance neural computation and the generation of motor programs.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    ISSN: 1573-4919
    Keywords: nitric oxide ; human lymphocyte ; immunoglobulins ; oxygen free radical scavenger
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Chemistry and Pharmacology , Medicine
    Notes: Abstract We investigated the role of endogenous or exogenous nitric oxide (NO) on human lymphocyte function. We used sodium nitroprusside, nitroglycerine, S-nitroso-N-acetylpenicillamine, sodium nitrite and S-nitroso-L-glutathione as NO-generating compounds. All agents were used at doses that do not produce direct cytotoxicity as measured by trypan blue exclusion as well as chromium-51 release assay. The immune responses examined were peripheral blood lymphocytes (PBL) proliferation and IL-2 production after activation with OKT3 and PHA; allogeneic mediated proliferation and cell mediated cytotoxicity (CML) in MLR; IgG and IgM production after PBL activation with Con-A; proliferation and expression of IFN-γ and IL-4 mRNA after activation of allogeneic CD4+T cell clones. Cytokine mRNA expression was measured by reverse transcriptase PCR. Our results show that proliferating lymphocytes do not produce a detectable amount of NO as measured by the Griess reaction. In separate experiments, on of NG-monomethyl-L-arginine (L-NMMA) did not affect lymphocyte proliferation. Sodium nitroprusside and nitroglycerine exerted a dose dependent antimitogenic effect, inhibited cytokine production and expression, CML generation and antibody production. DNA gel electrophoresis showed no evidence for enhanced programmed cell death. The antimitogenic effect could not be blocked by the NO scavengers, hemoglobin or methylene blue. In contrast, the other nitric oxide generating compounds did not inhibit lymphocyte mitogenesis. The results suggest that human lymphocytes do not produce appreciable amounts of NO to affect lymphocyte mitogenesis. Sodium nitroprusside and nitroglycerine have a potent but nonspecific immunoinhibitory effect on human lymphocyte function by a mechanism other than NO production. In addition, pharmacological levels of NO do not inhibit human lymphocyte mitogenesis.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    Electronic Resource
    Electronic Resource
    Springer
    Molecular and cellular biochemistry 168 (1997), S. 87-93 
    ISSN: 1573-4919
    Keywords: nitric oxide ; superoxide dismutase ; macrophages
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Chemistry and Pharmacology , Medicine
    Notes: Abstract Rat peritoneal macrophages stimulated with lipopolysaccharide (LPS) and Phorbol myristate acetate (PMA) generated increased levels of superoxide anions (O2ú-) by 122% as compared to those stimulated with PMA alone. However, Nitric oxide (NO) synthase inhibitors-n-monomethyl arginine (nMMA) or spermine-HCI lowered the enhanced levels of O2ú- released by LPS treated macrophages. The Superoxide dismutase (SOD) activity in LPS treated macrophages was 51% lower than that observed in resident cells. NO synthase inhibitors prevented the loss of SOD activity in LPS treated cells. Exogenously added SOD during sensitization of cells with LPS also inactivated the enzyme. This inactivation of SOD is inhibited by Nitric oxide synthase inhibitors. PMA alone did not affect SOD activity. NO synthase inhibitors also did not affect PMA activated superoxide anion generation in macrophages. These studies indicate that nitric oxide generated by LPS treated macrophages can inactivate SOD activity.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    ISSN: 1573-4919
    Keywords: nitric oxide ; MPTP ; 3-nitropropionic acid ; malonate ; 3-nitrotyrosine ; free radicals
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Chemistry and Pharmacology , Medicine
    Notes: Abstract Excitotoxicity, mitochondrial dysfunction and free radical induced oxidative damage have been implicated in the pathogenesis of several different neurodegenerative diseases, such as amyotrophic lateral sclerosis, Parkinson's disease (PD), Alzheimer's disease (AD), and Huntington's disease. Much of the interest in the association of neurodegeneration with mitochondrial dysfunction and oxidative damage emerged from animal studies using mitochondrial toxins. Within mitochondria 1-methyl-4-phenylpyridinium (MPP+), the active metabolite of 1-methyl-4-phenyl-1,2,3,6-tetrahydropyridine (MPTP), acts to inhibit NADH-coenzyme Q reductase (complex I) of the electron transport chain. MPTP produces Parkinsonism in humans, primates, and mice. Similarly, lesions produced by the reversible inhibitor of succinate dehydrogenase (complex II), malonate, and the irreversible inhibitor, 3-nitropropionic acid (3-NP), closely resemble the histologic, neurochemical and clinical features of HD in both rats and non-human primates. The interruption of oxidative phosphorylation results in decreased levels of ATP. A consequence is partial neuronal depolarization and secondary activation of voltage-dependent NMDA receptors, which may result in excitotoxic neuronal cell death (secondary excitotoxicity). The increase in intracellular Ca2+ concentration leads to an actiation of Ca2+ dependent enzymes, including the constitutive neuronal nitric oxide synthase (cnNOS) which produces NO·. NO· may react with the superoxide anion to form peroxynitrite. We show that systemic administration of 7-nitroindazole (7-NI), a relatively specific inhibitor of cnNOS in vivo. attenuates lesions produced by striatal malonate injections or systemic treatment with 3-NP or MPTP. Furthermore 7-NI attenuated increases in lactate production and hydroxyl radical and 3-nitrotyrosine generation in vivo, which may be a consequence of peroxynitrite formation. Our results suggest that neuronal nitric oxide synthase inhibitors may be useful in the treatment of neurologic diseases in which excitotoxic mechanisms play a role. (Mol Cell Biochem 174: 193–197, 1997)
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 38
    ISSN: 1573-4919
    Keywords: ischemia-reperfusion ; nitric oxide ; spin trapping ; EPR ; nitrosyl iron complex ; dithiocarbamates
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Chemistry and Pharmacology , Medicine
    Notes: Abstract Spin-trapping techniques combined with electron paramagnetic resonance (EPR) spectroscopy to measure nitric oxide (·NO) production were compared in the ischemic-reperfused myocardium for the first time, using both aqueous-soluble and lipophilic complexes of reduced iron (Fe) with dithiocarbamate derivatives. The aqueous-soluble complex of Fe and N-methyl-D-glucamine dithiocarbamate (MGD) formed MGD2-Fe-NO complex with a characteristic triplet EPR signal (aN12.5 G and giso = 2.04) at room temperature, in native isolated rat hearts following 40 min global ischemia and 15 min reperfusion. Diethyldithiocarbamate (DETC) and Fe formed in ischemic-reperfused myocardium the lipophilic DETC2-Fe-NO complex exhibiting an EPR signal (g⊥ = 2.04 and g∥ = 2.02 at 77K) with a triplet hyperfine structure at g⊥. Dithiocarbamate-Fe-NO complexes detected by both trapping agents were abolished by the ·NO synthase inhibitor, NG-nitro-L-arginine methyl ester. Quantitatively, both trapping procedures provi ded similar values for tissue ·NO production, which were observed primarily during ischemia. Postischemic hemodynamic recovery of the heart was not affected by the trapping procedure. (Mol Cell Biochem 175: 91–97, 1997)
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    ISSN: 1573-4919
    Keywords: endothelium ; polymorphonuclear leukocyte ; nitric oxide ; intimal hyperplasia ; P-selectin
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Chemistry and Pharmacology , Medicine
    Notes: Abstract The effects of an anti-P-selectin monoclonal antibody (MAb, PB1.3; Cytel Corporation) on neoendothelialization; neoendothelial function, as evidenced by acetylcholine-induced relaxation (nitric oxide formation); and intimal hyperplasia following embolectomy catheter-induced injury to the rabbit thoracic aorta were investigated. Catheter injury was induced in two groups of New Zealand White rabbits. One group received no treatment, while the second group received short-term treatment with the MAb (i.p., immediately before and 12 h after induction of catheter injury). A third group underwent a sham operation and served as uninjured controls. Following sacrifice at 2 weeks after injury, aortic rings were assessed for degree of intimal hyperplasia, neoendothelial morphology (scanning electron microscopy), and acetylcholine-induced relaxation. Aortic tissue from catheter-injured animals that received treatment exhibited improved neoendothelial morphology, as compared with tissue from untreated but catheterized animals; however, no statistically significant attenuation of the hyperplastic response or improvement in the attenuated neoendothelial-dependent acetylcholine-induced relaxant response that is characteristic of neoendothelium that forms after catheter denudation was observed. These data suggest that short-term attenuation of P-selectin-mediated polymorphonuclear leukocyte (PMN)/endothelium, PMN/platelet interactions, and/or thrombin formation beneficially affects neoendothelialization of the vascular wall following balloon catheter-induced injury.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 40
    ISSN: 1573-4919
    Keywords: nitric oxide ; tetrahydrobiopterin ; lipopolysaccharide ; cytokine ; myocardium
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Chemistry and Pharmacology , Medicine
    Notes: Abstract Induction of the inducible isoform of nitric oxide (NO) synthase (iNOS) in the myocardium is implicated as a mechanism in the development of cardiac depression in immune activated states associated with an enhanced release of cytokines, such as septic shock. We evaluated the in vivo synthesis of NO and tetrahydrobiopterin (BH4), a cofactor of NOS, in the heart tissue using a model of LPS injection in rats (LPS: 10 mg/kg, i.v.). In control rats, iNOS activity or iNOS mRNA in the heart was negligible. Three hours after LPS administration, a marked induction of iNOS mRNA and activity was observed in the heart. A significant increase in BH4 content and GTP cyclohydrolase mRNA abundance was also observed in the heart from LPS-treated rats. Our results demonstrate induction of NO synthesis and parallel increase in BH4 concentration in the heart of rats after LPS treatment in vivo and may provide molecular evidence responsible for the increased production of BH4 which may up-regulate iNOS activity in the heart in vivo. (Mol Cell Biochem 166: 177-181, 1997)
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 41
    ISSN: 1573-4919
    Keywords: heart mitochondria ; lability ; muscle mitochondria ; oxidative phosphorylation ; stability ; taurine
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Chemistry and Pharmacology , Medicine
    Notes: Abstract We modified the isolation procedure of muscle and heart mitochondria. In human muscle, this resulted in a 3.4 fold higher yield of better coupled mitochondria in half the isolation time. In a preparation from rat muscle we studied factors that affected the stability of oxidative phosphorylation (oxphos) and found that it decreased by shaking the preparation on a Vortex machine, by exposure to light and by an increase in storage temperature. The decay was found to be different for each substrate tested. The oxidation of ascorbate was most stable and less sensitive to the treatments. When mitochondria were stored in the dark and the cold, the decrease in oxidative phosphorylation followed first order kinetics. In individual preparations of muscle and heart mitochondria, protection of oxidative phosphorylation was found by adding candidate stabilizers, such as desferrioxamine, lazaroids, taurine, carnitine, phosphocreatine, N-acetylcysteine, Trolox-C and ruthenium red, implying a role for reactive oxygen species and calcium-ions in the in vitro damage at low temperature to oxidative phosphorylation. In heart mitochondria oxphos with pyruvate and palmitoylcarnitine was most labile followed by glutamate, succinate and ascorbate.We studied the effect of taurine, hypotaurine, carnitine, and desferrioxamine on the decay of oxphos with these substrates. 1 mM taurine (n = 6) caused a significant protection of oxphos with pyruvate, glutamate and palmitoylcarnitine, but not with the other substrates. 5 mM L-carnitine (n = 6), 1 mM hypotaurine (n = 3) and 0.1 mM desferrioxamine (n = 3) did not protect oxphos with any of the substrates at a significant level. These experiments were undertaken in the hope that the in vitro stabilizers can be used in future treatment of patients with defects in oxidative phosphorylation. (Mol Cell Biochem 174: 61–66, 1997)
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    Electronic Resource
    Electronic Resource
    Springer
    Molecular and cellular biochemistry 174 (1997), S. 189-192 
    ISSN: 1573-4919
    Keywords: nitric oxide ; mitochondria ; inflammation ; respiration ; astrocytes ; cytochrome oxidase
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Chemistry and Pharmacology , Medicine
    Notes: Abstract Nitric oxide (NO) at high levels is cytotoxic, and may be involved in a range of inflammatory, neurodegenerative, and cardiovascular/ischaemic pathologies. The mechanism of NO-induced cytotoxicity is unclear. Recently we and others have found that low (nanomolar) levels of NO reversibly inhibit mitochondrial respiration by binding to the oxygen binding site of cytochrome oxidase in competition with oxygen. This raises the apparent Km for oxygen of mitochondrial respiration into the physiological range, potentially making respiration sensitive to the oxygen level. The NO inhibition of oxygen consumption was seen in isolated cytochrome oxidase, mitochondria, brain nerve terminals, and cultured cells. Cultured astrocytes activated to express the inducible form of NO synthase produced up to 1 µM NO and strongly inhibited their own cellular respiration rate. This respiratory inhibition was rapidly reversed by removing the NO, and was due to the inhibition of cytochrome oxidase. These results suggest that any cell producing high levels of NO will inhibit its own respiration and that of surrounding cells, and make the respiration rate sensitive to the oxygen level. This inhibition of energy metabolism may contribute to cytotoxity or cytostasis in some pathologies. (Mol Cell Biochem 174: 189–192, 1997)
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 43
    Electronic Resource
    Electronic Resource
    Springer
    Molecular and cellular biochemistry 202 (1999), S. 141-147 
    ISSN: 1573-4919
    Keywords: (Na,K)-ATPase ; Na+-binding site ; nitric oxide ; hypertension ; L-NAME ; cardiac sarcolemma
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Chemistry and Pharmacology , Medicine
    Notes: Abstract In the cardiovascular system, NO is involved in the regulation of a variety of functions. Inhibition of NO synthesis induces sustained hypertension. In several models of hypertension, elevation of intracellular sodium level was documented in cardiac tissue. To assess the molecular basis of disturbances in transmembraneous transport of Na+, we studied the response of cardiac (Na,K)-ATPase to NO-deficient hypertension induced in rats by NO-synthase inhibition with 40 mg/kg/day NG-nitro-L-arginine methyl ester (L-NAME) for 4 four weeks. After 4-week administration of L-NAME, the systolic blood pressure (SBP) increased by 36%. Two weeks after terminating the treatment, the SBP recovered to control value. When activating the (Na,K)-ATPase with its substrate ATP, no changes in Km and Vmax values were observed in NO-deficient rats. During activation with Na+, the Vmax remained unchanged, however the KNa increased by 50%, indicating a profound decrease in the affinity of the Na+-binding site in NO-deficient rats. After recovery from hypertension, the activity of (Na,K)-ATPase increased, due to higher affinity of the ATP-binding site, as revealed from the lowered Km value for ATP. The KNa value for Na+ returned to control value. Inhibition of NO-synthase induced a reversible hypertension accompanied by depressed Na+-extrusion from cardiac cells as a consequence of deteriorated Na+-binding properties of the (Na,K)-ATPase. After recovery of blood pressure to control values, the extrusion of Na+ from cardiac cells was normalized, as revealed by restoration of the (Na,K)-ATPase activity. (Mol Cell Biochem 000: 000-000, 1999)
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    Electronic Resource
    Electronic Resource
    Springer
    Molecular and cellular biochemistry 200 (1999), S. 51-57 
    ISSN: 1573-4919
    Keywords: smokeless tobacco ; apoptosis ; nitric oxide
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Chemistry and Pharmacology , Medicine
    Notes: Abstract Smokeless tobacco usage is, a growing public health concern in the United States. Lesions of the oral cavity have been clearly linked to smokeless tobacco use. The objective of this study was to determine the biochemical effects of smokeless tobacco extract (STE) exposure upon hamster cheek pouch cell (HCPC-1) cultures. HCPC-1 cells were exposed to a 5 -fold dose-range of STE (0.5, 1.0 and 2.5%) over a time-course of 24-96 h. Following each exposure we measured various biochemical parameters of cell proliferation and cell death. Cell viability, cell cycle progression and S-phase DNA synthesis were measured as markers of cell proliferation. We measured lactate dehydrogenase leakage as a marker of cell membrane damage and cell death due to necrosis. No significant alterations were observed in cell cycle progression and cell proliferation as a result of exposure to STE. LDH measured colorimetrically indicated no significant effect with the lower doses (0.5, 1.0 and 2.5% STE). Apoptosis measured as the A0 peak and by the TUNEL procedure revealed that STE caused significant rates of apoptosis. Maximal apoptosis was noted between 48-96 h. In order to probe the mechanism further we measured the levels of nitrites as an indicator of nitric oxide (NO) in the media. NO levels were significantly elevated at the doses that caused an induction of apoptosis. The results from this study indicate that STE causes a dose-dependent induction of apoptosis and that this is mediated by nitric oxide.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 45
    Electronic Resource
    Electronic Resource
    Springer
    Molecular and cellular biochemistry 200 (1999), S. 27-33 
    ISSN: 1573-4919
    Keywords: skin ; wound ; nitric oxide ; collagen ; rat
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Chemistry and Pharmacology , Medicine
    Notes: Abstract Nitric oxide (NO) is a messenger molecule which regulates many physiological functions like immunity, vascular tone and serves as a neurotransmitter. Although it is known to participate in healing process, its role in collagen synthesis is not clear. Therefore, the present investigation was done to study the role of NO in wound collagen synthesis. Rats received full thickness, circular (8 mm), transdermal wounds which were treated with NO releaser, sodium nitroprusside (SNP, 0.001 100 μM) topically for 5 days. Wound collagen content estimated in terms of hydroxyproline (HP) and confirmed histochemically was decreased significantly by all SNP doses. L-Arginine, a substrate for nitric oxide synthase (NOS) when applied topically decreased collagen content of the wounded tissues. N-Nitro-L-arginine methyl ester (L-NAME), a competitive inhibitor of NOS, increased wound collagen content significantly as compared to untreated and SNP treated animal wounds when administered intraperitoneally at the doses 3, 10 and 30 mg/kg. Furthermore, histological findings also demonstrated laying down of thick collagen bundles and proliferation of fibroblasts together with prominent angiogenesis in L-NAME treated wound tissues as compared to untreated and SNP treated tissues. N-nitro-D-arginine methyl ester, an inactive isomer, was found to have no effect on wound collagen levels. When L-arginine was administered in L-NAME pretreated rats, it significantly elevated wound HP content. The results indicate that NO plays an important role in regulating the collagen biosynthesis in skin model of a healing wound.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    ISSN: 1572-9036
    Keywords: (discrete-time) Markov control processes ; expected total cost ; value iteration ; policy iteration ; stability ; transient control models
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract This paper studies the expected total cost (ETC) criterion for discrete-time Markov control processes on Borel spaces, and possibly unbounded cost-per-stage functions. It presents optimality results which include conditions for a control policy to be ETC-optimal and for the ETC-value function to be a solution of the dynamic programming equation. Conditions are also given for the ETC-value function to be the limit of the α-discounted cost value function as α ↑ 1, and for the Markov control process to be `stable" in the sense of Lagrange and almost surely. In addition, transient control models are fully analized. The paper thus provides a fairly complete, up-dated, survey-like presentation of the ETC criterion for Markov control processes on Borel spaces.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 47
    ISSN: 1573-4919
    Keywords: adrenomedullin (ADM) ; calcitonin gene-related peptide (CGRP) ; vasodilation ; nitric oxide
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Chemistry and Pharmacology , Medicine
    Notes: Abstract Vasodilator responses to human adrenomedullin (hADM), a newly discovered hypotensive peptide, human calcitonin gene-related peptide-α (hCGRP-α) and hCGRP-β, which share structural homology with hADM, were compared in the hindlimb vascular bed of the cat under constant flow conditions. Injections of hADM (0.003-1 nmol), hCGRP-α, and hCGRP-β (0.003-0.3 nmol) into the perfusion circuit caused dose-related decreases in hindlimb perfusion pressure. Vasodilator responses to hCGRP-α and hCGRP-β were similar in potency and duration, and the doses of hCGRP-α and hCGRP-β required to reduce hindlimb perfusion pressure 40 mm Hg (ED40 mm Hg) were significantly lower than the ED40 mm Hg for hADM. The duration of the hindlimb vasodilator responses to hCGRP-α and hCGRP-β were significantly longer than the duration of the response to hADM. Amylin, a peptide that shares structural homology with ADM and with CGRP, had no significant effect on hindlimb perfusion pressure when injected in doses up to 1 nmol. Decreases in hindlimb perfusion pressure in response to hADM, hCGRP-α, and hCGRP-β were not altered by L-N5-(1-iminoethyl)-ornithine (L-NIO) in a dose of the nitric oxide synthase inhibitor that decreased the vasodilator response to acetylcholine or by the cyclooxygenase inhibitor, meclofenamate, in a dose that decreased the vasodilator response to archidonic acid. The present data demonstrate that hADM, hCGRP-α, and hCGRP-β have potent, but relatively short-lasting, vasodilator activity, and that vasodilator responses are not dependent on the release of nitric oxide or vasodilator prostaglandins in the hindlimb vascular bed of the cat.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 48
    ISSN: 1573-4919
    Keywords: nitric oxide ; superoxide ; hydroxyl radical ; free radicals ; SIN 1 ; sodium nitroprusside
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Chemistry and Pharmacology , Medicine
    Notes: Abstract Nitric oxide (NO·) is a free radical characterized by a high spontaneous chemical reactivity with many other molecules including the superoxide radical (O2·−). This complex interaction may generate a peroxynitrite anion (ONOO−), which behaves as an important mediator of oxidative stress in many pathological states. In the present study, in vitro experiments were performed to assess directly the O2·− and hydroxyl (·OH) radical scavenging effects of various NO· donor drugs, i.e. sodium nitroprusside (SNP), sodium nitrite (NaNO2), molsidomine and SIN 1, at pH 7.4, 7 or 6. Concentrations of NO· in the incubation medium containing the different NO· donor drugs were measured by the assay based on the reaction of Fe-N-methyl-D-glucamine dithiocarbamate (MGD) with NO· that yields a stable spin-adduct measured by electron paramagnetic resonance (EPR). O2·− and ·OH generation was characterized by EPR spin trapping techniques, using the spin trap 5,5-dimethyl-1-pyrroline-1-oxide (DMPO). These free radicals were generated from the enzymatic system xanthine-xanthine oxidase, in phosphate buffer adjusted at pH 7.4, 7 and 6. Under these experimental conditions, SNP exhibited the strongest superoxide scavenging properties, characterized by IC50 values expressed in the µmolar range, which decreased at low pH. Addition of SNP (800 µM) to solution containing MGD and Fe2+ (5:1) at pH 7 4 produced a three line EPR spectrum which is identified to [(MGD)2-Fe2+-NO]. In control experiments no EPR signal was observed. We obtained the same results with NaNO2 and an augmentation of the spin-adduct level was noted with the prolongation of the incubation period. In return, molsidomine (2 mM) did not produce, in our conditions, a detectable production of NO·. NaNO2 displayed a significant superoxide scavenging effect only at pH 6, whilst neither molsidomine nor SIN 1 had any effect. Therefore, the superoxide scavenging properties of SNP, NaNO2, and molsidomine appeared to be closely related to their potential for NO· release, which partially depends on the pH conditions. The behaviour of SIN 1 is more complicated, the speed of oxygen diffusion probably acting as a limiting factor in NO· formation in our conditions. The production of NO· was detected in presence of SIN 1. The intensity of the complex is comparable with the signal founded with NaNO2. By contrast, all molecules exhibited hydroxyl radical scavenging properties, highlighting the capacity of ·OH to react with a wide range of molecules. In conclusion, considering the poor chemical reactivity of O2·−, the NO· donor drugs/O2·− interactions suggest a special relationship between these two radical species, which, in certain pathological states, could lead to the generation of cytotoxic end-products with strong oxidizing properties.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 49
    Electronic Resource
    Electronic Resource
    Springer
    Molecular and cellular biochemistry 196 (1999), S. 3-12 
    ISSN: 1573-4919
    Keywords: ischemia ; preconditioning ; adenosine ; protein kinase C ; KATP channel ; free radicals ; heat shock proteins ; antioxidants ; nitric oxide
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Chemistry and Pharmacology , Medicine
    Notes: Abstract Preconditioning is a phenomenon, where brief periods of stress such as ischemia, heat shock or certain pharmacological agents make the heart tolerant to subsequent lethal ischemic injury. Preconditioning seems to involve a variety of stress signals which include activation of membrane receptors and signaling molecules such as protein kinase C, mitogen-activated protein kinases, opening of ATP-sensitive potassium channel and expression of a number of protective proteins. In this review, the potential role of these mechanisms is discussed.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 50
    Electronic Resource
    Electronic Resource
    Springer
    Molecular and cellular biochemistry 196 (1999), S. 125-132 
    ISSN: 1573-4919
    Keywords: fever ; E. coli lipopolysaccharide ; dithiothreitol ; methylene blue ; nitric oxide ; malondialdehyde ; biothiols ; glutamate ; NMDA-receptor ; oxidative stress
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Chemistry and Pharmacology , Medicine
    Notes: Abstract Immediately after bacterial endotoxin (LPS) enters the circulatory system there is increased production of free oxygen radicals by cells of the reticulo-endothelial system, followed by the release of cytokines considered as putative endogenous pyrogens. Fever originates by central nervous system activities, but neither exogenous nor endogenous pyrogens are able to cross the blood-brain barrier and the true signal which is transmitted to structures inside the blood-brain barrier is still unknown. To study the role of oxygen radicals in fever, we pretreated rats with methylene blue, an inhibitor of superoxide and hydroxyl radical production and investigated the febrile response to LPS in conscious rats by measuring malondialdehyde formation as an index of lipid peroxidation by oxygen radicals. Methylene blue lowered resting malondialdehyde levels to near detection level and significantly suppressed its rise which was regularly found following LPS in the untreated state. Pretreatment with methylene blue completely blocked the febrile response. Since fever is a central nervous system-mediated response these results indicate that the brain is able to sense oxidative stress and vicinal thiol groups of the redox-modulatory site of the N-methyl-D-aspartate (NMDA) subtype of glutamate receptor-channel complex could function as a possible receptive structure. To test this hypothesis we injected rabbits with the disulfide reducing agent dithiothreitol (DTT), known to penetrate the blood-brain barrier, and monitored its effect on normal and febrile body temperatures. DTT induced, independently of ambient temperature, within minutes and dose-dependently the full pattern of heat loss responses causing a fall of core temperature, indicative of a lowered thermoregulatory setpoint. Pretreatment with a bolus dose of 5 mg/kg DTT, followed by a continuous infusion of 5 mg/kg/h for 3 h completely prevented LPS-induced fever. A bolus dose of 20 mg/kg DTT, starting 30 min after LPS, immediately reversed the febrile cold defense pattern and lowered body temperature. We conclude that DTT reduces in the central nervous system oxidized vicinal thiol groups of NMDA receptors, thereby augmenting glutamate-induced nitric oxide synthase activation, and, thus, enhanced formation of NO, which, in turn, lowers the thermoregulatory setpoint. Reduction of other disulfide-containing molecules, especially oxidized glutathione and thiol-containing enzymes, by DTT by might additionally contribute to preventing fever.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 51
    Electronic Resource
    Electronic Resource
    Springer
    Acta mathematicae applicatae sinica 13 (1997), S. 176-187 
    ISSN: 1618-3932
    Keywords: Spherical surface ; pseudospectral method ; vorticity equations ; stability ; convergence
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract The pseudospectral method for solving vorticity equations on spherical surface is discussed. An interpolation procedure, which is different from the usual ones, is proposed. Based on such an interpolation, the pseudospectral scheme is constructed. Its generalized stability and convergence are analyzed rigorously. The theoretical analysis and computational skills can also be applied to other nonlinear partial differential equations defined on spherical surface.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 52
    Electronic Resource
    Electronic Resource
    Springer
    Acta mechanica Sinica 13 (1997), S. 366-376 
    ISSN: 1614-3116
    Keywords: vibro-impact ; stability ; multiplicity
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics , Physics
    Notes: Abstract The coexisting periodic impacting motions and their multiplicity of a kind of dual component systems under harmonic excitation are analytically derived. The stability condition of a periodic impacting motion is given by analyzing the propagation of small, arbitrary perturbation from that motion. In numerical simulations, the periodic impacting motions are classified according to the system states before and after an impact. The numerical results show that there exist many types of vibro-impacts and the bifurcation of periodic vibro-impacts is not smooth.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    Electronic Resource
    Electronic Resource
    Springer
    Numerical algorithms 14 (1997), S. 343-359 
    ISSN: 1572-9265
    Keywords: progressive interpolation ; stability ; spline ; shape parameters ; geometric continuity ; 41A05 ; 41A15 ; 65D05 ; 65D07
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract In this paper, we study several interpolating and smoothing methods for data which are known “progressively”. The algorithms proposed are governed by recurrence relations and our principal goal is to study their stability. A recurrence relation will be said stable if the spectral radius of the associated matrix is less than one. The iteration matrices depend on shape parameters which come either from the connection at the knots, or from the nature of the interpolant between two knots. We obtain various stability domains. Moving the parameters inside these domains leads to interesting shape effects.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 54
    Electronic Resource
    Electronic Resource
    Springer
    Acta mathematicae applicatae sinica 13 (1997), S. 33-44 
    ISSN: 1618-3932
    Keywords: Inverse problem ; hyperbolic equations ; eigenvalue problem ; spectral function ; integral kernel ; stability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract In this paper, the inverse boundary value problem of the hyperbolic system of first-order differential equations is discussed. The estimate of the solution and the quantitative analysis about its stability are obtained, and some stability criteria are established.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 55
    Electronic Resource
    Electronic Resource
    Springer
    Applied mathematics and mechanics 20 (1999), S. 912-916 
    ISSN: 1573-2754
    Keywords: delay ; neural network ; stability ; TN911.23 ; O332
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics , Mathematics , Physics
    Notes: Abstract In this paper, by using Liapunov functional, some sufficient conditions are obtained for the stability of the equilibrium of a neural network model with delay of the type $$u'_i \left( t \right) = - b_i u_i \left( t \right) + \sum\limits_{j = 1}^n {T_{ij} f_j } \left( {\mu _j u_j \left( {t - \tau _j } \right)} \right) + c_i ,\tau _j \geqslant 0,i = 1,2 \cdots ,n.$$
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 56
    Electronic Resource
    Electronic Resource
    Springer
    Applied mathematics and mechanics 20 (1999), S. 1384-1388 
    ISSN: 1573-2754
    Keywords: nonlinear dynamic system ; bifurcation ; stability ; TB123 ; O322
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics , Mathematics , Physics
    Notes: Abstract A computation algorithm based on the Poincaré Mapping in combination with Pseudo-Arc Length Continuation Method is presented for calculating the unstable response with saddle-node bifurcation, and the singularity, which occurs using the general continuation method combined with Poincaré Mapping to follow the path, is also proved. A normalization equation can be introduced to avoid the singularity in the process of iteration, and a new iteration algorithm will be presented too. There will be two directions in which the path can be continued at each point, but only one can be used. The method of determining the direction will be presented in the paper. It can be concluded that is method is effective in analysis of nonlinear dynamic system with saddle-node bifurcations.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 57
    Electronic Resource
    Electronic Resource
    Springer
    Applied mathematics and mechanics 20 (1999), S. 233-240 
    ISSN: 1573-2754
    Keywords: viscoelasticity ; cylindrical shell ; stability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics , Mathematics , Physics
    Notes: Abstract In this paper, the dynamic stability of a viscoelastic circular cylindrical shell subject to an axial compressive force and a uniformly distributed radial compressive load is discussed. By using the Laplace transformation, stability conditions of viscoelastic shell under constant loads are yielded. By using synthetically the classical dynamic methods, the various dynamical properties for the dynamical system defined by the viscoelastic shell and the effect of parameters on the stability of structure are obtained.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 58
    Electronic Resource
    Electronic Resource
    Springer
    Discrete event dynamic systems 7 (1997), S. 209-232 
    ISSN: 1573-7594
    Keywords: Stochastic recurrence equations ; performance evaluation ; ergodicity ; stability ; subadditive ergodic theory
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract This paper deals with the asymptotic behavior of the stochastic dynamics of discrete event systems. In this paper we focus on a wide class of models arising in several fields and particularly in computer science. This class of models may be characterized by stochastic recurrence equations in ℝK of the form T(n+1) = φ n+1(T(n)) where φ n is a random operator monotone and 1—linear. We establish that the behaviour of the extremas of the process T(n) are linear. The results are an application of the sub-additive ergodic theorem of Kingman. We also give some stability properties of such sequences and a simple method of estimating the limit points.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 59
    Electronic Resource
    Electronic Resource
    Springer
    Journal of scientific computing 12 (1997), S. 361-369 
    ISSN: 1573-7691
    Keywords: Alternating-direction implicit ; difference scheme ; stability ; convergence
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract A new alternating-direction implicit (ADI) scheme for solving three-dimensional parabolic differential equations has been developed based on the idea of regularized difference scheme. It is unconditionally stable and second-order accurate. Further, it overcomes the drawback of the Douglas scheme and is to be very well to simulate fast transient phenomena and to efficiently capture steady state solutions of parabolic differential equations. Numerical example is illustrated.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 60
    Electronic Resource
    Electronic Resource
    Springer
    Neural processing letters 10 (1999), S. 267-271 
    ISSN: 1573-773X
    Keywords: recurrent neural networks ; stability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract In this paper, we point out that the conditions given in [1] are sufficient but unnecessary for the global asymptotically stable equilibrium of a class of delay differential equations. Instead, we prove that under weaker conditions, it is still global asymptotically stable.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 61
    Electronic Resource
    Electronic Resource
    Springer
    Journal of scientific computing 12 (1997), S. 215-231 
    ISSN: 1573-7691
    Keywords: Transport models ; shallow water ; splitting methods ; stability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We investigate the use of splitting methods for the numerical integration of three-dimensional transport-chemistry models. In particular, we investigate various possibilities for the time discretization that can take advantage of the parallelization and vectorization facilities offered by multi-processor vector computers. To suppress wiggles in the numerical solution, we use third-order, upwind-biased discretization of the advection terms, resulting in a five-point coupling in each direction. As an alternative to the usual splitting functions, such as co-ordinate splitting or operator splitting, we consider a splitting function that is based on a three-coloured hopscotch-type splitting in the horizontal direction, whereas full coupling is retained in the vertical direction. Advantages of this splitting function are the easy application of domain decomposition techniques and unconditional stability in the vertical, which is an important property for transport in shallow water. The splitting method is obtained by combining the hopscotch-type splitting function with various second-order splitting formulae from the literature. Although some of the resulting methods are highly accurate, their stability behaviour (due to horizontal advection) is quite poor. Therefore we also discuss several new splitting formulae with the aim to improve the stability characteristics. It turns out that this is possible indeed, but the price to pay is a reduction of the accuracy. Therefore, such methods are to be preferred if accuracy is less crucial than stability; such a situation is frequently encountered in solving transport problems. As part of the project TRUST (Transport and Reactions Unified by Splitting Techniques), preliminary versions of the schemes are implemented on the Cray C98 4256 computer and are available for benchmarking.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 62
    Electronic Resource
    Electronic Resource
    Springer
    Journal of scientific computing 12 (1997), S. 353-360 
    ISSN: 1573-7691
    Keywords: Alternating-direction implicit ; difference scheme ; stability ; convergence
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract A generalized Peaceman–Rachford alternating-direction implicit (ADI) scheme for solving two-dimensional parabolic differential equations has been developed based on the idea of regularized difference scheme. It is to be very well to simulate fast transient phenomena and to efficiently capture steady state solutions of parabolic differential equations. Numerical example is illustrated.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 63
    Electronic Resource
    Electronic Resource
    Springer
    Journal of mathematical imaging and vision 7 (1997), S. 309-323 
    ISSN: 1573-7683
    Keywords: relaxation labeling processes ; consistency ; growth transformations ; Liapunov functions ; stability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract We present some new results which definitively explain thebehavior of the classical, heuristic nonlinear relaxation labelingalgorithm of Rosenfeld, Hummel, and Zucker in terms of theHummel-Zucker consistency theory and dynamical systems theory. Inparticular, it is shown that, when a certain symmetry condition is met,the algorithm possesses a Liapunov function which turns out to be (thenegative of) a well-known consistency measure. This follows almostimmediately from a powerful result of Baum and Eagon developed in thecontext of Markov chain theory. Moreover, it is seen that most of theessential dynamical properties of the algorithm are retained when thesymmetry restriction is relaxed. These properties are also shown tonaturally generalize to higher-order relaxation schemes. Someapplications and implications of the presented results are finallyoutlined.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 64
    Electronic Resource
    Electronic Resource
    Springer
    Discrete event dynamic systems 9 (1999), S. 45-64 
    ISSN: 1573-7594
    Keywords: hybrid dynamic systems ; event feedback ; real-time scheduling ; stability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract Based on some practical engineering problems arising from process control and space-structure control, this paper studies a class of hybrid dynamic systems in which N plants are controlled by a central controller in sharing time manner, where the plants are described by differential equations and the controller works according to the mechanism of discrete events. An event feedback strategy is suggested to be a scheduling policy such that one and only one plant among N plants is chosen to be controlled at any time. Some conditions of asymptotical and exponential stability are then given and an exponential upper bound of states norm is also estimated for the event feedback scheduling strategy. An algorithm based on event feedback strategy is presented to determine the control laws of the plants to meet the given performance. An example follows to illustrate the application and effect of the results.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 65
    Electronic Resource
    Electronic Resource
    Springer
    Lithuanian mathematical journal 39 (1999), S. 20-32 
    ISSN: 1573-8825
    Keywords: Schrödinger equation ; explicit finite-difference schemes ; stability ; energy conservation ; convergence
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract We consider three-level explicit schemes for solving the nonlinear variable coefficient Schrödinger-type equation. Using spectral and energy methods we establish the stability and convergence of these schemes. The existence of discrete conservation laws is investigated. General results are applied for the DuFort-Frankel and leap-frog diffenrence schemes.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 66
    ISSN: 1573-675X
    Keywords: Apoptosis ; beta cells ; cytokines ; Islets of Langerhans ; nitric oxide ; peroxynitrite ; superoxide
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Medicine
    Notes: Abstract We have shown that nitric oxide treatment for 30–90 min causes inhibition of insulin secretion, DNA damage and disturbs sub-cellular organization in rat and human islets of Langerhans and HIT-T15 cells. Here rat islets and beta-cell lines were treated with various free radical generating systems S-nitrosoglutathione (nitric oxide), xanthine oxidase plus hypoxanthine (reactive oxygen species), 3-morpholinosydnonimine (nitric oxide, super-oxide, peroxynitrite, hydrogen peroxide) and peroxynitrite and their effects over 4 h to 3 days compared with those of the cytokine combination interleukin-1β, tumour necrosis factor-α and interferon-γ. End points examined were de novo protein synthesis, cellular reducing capacity, morphological changes and apoptosis by acridine orange cytochemistry, DNA gel electrophoresis and electron microscopy. Treatment (24–72 h) with nitric oxide, superoxide, peroxynitrite or combined cytokines differentially decreased redox function and inhibited protein synthesis in rat islets of Langerhans and in insulin-containing cell lines; cytokine effects were arginine and nitric oxide dependent. Peroxynitrite gave rare apoptosis in HIT-T15 cells and superoxide gave none in any cell type, but caused the most beta cell-specific damage in islets. S-nitroso-glutathione was the most effective agent at causing DNA laddering or chromatin margination characteristic of apoptotic cell death in insulin-containing cells. Cytokine-induced apoptosis was observed specifically in islet beta cells, combined cytokine effects on islet function and death most resembled those of the mixed radical donor SIN-1.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 67
    ISSN: 1573-2614
    Keywords: nitric oxide ; high frequency oscillatory ventilation ; chemiluminescence assay ; electrochemical assay ; mechanical ventilation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Medicine
    Notes: Abstract Objective. The objective of this study is to determine the accuracy andprecision of chemiluminescence and electrochemical nitric oxide (NO)measurements and accuracy of NO dosage with electronic mass flow controllers(MFC) versus rotameters during NO inhalational therapy. Methods. NO flow wasdelivered to a high frequency oscillator and mixed with ventilator flow. NOand NO2 concentrations were measured simultaneously with astandard chemiluminescence analyzer and a modified electrochemical analyzer.Dosage accuracy was assessed with gas flows adjusted with either MFC’sor rotameters. Accuracy of both analyzers was validated with both NO andventilator flow regulated with a MFC. Results. In dry air, without pulsatilepressure, MFC controlled NO and ventilator flow resulted in an accuracyexpressed as the ratio of calculated concentration to measured concentration(RCM) of 0.995 (CI: 0.983–0.988) when measured with chemiluminescence.When the ventilator rotameter was used instead of a MFC, RCM was 0.856 (CI:0.835–0.877). With a rotameter for both NO and ventilator flow, RCMincreased to 1.175 (CI: 0.793–1.740) with an increase of confidenceinterval limits. Chemiluminescence was sensitive to humidification of theventilatory gases (p 〈 0.05), slightly sensitive to the addition ofoxygen and to pulsatile pressure (not significant). RCM obtained with themodified electrochemical analyzer was in close agreement withchemiluminescence RCM, although 95% CI were wider withelectrochemical analysis. Conclusions. During high frequency oscillatoryventilation (HFOV), standard rotameter flow control of both NO andventilator flow results in unpredictable NO concentrations that would beclinically unacceptable. When one MFC was used for NO flow control, withventilator flow controlled with a rotameter, this resulted in moderatedosage accuracy. To achieve a still higher accuracy, MFC flow control forboth NO and ventilator flow is indicated. During HFOV, standardchemiluminescence analyzers cannot be considered to be the gold standard fordetermination of the NO concentration delivered. Measurement of NOconcentration may not be mandatory for determination of inhaled NO doseduring HFOV, but may be used to monitor for unsafe or unwanted events.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 68
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 22 (1999), S. 379-396 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; resolution decision procedures ; propositional modal logic
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract The paper shows that satisfiability in a range of popular propositional modal systems can be decided by ordinary resolution procedures. This follows from a general result that resolution combined with condensing, and possibly some additional form of normalization, is a decision procedure for the satisfiability problem in certain so-called path logics. Path logics arise from normal propositional modal logics by the optimized functional translation method. The decision result provides an alternative method of proving decidability for modal logics, as well as closely related systems of artificial intelligence. This alone is not interesting. A more far-reaching consequence of the result has practical value, namely, many standard first-order theorem provers that are based on resolution are suitable for facilitating modal reasoning.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 69
    Electronic Resource
    Electronic Resource
    Springer
    Earth, moon and planets 87 (1999), S. 103-115 
    ISSN: 1573-0794
    Keywords: Accretion ; exoplanetary system ; extrasolar planets ; numerical integration ; orbital migration ; stability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Geosciences , Physics
    Notes: Abstract A number of extrasolar planets have been detected in close orbits around nearby stars. It is probable that these planets did not form in these orbits but migrated from their formation locations beyond the ice line. Orbital migration mechanisms involving angular momentum transfer through tidal interactions between the planets and circumstellar gas-dust disks or by gravitational interaction with a residual planetesimal disk together with several means of halting inward migration have been identified. These offer plausible schemes to explain the orbits of observed extrasolar giant planets and giant planets within the Solar System. Recent advances in numerical integration methods and in the power of computer workstations have allowed these techniques to be applied to modelling directly the mechanisms and consequences of orbital migration in the Solar System. There is now potential for these techniques also to be applied to modelling the consequences of the orbital migration of planets in the observed exoplanetary systems. In particular the detailed investigation of the stability of terrestrial planets in the habitable zone of these systems and the formation of terrestrial planets after the dissipation of the gas disk is now possible. The stability of terrestrial planets in the habitable zone of selected exoplanetary systems has been established and the possibility of the accretion of terrestrial planets in these systems is being investigated by the author in collaboration with Barrie W. Jones (Open University), and with John Chambers (NASA-Ames) and Mark Bailey of Armagh Observatory, using numerical integration. The direct simulation of orbital migration by planetesimal scattering must probably await faster hardware and/or more efficient algorithms.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 70
    Electronic Resource
    Electronic Resource
    Springer
    Rheologica acta 36 (1997), S. 367-383 
    ISSN: 1435-1528
    Keywords: Viscoelastic flow ; arrays of cylinders ; stability ; porous media
    Source: Springer Online Journal Archives 1860-2000
    Topics: Chemistry and Pharmacology , Physics
    Notes: Abstract Low Reynolds number flow of Newtonian and viscoelastic Boger fluids past periodic square arrays of cylinders with a porosity of 0.45 and 0.86 has been studied. Pressure drop measurements along the flow direction as a function of flow rate as well as flow visualization has been performed to investigate the effect of fluid elasticity on stability of this class of flows. It has been shown that below a critical Weissenberg number (Wec), the flow in both porosity cells is a two-dimensional steady flow, however, pressure fluctuations appear above Wec which is 2.95±0.25 for the 0.45 porosity cell and 0.95±0.08 for the higher porosity cell. Specifically, in the low porosity cell as the Weissenberg number is increased above Wec a transition between a steady two-dimensional to a transient three-dimensional flow occurs. However, in the high porosity cell a transition between a steady two-dimensional to a steady three-dimensional flow consisting of periodic cellular structures along the length of the cylinder in the space between the first and the second cylinder occurs while past the second cylinder another transition to a transient three-dimensional flow occurs giving rise to time- dependent cellular structures of various wavelengths along the length of the cylinder. Overall, the experiments indicate that viscoelastic flow past periodic arrays of cylinders of various porosities is susceptible to purely elastic instabilities. Moreover, the instability observed in lower porosity cells where a vortex is present between the cylinders in the base flow is amplifieds spatially, that is energy from the mean flow is continuously transferred to the disturbance flow along the flow direction. This instability gives rise to a rapid increase in flow resistance. In higher porosity cells where a vortex between the cylinders is not present in the base flow, the energy associated with the disturbance flow is not greatly changed along the flow direction past the second cylinder. In addition, it has been shown that in both flow cells the instability is a sensitive function of the relaxation time of the fluid. Hence, the instability in this class of flows is a strong function of the base flow kinematics (i.e., curvature of streamlines near solid surfaces), We and the relaxation time of the fluid.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 71
    Electronic Resource
    Electronic Resource
    Springer
    Rheologica acta 36 (1997), S. 367-383 
    ISSN: 1435-1528
    Keywords: Key words Viscoelastic flow ; arrays of cylinders ; stability ; porous media
    Source: Springer Online Journal Archives 1860-2000
    Topics: Chemistry and Pharmacology , Physics
    Notes: Abstract Low Reynolds number flow of Newtonian and viscoelastic Boger fluids past periodic square arrays of cylinders with a porosity of 0.45 and 0.86 has been studied. Pressure drop measurements along the flow direction as a function of flow rate as well as flow visualization has been performed to investigate the effect of fluid elasticity on stability of this class of flows. It has been shown that below a critical Weissenberg number (We c ), the flow in both porosity cells is a two-dimensional steady flow, however, pressure fluctuations appear above We c which is 2.95±0.25 for the 0.45 porosity cell and 0.95±0.08 for the higher porosity cell. Specifically, in the low porosity cell as the Weissenberg number is increased above We c a transition between a steady two-dimensional to a transient three-dimensional flow occurs. However, in the high porosity cell a transition between a steady two-dimensional to a steady three-dimensional flow consisting of periodic cellular structures along the length of the cylinder in the space between the first and the second cylinder occurs while past the second cylinder another transition to a transient three-dimensional flow occurs giving rise to time- dependent cellular structures of various wavelengths along the length of the cylinder. Overall, the experiments indicate that viscoelastic flow past periodic arrays of cylinders of various porosities is susceptible to purely elastic instabilities. Moreover, the instability observed in lower porosity cells where a vortex is present between the cylinders in the base flow is amplified spatially, that is energy from the mean flow is continuously transferred to the disturbance flow along the flow direction. This instability gives rise to a rapid increase in flow resistance. In higher porosity cells where a vortex between the cylinders is not present in the base flow, the energy associated with the disturbance flow is not greatly changed along the flow direction past the second cylinder. In addition, it has been shown that in both flow cells the instability is a sensitive function of the relaxation time of the fluid. Hence, the instability in this class of flows is a strong function of the base flow kinematics (i.e., curvature of streamlines near solid surfaces), We and the relaxation time of the fluid.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 72
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 139-162 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; design
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Running a competition for automated theorem proving (ATP) systems is a difficult and arguable venture. However, the potential benefits of such an event by far outweigh the controversial aspects. The motivations for running the CADE-13 ATP System Competition were to contribute to the evaluation of ATP systems, to stimulate ATP research and system development, and to expose ATP systems to researchers both within and outside the ATP community. This article identifies and discusses the issues that determine the nature of such a competition. Choices and motivated decisions for the CADE-13 competition, with respect to the issues, are given.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 73
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 205-210 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; LINUS ; first-order logic ; hyperlinking ; mate saturation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract LINUS is a theorem prover for clause logic based on hyperlinking. The main new feature of the system is the emphasis on the preference for unit clauses, which are generated as a by-product of the hyperlinking method. The mechanism of unit support also motivates a slightly different interpretation of hyperlinking, namely, as mate saturation. Mate saturation can be viewed as a generalization of unit-resulting resolution that is compatible with any set-of-support strategy. We give a survey on the theoretical background and the architecture of the system, and decribe its performance.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 74
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 227-236 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; Satchmo ; compilation ; incremental evaluation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Compiling Satchmo and Functional Satchmo are two variants of the model generator Satchmo, incorporating enhancements in different directions. Compiling Satchmo is based on the observation that Satchmo (like any model generator or theorem prover) can be seen as an interpreter for a program given as a logical theory, and that this interpretation layer can be avoided by compilation of the theory into a directly executable program. Functional Satchmo is an implementation of Satchmo's calculus in a purely functional language supporting lazy evaluation.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 75
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 271-286 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; results
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract The CADE-13 ATP System Competition tested 18 ATP systems on 50 theorems, in five competition categories, with a time limit of 300 seconds imposed on each system run. This article records the results of the competition. Some analysis of these results is given, and interesting points are highlighted.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 76
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 171-176 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; Barcelona ; data structures and algorithms ; implementation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Here we describe the equational theorem prover Barcelona, in its version that participated in the CADE-13 ATP System Competition. The system was built on top of our toolkit of data structures and algorithms for automated deduction in first-order logic with equality and was devised mainly to test the performance of this toolkit.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 77
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 189-198 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; DISCOUNT ; distributed theorem proving ; reactive planning ; learning
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract The DISCOUNT system is a distributed equational theorem prover based on the teamwork method for knowledge-based distribution. It uses an extended version of unfailing Knuth–Bendix completion that is able to deal with arbitrarily quantified goals. DISCOUNT features many different control strategies that cooperate using the teamwork approach. Competition between multiple strategies, combined with reactive planning, results in an adaptation of the whole system to given problems, and thus in a very high degree of independence from user interaction. Teamwork also provides a suitable framework for the use of control strategies based on learning from previous proof experiences. One of these strategies forms the core of the expert global_learn, which is capable of learning from successful proofs of several problems. This expert, running sequentially, was one of the entrants in the competition (DISCOUNT/GL), while a distributed DISCOUNT system running on two workstations was another en trant.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 78
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 247-252 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; SPASS ; sorts ; superposition
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract This article describes SPASS, Version 0.49, as it was entered in the system competition at CADE-13. SPASS is an automated theorem prover for full first-order logic with equality. It is based on the superposition calculus originally developed by Bachmair and Ganzinger, extended by the sort techniques due to Weidenbach and an inference rule for case analysis.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 79
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 259-264 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; Violet ; resolution ; locking ; term rewriting ; Knuth–Bendix completion
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Violet is an easy-to-use theorem prover based on locking resolution, with integrated equality extensions that use term rewriting and Knuth–Bendix completion. Violet participated in the CADE-13 ATP System Competition.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 80
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 23 (1999), S. 1-23 
    ISSN: 1573-0670
    Keywords: competition ; automated theorem proving
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract The results of the CADE-15 ATP System Competition (CASC-15) are presented.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 81
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 237-246 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; SETHEO ; E-SETHEO ; first-order logic ; model elimination ; equality
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract The model elimination theorem prover SETHEO (version V3.3) and its equational extension E-SETHEO are presented. SETHEO employs sophisticated mechanisms of subgoal selection, elaborate iterative deepening techniques, and local failure caching methods. Its equational counterpart E-SETHEO transforms formulae containing equality (using a variant of Brand's modification method) and processes the output with the standard SETHEO system. This article gives an overview of the theoretical background, the system architecture, and the performance of both systems.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 82
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 265-270 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; Waldmeister ; unfailing Knuth–Bendix completion
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Waldmeister is a high-performance theorem prover for unit equational first-order logic. In the making of Waldmeister, we have applied an engineering approach, identifying the critical points with respect to efficiency in time and space. Our logical three-level system model consists of the basic operations on the lowest level, where we put great stress on efficient data structures and algorithms. For the middle level, where the inference steps are aggregated into an inference machine, flexible adjustment has proven essential during experimental evaluation. The top level holds control strategy and reduction ordering. Although at this level only standard strategies are employed, really large proof tasks have been managed in reasonable time.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 83
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 105-134 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; Gentzen system ; natural deduction ; unification algorithm
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract A natural deduction system was adapted from Gentzen system. It enables valid wffs to be deduced in a very ‘natural’ way. One need not transform a formula into other normal forms. Robinson’s unification algorithm is used to handle clausal formulas. Algorithms for eliminating and introducing quantifiers without Skolemization are presented, and unification theorems for them are proved. A natural deduction automated theorem prover based on the algorithms was implemented. The rules for quantifiers are controlled by the algorithms. The Andrews challenge and the halting problem were proved by the system.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 84
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 163-169 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; procedures
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract This article describes the practical procedures that were used to run the CADE-13 ATP System Competition. The article describes the hardware and software environments, the system installation, the soundness testing performed, the preparation of problems for the competition, the choice of the number of problems and the time limit, and the execution of the systems.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 85
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 199-204 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; Gandalf ; resolution ; subsumption
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We give a brief overview of the first-order classical logic component in the Gandalf family of resolution-based automated theorem provers for classical and intuitionistic logics. The main strength of the described version is a sophisticated algorithm for nonunit subsumption.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 86
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 221-226 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; RRTP ; replacement ; instance based theorem prover ; propositional calculus decision procedure
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract The Replacement Rule Theorem Prover (RRTP) is an instance-based, refutational, first-order clausal theorem prover. The prover is motivated by the idea of selectively replacing predicates by their definitions, and operates by selecting relevant instances of the input clauses. The relevant instances are grounded, if necessary, and tested for unsatisfiability by using a fast propositional calculus decision procedure.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 87
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 253-258 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; SPTHEO ; parallel search ; static partitioning with slackness
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract SPTHEO v3.3 is a parallelization of the sequential first-order theorem prover SETHEO v3.3. The parallelization is based on the SPS-model (Static Partitioning with Slackness) for parallel search, an approach that minimizes the processor-to-processor communication. This model allows efficient computations on hardware with weak communication performance, such as workstation networks. SPTHEO offers the utilization of both OR- and independent-AND parallelism. In this article, a detailed description and evaluation of the OR-parallel part used in the CADE-13 ATP System Competition are given.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 88
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 287-296 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; conclusions
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract The CADE-13 ATP System Competition was the first large-scale controlled competition for first-order ATP systems. Many people have commented on various aspects of the competition, including some suggestions for future improvement. These comments, and some discussion of them, are contained in this article. An overview of the major issues that will affect future competitions is given.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 89
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 183-188 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; CLIN-S ; semantics ; hyper-linking ; resolution
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract CLIN-S is an instance-based, clause-form first-order theorem prover. CLIN-S employs three inference procedures: semantic hyper-linking, which uses semantics to guide the proof search and performs well on non-Horn parts of the proofs involving small literals, rough resolution, which removes large literals in the proofs, and UR resolution, which proves the Horn parts of the proofs. A semantic structure for the input clauses is given as input. During the search for the proof, ground instances of the input clauses are generated and new semantic structures are built based on the input semantics and a model of the ground clause set. A proof is found if the ground clause set is unsatisfiable. In this article, we describe the system architecture and major inference rules used in CLIN-S.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 90
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 177-182 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; CLIN-E ; hyper-linking ; smallest instance first hyper-linking
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Hyper-linking is an instance-based automated theorem proving strategy that uses unification to generate instances of the input clauses. Lee implemented hyper-linking in the automated theorem prover CLIN, which uses a breadth-first strategy for generating instances of clauses via the hyper-link operation. In attempting to add equality support to CLIN, a number of inefficiencies with Lee's breadth-first strategy for generating instances were encountered. An alternative depth-first strategy, referred to as smallest-instance-first hyper-linking, for generating instances via the hyper-link operation was developed to address these inefficiencies. Smallest-instance-first hyper-linking is implemented in the automated theorem prover CLIN-E.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 91
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 211-220 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; Otter ; automated reasoning ; equational deduction ; paramodulation ; resolution
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract This article discusses the two incarnations of Otter entered in the CADE-13 Automated Theorem Proving System Competition. Also presented are some historical background, a summary of applications that have led to new results in mathematics and logic, and a general discussion of Otter.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 92
    Electronic Resource
    Electronic Resource
    Springer
    Journal of statistical physics 87 (1997), S. 1145-1164 
    ISSN: 1572-9613
    Keywords: Fisher-Kolmogorov equation ; traveling fronts ; fixed points ; population dynamics ; bifurcations ; stability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Physics
    Notes: Abstract The one-dimensional reaction-diffusion equations for the process (D) $$A + B \to 2A,B + C \to 2B,C + A \to 2C$$ are extended to include the counteracting reactions (R) $$A + 2B \to 3B,B + 2C \to 3C,C + 2A \to 3A$$ which have a reaction rate α relative to the direct process (D). This process can be seen as a three-component version of the reaction which is described by the Fisher-Kolmogorov equation. The fixed points of the equations are studied as a function of α. It is shown that the equations admit solutions which consist of a series of traveling fronts. Other solutions exist which are traveling periodic waves. A very remarkable fact is that for these waves exact expressions can be constructed.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 93
    ISSN: 1573-0778
    Keywords: CHO cells ; DHFR ; IGFBP-1 ; stability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Medicine , Process Engineering, Biotechnology, Nutrition Technology
    Notes: Abstract Stable expression of human insulin-like growth factor of binding protein-1 (hIGFBP-1)at high levels has been achieved in Chinese hamster ovary (CHO) cells by co-transfection and subsequent co-amplification of expression vectors containing the hIGFBP-1 cDNA and a dihydrofolate reductase (DHFR) cDNA gene into DHFR-deficient cells. Stepwise selection of the DHFR+ transformants in increasing concentrations of methotrexate (MTX) generated cells which had high copy numbers of the hIGFBP-1 gene (around 100 copies in cells amplified in medium containing 100 nM MTX). Expression of hIGFBP-1 in mixed clones was found to increase with increasing copy number and an apparent correlation between intra- and extracellular levels of hIGFBP-1 produced by these cells was observed. It was further observed that continuous cultivation over eight months in medium supplemented with 100 nM MTX increased the production of hIGFBP-1 25 times. The productivity did not increase further after five more months cultivation in MTX containing medium. A subcloning of this cell line gave clones with an even higher productivity. Further amplification in 500 nM or 1 uM MTX did not increase the hIGFBP-1 production.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 94
    Electronic Resource
    Electronic Resource
    Springer
    Applied mathematics and mechanics 20 (1999), S. 564-567 
    ISSN: 1573-2754
    Keywords: generalized Birkhoff's system ; equilibrium state ; stability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics , Mathematics , Physics
    Notes: Abstract In this paper, equilibrium stability of generalized Birkhoff's autonomous system is discussed. First, equilibrium equations of generalized Birkhoff's autonomous system are set up, and then the linear approximate method and direct method of stability in equilibrium state are studied. Some results on equilibrium of generalized Birkhoff's autonomous system are obtained on the basis of Lyapunov's thorem. Last, the application of the results is illustrated with an example.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 95
    Electronic Resource
    Electronic Resource
    Springer
    Mathematical methods of operations research 50 (1999), S. 245-270 
    ISSN: 1432-5217
    Keywords: Key words: Portfolio optimization ; stochastic programming ; stability ; postoptimality ; worst-case analysis
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Economics
    Notes: Abstract. Solutions of portfolio optimization problems are often influenced by errors or misspecifications due to approximation, estimation and incomplete information. Selected methods for analysis of results obtained by solving stochastic programs are presented and their scope illustrated on generic examples – the Markowitz model, a multiperiod bond portfolio management problem and a general strategic investment problem. The approaches are based on asymptotic and robust statistics, on the moment problem and on results of parametric optimization.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 96
    Electronic Resource
    Electronic Resource
    Springer
    Journal of optimization theory and applications 102 (1999), S. 299-313 
    ISSN: 1573-2878
    Keywords: Comparison of methods ; optimal control ; sensitivity ; shooting methods ; stability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract A new method for solving optimal control problems, here called multiple NOC shooting, is presented. It is developed from NOC shooting. It has some advantages over its parent and over multiple shooting, which are both successful, high-accuracy methods for optimal control. A comparison of the three methods is given, incorporating two examples.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 97
    Electronic Resource
    Electronic Resource
    Springer
    Journal of optimization theory and applications 93 (1997), S. 635-638 
    ISSN: 1573-2878
    Keywords: Polynomial theory ; robustness ; Kharitonov theorem ; stability ; Hurwitz polynomials ; inverse Kharitonov problem ; Rouché theorem
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract The problem of the robust stability of a Hurwitz polynomial which is the characteristic polynomial of a discrete-time linear time-invariant system is investigated. A new approach based on the Rouché theorem of classical complex analysis is adopted. An interesting sufficient condition for robust stability is derived. Three examples are included to support the theoretical result.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 98
    Electronic Resource
    Electronic Resource
    Springer
    Journal of optimization theory and applications 100 (1999), S. 575-597 
    ISSN: 1573-2878
    Keywords: Queueing networks ; scheduling ; stability ; performance evaluation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract We obtain new linear programs for bounding the performance and proving the stability of queueing networks. They exploit the key facts that the transition probabilities of queueing networks are shift invariant on the relative interiors of faces and the cost functions of interest are linear in the state. A systematic procedure for choosing different quadratic functions on the relative interiors of faces to serve as surrogates of the differential costs in an inequality relaxation of the average cost function leads to linear program bounds. These bounds are probably better than earlier known bounds. It is also shown how to incorporate additional features, such as the presence of virtual multi-server stations to further improve the bounds. The approach also extends to provide functional bounds valid for all arrival rates.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 99
    Electronic Resource
    Electronic Resource
    Springer
    Nonlinear dynamics 20 (1999), S. 181-196 
    ISSN: 1573-269X
    Keywords: monitoring ; stability ; compressors ; axial flow compressors ; stall ; surge ; bifurcation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract Monitoring systems are proposed for the detection of incipient instability in axial flow compression systems. The work employs generic features associated with the response to noise inputs of systems bordering on instability. Based on these generic features, a closed-loop monitoring system is proposed. Numerical simulation is used to illustrate the operation of the proposed closed-loop monitoring system.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 100
    Electronic Resource
    Electronic Resource
    Springer
    Journal of elasticity 48 (1997), S. 218-239 
    ISSN: 1573-2681
    Keywords: stability ; nonlinear elasticity ; Mooney-Rivlin material ; incompressible material ; thick-walled tube
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics , Physics
    Notes: Abstract The problem of instability of a hyperelastic, thick-walled cylindrical tube was first studied by Wilkes [1] in 1955. The solution was formulated within the framework of the theory of small deformations superimposed on large homogeneous deformations for the general class of incompressible, isotropic materials; and results for axially symmetrical buckling were obtained for the neo-Hookean material. The solution involves a certain quadratic equation whose characteristic roots depend on the material response functions. For the neo-Hookean material these roots always are positive. In fact, here we show for the more general Mooney–Rivlin material that these roots always are positive, provided the empirical inequalities hold. In a recent study [2] of this problem for a class of internally constrained compressible materials, it is observed that these characteristic roots may be real-valued, pure imaginary, or complex-valued. The similarity of the analytical structure of the two problems, however, is most striking; and this similarity leads one to question possible complex-valued solutions for the incompressible case. Some remarks on this issue will be presented and some new results will be reported, including additional results for both the neo-Hookean and Mooney–Rivlin materials.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...