Probabilistic verification of satellite systems for mission critical applications

In this thesis, we present a quantitative approach using probabilistic verification techniques for the analysis of reliability, availability, maintainability, and safety (RAMS) properties of satellite systems. The subject of our research is satellites used in mission critical industrial applications. A strong case for using probabilistic model checking to support RAMS analysis of satellite systems is made by our verification results. This study is intended to build a foundation to help reliability engineers with a basic background in model checking to apply probabilistic model checking to small satellite systems. We make two major contributions. One of these is the approach of RAMS analysis to satellite systems. In the past, RAMS analysis has been extensively applied to the field of electrical and electronics engineering. It allows system designers and reliability engineers to predict the likelihood of failures from the indication of historical or current operational data. There is a high potential for the application of RAMS analysis in the field of space science and engineering. However, there is a lack of standardisation and suitable procedures for the correct study of RAMS characteristics for satellite systems. This thesis considers the promising application of RAMS analysis to the case of satellite design, use, and maintenance, focusing on its system segments. Data collection and verification procedures are discussed, and a number of considerations are also presented on how to predict the probability of failure. Our second contribution is leveraging the power of probabilistic model checking to analyse satellite systems. We present techniques for analysing satellite systems that differ from the more common quantitative approaches based on traditional simulation and testing. These techniques have not been applied in this context before. We present the use of probabilistic techniques via a suite of detailed examples, together with their analysis. Our presentation is done in an incremental manner: in terms of complexity of application domains and system models, and a detailed PRISM model of each scenario. We also provide results from practical work together with a discussion about future improvements.

Fabrication and optimizing of metal nano silicate as toxic metal absorbent from sea water

Pure Water, is a crucial demand of creature life. Following industrial development, extra amount of toxic metals such as chromium enters the environmental cycle through the sewage, which is considered as a serious threat for organisms. One of the modern methods of filtration and removal of contaminants in water, is applying Nano-technology. According to specific property of silicate materials, in this article we try to survey increased power in composites and various absorption in several morphologies and also synthesis of Nano-metal silicates with different morphologies as absorbent of metal toxic ions. At first, we synthesize nano zink silicate with three morphologies considering context and the purpose of this survey. 1) Nano synthesis of zink silicate hollow cavity by hydrothermal method in mixed solvent system of ethanol/glycol polyethylene. 2) Zink nano wires silicate in a water-based system by controlling the amount of sodium silicate. 3) Synthesis of nano zink silicate membrane. After synthesizing, we measured the cadmium ion absorbance by synthesized nano zink silicates. Controlling PH, is the applied absorption method. Next step, we synthesized nano zink-magnesium silicate composite in two various morphologies of nanowires and membrane by different precent of zink and magnesium, in order to optimize synthesized nano metal silicate. We used zink nitrate and magnesium nitrate and also measured cadmium absorption by synthesized nano metal silicates in the same way of PH control absorption. In the 3rd step, in order to determine the impact of the type of metal in nano metal silicate, we synthesized nano magnesium silicate and compared its absorption with nano zink silicate. Furthermore, we calculated the optimal concentration in one of synthesizes. Optimal concentration is the process which has the maximum absorption. While applying two methods of absorption in the test, finally we compared the effect of absorption method on the absorption level. Below you find further steps of synthesis: 1) Using IR, RAMAN, XRD spectroscopy to check the accuracy of synthesis. 2) Checking the dispersion of nano particles in ethanol solution by light microscope. 3) Measuring and observing particles with scanning electron microscope (SEM). 4) Using atomic absorption device for measuring the cadmium concentration in water-based solutions. The nano metal silicates were synthesized successfully. All of synthesized nano absorbents have the cadmium ion absorbency. The cadmium absorption via nano absorbents depend on various factors such as kind of metal in nano silicate and percent of metal in nano metal silicate composite. Meanwhile the absorption and PH control of medium containing the absorbent and solution would affect the cadmium absorption.

Effects of gamma radiation in mycotoxin descontamination of Aloysia citrodora Paláu

