automated test program generation for an industrial optimizing compiler

Association for Computing Machinery, ACM; IEEE; IEEE Computer Society; SIGSOFT

Industrial development and land use/cover change and their effects on local environment: a case study of Changshu in eastern coastal China

The interactions among industrial development, land use/cover change (LUCC), and environmental effects in Changshu in the eastern coastal China were analyzed using high-resolution Landsat TM data in 1990, 1995, 2000, and 2006, socio-economic data and water environmental quality monitoring data from research institutes and governmental departments. Three phases of industrial development in Changshu were examined (i.e., the three periods of 1990 to 1995, 1995 to 2000, and 2000 to 2006). Besides industrial development and rapid urbanization, land use/cover in Changshu had changed drastically from 1990 to 2006. This change was characterized by major replacements of farmland by urban and rural settlements, artificial ponds, forested and constructed land. Industrialization, urbanization, agricultural structure adjustment, and rural housing construction were the major socio-economic driving forces of LUCC in Changshu. In addition, the annual value of ecosystem services in Changshu decreased slightly during 1990-2000, but increased significantly during 2000-2006. Nevertheless, the local environmental quality in Changshu, especially in rural areas, has not yet been improved significantly. Thus, this paper suggests an increased attention to fully realize the role of land supply in adjustment of environment-friendly industrial structure and urban-rural spatial restructuring, and translating the land management and environmental protection policies into an optimized industrial distribution and land-use pattern.

Theoretical and experimental research on time-optimal trajectory planning and control of industrial robots

提出了一种用于工业机器人时间最优轨迹规划及轨迹控制的新方法，它可以确保在关节位移、速度、加速度以及二阶加速度边界值的约束下，机器人手部沿笛卡尔空间中规定路径运动的时间阳短。在这种方法中，所规划的关节轨迹都采用二次多项式加余弦函数的形式，不仅可以保证各关节运动的位移、速度 、加速度连续而且还可以保证各关节运动的二阶加速度连续。采用这种方法，既可以提高机器人的工作效率又可以延长机器人的工作寿命以PUMA560机器人为对象进行了计算机仿真和机器人实验，结果表明这种方法是正确的有效的。它为工业机器人在非线性运动学约束条件下的时间最优轨迹规划及控制问题提供了一种较好的解决方案。

An industrial scale dehydration process for natural gas involving membranes

An industrial scale dehydration process based on hollow fiber membranes for lowering the dew point of natural gas is described in this paper. A pilot test with the feed flux scale of 12x10(4) Nm(3)/d was carried out. Dew points of -8 degreesC-13 degreesC at a gas transport pressure in the pipeline of 4.6M Pa and methane recovery of more than 98% were attained. The water vapor content of the product gas could be maintained around 0.01 vol% during a continuous run of about 700 hours. The effects of feed flux and operation pressure on methane recovery and water vapor content were also investigated. Additionally, some auxiliary technologies, such as a full-time engine using natural gas as fuel and the utilization of vent gas in the process, are also discussed. A small amount of the vent gas from the system was used as a fuel for an engine to drive vacuum pumps, and the heat expelled from the engine was used to warm up the natural gas feed. The whole system can be operated in a self-sustainable manner from an energy point of view, and has a relatively high efficiency in the utilization of natural gas.