Real estate research needs of the plan sponsor community:what do the plan sponsor real estate investment managers want to know?

This article reports the results of a web-based survey of real estate portfolio managers in the pension fund industry. The study focused on ascertaining the real estate research interests of the respondents as well as whether or not research funding should be allocated to various research topics. Performance measures of real estate assets and portfolios, microeconomic factors affecting real estate and the role of real estate in a mixed-asset portfolio were the top three real estate research interests. There was some variation by the type and size of fund providing evidence that segmentation is important within the money management industry. Respondents were also queried on more focused research subtopics and additional questions in the survey focused on satisfaction with existing real estate benchmarks, and perceptions of the usefulness of published research. Findings should be used to guide research practitioners and academics as to the most important research interests of plan sponsor real estate investment managers.

Resistance to persuasive messages as a function of majority and minority source status

Three experiments examined the extent to which attitudes following majority and minority influence are resistant to counter-persuasion. In Experiment 1, participants’ attitudes were measured after being exposed to two messages which argued opposite positions (initial pro-attitudinal message and subsequent, counter-attitudinal counter-message). Attitudes following minority endorsement of the initial message were more resistant to a (second) counter-message than attitudes following majority endorsement of the initial message. Experiment 2 replicated this finding when the message direction was reversed (counter-attitudinal initial message and pro-attitudinal counter-message) and showed that the level of message elaboration mediated the amount of attitude resistance. Experiment 3 included conditions where participants received only the counter-message and showed that minority-source participants had resisted the second message (counter-message) rather than being influenced by it. These results show that minority influence induces systematic processing of its arguments which leads to attitudes which are resistant to counter-persuasion.

Development of real-time process control systems using formal techniques

A major application of computers has been to control physical processes in which the computer is embedded within some large physical process and is required to control concurrent physical processes. The main difficulty with these systems is their event-driven characteristics, which complicate their modelling and analysis. Although a number of researchers in the process system community have approached the problems of modelling and analysis of such systems, there is still a lack of standardised software development formalisms for the system (controller) development, particular at early stage of the system design cycle. This research forms part of a larger research programme which is concerned with the development of real-time process-control systems in which software is used to control concurrent physical processes. The general objective of the research in this thesis is to investigate the use of formal techniques in the analysis of such systems at their early stages of development, with a particular bias towards an application to high speed machinery. Specifically, the research aims to generate a standardised software development formalism for real-time process-control systems, particularly for software controller synthesis. In this research, a graphical modelling formalism called Sequential Function Chart (SFC), a variant of Grafcet, is examined. SFC, which is defined in the international standard IEC1131 as a graphical description language, has been used widely in industry and has achieved an acceptable level of maturity and acceptance. A comparative study between SFC and Petri nets is presented in this thesis. To overcome identified inaccuracies in the SFC, a formal definition of the firing rules for SFC is given. To provide a framework in which SFC models can be analysed formally, an extended time-related Petri net model for SFC is proposed and the transformation method is defined. The SFC notation lacks a systematic way of synthesising system models from the real world systems. Thus a standardised approach to the development of real-time process control systems is required such that the system (software) functional requirements can be identified, captured, analysed. A rule-based approach and a method called system behaviour driven method (SBDM) are proposed as a development formalism for real-time process-control systems.