基于静态分析的强制访问控制框架的正确性验证

现阶段对操作系统的强制访问控制框架的正确性验证的研究主要集中于对授权钩子放置的验证.文中基于TrustedBSD MAC框架对强制访问控制框架的正确性验证问题进行了研究,在授权钩子放置验证的基础上,提出了安全标记的完全初始化验证和完全销毁验证.为了实现上述验证,文中提出了一个路径敏感的、基于用户自定义检查规则的静态分析方法.该方法通过对集成于编译器的静态分析工具mygcc进行扩展来验证强制访问控制框架的钩子放置的准确性和完备性.该方法具有完全的路径覆盖性,且具有低的误报率和时间开销.

基于Biba和Clark-Wilson策略的混合强制完整性模型

商业应用需要实施完整性策略保护.Biba模型提供了一种简洁的多级完整性控制方案,但是需要引入可信主体来保证实施的可用性.而Clark-Wilson模型通过可监控的状态转换提供了一种完备的完整性保护,但其复杂性影响了该模型的完整实现.提出的模型以Biba严格完整性策略为基础,同时根据可信主体在其生命周期所属的状态实施Biba低水标策略.对可信主体在其生命周期发生的状态转换及相应的低水标参数调整,采用Clark-Wilson模型来进行监控.在有效解决了Biba策略的可用性问题和Clark-Wilson模型监控量过大给系统带来的配置和运行负担问题的同时,继承它们的优点.证明了该策略融合方案是可行的、安全的.

Solving MIN UR problem by triangle evolution algorithm with archiving and niche techniques

In this paper, as an extension of minimum unsatisfied linear relations problem (MIN ULR), the minimum unsatisfied relations (MIN UR) problem is investigated. A triangle evolution algorithm with archiving and niche techniques is proposed for MIN UR problem. Different with algorithms in literature, it solves MIN problem directly, rather than transforming it into many sub-problems. The proposed algorithm is also applicable for the special case of MIN UR, in which it involves some mandatory relations. Numerical results show that the algorithm is effective for MIN UR problem and it outperforms Sadegh's algorithm in sense of the resulted minimum inconsistency number, even though the test problems are linear.

港西油田现代油藏管理研究与实践

Through years of practice, reservoir management has already become the basic mode of foreign oil companies to realize the high-efficient development of the oil field. From the view of reservoir development and technological economy, reservoir management regards the study of the reservoir engineering, designs of reservoir projects and the dynamic analysis of the reservoir's performance as a system. In the fields of reservoir description, the establishment of the geological models and development models, the dynamic simulations of reservoir exploitation and the design of the oil engineering, reservoir management emphasizes the cooperation of the geology and the engineering, the combination of the engineering technology and the economic evaluation. In order to provide the means and basis for the reservoir geology study, reservoir evaluation, reserves calculation, numerical simulation, development plan and risk analysis, it adopts the reservoir management activities(team work) to make and implement the optimized oil field development management strategies so that secientific and democratic decision making can be achieved. Under the planned economic system for a long time, the purpose of Chinese reservoir development has been to fulfill the" mandatory" production task. With the deepening of the reform, the management organization of Chinese petroleum enterprises has been gradually going through the transition and reforms to the operational entity and the establishment of the mode of oil companies under the socialist market economy system. This research aims at introducing the advanced reservoir management technique from foreign countries to further improve the reservoir development results and wholly raise the economic benefits of Chinese mature land facieses sandstone reservoirs in the later stage of the water flooding. We are going to set up a set of modern reservoir management modes according to the reservoir features, current situation and existing problems of GangXi oil field of DaGang oil company. Through the study and implementation of the reservoir description and numerical simulation technology effectively, we plan to work out integrated adjustment projects, to study the related technology of oil recovery; to set up the effective confirmable data procedure and data management system of the reservoir management, to establish the coordinated model and workbench related to geology, engineering and economy in order to realize the real time supervision and evaluation on the process of reservoir development. We hope to stipulate modernization management tools for GangXi oil fields to rationally utilize various kinds of existing technological methods and to realize the economic exploitation and achieve the maximum benefits from the reservoir. The project of the modem reservoir management will be carried out on the GangXi oil field of DaGang oil company for this oil field is typical and has integrated foundamental materials and perfect networks. Besides, it is located in the good geographical position enjoying very convenient traffic. Implementing modern reservoir management will raise the recovery ratio, reduce the production cost and improve the working efficiency. Moreover, the popularization of modern reservoir management will improve the comprehensive benefits of DaGang oil company and even the whole Petro China. Through the reserch of this project, the following technical indicators can be reached: Establishing the concept of modern reservoir management. Establishing a set of integrated data information management system adapt to the features of GangXi reservoir. 3. Forming technical research modes of modern reservoir management suitable for mature reservoirs in the later developing stage. 4. Advancing projects of GangXi reservoir which are maxium optimized in engineering technique and economic benefits of oil exploitation. Besides, this set of technology, research principle and method can guide the mature reservoir of DaGang oil field and even the whole PetroChina to develop the further research of reservoir adjustment and improve the reservoir recovery factor and developing level constantly.

