Costs and Benefits of a Shared Digital Long-Term Preservation System

This paper describes the cost-benefit analysis of digital long-term preservation (LTP) that was carried out in the context of the Finnish National Digital Library Project (NDL) in 2010. The analysis was based on the assumption that as many as 200 archives, libraries, and museums will share an LTP system. The term ‘system’ shall be understood as encompassing not only information technology, but also human resources, organizational structures, policies and funding mechanisms. The cost analysis shows that an LTP system will incur, over the first 12 years, cumulative costs of €42 million, i.e. an average of €3.5 million per annum. Human resources and investments in information technology are the major cost factors. After the initial stages, the analysis predicts annual costs of circa €4 million. The analysis compared scenarios with and without a shared LTP system. The results indicate that a shared system will have remarkable benefits. At the development and implementation stages, a shared system shows an advantage of €30 million against the alternative scenario consisting of five independent LTP solutions. During the later stages, the advantage is estimated at €10 million per annum. The cumulative cost benefit over the first 12 years would amount to circa €100 million.

Influence of denitrifiers abundance on N2O emissions in long term tillage system under a rainfed legume crop

Current studies about nitrous oxide (N2O) emissions from legume crops have raised considerable doubt, observing a high variability between sites (0.03-7.09 kg N2O–N ha−1 y -1) [1]. This high variability has been associated to climate and soil conditions, legume species and soil management practices (e.g. conservation or conventional tillage). Conservation tillage (i.e. no tillage (NT) and minimum tillage (MT)) has spread during the last decades because promotes several positive effects (increase of soil organic content, reduction of soil erosion and enhancement of carbon (C) sequestration). However, these benefits could be partly counterbalanced by negative effects on the release of N2O emissions. Among processes responsible for N2O production and consumption in soils, denitrification plays an importantrole both in tilled and no-tilled ropping systems [2]. Recently, amplification of functional bacterial genes involved in denitrification is being used to examine denitrifiers abundance and evaluate their influence on N2O emissions. NirK and nirS are functional genes encoding the cytochrome cd1 and copper nitrite reductase, which is the key enzyme regulating the denitrification process.

Medicines optimisation for young people with juvenile arthritis and other long-term conditions:system-level barriers to engagement

To explore the views of pharmacy and rheumatology stakeholders about system-related barriers to medicines optimisation activities with young people with long-term conditions. A three-phase consensus-building study comprising (1) focus groups with community and hospital pharmacists; (2) semi-structured telephone interviews with lay and professional adolescent rheumatology stakeholders and pharmacy policymakers, and (3) multidisciplinary discussion groups with community and hospital pharmacists and rheumatology staff. Qualitative verbatim transcripts from phases 1 and 2 were subjected to framework analysis. Themes from phase 1 underpinned a briefing for phase 2 interviewees. Themes from phases 1 and 2 generated elements of good pharmacy practice and current/future pharmacy roles for ranking in phase 3. Results from phase 3 prioritisation and ranking exercises were captured on self-completion data collection forms, entered into an Excel spreadsheet and subjected to descriptive statistical analysis. Institutional ethical approval was given by Aston University Health and Life Sciences Research Ethics Committee. Four focus groups were conducted with 18 pharmacists across England, Scotland and Wales (7 hospital, 10 community and 1 community/public health). Fifteen stakeholders took part in telephone interviews (3 pharmacist commissioners; 2 pharmacist policymakers; 2 pharmacy staff members (1 community and 1 hospital); 4 rheumatologists; 1 specialist nurse, and 3 lay juvenile arthritis advocates). Twenty-five participants took part in three discussion groups in adolescent rheumatology centres across England and Scotland (9 community pharmacists; 4 hospital pharmacists; 6 rheumatologists; 5 specialist nurses, and 1 physiotherapist). In all phases of the study, system-level issues were acknowledged as barriers to more engagement with young people and families. Community pharmacists in the focus groups reported that opportunities for engaging with young people were low if parents collected prescriptions alone, which was agreed by other stakeholders. Moreover, institutional/company prescription collection policies – an activity largely disallowed for a young person under 16 without an accompanying parent - were identified by hospital and community pharmacists as barriers to open discussion and engagement. Few community pharmacists reported using Medicines Use Review (England/Wales) or Chronic Medication Service (Scotland) as a medicines optimisation activity with young people; many were unsure about consent procedures. Despite these limitations, rheumatology stakeholders ranked highly the potential of pharmacists empowering young people with general health care skills, such as repeat prescription ordering. The pharmacy profession lacks vision for its role in the care of young people with long-term conditions. Pharmacists and rheumatology stakeholders identified system-level barriers to more engagement with young people who take medicines regularly. We acknowledge that the modest number of participants may have had a specific interest and thus bias for the topic, but this underscores their frank admission of the challenges. Professional guidance and policy, practice frameworks and institutional/company policies must promote flexibility for pharmacy staff to recognise and empower young people who are able to give consent and take responsibility for medicines activities. This will increase mutual confidence and trust, and foster pharmacy’s role in teaching general health care skills. In this way, pharmacists will be able to build long-term relationships with young people and families.

