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.

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.

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.

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.

Community Development Districts: The entrepreneurial side of government

In an effort to reduce the cost and size of government public service delivery has become more decentralized, flexible and responsive. Public entrepreneurship entailed, among other things, the establishment of special-purpose governments to finance public services and carry out development projects. Community Development Districts (CDDs) are a type of special-purpose governments whose purpose is to manage and finance infrastructure improvements in the State of Florida. They have important implications for the way both growth management and service delivery occur in the United States. This study examined the role of CDDs for growth management policy and service delivery by analyzing the CDD profile and activity, the contribution of CDDs to the growth management and infrastructure development as well as the way CDD perceived pluses and minuses impact service delivery. The study used a mixed methods research approach, drawing on secondary data pertaining to CDD features and activity, semi-structured interviews with CDD representatives and public officials as well as on a survey of public officials within the counties and cities that have established CDDs. Findings indicated that the CDD institutional model is both a policy and a service delivery tool for infrastructure provision that can be adopted by states across the United States. Results showed that CDDs inhibit rather than foster growth management through their location choices, type and pattern of development. CDDs contributed to the infrastructure development in Florida by providing basic infrastructure services for the development they supported and by building and dedicating facilities to general-purpose governments. Districts were found to be both funding mechanisms and management tools for infrastructure services. The study also pointed to the fact that specialized governance is more responsive and more flexible but less effective than general-purpose governance when delivering services. CDDs were perceived as being favorable for developers and residents and not as favorable for general-purpose governments. Overall results indicated that the CDD is a flexible institutional mechanism for infrastructure delivery which has both advantages and disadvantages. Decision-makers should balance districts’ institutional flexibility with their unintended consequences for growth management when considering urban public policies.

The influence of corporate interests on USAID's development agenda: The case of Haiti

This dissertation is an attempt to use the radical political economy approach, which assumes that there is a connection between a state's strategic interests and the interests of dominant multinational corporations (MNCs) located within a state's territory, to explain continuity in the USAID development agenda and lending patterns during the past 30 years of development aid to Haiti. Employing the qualitative method of "process-tracing," my study concludes that the radical political economy approach has an explanatory power when it comes to understanding continuity in the USAID development agenda and lending patterns during the past 30 years of development aid to Haiti. The evidence shows that USAID has implemented in Haiti, from the 1980s through the post-9/11 Washington Consensus period, neoliberal policies that conform to the political economy of US multinational corporations (US MNCs). Contrary to the claim that the USAID-sponsored post-earthquake development paradigm has departed from previous development strategies, the study has shown that USAID has used the occurrence of the January 2010 earthquake tragedy to accelerate in Haiti the implementation of a neoliberal agenda congenial to the business promotion of multinational investors, particularly US multinational corporations. In terms of the way ahead, the study argues for the implementation of a new development approach articulated by a legitimate Haitian state and primarily intended to promote the socioeconomic development of the poorest Haitians.

When Poverty Becomes Profitable: A Critical Discourse Analysis of Microfinancial Development in Haiti

For the past thirty years, policymakers have lauded microfinance for its promises to reduce poverty and empower women in developing nations. First conceived by the Bangladeshi economist Muhammed Yunus and the bank he founded, microfinance has been hailed as a visionary project that promises to advance the economic interests of the poor by engaging them directly. Conventional studies by political scientists explore the place of microfinance in the global development architecture of international financial institutions, governments, and NGOs. Economic studies of its effectiveness are contributing to a crisis of legitimacy since they reveal that thousands of clients in developing nations continue to default on their loans due to predatory lending practices. Drawing on discourse analysis methodology, this article seeks to explain how microfinance, an industry embedded in the financialization of development, is now concerned with high financial returns for investments, not the social goals promised by its original raison d'être. Treating microfinance as a discourse, I argue that there is a fundamental tension between the short-term social goals promised by microfinance and the long-term financial objectives of sustainability of investors.

Data compilation on the biological response to ocean acidification: environmental and experimental context of data sets and related literature

