GLORIA

GEOMAR Library Ocean Research Information Access

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
  • 1
    Online Resource
    Online Resource
    Hindawi Limited ; 2013
    In:  Abstract and Applied Analysis Vol. 2013 ( 2013), p. 1-6
    In: Abstract and Applied Analysis, Hindawi Limited, Vol. 2013 ( 2013), p. 1-6
    Abstract: This paper is concerned with the existence and uniqueness of positive solutions for a Volterra nonlinear fractional system of integral equations. Our analysis relies on a fixed point theorem of a sum operator. The conditions for the existence and uniqueness of a positive solution to the system are established. Moreover, an iterative scheme is constructed for approximating the solution. The case of quadratic system of fractional integral equations is also considered.
    Type of Medium: Online Resource
    ISSN: 1085-3375 , 1687-0409
    Language: English
    Publisher: Hindawi Limited
    Publication Date: 2013
    detail.hit.zdb_id: 2064801-7
    SSG: 17,1
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 2
    Online Resource
    Online Resource
    Hindawi Limited ; 2013
    In:  Journal of Applied Mathematics Vol. 2013 ( 2013), p. 1-10
    In: Journal of Applied Mathematics, Hindawi Limited, Vol. 2013 ( 2013), p. 1-10
    Abstract: Model checking and conformance testing play an important role in software system design and implementation. From the view of integrating model checking and conformance testing into a tightly coupled validation approach, this paper presents a novel approach to detect latent errors in software implementation. The latent errors can be classified into two kinds, one is called as Unnecessary Implementation Trace, and the other is called as Neglected Implementation Trace. The method complements the incompleteness of security properties for software model checking. More accurate models are characterized to leverage the effectiveness of the model-based software verification and testing combined method.
    Type of Medium: Online Resource
    ISSN: 1110-757X , 1687-0042
    Language: English
    Publisher: Hindawi Limited
    Publication Date: 2013
    detail.hit.zdb_id: 2578385-3
    SSG: 17,1
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 3
    Online Resource
    Online Resource
    Hindawi Limited ; 2013
    In:  Journal of Applied Mathematics Vol. 2013 ( 2013), p. 1-9
    In: Journal of Applied Mathematics, Hindawi Limited, Vol. 2013 ( 2013), p. 1-9
    Abstract: Although the phenomenon that strictly meets the constant dimension fractal form in the nature does not exist, fractal theory provides a new way and means for the study of complex natural phenomena. Therefore, we use some variable dimension fractal analysis methods to study river flow discharge. On the basis of the flood flow corresponding to the waterline length, the river of the overall and partial dimensions are calculated and the relationships between the overall and partial dimensions are discussed. The law of the length in section of Chongqing city of Yangtze River is calibrated by using of variable fractal dimension. The results conclude that it does express a second-order accumulated variable-dimensional fractal phenomenon, and the dimension can reflect the degree of the river; the greater dimension, the more the river bend. It has different dimensions at a different location in the same river. In the same river, the larger dimension, the worse flow discharge capacity of the river and the more obvious of the flood will be on the performance.
    Type of Medium: Online Resource
    ISSN: 1110-757X , 1687-0042
    Language: English
    Publisher: Hindawi Limited
    Publication Date: 2013
    detail.hit.zdb_id: 2578385-3
    SSG: 17,1
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 4
    Online Resource
    Online Resource
    Springer Science and Business Media LLC ; 2021
    In:  Annals of Functional Analysis Vol. 12, No. 2 ( 2021-04)
    In: Annals of Functional Analysis, Springer Science and Business Media LLC, Vol. 12, No. 2 ( 2021-04)
    Type of Medium: Online Resource
    ISSN: 2639-7390 , 2008-8752
    Language: English
    Publisher: Springer Science and Business Media LLC
    Publication Date: 2021
    detail.hit.zdb_id: 2606458-3
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 5
    Online Resource
    Online Resource
    Hindawi Limited ; 2014
    In:  Abstract and Applied Analysis Vol. 2014 ( 2014), p. 1-5
    In: Abstract and Applied Analysis, Hindawi Limited, Vol. 2014 ( 2014), p. 1-5
    Abstract: The multiple-sets split equality problem (MSSEP) requires finding a point x ∈ ∩ i = 1 N C i , y ∈ ∩ j = 1 M Q j such that A x = B y , where N and M are positive integers, { C 1 , C 2 , … , C N } and { Q 1 , Q 2 , … , Q M } are closed convex subsets of Hilbert spaces H 1 , H 2 , respectively, and A : H 1 → H 3 , B : H 2 → H 3 are two bounded linear operators. When N = M = 1 , the MSSEP is called the split equality problem (SEP). If   B = I , then the MSSEP and SEP reduce to the well-known multiple-sets split feasibility problem (MSSFP) and split feasibility problem (SFP), respectively. One of the purposes of this paper is to introduce an iterative algorithm to solve the SEP and MSSEP in the framework of infinite-dimensional Hilbert spaces under some more mild conditions for the iterative coefficient.
    Type of Medium: Online Resource
    ISSN: 1085-3375 , 1687-0409
    Language: English
    Publisher: Hindawi Limited
    Publication Date: 2014
    detail.hit.zdb_id: 2064801-7
    SSG: 17,1
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 6
    Online Resource
    Online Resource
    Hindawi Limited ; 2012
    In:  Abstract and Applied Analysis Vol. 2012 ( 2012), p. 1-14
    In: Abstract and Applied Analysis, Hindawi Limited, Vol. 2012 ( 2012), p. 1-14
    Abstract: We study the eigenvalue interval for the existence of positive solutions to a semipositone higher order fractional differential equation - 𝒟 t μ x ( t ) = λ f ( t , x ( t ) , 𝒟 t μ 1 x ( t ) , 𝒟 t μ 2 x ( t ) , … , 𝒟 t μ n - 1 x ( t ) ) … 𝒟 t μ i x ( 0 ) = 0 , 1 ≤ i ≤ n - 1 , 𝒟 t μ n - 1 + 1 x ( 0 ) = 0 , 𝒟 t μ n - 1 x ( 1 ) = ∑ j = 1 m - 2 a j 𝒟 t μ n - 1 x ( ξ j ) ,   where n - 1 〈 μ ≤ n ,   n ≥ 3 , 0 〈 μ 1 〈 μ 2 〈 ⋯ 〈 μ n - 2 〈 μ n - 1 , n - 3 〈 μ n - 1 〈 μ - 2 , a j ∈ ℝ , 0 〈 ξ 1 〈 ξ 2 〈 ⋯ 〈 ξ m - 2 〈 1 satisfying 0 〈 ∑ j = 1 m - 2 a j ξ j μ - μ n - 1 - 1 〈 1 , 𝒟 t μ is the standard Riemann-Liouville derivative, f ∈ C ( ( 0,1 ) × ℝ n , ( - ∞ , + ∞ ) ) , and f is allowed to be changing-sign. By using reducing order method, the eigenvalue interval of existence for positive solutions is obtained.
    Type of Medium: Online Resource
    ISSN: 1085-3375 , 1687-0409
    Language: English
    Publisher: Hindawi Limited
    Publication Date: 2012
    detail.hit.zdb_id: 2064801-7
    SSG: 17,1
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 7
    Online Resource
    Online Resource
    Hindawi Limited ; 2013
    In:  Abstract and Applied Analysis Vol. 2013 ( 2013), p. 1-9
    In: Abstract and Applied Analysis, Hindawi Limited, Vol. 2013 ( 2013), p. 1-9
    Abstract: Temporal Boolean network is a generalization of the Boolean network model that takes into account the time series nature of the data and tries to incorporate into the model the possible existence of delayed regulatory interactions among genes. This paper investigates the observability problem of temporal Boolean control networks. Using the semi tensor product of matrices, the temporal Boolean networks can be converted into discrete time linear dynamic systems with time delays. Then, necessary and sufficient conditions on the observability via two kinds of inputs are obtained. An example is given to illustrate the effectiveness of the obtained results.
    Type of Medium: Online Resource
    ISSN: 1085-3375 , 1687-0409
    Language: English
    Publisher: Hindawi Limited
    Publication Date: 2013
    detail.hit.zdb_id: 2064801-7
    SSG: 17,1
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 8
    Online Resource
    Online Resource
    Hindawi Limited ; 2014
    In:  Abstract and Applied Analysis Vol. 2014 ( 2014), p. 1-7
    In: Abstract and Applied Analysis, Hindawi Limited, Vol. 2014 ( 2014), p. 1-7
    Abstract: This paper is concerned with the problem of predictive function control (PFC) for a class of hydraulic vibration servo control systems. Our aim is to design a new advanced control strategy such that the control system can track trajectory in a fast and accurate way. For this end, the mathematical model of the hydraulic vibration servo control system is firstly studied. By analyzing the nonlinear, time-varying, and model structure uncertainty features of the objects, the desired control strategy is presented based on PFC. Finally, the simulation results show that our proposed method is effective and can be used to improve the tracking speed, accuracy, and robustness.
    Type of Medium: Online Resource
    ISSN: 1085-3375 , 1687-0409
    Language: English
    Publisher: Hindawi Limited
    Publication Date: 2014
    detail.hit.zdb_id: 2064801-7
    SSG: 17,1
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 9
    Online Resource
    Online Resource
    Hindawi Limited ; 2013
    In:  Abstract and Applied Analysis Vol. 2013 ( 2013), p. 1-6
    In: Abstract and Applied Analysis, Hindawi Limited, Vol. 2013 ( 2013), p. 1-6
    Abstract: New △-convergence theorems of iterative sequences for asymptotically nonexpansive mappings in CAT(0) spaces are obtained. Consider an asymptotically nonexpansive self-mapping of a closed convex subset of a CAT(0) space . Consider the iteration process , where is arbitrary and or for , where . It is shown that under certain appropriate conditions on   △-converges to a fixed point of .
    Type of Medium: Online Resource
    ISSN: 1085-3375 , 1687-0409
    Language: English
    Publisher: Hindawi Limited
    Publication Date: 2013
    detail.hit.zdb_id: 2064801-7
    SSG: 17,1
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 10
    Online Resource
    Online Resource
    Hindawi Limited ; 2012
    In:  Abstract and Applied Analysis Vol. 2012 ( 2012), p. 1-8
    In: Abstract and Applied Analysis, Hindawi Limited, Vol. 2012 ( 2012), p. 1-8
    Abstract: We consider the practical stability of impulsive differential equations with infinite delay in terms of two measures. New stability criteria are established by employing Lyapunov functions and Razumikhin technique. Moreover, an example is given to illustrate the advantage of the obtained result.
    Type of Medium: Online Resource
    ISSN: 1085-3375 , 1687-0409
    Language: English
    Publisher: Hindawi Limited
    Publication Date: 2012
    detail.hit.zdb_id: 2064801-7
    SSG: 17,1
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...