Library

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
    MetateM: An introduction (1995)
    Springer
    Formal aspects of computing 7 (1995), S. 533-549 
    Details
    ISSN: 1433-299X
    Keywords: Modal and temporal logics ; Reactive systems ; Specification ; Prototyping ; Mechanical verification ; Non-procedural languages ; Logic programming
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract In this paper a methodology for the use of temporal logic as an executable imperative language is introduced. The approach, which provides a concrete framework, calledMetateM, for executing temporal formulae, is motivated and illustrated through examples. In addition, this introduction provides references to further, more detailed, work relating to theMetateM approach to executable logics.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01211631
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 2
    Electronic Resource
    Electronic Resource
    STEADY VISCOELASTIC FLOW PAST A SPHERE USING SPECTRAL ELEMENTS (1996)
    Chichester [u.a.] : Wiley-Blackwell
    International Journal for Numerical Methods in Engineering 39 (1996), S. 1517-1534 
    Details
    ISSN: 0029-5981
    Keywords: spectral elements ; viscoelasticity ; time-splitting method ; drag factor ; Uzawa algorithm ; Engineering ; Engineering General
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Mathematics , Technology
    Notes: The steady flow of a viscoelastic fluid past a sphere in a cylindrical tube is considered. A spectral element method is used to solve the system of coupled non-linear partial differential equations governing the flow. The spectral element method combines the flexibility of the traditional finite element method with the accuracy of spectral methods. A time-splitting algorithm is used to determine the solution to the steady problem. Results are presented for the Oldroyd B model. These show excellent agreement with the literature. The results converge with mesh refinement. A limiting Deborah number of approximately 0⋅6 is found, irrespective of the spatial resolution.
    Additional Material: 25 Ill.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...