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
    Understanding scene descriptions by integrating different sources of knowledge
    Amsterdam : Elsevier
    International Journal of Man-Machine Studies 37 (1992), S. 47-81 
    Details
    ISSN: 0020-7373
    Source: Elsevier Journal Backfiles on ScienceDirect 1907 - 2002
    Topics: Computer Science
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1016/0020-7373(92)90091-X
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 2
    Electronic Resource
    Electronic Resource
    Acidogenic fermentation of source separated mixtures of vegetables and fruits wasted from supermarkets (2000)
    Springer
    Biodegradation 11 (2000), S. 407-414 
    Details
    ISSN: 1572-9729
    Keywords: anaerobic acidogenic fermentation ; lactate ; mesophilic conditions ; RBCOD ; vegetable and fruit wastes ; VFA
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Energy, Environment Protection, Nuclear Power Engineering , Agriculture, Forestry, Horticulture, Fishery, Domestic Science, Nutrition
    Notes: Abstract A pilot scale mesophilic anaerobic acidogenic fermenter was fed with mixtures of vegetables and fruits shredded by a hammer mill and mixed in a stock tank, in order to produce a liquid phase suitable as RBCOD source in denitrification and EBPR processes. Different operative conditions were studied working with a HRT in the range 1–:12 days. The effluent coming from the fermenter was screw pressed, and the solid phase was recycled adopting different ratios to the fermenter, in order to define its effect on the final liquid phase composition. The variations of the VFA, lactate, methyl and ethyl alcohol concentrations, TCOD, SCOD and pH during more than one year were analysed and discussed both with reference to the fresh feed, and to the content of the fermenter. It was found that almost all the organic matter in the liquid phase inside the fermenter was represented by VFA (mainly acetate), lactate (in particular) and methyl and ethyl alcohols when HRT was longer than 6 days.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1011687230823
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 3
    Electronic Resource
    Electronic Resource
    Formal Verification of a Railway Interlocking System using Model Checking (1998)
    Springer
    Formal aspects of computing 10 (1998), S. 361-380 
    Details
    ISSN: 1433-299X
    Keywords: Keywords: Formal methods; Model checking; Industrial applications; Safety critical systems; spin
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract. In this paper we describe an industrial application of formal methods. We have used model checking techniques to model and formally verify a rather complex software, i.e. part of the “safety logic” of a railway interlocking system. The formal model is structured to retain the reusability and scalability properties of the system being modelled. Part of it is defined once for all at a low cost, and re-used. The rest of the model can be mechanically generated from the designers' current specification language. The model checker is “hidden” to the user, it runs as a powerful debugger. Its performances are impressive: exhaustive analysis of quite complex configurations with respect to rather complex properties are run in the order of minutes. The main reason for this achievement is essentially a carefully designed model, which exploits all the behaviour evolution constraints. The re-usability/scalability of the model and the fact that formal verification is automatic and efficient are the key factors which open up the possibility of a real usage by designers at design time. We have thus assessed the possibility of introducing the novel technique in the development cycle with an advantageous costs/benefits relation.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/s001650050022
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 4
    Electronic Resource
    Electronic Resource
    Effect of heat treatments on 8090 AlLi alloy pitting susceptibility in sea water (1996)
    Weinheim [u.a.] : Wiley-Blackwell
    Materials and Corrosion/Werkstoffe und Korrosion 47 (1996), S. 261-267 
    Details
    ISSN: 0947-5117
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
    Description / Table of Contents: Wirkung der Wärmebehandlungen auf die Lochkorrosionsempfindlichkeit der Legierung 8090 AlLi in MeerwasserDie Lochkorrosionsempfindlichkeit der Legierung 8090 Al-Li in Meerwasser wurde nach verschiedenen Wärmebehandlungen untersucht.Versuche bei freier Korrosion sowie elektrochemische Versuche wurden bei 25°C in nicht bewegtem Meerwasser mit pH 8,2 und einem Gehalt von 6,5 ppm gelöstem Sauerstoff durchgeführt.Das Gefüge wurde mittels metallographischer Mikroskopie und Röntgenfeinstrukturanalyse untersucht, während die Korrosionsschicht mit Hilfe von chemischen Methoden sowie Infrarot- und Röntgenphotoelektronenspektroskopie charakterisiert wurde.Folgendes wurde festgestellt:Alterungsbehandlungen führen zu einem inhomogenen Gefüge, was sowohl die allgemeine Korrosionsgeschwindigkeit als auch die Lochkorrosionsempfindlichkeit erhöht,Wärmebehandlungen beeinflussen nicht die Zusammensetzung des Passivfilms,in allen untersuchten Fällen ist die Al-Li-Legierung 8090 anfällig gegenüber lokaler Korrosion, die bevorzugt an den Korngrenzen stattfindet.
    Notes: The pitting susceptibility of 8090 Al-Li alloy in sea water, after different heat treatments, was investigated.Free corrosion and electrochemical tests were carried out at 25°C, in quiescent sea water at pH = 8.2 and dissolved oxygen = 6.5 ppm.The microstructure was examined by metallographic microscopy and by X-Ray microdiffractometry, while the corrosion layer was characterized by chemical methods and by Infrared and X-Ray photoelectron spectroscopies.The following was observed:aging treatments lead to a non homogeneous microstructure which increases the average corrosion rate as well as pitting susceptibility;heat treatments do not affect the average passive film composition;in all examined states, Al-Li alloy 8090 is subject to localized corrosion which takes place preferentially at the grain boundaries.
    Additional Material: 13 Ill.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1002/maco.19960470504
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 5
    Electronic Resource
    Electronic Resource
    Effect of magnesium ions on the protective power of corrosion products formed on the surface of Al 6061 T6 alloy-10% Al2O3 (v/v) composite in solutions containing chlorides (1998)
    Chichester [u.a.] : Wiley-Blackwell
    Surface and Interface Analysis 26 (1998), S. 524-530 
    Details
    ISSN: 0142-2421
    Keywords: corrosion ; aluminium matrix composite ; chloride solutions ; XPS ; Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Physics
    Notes: An XPS study of corrosion products formed in seawater and in NaCl solutions on the surface of Al 6061 T6 alloy-10% Al2O3 (v/v) composite was carried out in order to investigate the influence of chloride and magnesium ions (coming from corrosive solutions) and inhomogeneity of the metallic matrix due to the presence of inter-metallic compounds segregated at the grain boundaries.Potentiodynamic polarization tests were carried out to evaluate Al composite resistance to both general and localized attack.Large- and small-area XPS analyses were performed to obtain qualitative and quantitative characterization of corrosion layers. The distribution of the most interesting components of corrosion layers was observed with the Auger technique.The results of electrochemical tests, indicating that specimens immersed in NaCl solutions have a lower pitting corrosion resistance, were correlated with the composition of the corrosion layers, showing higher content in Cl compounds where localized corrosion takes place and higher resistance to corrosion where magnesium compounds are co-precipitated with aluminium corrosion compounds. © 1998 John Wiley & Sons, Ltd.
    Additional Material: 13 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...