Good-turing estimation for the frequentist n-tuple classifier

We present results concerning the application of the Good-Turing (GT) estimation method to the frequentist n-tuple system. We show that the Good-Turing method can, to a certain extent rectify the Zero Frequency Problem by providing, within a formal framework, improved estimates of small tallies. We also show that it leads to better tuple system performance than Maximum Likelihood estimation (MLE). However, preliminary experimental results suggest that replacing zero tallies with an arbitrary constant close to zero before MLE yields better performance than that of GT system.

An exploratory study of the utilisation of the UK's Prudential Borrowing Framework

This article considers the utilisation of the UK’s Prudential Borrowing Framework (PBF) and the associated Prudential Code for local government capital finance. It finds that the increased flexibility and local freedom are at the cost of less financial certainty in terms of the risks borne by local authorities and local tax payers. The PBF seems to encourage a less formal approach to risk, being considered inevitable and handled if and when adverse risk outcomes occur. Consequently capital projects may lack affordability, sustainability and prudence. The Prudential Indicators required by the Code are not easily understood by non-specialists and their calculation cannot be used to replace sound judgement or to identify the best financing option.

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.

A prediction of outcomes: a psychological investigation into cognitive and affective development within the framework of adult literacy provision

This investigation seeks to explore the hypothesis, derived from observation and practice, that there is a strong relationship between the development of literacy skills and the growth of confidence in adult literacy students. Implicit in the developmental approach is the notion of progression towards some cognitive goal. Such a goal necessitates the establishment of a base line of existing attainment, together with subsequent assessment so that progress and development can be measured. The study includes an evaluation of existing formal and informal methods of initial and subsequent assessment and diagnosis available at the time for Adult Literacy Scheme Co-ordinators. Underlying the funding by Cheshire County Council for the project is the assumption that the results will be available for all practitioners and that the tools of measurement may be used by other Adult Literacy Co-ordinators in the County. It is intended, therefore, that this research should result in practical outcomes in which methods of assessment will involve active participation by students as well as by tutors, becoming part of the learning process. It is hypothesised that this kind of co-operation could lead ultimately to self-directed learning and student-independence. For the purposes of this research, a balance is attempted in the use of assessment tools, between standardised tests and informal methods. The study provides facts about students! reading habits; as well as their reading levels, their spelling levels, their handwriting, their writing skills and their writing habits. The study seeks to show the students' feelings towards education, their educational attainments and the type of school which they attended. The study also attempts to come to some measurement of those aspects of student personality which relate to confidence, by means of tests and questionnaires. The study concludes with an examination of the link between cognitive and affective progress.

A formal model of the Semantic Web Service Ontology (WSMO)

Semantic Web Service, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry. The Web Service Modelling Ontology (WSMO) has been proposed as an enabling framework for the total/partial automation of the tasks (e.g., discovery, selection, composition, mediation, execution, monitoring, etc.) involved in both intra- and inter-enterprise integration of Web services. To support the standardisation and tool support of WSMO, a formal model of the language is highly desirable. As several variants of WSMO have been proposed by the WSMO community, which are still under development, the syntax and semantics of WSMO should be formally defined to facilitate easy reuse and future development. In this paper, we present a formal Object-Z formal model of WSMO, where different aspects of the language have been precisely defined within one unified framework. This model not only provides a formal unambiguous model which can be used to develop tools and facilitate future development, but as demonstrated in this paper, can be used to identify and eliminate errors present in existing documentation.

An automated tool for semantic accessing to formal software models

Many software engineers have found that it is difficult to understand, incorporate and use different formal models consistently in the process of software developments, especially for large and complex software systems. This is mainly due to the complex mathematical nature of the formal methods and the lack of tool support. It is highly desirable to have software models and their related software artefacts systematically connected and used collaboratively, rather than in isolation. The success of the Semantic Web, as the next generation of Web technology, can have profound impact on the environment for formal software development. It allows both the software engineers and machines to understand the content of formal models and supports more effective software design in terms of understanding, sharing and reusing in a distributed manner. To realise the full potential of the Semantic Web in formal software development, effectively creating proper semantic metadata for formal software models and their related software artefacts is crucial. This paper proposed a framework that allows users to interconnect the knowledge about formal software models and other related documents using the semantic technology. We first propose a methodology with tool support is proposed to automatically derive ontological metadata from formal software models and semantically describe them. We then develop a Semantic Web environment for representing and sharing formal Z/OZ models. A method with prototype tool is presented to enhance semantic query to software models and other artefacts. © 2014.

Country strategic risk and knowledge management:a proposed framework for improvement

The world is in a period of reflection about social and economic models. In particular there is a review of the capacities that countries have for improving their competitiveness. The experiences in a society are part of the process of learning and knowledge development in that society: especially in the development of communities. Risks appear continually in the process of the search for, analysis and implementation of solutions to problems. This paper discusses the issues related to the improvement of productivity and knowledge in a society, the risk that poor or even declining productivity brings to the communities and the need to develop people that support the decision making process in communities.The approach to improve the communities' development is through the design of a research programme in knowledge management based on distance learning. The research programme implementation is designed to provide value added to the decisions in communities in order to use collective intelligence, solve collective problems and to achieve goals that support local solutions. This program is organized and focused on four intelligence areas, artificial, collective, sentient and strategic. These areas are productivity related and seek to reduce the risk of lack of competitiveness through formal and integrated problem analysis. In a country such as Colombia, where different regions face varying problems to solve and there is a low level of infrastructure, the factors of production such as knowledge, skilled labour and "soft" infrastructure can be a way to develop the society.This entails using the local physical resources adequately for creating value with the support of people in the region to lead the analysis and search for solutions in the communities. The paper will describe the framework and programme and suggest how it could be applied in Colombia.