The interest and demand for aromatic and medicinal plants have been growing due to their combined organoleptic and bioactive properties. However, in general these plants suffer natural contamination by fungi and associated toxins during growth as also in harvesting, storage and drying processes, which represents a threat to public health. The rigorous standards required by the industrial sector in terms of good quality of raw materials demand efficient decontamination procedures (1-3). Gamma radiation is assumed as an accredited methodology for the decontamination of medicinal and aromatic plants, with numerous advantages not only to the product itself but also to the consumer and the environment (4). In this study, efficient methods for detecting aflatoxins (AFB" AFB2, AFG1 and AFG2) and ocratoxin A (OTA), were optimized and validated, and afterwards, applied to spiked samples of Aloysia citrodora Pahiu submitted to gamma radiation treatment at different doses (I , 5 and I 0 kGy ), to evaluate the effectiveness of irradiation as a decontamination technique for dry plants. Mycotoxin levels were determined by reversed-phase high-performance liquid chromatography (HPLC) with fluorescence detection, after immunoaffinity column (lAC) cleanup. All the applied gamma radiation doses conducted to a degradation of the studied mycotoxins. In relation to the control sample (0 kGy), the reduction rates in the irradiated samples ranged from 4.9 and 5.2% in OTA, 5.3 and 9.6% in AFBt. 12.3 and 13.5 in AFB2, 16.4 and 23.6 in AFG1 and, finally, 52.6 and 62.7% in AFG2. The gamma radiation dose of 5 kGy stood out as the best decontamination dose for AFB1 and AFG1, which are the most significant aflatoxins naturally found in food commodities. For OTA, AFG2 and AFB2 there was no significant difference in decontamination between doses. In conclusion, the extraction and analysis methods proved to be suitable for detection of aflatoxins and ocratoxin A in A. citrodora. Gamma radiation seems to be an effective technique for reducing aflatoxins G in A. citrodora, and eventually oth~r medicinal and aromatic plants. On the other hand, aflatoxins B and OTA are less affected by this treatment.

Empirical evidence of S-curves in the Colombian

The Marshall-Lerner condition, the J-curve and S-curve have emerged as theoretical and empirical foundations developed for the study of the interaction between exchange rates and international patterns of bilateral trade -- They have a significant bearing on thedevelopment of public policy, and are of equal interest to the academic and professional communities -- The most recently developed of these theories, the S-Curve, is named after the theorized short-run behavior to be found in the cross-correlation function of the real exchange rate and the trade balance -- Considering this theoretical context, the paper seeks empirical evidence of the existence of the S-Curve in the bilateral trade in commodity and non-commodity goods between Colombia and the United States and Venezuela, its main trading partners, for the yearly quarters between 1994:1 and 2009:4

Local productive arrangements for biodiesel production in Brazil: Environmental assessment of small-holders integrated oleaginous crops management.

Sustainability assessments were carried out in small-holders? farms in four territories where productive arrangements have been organized for production of minor oleagi- nous crops under the Brazilian biodiesel program. The study aimed at checking local impacts of the biodiesel productive chains at the rural establishment scale, and pro- moting the environmental performance of the selected farms, henceforth proposed as sustainable management demonstration units. Assessments were carried out with the APOIA-NovoRural system, which integrates 62 objective and quantitative indicators re- lated to five sustainability dimensions: i) Landscape Ecology, ii) Environmental Quality (Atmosphere, Water and Soil), iii) Socio-cultural Values, iv) Economic Values and v) Management and Administration. The main results point out that, in general, the eco- logical dimensions of sustainability, that is, the Landscape Ecology and Atmosphere, Water, and Soil quality indicators, show adequate field conditions, seemingly not yet negatively affected by increases in chemical inputs and natural resources use predicted as important potential impacts of the agro-energy sector. The Economic Values indica- tors have been favorably influenced in the studied farms, due to a steadier demand and improved prices for the oleaginous crops. On the other hand, valuable positive conse- quences expected for favoring farmers? market insertion, such as improved Socio-cultural Values and Management & Administration indicators, are still opportunities to be ma-terialized. The Environmental Management Reports issued to the farmers, based on the presented sustainability assessment procedures, offer valuable documentation and com-munication means for consolidating the organizational influence of the local productive arrangements studied. These productive arrangements were shown to be determinant for the selection of crop associations and diversification, as well as for the provision of technical assistance and the stabilization of demand - conditions that promote value aggregation and income improvements, favoring small-holders? insertion in the market. More importantly, these locally organized productive arrangements have been shown to strongly influence the valorization of natural resources and environmental assets, which are fundamental if sustainable rural development is to take place under the emerging agro-energy scenario.

