GLORIA

GEOMAR Library Ocean Research Information Access

X
feed icon rss

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
  • 1
    Electronic Resource
    Electronic Resource
    Applying the persistent set approach in temporal reasoning (1995)
    Springer
    Annals of mathematics and artificial intelligence 14 (1995), S. 75-98 
    Details
    ISSN: 1573-7470
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract Since Hanks and McDermott raised the problem of temporal projection (e.g. the Yale shooting problem) and showed that classical nonmonotonic logics failed to solve it, many solutions have been proposed. However, as indicated by some researchers, most of them are not completely satisfactory. In Zhang and Foo [22], we presented a theory of actions called thepersistent set approach (PSA). In this paper, we extend our previous work to deal with temporal reasoning. Different from those minimality-based approaches, we propose a persistence-based formalization of actions within the situation calculus framework, and show that this gives natural and intuitive solutions to the problem of temporal projection in many cases. Explanations of some of the differences between persistence and minimality are given. We show that our approach also provides a unified framework for representing actions with disjunctive effects, while most of the current methods are inappropriate for dealing with these actions in the general case.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01530894
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 2
    Electronic Resource
    Electronic Resource
    Eigenproperties of large-scale structures by finite element partitioning and homotopy continuation (1989)
    Chichester [u.a.] : Wiley-Blackwell
    International Journal for Numerical Methods in Engineering 28 (1989), S. 2113-2122 
    Details
    ISSN: 0029-5981
    Keywords: Engineering ; Engineering General
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Mathematics , Technology
    Notes: Finite element partitioning (or substructuring) is employed to estimate the eigenproperties of large-scale structural systems. A homotopy equation is constructed and its solutions are characterized by a number of curves which connect the eigensolutions of the partitions with those of the complete system. A step-by-step tracing procedure is developed to follow these curves. At each step, prediction and correction are performed. The Rayleigh-Ritz procedure and the conjugate gradient method are used as predictor and corrector, respectively. Compared with the sole use of either the Rayleigh-Ritz or gradient methods, the proposed method is more reliable and more efficient for large-scale problems. Numerical implementation is well suited for supercomputers.
    Additional Material: 2 Ill.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1002/nme.1620280909
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 3
    Electronic Resource
    Electronic Resource
    Multiple scale finite element methods (1991)
    Chichester [u.a.] : Wiley-Blackwell
    International Journal for Numerical Methods in Engineering 32 (1991), S. 969-990 
    Details
    ISSN: 0029-5981
    Keywords: Engineering ; Engineering General
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Mathematics , Technology
    Notes: New temporal and spatial discretization methods are developed for multiple scale structural dynamic problems. The concept of fast and slow time scales is introduced for the temporal discretization. The required time step is shown to be dependent only on the slow time scale, and therefore, large time steps can be used for high frequency problems. To satisfy the spatial counterpart of the requirement on time step constraint, finite-spectral elements and finite wave elements are developed. Finite-spectral element methods combine the usual finite elements with the fast convergent spectral functions to obtain a faster convergence rate; whereas, finite wave elements are developed in parallel to the temporal shifting technique. Therefore, the spatial resolution is increased substantially. These methods are especially applicable to structural acoustics and linear space structures. Numerical examples are presented to illustrate the effectiveness of these methods.
    Additional Material: 9 Ill.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1002/nme.1620320504
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 4
    facet.materialart.
    Unknown
    Inventory Model with Partial Backordering When Backordered Customers Delay Purchase after Stockout-Restoration (2016)
    Hindawi
    Details
    Publication Date: 2016-02-11
    Description: Many inventory models with partial backordering assume that the backordered demand must be filled instantly after stockout restoration. In practice, however, the backordered customers may successively revisit the store because of the purchase delay behavior, producing a limited backorder demand rate and resulting in an extra inventory holding cost. Hence, in this paper we formulate the inventory model with partial backordering considering the purchase delay of the backordered customers and assuming that the backorder demand rate is proportional to the remaining backordered demand. Particularly, we model the problem by introducing a new inventory cost component of holding the backordered items, which has not been considered in the existing models. We propose an algorithm with a two-layer structure based on Lipschitz Optimization (LO) to minimize the total inventory cost. Numerical experiments show that the proposed algorithm outperforms two benchmarks in both optimality and efficiency. We also observe that the earlier the backordered customer revisits the store, the smaller the inventory cost and the fill rate are, but the longer the order cycle is. In addition, if the backordered customers revisit the store without too much delay, the basic EOQ with partial backordering approximates our model very well.
    Print ISSN: 1024-123X
    Electronic ISSN: 1563-5147
    Topics: Mathematics , Technology
    Published by Hindawi
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    PAPER CURRENT
  • 5
    facet.materialart.
    Unknown
    A New Wavelet Threshold Function and Denoising Application (2016)
    Hindawi
    Details
    Publication Date: 2016-05-10
    Description: In order to improve the effects of denoising, this paper introduces the basic principles of wavelet threshold denoising and traditional structures threshold functions. Meanwhile, it proposes wavelet threshold function and fixed threshold formula which are both improved here. First, this paper studies the problems existing in the traditional wavelet threshold functions and introduces the adjustment factors to construct the new threshold function basis on soft threshold function. Then, it studies the fixed threshold and introduces the logarithmic function of layer number of wavelet decomposition to design the new fixed threshold formula. Finally, this paper uses hard threshold, soft threshold, Garrote threshold, and improved threshold function to denoise different signals. And the paper also calculates signal-to-noise (SNR) and mean square errors (MSE) of the hard threshold functions, soft thresholding functions, Garrote threshold functions, and the improved threshold function after denoising. Theoretical analysis and experimental results showed that the proposed approach could improve soft threshold functions with constant deviation and hard threshold with discontinuous function problems. The proposed approach could improve the different decomposition scales that adopt the same threshold value to deal with the noise problems, also effectively filter the noise in the signals, and improve the SNR and reduce the MSE of output signals.
    Print ISSN: 1024-123X
    Electronic ISSN: 1563-5147
    Topics: Mathematics , Technology
    Published by Hindawi
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    PAPER CURRENT
  • 6
    facet.materialart.
    Unknown
    Three-Dimensional Ground Settlement Induced by Metro Tunnel Excavation Considering the Influence of Group Piles (2016)
    Hindawi
    Details
    Publication Date: 2016-05-12
    Description: Considering the influence of group piles, a prediction model for three-dimensional ground surface settlement induced by circular metro tunnels excavation in incompressible rock masses is proposed based on the stochastic medium theory and the shear displacement method. The surface settlement caused by the metro tunnel opening is divided into two parts. One part is soil mass settlement caused by the metro tunnel opening and calculated by the stochastic medium theory. The other part is the settlement induced by the friction force between the group piles and the soil mass around the metro tunnel cross section and calculated by the shear displacement method. The three-dimensional prediction of the ground surface settlement is obtained by the linear superposition of the two parts. The validation of the proposed prediction approach is proved by comparing with the measured data and the numerical model of the double tunnels under the Puyuan overpass where metro tunnels undercrossed group piles. The effects of buried depth, radial convergences, center distance of double tunnels, position and size of piles, and group piles are analyzed and discussed. The improved prediction approach can be applied to calculate the three-dimensional ground settlement, especially for the metro tunnels crossing through group piles.
    Print ISSN: 1024-123X
    Electronic ISSN: 1563-5147
    Topics: Mathematics , Technology
    Published by Hindawi
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    PAPER CURRENT
  • 7
    facet.materialart.
    Unknown
    Evaluation Standard for Safety Coefficient of Roller Compacted Concrete Dam Based on Finite Element Method (2014)
    Hindawi
    Details
    Publication Date: 2014-07-07
    Description: The lack of evaluation standard for safety coefficient based on finite element method (FEM) limits the wide application of FEM in roller compacted concrete dam (RCCD). In this paper, the strength reserve factor (SRF) method is adopted to simulate gradual failure and possible unstable modes of RCCD system. The entropy theory and catastrophe theory are used to obtain the ultimate bearing resistance and failure criterion of the RCCD. The most dangerous sliding plane for RCCD failure is found using the Latin hypercube sampling (LHS) and auxiliary analysis of partial least squares regression (PLSR). Finally a method for determining the evaluation standard of RCCD safety coefficient based on FEM is put forward using least squares support vector machines (LSSVM) and particle swarm optimization (PSO). The proposed method is applied to safety coefficient analysis of the Longtan RCCD in China. The calculation shows that RCCD failure is closely related to RCCD interface strength, and the Longtan RCCD is safe in the design condition. Considering RCCD failure characteristic and combining the advantages of several excellent algorithms, the proposed method determines the evaluation standard for safety coefficient of RCCD based on FEM for the first time and can be popularized to any RCCD.
    Print ISSN: 1024-123X
    Electronic ISSN: 1563-5147
    Topics: Mathematics , Technology
    Published by Hindawi
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    PAPER CURRENT
  • 8
    facet.materialart.
    Unknown
    Macroscopic Model and Simulation Analysis of Air Traffic Flow in Airport Terminal Area (2014)
    Hindawi
    Details
    Publication Date: 2014-08-26
    Description: We focus on the spatiotemporal characteristics and their evolvement law of the air traffic flow in airport terminal area to provide scientific basis for optimizing flight control processes and alleviating severe air traffic conditions. Methods in this work combine mathematical derivation and simulation analysis. Based on cell transmission model the macroscopic models of arrival and departure air traffic flow in terminal area are established. Meanwhile, the interrelationship and influential factors of the three characteristic parameters as traffic flux, density, and velocity are presented. Then according to such models, the macro emergence of traffic flow evolution is emulated with the NetLogo simulation platform, and the correlativity of basic traffic flow parameters is deduced and verified by means of sensitivity analysis. The results suggest that there are remarkable relations among the three characteristic parameters of the air traffic flow in terminal area. Moreover, such relationships evolve distinctly with the flight procedures, control separations, and ATC strategies.
    Print ISSN: 1026-0226
    Electronic ISSN: 1607-887X
    Topics: Mathematics
    Published by Hindawi
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    PAPER CURRENT
  • 9
    facet.materialart.
    Unknown
    Extended ℋ∞ Estimation for Two-Dimensional Markov Jump Systems under Asynchronous Switching (2013)
    Hindawi
    Details
    Publication Date: 2013-04-25
    Description: This paper is concerned with the problem of designing ℋ∞ filters for a class of two-dimensional (2D) Markov jump systems under asynchronous switching. The problem under consideration is primarily motivated by a realistic situation that the switching of candidate filters may have a lag to the switching of system modes. Different from conventional techniques, by a suitable augmentation, the jumping process of the error system is represented by a two-component Markov chain. Then, the extended transition probabilities are provided for the error system. A stochastic Lyapunov function approach is proposed for the design of desired filters that ensure a prescribed ℋ∞ performance for admissible asynchronous switching. Finally, a numerical example is given to illustrate the effectiveness of the developed method.
    Print ISSN: 1024-123X
    Electronic ISSN: 1563-5147
    Topics: Mathematics , Technology
    Published by Hindawi
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    PAPER CURRENT
  • 10
    facet.materialart.
    Unknown
    A Cellular Automata Traffic Flow Model considering Bus Lane Changing Behavior with Scheduling Parameters (2015)
    Hindawi
    Details
    Publication Date: 2015-04-13
    Description: According to different driving behavioral characteristics of bus drivers, a cellular automata traffic model considering the bus lane changing behavior with scheduling parameters is proposed in this paper. Traffic bottleneck problems caused by bus stops are simulated in multiple lanes roads with no-bay bus stations. With the mixed traffic flow composed of different bus arrival rate, flow-density graph, density distribution graph, and temporal-spatial graph are presented. Furthermore, the mixed traffic flow characteristics are analyzed. Numerical experiment results show that the proposed model can generate a variety of complicated realistic phenomena in the traffic system with bus stops and provide theoretical basis for better using of traffic flow model.
    Print ISSN: 1026-0226
    Electronic ISSN: 1607-887X
    Topics: Mathematics
    Published by Hindawi
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    PAPER CURRENT
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...