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

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

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

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

Fibrations理论在索引归纳数据类型语法构造中的应用

应用Fibrations理论对索引归纳数据类型的语法构造进行了研究。提出了索引fibration及其真值与内涵函子的定义,构造了索引与代数范畴,利用折叠函数与伴随函子等工具构造了索引范畴中一类相对复杂的索引归纳数据类型,辅以实例进行了简要分析,并通过相关工作的论述指出了Fibrations理论研究方法的优势。     

支持OODB高效计算的对象表示及其机制

本文针对当前ＯＯＤＢ存储技术的问题，提出了一种对象表示模式ＳＢＯＳ，通过把ＳＢＯＳ表示在运行逻辑，内存结构和外存库上同构映射，能避免在Ｉ／Ｏ时对象格式转换和重组，特别是能同时高效地支持对象的各种计算模式，支持对象结构的复杂性和非重编译性类系统的扩充，同提供了实现应用制导的对象存储结构优化的基础。     

数据基因:数据的遗传信息载体

基因是生命体进化过程中遗传信息的载体，该文参照生命体基因的概念，提出了用于描述数据生命历程的简单的数据基因模型。给出了数据基因、数据基因序列、数据基因组等概念，介绍了这种模型的应用领域及应用方法，对下一步工作进行了展望。     

基于状态集的CSCW处理模型

针对在网络环境下协同工作的复杂性 ,提出一种基于状态集的CSCW处理模型 ,有效地解决了复杂和动态工作流程的描述与管理问题 ,并且在一个办公和文档管理系统的设计和开发上得到成功实现 .     

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

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

多核处理器上列数据库复杂查询的原语级并行性开发

提升复杂数据库查询性能是数据库研究的重要方向.提出了一个基于向量原语操作的列数据库查询引擎,通过在多核处理器上开发向量原语之间的并行性来提高数据库查询的性能.介绍了该查询引擎中的向量原语设计、列数据文件存储布局、查询的向量操作依赖图、向量操作动态调度器和内存管理器等关键部件.对于TPC-H 4个典型复杂查询的测试结果表...     

JavaApplet的防拷贝技术初探

本文提出两种基于数字签名的防拷贝方案，可以有效地防止他人非法拷贝 ＪａｖａＡｐｐｌｅｔ字节码程序。     

限制的对象表示和计算

限制描述了对象间的一组复杂关系，现有ＯＯＰＬ中一般不支持它们的表示和计算．本文给出了一种限制的对象表示法，其思想是在引入限制的同时不引入额外的概念，保持对象模型和语言的简单性。本文还讨论了这种表示法引入的问题和解决方法．