MINING AND VERIFICATION OF TEMPORAL EVENTS WITH APPLICATIONS IN COMPUTER MICRO-ARCHITECTURE RESEARCH

Computer simulation programs are essential tools for scientists and engineers to understand a particular system of interest. As expected, the complexity of the software increases with the depth of the model used. In addition to the exigent demands of software engineering, verification of simulation programs is especially challenging because the models represented are complex and ridden with unknowns that will be discovered by developers in an iterative process. To manage such complexity, advanced verification techniques for continually matching the intended model to the implemented model are necessary. Therefore, the main goal of this research work is to design a useful verification and validation framework that is able to identify model representation errors and is applicable to generic simulators. The framework that was developed and implemented consists of two parts. The first part is First-Order Logic Constraint Specification Language (FOLCSL) that enables users to specify the invariants of a model under consideration. From the first-order logic specification, the FOLCSL translator automatically synthesizes a verification program that reads the event trace generated by a simulator and signals whether all invariants are respected. The second part consists of mining the temporal flow of events using a newly developed representation called State Flow Temporal Analysis Graph (SFTAG). While the first part seeks an assurance of implementation correctness by checking that the model invariants hold, the second part derives an extended model of the implementation and hence enables a deeper understanding of what was implemented. The main application studied in this work is the validation of the timing behavior of micro-architecture simulators. The study includes SFTAGs generated for a wide set of benchmark programs and their analysis using several artificial intelligence algorithms. This work improves the computer architecture research and verification processes as shown by the case studies and experiments that have been conducted.

Business Process Management and Process Mining within a Real Business Environment: An Empirical Analysis of Event Logs Data in a Consulting Project

Il presente elaborato esplora l’attitudine delle organizzazioni nei confronti dei processi di business che le sostengono: dalla semi-assenza di struttura, all’organizzazione funzionale, fino all’avvento del Business Process Reengineering e del Business Process Management, nato come superamento dei limiti e delle problematiche del modello precedente. All’interno del ciclo di vita del BPM, trova spazio la metodologia del process mining, che permette un livello di analisi dei processi a partire dagli event data log, ossia dai dati di registrazione degli eventi, che fanno riferimento a tutte quelle attività supportate da un sistema informativo aziendale. Il process mining può essere visto come naturale ponte che collega le discipline del management basate sui processi (ma non data-driven) e i nuovi sviluppi della business intelligence, capaci di gestire e manipolare l’enorme mole di dati a disposizione delle aziende (ma che non sono process-driven). Nella tesi, i requisiti e le tecnologie che abilitano l’utilizzo della disciplina sono descritti, cosi come le tre tecniche che questa abilita: process discovery, conformance checking e process enhancement. Il process mining è stato utilizzato come strumento principale in un progetto di consulenza da HSPI S.p.A. per conto di un importante cliente italiano, fornitore di piattaforme e di soluzioni IT. Il progetto a cui ho preso parte, descritto all’interno dell’elaborato, ha come scopo quello di sostenere l’organizzazione nel suo piano di improvement delle prestazioni interne e ha permesso di verificare l’applicabilità e i limiti delle tecniche di process mining. Infine, nell’appendice finale, è presente un paper da me realizzato, che raccoglie tutte le applicazioni della disciplina in un contesto di business reale, traendo dati e informazioni da working papers, casi aziendali e da canali diretti. Per la sua validità e completezza, questo documento è stata pubblicato nel sito dell'IEEE Task Force on Process Mining.

Geographic Provenancing of Unprocessed Cotton Using Elemental Analysis and Stable Isotope Ratios

