78 resultados para logical and timed behaviours


Relevância:

30.00% 30.00%

Publicador:

Resumo:

The reason for the reported difference in spoilage behaviour of skim and whole pasteurised milks was investigated The rates of growth of psychrotrophic bacteria were not significantly different in the two milks and the bacterial types. till pseudomonad, present at spoilage were also similar. However. when representative spoilage organisms were cultured into freshly pasteurised skim and whole milks, skim milks exhibited predominantly bitter flavours while whole milk showed mostly sour flavours. The different spoilage, behaviours can be largely explained by greater proteolysis in skim milk than in whole milk. caused by, higher production of protease and greater susceptibility of the protein to protease attack. In addition, lipolysis in whole milk, caused by the substantial quantities of lipase produced by spoilage pseudomonads in this milk. also contributes to the different flavours produced during cold storage of these milk types.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Drug prevention has traditionally focused on influencing individual attitudes and behaviours. In particular, efforts have been directed towards adolescents in the school setting. However, evaluations of school-based drug education have identified limited success. There is increasing recognition that drug abuse is one of a number of risk behaviours, including truancy, delinquency and mental health problems, which share common antecedents that begin in the early years of childhood. Furthermore, these behaviours are shaped by macroenvironmental influences including the economic, social, cultural, and physical environment. Drug prevention needs to adopt a broader perspective: with greater collaboration in related programmes such as crime prevention and suicide prevention; with greater attention to the macroenvironmental influences on problem behaviours; and with greater attention to healthy development in the first years of childhood. (C) 2002 Lippincott Williams Wilkins.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine. (C) 2002 Elsevier Science B.V. All rights reserved.