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.     

利用网络技术实施财务集中控制

针对企业集团分权化管理的缺点，设计出一套利用互联网络技术实现企业集团财务集中控制的模式，给出了模式的图示及说明。     

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.     

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.     

Identification of gaps in mangrove forests with airborne LIDAR

Mangrove forests change frequently due to disturbances from tropical storms, frost, lightning, and insects. It has been suggested that the death and regeneration of trees in small gaps due to lightning may play a critical role in mangrove forest turnover; however, the large-scale quantification of spatial pattern and areas of gaps is lacking for investigating this issue. Airborne light detection and ranging (LIDAR) technology provides an effective way for identifying gaps by remotely obtaining direct measurements of ground and canopy elevations. A method based on an alternative sequential filter and black top-hat mathematical morphological transformation was developed to extract gap features. Comparison of identified gap polygons with raw LIDAR measurements and field surveys shows that the proposed method successfully extracted gap features in mangrove forests in Everglades National Park. There are 400–500 lightning gaps per square kilometer in mangrove forests at the study sites. The distribution of gap sizes follows an exponential form and the area of gaps with sizes larger than 100 m² account for 55–61% of the total area of gaps. The area of gaps in the mangrove forest in Everglades National Park is about 4–5% of the total forest area and the average gap formation rate is about 0.3% of the total forest area per year, indicating that lightning gaps play an important role in mangrove forest dynamics.     

Necessary optimality conditions in a nonsmooth control problem with variable structure

An optimal control problem with nonsmooth performance criterion described by a system of ordinary differential equations is considered. Necessary first-order optimality conditions are obtained.     

Cyclamate intake and cyclohexylamine excretion are not related to male fertility in humans

Cyclamate and its metabolite cyclohexylamine affect male fertility in high dose animal studies, but this affect has not been investigated in epidemiological studies. This paper reports the first epidemiological study designed to investigate the possibility of a relationship between cyclamate and cyclohexylamine and male fertility in humans, in which 405 cases of clinically defined infertility in men and 379 controls were surveyed. Semen evaluation, urine analysis for cyclamate and cyclohexylamine and dietary questionnaires were compared between cases and controls. No evidence was found of a significant association between cyclamate intake and male infertility; neither high cyclamate nor high cyclohexylamine excretion were associated with elevated risk. The lack of association remained after adjusting by age, area of residence, education, total energy intake and other variables. No significant correlations were observed between cyclamate intake, metabolism or excretion, and sperm count and motility. The results demonstrate no effect of cyclamate or cyclohexylamine on male fertility at the present levels of cyclamate consumption.     

雷达仿真系统中电磁干扰环境的仿真设计和实施

雷达仿真系统是为检测雷达设备的抗干扰能力以及在各种电磁环境下的工作性能而设计的，包括有源干扰和无源干扰的模拟仿真。本文阐述了无源干扰即杂波的散射模型和仿真过程；从同步脉冲干扰的基本原理出发，阐明在雷达工作环境仿真系统中距离拖引、速度拖引、虚假目标等同步脉冲有源干扰的设计和实施过程；并针对工作在搜索和跟踪交替模式下的相控阵雷达提出自适应综合干扰方式；最后分析并总结了系统仿真时为真实、有效地模拟电磁干扰环境应注意的关键问题。     

关于项目管理中施工进度控制的研究

阐述了项目管理中施工进度控制的地位与作用，分析了影响工程进度的因素，提出项目进度控制需做好的工作，以提高进度控制水平，确保合同工期的实现。