Cotton is the most abundant natural fiber in the world. Many countries are involved in the growing, importation, exportation and production of this commodity. Paper documentation claiming geographic origin is the current method employed at U.S. ports for identifying cotton sources and enforcing tariffs. Because customs documentation can be easily falsified, it is necessary to develop a robust method for authenticating or refuting the source of the cotton commodities. This work presents, for the first time, a comprehensive approach to the chemical characterization of unprocessed cotton in order to provide an independent tool to establish geographic origin. Elemental and stable isotope ratio analysis of unprocessed cotton provides a means to increase the ability to distinguish cotton in addition to any physical and morphological examinations that could be, and are currently performed. Elemental analysis has been conducted using LA-ICP-MS, LA-ICP-OES and LIBS in order to offer a direct comparison of the analytical performance of each technique and determine the utility of each technique for this purpose. Multivariate predictive modeling approaches are used to determine the potential of elemental and stable isotopic information to aide in the geographic provenancing of unprocessed cotton of both domestic and foreign origin. These approaches assess the stability of the profiles to temporal and spatial variation to determine the feasibility of this application. This dissertation also evaluates plasma conditions and ablation processes so as to improve the quality of analytical measurements made using atomic emission spectroscopy techniques. These interactions, in LIBS particularly, are assessed to determine any potential simplification of the instrumental design and method development phases. This is accomplished through the analysis of several matrices representing different physical substrates to determine the potential of adopting universal LIBS parameters for 532 nm and 1064 nm LIBS for some important operating parameters. A novel approach to evaluate both ablation processes and plasma conditions using a single measurement was developed and utilized to determine the “useful ablation efficiency” for different materials. The work presented here demonstrates the potential for an a priori prediction of some probable laser parameters important in analytical LIBS measurement.

Scoping review of adherence promotion theories in pelvic floor muscle training : 2011 ics state-of-the-science seminar research paper I of IV

Aims This paper, the first of four emanating from the International Continence Society's 2011 State-of-the-Science Seminar on pelvic-floor-muscle training (PFMT) adherence, aimed to summarize the literature on theoretical models to promote PFMT adherence, as identified in the research, or suggested by the seminar's expert panel, and recommends future directions for clinical practice and research. Methods Existing literature on theories of health behavior were identified through a conventional subject search of electronic databases, reference-list checking, and input from the expert panel. A core eligibility criterion was that the study included a theoretical model to underpin adherence strategies used in an intervention to promote PFM training/exercise. Results A brief critique of 12 theoretical models/theories is provided and, were appropriate, their use in PFMT adherence strategies identified or examples of possible uses in future studies outlined. Conclusion A better theoretical-based understanding of interventions to promote PFMT adherence through changes in health behaviors is required. The results of this scoping review and expert opinions identified several promising models. Future research should explicitly map the theories behind interventions that are thought to improve adherence in various populations (e.g., perinatal women to prevent or lessen urinary incontinence). In addition, identified behavioral theories applied to PFMT require a process whereby their impact can be evaluated.

Pelvic-floor-muscle-training adherence “modifiers” : a review of primary qualitative studies : 2011 ICS State-of-the-Science Seminar research paper III of IV

Aims This review aims to locate and summarize the findings of qualitative studies exploring the experience of and adherence to pelvic floor muscle training (PFMT) to recommend future directions for practice and research. Methods Primary qualitative studies were identified through a conventional subject search of electronic databases, reference-list checking, and expert contact. A core eligibility criterion was the inclusion of verbatim quotes from participants about PFMT experiences. Details of study aims, methods, and participants were extracted and tabulated. Data were inductively grouped into categories describing “modifiers” of adherence (verified by a second author) and systematically displayed with supporting illustrative quotes. Results Thirteen studies (14 study reports) were included; eight recruited only or predominantly women with urinary incontinence, three recruited postnatal women, and two included women with pelvic organ prolapse. The quality of methodological reporting varied. Six “modifiers” of adherence were described: knowledge; physical skill; feelings about PFMT; cognitive analysis, planning, and attention; prioritization; and service provision. Conclusions Individuals' experience substantial difficulties with capability (particularly knowledge and skills), motivation (especially associated with the considerable cognitive demands of PFMT), and opportunity (as external factors generate competing priorities) when adopting and maintaining a PFMT program. Expert consensus was that judicious selection and deliberate application of appropriate behavior change strategies directed to the “modifiers” of adherence identified in the review may improve PFMT outcomes. Future research is needed to explore whether the review findings are congruent with the PFMT experiences of antenatal women, men, and adults with fecal incontinence.

Turning conflict into coexistence: cross-cutting ties and institutions in the agro-pastoral borderlands of Lake Naivasha basin, Kenya

