Combining Generic Programming and Service-Oriented Architectures for the Effective and Timely Development of Complex e-Learning Systems

Peer-reviewed

Corporate Social Responsibility in the Oil and Gas Industry: Environmental Management Systems as a Source of Sustainable Development

The environmental aspect of corporate social responsibility (CSR) expressed through the process of the EMS implementation in the oil and gas companies is identified as the main subject of this research. In the theoretical part, the basic attention is paid to justification of a link between CSR and environmental management. The achievement of sustainable competitive advantage as a result of environmental capital growth and inclusion of the socially responsible activities in the corporate strategy is another issue that is of special significance here. Besides, two basic forms of environmental management systems (environmental decision support systems and environmental information management systems) are explored and their role in effective stakeholder interaction is tackled. The most crucial benefits of EMS are also analyzed to underline its importance as a source of sustainable development. Further research is based on the survey of 51 sampled oil and gas companies (both publicly owned and state owned ones) originated from different countries all over the world and providing reports on sustainability issues in the open access. To analyze their approach to sustainable development, a specifically designed evaluation matrix with 37 indicators developed in accordance with the General Reporting Initiative (GRI) guidelines for non-financial reporting was prepared. Additionally, the quality of environmental information disclosure was measured on the basis of a quality – quantity matrix. According to results of research, oil and gas companies prefer implementing reactive measures to the costly and knowledge-intensive proactive techniques for elimination of the negative environmental impacts. Besides, it was identified that the environmental performance disclosure is mostly rather limited, so that the quality of non-financial reporting can be judged as quite insufficient. In spite of the fact that most of the oil and gas companies in the sample claim the EMS to be embedded currently in their structure, they often do not provide any details for the process of their implementation. As a potential for the further development of EMS, author mentions possible integration of their different forms in a single entity, extension of existing structure on the basis of consolidation of the structural and strategic precautions as well as development of a unified certification standard instead of several ones that exist today in order to enhance control on the EMS implementation.

Enhancing the development of military capabilities by a systems approach

The political environment of security and defence has changed radically in the Western industrialised world since the Cold War. As a response to these changes, since the beginning of the twenty-first century, most Western countries have adopted a ‘capabilities-based approach’ to developing and operating their armed forces. More responsive and versatile military capabilities must be developed to meet the contemporary challenges. The systems approach is seen as a beneficial means of overcoming traps in resolving complex real -world issues by conventional thinking. The main objectives of this dissertation are to explore and assess the means to enhance the development of military capabilities both in concept development and experimentation (CD&E) and in national defence materiel collaboration issues. This research provides a unique perspective, a systems approach, to the development areas of concern in resolving complex real-world issues. This dissertation seeks to increase the understanding of the military capability concept both as a whole and with in its life cycle. The dissertation follows the generic functionalist systems methodology by Jackson. The methodology applies a comprehensive set of constitutive rules to examine the research objectives. This dissertation makes contribution to current studies about military capability. It presents two interdepen dent conceptual capability models: the comprehensive capability meta-model (CCMM) and the holistic capability life cycle model (HCLCM). These models holistically and systematically complement the existing, but still evolving, understanding of military capability and its life cycle. In addition, this dissertation contributes to the scientific discussion of defence procurement in its broad meaning by introducing the holistic model about the national defence materiel collaboration between the defence forces, defence industry and academia. The model connects the key collaborative mechanisms, which currently work in isolation from each other, and take into consideration the unique needs of each partner. This dissertation contributes empirical evidence regarding the benefits of enterprise architectures (EA) to CD&E. The EA approach may add value to traditional concept development by increasing the clarity, consistency and completeness of the concept. The most important use considered for EA in CD&E is that it enables further utilisation of the concept created in the case project.

Importance of considering food waste in the development of sustainable food packaging systems

