类动态更新事务研究

来源 :计算机科学 | 被引量 : 0次 | 上传用户:hongshu16
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对软件单个类的动态更新操作存在许多限制,例如不允许删除类、方法等,提出类动态更新事务的方法,利用动态更新类集来克服这些限制,同时保证更新的安全性。基于此,对动态更新事务的一些属性,如ACID进行讨论,提出类型安全的类动态更新事务并进行了证明。最后,以Java语言为例,说明了如何构造动态更新程序,并进行了相应的实验,说明了方法的可行性。
其他文献
结合软件可靠性增长模型,扩充了基于可信度度量的软件可靠性增长测试充分性问题度量准则,提出了关于可靠性增长测试充分性问题新的度量准则:可靠性测试只有同时满足可靠性增量指
随着本体规模的不断扩大,由于能力和知识的约束,单个知识工程师已经难以单独对本体进行改进,因此如何实现本体的协同进化成为了一个亟待解决的问题。本文提出了一个能够支持OWL
采用流动注射-氢化物发生-电感耦合等离子体发射光谱法测定环境样品中的砷.对测定条件及干扰因素进行了研究.在选定条件下,方法的检出限为0.0002 mg/L,测定结果的相对标准偏
Zadeh提出的CRI算法是模糊推理中运用最广泛的算法,但它不具还原性。王国俊教授提出的全蕴涵三Ⅰ算法,以及已有的基于相似度的模糊推理算法是在单一规则下的模糊推理算法,在单一
动态重构问题是支持Agent系统对环境自适应的关键挑战之一,亦是Agent领域亟待解决的关键问题。面向自治的计算是一种全新的自底向上解决问题的计算范型,擅于提取并刻画复杂、自
由量子力学原理,酉变换和测量算子可以完成量子计算中的所有操作,但仅用酉变换和测量算子的序列并不能清楚地描述量子世界的并发与通信,因此本文提出了量子进程的概念,讨论量子进程通信的几种可能方式,并基于CCS建立了两个量子进程的一种互模拟关系,用以刻画传送量子进程的并发与通信。
构件模型不仅是构件使用者理解、使用构件的重要依据,也是构件开发者和构件使用者测试构件的基础。目前已有的构件模型主要从分析设计以及使用的角度描述构件,对构件测试中的测
高效的作战方案是对敌实施有效打击的保证。运用Agent技术,提出一种规划合并机制,并将其运用于作战方案的优化。通过资源共享,将其它规划产生的可共享资源取代本规划中某些动作
<正>Recent years have seen rapid advances in various grid-related technologies, middleware, and applications. The GCC conference has become one of the largest s
期刊
网络系统可生存性是网络安全研究的新方向,它突破了传统的网络安全的概念,从新的角度对网络安全问题进行研究.本文首先对网络系统可生存性研究领域进行了总结,回顾了可生存性