ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

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
    Detection of global predicates: Techniques and their limitations (1998)
    Springer
    Distributed computing 11 (1998), S. 191-201 
    Details
    ISSN: 1432-0452
    Keywords: Key words:Distributed debugging – Predicate detection – Unstable predicates
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Summary. We show that the problem of predicate detection in distributed systems is NP-complete. In the past, efficient algorithms have been developed for special classes of predicates such as stable predicates, observer independent predicates, and conjunctive predicates. We introduce a class of predicates, semi-linear predicates, which properly contains all of the above classes. We first discuss stable, observer independent and semi-linear classes of predicates and their relationships with each other. We also study closure properties of these classes with respect to conjunction and disjunction. Finally, we discuss algorithms for detection of predicates in these classes. We provide a non-deterministic detection algorithm for each class of predicate. We show that each class can be equivalently characterized by the degree of non-determinism present in the algorithm. Stable predicates are defined as those that can be detected by an algorithm with the most non-determinism. All other classes can be derived by appropriately constraining the non-determinism in this algorithm.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/s004460050049
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 2
    Electronic Resource
    Electronic Resource
    Using the causal domain to specify and verify distributed programs (1997)
    Springer
    Acta informatica 34 (1997), S. 667-686 
    Details
    ISSN: 1432-0525
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract. A system for specification and proof of distributed programs is presented. The method is based directly on the partial order of local states (poset) and avoids the notions of time and simultaneity. Programs are specified by documenting the relationship between local states which are adjacent to each other in the poset. Program properties are defined by stating properties of the poset. Many program properties can be expressed succinctly and elegantly using this method because poset properties inherently account for varying processor execution speeds. The system utilizes a proof technique which uses induction on the complement of the causally precedes relation and is shown to be useful in proving poset properties. We demonstrate the system on three example algorithms: vector clocks, mutual exclusion, and direct dependency clocks.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/s002360050102
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 3
    Electronic Resource
    Electronic Resource
    Entrance flow in elliptical ducts (1993)
    Chichester : Wiley-Blackwell
    International Journal for Numerical Methods in Fluids 17 (1993), S. 1079-1096 
    Details
    ISSN: 0271-2091
    Keywords: Entrance flow ; Elliptical duct ; Engineering ; Engineering General
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
    Notes: A control volume-based solution of the complete set of Navier-Stokes equations for the laminar, three dimensional developing flow in elliptical cross-section ducts is described. Numerical results for velocity and pressure development, pressure defect and entrance lengths are presented for a wide range of aspect ratios from 0·1 to 0·999. The present results match very well with earlier numerical solutions for developing flow in a circular duct and the fully developed flow in elliptical ducts. A comparison with earlier numerical and experimental data for developing flow in elliptical ducts is also satisfactory for pressure development but not so good for the velocity profiles. The relative growth rate of boundary layer thickness along the major axis is slower than that along the minor axis which is contrary to the assumption used in earlier numerical analyses. The present results show no transverse recirculation contrary to the speculation based on earlier experimental data. The ratio of entry length in an elliptical duct to that in a circular duct with radius equal to the semi-major axis of the elliptical duct is nearly equal to the aspect ratio of the duct. In conformity with the previous work, the present results find the total pressure defect to be independent of the aspect ratio, with a value of 1·234.
    Additional Material: 13 Ill.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1002/fld.1650171205
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 4
    Electronic Resource
    Electronic Resource
    Non-Newtonian flow over a wedge with suction (1992)
    Chichester : Wiley-Blackwell
    International Journal for Numerical Methods in Fluids 15 (1992), S. 37-49 
    Details
    ISSN: 0271-2091
    Keywords: Non-Newtonian Flow ; Wedge flow ; Suction ; Engineering ; Engineering General
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
    Notes: A pseudo-similarity solution is obtained for the flow of an incompressible fluid of second grade past a wedge with suction at the surface. The non-linear differential equation is solved using quasi-linearization and orthonormalization. The numerical method developed for this purpose enables computation of the flow characteristics for any values of the parameters K, a and b, where K is the dimensionless normal stress modulus of the fluid, a is related to the wedge angle and b is the suction parameter. A significant effect of suction on the wall shear stress is observed. The present results match exactly those from an earlier perturbation analysis for Kx2a ≤ 0·01 but differ significantly as Kx2a increases.
    Additional Material: 9 Ill.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1002/fld.1650150104
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 5
    Electronic Resource
    Electronic Resource
    Entrance flow in eccentric annular ducts (1994)
    Chichester : Wiley-Blackwell
    International Journal for Numerical Methods in Fluids 19 (1994), S. 493-512 
    Details
    ISSN: 0271-2091
    Keywords: Developing flow ; Eccentric annular ducts ; 3 + D Navier-Stokes solution ; Engineering ; Engineering General
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
    Notes: A control-volume-based solution of the complete set of Navier-Stokes equations for the laminar, three-dimensional developing flow in straight, eccentric, cylindrical annular ducts is described. Numerical results for velocity and pressure development, pressure defect and entrance lengths are presented for a wide range of duct parameters, i.e. relative eccentricity ∊ and radius ratio γ. The present results match very well with earlier numerical solutions for the limiting cases of developing flow in concentric ducts and fully developed flow in eccentric ducts. Comparison with earlier approximate results for developing flow in eccentric ducts indicates that the approximate model predicts the velocity and pressure development with an error of about 10%. However, the development length predicted by the approximate model is grossly in error. The pressure defect and development length in eccentric ducts are very high compared with their counterparts in concentric ducts. The pressure defect, development length and maximum velocity increase with the radius ratio for eccentric ducts, while the reverse is true for concentric ducts. Also, the apparent friction factor decreases as the eccentricity increases.
    Additional Material: 15 Ill.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1002/fld.1650190604
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 6
    Electronic Resource
    Electronic Resource
    Laminar flow and heat transfer in a periodically converging-diverging channel (1988)
    Chichester : Wiley-Blackwell
    International Journal for Numerical Methods in Fluids 8 (1988), S. 579-597 
    Details
    ISSN: 0271-2091
    Keywords: Engineering ; Engineering General
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
    Notes: A finite difference solution for laminar viscous flow through a sinusoidally curved converging-diverging channel is presented. The physical wavy domain is transformed into a rectangular computational domain in order to simplify the application of boundary conditions on the channel walls. The discretized conservation equations for mass, momentum and energy are derived on a control volume basis. The pseudo-diffusive terms that arise from the co-ordinate transformation are treated as source terms, and the resulting system of equations is solved by a semi-implicit procedure based on line relaxation. Results are obtained for both the developing and the fully developed flow for a Prandtl number of 0.72, channel maximum width-to-pitch ratio of 1.0, Reynolds number ranging from 100 to 500 and wall amplitude-to-pitch ratio varying from 0.1 to 0.25. Results are presented here for constant fluid properties and for a prescribed wall enthalpy only.
    Additional Material: 17 Ill.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1002/fld.1650080506
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 7
    facet.materialart.
    Unknown
    The effect of heating on the stability of flow over concave walls (1984)
    American Institute of Physics
    Details
    Publication Date: 1984-01-01
    Print ISSN: 0031-9171
    Topics: Physics
    Published by American Institute of Physics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    PAPER CURRENT
  • 8
    facet.materialart.
    Unknown
    Tree species diversity and dominance in a man-made forest on sodic wasteland of North India (2004)
    Springer
    Details
    Publication Date: 2004-02-01
    Print ISSN: 1341-6979
    Electronic ISSN: 1610-7403
    Topics: Agriculture, Forestry, Horticulture, Fishery, Domestic Science, Nutrition
    Published by Springer
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    PAPER CURRENT
  • 9
    facet.materialart.
    Unknown
    Association of variants in BAT1-LTA-TNF-BTNL2 genes within 6p21.3 region show graded risk to leprosy in unrelated cohorts of Indian population (2011)
    Springer
    Details
    Publication Date: 2011-11-10
    Print ISSN: 0340-6717
    Electronic ISSN: 1432-1203
    Topics: Biology , Medicine
    Published by Springer
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    PAPER CURRENT
  • 10
    facet.materialart.
    Unknown
    A replicative association study of Chromosome 6p21.3 with susceptibility to leprosy in an Indian population - 'a string hypothesis' (2010)
    BioMed Central
    Details
    Publication Date: 2010-01-01
    Print ISSN: 1465-6906
    Electronic ISSN: 1474-760X
    Topics: Biology
    Published by BioMed Central
    Location Call Number Expected 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...