249,299 research outputs found

    The impact on the Scottish economy of reducing greenhouse gas emissions in Scotland: Illustrative findings from an experimental computable general equilibrium model for Scotland: Final Report October 2008

    Get PDF
    First paragraph: This project uses an experimental energy-economy-environment computable general equilibrium (CGE) model of the Scottish economy (AMOSENVI) to conduct illustrative simulations of the economic and environmental impacts of various options to reduce the generation of CO2 emissions (as the main greenhouse gas) in Scotland. These simulations are illustrative in nature because the process of appropriate database development and model specification for a comprehensive and accurate analysis of climate change policy issues for Scotland, while advanced relative to many regional (and even national) economies, is still in its very early stages. One of the key objectives of this project is to illustrate the potential value-added to Scotland's analytical capacity if further investment is made (by both the policy community, particularly in terms of data provision, and the research community, with public support, for example by seeking support from the research councils) in developing an appropriate CGE modelling framework

    Design and implementation of an integrated surface texture information system for design, manufacture and measurement

    Get PDF
    The optimised design and reliable measurement of surface texture are essential to guarantee the functional performance of a geometric product. Current support tools are however often limited in functionality, integrity and efficiency. In this paper, an integrated surface texture information system for design, manufacture and measurement, called “CatSurf”, has been designed and developed, which aims to facilitate rapid and flexible manufacturing requirements. A category theory based knowledge acquisition and knowledge representation mechanism has been devised to retrieve and organize knowledge from various Geometrical Product Specifications (GPS) documents in surface texture. Two modules (for profile and areal surface texture) each with five components are developed in the CatSurf. It also focuses on integrating the surface texture information into a Computer-aided Technology (CAx) framework. Two test cases demonstrate design process of specifications for the profile and areal surface texture in AutoCAD and SolidWorks environments respectively

    PDP4Life: personal development planning for lifelong learning. Final Report.

    Get PDF
    Many HEIs have developed electronic Personal Development Planning (e-PDP) systems that support the learner through the processes of personal development planning, however, little attention appeared to have been paid to developing frameworks within these systems to enable learners to merge formal and informal records of learning into a single database, to transfer records from one institutional learning environment to another, and to access and manipulate their learner records when not registered within a place of study. PDP4Life attempted to address these issues. This final project report outlines the outcomes of this JISC project

    Redevelopment of an industrial case study using Event-B and Rodin

    No full text
    CDIS is a commercial air traffic information system that was developed using formal methods 15 years ago by Praxis, and it is still in operation today. This system is an example of an industrial scale system that has been developed using formal methods. In particular, the functional requirements of the system were specified using VVSL -- a variant of VDM. A subset of the original specification has been chosen to be reconstructed on the Rodin platform based on the new Event-B formalism. The goal of our reconstruction was to overcome three key difficulties of the original formalisation, namely the difficulty of comprehending the original specification, the lack of any mechanical proof of the consistency of the specification and the difficulty of dealing with distribution and atomicity refinement. In this paper we elucidate how a new formal notation and tool can help to overcome these difficulties

    Modeling views in the layered view model for XML using UML

    Get PDF
    In data engineering, view formalisms are used to provide flexibility to users and user applications by allowing them to extract and elaborate data from the stored data sources. Conversely, since the introduction of Extensible Markup Language (XML), it is fast emerging as the dominant standard for storing, describing, and interchanging data among various web and heterogeneous data sources. In combination with XML Schema, XML provides rich facilities for defining and constraining user-defined data semantics and properties, a feature that is unique to XML. In this context, it is interesting to investigate traditional database features, such as view models and view design techniques for XML. However, traditional view formalisms are strongly coupled to the data language and its syntax, thus it proves to be a difficult task to support views in the case of semi-structured data models. Therefore, in this paper we propose a Layered View Model (LVM) for XML with conceptual and schemata extensions. Here our work is three-fold; first we propose an approach to separate the implementation and conceptual aspects of the views that provides a clear separation of concerns, thus, allowing analysis and design of views to be separated from their implementation. Secondly, we define representations to express and construct these views at the conceptual level. Thirdly, we define a view transformation methodology for XML views in the LVM, which carries out automated transformation to a view schema and a view query expression in an appropriate query language. Also, to validate and apply the LVM concepts, methods and transformations developed, we propose a view-driven application development framework with the flexibility to develop web and database applications for XML, at varying levels of abstraction

    A BASILar Approach for Building Web APIs on top of SPARQL Endpoints

    Get PDF
    The heterogeneity of methods and technologies to publish open data is still an issue to develop distributed systems on the Web. On the one hand, Web APIs, the most popular approach to offer data services, implement REST principles, which focus on addressing loose coupling and interoperability issues. On the other hand, Linked Data, available through SPARQL endpoints, focus on data integration between distributed data sources. The paper proposes BASIL, an approach to build Web APIs on top of SPARQL endpoints, in order to benefit of the advantages from both Web APIs and Linked Data approaches. Compared to similar solution, BASIL aims on minimising the learning curve for users to promote its adoption. The main feature of BASIL is a simple API that does not introduce new specifications, formalisms and technologies for users that belong to both Web APIs and Linked Data communities

    SPEIR: Scottish Portals for Education, Information and Research. Final Project Report: Elements and Future Development Requirements of a Common Information Environment for Scotland

    Get PDF
    The SPEIR (Scottish Portals for Education, Information and Research) project was funded by the Scottish Library and Information Council (SLIC). It ran from February 2003 to September 2004, slightly longer than the 18 months originally scheduled and was managed by the Centre for Digital Library Research (CDLR). With SLIC's agreement, community stakeholders were represented in the project by the Confederation of Scottish Mini-Cooperatives (CoSMiC), an organisation whose members include SLIC, the National Library of Scotland (NLS), the Scottish Further Education Unit (SFEU), the Scottish Confederation of University and Research Libraries (SCURL), regional cooperatives such as the Ayrshire Libraries Forum (ALF)1, and representatives from the Museums and Archives communities in Scotland. Aims; A Common Information Environment For Scotland The aims of the project were to: o Conduct basic research into the distributed information infrastructure requirements of the Scottish Cultural Portal pilot and the public library CAIRNS integration proposal; o Develop associated pilot facilities by enhancing existing facilities or developing new ones; o Ensure that both infrastructure proposals and pilot facilities were sufficiently generic to be utilised in support of other portals developed by the Scottish information community; o Ensure the interoperability of infrastructural elements beyond Scotland through adherence to established or developing national and international standards. Since the Scottish information landscape is taken by CoSMiC members to encompass relevant activities in Archives, Libraries, Museums, and related domains, the project was, in essence, concerned with identifying, researching, and developing the elements of an internationally interoperable common information environment for Scotland, and of determining the best path for future progress

    High dimensionality carrierless amplitude phase modulation technique for radio over fiber system

    Get PDF
    Advanced modulation formats such as carrierless amplitude phase (CAP) modulation technique is one of the solutions to increase flexibility and high bit rates to support multi-level and multi-dimensional modulations with the absence of sinusoidal carrier. Recent work are focussing on the 2D CAP-64 QAM Radio-over-Fiber (RoF) system but no extension of higher dimensions is reported. This thesis expands the area of CAP modulation technique and RoF system. The work described in this thesis is devoted to the investigation of 1.25 GSa/s sampling rate for multi-level and multi-dimensional CAP in point-to-point (P2P) and RoF system at 3 km single-mode fiber (SMF). Another advanced modulation format which is known as discrete multitone (DMT) is compared with CAP modulation in order to observe the performance in different modulation schemes. The 4QAM-DMT and 16QAM-DMT at different number of subcarriers are carried out in this propagation. Based on the results, the transmission performance in terms of BER and received optical power for RoF transmission are degraded to almost 3 dB when comparing to 3 km SMF transmission. These are caused by the wireless power loss and impairment effects. The bit rate and spectral efficiency can be increased with the increasing number of levels, and may decreased once the number of dimensions is increased due to the higher up-sampling factor. However, the additional dimensions can be used to support multiple service applications. Therefore, it can be concluded that CAP has better performance as compared to DMT in terms of higher spectral efficiency and data rate. To conclude, the results presented in this thesis exhibit high feasibility of CAP modulation in the increasing number of dimensions and levels. Thus, CAP has the potential to be utilized in multiple service allocations for different number of users

    Schema architecture and their relationships to transaction processing in distributed database systems

    Get PDF
    We discuss the different types of schema architectures which could be supported by distributed database systems, making a clear distinction between logical, physical, and federated distribution. We elaborate on the additional mapping information required in architecture based on logical distribution in order to support retrieval as well as update operations. We illustrate the problems in schema integration and data integration in multidatabase systems and discuss their impact on query processing. Finally, we discuss different issues relevant to the cooperation (or noncooperation) of local database systems in a heterogeneous multidatabase system and their relationship to the schema architecture and transaction processing
    • …
    corecore