信息交流模型及其实现机制的研究

从用户几信息的概念框架着手,本文试图探讨信息交流的诸多行为。在一个较严格的模型中,分析了继承、委托、授权三种和赤的定义和约束,说明了信息交流行为的复杂性。本文也分析了实现这些模型所需要的机制。     

基于Fibrations理论的共享系统数据模型

传统共享系统数据模型的建模方法在语义性质分析和语义行为描述方面存在不足,针对以上问题提出了一种基于Fibrations理论的共享系统数据模型。主要工作体现在两个方面:首先,应用真值函子、保持真值的提升与内涵函子并结合代数方法精确分析了语义性质,应用等式函子、保持等式的提升及商函子并结合共代数方法形式化描述了语义行为;其次,在Fibrations理论框架内构造复杂归纳与共归纳数据结构上参数化的递归与共递归操作,抽象描述具有普适意义的归纳与共归纳规则,结合实例简要介绍了Fibrations理论的应用。相对于范畴论等传统方法,简洁描述与灵活扩展的Fibrations理论对共享系统数据模型的语义性质和语义行为进行了精确分析与形式化描述,抽象描述了复杂数据结构具有普适性的归纳与共归纳规则。     

ETL工作流活动优先级的确定及并行实现*

ETL流程是一个以数据为中心的工作流,对ETL工作流的执行过程进行论述,提出了一个算法,计算ETL工作流中各个活动的执行优先级,在工作流执行中为优先级相同且相互之间没有依赖关系的活动集创建多个线程,通过并行执行这些活动,提高了ETL工作流的执行效率。实验结果表明,所提出的并行算法与串行算法比较,在数据量足够大的情况下,加速比可接近理想值,加速比随着数据量增大而提高。     

如何有效使用雪花模型

雪花模型是为大家所接受的适合数据仓库的模型 为了说明如何有效地使用雪花模型 ,本文针对现实生活中存在的一些问题 ,提出了三种雪花模型的变种 ,提高了雪花模型的解决问题的能力     

基于邮戳的网络教育资源安全机制

基于互联网的信息资源库是网络教育、电子政务、电子商务的基础设施。资源库中的不可信任资源将会给用户和系统带来不可估计的损失和危害。本文利用内容邮戳技术,以防止资源被非法篡改和病毒感染;通过定义访问控制域,对网络课件等可运行资源需要的系统资源的访问进行授权,这样可以有效地保证系统的安全。     

一种不确定性语义计算模型

随着软件系统复杂度的持续增长,如何保证大型复杂软件系统的健壮性与正确性逐渐成为一个热点问题,不确定性语义计算的研究是解决这一问题的关键.本文提出了一种不确定性语义计算模型,并应用模型对示例小语言设计了四种不同的形式语义,通过四种形式语义等价性的证明论证了模型的正确性与灵活性.     

增强伸缩性的主被动集成访问控制模型

基于任务分类和角色层次的三步授权机制集成了主被动两种访问控制模式,但任务间重复授权、多种角色层次上的任务继承冲突、任务约束重复表达等问题严重影响了有关模型的伸缩性。为此提出一种增强的主被动集成访问控制模型。通过可扩展的角色层次划分细化了主/被动任务的分类,可以灵活地简化多种任务分配关系;引入基于任务泛化的授权继承和约束覆盖机制,可以有效减少任务之间的重复授权和约束;通过一组正确和完备的语义覆盖规则,为自动约束化简等提供了依据。最后给出多粒度权限激活机制和动态互斥的冗余检测算法,以消除不必要的访问检查开销,降低伸缩增强带来的效率损失。     

一种时态数据形式语言模型

数据模型是数据库技术发展的主线,时态数据模型是时态数据库系统的核心与基础。针对时态数据模型的研究现状,初步探讨了时态数据模型的基本要素,建立了一种形式化时态数据模型;基于形式语言理论和形式语义学的指称语义方法,进一步建立了该时态数据模型的形式语言模型。应用时态数据形式语言模型定义了各类时态完整性约束的形式语义规则,深入分析了时态数据模型内在的时态语义联系,为时态数据模型的研究提供了一个便利、高效的形式化理论框架。     

在PC集群上的封闭立方体计算

封闭立方体是联机分析处理中一种有效的数据立方体压缩技术,但封闭立方体的并行算法目前很少有相关文献研究.提出了一种简单而实用的解决方案,即基于MapReduce计算框架,在非共享内存的PC集群上对封闭立方体进行分布式的预计算和查询.相关实验表明,本方法能快速处理千万级的数据,具有较好的线性加速比,而且能够更大地压缩数据立方体存储空间.     

计算反射与面向对象程序设计（Ⅱ）

我们在第一部分讨论了计算反射的一般模型。一般说来,一个系统是计算反射的,当且仅当它能对自身进行操作,据此一个反射的计算机软件系统有三个条件:a)系统有关于自己(一部分)本身的描述。b)系统有对自己的描述进行推理、操作和修改的能力。c)这种描述的改变能直接导致系统的行为和状态的改变,反之亦然。条件 a 是物理符号系统假设和知识表示假设的必然结果。在现有的计算机计算模型中要讨论或建立一个计算反射系统,必须首先确定是哪一个(子)