"Research on Net Primary Productivity and Its Spatio-temporal Characteristics in the Three GorgesReservoir Area (Chongqing Section) During 1998 to 2007"

基于CASA模型,利用SPOT/VGT NDVI数据、植被覆盖类型图、气象数据等,对三峡库区(重庆段)1998—2007年植被净第一性生产力(NPP)进行遥感估算,并对其时空特征进行了分析。研究结果表明:1)1998年到2007年各年植被NPP的变化整体呈现波动下降的趋势;2)1998—2007年研究区植被NPP在季节变化上由高到低依次为夏季(675.705gC.m-2)、春季(368.2gC.m-2)、秋季(207.944 gC.m-2)、冬季(49.495 gC.m-2)。夏季植被NPP最高值出现在2000年(1 022.173 gC.m-2),最低值主要出现在2006年(318.321 gC.m-2);3)1998—2007年,年均植被NPP值在184.8～515.548 gC.m-2之间,高值主要出现在渝东北的巫溪县、巫山县、奉节县及渝东南的石柱县、武隆县等区域,低值主要在忠县、涪陵区及主城区大片区域;4)各年阔叶林单位面积生产力最高,其次为灌丛和灌草丛、针叶林、草甸、水生植被,水域生产力最低。     

基于客户体验与行为运筹学的逆向服务(运筹学与控制论)

全球经济已经全面向服务和体验经济转型,传统意义上的服务更多从企业角度设计和驱动服务,属于"推动式服务"。本文首次提出了"逆向服务"的概念,其特征是"客户拉动式"、个性化、绿色低碳和可循环性。通过客户体验与行为运筹学等崭新视角对"逆向服务"的内涵进行了诠释,其核心内容是基于客户行为的最优化及决策模型、逆向服务路径及系统优化、心理认知与智力增值形式和界面创新,最终目的是实现资源循环使用、绿色环保,维护服务信誉、树立企业品牌形象、企业可持续发展。在此基础上归纳了从这一视角进行研究的科学意义,即独特性、系统科学性和绿色可持续性。接着对相关领域的研究现状和发展动态进行综述。最后对该领域研究的空白和未来的潜力进行总结。     

一种基于Concurrent Apla语言的共享内存并发分布式算法2层验证方法

形式化验证共享内存并发分布式算法已成为当前极具挑战性的问题之一,尤其是在云计算、多核、无线传感器网络、分布式数据库、区块链环境下.该文基于研究团队在形式化规约语言和方法、算法形式推导和验证方面的已有工作,以自定义泛型抽象顺序设计语言Apla为基础,进一步研究并提出简明、高抽象用于并发分布式计算的Concurrent Apla语言,使其既支持顺序算法的验证又能有效地验证并发分布式算法.在依赖-卫式推理的基础上,提出一种新颖的2层并发分布式算法形式化验证方法,其中系统层用于处理并发级验证,而组件层用于处理顺序级验证.最后,通过2个实例验证了该方法的有效性和可行性.     

PC维修的理论基础———从计算机的体系结构谈起

探索PC维修的理论对计算机本科专业教学具有意义,对维修实践活动具有指导意义。对应概念级、逻辑级和物理级3个层次,分别使用层次结构、Princeton结构和1-3-5-7结构对计算机的体系结构进行描述,在此基础之上,明确指出了3种结构和PC维修之间的关系。即计算机的层次结构描述了软硬件的分层结构,是PC软硬件故障定位的理论基础;计算机的Princeton结构描述了计算机功能构件模块化及其连接方式,是PC进行拔插法维修的理论根源;PC的1-3-5-7结构描述了物理器件的层级结构和连接方式,可用于指导PC开机过程分析。教学实践表明,既有理论分析又有DIY的实践活动,有助于学生更加深入地理解计算机专业知识。
     

具有阶段结构与嗜食行为的捕食模型动力学分析

【目的】研究正平衡点的稳定性及Hopf分支问题。【方法】针对一个时滞捕食者食饵模型,根据泛函微分方程稳定性理论,分析该模型在正平衡点处的特征方程根的分布情况,再通过数值仿真验证理论分析的正确性。【结果】时滞的增大会导致正平衡点失去稳定性,并可能使系统发生Hopf分支。【结论】时滞对于该模型的动力学特征有着重要的影响。关键词:捕食模型;阶段结构;时滞;稳定性;Hopf分支
     

超可解群的若干充分条件

研究了有限群的超可解性问题,利用子群的条件置换的性质及极小反例法,获得了有限群为超可解群的若干充分条件.     

基于软交换技术的IPH系统设计与实现

呼叫切换技术作为提高移动网络服务质量的关键,是目前移动网络技术的一个难题.为解决用户位移导致的服务器之间呼叫切换问题,通过对软交换技术及SIP协议的深入剖析,设计并实现了基于软交换技术的IPH呼叫切换系统.对IPH系统的总体架构、功能接口、状态转换及特殊消息类等关键问题进行了详细阐述,并使用WiFi-GSM双模手机对该...     

鲫鱼鱼体的化学组成和能量密度 (动物科学)

2012年6月于重庆市北碚区歇马养殖场采集鲫鱼(Carassius auratus)31尾,体质量(W)范围3.0～284.8g,体长(L)范围5.5～22.6cm,分为4个体长组,测定了鱼体化学组成,估算了能量密度。结果表明,鲫鱼含水量(WAT)、蛋白质含量(PRO)、脂肪含量(FAT)和灰分含量(ASH)占鱼体鲜重的百分比范围分别为68.58%～78.99%、7.81%～18.87%、0.55%～9.11%和3.25%～6.59%,能量密度(E)范围为2.06～7.68kJ·g-1。体质量与脂肪含量和能量密度的关系可分别描述为方程:FAT=0.025 6 W+1.59(R2=0.561,n=31,p<0.01)和E=0.010 2 W+3.94(R2=0.395,n=31,p<0.01);含水量与脂肪含量和能量密度的关系可分别描述为方程:FAT=-0.855 WAT+67.5(R2=0.753,n=31,p<0.01)和E=-0.380 WAT+33.1(R2=0.662,n=31,p<0.01)。研究提示可以用体质量和含水量估测鲫鱼的脂肪含量和能量密度;随着个体体质量的增加,水分和脂肪之间存在近等比例的替代。     

基于DFT变换的强鲁棒性水印算法

数字水印技术己经成为解决数字多媒体中版权问题和内容认证的主要工具，是学术界的研究热点之一。本文在研究DFT（离散傅立叶变换）及HVS（=人类视觉系统）模型在数字水印系统中的应用基础上，提出了一种基于HVS和DFT域的鲁棒性水印算法。该算法在原始图像的高频DFT系数中嵌入水印信息，将原始图像块及水印图像块分别按照方差大小进行排序，并按照方差的顺序将水印图像块嵌入到原始图像块中。最后对该算法做了大量仿真实验，用StirMark模拟了图像可能遭受的各种攻击，仿真结果表明该算法具有较好的鲁棒性和不可见性。