TcT: Tyrolean Complexity Tool

International audience

The dynamics and performance of the building and construction product system

During 1999 the Department of Industry, Science and Resources (ISR) published 4 research reports it had commissioned from the Australian Expert Group in Industry Studies (AEGIS), a research centre of the University of Western Sydney, Macarthur. ISR will shortly publish the fifth and final report in this series. The five reports were commissioned by the Department, as part of the Building and Construction Action Agenda process, to investigate the dynamics and performance of the sector, particularly in relation its innovative capacity. Professor Jane Marceau, PVCR at the University of Western Sydney and Director of AEGIS, led the research team. Dr Karen Manley was the researcher and joint author on three of the five reports. This paper outlines the approach and key findings of each of the five reports. The reports examined 5 key elements of the ‘building and construction product system’. The term ‘product system’ reflects the very broad range of industries and players we consider to contribute to the performance of the building and construction industries. The term ‘product system’ also highlights our focus on the systemic qualities of the building and construction industries. We were most interested in the inter-relationships between key segments and players and how these impacted on the innovation potential of the product system. The ‘building and construction product system’ is hereafter referred to as ‘the industry’ for ease of presentation. All the reports are based, at least in part, on an interviewing or survey research phase which involved gathering data from public and private sector players nationally. The first report ‘maps’ the industry to identify and describe its key elements and the inter-relationships between them. The second report focuses specifically on the linkages between public-sector research organisations and firms in the industry. The third report examines the conditions surrounding the emergence of new businesses in the industry. The fourth report examines how manufacturing businesses are responding to customer demands for ‘total solutions’ to their building and construction needs, by providing various services to clients. The fifth report investigates the capacity of the industry to encourage and undertake energy efficient building design and construction.

Fashion system Shanghai : the advent of a new gatekeeper

The term fashion system describes inter-relationships between production and consumption illustrating how the production of fashion is a collective activity. For instance, Yuniya Kawamura notes systems for the production of fashion differ around the globe and are subject to constant change, and Jennifer Craik draws attention to an ‘array of competing and intermeshing systems cutting across western and non-western cultures. In China, Shanghai’s nascent fashion system seeks to emulate the Eurocentric system of Fashion Weeks and industry support groups. It promises emergent designers a platform for global competition, yet there are tensions from within. Interaction with a fashion system inevitably means becoming validated or legitimised. Legitimisation in turn depends upon gatekeepers who make aesthetic judgments about the status, quality and cultural value of a designers work. Notwithstanding the proliferation of fashion media, in Shanghai a new gatekeeper has arrived, seeking to filter authenticity from artifice, offering truth in a fashion market saturated with fakery and the hollowness of foreign consumptive practice, and providing a place of sanctuary for Chinese fashion design. Thus this paper discusses how new agencies are allowing designers in Shanghai greater control over their brand image while creating novel opportunities for promotion and sales. It explores why designers choose this new model and provides new knowledge of the curation of fashion by these gatekeepers.

How do Chinese fashion designers become global fashion leaders? A new perspective on legitimisation in China’s fashion system

