一种概率XML Twig查询的计算

传统数据库只管理确定性信息．但在许多应用中涉及大量不确定数据。本文把概率数据引入XML文档中．提出概率XML文档树、概率XML模式树、概率XML文档树符合概率XML模式树的定义;给出了概率XML Twig查询树和概率XML Twig查询匹配的定义,最后提出了计算概率XML Twig查询结果概率的定理。     

广义 2-距离空间中不动点

讨论了广义２－距离空间中交换映象的公共不动点的存在性问题,作为应用,给出了Ｍｅｎｇｅｒ概率２－距离空间中交换映象的不动点定理．这些结果推广和统一了最近的一些结果．     

基于基因表达式编程的进化模式定理

基因表达式编程(GEP)从提出迄今尚无完整的理论体系,严重阻碍了GEP的发展.为解决该问题,首先从理论上深入地研究了GEP计算模型:定义了GEP基因模式及相关的概念,采用概率办法详细分析了单基因GEP应用实例在进化过程中各算子的作用,根据分析结果推导出GEP模式定理,通过实验验证了GEP模式定理的正确性.GEP模式定理的提出,为GEP算法改进评估提供了量化的依据.     

基于基因表达式编程的进化计算模式定理

基因表达式编程（GEP）从提出迄今尚无完整的理论体系,严重阻碍了GEP的发展。为解决该问题,本文从理论上深入的研究了GEP计算模型：定义了GEP基因模式及相关的概念,采用概率办法详细分析了单基因GEP应用实例在进化过程中各算子的作用,根据分析结果推导出GEP模式定理,通过详细的实验验证了GEP模式定理的正确性。GEP模式定理的提出,为GEP算法改进评估提供了量化的依据。     

机械构件随机疲劳寿命的一种计算方法

利用裂纹扩展速率的Ｐａｒｉｓ公式,将应力幅值Ｓｒ和材料参数Ｃ作为随机变量,应用概率中心极限定理推导出在随机载荷作用下构件的裂纹长度和疲劳寿命的概率密度函数．在此基础上得出构件的疲劳可靠度．     

概率度量空间的度量化问题及其应用

概率度量空间的度量化问题,是概率度量空间理论及其应用的一个重要问题.关于这一问題,Schweizer和sklar在引文中讨论过.本文的目的是继续研究这一问题.在本文的一和二中我们引入C-型概率度量空间和C-型概率线性赋范空间的概念,并成功地解决了这两类空间的度量化问题.作为前述结果的应用,我们在四和五中讨论了该两类空间中映象不动点的存在性定理,所得结果改进、统一和发展了引文中的某些重要的结果.     

函数序列关于几乎处处弱收敛概率测度序列积分的单调收敛定理

研究了函数序列关于几乎处处弱收敛概率测度序列积分的单调收敛性,在新的条件下得到了单调收敛定理,并推证出概率测度几乎处处弱收敛的若干新的等价条件．     

有限字符集编码下的模式定理及其证明

基本遗传算法的核心理论是模式定理和收敛性理论．传统的模式定理使用了二进制编码方法并给予了证明,然而现实中用遗传算法求解很多问题时需要使用有限字符集的编码方法．首先给出了一些具有代表性的遗传算子,在此基础上证明了有限字符集编码下的模式定理．结果表明,基于有限字符集编码的遗传算法中阶次低、定义长度短且适应度值超过平均适应度值的模式的数目将以指数级增长．     

一类非齐次边界值问题广义解的存在性

目的讨论了一类非线性偏微分方程组非齐次边界条件下广义解存在性问题．此方程组是在聚合物加工中提出来的,它描述了缝模中不可压缩非牛顿粘性流体非定常流动的规律．方法应用了单调算子理论和Schauder不动点定理．结果与讨论在合理的条件下,证明了方程组在非齐次边界条件下广义解的存在性．     

逆抽样条件下相对差的估计

在连续抽样过程中,当我们感兴趣的样本出现的概率很小时,逆抽样比一般的二项分布更具有实用性．论文中建立了Wald统计量和对数Wald统计量,并利用Filler定理求得两个统计量的感兴趣参数的置信区间,且基于统计量的条件下计算了覆盖概率和平均长度．通过模拟研究,发现对数Wald统计量的参数的置信区间能够保证在覆盖概率大的奈件下的平均长度也较小．实例分析表明,该方法是有效的．     

