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.     

鞍钢1780mm热轧生产线"三电"工程施工概述

概述了鞍钢1780mm生产线技术改造工程中供电、传动及自动控制系统的构成、安装及调试技术要点,以及技术经济效果评述,可供同类工程施工参考.     

A geometry-based error estimation for cross-ratios

For choosing specific cross-ratios as 2D projective coordinates in various computer vision applications, a reasonable error analysis model is usually required. This investigation adopts the assumption of normal distribution for positioning errors of point features in an image to formulate the error variances of cross-ratios. Based on a geometry-based error analysis, a straightforward way of identifying the cross-ratios with minimum error variances is proposed. Simulation results show that the proposed approach, as well as a further simplified alternative, yield much better estimations of minimum error variances in terms of accuracy, cost, and stability compared with some other methods, e.g., the one based on the rule given by Georis et al. (IEEE Trans. Pattern Anal. Mach. Intell. 20 (4) (1998) 366). Some causes of the performance differences in the estimations are explained using a special configuration of point features.     

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.     

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.     

Compact Dipole Antenna for Terrestrial Digital Multimedia Broadcasting Service

A compact dipole antenna for the terrestrial digital multimedia broadcasting (TDMB) application is presented. The length of the antenna is about 0.06λ at the TDMB resonance frequency of 190 MHz. Miniaturization of the antenna is achieved by using meander structures and lumped elements. The proposed antenna has two resonance frequencies and covers the TDMB band from 174 MHz to 216 MHz in Korea. The antenna has good impedance bandwidth and radiation characteristics for the TDMB. The experimental results of the designed dipole antenna are presented and analyzed.     

Shape-Controlled Synthesis and Upconversion Luminescence of Y2O3:Yb, Er Microstructures

The Y2O3: Yb3 , Er3 microstructures were fabricated by a hydrothermal method without surfactants.The microstructures structure was characterized by X-ray diffraction (XRD) and scanning electron microscope (SEM,KYKY 1000B).The up-conversion luminescence spectra were studied under 978 nm laser diode excitation.In Yb3 and Er3 codoped Y2 O3 microcrystals, the relative intensity of green emission became stronger as the morphology of sample changed from wires to films.