Pragmatic approach to the development of robust real-time protocols

This research is concerned with the development of distributed real-time systems, in which software is used for the control of concurrent physical processes. These distributed control systems are required to periodically coordinate the operation of several autonomous physical processes, with the property of an atomic action. The implementation of this coordination must be fault-tolerant if the integrity of the system is to be maintained in the presence of processor or communication failures. Commit protocols have been widely used to provide this type of atomicity and ensure consistency in distributed computer systems. The objective of this research is the development of a class of robust commit protocols, applicable to the coordination of distributed real-time control systems. Extended forms of the standard two phase commit protocol, that provides fault-tolerant and real-time behaviour, were developed. Petri nets are used for the design of the distributed controllers, and to embed the commit protocol models within these controller designs. This composition of controller and protocol model allows the analysis of the complete system in a unified manner. A common problem for Petri net based techniques is that of state space explosion, a modular approach to both the design and analysis would help cope with this problem. Although extensions to Petri nets that allow module construction exist, generally the modularisation is restricted to the specification, and analysis must be performed on the (flat) detailed net. The Petri net designs for the type of distributed systems considered in this research are both large and complex. The top down, bottom up and hybrid synthesis techniques that are used to model large systems in Petri nets are considered. A hybrid approach to Petri net design for a restricted class of communicating processes is developed. Designs produced using this hybrid approach are modular and allow re-use of verified modules. In order to use this form of modular analysis, it is necessary to project an equivalent but reduced behaviour on the modules used. These projections conceal events local to modules that are not essential for the purpose of analysis. To generate the external behaviour, each firing sequence of the subnet is replaced by an atomic transition internal to the module, and the firing of these transitions transforms the input and output markings of the module. Thus local events are concealed through the projection of the external behaviour of modules. This hybrid design approach preserves properties of interest, such as boundedness and liveness, while the systematic concealment of local events allows the management of state space. The approach presented in this research is particularly suited to distributed systems, as the underlying communication model is used as the basis for the interconnection of modules in the design procedure. This hybrid approach is applied to Petri net based design and analysis of distributed controllers for two industrial applications that incorporate the robust, real-time commit protocols developed. Temporal Petri nets, which combine Petri nets and temporal logic, are used to capture and verify causal and temporal aspects of the designs in a unified manner.

The design of robust protocols for distributed real-time systems

Modern distributed control systems comprise of a set of processors which are interconnected using a suitable communication network. For use in real-time control environments, such systems must be deterministic and generate specified responses within critical timing constraints. Also, they should be sufficiently robust to survive predictable events such as communication or processor faults. This thesis considers the problem of coordinating and synchronizing a distributed real-time control system under normal and abnormal conditions. Distributed control systems need to periodically coordinate the actions of several autonomous sites. Often the type of coordination required is the all or nothing property of an atomic action. Atomic commit protocols have been used to achieve this atomicity in distributed database systems which are not subject to deadlines. This thesis addresses the problem of applying time constraints to atomic commit protocols so that decisions can be made within a deadline. A modified protocol is proposed which is suitable for real-time applications. The thesis also addresses the problem of ensuring that atomicity is provided even if processor or communication failures occur. Previous work has considered the design of atomic commit protocols for use in non time critical distributed database systems. However, in a distributed real-time control system a fault must not allow stringent timing constraints to be violated. This thesis proposes commit protocols using synchronous communications which can be made resilient to a single processor or communication failure and still satisfy deadlines. Previous formal models used to design commit protocols have had adequate state coverability but have omitted timing properties. They also assumed that sites communicated asynchronously and omitted the communications from the model. Timed Petri nets are used in this thesis to specify and design the proposed protocols which are analysed for consistency and timeliness. Also the communication system is mcxielled within the Petri net specifications so that communication failures can be included in the analysis. Analysis of the Timed Petri net and the associated reachability tree is used to show the proposed protocols always terminate consistently and satisfy timing constraints. Finally the applications of this work are described. Two different types of applications are considered, real-time databases and real-time control systems. It is shown that it may be advantageous to use synchronous communications in distributed database systems, especially if predictable response times are required. Emphasis is given to the application of the developed commit protocols to real-time control systems. Using the same analysis techniques as those used for the design of the protocols it can be shown that the overall system performs as expected both functionally and temporally.

