Dissertations / Theses on the topic 'Safety and availability'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 35 dissertations / theses for your research on the topic 'Safety and availability.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Asanga, P. M. "Availability and safety study of an oil refinery." Thesis, University of Bradford, 1987. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.379034.
Full textWhipp, Alexander R. "Youth Farm Safety: Identification of Common Tasks and Availability of Safety and HealthTeaching Resources." The Ohio State University, 2018. http://rave.ohiolink.edu/etdc/view?acc_num=osu152414759731944.
Full textGhafghazi, Hamidreza. "Privacy-Preserving Location-Aware Data Availability and Access Authorization in Public Safety Broadband Networks." Thesis, Université d'Ottawa / University of Ottawa, 2017. http://hdl.handle.net/10393/36006.
Full textThomaidis, Thomas Vassiliou. "Incorporation of flexibility, reliability, availability, maintenance and safety aspects in process operations and design." Thesis, University of London, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.283179.
Full textBotha, Barend HJ. "Systematic review: Availability, effectiveness and safety of assisted reproductive techniques in Sub-Saharan Africa." Master's thesis, University of Cape Town, 2018. http://hdl.handle.net/11427/29315.
Full textSevene, Esperança Júlia Pires. "Availability and safety use of drugs in vulnerable populations:the case of pregnant woman in developing countries." Doctoral thesis, Universitat de Barcelona, 2009. http://hdl.handle.net/10803/2282.
Full textThe need of a special protection to those with diminished autonomy is a common requirement to all codes. Pregnant women are defined as a vulnerable population because of the potential risk of harm of the foetus. Apart from the foetal risk, pregnant women in developing countries have additional potential for vulnerability, as in most of the cases they are economically or/and educationally disadvantaged individuals. Their generally low level of education may put them in a difficult situation to fully understand consent forms and the risk-benefit assessment provided by the researchers.
In recent years, the evidence-based medicine has been an important international goal. Mechanisms to support the use of research-based evidence in developing health policy are being promoted. The research must be sensitive to the potential for vulnerability when designing evidence-based trials and they have to assure that the vulnerable population is being protected.
With the intention to protect the vulnerable population, some groups such as pregnant women have being traditionally excluded from clinical trials. As a result of this exclusion, pregnant women are being exposed to medicines in situations where no evidence-based information is available on efficacy and safety. They are deprived of the benefits of treatment in order to be protected themselves and their offspring from an unknown risk. Although is very clear that protection of a vulnerable population, particularly the pregnant women, is mandatory in the design of any trial, the challenges of the implementation of this principle should be taken into account in order to not increase the gap between the introduction of a pharmaceutical product in the market and the availability of safety information for its use in pregnancy.
In developing countries maternal mortality is an important public health problem. Most maternal deaths occur in the poorest countries particularly in Sub-Saharan Africa. In Mozambique the rate could be between 408-1000 per 100 000 live births according to the source of information. Several studies have addressed different causes of maternal mortality in Africa, eclampsia and malaria being part of the five most reported.
There is strong evidence of the effectiveness of magnesium sulphate (MGSO4) in women with pre-eclampsia and eclampsia but the drug is not available in some countries. The example of MgSO4 has being used to describe failure in translating results of research into policy and/or practice.
For malaria treatment few drugs were considered effective and safe for use during pregnancy including chloroquine, sulphadoxine-pyrimethamine and quinine. The information on safety comes from a long experience of use. The emergency of resistance of P. falciparum to these drugs is limiting its use in most of endemic areas. The artemisinin derivatives are being strongly recommended to be used in combination with other antimalarial drugs. Preclinical studies have consistently shown that artemisinin and its derivatives are embryolethal and teratogenic in animals. Current available information is not adequate to extrapolate the results in animals to humans.
Limited data on the safety profile of antimalarial drugs during pregnancy is a challenge. Nowadays these drugs are used in pregnant women based on retrospective cumulative risk-benefit assessment. Mechanisms of prospectively monitoring the drugs use are required to protect pregnant women from the potential risk.
The aim of this thesis is to describe the (un)availability of drugs and their reasons, as well as, the (un)availability of safety information on drugs needed to be used during pregnancy in Southern Africa, and to propose mechanisms to effectively monitor drug safety in pregnancy in developing countries.
In order to achieve this objective four studies were performed. In the first study a qualitative case-study based on interviews and bibliographic review was performed in Mozambique and Zimbabwe. Factors affecting the (un)availability of MgSO4 were assessed. This study showed that research evidence regarding the effectiveness of MgSO4 for the treatment of eclampsia and pre-eclampsia, was widely known in the study countries. However, the registration, approval, acquisition and distribution of MgSO4, and hence its availability to clinicians, was affected by market and systems failures. With this study we concluded that the low cost of magnesium sulphate, as well as the mechanisms through which it is procured, means that market forces alone cannot be relied upon to ensure its availability. Governments and international organizations must be prepared to intervene to ensure the wide availability of low cost, effective drugs critical to improving public health in Africa.
The second and the third studies shown that antimalarial drugs are being used in pregnant women even without information on its safety profile in this particular group. Robust safety monitoring systems are clearly needed in developing countries to accompany the deployment of new drugs, especially those with a potential teratogenic risk.
The fourth study showed that spontaneous reporting system may be a tool for drug safety monitoring. This system could be used to increase health care providers' and patients' awareness of possible ADRs, and to develop a culture to report these reactions. Spontaneous reporting and pregnancy registries were presented as examples of mechanisms that could and should be in place.
Recommendations on how these systems could be effectively implemented in resource constrained countries were also presented.
All these studies suggest that the definition of vulnerability of pregnant women in developing countries should not be restricted to the potential risk of harm of the foetus (harm-based definition) or to the difficulty of fully understanding consent forms (consent-based definitions). Women are also vulnerable because of the high risk of dying from any cause related to or aggravated by the pregnancy. The implementation of these ethic principles need to take into account the urgent need to implement effective and safe drugs targeted to reduce the burden of maternal morbidity and mortality.
La investigación relativa a los seres humanos debe realizarse dentro de unos estándares que promuevan la protección de sus derechos. Varios códigos han sido desarrollados y todos ellos coinciden unánimemente en los siguientes principios éticos: el respeto por las personas, la beneficencia y la justicia. La realización de estos principios debe asegurar la dignidad, los derechos, la seguridad y el bienestar de los participantes en una investigación biomédica sean preservados.
La necesidad de una protección especial hacia aquellos seres cuya autonomía sea limitada es un requerimiento común para todos los códigos. Las mujeres embarazadas están definidas como un grupo de población vulnerable dado el riesgo potencial de causar daño al feto. Además del riesgo para el feto, las mujeres embarazadas en los países en desarrollo son potencialmente más vulnerables, y suelen contar con desventajas a nivel económico y/o educativo. Su nivel de educación, por lo general bajo, les pone en una situación difícil, dificultando la comprensión de los formularios de consentimiento y la evaluación del riesgo-beneficio que prestan los investigadores.
En los últimos años, la medicina basada en la evidencia ha sido una meta muy importante a nivel internacional. Se están promoviendo mecanismos para respaldar el uso de la evidencia científica para la definición de política de desarrollo de la salud. La investigación debe ser sensible a la vulnerabilidad potencial cuando se diseñan ensayos basados en la evidencia. Además, se debe asegurar que la población vulnerable esté siendo protegida.
Con la intención de proteger a esa población vulnerable, algunos grupos como los de mujeres embarazadas han sido tradicionalmente excluidos de los ensayos clínicos. Como resultado de esta exención, algunas mujeres embarazadas están siendo expuestas a medicamentos de los que no hay información basada en la evidencia en cuanto a su eficacia y seguridad. Este hecho las priva de los beneficios del tratamiento que debería protegerlas, a ellas y sus hijos, de un riesgo desconocido. Aunque está muy claro que proteger a una población vulnerable, particularmente a las mujeres embarazadas, es obligatorio en el diseño de un ensayo clínico, los retos de la implementación de este principio no deberían aumentar el vacío entre la introducción de un producto farmacéutico en el mercado y la disponibilidad de información sobre su seguridad para uso en el embarazo.
En los países en vías de desarrollo la mortalidad materna es un problema importante de salud pública. La mayoría de muertes maternas ocurren en los países más pobres, particularmente en África Subsahariana. En Mozambique el índice puede ser entre 408-1000 por 100000 nacidos vivos, dependiendo de la fuente de información. Diferentes estudios han señalado diversas causas de mortalidad materna en África, encontrándose la eclampsia y la malaria entre las cinco primeras.
Existe una gran evidencia de la eficacia del sulfato de magnesio (MGSO4) en mujeres con pre-eclampsia y eclampsia, sin embargo el fármaco no está disponible en algunos países. El ejemplo del sulfato de magnesio se ha utilizado para describir el fracaso en el traslado de los resultados de la investigación a la práctica y/o política.
Para el tratamiento de la malaria, se consideró seguro el uso durante el embarazo de algunos fármacos incluyendo cloroquina, sulfadoxinapirimetamina y quinina. La información sobre seguridad responde a una gran experiencia de uso. El aumento de resistencia de P. falciparum a estos fármacos está limitando su uso en la mayoría de las zonas endémicas. Actualmente se está recomendando el uso de los derivados de la artemisinina en combinación con otros fármacos antimaláricos. Los estudios preclínicos han mostrado sistemáticamente que la artemisina y sus derivados son embrioletales y teratogénicos en animales. La información disponible hasta la fecha no es adecuada para extrapolar los resultados de los animales a los humanos.
Los datos limitados en el perfil de seguridad de los fármacos antimaláricos durante el embarazo constituyen un desafío. Hoy en día, estos fármacos se usan en mujeres embarazadas basándose en una valoración retrospectiva acumulativa de riesgo-beneficio. Se necesitarían mecanismos de monitorización prospectiva del uso de los fármacos para proteger a las mujeres de su riesgo potencial.
El objetivo de esta tesis es el de describir la disponibilidad o no disponibilidad de los fármacos y sus razones; describir la disponibilidad o no disponibilidad de información sobre la seguridad de estos fármacos que son de uso necesario en el sureste de África. Se pretende también proponer mecanismos efectivos para monitorizar la seguridad de los fármacos en el embarazo en los países en desarrollo.
Para alcanzar estos objetivos se llevaron a cabo cuatro estudios. El primero consistía en un estudio cualitativo de casos basados en entrevistas y en una revisión bibliográfica en Mozambique y Zimbawe. Se evaluaron los factores que afectaban a la disponibilidad o no disponibilidad del sulfato de magnesio. El estudio mostró que la evidencia científica respecto a la eficacia del sulfato de magnesio para el tratamiento de la eclampsia y la pre-eclampsia fue ampliamente conocida en los países del estudio. Sin embargo, el registro, aprobación, adquisición y distribución del sulfato de magnesio y como consecuencia, su disponibilidad para los médicos se vio afectada por fallos de mercado y de sistema. Este estudio concluye que el bajo coste del sulfato de magnesio, así como el mecanismo a través del cual se obtiene, significa que las fuerzas del mercado por si solas no pueden asegurar su disponibilidad. Los gobiernos y las organizaciones internacionales deben estar preparados para intervenir y para asegurar una amplia disponibilidad de fármacos efectivos de bajo coste, críticos para mejorar la salud pública en África.
El segundo y tercer estudio mostraron que los fármacos antimaláricos se están usando en mujeres embarazadas sin contar con información sobre su perfil de seguridad en este grupo particular. Se necesita claramente una monitorización fuerte y segura en los países en vías de desarrollo para acompañar el despliegue de los nuevos fármacos, especialmente aquellos que conllevan un potencial riesgo teratogénico.
El cuarto estudio mostró que el sistema de notificación espontánea puede ser una herramienta para la monitorización de la seguridad de los fármacos. Este sistema se podrá usar para incrementar la consciencia en proveedores de salud y en enfermos sobre las posibles reacciones adversas de fármacos. Ello permitirá desarrollar una cultura de notificación de estas reacciones. La notificación espontánea y los registros de embarazo se presentaron como ejemplos de mecanismos que podrían y deberían ser implementados. Las recomendaciones de cómo estos sistemas podrían ser implementados de forma efectiva en países con recursos limitados también fueron presentadas.
Todos estos estudios sugieren que la definición de vulnerabilidad de las mujeres embarazas en los países en desarrollo no se puede restringir a causa del riesgo potencial de daño al feto, o debido a la dificultad de entender por completo los formularios de consentimiento. También son vulnerables por el riesgo elevado de morir por alguna causa relacionada o agravada por el embarazo. La implementación de estos principios éticos necesita tener en cuenta la necesidad de implementar fármacos diana efectivos y seguros para reducir la mortalidad y morbilidad materna.
Olivier, Anna-Louise. "Psychological conditions that mediate between job demands and resources, and work engagement / Anna-Louise Olivier." Thesis, North-West University, 2006. http://hdl.handle.net/10394/1401.
Full textKarimi, Hossein. "QUANTITATIVE ANALYSIS OF THE IMPACT OF CRAFT LABOR AVAILABILITY ON CONSTRUCTION PROJECT PERFORMANCE." UKnowledge, 2017. http://uknowledge.uky.edu/ce_etds/56.
Full textMeng, Huixing. "Modeling Patterns for Performance Analysis of Production and Safety Systems in Process Industry." Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLX074/document.
Full textProduction and safety systems are crucial in the process industry. Their performances affect significantly the industry interests. These systems have common behaviors. Such behaviors can be captured in models via modeling patterns. By reusing modeling patterns, the modeling process can be simplified and made more efficient.In this thesis, we propose a versatile set of modeling patterns. They are classified according to their purpose, which reflects what a modeling pattern works for. Modeling patterns are exhibited as a catalog. Based on reviewing numerous production and safety systems, twenty-four (24) modeling patterns are introduced. Each pattern is illustrated with a set of structured items. We propose a pattern-based methodology for performance analysis of production and safety systems.To test the applicability of proposed modeling patterns, we conducted experimental studies on a set of production and safety systems. All systems are extracted from the literature. These systems are declared to cover most of modeling difficulties. Comparisons are performed between the results obtained using modeling patterns and those reported in the literature
Basharat, Salma. "Proactive Emergency Preparedness in the Barents Sea." Thesis, Norges teknisk-naturvitenskapelige universitet, Institutt for produksjons- og kvalitetsteknikk, 2012. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-18401.
Full textFerreira, René. "Antecedents of work engagement in a financial institution / René Ferreira." Thesis, North-West University, 2009. http://hdl.handle.net/10394/4199.
Full textThesis (M.A. (Industrial Psychology))--North-West University, Potchefstroom Campus, 2009.
Courbois, Claude-Bertrand. "PESTICIDE AVAILABILITY FOR US FOOD CROPS: UNDERSTANDING MARKET AND SAFETY FORCES IN PRODUCT ENTRY, MAINTENANCE, AND WITHDRAWAL DECISIONS." NCSU, 2000. http://www.lib.ncsu.edu/theses/available/etd-20000324-104706.
Full textPesticide firms in the United States must undertake costly, crop-specific Environmental Protection Agency (EPA) safety tests to register their pesticides for sale to farmers of commercial crops. Firms also must pay annual registration fees and periodically undertake additional safety tests on each pesticide?s crop-specific registrations. These requirements create a market unlike others because firms may not freely enter or remain in a crop?s pesticide market. The EPA can raise and lower registration requirements to discourage or encourage registration of pesticides with certain safety characteristics on crops with particular production or consumption patterns.
Used effectively, these powers can enable the EPA to promote safety by encouraging registration of the safest pesticides in the widest number of markets, while limiting availability of unsafe pesticides. Used poorly, these powers can restrict even safe pesticides from reaching markets, especially minor ones.
This dissertation evaluates the success of the pesticide regulatory system. A model that includes the EPA?s standard-setting process and a representative pesticide firm?s registration decision-making is used to demonstrate how registrations come about. The model shows how EPA and firm behavior cause registrations to depend on the characteristics of pesticides and crops.
The study required compilation of an extensive dataset of crop and pesticide characteristics and registration data through the 1990s. The data are used in logit analysis to evaluate the relative importance of crop and chemical characteristics in determining registrations.
The results show some evidence that the system successfully encourages registration of safer pesticides. Pesticides that are less likely to cause chronic health damage are more likely to be registered. Pesticides that are safer for the eyes of farm workers are more likely to be registered.
The results also show undesirable relationships. Crops with lower national value are less likely to have registrations. After controlling for crop value, herbicides are less likely to be registered for fruits and vegetables and for crops with high per-acre value. Pesticides that are more dangerous if eaten are more likely to gain registrations. There is only limited evidence that EPA initiatives have caused safety to become a more important determinant of pesticide registrations during the 1990s.
Courbois, Claude-Bertrand. "Pesticide availability for US food corps understanding market and safety forces in product entry, maintenance, and withdrawal decisions /." Raleigh, NC : North Carolina State University, 2000. http://www.lib.ncsu.edu/etd/public/etd-3338102421005830/etd.pdf.
Full textJacobs, Holly. "An Examination of Psychological Meaningfulness, Safety, and Availability as the Underlying Mechanisms linking Job Features and Personal Characteristics to Work Engagement." FIU Digital Commons, 2013. http://digitalcommons.fiu.edu/etd/904.
Full textIvanovitch, Marianna. "Design of virtual aircraft multipurpose platform." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2013. http://amslaurea.unibo.it/5295/.
Full textEbrahimi, Ali. "Effect analysis of Reliability, Availability, Maintainability and Safety (RAMS ) Parameters in design and operation of Dynamic Positioning (DP) systems in floating offshore structures." Thesis, KTH, Industriell produktion, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-102787.
Full textRas, Dezelle. "Antecedents of work engagement in a chemical industry / Dezelle Ras." Thesis, North-West University, 2006. http://hdl.handle.net/10394/93.
Full textThesis (M.A. (Industrial Psychology))--North-West University, Potchefstroom Campus, 2007.
Hadad, A. A. B. "Generic FMECA analyses of lift systems : improved FMECA and FTA techniques are used for generic analyses of lift systems; design deficiencies relating to reliability, safety and availability are identified." Thesis, University of Bradford, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.336348.
Full textDüpont, Daniel [Verfasser]. "Merging Bottom-up and Top-down Availability for realistic Analysis of Safety-related Loops : Verzahnung von Bottom-Up- und Top-Down-Verfügbarkeit zur Abbildung realen Verhaltens von PLT-Schutzeinrichtungen / Daniel Düpont." Aachen : Shaker, 2010. http://d-nb.info/108453634X/34.
Full textOliveira, Sydnei Marssal de. "A gestão de programas de desenvolvimento: aplicação de confiabilidade, mantenabilidade e segurança." Universidade de São Paulo, 2007. http://www.teses.usp.br/teses/disponiveis/3/3151/tde-19072007-171348/.
Full textThe creation of successful products is linked with the ability to reach longings and desires of costumers. Several factors compose these desires and a group of factors have a special characteristic, this group embraces reliability, maintainability and safety. The management of these three factors carries in a deep look of the entire product\'s life cycle and not only in design, manufacture or in functional test phase. The following work intend discuss an implementation of a management system for reliability, maintainability and safety in companies that develop products seeking profit and keeping intense attention to rules from concurrent engineering. Will be discussed aspects of this implementation, firstly defining what should be managed, the reasons to manage, what kind of organizational structure should control this management system, what management tools are relevant and how these tools can be implemented, what special attention any aspect needs and what results are expected. Finally will be presented an implementation case of one of most important tool for the management system, the system FRACAS, \"Failure Reporting, Analysis and Corrective Action System\", that organizes and standardizes the data collection, making some analysis possible and creating basis for the decision making process. During the development of all this discussion a broad number of subjects will be pointed, like product\'s life cycle, designs, projects, quality, information systems, data base technology e obviously reliability, maintainability and safety. The case will start from a preexistent product that already have available field data, following to construction of an information system capable to collect, organize, filter and pre-analyze the information. The main goal of this work is to orientate companies that develop products that demand huge engineering efforts in optimization of making decisions process, showing some options to control their operations, their programs and projects, concerning reliability, maintainability, availability and safety.
Morara, Alessandro. "Implementazione della manutenzione autonoma in un magazzino automatico." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2022.
Find full textPizzo, Walter Nogueira. "Avaliação da disponibilidade de sistemas computacionais críticos para o controle do espaço aéreo por meio de modelo analítico da teoria de filas." Universidade de São Paulo, 2008. http://www.teses.usp.br/teses/disponiveis/3/3141/tde-02102008-174430/.
Full textDue to the growth in airspace utilization, which can be verified both in terms of the expansions in aerial movements, airports and volumes of transported passengers and cargo, as well as in terms of the expansion of military operations demands and diversity, airspace control activities have been increasing their technical complexity, introducing new features into the existent automation systems or creating additional resources for the automation of some functions previously performed by human operators. This situation has increased the dependence on the availability of the computer systems involved in the services provided by control centers. Project directives and operational procedures are established in order to maintain the safety integrity levels of the systems, in case any failure occurs. However, the availability becomes a critical parameter, once failure events can force an undesirable state of degraded operation, jeopardizing the nominal capacity of the services being performed through any controlled airspace. In this scenario, this work presents an availability model for the computer systems used in airspace control centers, based on analysis from queuing theory. A general model is first presented, referencing a case study that describes the use of queuing models to access the availability of generic data centers. Further considerations are introduced to extend this general model in order to propose its application for the specific computer systems used in airspace control centers, where operational control relies on human activities. In this case, system operation involves intensive use of human-machine interfaces (HMI), for the regular control services provided, and additional technical or operational maintenance activities, occasionally imposed to repair a momentary loss of any function of the system.
Belinelli, Marjorie Maria. "Desenvolvimento de método para seleção de política de lubrificação de máquinas centrada em confiabilidade: aplicação na indústria alimentícia." Universidade de São Paulo, 2015. http://www.teses.usp.br/teses/disponiveis/3/3151/tde-15072016-162939/.
Full textIn the food industry, machinery and equipment for food processing are used. They require lubrication to ensure they\'re working properly. However, the same lubricant which assists the operation of the machinery is considered a potential contamination to the product in its processing steps, impacting on their quality. The improper management of the lubrication process of machinery and equipment may lead to fault events, impacting on the availability and operational reliability of the industrial system as a whole. The research object developed in this doctorate thesis shows the development of a selection method of an industrial lubrication policy focused on reliability. Such policy is designed specifically for machinery used in the manufacture of foods. It analyzes the failure events in the machinery due to the lubrication process and. It also analyzes the connection between the lubricating activities and the potential risk of loss product quality and safety. The method is structured to identify the variables involved in the industrial lubrication process and analyzes their impact they have on fault events and potential source of risk of product quality loss. This analysis aims to guide decision-making regarding the structure of the adequate industrial lubrication policy to each industrial asset installed in the food industry. The validation of the lubrication policy selection method focused on reliability occurred through the application of its methodology in a repairable system, a coating machine, installed in a food industry located in the metropolitan region of Curitiba. The statistical analysis of the fault trend behavior in this industrial asset together with the functional analysis of failure modes related to the industrial lubrication process made it possible to structure a suitable policy for the industrial lubrication of the coating machine. This lubrication policy includes actions that resulted in the increase of the annual productivity of the coating machine by 0.16%. It means 280,830 more units (equivalent to 7.02 tons) were produced in 2014 than in 2013. It also improved the maintenance performance indicators and the operational availability of the coating machine. Furthermore, the application of the method structured procedures of execution mode and monitoring of lubrication activities. The aim was to ensure the quality of the product during the manufacturing steps together with the improvement of the performance and productivity of the industrial system.
Nair, Sreeja Sasidhara. "Designing safe and highly available distributed applications." Electronic Thesis or Diss., Sorbonne université, 2021. http://www.theses.fr/2021SORUS272.
Full textDesigning distributed applications involves a fundamental trade-off between safety and performance as described by CAP theorem. We focus on the cases where safety is the top requirement.For the subclass of state-based distributed systems, we propose a proof methodology for establishing that a given application maintains a given invariant. Our approach allows reasoning about individual operations separately. We demonstrate that our rules are sound, and with a mechanized proof engine, we illustrate their use with some representative examples. For conflicting operations, the developer can choose between conflict resolution or coordination. We present a novel replicated tree data structure that supports coordination-free concurrent atomic moves, and arguably maintains the tree invariant. Our analysis identifies cases where concurrent moves are inherently safe. For the remaining cases we devise a conflict resolution algorithm. The trade-off is that in some cases a move operation "loses". Given the coordination required by some application for safety, it can be implemented in many different ways. Even restricting to locks, they can use various configurations, differing by lock granularity, type, and placement. The performance of each configuration depends on workload. We study the "coordination lattice", i.e., design space of lock configurations, and define a set of metrics to systematically navigate them
Martin, Romain. "Conception d’une architecture robuste pour l’acquisition de grandeurs physiques dans un système aéronautique critique : application à la mesure de température, pression, couple, et vitesse d’une turbomachine." Thesis, Bordeaux, 2015. http://www.theses.fr/2015BORD0060/document.
Full textThe acquisition of physical parameters as such as temperature, pressure, torque, and speed are necessary to flight critical systems in order to reach and ensure safety and availability required. Consequently, it requires implementing high technologies and techniques which are able to work in rugged environments.The aim of our work is to design a new architecture for sensor acquisition systems in order to be integrated onto a flight critical system. The goal of the architecture is to ensure data integrity, system's availability and safety relative to airborne critical systems. The solution adds the fault tolerance ability to the signal conditioning. Consequently, we implement additional functionalities, as such as mathematical model of the signal conditioning, in order to make the acquisition system more intelligent.Our research work is partially based on technical specifications from SYRENA project, which is a typical example of flight critical systems, which is the main thematic of our purpose
Thomas, Diakima Y. "The Relationship Between Limited Partner Availability, Masculine Ideologies, and Condom Use." ScholarWorks, 2019. https://scholarworks.waldenu.edu/dissertations/7087.
Full textShang, Hui. "Maintenance modelling, simulation and performance assessment for railway asset management." Thesis, Troyes, 2015. http://www.theses.fr/2015TROY0022/document.
Full textThe aim of this thesis research work is to propose maintenance models for railways infrastructures that can help to make better maintenance decisions in the more constrained environment that the railway industry has to face, e.g. increased traffic loads, faster deterioration, longer maintenance planning procedures, shorter maintenance times. The proposed maintenance models are built using Coloured Petri nets; they are animated through Monte Carlo simulations to estimate the performance of the considered maintenance policies in terms of cost and availability. The maintenance models are developed both at the component and network levels, and several different maintenance problems are considered. At the rail component level, maintenance policies with different level of monitoring information (level of gradual deterioration vs binary working state) are compared to show the benefits of gathering monitoring information on the deterioration level. The effect of preventive maintenance delays is also investigated for both condition-based inspection policies and periodic inspection policies on a gradually deteriorating component. At the line level, a maintenance policy based on a two-level inspection procedure is first investigated. Then, considering the case when the deterioration process depends on the operation modes (normal vs limited speed), a maintenance optimization problem is solved to determine an optimal tuning of the repair delay and speed restriction
Desrousseaux, Maylis. "La protection juridique de la qualité des sols." Thesis, Lyon 3, 2014. http://www.theses.fr/2014LYO30080.
Full textThe soil is the upper layer of the earth’s crust, the plan surface that stretches from one horizon to the other. It is the crop lands, the scattering sand, the ground we trample on, the link between men and their territory: garden, region, state. The soils, those fragile and multifunctional ecosystems, provide many ecological services and guarantee the environmental quality. The law contains several conceptions of the notion of soils quality. But, far from constituting a protection status, this integration ignores, a priori, their environmental qualities. However, the soils are a finite resource and their non-sustainable use leads to their degradation, often irreversible, and to their growing scarcity. Progressively, the law added elements of soils multifonctionality, integrating sustainable practices. This utilitarian approach of soil quality proves to be selective and remains focused on the preservation of a small part of all the ecological services: the ones that men directly need, like food production and ignores the indirect ones like carbon storage. Nevertheless, this approach is complemented by the raising of an objectivist conception of quality, which reveals the propensity of the law to take into account the intrinsic value of soils
Broy, Perrine. "Evaluation de la sûreté de systèmes dynamiques hybrides complexes : application aux systèmes hydrauliques." Phd thesis, Université de Technologie de Troyes, 2014. http://tel.archives-ouvertes.fr/tel-01006308.
Full textJägermeyr, Jonas. "Assessing opportunities to increase global food production within the safe operating space for human freshwater use." Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät, 2017. http://dx.doi.org/10.18452/17802.
Full textAgriculture is today''s most important driver of ecosystem degradation across scales. However, there is little evidence on how to attain the historic twin-challenge of maintaining environmental integrity while producing enough food for a growing world population. In this thesis, I assess opportunities in agricultural water management to reconcile future food needs with environmental limits to water use. I explore solution-oriented ways to improve rainfed and irrigation systems alike, while safeguarding environmental flows (EFRs). To study complex interactions quantitatively, I advanced a state-of-the-art global modeling framework based on detailed, mechanistic process representation. First, a systematic upscaling of EFRs to global coverage indicates that 39% of current freshwater withdrawals for irrigation are unsustainable and occur at the cost of ecosystems. Second, accounting for EFRs indicates that the planetary boundary for freshwater use might be notably lower (2800 vs. 4000 km3yr-1) than expected. Third, maintaining EFRs would significantly affect food production, cutting >20% of total kcal production across intensely irrigated areas. Fourth, improving irrigation systems in combination with optimizing the use of precipitation water, provides effective and accessible measures to compensate for adverse impacts from protecting EFRs and climate change. Such integrated interventions could sustainably intensify global food production (+40% kcal) to the degree sufficient to halve the global food gap by 2050. In conclusion, this thesis provides the first comprehensive and systematic assessment of hitherto largely unquantified water opportunities in sustainable intensification of agriculture. While requiring corroboration by finer-scale research, the innovative quantitative foundation provided in this thesis suggests that farm water management merits a rise in political attention, and it can inform a more comprehensive discussion of related SDG target interactions.
Fouché, Heinrich Johannes. "Practical implementation of reliability centered maintenance principles and practices : a hot strip mill as case study / Heinrich Johannes Fouché." Thesis, 2015. http://hdl.handle.net/10394/15235.
Full textMSc (Development and Management Engineering), North-West University, Potchefstroom Campus, 2015
Wassenaar, Anjolize. "Exploring South African consumers' attitudes toward game meat." Diss., 2016. http://hdl.handle.net/10500/23025.
Full textLife and Consumer Sciences
MCS (Life and Consumer Sciences)
Asiwe, Doris Nkechiyem. "The well-being of employees in a South African agricultural research organisation / Doris Nkechiyem Asiwe." Thesis, 2014. http://hdl.handle.net/10394/13088.
Full textPhD (Industrial Psychology), North-West University, Potchefstroom Campus, 2014
Poulin, Elizabeth. "Les modes d’organisation des temps liés au travail et la protection de la santé et de la sécurité des travailleurs : examen d’une protection morcelée." Thesis, 2020. http://hdl.handle.net/1866/25149.
Full textContemporary phenomena such as the development of communication technologies, the globalization of markets and the intensification of work have radically disrupted the labour market. Thus, we are witnessing the transition from an industrial society characterized by predictable and stable working hours to a post-industrial society where the ways of organizing the work-related time are flexible and diversified, and in which the boundaries between working time and personal time are blurred. Several scientific studies have established significant links between the modes of organization of work-related time, such as long working hours, overtime, shift work, mandatory availability, on-call periods, faction schedules, part-time work, and break and rest periods, and several physical and psychological health issues. It is therefore legitimate to wonder whether the legislative framework governing Quebec’s labour market, which was instituted in the industrial era, is still relevant and adequate to achieve one of its aim, namely to protect the worker’s occupational health and safety. The purpose of our research is to determine the extent to which the current legal framework in Quebec allows for the protection of the health and safety of workers exposed to risks generated by the organization of work-related time. We have examined, through an empirical study of case law, the legal framework surrounding the different ways of organizing work time that we identified in our sample, such as mandatory overtime, shift work, faction schedules, mandatory availability, rest and break periods and disputes related to work time for pregnant or breastfeeding workers. We were particularly interested in the issue of mobilizing norms and recourses in the context of a fragmented legal system. Overall, our research demonstrates that the labour legal framework suffers from important shortcomings, which impede the mobilization of the rules by workers, thereby radically diminishing the legal protection of the workers’ occupational health and safety and raising significant concerns about the accessibility to justice.
Mbombo-Dweba, Tulisiwe Pilisiwe. "Impact of ethnic food markets and restaurants on household food security of Sub-Saharan immigrants in Gauteng Province, South Africa." Thesis, 2017. http://hdl.handle.net/10500/23716.
Full textAgriculture, Animal Health and Human Ecology
Ph. D. (Agriculture)