The term fashion system describes inter-relationships between production and consumption, illustrating how the production of fashion is a collective activity. For instance, Yuniya Kawamura (2011) notes systems for the production of fashion differ around the globe and are subject to constant change, and Jennifer Craik (1994, 6) draws attention to an ‘array of competing and intermeshing systems cutting across western and non-western cultures. In China, Shanghai’s nascent fashion system seeks to emulate the Eurocentric system of Fashion Weeks and industry support groups. It promises designers a platform for global competition, yet there are tensions from within. Interaction with a fashion system inevitably means becoming validated or legitimised. Legitimisation in turn depends upon gatekeepers who make aesthetic judgments about the status, quality, and cultural value of a designers work (Becker 2008). My paper offers a new perspective on legitimisation that is drawn mainly from my PhD research. I argue that some Chinese fashion designers are on the path to becoming global fashion designers because they have embraced a global aesthetic that resonates with the human condition, rather than the manufactured authenticity of a Eurocentric fashion system that perpetuates endless consumption. In this way, they are able to ‘self-legitimise’. I contend these designers are ‘designers for humans’, because they are able to look beyond the mythology of fashion brands, and the Eurocentric fashion system, where they explore the tensions of man and culture in their practice. Furthermore, their design ethos pursues beauty, truth and harmony in the Chinese philosophical sense, as well as incorporating financial return in a process that is still enacted through a fashion system. Accordingly, cultural tradition, heritage and modernity, while still valuable, have less impact on their practice.

Inferring Intersection Typings that are Equivalent to Call-by-Name and Call-by-Value Evaluations

We present a procedure to infer a typing for an arbitrary λ-term M in an intersection-type system that translates into exactly the call-by-name (resp., call-by-value) evaluation of M. Our framework is the recently developed System E which augments intersection types with expansion variables. The inferred typing for M is obtained by setting up a unification problem involving both type variables and expansion variables, which we solve with a confluent rewrite system. The inference procedure is compositional in the sense that typings for different program components can be inferred in any order, and without knowledge of the definition of other program components. Using expansion variables lets us achieve a compositional inference procedure easily. Termination of the procedure is generally undecidable. The procedure terminates and returns a typing if the input M is normalizing according to call-by-name (resp., call-by-value). The inferred typing is exact in the sense that the exact call-by-name (resp., call-by-value) behaviour of M can be obtained by a (polynomial) transformation of the typing. The inferred typing is also principal in the sense that any other typing that translates the call-by-name (resp., call-by-value) evaluation of M can be obtained from the inferred typing for M using a substitution-based transformation.

Long-term perspective of agile methods

Even if we have recognized many short-term benefits of agile methods, we still know very little about their long-term effects. In this panel, we discuss the long-term perspective of the agile methods. The panelists are either industrial or academic representatives. They will discuss problems and benefits related to the long-term lifecycle system management in agile projects. Ideally, the panel’s outcome will provide ideas for future research.

On numerical simulations of a nonlinear self-excited system with two non-ideal sources

In this work, the dynamic behavior of self-synchronization and synchronization through mechanical interactions between the nonlinear self-excited oscillating system and two non-ideal sources are examined by numerical simulations. The physical model of the system vibrating consists of a non-linear spring of Duffing type and a nonlinear damping described by Rayleigh's term. This system is additional forced by two unbalanced identical direct current motors with limited power (non-ideal excitations). The present work mathematically implements the parametric excitation described by two periodically changing stiffness of Mathieu type that are switched on/off. Copyright © 2005 by ASME.

Implementing a term rewriting engine for the EasyCrypt framework

La sociedad depende hoy más que nunca de la tecnología, pero la inversión en seguridad es escasa y los sistemas informáticos siguen estando muy lejos de ser seguros. La criptografía es una de las piedras angulares de la seguridad en este ámbito, por lo que recientemente se ha dedicado una cantidad considerable de recursos al desarrollo de herramientas que ayuden en la evaluación y mejora de los algoritmos criptográficos. EasyCrypt es uno de estos sistemas, desarrollado recientemente en el Instituto IMDEA Software en respuesta a la creciente necesidad de disponer de herramientas fiables de verificación formal de criptografía. En este trabajo se abordará la implementación de una mejora en el reductor de términos de EasyCrypt, sustituyéndolo por una máquina abstracta simbólica. Para ello se estudiarán e implementarán previamente dos máquinas abstractas muy conocidas, la Máquina de Krivine y la ZAM, introduciendo variaciones sobre ellas y estudiando sus diferencias desde un punto de vista práctico.---ABSTRACT---Today, society depends more than ever on technology, but the investment in security is still scarce and using computer systems are still far from safe to use. Cryptography is one of the cornerstones of security, so there has been a considerable amount of effort devoted recently to the development of tools oriented to the evaluation and improvement of cryptographic algorithms. One of these tools is EasyCrypt, developed recently at IMDEA Software Institute in response to the increasing need of reliable formal verification tools for cryptography. This work will focus on the improvement of the EasyCrypt’s term rewriting system, replacing it with a symbolic abstract machine. In order to do that, we will previously study and implement two widely known abstract machines, the Krivine Machine and the ZAM, introducing some variations and studying their differences from a practical point of view.