Meeting the needs of both present and future generations forms the foundation of sustainable development. Concern about food demand is increasing alongside the continuously growing population. In the pursuit of food security preventing food waste is one solution avoiding the negative environmental impacts that result from producing food unnecessarily. Packages offer one answer to preventing food waste, as they 1) preserve and protect food, 2) introduce the user to the correct way to handle and use the food and package and 3) allow the user to consume the food in its entirety. This thesis aims to enhance the sustainability of food packages by giving special emphasis to preventing food waste. The focus of this thesis is to assist the packaging designer in being able to take into account the requirements for the sustainability of food packages and to be able to integrate these requirements into the product development process. In addition, life cycle methods that can be used as a tool in the packaging design process or in assessing the sustainability of finished food-packaging combinations are evaluated. The methods of life cycle costing (LCC) and life cycle working environment (LCWE) are briefly discussed. The method of life cycle assessment (LCA) is examined more thoroughly through the lens of the literature review of food-package LCA case studies published in the 21st century in three relevant journals. Based on this review and on experiences learned from conducting LCAs, recommendations are given as to how the LCA practitioner should conduct a food packaging study to make most of the results. Two case studies are presented in this thesis. The first case study relates the results of a life cycle assessment conducted for three food items (cold cut (ham), sliced dark bread (rye) and Soygurt drink) and the alternative packaging options of each. Results of this study show that the packaging constitutes only 1–12 % of the total environmental impacts of the food-packaging combination. The greatest effect is derived from the food itself and the wasted food. Even just a small percentage of wasted food causes more environmental impacts than does the packaging. The second case study presents the results of LCC and LCWE analysis done for fruit and vegetable transport packages. In this thesis, the specific results of the study itself are not the focus, but rather the study methods and scope are analysed based on how these complement the sustainability assessment of food packages. This thesis presents reasons why prevention of food waste should be more thoroughly taken into account in food packaging design. In addition, the task of the packaging designer is facilitated by the requirements of sustainable food packaging, by the methods and step-by-step guidance on how to integrate sustainability issues into the design process, and by the recommendations on how to assess the sustainability of food packages. The intention of this thesis is to express the issues that are important in the field of the food packaging industry. Having recognised and implemented these issues, businesses can better manage the risks that could follow from neglecting these sustainability aspects.

Rigorous development of safety-critical systems

Nowadays, computer-based systems tend to become more complex and control increasingly critical functions affecting different areas of human activities. Failures of such systems might result in loss of human lives as well as significant damage to the environment. Therefore, their safety needs to be ensured. However, the development of safety-critical systems is not a trivial exercise. Hence, to preclude design faults and guarantee the desired behaviour, different industrial standards prescribe the use of rigorous techniques for development and verification of such systems. The more critical the system is, the more rigorous approach should be undertaken. To ensure safety of a critical computer-based system, satisfaction of the safety requirements imposed on this system should be demonstrated. This task involves a number of activities. In particular, a set of the safety requirements is usually derived by conducting various safety analysis techniques. Strong assurance that the system satisfies the safety requirements can be provided by formal methods, i.e., mathematically-based techniques. At the same time, the evidence that the system under consideration meets the imposed safety requirements might be demonstrated by constructing safety cases. However, the overall safety assurance process of critical computerbased systems remains insufficiently defined due to the following reasons. Firstly, there are semantic differences between safety requirements and formal models. Informally represented safety requirements should be translated into the underlying formal language to enable further veri cation. Secondly, the development of formal models of complex systems can be labour-intensive and time consuming. Thirdly, there are only a few well-defined methods for integration of formal verification results into safety cases. This thesis proposes an integrated approach to the rigorous development and verification of safety-critical systems that (1) facilitates elicitation of safety requirements and their incorporation into formal models, (2) simplifies formal modelling and verification by proposing specification and refinement patterns, and (3) assists in the construction of safety cases from the artefacts generated by formal reasoning. Our chosen formal framework is Event-B. It allows us to tackle the complexity of safety-critical systems as well as to structure safety requirements by applying abstraction and stepwise refinement. The Rodin platform, a tool supporting Event-B, assists in automatic model transformations and proof-based verification of the desired system properties. The proposed approach has been validated by several case studies from different application domains.