Volume-Time Curve: An Alternative for Endotracheal Tube Cuff Management

BACKGROUND: Despite numerous studies on endotracheal tube cuff pressure (CP) management, the literature has yet to establish a technique capable of adequately tilling the cuff with an appropriate volume of air while generating low CP in a less subjective way. the purpose of this prospective study was to evaluate and compare the CP levels and air volume required to fill the endotracheal tubes cuff using 2 different techniques (volume-time curve versus minimal occlusive volume) in the immediate postoperative period after coronary artery bypass grafting. METHODS: A total of 267 subjects were analyzed. After the surgery, the lungs were ventilated using pressure controlled continuous mandatory ventilation, and the same ventilatory parameters were adjusted. Upon arrival in the ICU, the cuff was completely deflated and re-inflated, and at this point the volume of air to fill the cuff was adjusted using one of 2 randomly selected techniques: volume-time curve and minimal occlusive volume. We measured the volume of air injected into the cuff, the CP, and the expired tidal volume of the mechanical ventilation after the application of each technique. RESULTS: the volume-time curve technique demonstrated a significantly lower CP and a lower volume of air injected into the cuff, compared to the minimal occlusive volume technique (P < .001). No significant difference was observed in the expired tidal volume between the 2 techniques (P = .052). However, when the subjects were submitted to the minimal occlusive volume technique, 17% (n = 47) experienced air leakage as observed by the volume-time graph. CONCLUSIONS: the volume-time curve technique was associated with a lower CP and a lower volume of air injected into the cuff, when compared to the minimal occlusive volume technique in the immediate postoperative period after coronary artery bypass grafting. Therefore, the volume-time curve may be a more reliable alternative for endotracheal tube cuff management.

Building with Scottish Stone.

Building with Scottish Stone aims to encourage more use of stone sourced from Scotland’s working quarries and to provide a better understanding of those mineralogical properties which give each stone its distinctive quality. The nation’s architectural history is synonymous with the use of natural stone, and the principles of construction developed over generations in response to Scotland’s particular climatic conditions still find relevance today in the design and detailing of new buildings. Equally, an understanding of the ways in which stone is extracted and processed is as fundamental to its contemporary use as having up-to-date knowledge of the continuously changing legislation that affects its specification and procurement. Building with Scottish Stone is a stimulating introduction to these and many other factors to be considered when using this richly-varied and timeless resource in the design of new buildings.

Sopravvenienze e rimedi nel contratto d'appalto: la previsione del cosiddetto obbligo di rinegoziazione

In this thesis I study how the legal system reacts (or ought to react) to unforeseen circumstances that interfere with the functioning of long term contractual relationships. More precisely, I investigate whether mandatory renegotiation would be an appropriate tool to guarantee the flexibility that long-term relationships require. Furthermore, after having analyzed the instruments that our legal system offers to preserve long-term contractual relationships, I explore the solutions adopted by other legal systems. This comparative analysis helps to formulate normative proposals to improve the functioning of our legal system.

