粒计算的α_决策逻辑语言

来源 :2005年“数字安徽”博士科技论坛 | 被引量 : 0次 | 上传用户：yunzh

【摘要】

：

提出一种用于粒计算的α_决策逻辑语言，该语言是由Tarski意义下的模型和可满足性所描述的一种特殊的经典谓词逻辑.由属性值域的模糊子集代替经典的单值信息函数所得到的广义信

【作者】

：

陈万里;

【机构】

：

安徽建筑工业学院计算机与信息工程系,合肥 230022

【出处】

：

2005年“数字安徽”博士科技论坛

【发表日期】

：

2005年期

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

提出一种用于粒计算的α_决策逻辑语言，该语言是由Tarski意义下的模型和可满足性所描述的一种特殊的经典谓词逻辑.由属性值域的模糊子集代替经典的单值信息函数所得到的广义信息系统对应于模型；借助于模糊集理论的水平截集的概念，归纳地定义对象在一定阈值水平下满足某公式.最后讨论如何利用α_决策逻辑语言描述不同的粒世界及分析形式概念和决策规则.

其他文献

基于J2ME无线应用安全性问题的研究

随着Java技术和无线技术的不断发展，基于Java的无线应用有着广阔的前景，其安全性值得关注.本文介绍了J2ME，并分析了如何多方面地保护基于J2ME无线应用的安全，特别是基于CLDC/MIDP

会议

J2ME无线应用安全性无线技术Java技术保护基设备分析MIDPCLDC

MATLAB在LabVIEW开发虚拟仪器中的应用

虚拟仪器编程软件LabVIEW结合计算功能强大的MATLAB将大大提高虚拟仪器的开发功能.专业工具箱是MATLAB的特色，功能强大.在虚拟编程软件LabVIEW中结合MATLAB工具箱就能够开发出

会议

LabVIEW软件MATLAB软件六维腕力传感器动态标定

股市36计之把握时机

股票市场上,何时买卖股票比买卖何种股票更重要。几乎所有的股票价格都与整个股市密切相关,而股市的涨跌是经常性的、司空见惯的事情。如股市看涨,则几乎所有股票的市场价

期刊

股票市场买卖股票杨怀定跌市杨百万营业部门仓库保管员低价收购真空电子辞职报告

基于IP核的可编程系统芯片(SOPC)设计方法

可编程片上系统设计是一个崭新的嵌入式系统设计技术.本文在阐述SOPC基本特征与IP核概念的基础上，介绍了Altera公司的Nios软核处理器并给出了利用Quartus Ⅱ中集成的SOPCBuild

会议

可编程系统芯片SOPC片上系统设计嵌入式系统Altera公司设计技术开发工具基本特征Nios软核处理器集成基础概念方法

基于进化的软件测试用例生成方法

测试用例的进化生成技术的关键在于适值函数的设计，目前主要是基于程序结构来设计适值函数，这种方法产生的测试用例集覆盖率大.但由于对程序规范了解不够，因此发现程序内部错误

会议

进化软件适值函数程序结构测试用例集程序规范设计覆盖率新方法生成技术能力不足发现程序

1996～2000 年内蒙古海拉尔市布鲁氏菌病流行状况分析

期刊

布鲁氏菌病内蒙古海拉尔发病例数布病总病例数人群免疫力切断传播途径行业人员海拉尔市重病区

基于LPC2119的CAN总线通信系统研究

控制器局域网(CAN)在汽车电子和工业控制领域得到了广泛应用，但传统的CAN总线节点验收滤波功能较单一.本文介绍了新型嵌入式微控制器LPC2119，并基于LPC2119搭建CAN总线通信系统

会议

一种混合型集成学习演化决策树算法

决策树是一种使用树型结构模型对未知数据进行预测的分类方法。但传统算法一般采用局部最优搜索策略进行决策树构造，其主要缺点在于容易陷入局部最优.为解决该问题，近年来，研究

会议

一种基于Ontology的网络信息过滤方法研究

为了过滤概念相关的所有网络信息，文章提出了一种基于元数据与本体计算的网络信息过滤方法：它首先基于过滤本体来描述用户待过滤领域的概念及关系，然后基于Dublincore标准挖掘网

会议

生物序列的描述复杂性分析

将生物的进化过程视为一种通用计算过程，这样DNA序列可视为该计算过程的输出，从而建立了计算和进化之间的联系.在计算理论中，描述复杂性是度量序列复杂程度的一种客观属性.对酵

会议

生物序列描述复杂性计算过程DNA序列生物进化客观属性进化过程计算理论计算表性能输出联系酵母度量

粒计算的α_决策逻辑语言

与本文相关的学术论文