地球内部水的分布与循环对了解地球内部的物理化学性质、地球动力学和地球的演化起着重要的作用.本文综述了地球内部水含量的探索方法、存在状态、地球各个层圈水的储存能力、高温高压下矿物中的溶解度以及地球物理观测(大地电磁和地震波)结果等方面的研究进展.研究结果表明,地球内部储存的水可能超过了地球表面大洋水的数倍.微量的水能够引起地震波速度的降低和电导率的显著增加.

采用Gröbner基方法,可以把一个在有限群作用下不变的多项式写成不变环的生成元的多项式.核心问题是如何有效地计算这个正维不变理想的Gröbner基.本文引入一个有效提升算法来计算这组Gröbner基.当用straight line program模型对整个计算过程进行复杂度分析时,可以把计算开销控制在多项式时间内.

通过比较Leggett不等式和Bell不等式,研究了Leggett不等式中非定域项的特点,给出了非定域项在不同幂次下Leggett不等式的形式.发现在非定域项不同的幂次下,推广的Leggett不等式对应着不同强弱的两体关联,即关联的大小可由幂次δ的取值来标定.并对推广的Leggett不等式和Bell不等式在量子力学下破坏大小进行了比较,分析了破坏大小和非定域项的关系.

利用同步辐射光和反射飞行时间质谱,研究了丙烯酸甲酯9.0~15.5 eV能量范围的真空紫外光电离和光解离.实验测量丙烯酸甲酯的光电离质谱和解离碎片离子m/e=86(C₄H₆O⁺₂), 85(C₄H₅O⁺₂), 59(C₂H₃O⁺₂), 58(C₃H₆O⁺), 55(C₃H₃O⁺), 42(C₃H⁺₆), 31(CH₃O⁺), 27(C₂H⁺₃), 和15(CH⁺₃)的光电离效率曲线.并利用量子化学从头算(G3),计算碎片离子的能级,推测它们的解离通道.计算的电离能和出现势与实验结果符合很好.结果表明,丙烯酸甲酯的光电离解离通道以单键断裂反应为主.

以鄯善县产业结构作为研究对象,结合鄯善县经济所处发展阶段及产业发展现状特点构建评价指标体系.以DEA方法为手段,用Matlab软件进行数学计算,对鄯善县2002~2006年产业结构效率进行定量分析和评价.结果表明,鄯善县产业结构经济效益整体上相对有效,其中2002年和2003年均为DEA有效,2004年、2005年和2006年则是弱DEA有效.最后排序表明,2002年的产业结构效率是所选5年中最优的,可以作为鄯善县产业结构优化的一个参考.

利用SLEUTH模型,在3种规划预案下研究沈阳-抚顺都市区城市规划。结果表明,低生态保护的城市增长预案导致了城市快速扩张和农田、林地等其他景观类型面积迅速减少.严格的生态保护规划预案虽然能很好地保持聚集的城市增长格局,减少对其他景观的侵占,但限制了城市增长速度,与区域经济发展现状相矛盾.如果扩散的城市增长格局能得到进一步的控制,适当生态保护的城市增长预案将是沈阳-抚顺都市区未来发展的推荐预案.

结合农业生态系统特征,以实例展示了在仅有短期有限野外监测数据及少量野外试验条件下,通过合理概化、参数分步识别与过程综合分析等,使模型识别的可靠性提高,成功地建立了农业生态系统地下水氮面源污染数值模型,并反演出表征农业氮面源污染特征的地下水入渗补给强度和氮补给量.本研究对定量评价农业生态系统地下水氮面源污染,特别是对野外基本调查工作部署与根据有限的基本数据较好地模拟识别特征参数,具有一定借鉴意义.

提出了一种基于光场渲染的动态3D目标重构的方法.目前基于图像建模的方法对于复杂场景难以建模,而基于图像渲染的方法因数据量大不利于动态场景的实时渲染.因此采用了模型和图像相结合的方法,从多视点视频图像中重建动态3D模型,采用光场映射算法对重建的3D模型进行光场采样,然后对样本分解压缩.实验结果表明,在保证真实感的同时,减少了数据量,并可实现动态3D目标的重构.