Development of Measurement Systems in Scientific Research: Case Study

In recent years, technological advancements in microelectronics and sensor technologies have revolutionized the field of electrical engineering. New manufacturing techniques have enabled a higher level of integration that has combined sensors and electronics into compact and inexpensive systems. Previously, the challenge in measurements was to understand the operation of the electronics and sensors, but this has now changed. Nowadays, the challenge in measurement instrumentation lies in mastering the whole system, not just the electronics. To address this issue, this doctoral dissertation studies whether it would be beneficial to consider a measurement system as a whole from the physical phenomena to the digital recording device, where each piece of the measurement system affects the system performance, rather than as a system consisting of small independent parts such as a sensor or an amplifier that could be designed separately. The objective of this doctoral dissertation is to describe in depth the development of the measurement system taking into account the challenges caused by the electrical and mechanical requirements and the measurement environment. The work is done as an empirical case study in two example applications that are both intended for scientific studies. The cases are a light sensitive biological sensor used in imaging and a gas electron multiplier detector for particle physics. The study showed that in these two cases there were a number of different parts of the measurement system that interacted with each other. Without considering these interactions, the reliability of the measurement may be compromised, which may lead to wrong conclusions about the measurement. For this reason it is beneficial to conceptualize the measurement system as a whole from the physical phenomena to the digital recording device where each piece of the measurement system affects the system performance. The results work as examples of how a measurement system can be successfully constructed to support a study of sensors and electronics.