利用逆规范化实现关系模式向XML模式的语义转换

目前将关系模式转换为XML模式的方法往往不能保留数据库中原有的语义信息,为此对基于语义的关系模式向XML模式转换方法进行研究,提出了利用逆规范化实现基于语义的关系模式到XML模式转换方法.该方法映射关系模式到关系模式图,由关系模式图得到符合连接条件的表集合,根据关系类别在存在关联的关系模式之间建立连接,用一个结构复杂的关系取代几个结构简单的关系,按照不同的数据依赖关系将连接表和非连接表转换为不同结构的XML schema,将所有XML schema整合成一个XML schema.实验表明该方法对于保留语义约束、加强数据耦合可行有效.     

基于素数的多源模式匹配方法的研究

模式匹配是获取不同模式间语义关联关系的技术,是数据集成过程中的关键操作。随着可检索在线数据库数量的迅速增加,大规模的模式匹配工作的需要使多源模式匹配方法成为模式匹配领域研究的重点。针对现有多源模式匹配方法的缺陷,本文提出了一种基于素数的多源模式匹配方法,并提出了具体算法—PMSM。该方法将素数理论引入模式匹配过程中,使单纯的字符匹配转换为素数计算,提高了匹配效率,同时保留了现有多源模式匹配方法的优点。实验证明,PMSM切实可行。     

概率约束目标规划在经营决策中的应用

本文讨论了概率约束目标规划的思想和经济含义,并将概率约束目标规划用于经营决策,根据产品的需求情况,用概率来描述企业目标的达成水平。当随机变量的分布及其数字特征未知时,提出用主观概率法确定,同时给出了相应的定理和证明。     

概率约束目标规划在经营决策中的应用

本文讨论了概率约束目标规划的思想和经济含义,并将概率约束目标规划用于经营决策,根据产品的需求情况,用概率来描述企业目标的达成水平。当随机变量的分布及其数字特征未知时,提出用主观概率法确定,同时给出了相应的定理和证明。     

Intelligent binary schema matching system in heterogeneity environment

0　ＩＮＴＲＯＤＵＣＴＩＯＮＮｏｗａｄａｙｓ ,ｔｈｅｄｙｎａｍｉｃｃｏｍｐｕｔｅｒｔｅｃｈｎｏｌｏｇｙｈａｓｓｐｒｅａｄａｃｒｏｓｓｔｈｅｗｏｒｌｄａｎｄｖａｒｉｏｕｓｂｕｓｉｎｅｓｓｏｒｇａ ｎｉｚａｔｉｏｎｓ ,ｉｎｓｔｉｔｕｔｉｏｎｓ ,ｉｎｄｕｓｔｒｉｅｓ ,ｅｔｃ .,ｈａｖｅｂｅｅｎｐｒｏｍｐｔｅｄｔｏｄｅｖｅｌｏｐｓｏｐｈｉｓｔｉｃａｔｅｄｄａｔａｂａｓｅｓｙｓｔｅｍｓｔｏｅａｓｙｔｈｅｉｒｄａｉｌｙｏｐｅｒａｔｉｏｎｓ .Ａｔｔｈｅｓａｍｅｔｉｍｅｔｈｅｒｅｉｓａｎａｔｔｅｍｐｔｔｏｓｈａｒ…     

m值可列非齐次二重马氏链的若干极限定理

利用刘文教授提出的分析方法在Wiener概率空间中研究m值可列非齐次二重马氏链的一些极限定理．把有关可列非齐次马氏链的一些极限定理推广到了可列非齐次二重马氏链上,得到一系列的极限定理．证明中使用了Lebesgue单调函数的导数存在性定理．     

函数序列关于弱收敛概率测度序列积分的单调收敛定理

研究了函数序列关于弱收敛概率测度序列积分的单调收敛性,在新的条件下得到了单调收敛定理.     

图式理论与英语词汇习得

图式理论是关于知识储存和应用的理论。从图式的功能和在语言认知中作用的角度看,语音图式对于建构新词汇的正确语音形式起着重要作用;内容图式可以更好地促进词汇意义的迁移;结构图式可以实现词汇语义、句法、词法信息整合、迁移等功能,完成新的信息编码。     

概率论若干定理的简捷证法

本文裒集概率论、数理统计、随机过程若干定理的简捷证法,共五款。证法比一般文献的明快。有的具有一般性,有的揭示定理本质。