Use of a dark object concept and support vector machines to automate forest cover change analysis

An automated method was developed for mapping forest cover change using satellite remote sensing data sets. This multi-temporal classification method consists of a training data automation (TDA) procedure and uses the advanced support vector machines (SVM) algorithm. The TDA procedure automatically generates training data using input satellite images and existing land cover products. The derived high quality training data allow the SVM to produce reliable forest cover change products. This approach was tested in 19 study areas selected from major forest biomes across the globe. In each area a forest cover change map was produced using a pair of Landsat images acquired around 1990 and 2000. High resolution IKONOS images and independently developed reference data sets were available for evaluating the derived change products in 7 of those areas. The overall accuracy values were over 90% for 5 areas, and were 89.4% and 89.6% for the remaining two areas. The user's and producer's accuracies of the forest loss class were over 80% for all 7 study areas, demonstrating that this method is especially effective for mapping major disturbances with low commission errors. IKONOS images were also available in the remaining 12 study areas but they were either located in non-forest areas or in forest areas that did not experience forest cover change between 1990 and 2000. For those areas the IKONOS images were used to assist visual interpretation of the Landsat images in assessing the derived change products. This visual assessment revealed that for most of those areas the derived change products likely were as reliable as those in the 7 areas where accuracy assessment was conducted. The results also suggest that images acquired during leaf-off seasons should not be used in forest cover change analysis in areas where deciduous forests exist. Being highly automatic and with demonstrated capability to produce reliable change products, the TDA-SVM method should be especially useful for quantifying forest cover change over large areas.     

Reliability analysis on systems with self-healing and self-repairing under different environments and shock models

Inspired by the process of self-healing of biological damage, high technology materials with self-healing and self-repairing mechanisms have been developed for high reliability and long lifetime. Therefore, the reliability modeling on intelligent systems with healing performance has become a research hotspot. Based on the diversity of healing mechanisms, this paper proposes a two-phase reliability model method on self-healing and self-repairing systems. Impacts of environments, shock loads, self-healing, and self-repairing mechanisms are taken into account in this novel model. Besides, system lifetime and some reliability indexes under two shock models are derived, respectively. Moreover, Monte Carlo simulations are conducted to verify the accuracy of reliability under two models. Finally, an engineering case of metallized film capacitor is provided to illustrate the effectiveness and applicability of the proposed models by comparing numerical results and simulation results.     

浅析40T支架搬运车液压系统油温变化对其效率的影响

介绍了油温变化对40T支架搬运车液压系统油液黏度、液压介质和橡胶类密封件的影响,分析了液压系统的总发热功率、总散热功率,结合动态热平衡的计算,找出了液压系统总效率与油温变化之间的关系,并给出其函数关系式。根据这种关系,通过一种工况的油温实测数据取样,计算出相应的效率值,定量地验证了液压系统油温变化引起效率变化的关系,得出了总效率随着温度变化而变化的结论,即温差增大时,总效率降低;温差减小时,总效率增大。通过该结论可以全面掌握系统的工作状态,通过降低油温有效提高效率。     

A simple model for laser drilling

A simple mathematical model of laser drilling is proposed. Assuming axi-symmetry of the process around the axis of the laser beam, a one-dimensional formulation is obtained after cross-sectional averaging. The novelty of the approach relies on the fact that even after dimension reduction, the shape of the hole can still be described. The model is derived, implemented and validated for drilling using lasers with intensities in the GW/cm² range and microsecond pulses.     

Goal Change in the Situation Calculus

Although there has been much discussion of belief change (e.g.[4, 21]), goal change has not received much attention. In thispaper, we propose a method for goal change in the frameworkof Reiter's; [12] theory of action in the situation calculus[8, 10], and investigate its properties. We extend the frameworkdeveloped by Shapiro et al. [17] and Shapiro and Lespérance[16], where goals and goal expansion were modelled, but goalcontraction was not.     

经典传说的新语境分析:以牛郎织女传说为例

牛郎织女传说作为我国四大传说之一,在历史传承中发生了文化变迁,其影响日益式微。在当代语境下,后现代主义思潮的推动,新科技手段的应用,为牛郎织女传说的传承提供了新的机遇。本文拟就对牛郎织女历史语境及当代语境作出分析,同时对牛郎织女未来保护与传承进行构想与展望,思考牛郎织女传说的发展辙迹。     

受控振动柱体对波浪影响的数值模拟研究

以不可压缩黏性流体的Navier-Stokes方程为控制方程,采用RNG k-ε湍流模型,利用VOF方法追踪运动的自由表面的方法,建立了三维数值波浪与振动柱体相互作用的模型.基于经典绕射理论验证了波浪绕固定柱体传播的数值模型的可靠性,再采用动边界技术赋予柱体振动规律,研究受控振动柱体对波浪传播的影响,并通过控制柱体初始振动相位变化,系统地给出了在柱体振动的不同初始相位下柱体前后波浪变化的规律.     

中原经济区建设与河南高职教育发展方式研究

面对中原经济区建设的现状,河南高职教育也应紧跟时代步伐,切实转变发展方式,坚持重质量、重内涵,增强政府的主导作用、优化专业结构、创新办学模式,实现高职教育的健康、协调、持续发展,从而为中原经济区建设提供强有力的人才支撑。     

Dynamics of polymer electrolyte fuel cells undergoing load changes

Numerical simulations are carried out for a single-channel polymer electrolyte fuel cell (PEFC) undergoing a step increase in current density. The objective is to elucidate profound interactions between the cell voltage response and water transport dynamics occurring in a low-humidity PEFC where the membrane hydration and hence resistance hinges upon the product water. Detailed results are presented to show that a step increase in the current density leads to anode dryout due to electroosmotic drag, while it takes several seconds for water back-diffusion and anode humidified gas to re-wet the anode side of the polymer membrane. The water redistribution process is controlled by water production, membrane hydration, electroosmotic drag, and water diffusion in the membrane. The anode dryout results in a substantial drop in cell voltage and hence temporary power loss. Under extreme situations such as dry anode feed, large step increase in the current density, and/or lower temperatures, the cell voltage may even reverse, resulting in not only power loss but also cell degradation. Finally, the dynamics of current distribution after a step change in gas humidification is numerically examined.     

点到平面距离公式的一种新证法

该文根据球面上一点切平面的方程和平移变换,对空间任一点P(x0,y0,z0),分P点为坐标原点和P点不是坐标原点两种情形,给出了到平面π:Ax By Cz D=0的距离公式d=|Ax0 By0 Cz0 D|/√A2 B2 C2 的一种新证法.