Coalgebra morphisms subsume open maps

We relate two abstract notions of bisimulation, induced by open maps and by coalgebra morphisms, respectively. We show that open maps correspond to coalgebra morphisms for a suitable chosen endofunctor in a category of many sorted sets. This demonstrates that the notion of open-maps bisimilarity is of essentially coalgebraic nature. A central role in our development is played by a category of presheaves, which we show as corresponding to the subcategory of consistent coalgebras with lax cohomomorphisms.     

Supercritical gases pasteurization of apple juice

Supercritical CO₂ and N₂O pasteurization of apple juice, inoculated with Saccharomyces cerevisiae as test microorganism, was performed at 36 °C on a laboratory multi-batch apparatus of a total volume of 150 ml. The pressure values ranged from 100 to 200 bar. Experimental results indicate the effectiveness of the method proposed. A stochastic model of the process was developed on the basis of the experimental evidence: high-pressure inactivation curves were analysed using a stochastic model based on multi-hit model. Furthermore, the samples of the cells subjected to high-pressure treatments were examined by environmental scanning electron microscopy (ESEM) to determine the effect of the process on the cell wall.     

Perceived risk for influenza in veterans with spinal cord injuries and disorders.

Objective: Guided by the extended parallel process model (EPPM), the objective was to assess control processes dominant in influenza behavior decisions. Design: Cross-sectional survey. Results: Response rate was 31% (n=968). Regarding influenza risk, 59% were in danger control. Those in fear control were more likely to report influenza infection (p=.000). In the nonvaccinated, those in fear control were more likely to indicate not knowing where to get the vaccine (p=.016) and that it was unavailable (p=.027), and those in danger control believed they did not need it (p=.023). Zero critical values were more likely to indicate that no health provider recommended the shot (p=.002). Conclusions: Most perceived efficacy to be stronger than threat related to influenza; according to the EPPM, they are aware of their risk but recognize their ability to avert it. For those in danger control, messages should focus on increasing perceptions of severity and susceptibility to positively affect behavior change. For those in fear control, messages should focus on efficacy only. With a critical value of zero, no threat is induced, and a high-threat/high-efficacy approach should be taken. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

输气干线单个分输站站址最优化研究

输气干线分输站站址规划设计合理与否，直接影响到分输站至各城市门站之间输气管线总投资和未来管网系统的发展。为此,着重讨论并建立了以分输站站址、各城市门站与分输站之间管道直径、壁厚、分输站压力为设计变量，以各城市门站与分输站之间管道投资最小为目标函数的分输站站址优化数学模型。根据模型特点，采用混合离散变量复合形法与数据库技术相结合来求解分输站站址。以此站址为参考点，结合现场勘察，在参考点附近沿输气干线预选多个分输站站址，并对影响分输站建设和管理的环境因素用多目标模糊评价方法进行综合评价，以评价效果好的站址为最优分输站站址。用算例说明了分输站站址优化结果不仅与工艺参数变化有关，且与分输站所处环境因素有关。提出还应深入研究输气干线中具有多个分输站的站址优化问题。     

A frame-based knowledge representation model and its mapping to nested relations

The first part of this paper introduces the basic constructs of a frame representation model and gives a formal definition for them. Subsequently the nested relational model (NF²) is described as an extension of the classical relational model to support relation-valued attributes. In the second part of this paper both models are compared with each other and a mapping of frame representation structures to NF² structures is specified. The structural similarities between frames and NF² relations are made clear and it is shown that their main difference is due to the type polymorphism introduced by the concept hierarchy of the frame model. This causes type collisions to occur in the strictly typed NF² model when frames are directly mapped to NF² structures. Two solutions to this problem are suggested and compared. The paper concludes with a reformulation of query operations of the frame model in terms of NF² algebra operations.     

A dynamic linear programming approach to market allocation of renewable resources in the italian energy system: The case of solar thermal and biogas technologies

