工作流网WRI WF-net的验证方法研究及实现

WF-net是一种工作流模型,合理性是衡量WF-net模型正确性的一个标准,不合理的工作流模型会导致运行错误.但是合理性验证问题是NP-complete问题,妨碍了WF-net的广泛应用.工作流模型WRI WF-net是WF-net的子集,能够直接保证工作流模型的合理性,这样只需确保用户建立的工作流模型符合WRI WF-net的约束,而不需要进行合理性验证.提出一个WRI WF-net的验证方法,能够在结构上验证模型是否满足WRI WF-net的约束,并且阐述了方法的实现.     

对于土地整理工作的几点思考

随着社会经济的不断发展,人口与土地之间的矛盾变得越来越突出,因此,对于土地整理工作的要求也随之提升.土地整理是实现土地合理利用的前提条件,本文首先对土地整理的有关情况进行了讨论,在对此项工作必要性以及存在的问题进行分析的基础上,对如何做好此项工作提出了建议.     

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

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

表达式元性理论形式系统的扩充及其强标准化性质

在[1]所给出的Marin-Loef表达式元性理论形式系统的基础上，通过引入所谓的引用表达式和协引用表达式的形式表示，对其进行了扩充，同时证明了扩充形式系统的强标准化定理。     

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

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

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

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

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

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

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

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

一种基于状态空间的混成系统设计方法的理论基础研究

主要研究了一种基于状态空间的混成系统设计方法的理论基础．首先,在引入相关的ＣＯＮＴＲＯＬ语言的基础上,给出了其用“演化机”定义的操作语义和用扩展的Ｈｏａｒｅ 逻辑形式系统Ｈ′定义的公理语义．然后证明了Ｈ′是以演化机为模型的,即论证了Ｈ′的合理性．从而,在某种程度上保证了设计过程的正确性,提高了混成系统设计的可靠性