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.

An expert system for the development of a health and safety policy/risk assessment in the plastics industry

Health and safety policies may be regarded as the cornerstone for positive prevention of occupational accidents and diseases. The Health and Safety at Work, etc Act 1974 makes it a legal duty for employers to prepare and revise a written statement of a general policy with respect to the health and safety at work of employees as well as the organisation and arrangements for carrying out that policy. Despite their importance and the legal equipment to prepare them, health and safety policies have been found, in a large number of plastics processing companies (particularly small companies), to be poorly prepared, inadequately implemented and monitored. An important cause of these inadequacies is the lack of necessary health and safety knowledge and expertise to prepare, implement and monitor policies. One possible way of remedying this problem is to investigate the feasibility of using computers to develop expert system programs to simulate the health and safety (HS) experts' task of preparing the policies and assisting companies implement and monitor them. Such programs use artificial intelligence (AI) techniques to solve this sort of problems which are heuristic in nature and require symbolic reasoning. Expert systems have been used successfully in a variety of fields such as medicine and engineering. An important phase in the feasibility of development of such systems is the engineering of knowledge which consists of identifying the knowledge required, eliciting, structuring and representing it in an appropriate computer programming language.

An Investigation into the adoption and implementation of computer aided production management systems:using the Rogers model of adoption and implementation and a social constuctionist account of technology

The research investigates the processes of adoption and implementation, by organisations, of computer aided production management systems (CAPM). It is organised around two different theoretical perspectives. The first part is informed by the Rogers model of the diffusion, adoption and implementation of innovations, and the second part by a social constructionist approach to technology. Rogers' work is critically evaluated and a model of adoption and implementation is distilled from it and applied to a set of empirical case studies. In the light of the case study data, strengths and weaknesses of the model are identified. It is argued that the model is too rational and linear to provide an adequate explanation of adoption processes. It is useful for understanding processes of implementation but requires further development. The model is not able to adequately encompass complex computer based technologies. However, the idea of 'reinvention' is identified as Roger's key concept but it needs to be conceptually extended. Both Roger's model and definition of CAPM found in the literature from production engineering tend to treat CAPM in objectivist terms. The problems with this view are addressed through a review of the literature on the sociology of technology, and it is argued that a social constructionist approach offers a more useful framework for understanding CAPM, its nature, adoption, implementation, and use. CAPM it is argued, must be understood on terms of the ways in which it is constituted in discourse, as part of a 'struggle for meaning' on the part of academics, professional engineers, suppliers, and users.

Strategies against racism: a comparison of a social movement and case studies of anti-racist policy and practice in the local state

The thesis compares two contrasting strategies employed with the aim of combating particular forms of racism within contemporary Britain. Both are assessed as political strategies in their own right and placed within the broader context of reformist and revolutionary political traditions. The sociology of social movements is examined critically, as are Marxist and post-Marxist writings on the role of human agency within social structures and on the nature of social movements. The history of the Anti Nazi League (ANL) in the late 1970s and its opposition to the National Front is considered as an example of anti-racist social movement based on the Trotskyist model of the United Front. The degree to which the Anti Nazi League corresponded to such a model is analysed as are the potential broader applications for such a strategy. The strategy with which the ANL is compared is the development of anti-racist and equal opportunities policies within local government in the 1980s, primarily by Labour-controlled local authorities. The theory of the local state and the political phenomenon of municipal socialism are discussed, specifically the role of various groups operating in and around local authorities in the formation and implementation of anti-racist policy and practice. Following this general discussion, two case studies in each of the areas of local authority housing, education and employment are explored to consider in depth the problems of specific anti-racist policies. In summation the efficacy of the two strategies are considered as parts of wider political currents in tandem with their declared specific objectives.

The planning and management of health for development:a model for Zimbabwe