Reflective writing: The student nurse's perspective on reflective writing and poetry writing.

Summary Background Reflective writing is a mandatory part of nurse education but how students develop their skills and use reflection as part of their experiential learning remains relatively unknown. Understanding reflective writing in all forms from the perspective of a student nurse is therefore important. Objectives To explore the use of reflective writing and the use of poetry in pre-registered nursing students. Design A qualitative design was employed to explore reflective writing in pre-registered nursing students. Setting A small university in Scotland. Participants BSc (Hons) Adult and Mental Health Pre-registration Student Nurses. Methods Two focus groups were conducted with 10 student nurses during March 2012. Data was analysed thematically using the framework of McCarthy (1999). Results Students found the process of reflective writing daunting but valued it over time. Current educational methods, such as assessing reflective accounts, often lead to the ‘narrative’ being watered down and the student feeling judged. Despite this, reflection made students feel responsible for their own learning and research on the topic. Some students felt the use of models of reflection constricting, whilst poetry freed up their expression allowing them to demonstrate the compassion for their patient under their care. Conclusions Poetry writing gives students the opportunity for freedom of expression, personal satisfaction and a closer connection with their patients, which the more formal approach to reflective writing did not offer. There is a need for students to have a safe and supportive forum in which to express and have their experiences acknowledged without the fear of being judged.

NHS Wales user needs study including knowledgebase tools report. Report for Informing Healthcare Strategy implementation programme.

Thomas, R., Spink, S., Durbin, J. & Urquhart, C. (2005). NHS Wales user needs study including knowledgebase tools report. Report for Informing Healthcare Strategy implementation programme. Aberystwyth: Department of Information Studies, University of Wales Aberystwyth. Sponsorship: Informing Healthcare, NHS Wales

Teaching Competences and their Development Via Video-Recording

The article deals with use of case studies for professional preparation of teachers to be. One of the suitable ways to develop professional teaching competences is to apply the method of a case study. A case study means a complex and creative solution for a given teaching situation in simulated teaching conditions. It is based on interactive and situational education and decision taking. A case study improves not only professional and teaching competences for becoming teachers – it also fulfi ls the task to develop at students their auto-evaluating and auto-refl exing skills. To increase professional competences it is mandatory to do a complex analysis of the video-record for the implemented study. A complex analysis is a subject of the research project of a student grant agency at the University of West Bohemia in Pilsen.

Estudo do processo de difusão de gases em carvões com base em isotérmicas de Langmuir

Tese de Doutoramento apresentada à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Doutror em Ciências da Terra.

Um estudo sobre a personalidade da marca do distribuidor, no contexto da comunicação de produtos alimentares

Dissertação de Mestrado apresentada à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Relações Públicas.

Climate and energy scenarios for Ireland to 2050 using the Irish TIMES energy systems model

