推导规则相关论文
为评价杨房沟水电站坝肩稳定性,分析了杨房沟水电站左岸坝肩地形地貌特征、地层岩性、地质构造等工程地质条件,根据虚功原理推导规......
简要介绍本体评价问题及信任的内涵与特性,分析基于信任的开放式评价系统的关系模型,探讨信任声明的发布、信任推导规则及信任值的......
授权管理是系统间的协同和资源共享的重要前提和基础。考虑了授权操作的不确定性,分析了仅仅基于信任的授权管理的不足,引入风险评......
计算机网络的应用向我们打开了一个全新的天地,不但打破了地域性和空间性,而且人们从网络中可以获得更加全面、系统的服务,可以说,......
正规式相交判定问题在扩展标记语言（extensible markup language,XML）类型检查中起着十分重要的作用。传统方法是将其转化为自动机的......
<正> 在“演绎法”这一章里,柯丕主要介绍在他设计的公理系统内证明有效复合判断推理有效的演绎方法,以及,证明无效复合判断推理无......
<正> 从数学的角度建立语法的组织系统可以取得描写上的系统性、严密性和一致性。蒙太古语法主要是关于语义学的理论,因此在严格......
随着数据库与信息技术的发展，信息系统面临许多新的应用和需求，对时态信息处理的需求越来越迫切。时态信息处理已成为许多新一代数据......
含于语句中的“知道”一词表示一种主观模态,一般说来它有两种指义:命题指义和操作指义。在下面的四个例句中,语句1和2表达的是“......
数据依赖是属性间取值相互约束条件的形式化表示,函数依赖是一种对数据库模式设计及查询具有重要影响的数据依赖。对于不确定关系,......
本论文是针对普通话词重音所做的一项音系学研究。已有的研究表明，普通话词重音是一种缺少规律的现象，无论是基于直觉，还是基于声学实......
在格律诗的平仄句式中存在＂音＂＂结＂＂连＂三种结构单位,它们不同的特性与作用形成了它们在平仄句式中不同的分布链接规则,据此便可以推导出......
