论文部分内容阅读
研究主动数据库系统中规则终止特性的静态分析技术.通过对基本触发图分析方法的研究,根据主动规则的可终止性给出了将触发图和激活图相结合的一种规则终止分析方法,并将其运用于主动面向对象数据库系统AO2DB的规则终止分析中.该方法与基本触发图分析方法相比能够更准确地判定规则的可终止性.
主动规则可终止性分析的规则缩减算法
【摘 要】
：
研究主动数据库系统中规则终止特性的静态分析技术.通过对基本触发图分析方法的研究,根据主动规则的可终止性给出了将触发图和激活图相结合的一种规则终止分析方法,并将其运
【机 构】
：
北京理工大学计算机科学与工程系
【出 处】
：
北京理工大学学报
【发表日期】
：
2001年4期
【基金项目】
：
国家部级科研项目
其他文献
海上运输时会定时采集大量的船舶和环境数据,但其来源广、类型多,不便于管理且不能直观分析和显示。本文结合基于物联网系统,以中航油为例,设计了一个航运监控平台及数据库系统,优化了数据预处理的方法,同时利用成本计算及路径规划算法进行数据挖掘。
在环境问题和能源危机日益变得突出的今天,超临界发电技术带来的高效节能成为了国际上的热门话题,超临界材料铸件材料的研究也是世界主要国家发展清洁燃料技术的主要研究方向
为有效地减少错误匹配 ,提高匹配精度并恢复稠密深度图像 .利用多基线立体视觉恢复景物深度数据的冗余性 ,使用简单条纹模式投影光源标记景物 ,很好地解决了弱纹理区域或无纹理区域的对应性问题 .通过对图像进行局部规范化处理 ,在外极线、唯一性和连续性约束条件下 ,使用应用域知识和统计模型 ,建立准确的匹配关系 ,实现三维景物高精度恢复 .所恢复景物的高精度稠密深度图像 ,在 1.5～ 3.5m的距离范
文章介绍了北京机械工业自动化研究所为客户定制研发的微型断路器自动检测生产线的特点和优势,对微型断路器的特性检测进行了简要的阐述。面向低压电器的企业,自动装配检测技
目的探讨将整体护理应用于基层医院骨科,对患者病情和心理的影响及对提高骨科护理质量的效果。方法将116例患者随机分为试验组与对照组各58例,对照组予以一般护理,试验组在一
目的讨论体位护理在呼吸机相关性肺炎的效果评价。方法将96例机械通气患者随机分为实验组与对照组,各48例。对照组为平卧位,实验组床头抬高30～45°半坐卧位,其余治疗方法