模式伴随化的基本规则及代价分析

从程序语法结构而不是从具体问题本身出发,提出了基于最小程序行为分解的模式伴随化方法.此方法无论在算法设计上还是在软件实现上均更具普遍性,并具有许多独特的优点.它保留了断点存储技术在减少浮点计算量和降低存储开销方面的优点,同时克服了其仅仅适用于计算过程均匀可分假设的局限性.首先给出了模式伴随化实现的基本规则,详细介绍了基于最小程序行为分解的模式伴随化方法.然后,基于自动微分(AD)基本假设定义了可分程序空间和微分代价函数,得到了两个反映计算微分代价的基本常数σ和μ.在计算过程均匀可分性假设下,讨论了断点存储在浮点计算量和空间存储开销上的最优实现,证明了深度划分在这两个方面同时具有对数复杂性的结论.最后,详细论证了基于最小程序行为分解的模式伴随化方法在浮点计算量和空间存储开销两个方面同时具有过程引用和划分深度依赖性.     

三江源区生态产品价值核算

 摸清自然资源资产家底是推进生态文明建设、完善生态补偿机制和建立生态文明绩效考核机制的基础。三江源区是“中华水塔”,是中国重点生态功能区、国家公园体制试点区。针对三江源区生态产品类型,从物质量和价值量两个角度构建了生态产品评价指标的测算方法,采用直接市场价格法和替代市场法核算生态产品价值。结果表明：三江源区2012年生态产品价值为1986.43×10⁸元人民币,是同期该区国民生产总值的8.27倍,地均生态产品价值为5093元/hm²。三江源区2012年农产品价值为327.5×10⁸元,干净水源价值为1098.56×10⁸元,清新空气价值为560.37×10⁸元。生态产品是三江源区非常重要的自然资源资产,其价值远超过经济生产价值。将生态产品价值纳入国民经济统计核算体系,建立以生态产品为核心的新型绩效考评机制,有助于生态保护绩效考核和自然资源资产离任审计制度的建立。     

基于VRNET的卫星路由算法研究与仿真

分析了目前已有卫星路由算法,讨论了其中具有代表性的多层卫星网络路由算法MLSR,在此基础上提出并设计了一种适合LEO&MEO&GE0多层卫星网络的路由算法DTMLSR,该算法充分利用了卫星通信网络的规律性和可预知性,利用地面网关来传输部分链路信息,有效地减少了路由计算开销,缩短建路时间.另外通过增加卫星网络流量监测及接入卫星的选取机制,平衡了网络流量分布,降低了网络的丢包率,并在一定程度上减少了通信业务的端到端时延.