Formal development of resilient distributed systems

Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the complexity of system development. Therefore, advanced development technologies are required to build robust and flexible system architectures capable of adapting to such changes. Moreover, powerful quantitative techniques are needed to assess the impact of these changes on various system characteristics. Architectural flexibility is achieved by embedding into the system design the mechanisms for identifying changes and reacting on them. Hence a resilient system should have both advanced monitoring and error detection capabilities to recognise changes as well as sophisticated reconfiguration mechanisms to adapt to them. The aim of such reconfiguration is to ensure that the system stays operational, i.e., remains capable of achieving its goals. Design, verification and assessment of the system reconfiguration mechanisms is a challenging and error prone engineering task. In this thesis, we propose and validate a formal framework for development and assessment of resilient systems. Such a framework provides us with the means to specify and verify complex component interactions, model their cooperative behaviour in achieving system goals, and analyse the chosen reconfiguration strategies. Due to the variety of properties to be analysed, such a framework should have an integrated nature. To ensure the system functional correctness, it should rely on formal modelling and verification, while, to assess the impact of changes on such properties as performance and reliability, it should be combined with quantitative analysis. To ensure scalability of the proposed framework, we choose Event-B as the basis for reasoning about functional correctness. Event-B is a statebased formal approach that promotes the correct-by-construction development paradigm and formal verification by theorem proving. Event-B has a mature industrial-strength tool support { the Rodin platform. Proof-based verification as well as the reliance on abstraction and decomposition adopted in Event-B provides the designers with a powerful support for the development of complex systems. Moreover, the top-down system development by refinement allows the developers to explicitly express and verify critical system-level properties. Besides ensuring functional correctness, to achieve resilience we also need to analyse a number of non-functional characteristics, such as reliability and performance. Therefore, in this thesis we also demonstrate how formal development in Event-B can be combined with quantitative analysis. Namely, we experiment with integration of such techniques as probabilistic model checking in PRISM and discrete-event simulation in SimPy with formal development in Event-B. Such an integration allows us to assess how changes and di erent recon guration strategies a ect the overall system resilience. The approach proposed in this thesis is validated by a number of case studies from such areas as robotics, space, healthcare and cloud domain.

Applying software performance engineering methods to development of IT device management systems

Ohjelmiston suorituskyky on kokonaisvaltainen asia, johon kaikki ohjelmiston elinkaaren vaiheet vaikuttavat. Suorituskykyongelmat johtavat usein projektien viivästymisiin, kustannusten ylittymisiin sekä joissain tapauksissa projektin täydelliseen epäonnistumiseen. Software performance engineering (SPE) on ohjelmistolähtöinen lähestysmistapa, joka tarjoaa tekniikoita suorituskykyisen ohjelmiston kehittämiseen. Tämä diplomityö tutkii näitä tekniikoita ja valitsee niiden joukosta ne, jotka soveltuvat suorituskykyongelmien ratkaisemiseen kahden IT-laitehallintatuotteen kehityksessä. Työn lopputuloksena on päivitetty versio nykyisestä tuotekehitysprosessista, mikä huomioi sovellusten suorituskykyyn liittyvät haasteet tuotteiden elinkaaren eri vaiheissa.

Development of Cell Culture Systems from Selected Species of Fish and Prawns

The present work deals with the development of primary cell culture and diploid cell lines from two fishes, such as Poecilia reticulata and Clarias gariepinus. The greatest difficulty experienced was the avoidance of bacterial and fungi contamination. Three types of cell cultures are commonly developed, primary cell culture, diploid cell lines and heteroploid cell lines. Primary cell culture obtained from the animal tissues that have been cultivated in vitro for the first time. They are characterized by the same chromosome number as parent tissue, cultivated in vitro for the first time, have wide range of virus susceptibility, usually not malignant, six chromatin retarded and do not grow as suspension cultures. Diploid cell lines arise from a primary cell culture at the time of subculturing. Diploid cell lines commercially used in virology are W1-38 (human embryonic lung), W1-26 (human embryonic lung) and HEX (Human embryonic kidney). Heteroploid cell lines have been subcultivated with less than 75% of the cells in the population having a diploid chromosome constitution. Tissue cultures have been extensively used in biomedical research. The main applications are in three areas, Karyological studies, Identification and study of hereditary metabolic disorders and Somatic cell genetics. Other applications are in virology and host-parasite relationships. In this study an attempt was made to preserve the ovarian tissue at low temperature in the presence of cryoprotectants so that the tissue can be retrieved at any time and a cell culture could be developed.

Cell Culture Systems from Penaeus monodon: Development and Application

National Centre for Aquatic Animal Health, Cochin University of Science and Technology

Design and Development of Instrumentation Systems to determine the Dry Rubber Content in Natural Rubber Latex

Hevea latex is a natural biological liquid of very complex composition .Besides rubber hydrocarbons,it contains many proteinous and resinous substances,carbohydrates,inorganic matter,water,and others.The Dry Rubber Content (DRC) of latex varies according to season, tapping system,weather,soil conditions ,clone,age of the tree etc. The true DRC of the latex must be determined to ensure fair prices for the latex during commercial exchange.The DRC of Hevea latex is a very familiar term to all in the rubber industry.It has been the basis for incentive payments to tappers who bring in more than the daily agreed poundage of latex.It is an important parameter for rubber and latex processing industries for automation and verious decesion making processes.This thesis embodies the efforts made by me to determine the DRC of rubber latex following different analytical tools such as MIR absorption,thermal analysis.dielectric spectroscopy and NIR reflectance.The rubber industry is still Looking for a compact instrument that is accurate economical,easy to use and environment friendly.I hope the results presented in this thesis will help to realise this goal in the near future.

Development and Evaluation of Blind Identification Techniques for Nonlinear Systems

Identification and Control of Non‐linear dynamical systems are challenging problems to the control engineers.The topic is equally relevant in communication,weather prediction ,bio medical systems and even in social systems,where nonlinearity is an integral part of the system behavior.Most of the real world systems are nonlinear in nature and wide applications are there for nonlinear system identification/modeling.The basic approach in analyzing the nonlinear systems is to build a model from known behavior manifest in the form of system output.The problem of modeling boils down to computing a suitably parameterized model,representing the process.The parameters of the model are adjusted to optimize a performanace function,based on error between the given process output and identified process/model output.While the linear system identification is well established with many classical approaches,most of those methods cannot be directly applied for nonlinear system identification.The problem becomes more complex if the system is completely unknown but only the output time series is available.Blind recognition problem is the direct consequence of such a situation.The thesis concentrates on such problems.Capability of Artificial Neural Networks to approximate many nonlinear input-output maps makes it predominantly suitable for building a function for the identification of nonlinear systems,where only the time series is available.The literature is rich with a variety of algorithms to train the Neural Network model.A comprehensive study of the computation of the model parameters,using the different algorithms and the comparison among them to choose the best technique is still a demanding requirement from practical system designers,which is not available in a concise form in the literature.The thesis is thus an attempt to develop and evaluate some of the well known algorithms and propose some new techniques,in the context of Blind recognition of nonlinear systems.It also attempts to establish the relative merits and demerits of the different approaches.comprehensiveness is achieved in utilizing the benefits of well known evaluation techniques from statistics. The study concludes by providing the results of implementation of the currently available and modified versions and newly introduced techniques for nonlinear blind system modeling followed by a comparison of their performance.It is expected that,such comprehensive study and the comparison process can be of great relevance in many fields including chemical,electrical,biological,financial and weather data analysis.Further the results reported would be of immense help for practical system designers and analysts in selecting the most appropriate method based on the goodness of the model for the particular context.

Development of nitrifying and photosynthetic sulfur bacteria based bioaugmentation systems for the bioremediation of ammonia and hydrogen sulphide in shrimp culture

This thesis entitled Development of nitrifying ans photosynthetic sulfur bacteria based bioaugmentation systems for the bioremediation of ammonia and hydregen sulphide in shrimp culture. the thesis is to propose a sustainable, low cost option for the mitigation of toxic ammonia and hydrogen sulphide in shrimp culture systems. Use of ‘bioaugmentors’ as pond additives is an emerging field in aquaculture. Understanding the role of organisms involved in the ‘bioaugmentor’ will obviously help to optimize conditions for their activity.The thesis describes the use of wood powder immobilization of nitrifying consortia.Shrimp grow out systems are specialized and highly dynamic aquaculture production units which when operated under zero exchange mode require bioremediation of ammonia, nitrite nitrogen and hydrogen sulphide to protect the crop. The research conducted here is to develop an economically viable and user friendly technology for addressing the above problem. The nitrifying bacterial consortia (NBC) generated earlier (Achuthan et al., 2006) were used for developing the technology.Clear demonstration of better quality of immobilized nitrifiers generated in this study for field application.

Development of nitrifying bacterial consortia for immobilizing in nitrifying bioreactors designed for penaeid and non-penaeid larval rearing systems in the tropics

Two ammonia oxidizing (AMOPCU-1 and AMONPCU-1) and two nitrite oxidizing (NIOPCU-1 and NIONPCU-1) consortia for activating nitrifying bioreactors and thereby establishing nitrification in penaeid and non-penaeid hatchery systems were developed by enrichment. For further amplification of the consortia a simple medium having seawater (either salinity 30 ‰ or 15 ‰) as base, supplemented with NH4+-N/NO2--N and PO4- and pH adjusted to 8 was identified. During the amplification in a fermentor the consortia exhibited excessive wall growth and diminished their yield coefficient posing difficulty in harvesting the cells completely. The consortia consisted of both Gram negative and Gram-positive bacterial cells embedded in a mucilaginous matrix of glycocalyx - like material presumably composed of polysaccharides. The consortia besides being useful in activating nitrifying bioreactors developed for shrimp/prawn hatchery systems can also be used as bioaugmentors in the bioremediation of ammonia and nitrite toxicity in aquaculture systems.