In this thesis, I view the historical background of Zimbabwe to show the patterns of traditional life that existed prior to settlerism. The form, nature, pace and impact of settlerism and colonialism up to the time of independence are also discussed to show how they affected the health of the population and the pace of development of the country. The political, social and economic underdevelopment of the African people that occurred in Zimbabwe prior to independence was a result of deliberate, politically motivated and controlled policy initiatives. These led to inequatable, inadequate, inappropriate and inaccessible health care provision. It is submitted that since it was the politics that determined the pace of underdevelopment, it must be the politics that must be at the forefront of the development strategy adopted. In the face of the amed conflict that existed in Zimbabwe, existing frameworks of analyses are shown to be inadequate for planning purposes because of their inability to provide indications about the stability of future outcomes. The Metagame technique of analysis of options is proposed as a methology that can be applied in such situations. It rejects deterministic predicative models as misleading and advocates an interactive model based on objective and subjective valuation of human behaviour. In conclusion, the search for stable outcomes rather than optimal and best solutions strategies is advocated in decision making in organisations of all sizes.

The development and diffusion of industrial robots

This thesis describes the history of robots and explains the reasons for the international differences in robot diffusion, and the differences in the diffusion of various robot applications with reference to the UK. As opposed to most of the literature, diffusion is examined with an integrated and interdisciplinary perspective. Robot technology evolves from the interaction of development, supply and manufacture, adoption, and promotion. activities. Emphasis is given to the analysis of adoption, at present the most important limiting factor of robot advancement in the UK. Technical development is inferred from a comparison of surveys on equipment, and from the topics of ten years of symposia papers. This classification of papers is also used to highlight the international and institutional differences in robot development. Analysis of the growth in robot supply, manufacture, and use is made from statistics compiled. A series of interviews with users and potential users serves to illustrate the factors and implications of the adoption of different robot systems in the UK. Adoption pioneering takes place when several conditions exist: when the technology is compatible with the firm, when its advantages outweigh its disadvantages, and particularly when a climate exists which encourages the managerial involvement and the labour acceptance. The degree of compatibility (technical, methodological, organisational, and economic) and the consequences (profitability, labour impacts, and managerial effects) of different robot systems (transfer, manipulative, processing, and assembly) are determined by various aspects of manufacturing operations (complexity, automation, integration, labour tasks, and working conditions). The climate for adoption pioneering is basically determined by the performance of firms. The firms' policies on capital investment have as decisive a role in determining the profitability of robots as their total labour costs. The performance of the motor car industry and its machine builders explains, more than any other factor, the present state of robot advancement in the UK.

Biologising parenting:neuroscience discourse, English social and public health policy and understandings of the child

In recent years, claims about children's developing brains have become central to the formation of child health and welfare policies in England. While these policies assert that they are based on neuro-scientific discoveries, their relationship to neuroscience itself has been debated. However, what is clear is that they portray a particular understanding of children and childhood, one that is marked by a lack of acknowledgment of child personhood. Using an analysis of key government-commissioned reports and additional advocacy documents, this article illustrates the ways that the mind of the child is reduced to the brain, and this brain comes to represent the child. It is argued that a highly reductionist and limiting construction of the child is produced, alongside the idea that parenting is the main factor in child development. It is concluded that this focus on children's brains, with its accompanying deterministic perspective on parenting, overlooks children's embodied lives and this has implications for the design of children's health and welfare services.

Reluctant donors? The Europeanization of international development policies in the New Member States

The European Union (EU) played an instrumental role in re-starting the international development policies in central and eastern European Member States, but questions remain about how far this policy area has been Europeanized since accession. Focusing on the Czech Republic, Hungary, Poland and Slovakia, this article investigates why the new donors have been reluctant to adopt the EU's development acquis more fully. The article traces the socialization processes offered by the EU's development policy rule-making and subsequent national rule implementation. The conclusions reveal three reasons why socialization has been weak: perceptions among the new Member States on the procedural legitimacy of the development acquis; low domestic resonance with the development acquis; and inconsistencies in the activities of norm entrepreneurs. The article contributes to our understanding of development policy in the EU – particularly how decision-making takes place within the Council and its working groups post-enlargement.

Biologising parenting:neuroscience discourse, English social and public health policy and understandings of the child

In recent years, claims about children's developing brains have become central to the formation of child health and welfare policies in England. While these policies assert that they are based on neuro-scientific discoveries, their relationship to neuroscience itself has been debated. However what is clear is that they portray a particular understanding of children and childhood, one that is marked by a lack of acknowledgment of child personhood. Using an analysis of key government-commissioned reports and additional advocacy documents, this chapter illustrates the ways that the mind of the child is reduced to the brain, and this brain comes to represent the child. It is argued that a highly reductionist and limiting construction of the child is produced, alongside the idea that parenting is the main factor in child development. It is concluded that this focus on children's brains, with its accompanying deterministic perspective on parenting, overlooks children's embodied lives and this has implications for the design of children's health and welfare services.

