关于弱内射模几个性质的研究

弱内射模是同调代数研究的重要模类,利用整环上R-模的W1-覆盖探讨了弱内射模的一些性质.     

网络流量测量中一种分布式有效测量点选择算法

提出了一种分布式求解弱顶点覆盖集的近似算法，用于网络流量有效测量点的选择，该算法不需要维护网络拓扑的全局信息，仿真结果表明，比较现有算法，新算法能找出更小的弱顶点覆盖集，具有更好的町扩展性。     

土地利用与土地覆盖变化对生态环境质量的影响

土地利用/覆盖变化(LUCC)作为全球变化的一个重要内容,对全球生态环境产生了巨大的影响.一方面通过影响气候、土壤、水文以及地貌而对自然环境产生了深刻的影响;另一方面造成了生态系统的生物多样性,物质循环与能量流动以及景观的巨大变化,使生态系统的结构和功能发生了改变.     

地理国情普查基本内容研究

地理国情是基本国情的重要组成部分,也是统计分析的重要数据源。本文以四川省地理国情普查工作为例,主要介绍地理国情普查的前期准备工作,依据遥感影像进行地理国情要素和地表覆盖信息采集的相关内容,以及后期的内业编辑整理工作,为地理国情普查工作的顺利进行及后期研究提供依据。     

基于距离和角度辅助的覆盖空洞修复算法

针对无线传感器网络中的覆盖空洞问题,提出了一种距离和角度辅助的覆盖空洞修复策略(DAAHP)。DAAHP算法在空洞边缘节点的通信范围内激活与其位置最优的冗余节点替换失效节点,从而达到修复覆盖洞的目的。结果表明,对于同一形状大小的覆盖空洞,与DFNFP算法和DACHP算法进行对比研究,DAAHP在覆盖空洞修复面积以及节点利用率方面都有明显的优势。     

地理国情监测地表覆盖数据易混淆地物区分

该文通过深入研究国家制定的《第一次全国地理国情普查总体方案》等相关技术要求,结合天津市的自然条件和社会发展现状,以天津市北闸口镇为实例,进一步分析了该地区1∶2000系统数据和遥感影像数据的实际情况,对于内业影像解译时易混淆地物的区分方法做了详细的描述。     

业务流程建模与测试方法研究

针对复杂业务流程设计测试效率低、自动化程度不高、测试用例正确性难以保证的问题,在研究接口自动机模型的基础上,提出了一种基于模型的业务流程测试方法。该方法首先采用扩展带约束的接口自动机对业务流程设计进行形式化描述,并给出了从业务流程设计模型到带约束的接口自动机模型的转换算法;然后基于模型完成了对业务流程设计与需求的一致性验证,将验证后的接口自动机模型作为业务流程的测试模型,通过其特有的"乐观方法"和博弈思想实现了流程间的嵌套调用组合;最后定义了业务流程的测试覆盖准则,并在满足活动约束条件组合覆盖准则的前提下,设计了相应的测试用例生成算法。实例分析表明:该方法能够简化测试过程,可用于业务流程设计的测试用例自动化生成,有效保证了测试用例的正确性,提高了测试效率。     

看数字

正0016.1吨据海关总署官方网站消息,1月6日下午,国家林业局和海关总署在广东东莞举行"执法查没象牙公开销毁活动",公开销毁6.1吨象牙,这也是中国首次公开销毁执法查没象牙。资料显示,2012年有超过34吨象牙被查获。2013年被查获的象牙总量为41.6吨。     

小型无人机协同覆盖侦察路径规划

针对多架小型无人机对含有障碍的区域覆盖侦察最佳路径规划问题,首先用方形单元格将待侦察区域离散化,利用基于初始位置的划分方法划分出与无人机对应的子区域,把问题转化为单无人机优化问题以降低计算复杂度;然后在最小生成树的基础上提出节点交换法,对各子区域的形状和最小生成树进行调整优化;最后依据优化后的最小生成树为每个子区域构建侦察路径。仿真验证了该方法产生的规划路径能够完全覆盖指定区域且无重叠,路径长度和转弯数最小。