Integrating Owicki–Gries for C11-Style Memory Models into Isabelle/HOL

Journal of Automated Reasoning - Weak memory presents a new challenge for program verification and has resulted in the development of a variety of specialised logics. For C11-style memory models,...     

Effect of heat storage and fuel price on energy management and economics of micro CCHP cogeneration systems

In the present work, a typical combined cooling, heating and power (CCHP) system comprised of boiler, flat solar collectors, absorption chiller and heat storage tank was investigated. The described system was considered to supply the given electricity, cooling and heating demand of a residential building; with heating and cooling needs of 100 and 50 kW, respectively. To find the optimum hybrid configurations with high reliability, low costs, low fuel consumption and emissions, a computer program was provided by authors in FORTRAN language. Different fuel prices were considered in the present work. The results indicated that the optimal operation strategy changes with Boiler and NGG fuel prices while it also changes with increasing the number of solar collectors, heat storage capacity and consequently decreasing total annual emission.     

Rapid tooling analysis of Stereolithography injection mould tooling

Increasing competition in global markets is exerting intense pressure on companies to trim their product cycles continuously. As delivery times and costs of tools are on a downward trend, the modern tool manufacturer is under pressure to produce tools quickly, accurately and at a lower cost. Reducing the time to produce prototypes is a key to speed up the development of new products. Rapid tooling (RT) with particular regard to injection mould fabrication using rapid prototyping (RP) technology of Stereolithography (SL) may lead to savings in cost and time. In this paper, SL is used to directly build rapid injection mould tools for short run production. SL tools have been evaluated to analyse the maximum number of successful injections and quality of performance. SL epoxy tools were able to resist the injection pressure and temperature and 500 injections were achieved. The tool failure mechanisms during injection are investigated and tool failure either occurs due to excessive flexural stresses, or because of excessive shear stresses.     

Annual variation of deoxynivalenol in Danish wheat flour 1998-2003 and estimated daily intake by the Danish population

The occurrence of deoxynivalenol (DON) in Danish wheat flour was studied during the period 1998-2003 by either capillary gas chromatography with electron capture detection and liquid chromatography coupled to an ion trap mass spectrophotometer. A total of 151 samples were collected from mills and the retail market in Denmark. Contamination levels varied considerably from year-to-year with the highest concentrations occurring in samples from the 2002 harvest with mean and median concentrations of 255 and 300 µg kg^-1, respectively. Compared to other harvest years, 2002 had the highest amount of precipitation around flowering time, i.e. from the end of June to the beginning of July covering weeks 25-27. The lowest average levels were found in samples from the 2001 harvest, where weeks 25-27 were dry compared with other harvest years. The highest value (705 µg kg^-1) was obtained in a flour sample from the 2002 harvest, but none of the tested samples exceeded the maximum limit of 750 µg kg^-1, which has been recently introduced by the European Commission for DON in flour used as raw materials in food products. Calculation of chronic or usual intake by a deterministic approach showed that intake did not exceed the TDI of 1 µg kg^-1 bw day^-1 either for the whole population or for children. A probabilistic approach also showed that intake in general was below the TDI, but intake for children in the 99% percentile amounted to more than 75% of the TDI. The highest intake is calculated to be 2.5 µg kg^-1 bw day^-1.     

Physicochemical,rheological, and molecular characterization of colloidal gelatin produced from Common carp by‐products using microwave and ultrasound‐assisted extraction

The effects of ultrasound‐assisted extraction (UAE) and microwave‐assisted extraction (MAE) methods on molecular and physicochemical characteristics of the resultant gelatin were examined. Before extraction procedure, we investigated the optimum pH for swelling of Common carp by‐products, which is an important pretreatment for gelatin production. The highest swelling yield was achieved at pH 13 among pH 1–14 with unit intervals. Results indicated that the UAE gelatin has a higher gel strength, viscosity, melting point, and gelling point. The power and time of sonication showed a reverse relation with these characteristics. In addition, as the time of microwave heating was raised, the gel strength, viscosity, melting point, and gelling point were decreased. The FT‐IR spectra showed similar peaks but the Amide B in UAE gelatin slightly vanished. The electrophoretic pattern also revealed the higher gel strength and viscosity of UAE gelatin due to the higher intensity of α and β chains compared to MAE gelatin. It can be concluded from all of the results of this study that the produced gelatin using these procedures can be a good source of gelatin in food and drug industries.     

Mathematical model for prediction of oil recovery of core-flood tests in process of viscoelastic polymer flooding

In this study a new mathematical model was developed that considers thermal effects, dispersion, effective concentration, elastic behavior of viscoelastic polymers, polymer retention, permeability reduction of aqueous phase, salt effects, inaccessible pore volume, and equivalent shear rate in porous media to predict oil recovery of core-flood experiments in process of viscoelastic polymer flooding as a tertiary stage of enhanced oil recovery. The model was found highly reliable when compared to material balance and experimental data. Displacement performance of core-flood tests could be predicted by presented model, therefore, experimental costs will be decreased significantly.     

PHENOLIC WASTEWATER TREATMENT BY SUPPORTED LIQUID MEMBRANE USING DIFFERENT COOKING OILS AS LIQUID MEMBRANE

Transport of phenol through a flat sheet supported liquid membrane (SLM) containing cooking oil as liquid membrane (LM) was investigated. Factors affecting permeation of phenol such as membrane phase, support material, feed phase pH, stripping phase concentration, stirring speed, and initial concentration of phenol were studied. It was found that these parameters strongly influence phenol removal efficiency; PTFE membrane as support material, grape seed oil as liquid membrane, feed pH of 2.0, initial phenol concentration of 100 mg/L, stirring speed of 350 rpm, and 0.2 M sodium hydroxide as effective stripping agent were found as the best conditions for greater phenol transport. Under these conditions, permeability was found to be 7.46 × 10^?6 m/s. After 10.5 h, phenol was completely removed from the feed phase to strip phase. According to stability experiments, it was observed that the SLM is stable after 22 h. Thus, the use of cheap, nontoxic, and naturally oil as a novel and green membrane for recovery of phenol from wastewater was demonstrated.     

Optimal architecture of heat generating pieces in a fin

This paper documents the optimal architecture of heat generating pieces connected to and cooled in a circular-shaped fin. Relying on the constructal theory, the optimal distribution of multiple heat sources is obtained by minimizing the thermal resistance of the fin. Since the heat sources are contemplated as electronic devices with uniform heat generation, the minimization of the thermal resistance is indicated by minimization of the hot spot (peak) temperature. Temperature fields in the fin and in the heat sources are calculated using a finite elements approach of MATLAB PDE toolbox. Comparison among the considered configurations reveals that the regular configurations of the heat sources commonly used in cooling industry are not optimal and must be avoided. Optimal configurations such as triangular arrangement of heat sources are proposed to replace the unfavorable configurations.