In Italy solar thermal energy and energy from biogas are two possible means of reducing dependence on energy imports. Using a multiperiod LP model (MARKAL) the authors assessed the likely potential of both technologies under various circumstances. The study covered the period 1980–2005, in five segments of five years. It focused only on the subsystem of the energy end-uses which can be substituted for by solar thermal and biogas technologies. The overall non-renewable sources which can be saved in 20 years by these technologies total 450 PJ (1 PJ = 10^{1 5} J) if the fuel prices rise at 0 per cent average annual, 1450 PJ if the fuel prices rise at 4.2 per cent average annual, 1860 PJ if the fuel prices rise at 7.2 per cent average annual and 3780 PJ if the fuel prices rise at 15 per cent average annual. However the most competitive technologies appear to be solar water heaters used mainly in the private and commercial sectors and biogas systems used mainly in the agricultural sector. The study was carried out by APRE under ENEA (formerly CNEN) contract and was intended to serve as an analytical basis for establishing an overall development and demonstration strategy for end-use renewable technologies in Italy.     

Satellite SAR Remote Sensing of Great Lakes Ice Cover,Part 2. Ice Classification and Mapping

During the 1997 winter season, shipborne polarimetric backscatter measurements of Great Lakes (freshwater) ice types using the Jet Propulsion Laboratory C-band scatterometer, together with surface-based ice physical characterization measurements and environmental parameters, were acquired concurrently with Earth Resource Satellite 2 (ERS-2) and RADARSAT Synthetic Aperture Radar (SAR) data. This polarimetric data set, composed of over 20 variations of different ice types measured at incident angles from 0° to 60° for all polarizations, was processed to radar cross-section to establish a library of signatures (look-up table) for different ice types. The library is used in the computer classification of calibrated satellite SAR data. Computer analysis of ERS-2 and RADARSAT ScanSAR images of Great Lakes ice cover using a supervised classification technique indicates that different ice types in the ice cover can be identified and mapped, and that wind speed and direction can have an influence on the classification of water as ice based on single frequency, single polarization data. Once satellite SAR data are classified into ice types, the ice map provides important and necessary input for environmental protection and management, ice control and ice breaking operations, and ice forecasting and modeling efforts.     

Review of Forms of feeling: The heart of psychotherapy.

Reviews the book, Forms of feeling: The heart of psychotherapy by Robert F. Hobson. Robert Hobson calls this book his autobiography as a therapist. As such it provides interesting glimpses into some of his more meaningful sessions with clients, illuminating his approach to therapy and enabling the reader to see a master therapist at work. Hobson also presents a new method of therapy, which he calls the conversational model. On this level, his book is considerably less satisfying. Hobson succinctly outlines the general principles of the conversational model and basic skills required of the therapist, but in so doing offers essentially little new information, however valid the points may be. According to Hobson, the conversational model is designed for clients whose problems arise from disturbances in their significant relationships, and those problems are best solved not by talking about them but by being in a relationship such as therapy that provides "a special kind of friendship." Hobson puts great stress on the use of metaphorical language in therapy and learning how to use the language of art as well as of science. He relies heavily on literary quotations, prefacing each section with one or two, and liberally interspersing many more within the pages of text. The net result is not so much illuminating as it is wearisome, and the general tone is slightly pretentious and, when Hobson addresses his "dear Reader" directly, somewhat condescending. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Residual Stress Simulation of Injection Molding

In this study, distribution and history of residual stresses in plaque-like geometries are simulated based on linear thermoviscoelastic model, which helps to understand the mechanics and evolution of the residual stresses in the injection molding process. The numerical calculation of direction, combined with the specified boundary conditions. Results show that the stress variation across the thickness exhibits a high surface tensile value changing to a compressive peak value close to the surface, with the core region experiencing a parabolic tensile peak. Residual stress distribution throughout the thickness is almost same along the flowpath and the final residual stresses value near the gate is lower than the value near the end of flowpath.