Reasoning about real-time repetitions: terminating and nonterminating

It is common for a real-time system to contain a nonterminating process monitoring an input and controlling an output. Hence, a real-time program development method needs to support nonterminating repetitions. In this paper we develop a general proof rule for reasoning about possibly nonterminating repetitions. The rule makes use of a Floyd-Hoare-style loop invariant that is maintained by each iteration of the repetition, a Jones-style relation between the pre- and post-states on each iteration, and a deadline specifying an upper bound on the starting time of each iteration. The general rule is proved correct with respect to a predicative semantics. In the case of a terminating repetition the rule reduces to the standard rule extended to handle real time. Other special cases include repetitions whose bodies are guaranteed to terminate, nonterminating repetitions with the constant true as a guard, and repetitions whose termination is guaranteed by the inclusion of a fixed deadline. (C) 2002 Elsevier Science B.V. All rights reserved.

The Building Partnerships Program: An Approach to Community-based Learning for Medical Students in Australia

The Building Partnerships Program at the University of Queensland, Australia seeks to address the dual challenge of preparing doctors who are responsive to the community while providing a meaningful context for social sciences learning. Through partnerships with a diverse range of community agencies, the program offers students opportunities to gain non-clinical perspectives on health and illness through structured learning activities including: family visits; community agency visits and attachments; and interview training. Students learn first-hand about psychosocial influences on health and how people manage health problems on a day-to-day basis. They also gain insights into the work of community agencies and how they as future doctors might work in partnership with them to enhance patient care. We outline the main components of the program, identify challenges and successes from student and community agency perspectives, and consider areas that invite further development.

Making decisions about treatment for localized prostate cancer

Objective To describe the decision-making processes used by men diagnosed with localized prostate cancer who were considering treatment. Patients and methods Men newly diagnosed with localized prostate cancer from outpatient urology clinics and urologist's private practices were approached before treatment. Their decision-making processes and information-seeking behaviour was assessed; demographic information was also obtained. Results Of 119 men approached, 108 (90%) were interviewed; 91% reported non-systematic decision processes, with deferral to the doctor, positive and negative recollections of others' cancer experiences, and the pre-existing belief that surgery is a better cancer treatment being most common. For systematic information processing the mean (SD, range) number of items considered was 4.19 (2.28, 0-11), with 57% of men considering four or fewer treatment/medical aspects of prostate cancer. Men most commonly considered cancer stage (59%), urinary incontinence (55%) and impotence (51%) after surgery, and low overall mortality (45%). Uncertainty about probabilities for cure was reported by 43% of men and fear of cancer spread by 37%. Men also described uncertainty about the probabilities of side-effects (27%), decisional uncertainty (25%) and anticipated decisional regret (18%). Overall, 73% of men sought information about prostate cancer from external sources, most commonly the Internet, followed by family and friends. Conclusions In general, men did not use information about medical treatments comprehensively or systematically when making treatment decisions, and their processing of medical information was biased by their previous beliefs about cancer and health. These findings have implications for the provision of informational and decisional support to men considering prostate cancer treatment.