The Maasai/Kikuyu agro-pastoral borderlands of Maiella and Enoosupukia, located in the hinterlands of Lake Naivasha’s agro-industrial hub, are particularly notorious in the history of ethnicised violence in the Kenya’s Rift Valley. In October 1993, an organised assault perpetrated by hundreds of Maasai vigilantes, with the assistance of game wardens and administration police, killed more than 20 farmers of Kikuyu descent. Consequently, thousands of migrant farmers were violently evicted from Enoosupukia at the instigation of leading local politicians. Nowadays, however, intercommunity relations are surprisingly peaceful and the cooperative use of natural resources is the rule rather than the exception. There seems to be a form of reorganization. Violence seems to be contained and the local economy has since recovered. This does not mean that there is no conflict, but people seem to have the facility to solve them peacefully. How did formerly violent conflicts develop into peaceful relations? How did competition turn into cooperation, facilitating changing land use? This dissertation explores the value of cross-cutting ties and local institutions in peaceful relationships and the non-violent resolution of conflicts across previously violently contested community boundaries. It mainly relies on ethnographic data collected between 2014 and 2015. The discussion therefore builds on several theoretical approaches in anthropology and the social sciences – that is, violent conflicts, cross-cutting ties and conflicting loyalties, joking relationships, peace and nonviolence, and institutions, in order to understand shared spaces that are experiencing fairly rapid social and economic changes, and characterised by conflict and coexistence. In the researched communities, cross-cutting ties and the split allegiances associated with them result from intermarriages, land transactions, trade, and friendship. By institutions, I refer to local peace committees, an attempt to standardise an aspect of customary law, and Nyumba Kumi, a strategy of anchoring community policing at the household level. In 2010, the state “implanted” these grassroots-level institutions and conferred on them the rights to handle specific conflicts and to prevent crime. I argue that the studied groups utilise diverse networks of relationships as adaptive responses to landlessness, poverty, and socio-political dynamics at the local level. Material and non-material exchanges and transfers accompany these social and economic ties and networks. In addition to being instrumental in nurturing a cohesive social fabric, I argue that such alliances could be thought of as strategies of appropriation of resources in the frontiers – areas that are considered to have immense agricultural potential and to be conducive to economic enterprise. Consequently, these areas are continuously changed and shaped through immigration, population growth, and agricultural intensification. However, cross-cutting ties and intergroup alliances may not necessarily prevent the occurrence or escalation of conflicts. Nevertheless, disputes and conflicts, which form part of the social order in the studied area, create the opportunities for locally contextualised systems of peace and non-violence that inculcate the values of cooperation, coexistence, and restraint from violence. Although the neo-traditional institutions (local peace committees and Nyumba Kumi) face massive complexities and lack the capacity to handle serious conflicts, their application of informal constraints in dispute resolution provides room for some optimism. Notably, the formation of ties and alliances between the studied groups, and the use of local norms and values to resolve disputes, are not new phenomena – they are reminiscent of historical patterns. Their persistence, particularly in the context of Kenya, indicates a form of historical continuity, which remains rather “undisturbed” despite the prevalence of ethnicised political economies. Indeed, the formation of alliances, which are driven by mutual pursuit of commodities (livestock, rental land, and agricultural produce), markets, and diversification, tends to override other identities. While the major thrust of social science literature in East Africa has focused on the search for root causes of violence, very little has been said about the conditions and practices of cooperation and non-violent conflict resolution. In addition, situations where prior violence turned into peaceful interaction have attracted little attention, though the analysis of such transitional phases holds the promise of contributing to applicable knowledge on conflict resolution. This study is part of a larger multidisciplinary project, “Resilience in East African Landscapes” (REAL), which is a Marie Curie Actions Innovative Training Networks (ITN) project. The principal focus of this multidisciplinary project is to study past, present, and future thresholds and sustainable trajectories in human-landscape interactions in East Africa over the last millennia. While other individual projects focus on long-term ecosystem dynamics and societal interactions, my project examines human-landscape interactions in the present and the very recent past (i.e. the period in which events and processes were witnessed or can still be recalled by today’s population). The transition from conflict to coexistence and from competition to cooperative use of previously violently contested land resources is understood here as enhancing adaptation in the face of social-political, economic, environmental, and climatic changes. This dissertation is therefore a contribution to new modes of resilience in human-landscape interactions after a collapse situation.

Scoping review of adherence promotion theories in pelvic floor muscle training : 2011 ics state-of-the-science seminar research paper I of IV

