Study on axiomatic rules for building up relationships between requirement and source programs

The purpose of our study is to build up relationships between requirement and source programs with our originally thought-out rules. When other rules to be derived from these original rules are applied to software development, even a single instruction in a programming language could be determined, and the program would satisfy the requirement. More specifically speaking, these rules will turn into a formula or a prototype of software programs. Hence, when the variables in the requirement are placed in the formula, we can get a required program in an automatic way.     

浅议如何用绿色植物防治矿区环境污染

绿色植物能吸收CO2 ,释放O2 ,清除有毒污染物 ,阻滞灰尘 ,杀灭细菌等致病微生物 ;在矿区环境污染治理时 ,应切实加强矿区绿化工作 ,扩大植被覆盖率 ,保持矿区生态平衡 ,促进矿区的可持续发展。     

Global Level Path Planning for Mobile Robots in Dynamic Environments

This paper presents a self-adapting approach to global level path planning in dynamic environments. The aim of this work is to minimize risk and delays in possible applications of mobile robots (e.g., in industrial processes). We introduce a hybrid system that uses case-based reasoning as well as grid-based maps for decision-making. Maps are used to suggest several alternative paths between specific start and goal point. The casebase stores these solutions and remembers their characteristics. Environment representation and casebase design are discussed. To solve the problem of exploration vs. exploitation, a decision-making strategy is proposed that is based on the irreversibility of decisions. Forgetting strategies are discussed and evaluated in the context of case-based maintenance. The adaptability of the system is evaluated in a domain based on real sensor data with simulated occupancy probabilities. Forgetting strategies and decision-making strategies are evaluated in simulated environments. Experiments show that a robot is able to adapt in dynamic environments and can learn to use paths that are less risky to follow.     

Gold Medal Award for Life Achievement in the Application of Psychology: Edwin A. Fleishman.

The 2004 Gold Medal Award for Life Achievement in the Application of Psychology was awarded to Edwin A. Fleishman, for his significant contributions to the science and applications of psychology, which he has sustained over his remarkable career. He is cited for his research, which has had a profound influence on our understanding of human capabilities, their measurement, their development, and their application in the world of work. Through his many influential leadership roles, as president of the International Association of Applied Psychology and three divisions of the American Psychological Association, and as editor of the Journal of Applied Psychology, he has helped shape our profession. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

地下水运动数值模拟过程中边界条件问题探讨

本文对地下水运动数值模拟过程中边界条件的涵义 和处理方法进行了分析和讨论。阐述了边界条件所包含的双重意义。指出随着人类活动影响 强度的日益增大，边界条件的处理要面临一些新的更为复杂的问题。在模型预报之前必须首 先对边界条件做出预报。边界条件的预报既要考虑自然因素的作用，同时也要考虑人类活动 (人工开采和人工补给)的影响及由于邻区水流条件变化而产生的耦合效应。之后，给出了两 个应用实例。     

水环境标准与水资源的可持续发展

从中国水资源严重短缺的现状出发,介绍我国水环境标准体系及现阶段的实施情况,论述水环境标准与可持续发展理论在实施过程中互为条件、互相促进的辩证关系:水环境标准是实施水资源可持续发展战略的前提和保障;可持续发展战略促进水环境标准日臻健全、完善。分析我国水环境标准与可持续发展论的差距,提出今后需进一步完善水环境标准的改进对策。     

陶瓷行业推行ISO14000探析

大力推行ISO14000系列标准已成为我国陶瓷企业适应加入WTO后新的竞争形式，参与国际绿色贸易的有力武器。本文根据我国陶瓷企业的现状，分析了在陶瓷行业推行ISO14000系列标准工作中所存在的问题，提出了在我国陶瓷行业广泛推行ISO14000系列标准的对策和建议。     

MITI projects on recycling

MITI has actively done R&D on industrial technology for waste and reclamation and so there are many research items from small scale to large scale. However, Ecofactory and researches on recycling of metallic materials are introduced here. Ecofactory was proposed by the Mechanical Engineering Laboratory and is now at the stage of the Leading Research, a new research scheme in AISt. Researches on recycling of metallic materials are being done with subsidy. Those researches should contribute to both the preservatin of the global environment and effective recycling of waste materials.Abbreviations AIST Agency of Industrial Science and Technology - MITI Ministry of International Trade and Industry - NEDO New Energy and Industrial Technology Development Organization     

The bioconversion of tunisian phosphorite usingAspergillus niger

It is well known that the production of phosphoric fertilizers by traditional methods is connected with certain environmental problems, particularly related to use of acids during the decomposition of natural phosphates. A basic problem is also the fact that only 15 – 20% of the phosphorus contained in superphosphates is assimilated by plants.The development of methods to process natural phosphates without acid precipitation has potential advantages and in this respect biotechnological processing of natural phosphates in order to obtain organo-mineral fertilizers is very promising. The possibility of bioconverting the phosphorus of natural phosphates by usingAspergillus niger fungi through their deep incubation has been investigated. The investigations aim to achieve a high degree of P₂O₅ extraction from the phosphates with conversion from a non-utilizable to a utilizable form. The influence of the fungal strain, the kind of nutritive medium and the time of incubation of the process of biological mobilization of the phosphate rock is examined.It was established that the time of incubation, the kind of micro-organisms of theAspergillus niger group, as well as the kind of nutritive medium, influence significantly the process of bioconversion and the conversion of phosphorus from non-utilizable to water-soluble and utilizable for plants form. A maximum degree 90% of phosphorus extraction in the form of water-soluble and citrate-soluble has been reached for 10-day incubation. Physicochemical examinations have been carried out and they have proved that, as a result of the produced organic acids, a process of decomposition of the initial Tunisian phosphorite takes place.