论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
本文提出数据库恒时维护的计算型方法,并论证这种方法是独立性的一种扩充。
【机 构】
：
重庆大学计算机系
【出 处】
：
计算机学报
【发表日期】
：
1990年6期
其他文献
给定连通无向赋值图G=(V,E),|V|=n,|E|=m,当G的某边的赋值改变时,必引起其最小生成树的改变。本文给出了一个快速有效地求新的最小生成树的并行算法,时间为O(log m),处理器个
10月21—23日．“2008蛋种禽技术国际研讨会”在温泉度假胜地小汤山一九华山庄举办．此次会议由诺伟司国际公司主办．美国大豆协会国际项目部协办．来自中国农业大学、西北农业大学、
2002年以来，以生物柴油为主的世界工业用植物油消费量年均增长22．1％，其中，2006／07年度消费量占到了世界植物油总产量的12．7％。生物柴油的迅猛发展直接引发了全球油料的大幅飙升，农产品
本文依据组合逻辑电路中功能单元的每一单固定型故障的完全测试集,定义了一种测试故障模型及测试故障的支配与相容关系,在测试生成中采用这种故障模型:(1)可完整描述功能单元
本文介绍了基于WAM的Prolog实现技术的研究结果。首先论述了新的Prolog执行模型WAM-PLUS。该模型由扩充了的WAM和非逻辑成分执行机制NLEM构成。它能支持Prolog动态代码,并能
2006年12月25日下午，中国畜牧业协会第二届会员代表大会在北京人民大会堂隆重召开。中共中央政治局委员、国务院副总理回良玉为大会发来贺信。农业部党组副书记、副部长尹成杰
本文论述多处理机的最佳调度算法.对于相关任务,文中提出了“PSLT——带后继位级跟踪的抢先位级调度算法”.为实现PSLT调度算法编制了操作原语,并对该算法的最佳性进行了分析
<正> 本文为有限自动机M的RTL描述(有限自动机M的RTL描述请参看文[2])建立了几种转换规则和等效定理,并根据这些规则和定理将M的RTL程序转换为与M的硬件结构相对应的逻辑表达