Due to growing concerns regarding the anthropogenic interference with the climate system, countries across the world are being challenged to develop effective strategies to mitigate climate change by reducing or preventing greenhouse gas (GHG) emissions. The European Union (EU) is committed to contribute to this challenge by setting a number of climate and energy targets for the years 2020, 2030 and 2050 and then agreeing effort sharing amongst Member States. This thesis focus on one Member State, Ireland, which faces specific challenges and is not on track to meet the targets agreed to date. Before this work commenced, there were no projections of energy demand or supply for Ireland beyond 2020. This thesis uses techno-economic energy modelling instruments to address this knowledge gap. It builds and compares robust, comprehensive policy scenarios, providing a means of assessing the implications of different future energy and emissions pathways for the Irish economy, Ireland’s energy mix and the environment. A central focus of this thesis is to explore the dynamics of the energy system moving towards a low carbon economy. This thesis develops an energy systems model (the Irish TIMES model) to assess the implications of a range of energy and climate policy targets and target years. The thesis also compares the results generated from the least cost scenarios with official projections and target pathways and provides useful metrics and indications to identify key drivers and to support both policy makers and stakeholder in identifying cost optimal strategies. The thesis also extends the functionality of energy system modelling by developing and applying new methodologies to provide additional insights with a focus on particular issues that emerge from the scenario analysis carried out. Firstly, the thesis develops a methodology for soft-linking an energy systems model (Irish TIMES) with a power systems model (PLEXOS) to improve the interpretation of the electricity sector results in the energy system model. The soft-linking enables higher temporal resolution and improved characterisation of power plants and power system operation Secondly, the thesis develops a methodology for the integration of agriculture and energy systems modelling to enable coherent economy wide climate mitigation scenario analysis. This provides a very useful starting point for considering the trade-offs between the energy system and agriculture in the context of a low carbon economy and for enabling analysis of land-use competition. Three specific time scale perspectives are examined in this thesis (2020, 2030, 2050), aligning with key policy target time horizons. The results indicate that Ireland’s short term mandatory emissions reduction target will not be achieved without a significant reassessment of renewable energy policy and that the current dominant policy focus on wind-generated electricity is misplaced. In the medium to long term, the results suggest that energy efficiency is the first cost effective measure to deliver emissions reduction; biomass and biofuels are likely to be the most significant fuel source for Ireland in the context of a low carbon future prompting the need for a detailed assessment of possible implications for sustainability and competition with the agri-food sectors; significant changes are required in infrastructure to deliver deep emissions reductions (to enable the electrification of heat and transport, to accommodate carbon capture and storage facilities (CCS) and for biofuels); competition between energy and agriculture for land-use will become a key issue. The purpose of this thesis is to increase the evidence-based underpinning energy and climate policy decisions in Ireland. The methodology is replicable in other Member States.

Managing dynamic competition

In many important high-technology markets, including software development, data processing, communications, aeronautics, and defense, suppliers learn through experience how to provide better service at lower cost. This paper examines how a buyer designs dynamic competition among rival suppliers to exploit learning economies while minimizing the costs of becoming locked in to one producer. Strategies for controlling dynamic competition include the handicapping of more efficient suppliers in procurement competitions, the protection and allocation of intellectual property, and the sharing of information among rival suppliers. (JEL C73, D44, L10).

Cross-sectional study of 168 patients with hepatorenal tyrosinaemia and implications for clinical practice

Background: Hepatorenal tyrosinaemia (Tyr 1) is a rare inborn error of tyrosine metabolism. Without treatment, patients are at high risk of developing acute liver failure, renal dysfunction and in the long run hepatocellular carcinoma. The aim of our study was to collect cross-sectional data. Methods. Via questionnaires we collected retrospective data of 168 patients with Tyr 1 from 21 centres (Europe, Turkey and Israel) about diagnosis, treatment, monitoring and outcome. In a subsequent consensus workshop, we discussed data and clinical implications. Results: Early treatment by NTBC accompanied by diet is essential to prevent serious complications such as liver failure, hepatocellular carcinoma and renal disease. As patients may remain initially asymptomatic or develop uncharacteristic clinical symptoms in the first months of life newborn mass screening using succinylacetone (SA) as a screening parameter in dried blood is mandatory for early diagnosis. NTBC-treatment has to be combined with natural protein restriction supplemented with essential amino acids. NTBC dosage should be reduced to the minimal dose allowing metabolic control, once daily dosing may be an option in older children and adults in order to increase compliance. Metabolic control is judged by SA (below detection limit) in dried blood or urine, plasma tyrosine (<400 μM) and NTBC-levels in the therapeutic range (20-40 μM). Side effects of NTBC are mild and often transient. Indications for liver transplantation are hepatocellular carcinoma or failure to respond to NTBC. Follow-up procedures should include liver and kidney function tests, tumor markers and imaging, ophthalmological examination, blood count, psychomotor and intelligence testing as well as therapeutic monitoring (SA, tyrosine, NTBC in blood). Conclusion: Based on the data from 21 centres treating 168 patients we were able to characterize current practice and clinical experience in Tyr 1. This information could form the basis for clinical practice recommendations, however further prospective data are required to underpin some of the recommendations.