The exponential growth of studies on the biological response to ocean acidification over the last few decades has generated a large amount of data. To facilitate data comparison, a data compilation hosted at the data publisher PANGAEA was initiated in 2008 and is updated on a regular basis (doi:10.1594/PANGAEA.149999). By January 2015, a total of 581 data sets (over 4 000 000 data points) from 539 papers had been archived. Here we present the developments of this data compilation five years since its first description by Nisumaa et al. (2010). Most of study sites from which data archived are still in the Northern Hemisphere and the number of archived data from studies from the Southern Hemisphere and polar oceans are still relatively low. Data from 60 studies that investigated the response of a mix of organisms or natural communities were all added after 2010, indicating a welcomed shift from the study of individual organisms to communities and ecosystems. The initial imbalance of considerably more data archived on calcification and primary production than on other processes has improved. There is also a clear tendency towards more data archived from multifactorial studies after 2010. For easier and more effective access to ocean acidification data, the ocean acidification community is strongly encouraged to contribute to the data archiving effort, and help develop standard vocabularies describing the variables and define best practices for archiving ocean acidification data.

An automated approach for performance deviation analysis of evolving software systems

A manutenção e evolução de sistemas de software tornou-se uma tarefa bastante crítica ao longo dos últimos anos devido à diversidade e alta demanda de funcionalidades, dispositivos e usuários. Entender e analisar como novas mudanças impactam os atributos de qualidade da arquitetura de tais sistemas é um pré-requisito essencial para evitar a deterioração de sua qualidade durante sua evolução. Esta tese propõe uma abordagem automatizada para a análise de variação do atributo de qualidade de desempenho em termos de tempo de execução (tempo de resposta). Ela é implementada por um framework que adota técnicas de análise dinâmica e mineração de repositório de software para fornecer uma forma automatizada de revelar fontes potenciais – commits e issues – de variação de desempenho em cenários durante a evolução de sistemas de software. A abordagem define quatro fases: (i) preparação – escolher os cenários e preparar os releases alvos; (ii) análise dinâmica – determinar o desempenho de cenários e métodos calculando seus tempos de execução; (iii) análise de variação – processar e comparar os resultados da análise dinâmica para releases diferentes; e (iv) mineração de repositório – identificar issues e commits associados com a variação de desempenho detectada. Estudos empíricos foram realizados para avaliar a abordagem de diferentes perspectivas. Um estudo exploratório analisou a viabilidade de se aplicar a abordagem em sistemas de diferentes domínios para identificar automaticamente elementos de código fonte com variação de desempenho e as mudanças que afetaram tais elementos durante uma evolução. Esse estudo analisou três sistemas: (i) SIGAA – um sistema web para gerência acadêmica; (ii) ArgoUML – uma ferramenta de modelagem UML; e (iii) Netty – um framework para aplicações de rede. Outro estudo realizou uma análise evolucionária ao aplicar a abordagem em múltiplos releases do Netty, e dos frameworks web Wicket e Jetty. Nesse estudo foram analisados 21 releases (sete de cada sistema), totalizando 57 cenários. Em resumo, foram encontrados 14 cenários com variação significante de desempenho para Netty, 13 para Wicket e 9 para Jetty. Adicionalmente, foi obtido feedback de oito desenvolvedores desses sistemas através de um formulário online. Finalmente, no último estudo, um modelo de regressão para desempenho foi desenvolvido visando indicar propriedades de commits que são mais prováveis a causar degradação de desempenho. No geral, 997 commits foram minerados, sendo 103 recuperados de elementos de código fonte degradados e 19 de otimizados, enquanto 875 não tiveram impacto no tempo de execução. O número de dias antes de disponibilizar o release e o dia da semana se mostraram como as variáveis mais relevantes dos commits que degradam desempenho no nosso modelo. A área de característica de operação do receptor (ROC – Receiver Operating Characteristic) do modelo de regressão é 60%, o que significa que usar o modelo para decidir se um commit causará degradação ou não é 10% melhor do que uma decisão aleatória.

An automated approach for performance deviation analysis of evolving software systems