Taxation of intellectual property: the new regime for companies

Central aspects of new regime for taxation of intangible assets introduced by FA 2002 which seeks to align tax treatment with accounting treatment of intellectual property

On a Stratification Defined by Real Roots of Polynomials

2000 Mathematics Subject Classification: 12D10

Plus-Minus Property as a Generalization of the Daugavet Property

2000 Mathematics Subject Classification: Primary 46B20. Secondary 47A99, 46B42.

Pairwise comparison matrices and the error-free property of the decision maker

Pairwise comparison is a popular assessment method either for deriving criteria-weights or for evaluating alternatives according to a given criterion. In real-world applications consistency of the comparisons rarely happens: intransitivity can occur. The aim of the paper is to discuss the relationship between the consistency of the decision maker—described with the error-free property—and the consistency of the pairwise comparison matrix (PCM). The concept of error-free matrix is used to demonstrate that consistency of the PCM is not a sufficient condition of the error-free property of the decision maker. Informed and uninformed decision makers are defined. In the first stage of an assessment method a consistent or near-consistent matrix should be achieved: detecting, measuring and improving consistency are part of any procedure with both types of decision makers. In the second stage additional information are needed to reveal the decision maker’s real preferences. Interactive questioning procedures are recommended to reach that goal.

Maximum Justifiable Investment Analysis Determines Property Valuation

Investors and developers are often faced with the task of determining the worth or value of a real estate entity that presently exists or is proposed for development. This article explains the process for determining the value of a proposed project and, subsequently, the maximum investment dollars the project can cover, while at the same time producing a reasonable return for the investor. A proposed 300-room hotel serves as the real estate entity to be analyzed.

Integrating structured data using property precedence

Data integration systems offer uniform access to a set of autonomous and heterogeneous data sources. One of the main challenges in data integration is reconciling semantic differences among data sources. Approaches that been used to solve this problem can be categorized as schema-based and attribute-based. Schema-based approaches use schema information to identify the semantic similarity in data; furthermore, they focus on reconciling types before reconciling attributes. In contrast, attribute-based approaches use statistical and structural information of attributes to identify the semantic similarity of data in different sources. This research examines an approach to semantic reconciliation based on integrating properties expressed at different levels of abstraction or granularity using the concept of property precedence. Property precedence reconciles the meaning of attributes by identifying similarities between attributes based on what these attributes represent in the real world. In order to use property precedence for semantic integration, we need to identify the precedence of attributes within and across data sources. The goal of this research is to develop and evaluate a method and algorithms that will identify precedence relations among attributes and build property precedence graph (PPG) that can be used to support integration.

Innovative real estate development finance – evidence from Europe

The authors would like to thank the Royal Institution of Chartered Surveyors (RICS) for their financial support of the project and the numerous respondents who gave so freely of their time.

Risk factors of European non-listed real estate fund returns

Acknowledgements: We thank INREV (the European Association for Investors in Non-Listed Real Estate Vehicles) for funding a previous version of this research and providing non-listed fund data as well as very useful comments. This version is published as Delfim, J.-C. and Hoesli, M., 2015, Risk Factor Analysis of European Non-Listed Real Estate Funds, Amsterdam: INREV. The usual disclaimer applies. We also thank three anonymous reviewers and the guest editor, Graeme Newell, for insightful remarks.

Self-efficacy in depression: Bridging the gap between competence and real-world functioning