A racionális kisvállalati gazdálkodás tényezői, 2006-2010 (Factors in rational operation of small business, 2006-2010)

A tanulmány a hazai kis- és középvállalati szektorban 2006-ban elvégzett, majd 2010-ben megismételt kérdőíves felmérések eredményei alapján igyekszik bemutatni a racionális vállalati gazdálkodás sajátosságait. Vizsgálatunk fő kérdése, hogy e szektor vállalkozásainak gazdálkodását milyen tényezők teszik ésszerűvé, s hogy a 2006-2010 között eltelt időszakban milyen változások figyelhetők meg a gazdálkodói magatartásuk alakulásában. Eredményeink alapján megállapíthatjuk, hogy a mai napig megtalálhatók a kisvállalkozói - háztartási szemléletű, megélhetésorientált - gazdálkodás nyomai, de a racionális gazdálkodás általunk használt mutatói szerint e vállalkozások körében szakszerűbbé vált a gazdálkodás. Ebben a folyamatban szerepet játszott a gazdasági válság, amely által előidézett helyzethez kénytelenek voltak alkalmazkodni a kis- és közepes vállalkozások: felismerték, hogy célravezetőbb a hatékonyság és a költségek szempontjából a racionális pénzpiaci magatartás követése, s ezzel összhangban a válság miatti zavarok elhárítására kiadáscsökkentő eszközök alkalmazása. A kis- és közepes vállalkozások gazdálkodásával kapcsolatos racionális döntések előmozdításában elsősorban a korszerű pénzügyi ismereteknek és a szakmai tudásnak van szerepe. / === / The study seeks to identify the attributes of rational business operation, using a questionnaire survey of small and medium-sized firms made in 2006 and a repeat of it in 2010. The main questions addressed are what factors contribute to rational operation in the firms in the sector and what changes over the 2006-10 period can be discerned in business behaviour. The findings show that traces of small business-style operation (a household or livelihood orientation) could still be found, but the indicators of rationality employed in the survey show that the operation of the firms became more rational. A role in the process was played by the economic crisis, which forced small and medium-sized businesses to adapt: they recognized that it was better from the point of view of efficiency and costs to follow rational money-market behaviour, and in line with that, use spending-reduction tools to evade the disturbances of the crisis. The main factors behind the shift towards rational decision-making in the running of small and medium-sized firms are up-to-date financial information and professional expertise.

The Future of EU Cohesion Policy. Endogenous Development – Added Value of Intervention – Regulatory Frameworks

The successful operation of the regional development – or cohesion – policy of the European Union has a strategic importance from the point of view of the whole integration process. Strengthening economic, social and territorial cohesion and decreasing disparities between member states and regions are not only one of the main priorities of the integration, but at the same time these are justified expectations of the people living in the member states of the union. The cohesion transfers should be spent on those factors which have the biggest contribution to the improvement of development prospects and competitiveness in the given regions. Theories on regional development have controversial conclusions about the long-term formation of development disparities. However, it has become evident that successful development policies are based on endogenous factors, innovation and well-functioning institutions. After examining theoretical considerations and regional disparities the study analyses the impacts of EU regional policy and evaluates the main elements of the proposed regulatory frameworks for the period 2014-2020.

Reluctant Donors? The Europeanization of International Development Policies in the New Members

The EU played an instrumental role re-starting the international development policies in Central and Eastern European member states, but questions remain about how far this policy area has been Europeanized since accession. Focusing on the Czech Republic, Hungary, Poland and Slovakia, the paper investigates why the new donors have been reluctant to adopt the EU’s development acquis more fully. The paper traces the process of the EU’s development policy rulemaking and subsequent national rule implementation to understand the socialization opportunities these processes offer. The conclusions reveal thrre reasons why socialization has been weak: (1) perceptions among the new member states on the development acquis’ procedural legitimacy; (2) low domestic resonance with the development acquis; and (3) inconsistencies in the activities of norm entrepreneurs. The paper contributes to our understanding of development policy in the EU, in particular how decision making takes place within the Council and its Working Groups post enlargement.

