379 research outputs found

    Exergetic analysis and exergy loss reduction in the milk pasteurization for Italian cheese production

    Get PDF
    The cheese industry has high energy consumption, and improvements to plant efficiency may lead to a reduction of its environmental impact. A survey on a sample of small-medium Italian cheese factories was carried out in order to assess the efficiency of heat recovery of the milk pasteurization equipment for the cheese production. Then, an exergetic analysis to calculate the related exergy loss was carried out together with a cost-benefit analysis to identify the optimized value of the heat efficiency. The exergy loss reduction was determined throughout an exergy analysis that takes into account this last value and the comparison with the previous exergy losses. Finally, the feasibility and the consequent additional reduction of exergy losses were verified, if a cogeneration heat and power (CHP) combined to the pasteurization equipment is assumed. Results show a current heat recovery efficiency of 93.2% in the Italian cheese factories; a close connection between the exergetic losses and the efficiency of the heat recovery exchanger; the optimized recovery efficiency equal to 97.3% obtained from the cost-benefit analysis; a related important exergetic loss reduction of 1245% in the heat exchangers, as a second result of the exergetic analysis; a similar reduction of the exergy loss ( 1242%) of the whole system, as a third result of the exergetic analysis; a total exergy loss reduction of 22.9 kJ kg 121milk, which corresponds to a lower environmental impact due to CO2 reduction; a further reduction of the exergy loss of 1210% when the cogeneration heat and power CHP are used

    Verification of parallel systems via decomposition

    Get PDF
    Recently, Milner and Moller have presented several decomposition results for processes. Inspired by these, we investigate decomposition techniques for the verification of parallel systems. In particular, we consider those of the form q j (I) where p i and q j are (finite) state systems. We provide a decomposition procedure for all p i and q j and give criteria that must be checked on the decomposed processes to see whether (I) does or does not hold. We analyse the complexity of our procedure and show that it is polynomial in n, m and the sizes of p i and q j if there is no communication. We also show that with communication the verification of (I) is co-NP hard, which makes it very unlikely that a polynomial complexity bound exists. But by applying our decomposition technique to Milner's cyclic scheduler we show that verification can become polynomial in space and time for practical examples, where standard techniques are exponential. Note: The authors are supported by the European Communities under ESPRIT Basic Research Action 3006 (CONCUR)

    Verification of parallel systems via decomposition

    Get PDF

    DNA methylation determination by liquid chromatography–tandem mass spectrometry using novel biosynthetic [U-15N]deoxycytidine and [U-15N]methyldeoxycytidine internal standards

    Get PDF
    Methylation of the promoter CpG regions regulates gene transcription by inhibiting transcription factor binding. Deoxycytidine methylation may regulate cell differentiation, while aberrations in the process may be involved in cancer etiology and the development of birth defects (e.g. neural tube defects). Similarly, nutritional deficiency and certain nutragenomic interactions are associated with DNA hypomethylation. While LC-MS has been used previously to measure percentage genomic deoxycytidine methylation, a lack of a secure source of internal standards and the need for laborious and time-consuming DNA digestion protocols constitute distinct limitations. Here we report a simple and inexpensive protocol for the biosynthesis of internal standards from readily available precursors. Using these biosynthetic stable-isotopic [U-15N]-labeled internal standards, coupled with an improved DNA digestion protocol developed in our lab, we have developed a low-cost, high-throughput (>500 samples in 4 days) assay for measuring deoxycytidine methylation in genomic DNA. Inter- and intraassay variation for the assay (%RSD, n = 6) was <2.5%

    Impact of Borderline Resectability in Pancreatic Head Cancer on Patient Survival: Biology Matters According to the New International Consensus Criteria

    Get PDF
    Background: International consensus criteria (ICC) have redefined borderline resectability for pancreatic ductal adenocarcinoma (PDAC) according to three dimensions: anatomical (BR-A), biological (BR-B), and conditional (BR-C). The present definition acknowledges that resectability is not just about the anatomic relationship between the tumour and vessels but that biological and conditional dimensions also are important. Methods: Patients’ tumours were retrospectively defined b
    • 

    corecore