光折变晶体中二波耦合光强依赖现象和各向异性热透镜效应

实验发现,掺Ce离子的光折变晶体KNSBN中二波耦合光强依赖现象和各向异性热透镜效应有共生关系.光吸收引起晶体温升乃至引起.光折射率的增加是产生这种现象的主要原因.

XML强闭包依赖的研究

XML闭包依赖是基本的完整性约束。当XML文档出现不完全信息时,XML闭包依赖同样对于阻止XML数据的更新异常、查询优化以及索引设计具有重要的意义。提出了在不完全信息环境下基于一致路径集合的XML强函数依赖和XML强闭包依赖的定义,研究了XML强闭包依赖的判定定理。在提出XML强闭包依赖推理规则的基础上,对其有效性和完备性进行了证明。最后分析了XML强闭包依赖和XML强函数依赖的关系。

不完全信息环境下存在XML强多值依赖的XML文档规范化研究

不完全信息环境下XML文档中的数据存在多值依赖时,为了避免在没有约束条件下XML文档数据出现冗余及更新异常,引入XML强多值依赖的概念和理论对XML文档的规范化进行了系统研究.基于节点信息等价、节点信息相容的概念给出了XML强多值依赖的定义;基于层次化的XML强多值依赖,提出了不完全XML文档树满足XML强多值依赖范式的条件;给出了满足该条件的不完全XML文档树无数据冗余的判定定理;提出了不完全XML文档树的规范化算法,对其时间复杂性进行了分析.理论研究和实例分析表明:研究成果较好地解决了在不完全信息环境下XML文档中存在层次化的XML强多值依赖引起的数据冗余问题.

存在XML强多值依赖的XML Schema规范化研究

为了解决不完全信息环境下XML模式设计中XML文档的数据冗余和操作异常,研究了不完全信息环境下存在XML强多值依赖的XML Schema规范化问题;提出了XML Schema、符合XML Schema的不完全XML文档树等概念;基于子树信息等价和子树信息相容的概念给出了XML强多值依赖的定义;提出了弱键路径和XML强多值依赖弱范式的定义;通过实例分析了在XML Schema中XML强多值依赖引起数据冗余的原因,提出了转换规则,给出了规范化算法。研究成果可较好地处理XML文档中出现大量不完全信息时的数据冗余问题,实现不完全信息环境下更好的XML Schema设计。

分数跳-扩散过程下强路径依赖型期权定价模型

在股票价格遵循分数跳-扩散过程假设下,得到了强路径依赖期权所满足的一般偏微分方程.并依据此偏微分方程获得了亚式期权和回望期权的Black-Scholes偏微分方程以及固定执行价格的几何平均亚式看涨期权定价公式.推广了关于强路径依赖期权定价的结论.

XML强闭包依赖范式的研究

为了解决从数据库整体的角度来消除基于不完全信息的XML数据冗余问题,研究了在不完全信息环境下XML数据库的各个模式之间存在的XML强闭包依赖引起数据冗余的判定条件和规范化算法.首先,给出了XML强函数依赖和XML强闭包依赖两者互不影响的定义;其次,提出了XML强函数依赖和非循环XML强闭包依赖互不影响的判定定理,研究了XML强闭包依赖范式以及相应的判定定理;最后,提出了把XML数据库模式转化为XML强闭包依赖范式的规范化算法,对时间复杂度进行了分析.该算法消除了冗余路径,避免了更新异常,实现了整个XML数据库模式更合理的设计.

XML亚强函数依赖及其推理规则

为了解决不完全信息环境下XML亚强函数依赖的逻辑蕴涵问题,基于XML Schema研究了XML亚强函数依赖及其推理规则。给出了XML Schema、符合XML Schema的不完全XML文档树等概念;基于子树信息等价、子树信息相容的概念提出了XML亚强函数依赖的定义和性质;提出了相应的推理规则集,并对其正确性进行了证明。为不完全信息环境下存在XML亚强函数依赖的XML Schema规范化的研究奠定了基础。

基于XML Schema的XML强多值依赖的推理规则集

XML强多值依赖的推理规则集问题是解决不完全信息环境下XML数据依赖蕴涵问题的基础,是不完全信息环境下XML模式设计理论的关键问题之一。提出了XML Schema、符合XML Schema的不完全XML文档树等概念;基于子树信息等价和子树信息相容的概念提出了XML强多值依赖的定义及性质;给出了相应的推理规则集,并对其正确性和完备性进行了证明。研究成果为不完全信息环境下存在XSMVD的XML Schema设计奠定了基础。

强函数依赖与偏序结构