Aims This paper, the first of four emanating from the International Continence Society's 2011 State-of-the-Science Seminar on pelvic-floor-muscle training (PFMT) adherence, aimed to summarize the literature on theoretical models to promote PFMT adherence, as identified in the research, or suggested by the seminar's expert panel, and recommends future directions for clinical practice and research. Methods Existing literature on theories of health behavior were identified through a conventional subject search of electronic databases, reference-list checking, and input from the expert panel. A core eligibility criterion was that the study included a theoretical model to underpin adherence strategies used in an intervention to promote PFM training/exercise. Results A brief critique of 12 theoretical models/theories is provided and, were appropriate, their use in PFMT adherence strategies identified or examples of possible uses in future studies outlined. Conclusion A better theoretical-based understanding of interventions to promote PFMT adherence through changes in health behaviors is required. The results of this scoping review and expert opinions identified several promising models. Future research should explicitly map the theories behind interventions that are thought to improve adherence in various populations (e.g., perinatal women to prevent or lessen urinary incontinence). In addition, identified behavioral theories applied to PFMT require a process whereby their impact can be evaluated.

Pelvic-floor-muscle-training adherence “modifiers” : a review of primary qualitative studies : 2011 ICS State-of-the-Science Seminar research paper III of IV

Aims This review aims to locate and summarize the findings of qualitative studies exploring the experience of and adherence to pelvic floor muscle training (PFMT) to recommend future directions for practice and research. Methods Primary qualitative studies were identified through a conventional subject search of electronic databases, reference-list checking, and expert contact. A core eligibility criterion was the inclusion of verbatim quotes from participants about PFMT experiences. Details of study aims, methods, and participants were extracted and tabulated. Data were inductively grouped into categories describing “modifiers” of adherence (verified by a second author) and systematically displayed with supporting illustrative quotes. Results Thirteen studies (14 study reports) were included; eight recruited only or predominantly women with urinary incontinence, three recruited postnatal women, and two included women with pelvic organ prolapse. The quality of methodological reporting varied. Six “modifiers” of adherence were described: knowledge; physical skill; feelings about PFMT; cognitive analysis, planning, and attention; prioritization; and service provision. Conclusions Individuals' experience substantial difficulties with capability (particularly knowledge and skills), motivation (especially associated with the considerable cognitive demands of PFMT), and opportunity (as external factors generate competing priorities) when adopting and maintaining a PFMT program. Expert consensus was that judicious selection and deliberate application of appropriate behavior change strategies directed to the “modifiers” of adherence identified in the review may improve PFMT outcomes. Future research is needed to explore whether the review findings are congruent with the PFMT experiences of antenatal women, men, and adults with fecal incontinence.

Radon Mitigation : Checking Your Contractor’s Work

This is a list of some basic installation requirements and recommendations that your contractor should meet when installing a radon reduction system in your home.

Microbiological quality and safety of minimally processed fruits in the marketplace of southern Portugal

The availability of fresh-cut fruit (FCF) in the marketplace has been increasing in Portugal, although reports of its microbial quality are not known. Due to the growing concerns of these commodities over their microbial safety, the objectives of this work were to study the microbiological quality and prevalence of Salmonella and Listeria monocytogenes on fresh-cut fruits sold in southern Portugal. A study to examine the changes in pH and microbial counts, before and after the expiration dates, was also made. A total of 160 samples was purchased in the local grocery stores between September 2011 and August 2014, before their sell-by date. These samples were assayed for aerobic mesophilic (AM) and psychrotrophic (AP) microorganisms, yeasts and molds (YM), lactic-acid bacteria (LAB), coliforms (TC), Escherichia coli and coagulase positive staphylococci as well as L. monocytogenes and Salmonella. The microbiological counts ranged from 3.0-9.2 lg cfu/g (AM); 2.2–10.7 lg cfu/g (AP); 2.3–10.4 lg cfu/g (YM); 1.9–9.0 lg cfu/g (LAB) and less than 1–9.1 lg cfu/g (TC). The melons and watermelon presented the highest levels of the microbial quality parameters studied. However, no E. coli, staphylococci, Salmonella and L. monocytogenes were detected in any of the samples. After the sell-by date, an increase of the AM, AP, LAB and YM values was observed in all fruits. Conversely, the differences found in TC counts before and after the best-before date had no statistical significance. A decrease in pH was observed in all fruits except pineapple whose pH slightly increased after 14 days of storage. The results highlight the importance of preventing contamination and cross contamination, selecting adequate decontamination technologies and maintaining a strict temperature control during processing, distribution and selling of FCF.