Experiment on Qinghai-Tibet railroad subgrade temperature monitoring based on FBG sensors

Qinghai-Tibet Railway is the longest and highest plateau railway in the world. A long term monitoring system of the stability of the subgrade in the permafrost regions should be put forward immediately to prevent damage to the railway. As it's very difficult to set up the long-distance automatic monitoring system which contains a lot of measure points along the 550 kilometers railway in the permafrost area, we present a subgrade temperature monitor system based on fiber Bragg grating (FBG). In this paper the principles of the FBG was presented, and the feasibility of the FBG sensors in the permafrost area of Qinghai-Tibet plateau was analysized. We embedded fifteen FBG temperature sensors and thermal resistance temperature sensors. A contrast experiment is made while the two kinds of sensors are arranged in the same position. The result of the experiment shows that the accuracy of the FBG temperature sensors is less than 0.1 degrees C. and the FBG sensors can do well in the measurement of pattern which the temperature varies with the depth of the permafrost soil. The result also shows the stability of the FBG sensors in the bad environmental condition of Qinghai-Tibet plateau, which proves the feasibility of the application of FBG sensors and our monitoring system on the Qinghai-Tibet railway.

DSpace Manual: Software version 1.5

DSpace is an open source software platform that enables organizations to: - Capture and describe digital material using a submission workflow module, or a variety of programmatic ingest options - Distribute an organization's digital assets over the web through a search and retrieval system - Preserve digital assets over the long term This system documentation includes a functional overview of the system, which is a good introduction to the capabilities of the system, and should be readable by nontechnical personnel. Everyone should read this section first because it introduces some terminology used throughout the rest of the documentation. For people actually running a DSpace service, there is an installation guide, and sections on configuration and the directory structure. Note that as of DSpace 1.2, the administration user interface guide is now on-line help available from within the DSpace system. Finally, for those interested in the details of how DSpace works, and those potentially interested in modifying the code for their own purposes, there is a detailed architecture and design section.

A Formal Semantics for Weak References

A weak reference is a reference to an object that is not followed by the pointer tracer when garbage collection is called. That is, a weak reference cannot prevent the object it references from being garbage collected. Weak references remain a troublesome programming feature largely because there is not an accepted, precise semantics that describes their behavior (in fact, we are not aware of any formalization of their semantics). The trouble is that weak references allow reachable objects to be garbage collected, therefore allowing garbage collection to influence the result of a program. Despite this difficulty, weak references continue to be used in practice for reasons related to efficient storage management, and are included in many popular programming languages (Standard ML, Haskell, OCaml, and Java). We give a formal semantics for a calculus called λweak that includes weak references and is derived from Morrisett, Felleisen, and Harper’s λgc. λgc formalizes the notion of garbage collection by means of a rewrite rule. Such a formalization is required to precisely characterize the semantics of weak references. However, the inclusion of a garbage-collection rewrite-rule in a language with weak references introduces non-deterministic evaluation, even if the parameter-passing mechanism is deterministic (call-by-value in our case). This raises the question of confluence for our rewrite system. We discuss natural restrictions under which our rewrite system is confluent, thus guaranteeing uniqueness of program result. We define conditions that allow other garbage collection algorithms to co-exist with our semantics of weak references. We also introduce a polymorphic type system to prove the absence of erroneous program behavior (i.e., the absence of “stuck evaluation”) and a corresponding type inference algorithm. We prove the type system sound and the inference algorithm sound and complete.

Three-port DC-DC Converter for Stand-Alone Photovoltaic Systems

System efficiency and cost effectiveness are of critical importance for photovoltaic (PV) systems. This paper addresses the two issues by developing a novel three-port DC-DC converter for stand-alone PV systems, based on an improved Flyback-Forward topology. It provides a compact single-unit solution with a combined feature of optimized maximum power point tracking (MPPT), high step-up ratio, galvanic isolation and multiple operating modes for domestic and aerospace applications. A theoretical analysis is conducted to analyze the operating modes followed by simulation and experimental work. The paper is focused on a comprehensive modulation strategy utilizing both PWM and phase-shifted control that satisfies the requirement of PV power systems to achieve MPPT and output voltage regulation. A 250 W converter was designed and prototyped to provide experimental verification in term of system integration and high conversion efficiency.