基于(0-1)矩阵的识别用户解释冲突的算法

来源 :计算机科学 | 被引量 : 0次 | 上传用户：FreeDom_BBQ

【摘要】

：

1引言　　在面向对象规范化理论中,一个对象属于一个范式是指当且仅当由该对象的模型能够导出用户关于该对象的解释.所谓用户解释就是用户规定的一组依赖约束,依赖约束[2]分

【作者】

：

刘山

【出处】

：

计算机科学

【发表日期】

：

2002年z1期

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

1引言　　在面向对象规范化理论中,一个对象属于一个范式是指当且仅当由该对象的模型能够导出用户关于该对象的解释.所谓用户解释就是用户规定的一组依赖约束,依赖约束[2]分为路径依赖约束(PD-约束)、局部依赖约束(LD-约束)和全局依赖约束(GD-约束)三类.在范式判定和规范化处理过程中,仅使用GD-约束,用户解释中的依赖约束也就是GD-约束.……

其他文献

银行如何面对企业破产

为了加快建立现代企业制度,国务院决定在上海等18个城市从94年7月份起进行破产试点,随着这项工作的深入,破产企业将会不断增加,特别是部份国营企业。企业破产促使企业

期刊

企业破产建立现代企业制度破产企业银行贷款国营企业贷款损失准备金国务院银行信贷行政干预商业银行

健康教育疗法治疗原发性轻度高血压疗效观察

目的采用健康教育疗法治疗原发性轻度高血压。方法我院2006年1月-2007年1月以来对门诊原发性轻度高血压55例患者进行健康教育（包括减轻体重,膳食限盐,减少脂肪摄入,增加适当体

期刊

高血压原发治疗健康教育

广东农行计算机主干网的规划和实现

一、引言根据中国农业银行总行和广东省分行“九五”发展规划,广东省分行引进 IBM 公司的 S/390并行服务9672大型机系统,建立全省网络中心。广州、深圳、珠海、中山、东莞、

期刊

主干网广东省网络资源计算机中国农业银行发展规划数据中心农行大型机集中式

北京鲜食品种枣果解剖结构与开裂性关系的研究

为研究北京鲜食品种枣果开裂的原因,本文应用石蜡切片技术,对北京地区4个鲜食枣品种(‘京枣31’、‘马牙枣’、‘京枣39’、‘京枣60’)进行解剖结构观察,并结合枣果的开裂性

期刊

鲜食枣解剖结构开裂性Fresh food jujubeanatomical structurecracking

考虑非均匀暴雨中心空间分布的洪水预报方法

在洪水预报实践中,降雨在流域空间分布的不均匀性一直是影响预报精度的主要问题之一,这一问题在我国半湿润、半干旱及干旱地区尤为突出。本文提出了一种针对非均匀暴雨空间的

期刊

非均匀暴雨空间分布预报Inhomogeneous rainstormspatial distributionforecasting

IC卡特点及应用前景

60年代美国开始使用金融交易卡,经过30多年的发展,已建成世界上最大的金融交易卡信息交换服务和管理系统。目前美国已发行了10亿多张磁卡,它的使用为美国带来巨大的经济效益

期刊

应用前景金融交易消费金额管理系统经济效益交换服务美国磁卡电子信息技术年代

援助、互助与共融:1949年以来民族地区医疗卫生事业的发展

中华人民共和国成立以来,民族地区医疗卫生事业的发展呈现出从援助到互助再到共融发展的良好态势,这归功于国家、发达地区和民族地区的合力。国家组织的巡回医疗在各个历史时

期刊

巡回医疗对口支援传统医药医疗卫生事业Touring Medical TreatmentsPrecise SupportTraditional Med

我国信用卡的崛起和发展

一、信用卡风行全球信用卡起源于美国,其发展历史已近80年。自从信用卡在发达国家风行起来,人们的结算方式、消费方式和消费观念发生了根本性的改变。从表面上看,人们口袋里

期刊

信用卡市场特约商户发展历史电子货币新时代消费观念消费方式结算方式金卡工程持卡人

斜槛群不同透水率及不同高度对弯道水流的影响

为了研究不同透水率斜槛群对弯道水流特性的影响,本文进行了物理模型试验。通过试验所得数据,计算了最大横向水面差及相对最大横向水面差、水面差平均值、水面均匀度等水力学

期刊

斜槛群透水率高度影响Inclined sill grouppermeabilityheightinfluence

“伪卡”工场侦破记

今年7月下旬的一个下午,在广州市公安局刑侦处一间办公室,周处长指着占了半间屋子的东西说,这是刑侦处日前侦破的一宗罕见伪造信用卡犯罪集团案缴获的赃物。只见近4000张伪造

期刊

公安机关信用卡赃物线索输入阅读器犯罪集团丝网印刷机加拿大关键人物工场

基于(0-1)矩阵的识别用户解释冲突的算法

与本文相关的学术论文