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.     

基于VB开发试题库系统

系统以英语教育为背景进行设计,旨在提供一个适合形成性测试和阶段性测试的自动组卷系统,能快速方便地提供各种要求的试卷,帮助教师把握教学的进度,及时地反馈教学中的问题,以使改进教学方法和调整教学重点。     

考虑天然气混氢的园区综合能源系统电制氢优化配置

电制氢和天然气混氢技术在促进可再生能源消纳、降低系统碳排放量方面具有良好的理论研究和工程应用前景。面向含高比例可再生能源的园区综合能源系统,提出一种计及天然气混氢及跨季节存储的电制氢优化配置方法。首先梳理了含氢园区综合能源系统的运行框架和能量流动关系,建立园区内部能源生产、转换与存储设备的数学模型,其次以设备的年化投资成本、园区综合能源系统的年度运行成本和碳交易成本最优为目标,提出电制氢优化配置模型。最后通过算例分析表明电制氢及天然气混氢技术的引入可提升可再生能源的消纳能力,降低系统的整体经济成本和碳排放量,并分析了电解槽投资成本、混氢体积分数上限以及经济性和低碳性成本权重系数变化对规划运行结果的影响。关键词：园区综合能源系统;电制氢;天然气混氢;碳交易;跨季节储氢;优化配置 中图分类号：TM732     

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

Is compulsive internet use related to sensitivity to reward and punishment,and impulsivity?

Aim of the present study was to examine whether the personality correlates sensitivity to reward and to punishment, and impulsivity predict compulsive internet use (CIU). Furthermore, the predictive value of these personality correlates was compared to the predictive value of factors relating to psychosocial wellbeing. The results showed that particularly rash spontaneous impulsivity predicts CIU and that this personality factor is more important than psychosocial wellbeing factors. Sensitivity to reward, which is supposed to play a role in craving processes associated with substance abuse and eating disorders, could not be related to CIU. The data suggest that internet users who are characterized by an impulsive personality feature, are less able to control their use of the internet, which makes them more vulnerable to develop CIU.     

基于工学结合的网络综合布线教学改革实践

该文阐述了网络综合布线在课程体系的作用,提出了工学结合的教学设计和教学方法,最后给出教学改革产生的教学效果。     

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.     

An inexact hybrid projection-proximal point algorithm for solving generalized mixed variational inequalities

In this paper, we investigate an inexact hybrid projection-proximal method for solving a class of generalized mixed variational inequalities in Hilbert spaces. We construct a general inexact hybrid projection-proximal point algorithm, in which an inexact relaxed proximal point step is followed by a suitable orthogonal projection onto a hyperplane. Under some suitable conditions concerned with the pseudomonotone set-valued mapping T, the nonsmooth convex function f and the step size λ_k, we prove the convergence of the inexact hybrid projection-proximal point algorithm for solving generalized mixed variational inequalities in Hilbert spaces.