本文定义了强函数依赖概念,研究了具有强函数依赖关系模式的偏序结构,导出了确定所有候选关键字的新理论。根据该理论,开发了求解所有候选关键字的最优算法。

记忆型无阻尼抽象发展方程的强时间依赖全局吸引子

运用修正的拉回吸引子理论、先验估计技巧和算子分解方法,得到了记忆型无阻尼抽象发展方程强时间依赖全局吸引子的存在性和正则性.

强函数依赖及其在XML范式中的应用

本文用一种“强满足”的方法,把函数依赖的定义扩展,使其符合不完全XML文档的情况,并把这种 函致依赖称作XFD。在此基础上,给出了XML文档的一种范式。

函数依赖的几种形式定义

本文基于语义贴近度,导出并讨论了经典函数依赖(FD)的四种等价形式定义,在此基础上,得到模糊函数依赖(FFD)的两个等价的强依赖定义和两个有序包容的弱依赖定义,证明了FFD的最弱依赖相应于Armstrong公理的有效性和完备性。

XML不完全信息树下的完全函数依赖弱保持

在DTD模型下,在XML信息树中引入了不完全信息,形成一棵不完全信息树。文中以不完全信息树为基础定义了树中节点之间的关系:节点值等价和节点值相容。并在此基础上定义了函数依赖的强保持条件、完全函数依赖弱保持。给出了给定函数依赖集判断完全函数依赖弱保持的算法及满足完全函数依赖弱保持时,当树确定化后成为完全信息树下函数依赖的可能性的证明。

基于对象模型工作流的失败处理与失败恢复

工作流的失败处理和失败恢复是工作流管理系统的重要组成部分 .提出了一种新的基于对象的工作流模型 ,在此模型下设计了工作流失败处理和失败恢复的策略 .与传统方法相比 ,新策略考虑了工作步骤之间的控制依赖和数据依赖 ,并且对工作步骤应用的具体实现方式进行了探讨 ,以提高工作流失败处理和失败恢复的效率 .

网络故障管理的贝叶斯方法

主要介绍了贝叶斯网络的基本原理,贝叶斯方法在网络故障管理中的应用方法。重点阐述了贝叶斯网络的最强依赖算法和其仿真验证结果。

不完全信息环境下XML Schema规范化研究

为了解决不完全信息环境下XML模式设计中XML文档的数据冗余和操作异常,研究了不完全信息环境下XML Schema的规范化问题,提出了XML Schema和符合XML Schema的不完全XML文档树等概念;基于节点等价、节点相容、节点信息等价和节点信息相容等概念提出了XML强函数依赖的定义,给出了相应的推理规则;给出了求路径集强闭包和成员籍问题的算法,并对算法的正确性进行了证明,对其时间复杂度进行了分析。提出了不完全信息环境下XML范式和相应的规范化算法。研究成果较好地解决了数据冗余问题,避免了更新异常现象,更好地实现了XML

汇率制度选择困境与中国未来经济发展模式选择

文章从国际金融领域汇率制度安排的两极化趋势入手,分析了中国汇率制度选择的困境,引出了中国只能改变强烈依赖贸易的经济发展模式的观点,接着又对这种发展模式形成的潜在原因进行了分析,指出了外国直接投资的消极作用。最后提出了政府应该发挥主导作用的领域并提出了一些政策建议。

基于贝叶斯网络的发动机燃油系统故障诊断

在构建某型发动机燃油系统故障诊断贝叶斯网络模型的基础上,提出逆向推理的最强依赖路径算法,通过该算法可以对故障可能的原因按概率大小进行排序,进而快速、准确地对故障进行定位,从而大大提高复杂系统故障诊断的效率。

现代组织体系建设中的社会组织发育——以BD市SH机构为例

BD市一个专业社会工作机构的生长发育表明,现代组织体系建设中,国家、社会和行业的互动格局影响和制约着社会组织的培育。在强政府依赖的模式下,社会组织体系建设的关键在于政府的支持,其次是行业建设和自身的能力建设。基于本土国情,在公共服务政府采购模式推广前提下,对于现代组织体系建设,应采取梯度—分层的双轨三元配套输送采购刺激生长模式。

基于对象和ECA规则的工作流模型

文中提出了一个基于对象的工作流活动定义,在此基础上引入了ECA规则,作为对象消息通信的基础,提出了一种新的基于对象和ECA规则的工作流模型。着重讨论了工作流失败处理和恢复的策略,在考虑工作流活动之间的控制依赖和数据依赖的同时,引入了资源依赖的概念,提出了强数据依赖、强控制依赖和强资源依赖的概念,并给出了关键的消息规则。