非齐次马氏链缺失数据一元函数的强大数定律

为研究非齐次马氏链缺失数据一元函数的强大数定律. 首先给出了非齐次马氏链缺失数据的一个定义,由这个定义说明作为非齐次马氏链的子列,缺失数据显然也具有马氏性.在前人研究马氏链收敛性的基础上,通过鞅差收敛定理给出非齐次马氏链缺失数据一元函数平均极限定理,再由这个极限定理,给出了非齐次马氏链缺失数据的一元函数满足强大数定律的一个充分条件和几个推论.     

电子政务前台——后台服务体系与地方电子政务顶层设计

近两年来,有关电子政务或信息化的“顶层设计“这个概念用得非常频繁.但时至今日,人们对此却仍然没有一个权威的定义与说法.……     

具有数据清理功能的交互式数据迁移及应用

针对众多论文对数据迁移的研究多是泛泛地介绍数据迁移的方法,而没有考虑数据迁移过程中的数据清理问题,提出了一种具有数据清理功能的交互式数据迁移技术.该技术把数据迁移和数据清理紧密地结合在一起,具有开放的规则库和算法库.通过在规则库中定义规则以及从算法库中选择合适的清理算法,不仅能灵活、准确地完成数据的迁移,还能保证数据迁移后新系统的数据质量.该技术被应用于医疗保险信息系统再工程项目,取得很好的效果,从而说明这种数据迁移技术在实践中是可行的.     

模式映射以及表达

模式匹配是数据集成、模型管理等数据库关键领域的基础问题。目前，大多数的研究集中在如何发现有效的元素匹配对，模式匹配的结果用映射来表示。映射的形式化的定义和表示还没有得到有效的研究。这里讨论了复杂的模式匹配，给出了映射的一个形式化的定义，提出了一个表示映射的框架。最后，利用数据集成来解释了如何利用这个映射的框架。     

适应形势需要开展远程教育

1远程开放教育发展历程 1.1远程教育定义 21世纪是打破时间、空间全方位运作的时代.信息技术的发展,为远程教育开创了崭新的一页. 远程教育是区别于传统教师在课堂上与学生面对面传授知识的一种新型的教学模式,是将课程内容传送到校园外的一处或多处的教育,是一种远距离的教育模式.由于学生和教师在地理位置上是分开的,是一座没有围墙的学校.从这个角度看又是一种开放式的教育.     

资本流动的b-效应

运用数理经济学的方法,揭示了资本流动过程中的b-效应.结论表明,如果一个国家在没有加强金融体制发展的情况下就允许资本市场自由开放,那么这个国家经济高速增长的同时必然伴随着经济高度的不稳定.实证支持这一结论.     

用ω-Turing机计算实数函数

实数的可计算函数是一个非常重要的概念,定义可计算实数函数有两个途径,第一个途径是先定义可计算实数的指标.一个可计算实数的指标是一个计算该实数的Turing机的Godel数.一个定义在全体可计算实数上的函数y=f(x)是可计算的,当且仅当存在一个在全体可计算实数的指标上的(部分)递归函数将x的指标对应到y的指标,这样对实数函数的研究依赖于自然函数的性质.第二个定义可计算实数的途径是基于逼近.一个实数函数是可计算的,当且仅当它既是序列可计算的也是有效地一致连续的,这个条件太强使得很多非常有用的实数函数不能成为可计算函数.根据这个定义"<"和"="都是不可计算的,因为它们的特征函数是不连续的.在这篇文章里我们讨论ω-Turing机的稳定性并且定义了在一个有限字母表的全体无限序列上的ω-可计算函数,我们也证明了ω-可计算函数的复合函数也是ω-可计算的.我们的定义没有用到Godel数或者递归函数.根据我们的定义很多常用函数特别是一些有用的不连续函数是ω-可计算函数.一个函数是否ω-可计算的验证较为容易,根据我们的定义普通Turing机的停机命题是ω-可计算的.     

柯西极限定义的等价定义及其在教学中的作用

本文证明了一个柯西极限定义的等价定义 ,同时论述了这个定义在教学中的作用 .     

基于有权重超图模型的离群点发现

结合基于有权重支持度框架的关联规则挖掘方法和基于超图模型的离群点检测方法,给出了一种离群数据的改进定义,并通过一个简单的实例说明了这种离群数据的离群含义,且与原离群点定义做了比较,分析了新定义离群数据的应用价值.     

椭圆型偏微分方程与近似解析函数

本文是“椭园型偏微分方程的函数理论”研究的一部分.目的是把拉普拉斯方程与解析函数的关系推广到椭园型偏微分方程与近似解析函数,本文先建立这种初步关系.这个研究是将著者过去的近似解析函数理论,[Ⅰ].[Ⅱ]1)从新加以改造,建立一个新的理论.在旧的理论里近似解析函数的定义,著者用了一小偏程:W(?)|≤A|W(?)|(?)∈△因此这个定义不便于用.新理论将没有这个缺点,不只对偏微分方程的研究有用、它本身也是完整的,是解析函数的一个自然推广.故就近似解析函数的本身而论,也有探讨的必要.     

