In Kiruna,nearly all the residents support the migration plan in order to make LKAB able to continue the mining process.Based on current condition,a larger part of this town will be demolished by the sinking land caus...In Kiruna,nearly all the residents support the migration plan in order to make LKAB able to continue the mining process.Based on current condition,a larger part of this town will be demolished by the sinking land caused by iron ore mining processing operated by LKAB.Since then,most of the buildings in the sinking district will be relocated in another district.However,the situation in Kiruna is not quite the same as when this kind of migration happens in another place.In other place,while migration happens,even if not most,a large part of the local residents will resist and fight for their house and properties.Concentrated on the ownership of different buildings and tried find the relationship between the public and private buildings to discover some issue that will help to work on the computational urban design.展开更多
A fuzzy logic intelligent control system of pulsed MAG welding inverter based on digital signal processor （DSP） is proposed to obtain the consistency of arc length in pulsed MAG welding. The proposed control system ...A fuzzy logic intelligent control system of pulsed MAG welding inverter based on digital signal processor （DSP） is proposed to obtain the consistency of arc length in pulsed MAG welding. The proposed control system combines the merits of intelligent control with DSP digital control. The fuzzy logic intelligent control system designed is a typical two-input-single-output structure, and regards the error and the change in error of peak arc voltage as two inputs and the background time as single output. The fuzzy logic intelligent control system is realized in a look-up table （LUT） method by using MATLAB based fuzzy logic toolbox, and the implement of LUT method based on DSP is also discussed. The pulsed MAG welding experimental results demonstrate that the developed fuzzy logic intelligent control system based on DSP has strong arc length controlling ability to accomplish the stable pulsed MAG welding process and controls pulsed MAG welding inverter digitally and intelligently.展开更多
Several extensions of the logic programming language Prolog to non Horn clauses use case analysis to handle non-Horn clauses. In this paper, analytical and empirical evidences are presented to show that, by making a ...Several extensions of the logic programming language Prolog to non Horn clauses use case analysis to handle non-Horn clauses. In this paper, analytical and empirical evidences are presented to show that, by making a set of clauses less 'non-Horn' using predicate renaming, the performance of these case-analysis based procedures can be improved significantly. In addition, the paper also investigated the problem of efficiently constructing a predicate renaming that reduces the degree of 'non-Hornness' of a clause set maximally. It is shown that this problem of finding a predicate renaming to achieve minimal 'non-Hornness' is NP-complete.展开更多
文摘In Kiruna,nearly all the residents support the migration plan in order to make LKAB able to continue the mining process.Based on current condition,a larger part of this town will be demolished by the sinking land caused by iron ore mining processing operated by LKAB.Since then,most of the buildings in the sinking district will be relocated in another district.However,the situation in Kiruna is not quite the same as when this kind of migration happens in another place.In other place,while migration happens,even if not most,a large part of the local residents will resist and fight for their house and properties.Concentrated on the ownership of different buildings and tried find the relationship between the public and private buildings to discover some issue that will help to work on the computational urban design.
基金supported by National Natural Science Foundation of China(No.50375054)China Postdoctoral Science Foundation (No.20060400745).
文摘A fuzzy logic intelligent control system of pulsed MAG welding inverter based on digital signal processor （DSP） is proposed to obtain the consistency of arc length in pulsed MAG welding. The proposed control system combines the merits of intelligent control with DSP digital control. The fuzzy logic intelligent control system designed is a typical two-input-single-output structure, and regards the error and the change in error of peak arc voltage as two inputs and the background time as single output. The fuzzy logic intelligent control system is realized in a look-up table （LUT） method by using MATLAB based fuzzy logic toolbox, and the implement of LUT method based on DSP is also discussed. The pulsed MAG welding experimental results demonstrate that the developed fuzzy logic intelligent control system based on DSP has strong arc length controlling ability to accomplish the stable pulsed MAG welding process and controls pulsed MAG welding inverter digitally and intelligently.
文摘Several extensions of the logic programming language Prolog to non Horn clauses use case analysis to handle non-Horn clauses. In this paper, analytical and empirical evidences are presented to show that, by making a set of clauses less 'non-Horn' using predicate renaming, the performance of these case-analysis based procedures can be improved significantly. In addition, the paper also investigated the problem of efficiently constructing a predicate renaming that reduces the degree of 'non-Hornness' of a clause set maximally. It is shown that this problem of finding a predicate renaming to achieve minimal 'non-Hornness' is NP-complete.