A manutenção e evolução de sistemas de software tornou-se uma tarefa bastante crítica ao longo dos últimos anos devido à diversidade e alta demanda de funcionalidades, dispositivos e usuários. Entender e analisar como novas mudanças impactam os atributos de qualidade da arquitetura de tais sistemas é um pré-requisito essencial para evitar a deterioração de sua qualidade durante sua evolução. Esta tese propõe uma abordagem automatizada para a análise de variação do atributo de qualidade de desempenho em termos de tempo de execução (tempo de resposta). Ela é implementada por um framework que adota técnicas de análise dinâmica e mineração de repositório de software para fornecer uma forma automatizada de revelar fontes potenciais – commits e issues – de variação de desempenho em cenários durante a evolução de sistemas de software. A abordagem define quatro fases: (i) preparação – escolher os cenários e preparar os releases alvos; (ii) análise dinâmica – determinar o desempenho de cenários e métodos calculando seus tempos de execução; (iii) análise de variação – processar e comparar os resultados da análise dinâmica para releases diferentes; e (iv) mineração de repositório – identificar issues e commits associados com a variação de desempenho detectada. Estudos empíricos foram realizados para avaliar a abordagem de diferentes perspectivas. Um estudo exploratório analisou a viabilidade de se aplicar a abordagem em sistemas de diferentes domínios para identificar automaticamente elementos de código fonte com variação de desempenho e as mudanças que afetaram tais elementos durante uma evolução. Esse estudo analisou três sistemas: (i) SIGAA – um sistema web para gerência acadêmica; (ii) ArgoUML – uma ferramenta de modelagem UML; e (iii) Netty – um framework para aplicações de rede. Outro estudo realizou uma análise evolucionária ao aplicar a abordagem em múltiplos releases do Netty, e dos frameworks web Wicket e Jetty. Nesse estudo foram analisados 21 releases (sete de cada sistema), totalizando 57 cenários. Em resumo, foram encontrados 14 cenários com variação significante de desempenho para Netty, 13 para Wicket e 9 para Jetty. Adicionalmente, foi obtido feedback de oito desenvolvedores desses sistemas através de um formulário online. Finalmente, no último estudo, um modelo de regressão para desempenho foi desenvolvido visando indicar propriedades de commits que são mais prováveis a causar degradação de desempenho. No geral, 997 commits foram minerados, sendo 103 recuperados de elementos de código fonte degradados e 19 de otimizados, enquanto 875 não tiveram impacto no tempo de execução. O número de dias antes de disponibilizar o release e o dia da semana se mostraram como as variáveis mais relevantes dos commits que degradam desempenho no nosso modelo. A área de característica de operação do receptor (ROC – Receiver Operating Characteristic) do modelo de regressão é 60%, o que significa que usar o modelo para decidir se um commit causará degradação ou não é 10% melhor do que uma decisão aleatória.

Seawater carbonate chemistry, mass, length and gene expression of Sepia officinalis during experiments, 2011

The specific transporters involved in maintenance of blood pH homeostasis in cephalopod molluscs have not been identified to date. Using in situ hybridization and immuno histochemical methods, we demonstrate that Na+/K+-ATPase (soNKA), a V-type H+-ATPase (soV-HA), and Na+/HCO3- cotransporter (soNBC) are co-localized in NKA-rich cells in the gills of Sepia officinalis. mRNA expression patterns of these transporters and selected metabolic genes were examined in response to moderately elevated seawater pCO2 (0.16 and 0.35 kPa) over a time-course of six weeks in different ontogenetic stages. The applied CO2 concentrations are relevant for ocean acidification scenarios projected for the coming decades. We determined strong expression changes in late stage embryos and hatchlings, with one to three log2-fold reductions in soNKA, soNBCe, socCAII and COX. In contrast, no hypercapnia induced changes in mRNA expression were observed in juveniles during both short- and long-term exposure. However a transiently increased demand of ion regulatory demand was evident during the initial acclimation reaction to elevated seawater pCO2. Gill Na+/K+-ATPase activity and protein concentration were increased by approximately 15% in during short (2-11 day), but not long term (42 day) exposure. Our findings support the hypothesis that the energy budget of adult cephalopods is not significantly compromised during long-term exposure to moderate environmental hypercapnia. However, the down regulation of ion-regulatory and metabolic genes in late stage embryos, taken together with a significant reduction in somatic growth, indicates that cephalopod early life stages are challenged by elevated seawater pCO2.