排序方式: 共有21条查询结果,搜索用时 968 毫秒
1.
半结构化数据正以其灵活性而成为解决Internet环境下互操作语义层面问题的重要工具和网络数据交换格式的标准.从基础理论层面上对版结构化数据进行研究,在考察了进程代数和空间逻辑的有关结果后,从模型和逻辑系统的角度对半结构化数据特别是XML语言进行刻画.在[1]的基础上,在数据模型中加入了受限算子,并提出一种新的空间逻辑——树逻辑,在其中引入了一个新的模态算子,它们的意义在于能够对私有数据的性质进行刻画和表达.此外,通过修正数据模型中的同余关系,使得模型符合数据的有序性,从而使其更为合理.在此基础上证明了树逻辑系统公式可满足性的不可判定性,从而说明针对整个树逻辑系统的模型检测算法是不存在的.同时选择了其中一个子逻辑系统,给出了其模型检测算法,并证明了该算法的正确性. 相似文献
3.
目前基于核主成分分析方法(KPCA)以及支持向量机(SVM)的财务危机预警模型中,所使用的核函数基本都是单核函数。混合核函数能够充分利用不同核函数的特征映射能力,在处理非线性关系时较单核函数具有更优越的性能。基于双正交小波在非线性信号处理方面的良好性能,构造了一类新的双正交小波核函数并证明其满足正定核的容许性条件,在此基础上,构造了新的双正交小波混合核函数。提出了基于双正交小波混合核函数的KPCA-SVM财务危机预警模型,并以我国证券市场上市公司为对象进行实证研究。结果表明,所构造的双正交小波混合核函数能够有效改进KPCA的特征提取性能并提高SVM模型的预测精度,显著改善了财务危机预警精度。 相似文献
4.
火星电离层早期的观测数据非常少,除了Viking登陆器对火星电离层的在位测量外,火星电离层的主要物理信息是通过掩星观测方法得到的.近年来,Mars Global Surveyor和Mars Express轨道器通过掩星观测的方法对火星的上层大气和电离层进行了长期的观测,得到了大量的火星电离层电子密度廓线资料.火星电离层受到来自太阳EUV和X射线辐射、太阳风、太阳耀斑、中性大气、表面壳磁场、宇宙射线、流星等多种因素的影响,使其结构发生瞬态或季节性的变化.本文介绍了行星无线电掩星探测的基本原理和技术特点,回顾了国内外科学家们基于已有的火星掩星观测数据(主要是Mars GlobalSurveyor和Mars Express)在火星电离层研究中的一些最新科学成果,并详细介绍了火星电离层的结构和火星夜间电离层的主要特征. 相似文献
5.
基质金属蛋白酶(matrix metalloproteinases,MMPs)是一组锌钙依赖性蛋白水解酶家族,降解细胞外基质(ECM),广泛参与人体各种组织的生理、病理过程。MMPs基因表达受多种因素调控,包括细胞因子、生长因子、激素、化学刺激等[1]。近年来在牙体组织中的生理与病理过程中发挥作用,许多学者对MMPs表达的调控因素及机制做了许多研究,本文拟就这一方面的国内外研究进展作一综述。 相似文献
6.
7.
移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算[1]是针对这种演算的一种改进.文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演算进行.在[2]的基础上,进一步讨论了此问题.通过引入消息类型和消息体类型,并将之与原有的进程类型和环境类型相结合,提出了一个支持类型演化的能够对带有消息传递的进程项类型化的类型系统,从而将[2]的工作扩充到整个鲁棒环境演算中.证明了类型系统的正确性.同时给出了一个最小类型算法,在给定类型上下文的条件下,算法能够计算出任意进程项的类型;并证明了算法的可靠性和完备性. 相似文献
8.
半干旱地区土壤湿度变化特征 总被引:4,自引:0,他引:4
利用兰州大学半干旱气候与环境观测站(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. 相似文献
9.
基于Luminex100TM技术平台,结合多重PCR技术,以5’生物素标记引物为信号指示,在H937)RV结核标准株做对照下,对104株结核分枝杆菌分离株的LFP耐药rpoB基因和INH耐药的katG,inhA基因进行检测,并与药敏试验绝对浓度法和测序结果比较.结果表明:液相芯片检出结果与药敏法比较,104株分离株中LFP、INH、多重耐药的检出结果分别为:液态芯片检测73株、50株、48株;药敏检测结果为74株、58株、53株;对比检出率98.6%,86.2%,90.6%.液相基因芯片技术对耐药,耐多药结核的检测,具有特异性高,敏感性强的特点,是检测结核分枝杆菌耐药基因的有效方法,可用于临床检测. 相似文献
10.
移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型.针对这种演算的一种改进——鲁棒环境演算,提出了一个新的标号转移系统,并在此基础上引进了一种互模拟同余关系.同时,作为上述工作的应用,给出了一些重要进程等价性定律的简洁证明. 相似文献