Effects of light quantity and quality on early seedling development in the red mangrove Rhizophora mangle L

Seedlings of the red mangrove, Rhizophora mangle L., were grown under light conditions differing in both photosynthetic photon flux density (PPFD) and spectral quality (red:far-red ratio, R:FR). During the first 8 mo of development, parameters of stem, leaf, and root growth were affected by PPFD. Significant responses to lowered R:FR, however, were limited to internode extension. The results are moderately indicative of a strategy to persist in shade, but illustrate the complexity of light responses and suggest that precise categorization as shade-tolerant or -intolerant may be unbefitting for this species at this particular stage of development.

Education, earnings, and rates of return: The case of Taiwan

Educational planners and economists have long recognized the importance of education as a form of productive investment in both advanced countries and developing countries. In the case of Taiwan, along with impressive economic growth, there was an even faster rate of growth of the government's investment in education. This leads some to question whether education has any role in economic development. ^ The purpose of this study is to provide a broad overview of the role of education, in terms of private rates of return to education, in Taiwan. In the process, a variety of hypotheses about human capital theory are examined and an empirical study of Taiwan's earnings functions are tested to show that education can be an important instrument to increase private rate of return, even under conditions of scarcity of natural and physical resources. Data was collected using the Manpower Survey and Manpower Utilization Survey, conducted by the government. Research questions were analyzed using descriptive statistics, frequencies, and regression analysis. ^ Results indicated that the Manpower Development Plans have been the decisive influence in allowing Taiwan to develop its human resources and achieve success in meeting the needs of Taiwan's economy. The structure of age-earnings profiles showed a strong relationship between earnings and education, and the profiles that successively shift upward are associated with higher levels of education. In the cross-sectional results of the rate of return in 1997, each additional year of schooling leads to a 6.2% increase in income. As to the private rates of return to different levels of education, the results found that the private rates of return are 2.88%, 4.85% and 10.05% for primary, secondary and higher education respectively. In an intertemporal comparison for 1980, 1985, 1990 and 1997, the results showed no significant trend except the private rates of return for primary education have been falling from 3.9% to 2.88%. ^ On the basis of this study, for individual student or family in Taiwan, there is likely to be a strong demand for education, particularly at the higher level. Therefore, a well-developed higher educational level becomes essential and the content of curriculum in higher education becomes another crucial question facing planners in Taiwan if they are going to use education as a means to foster economic development. ^

The state of emergency management 2000: The process of emergency management professionalization in the United States and Florida

This dissertation analyzes the current status of emergency management professionalization in the United States and Florida using a qualitative case study. I investigate the efforts of various organizations at the national and state levels in the private and public sectors to organize emergency management as a profession. I conceptualize emergency management professionalization as occurring in two phases: the indirect institutionalization of the occupation of emergency management and the formal advancement toward an emergency management profession. The legislative, organizational, and procedural developments that occurred between approximately 1900 and the late 1970s became the indirect institutionalization of the occupation of emergency management. Over time, as our society developed and became increasingly complex, more disasters affect the security of the population. In order to adapt to increasing risks and vulnerabilities the emergency management system emerged and with it the necessary elements upon which a future profession could be established providing the basis for the formal advancement toward an emergency management profession. ^ During approximately the last twenty years, the formal advancement toward an emergency management profession has encompassed two primary strategies—certification and accreditation—motivated by the objective to organize a profession. Certification applies to individual emergency managers and includes all training and education. Accreditation of state and local emergency management agencies is reached by complying to a minimum level of proficiency with established standards of performance. Certification and accreditation are the mechanisms used to create an emergency management profession and thus act as axes around which the field of emergency management is organizing. ^ The purpose of this research is to provide a frame of reference for whether or not the field of emergency management is a profession. Based on sociology of professions literature, emergency management can be considered to be professionalizing. The current emergency management professionalization efforts may or may not be sufficient to achieve the ultimate goal of becoming a legitimate profession based on legal and public support for the exclusive right to perform emergency management tasks (monopoly) as well as self-regulation of those tasks (autonomy). ^