针对差分式电容传感器,提出了一种结构简单的低噪声、低失调电容读出电路.该电路由2相非交叠时钟控制,且对电路的寄生电容不敏感,可直接将传感器电容的变化量转化为电压信号输出.相关双采样(CDS, correlated double sampling)技术有效降低了电路的低频噪声和失调电压的影响,提高了读出电路的分辨率和动态范围.读出电路在0.35μm 2P4M标准CMOS工艺下设计流片,芯片面积为0.7mm×1.8mm,5V电源电压.电路工作在1MHz的时钟频率下,实现了0.4aF/√Hz的电容分辨率和118dB的动态范围.

在对地观测领域,高光谱图像得到了广泛应用,但存在数据量大、波段间相关性高等问题. 针对以上问题分析了已有的波段选择方法,提出了基于信息量及类间可分离性准则的遗传算法对高光谱图像进行波段选择:构造波段互相关系数矩阵进行子空间划分;利用联合熵作为组合信息量的标准,Bhattacharyya距离作为类间可分离性标准,构造遗传算法的适应度方程,改进了遗传算法中的选择算子. 最后用AVIRIS图像对提出的算法进行试验,并利用最大似然分类法对最优波段组合进行分类,总体分类精度达到94.24%,Kappa系数达到0.94.

提出了一种将DiffServ over MPLS技术应用于深空网络通信中的网络QoS控制方案,以提高各种业务的QoS控制性能. 仿真实验结果表明,该方案较好地满足了深空通信网络中视频、语音等流媒体通信对传输延迟、丢包率等性能的要求.

着重设计了一种基于二跳生成树的可扩展分簇定位算法.首先对传感器网络进行分簇、并利用簇头节点构造一个二跳生成树;在此基础上,由簇头计算各簇成员节点的局部坐标;最后,从生成树根节点开始,自顶向下合并各簇,生成所有节点的全局坐标,完成节点的相对定位. 理论分析与实验表明,本算法相对于现有的SDGPSN算法,能够有效提高定位覆盖率和定位精度,减少时间和通信开销,并具有更好的可扩展性.

在深入研究分组密码及其工作模式的基础上,引用正交空间的成熟理论,提出一种基于生长树的复合模型. 该模型对各经典分组密码算法加密后的密文进行复合,生成安全强度更高的输出序列. 理论分析和实验结果表明,该模型性能良好.

提出一种新的计算机体系结构模型——超内核系统模型,使专用系统可以容忍代码错误,提高可生存性.并且实现了一个超内核系统开发平台,完成了网络防火墙原型系统.该网络防火墙原型系统在同样的硬件平台上比优化的Linux防火墙包转发延时少大约20％.

针对一类隐私性问题,一些特定组织中的成员只愿意与本组成员进行一些交流,或者发布一些请求;接收方不是该小组的成员时,不能获知消息;当双方在一个小组时,消息能够被阅读并要求经过认证;通信结束时,发送方不希望接收方向其他人证明他曾发送某请求.目前所有的相关研究都不能很好地解决这类问题.我们形式化地描述了这个问题,构造了一个非交互的可否认的秘密认证协议,并证明了该协议的安全性和可否认性.

基于噪声影响较小的极化干涉数据的互相关矩阵,提出了一种新的林高估计方法.该方法使用互相关矩阵的奇异值分解代替ESPRIT方法中相干矩阵的特征分解,获取森林散射中心的干涉相位信息,再由森林散射中心的干涉相位差估计森林高度.该方法不但能抑制噪声对森林散射中心干涉相位估计的影响,还提高了运算效率.L波段松树林极化干涉仿真数据验证该方法的有效性.

设计了一种对Gen2 RFID标签的振荡器频率进行校准的方法. 该方法设计了时钟校准命令; 并给出了读写器使用时钟校准命令对标签时钟频率进行逐次逼近的校准过程. 验证结果表明,带有8位校准寄存器的电路可以把时钟偏差从50%校准到0.4%以内.

虽然多数的现有监控工具可以提供关于系统整体性能的宏观信息,但是这样的数据并不能帮助用户理解系统内部的运行状况.为了揭示内部行为,提出了一种基于监控元数据的方法来收集系统执行过程中的内部组件状态和通信.新方法能应用于许多网络通讯协议和应用程序类型,通过信息跟踪机制记录系统内部发生的关键性能事件,并捕获它们之间的时序和因果关系,为系统诊断提供支持.