探讨积分的极限

证明了若可积函数列{fn}在[a,b]上一致收敛,则nl→im∞∫abfn(x)dx中极限运算与积分运算可交换,从而揭示了"积分的极限"解法的内在本质,并且对于limn→∞∫01xnF(x)dx及nl→im∞∫ab[f(x)]ndx两种类型给出了更为具体有效的一般性解法.     

沙棘木蠹蛾在全球的分布区预测(简报)

沙棘木蠹蛾(Holcocerus hippophaecolus)属鳞翅目(Lepidoptera)木蠹蛾科(Cossidae)线角木蠹蛾属(Holcocerus)[1],主要为害沙棘的根干部。在辽宁、内蒙古、陕西、山西等省区大面积发生,致使沙棘原料锐减,很多工厂被迫停产,给当地的林业生产造成严重的损失。笔者在辽宁省建平县调查发现,沙棘木蠹蛾除为害沙棘外,还可寄生梨树和苹果树,是我国“三北”地区本地害虫。由于从20世纪70年代末大规模引种沙棘,导致沙棘木蠹蛾暴发成灾,被认为是本地害虫危害引进树种的一个典型例子[2]。近些年来,随着我国对外沙棘援助项目的实施,特别是针对非洲沙棘…     

基于栅格的新安江模型的构建和应用

根据分布式模型和新安江模型的最新理论,建立了基于栅格的分布式新安江水文模型,该模型能够考虑网格之间的水量交换.将建立的模型用于钱塘江支流密赛流域的洪水模拟计算,并与新安江模型的计算结果进行比较,可以看出,基于栅格的分布式新安江水文模型可以很好地应用于该流域进行洪水模拟,其模拟精度于原新安江模型的精度相当.     

基于拉格朗日系统中约束力思想的编队卫星构形非线性控制方法

借鉴经典动力学中约束力的思想,提出了一种编队卫星构形精确保持的非线性控制方法．该方法首先将非线性和摄动条件下编队卫星构形保持问题转换为带有完整约束的拉格朗日动力学系统,然后将问题转换为一组微分代数方程,通过求解微分代数方程,确定编队卫星构形保持的非线性控制律．由于借鉴了约束力的思想,该方法自然地利用了编队卫星动力学系统的力学特性,具有节省能量和高精度的特点．通过对线性和非线性条件下空间圆编队卫星构形保持问题的仿真,验证了提出的非线性控制方法的这些特性．     

一种分配查询的k-匿名位置隐私保护方案

针对基于位置服务中移动终端用户位置隐私保护存在时空关联和背景知识攻击的问题,提出一种分配查询的k-匿名位置隐私保护方案。基于查询概率和欧氏距离,在相邻网格区域内筛选假位置,合并真实用户位置形成k-匿名;通过兴趣点语义四叉树为假位置分配合理的查询,从时间、位置及查询3个维度提升用户被识别的不确定性,从而增强用户隐私度。安全性分析表明,提出的方案满足匿名性、不可伪造性和抵抗查询服务跟踪等安全特性。仿真实验表明,提出的方案具有较高的隐私保护度和效率以及较低的通信开销。     

基于全局单应性变换的虚实注册方法

提出了一种基于全局单应性变换的三维注册方法,有效地解决了基于标识的三维注册系统中的误差积累问题.设计了一种新的对仿射变换鲁棒的特征点检测方法--边角点法,确保每个特征点位于多条直线的交点上,最大限度消除特征检测结果的随机性及其对特征匹配所造成的负面影响.采用基于全局单应性矩阵的虚实配准方法,利用前一帧所对应的全局单应性矩阵对初始图像作射影变换,并将变换后的图像与当前图像做特征匹配,直接建立当前帧与初始帧之间的单应性关系,从而解决了传统方法所存在的误差积累问题.实验结果表明本算法有效可行.     

铝箔碎屑收集负压管仿真优化设计

针对铝箔剪切机的碎屑收集问题,该文研究基于计算流体力学(CFD)使用负压管收集方法。在分析流场压力-速度耦合分布特征的基础上,探讨了不同管路结构对双支管吸力的影响规律,并给出管路优化设计建议。仿真结果表明：设置2个挡板时,第2个支管可形成有效负压及吸力,但在第1个支管附近会形成较大的低速回流区,气流流出支管;当2个支管共用1个出口时,2个支管均可产生负压及吸力,但支管与出口距离不一致时会导致支管速度差异达72.17%;优化后的等距型管路结构的支管速度差异降低至约2%,可在支管口形成均匀吸力,满足工业需求;随着挡板高度增加,支管口速度值、支管口速度差异分别呈现增大、减小趋势;支管与主管倒角设置对气流有良好的导向作用,支管速度可提高约9.64%。     

细水煤矿"3.19"瓦斯爆炸事故救灾与分析

本文介绍了细水煤矿"3.19"瓦斯爆炸事故的抢救经过,分析了事故发生的原因,对事故抢救过程中关键环节决策的科学性进行了分析,最后经过科学决策和科学救援,在极短的时间内完成了救援任务,对今后处理类似矿井事故实施救灾指挥,有一定的借鉴作用.     

基坑工程中悬臂桩支护结构设计

应用朗肯土压力理论及力学平衡原理对桩支护结构(嵌固深度、桩长、最大弯矩值及其位置)进行设计,同时对受侧压较大的圆截面桩进行配筋计算,并采用远离中和轴的不均匀布置方式极大地节约了钢筋的用量.     

基于收缩视角的吉林省城镇化要素协调性测度

侧重于城市收缩的视角,综合引用标准差椭圆、协调耦合度、灰色关联系数等计量模型,借助ArcGIS和SPSS分析软件,对吉林省人口、用地、经济城镇化演进特征与协调性特征进行了分析研究.结果表明:(1)近10年来吉林省城镇人口、建设用地、城市经济指标均呈现出收缩的端倪,并且城镇化要素成长的空间差异性显著;(2)中部城市群是各...