定积分的公理化定义方法

提出了定积分的一个不依赖极限概念的新的定义.新的定义比黎曼积分的定义更为简单并且更容易掌握.基于这个新的定义,证明了连续函数定积分的唯一性和微积分基本定理.     

一致区域的定义及单叶性准则

O.Martio, J.Sarvas及F. W . Gehring, B. G.Osgood分别给出了一致区域的定义。本文给出了一致区域的一个形式上非常简单的新定义,并且证明了它与上面两个定义的等价性。在这个定义的基础上,我们得出了一个函数的单叶性定理。最后,对穿孔圆盘的单叶性内径给出了一个估计。     

自助旅游概念的探讨

自助旅游在我国越来越受到人们的青睐,发展十分迅速,然而目前有关自助旅游的研究还不能跟上实际发展的需要,特别是这个大家频繁使用的术语,目前还没有一个统一的定义,给进一步的研究和统计带来很多不便之处.本文通过对自助旅游有关论述的探讨和分析,探求自助旅游的定义,并且对自助旅游的种类进行了划分.     

基于DS理论的不确定空间co-location模式挖掘

 提出一种基于DS理论的co-location挖掘方法.先将数据集按照空间对象分类,然后从分类后的子数据集中依次提取该空间对象的实例,与其他空间对象数据集中的各个实例进行配对,将找到的各实例关系记录到一个新的关系表中,作为使用DS理论求解的基础.从一个新的角度来研究co-location挖掘技术,在DS理论的基础上重新定义了参与度,基于新定义的参与度来求解co-location模式.     

D-S理论在开放识别框架下的推广

针对无法获取完备识别框架的应用背景,把证据模型建立在一个随着证据组合而不断完善的开放识别框架上,提出一种推广的Dempster-Shafer(D-S)证据理论--开放框架D-S理论(OFDST).基于DFDST定义证据的支持函数与反对函数,对证据的信任函数模型进行全新诠释,揭示Dempster组合规则的线性实质.最后通过一个实例验证了该理论的合理性与有效性.     

电子政务前台--后台服务体系与地方电子政务顶层设计

近两年来，有关电子政务或信息化的“顶层设计”这个概念用得非常频繁。但时至今日，人们对此却仍然没有一个权威的定义与说法。     

宇宙学模型简并与分立性质研究

从标准宇宙学模型(ΛCDM)出发,结合多种拟合函数开始讨论其中的简并与分离性质.我们使用了已观测到的哈勃参数(OHD)和Ia型超新星(SNeIa)的数据来验证这个性质.为了解释拟合过程中的离散性,我们定义了一个因子G来测试每一个数据点对拟合结果的影响,并且分析因子G的优点之处.事实上,因子G不依赖于任何一个特定模型,即是说它可以被推广到任何一种模型.研究结果表明:绝对值较高的G在拟合过程中有更好的区分能力,也就是能把参数限制在更小的置信区间内.因此,我们认为因子G是可以设定在使用观测数据拟合模型中的标准新方法,这有助于我们更深入的理解概率和宇宙学.     

对谐振电路品质因数定义的再认识

对谐振电路品质因数已有的几种定义进行了讨论,这些定义存在着适用范围不普遍、物理概念不够严谨的情况.因此提出品质因数的新定义:品质因数等于谐振电路的电感或电容储能的峰值与谐振电路在一个周期消耗的能量之比的2π倍.这个定义的物理概念清晰严谨,应用方便,适用于线性谐振电路品质因数的计算.并用这个新定义计算了RL与C并联谐振电路的品质因数,讨论了几种计算方法.     

用径向基函数隐式拟合点云数据

提出一种新方法拟合散乱点云数据.拟合曲面由一个三变量模型的零水平集定义,该三变量模型是基于径向基函数散乱数据的一个隐式最小二乘拟合.数值实验结果表明,新方法比基于径向基函数的插值曲面方法快,并且容易实现.     

基于RIF的链接数据访问控制机制研究

随着Web上数据量的不断增加,利用RDF组织数据并形成链接数据已经成为一种有效的应用方式。目前,链接数据的访问控制仍然没有形成规范,极大地阻碍了人们对链接数据的发布。传统的数据访问控制技术不能满足链接数据的开放环境要求,需要寻求新的控制模式以对链接数据进行有效保护。RIF是W3C推出的规则交换语言,适合于链接数据环境下的规则描述;基于属性的访问控制模型将是网络访问控制的一种趋势,将RIF与基于属性的访问控制结合起来是链接数据的访问控制的有益尝试。通过对链接数据的特点分析,给出了RIF+ABAC访问控制的定义,描述了关键的控制算法。实验表明,基于RIF+ABAC的访问控制机制非常适合链接数据的应用环境。