Background: Depression is the largest contributing factor to years lost to disability, and symptom remission does not always result in functional improvement. Comprehensive analysis of functioning requires investigation both of the competence to perform behaviours, as well as actual performance in the real world. Further, two independent domains of functioning have been proposed: adaptive (behaviours conducive to daily living skills and independent functioning) and interpersonal (behaviours conducive to the successful initiation and maintenance of social relationships). To date, very little is known about the relationship between these constructs in depression, and the factors that may play a key role in the disparity between competence and real-world performance in adaptive and interpersonal functioning. Purpose: This study used a multidimensional (adaptive and interpersonal functioning), multi-level (competence and performance) approach to explore the potential discrepancy between competence and real-world performance in depression, specifically investigating whether self-efficacy (one’s beliefs of their capability to perform particular actions) predicts depressed individuals’ underperformance in the real world relative to their ability. A comparison sample of healthy participants was included to investigate the level of depressed individuals’ impairment, across variables, relative to healthy individuals. Method: Forty-two participants with depression and twenty healthy participants without history of, or current, psychiatric illness were recruited in the Kingston, Ontario community. Competence, self-efficacy, and real-world functioning all in both adaptive and interpersonal domains, and symptoms were assessed during a single-visit assessment. Results: Relative to healthy individuals, depressed individuals showed significantly poorer adaptive and interpersonal competence, adaptive and interpersonal functioning, and significantly lower self-efficacy for adaptive and interpersonal behaviours. Self-efficacy significantly predicted functional disability both in the domain of adaptive and interpersonal functioning. Interpersonal self-efficacy accounted for significant variance in the discrepancy between interpersonal competence and functioning. Conclusions: The current study provides the first data regarding relationships among competence, functioning, and self-efficacy in depression. Self-efficacy may play an important role in the deployment of functional skills in everyday life. This has implications for therapeutic interventions aimed at enhancing depressed individuals’ engagement in functional activities. There may be additional intrinsic or extrinsic factors that influence the relationships among competence and functioning in depression.

La Corona y el control del reconocimiento nobiliario: la actividad del fiscal de la Real Chancillería de Granada a examen. Análisis y documentos

Se analizan y estudian aquí las averiguaciones hechas en 1590 sobre las actuaciones en pleitos de hidalguía de los fiscales de Granada desde 1579 a 1590, así como se edita una colección documental que viene a resumir la misma. Averiguaciones efectuadas por el oidor Benavente de Benavides, estuvieron centradas en el fiscal Diego de Amézaga y están insertas en la Visita de don Juan de Acuña a la Chancillería de Granada. La minuciosidad de esta actuación, su naturaleza netamente jurídica y las consecuencias que tuvo, aportan una nueva visión sobre estos contenciosos que en determinados casos han sido definidos por la historiografía como meros trámites y que sin embargo poseyeron una complejidad y una dureza, en cierto modo, hasta ahora inadvertida.

La acumulación de oficios (intendente-corregidor) tras la Real Cédula de 13 de noviembre de 1766. Un estudio de caso: el Ayuntamiento de Granada (1808-1814)

El presente trabajo tiene por objeto estudiar la aplicación de la Real Cédula de 13 de noviembre de 1766, sobre separación de corregimientos e intendencias, en el caso concreto del Ayuntamiento de Granada, durante un período de especial complejidad, el de la Guerra de la Independencia.

Green Economy and Employment: employment potential of the ecological transition in Spain

The Green Economy offers real possibilities for productive innovation, economic growth and employment creation in Spain. These three factors are critical to facilitate the necessary change in the productive model to overcome the crisis. However, the measures taken by the current Conservative government have moved in the opposite direction: significant cutting in incentives for renewable, increasing tax burden on renewable energy production to self-consumption and privatizing public spaces of social and environmental interest. This hinders the achievement of the environmental objectives of the Europe 2020 strategy. A strategy that is born already in itself highly limited, unambitious and subordinated to the interests of energy oligopolies and the imperatives of the Stability and Growth Pact (Maastricht) and the Austerity policies imposed from EU institutions to overcome the 2008 financial crisis. So the Ecological Transition goes further, claiming a substantially change in Economic Policy away form the increasing commodification proposed by the Green Economy. Despite these limitations, young and unemployed people have much to gain from a comprehensive development of environmental industries. Therefore, innovative-sustainable plans, investment and training in green sectors are necessary to make easier the transition from a services low-valued economy to an innovative and sustainable model to make our country an environmental reference in Europe.

Market reforms and privatisation in the English National Health Service

The article examines developments in the marketisation and privatisation of the English National Health Service, primarily since 1997. It explores the use of competition and contracting out in ancillary services and the levering into public services of private finance for capital developments through the Private Finance Initiative. A substantial part of the article examines the repeated restructuring of the health service as a market in clinical services, initially as an internal market but subsequently as a market increasing opened up to private sector involvement. Some of the implications of market processes for NHS staff and for increased privatisation are discussed. The article examines one episode of popular resistance to these developments, namely the movement of opposition to the 2011 health and social care legislative proposals. The article concludes with a discussion of the implications of these system reforms for the founding principles of the NHS and the sustainability of the service.