Reasonable transportation route plays a crucial role in successful outsize cargo highway transportation. To select the best transportation route for outsize cargo highway transportation, a multi-attribute group evaluation method, where weights and the values are both expressed in the terms of linguistic values, is put forward in this paper. A case of route evaluation based on this method shows that it is feasible and effective.
The synergized dynamic contradiction separation based automated deduction theory has provided a novel logic based automated deduction reasoning framework, which extends the static binary resolution inference rule to a dynamic multiple contradiction separation based automated deduction mechanism. This novel contradiction separation based automated deduction mechanism is characterized as a dynamic, multi-clauses involving, synergized, goal-oriented and robust automated reasoning framework. In order to further improve the efficiency and feasibility of this novel automated deduction mechanism, this paper proposes some strategies for clause or literal selection during the automated deduction process, which consider mainly the synergized effect of multi-clauses during the deduction process. Some examples are put forward to illustrate the feasibility of these proposed strategies.
2nd International Conference on Asian-European Environmental Technology and Knowledge Transfer
June 5, 2008 - June 6, 2008
(1) College of Environmental Science and Engineering, Southwest Jiaotong University, Changed 610031, China; (2) College of Foreign Languages Institute, Southwest Jiaotong University, Chengdu 610031, China
Taking the industry park of Qing Baijiang as the example, this paper selected the key enterprises by the theory of key species and designs the eco-industrial chains by the theory of the food chain and food net. And following the principle of cycle economy, the planning of the eco-industrial park in Qingbai Jiang is carried out from three different levels for the purpose to use materials and energy rationally and realize "win-win" of environment and economy.