温度是影响害虫生长发育最重要的因素之一,为了解气温的变化趋势以及在此背景下油松毛虫Dendrolimus tabulaeformis Tsai et Liu幼虫越冬及上下树的动态变化,本文根据辽宁省建平县1988—2009年期间油松毛虫上下树发生期资料和气象资料,...温度是影响害虫生长发育最重要的因素之一,为了解气温的变化趋势以及在此背景下油松毛虫Dendrolimus tabulaeformis Tsai et Liu幼虫越冬及上下树的动态变化,本文根据辽宁省建平县1988—2009年期间油松毛虫上下树发生期资料和气象资料,分析了建平县气温年变化趋势和油松毛虫上下树发生期年变化趋势,探讨了发生期与气温之间的相关性,结果表明:近22年(1988—2009)建平县气侯变暖的趋势显著,线性倾向估计分析发现年均气温、年均最低气温和年均最高气温均呈现出上升趋势,气候倾向率分别达0.50、0.59和0.36℃/10年,四季中春季气温的升幅最大,夏秋两季次之,冬季最低。在此气候变暖背景下油松毛虫幼虫上下树及越冬发生着一定的变化趋势,其中:下树总体呈现出提前发生、提前结束、下树历期缩短的变化趋势;翌年幼虫上树期则呈现出延迟发生、提前结束、上树历期缩短的变化趋势;整个越冬期长度则呈现出延长的变化趋势。相关性分析认为气候变暖对油松毛虫的下树活动具有直接影响,主要表现为下树结束期随气候变暖而显著提前,在不考虑其它因素的影响下,9—10月均气温上升1℃则下树结束期会提前约2 d,而幼虫越冬及上树发生期表现为并不受气候变暖的直接影响。研究结果为有效控制油松毛虫危害提供了理论依据。展开更多
This paper presents a formal approach to design of a solver of an intelligent management information system and its implementation. The approach implies set theoretic modeling based on the general systems concepts and...This paper presents a formal approach to design of a solver of an intelligent management information system and its implementation. The approach implies set theoretic modeling based on the general systems concepts and implementation in the extProlog.There are research efforts which attack (optimization) problems using the set theory and logics. Furthermore, they use logic programming languages for their implementation. Although their methods look quite similar to the approach of this paper, there are clear differences between them. This paper is interested in exploration of the solving system rather than algorithms.The paper first presents a design and implementation procedure of a solver. Then, classification of problems is discussed. The least structured class of the classification is the target of this paper. A data mining system is an example of the class.Formal theories are derived for the design procedure assuming the least structured case. A solving strategy, which is called a hill climbing method with a push down stack, is proposed on the theories.A data mining system is used as an example to illustrate the results.Finally, a full implementation in extProlog is presented for the data mining system.展开更多
文摘This paper presents a formal approach to design of a solver of an intelligent management information system and its implementation. The approach implies set theoretic modeling based on the general systems concepts and implementation in the extProlog.There are research efforts which attack (optimization) problems using the set theory and logics. Furthermore, they use logic programming languages for their implementation. Although their methods look quite similar to the approach of this paper, there are clear differences between them. This paper is interested in exploration of the solving system rather than algorithms.The paper first presents a design and implementation procedure of a solver. Then, classification of problems is discussed. The least structured class of the classification is the target of this paper. A data mining system is an example of the class.Formal theories are derived for the design procedure assuming the least structured case. A solving strategy, which is called a hill climbing method with a push down stack, is proposed on the theories.A data mining system is used as an example to illustrate the results.Finally, a full implementation in extProlog is presented for the data mining system.
