浅谈基质金属蛋白酶及其与口腔疾病的关系

基质金属蛋白酶(matrix metalloproteinases,MMPs)是一组锌钙依赖性蛋白水解酶家族,降解细胞外基质(ECM),广泛参与人体各种组织的生理、病理过程。MMPs基因表达受多种因素调控,包括细胞因子、生长因子、激素、化学刺激等[1]。近年来在牙体组织中的生理与病理过程中发挥作用,许多学者对MMPs表达的调控因素及机制做了许多研究,本文拟就这一方面的国内外研究进展作一综述。     

面向半结构化数据的树逻辑及其性质研究

半结构化数据正以其灵活性而成为解决Internet环境下互操作语义层面问题的重要工具和网络数据交换格式的标准．从基础理论层面上对版结构化数据进行研究，在考察了进程代数和空间逻辑的有关结果后，从模型和逻辑系统的角度对半结构化数据特别是XML语言进行刻画．在[1]的基础上，在数据模型中加入了受限算子，并提出一种新的空间逻辑——树逻辑，在其中引入了一个新的模态算子，它们的意义在于能够对私有数据的性质进行刻画和表达．此外，通过修正数据模型中的同余关系，使得模型符合数据的有序性，从而使其更为合理．在此基础上证明了树逻辑系统公式可满足性的不可判定性，从而说明针对整个树逻辑系统的模型检测算法是不存在的．同时选择了其中一个子逻辑系统，给出了其模型检测算法，并证明了该算法的正确性．     

基于无线电掩星观测的火星电离层观测研究进展

火星电离层早期的观测数据非常少,除了Viking登陆器对火星电离层的在位测量外,火星电离层的主要物理信息是通过掩星观测方法得到的.近年来,Mars Global Surveyor和Mars Express轨道器通过掩星观测的方法对火星的上层大气和电离层进行了长期的观测,得到了大量的火星电离层电子密度廓线资料.火星电离层受到来自太阳EUV和X射线辐射、太阳风、太阳耀斑、中性大气、表面壳磁场、宇宙射线、流星等多种因素的影响,使其结构发生瞬态或季节性的变化.本文介绍了行星无线电掩星探测的基本原理和技术特点,回顾了国内外科学家们基于已有的火星掩星观测数据（主要是Mars GlobalSurveyor和Mars Express）在火星电离层研究中的一些最新科学成果,并详细介绍了火星电离层的结构和火星夜间电离层的主要特征.     

基于双正交小波混合核KPCA-SVM财务危机预警研究

目前基于核主成分分析方法(KPCA)以及支持向量机(SVM)的财务危机预警模型中,所使用的核函数基本都是单核函数。混合核函数能够充分利用不同核函数的特征映射能力,在处理非线性关系时较单核函数具有更优越的性能。基于双正交小波在非线性信号处理方面的良好性能,构造了一类新的双正交小波核函数并证明其满足正定核的容许性条件,在此基础上,构造了新的双正交小波混合核函数。提出了基于双正交小波混合核函数的KPCA-SVM财务危机预警模型,并以我国证券市场上市公司为对象进行实证研究。结果表明,所构造的双正交小波混合核函数能够有效改进KPCA的特征提取性能并提高SVM模型的预测精度,显著改善了财务危机预警精度。     

月球全球导航卫星系统星座分布的优化设计

本文讨论了类地行星全球导航定位星座空间构型设计的原则,初步对月球全球导航卫星系统星座的分布构型进行了分析设计。讨论了月球导航星座空间分布的卫星覆盖特性与导航定位性能,评估了最佳星座设计,本研究可以为将来建立月球导航卫星系统提供星座设计参考。     

鲁棒环境演算类型演化系统的扩充

移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算[1]是针对这种演算的一种改进.文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演算进行.在[2]的基础上,进一步讨论了此问题.通过引入消息类型和消息体类型,并将之与原有的进程类型和环境类型相结合,提出了一个支持类型演化的能够对带有消息传递的进程项类型化的类型系统,从而将[2]的工作扩充到整个鲁棒环境演算中.证明了类型系统的正确性.同时给出了一个最小类型算法,在给定类型上下文的条件下,算法能够计算出任意进程项的类型;并证明了算法的可靠性和完备性.     

对中国政府网站建设的几点思考--从2005年中国政府网站绩效评估结果谈起

2005年中国政府网站绩效评估工作已经结束，76个国务院部委及相关单位的部门网站（简称部委网站）31个省级政府（不合港澳台）网站、333个地市级政府（包括计划单列市、省会城市和地级市）网站，以及随机的408个县级政府网站参加了这次评估。“信息公开、在线办事、公众参与和网站设计”是这次中国政府网站绩效评估工作的四个一级指标。     

鲁棒环境演算中的互模拟同余关系

移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型，移动环境演算是一种广为使用的描述移动计算的形式化模型．针对这种演算的一种改进——鲁棒环境演算，提出了一个新的标号转移系统，并在此基础上引进了一种互模拟同余关系．同时，作为上述工作的应用，给出了一些重要进程等价性定律的简洁证明．     

半干旱地区土壤湿度变化特征

利用兰州大学半干旱气候与环境观测站(SACOL)站2006年5月至2009年12月5～80 cm的土壤体积含水量间隔半小时的数据,分析了半干旱地区土壤湿度变化特征.结果表明:5～40 cm土壤湿度有明显的季节变化,呈现出三高三低的变化特征,80 cm土壤湿度季节变化不明显;土壤湿度浅层比深层波动大,5～80 cm各层土壤体积含水量平均日较差依次为1.08％,0.57％,0.25％,0.11％,0.04％,相比于10 cm土壤体积含水量5.71％的方差,80 cm的方差只有2.69％;土壤湿度大小因土壤深度、季节和天气背景不同而有所差异,春、夏、秋季土壤湿度随深度加深呈降低型,冬季呈现增长型;随着深度的加深,上下层土壤湿度的相关性逐渐减弱,滞后时间在增加,滞后时间最短为3.5h,最长为35 h.