收藏本站
《上海大学》 2011年
收藏 | 手机打开
二维码
手机客户端打开本文

资源网络的精化学习及应用研究

石振国  
【摘要】:人类生活的现实世界,已是一个多领域资源交融的网络。网络环境的资源,由于涉及许多领域,因此,是一个很宽泛的概念;某一特定领域内,任何一个可以标识的存在,无论是客观的还是主观构造的,都可看作是该领域的一种资源。资源网络是由概念、关系和规则表达的资源的树、格或图结构;是为网络环境的资源建立的一种源于人脑思维的知识模型。本文研究的资源建模方法,是通过资源网络的精化学习实现的;资源网络的精化学习,包括概念归纳、规则归纳和程序进化三个子任务,形式概念、一阶概念或程序概念的归纳和进化的应用案例和对比实验,验证了这个过程;案例和实验表明,精化学习是一个问题求解的搜索过程,问题空间和解答空间,均采用逻辑规则文法描述,求解过程采用程序推导树搜索策略。资源网络的精化学习方法,可为网络计算的资源建模,诸如网格、云、普适等服务建模,提供新的机器学习方法。应用案例和对比实验表明,本文的研究工作,具有理论意义和实用价值。 针对资源网络的精化学习及应用问题,本文进行了系统研究,做出如下贡献: 提出或建立了逻辑规则文法LRG(Logic Rule Grammar)、三种粒度的概念归纳方法GFCA(Granularity Formal Concept Analysis)、逆演绎的规则归纳方法DILP(Deduction Inductive Logic Programming)、逻辑遗传程序方法LGP(Logic Genetic Programming)和精化逻辑遗传程序方法RLGP(Refinement Logic Genetic Programming); LRG是传统有定子句文法DCG的拓展;GFCA是传统形式概念分析FCA方法的拓展;DILP是传统归纳逻辑程序ILP方法的拓展;LGP和RLGP是传统遗传程序GP方法的拓展,LGP基于进化学习算法ELA(Evolutionary Learning Algorithm), RLGP基于精化学习算法RLA(Refinement Learning Algorithm)。通过逻辑规则文法LRG,将资源网络的概念归纳、规则归纳、程序进化,这三种学习范型,融合为精化学习方法RLGP,并应用到形式概念、一阶概念或程序概念的学习领域,为网络计算的资源建模,提供了一种融合符号、连接和进化思维的新的机器学习方法。 具体说,论文的主要成果和创新点为: 1.源于形式语言思维,提出了文法视角的资源描述方法,也即资源网络的逻辑规则文法LRG。LRG能够从规则集或结构图视角描述资源的确定或不确定性的语义知识。 2.源于形式概念思维,提出了粒度视角的概念精化方法,也即资源网络的概念归纳方法GFCA。GFCA可从问题领域的形式背景学习三种粒度的形式概念。 3.源于符号逻辑思维,提出了逆演绎视角的概念精化方法,也即资源网络的规则归纳方法DILP。DILP可以逆演绎方法从问题领域的模式规格学习一阶概念。 4.源于生物进化思维,提出了进化视角的概念精化方法,也即资源网络的程序进化方法LGP。LGP可以进化方法从初始规格学习各种范型的程序推导树的优化个体。 5.利用逻辑规则文法,融合了FCA、ILP和GP方法,也即资源网络的精化学习方法RLGP。RLGP可以精化方法从资源规格学习多种范型的程序概念的优化个体。
【学位授予单位】:上海大学
【学位级别】:博士
【学位授予年份】:2011
【分类号】:TP181

【参考文献】
中国期刊全文数据库 前10条
1 杨芙清,梅宏,吕建,金芝;浅论软件技术发展[J];电子学报;2002年S1期
2 钟义信;知行学引论——信息 知识 智能的统一理论[J];中国工程科学;2004年06期
3 侯丽珊;金芝;吴步丹;;需求驱动的Web服务建模及其验证:一个基于本体的方法[J];中国科学E辑:信息科学;2006年10期
4 谢志鹏,刘宗田;概念格与关联规则发现[J];计算机研究与发展;2000年12期
5 刘宗田;程序变换的一种规范说明方法[J];计算机研究与发展;1998年01期
6 石振国;刘宗田;;网格资源实概念格模型及其算法研究[J];计算机工程与应用;2006年35期
7 洪家荣;;机器学习——回顾与展望[J];计算机科学;1991年02期
8 刘宗田;黄美丽;周文;仲兆满;付剑锋;单建芳;智慧来;;面向事件的本体研究[J];计算机科学;2009年11期
9 刘宗田;容差近似空间的广义概念格模型研究[J];计算机学报;2000年01期
10 周志华,陈世福;神经网络集成[J];计算机学报;2002年01期
【共引文献】
中国期刊全文数据库 前10条
1 徐文婷;李承鹏;;基于自适应遗传算法的离散化方法[J];合肥师范学院学报;2011年03期
2 马宁;李斌;;基于神经网络集成的车牌字符识别[J];安徽广播电视大学学报;2012年02期
3 蔡莉;胡学钢;;一种基于粗集的决策表求核算法[J];安徽大学学报(自然科学版);2007年06期
4 周玉华;李景杰;;不完备决策表的一种属性约简方法[J];安徽大学学报(自然科学版);2009年04期
5 刘金红;陆余良;施凡;宋舜宏;;基于语义上下文分析的因特网人物信息挖掘[J];安徽大学学报(自然科学版);2009年04期
6 王永梅;胡学钢;;决策树中ID3算法的研究[J];安徽大学学报(自然科学版);2011年03期
7 杨萍,万上海,陈耿;一种基于可变支持度的缺省规则挖掘算法[J];安徽工程科技学院学报(自然科学版);2004年02期
8 叶明全;;数据挖掘在医疗数据中的应用[J];安徽工程科技学院学报(自然科学版);2007年03期
9 李豹;;并行神经元集成在风险评估中的应用[J];安徽工程科技学院学报(自然科学版);2009年04期
10 孙全玲;基于粗集和神经网络的建模方法研究[J];安徽建筑工业学院学报(自然科学版);2005年02期
中国重要会议论文全文数据库 前10条
1 叶红云;倪志伟;陈恩红;;一种混合型集成学习演化决策树算法[A];2005年“数字安徽”博士科技论坛论文集[C];2005年
2 吴强;王煦法;;“数字水利”及其关键技术[A];2005年“数字安徽”博士科技论坛论文集[C];2005年
3 危前进;董荣胜;孟瑜;崔更申;;基于粗糙集的机械装配知识发现方法[A];广西计算机学会25周年纪念会暨2011年学术年会论文集[C];2011年
4 ;Fuzziness in Covering Generalized Rough Sets[A];第二十六届中国控制会议论文集[C];2007年
5 李雄;党生;;基于Rough集理论的战场侦察情报处理[A];第二十六届中国控制会议论文集[C];2007年
6 付晓东;邹平;尚振宏;姜瑛;;QoS信息不确定情况下的Web服务选择[A];第二十七届中国控制会议论文集[C];2008年
7 周相兵;;基于Ontology的语义Web服务聚合自动机研究及应用[A];第二十七届中国控制会议论文集[C];2008年
8 陈楚湘;沈建京;陈冰;尚长兴;王运成;;运用粗糙集理论建立中老年肺炎中医症候诊断标准[A];第二十九届中国控制会议论文集[C];2010年
9 龚锦红;杨辉;衷路生;;稀土萃取分离过程的Rough集案例推理方法[A];第二十九届中国控制会议论文集[C];2010年
10 ;Influence Diagram Based on Rough Set Theory[A];第二十九届中国控制会议论文集[C];2010年
中国博士学位论文全文数据库 前10条
1 于化龙;基于DNA微阵列数据的癌症分类技术研究[D];哈尔滨工程大学;2010年
2 张海涛;自律计算系统的自律可信性评估研究[D];哈尔滨工程大学;2010年
3 梁洪;基于内容的医学图像检索及语义建模关键技术研究[D];哈尔滨工程大学;2010年
4 叶海智;面向分布式关键任务系统的自律恢复机制研究[D];哈尔滨工程大学;2010年
5 殷志伟;基于统计学习理论的分类方法研究[D];哈尔滨工程大学;2009年
6 王作为;具有认知能力的智能机器人行为学习方法研究[D];哈尔滨工程大学;2010年
7 姜延吉;多传感器数据融合关键技术研究[D];哈尔滨工程大学;2010年
8 张明;电能质量扰动相关问题研究[D];华中科技大学;2010年
9 高山;蛋白质点突变效果预测与突变数据库研究[D];南开大学;2010年
10 张目;高技术企业信用风险影响因素及评价方法研究[D];电子科技大学;2010年
中国硕士学位论文全文数据库 前10条
1 李瑞波;图像阴影的检测与去除算法研究[D];山东科技大学;2010年
2 马冉冉;集成学习算法研究[D];山东科技大学;2010年
3 徐加帅;一种支持QoS的Web服务扩展机制的研究[D];山东科技大学;2010年
4 王钰;基于有机计算的动漫渲染集群系统管理技术的研究与应用[D];山东科技大学;2010年
5 岳海亮;信息论在粗糙集连续属性离散化中的应用[D];辽宁师范大学;2010年
6 聂剑锋;基于QoS的Web服务选择研究[D];浙江理工大学;2010年
7 张晓冬;基于全矢谱的智能诊断技术研究[D];郑州大学;2010年
8 李昕哲;关系邻域系统的属性约简[D];郑州大学;2010年
9 刘琪;正态云模型模糊推理系统及其应用研究[D];郑州大学;2010年
10 曹彦;基于支持向量机的特征选择及其集成方法的研究[D];郑州大学;2010年
【二级参考文献】
中国期刊全文数据库 前10条
1 康达周;徐宝文;陆建江;李言辉;;支持语义web模糊本体的描述逻辑(英文)[J];Journal of Southeast University(English Edition);2006年03期
2 刘宗田;属性最小约简的增量式算法[J];电子学报;1999年11期
3 张江,林华,贺仲雄;统一集论与人工智能[J];中国工程科学;2002年03期
4 史忠植,董明楷,蒋运承,张海俊;语义Web的逻辑基础[J];中国科学E辑:信息科学;2004年10期
5 张文修,魏玲,祁建军;概念格的属性约简理论与方法[J];中国科学E辑:信息科学;2005年06期
6 刘宗田;李力;;8086C逆编译数据类型恢复技术[J];计算机研究与发展;1992年04期
7 李善平,尹奇韡,胡玉杰,郭鸣,付相君;本体论研究综述[J];计算机研究与发展;2004年07期
8 梁吉业,王俊红;基于概念格的规则产生集挖掘算法[J];计算机研究与发展;2004年08期
9 潘云鹤,耿卫东,何志均;面向智能计算的记忆结构理论综述[J];计算机研究与发展;1994年12期
10 高济;基于表示本体论的智能系统开发[J];计算机研究与发展;1996年11期
【相似文献】
中国期刊全文数据库 前10条
1 张荣承;向你推荐——MINISQL[J];中国计算机用户;1997年13期
2 古华茂;石锦芹;高济;;基于子句的ALCN语言tableau算法增强方式(英文)[J];Journal of Southeast University(English Edition);2008年03期
3 沈一栋;PROLOG的元级扩充:问题和方法[J];小型微型计算机系统;1987年11期
4 蒋志华;姜云飞;;一种构造Prolog程序子句本体的方法(英文)[J];东南大学学报(英文版);2006年03期
5 成岗,张运桢;一个“函数+逻辑”程序设计语言的解释—编译系统[J];小型微型计算机系统;1990年01期
6 李学植;英语定语从句的汉译探讨[J];湖南农业大学学报(自然科学版);1990年02期
7 孙怀民,梁群;基于二阶项重写技术的逻辑自动编程理论[J];计算机学报;1993年03期
8 黄焕如;FOXPRO2.0的下拉弹出式菜单的使用和实例[J];现代计算机;1994年01期
9 余丰人,丘海明;一个SAT问题有解的充要条件[J];中山大学学报(自然科学版);2004年02期
10 李卫华;定理的机器证明及其实现[J];机器人;1981年04期
中国重要会议论文全文数据库 前10条
1 杨光;林鸿;方锋;;广州市似大地水准面精化及成果应用[A];现代空间定位技术应用研讨交流会论文集(第5卷 第3集)[C];2007年
2 甄登春;;初探重庆主城区的似大地水准面精化[A];重庆市测绘学会第三届优秀论文评选获奖论文暨2005-2006年度学术交流会论文选编[C];2008年
3 范新云;;GPS水准法拟合似大地水准面精化的研究[A];第二十一届海洋测绘综合性学术研讨会论文集[C];2009年
4 范新云;;GPS水准法拟合似大地水准面精化的研究[A];中国航海学会航标专业委员会测绘学组学术研讨会学术交流论文集[C];2009年
5 张全德;;精化区域似大地水准面技术方法与设计[A];中国测绘学会2006年学术年会论文集[C];2006年
6 张全德;郭春喜;王斌;陈现军;;华北地区似大地水准面精化[A];中国测绘学会2006年学术年会论文集[C];2006年
7 王鹏;李乃民;张大鹏;刘磊;陈倩;;基于知识神经网络的多路脉搏波信号分类[A];中国中西医结合学会诊断专业委员会2009’年会论文集[C];2009年
8 赵英阳;许道云;;NT-HIT(k)公式的存在性[A];2005年全国理论计算机科学学术年会论文集[C];2005年
9 谢艳;马垣;张虹云;;一个快速建造概念格的算法[A];2001年中国智能自动化会议论文集(下册)[C];2001年
10 马韧宾;张艳春;张莉;;基于Web的数控资源网络共享平台的研究[A];2006年河北省轧钢技术与学术年会论文集(下册)[C];2006年
中国重要报纸全文数据库 前10条
1 记者 翟敏;彩虹精化与乘苏达解约[N];上海证券报;2011年
2 记者 吴正懿;天马精化拟5600万购纳百园100%股权[N];上海证券报;2011年
3 记者 孙燕飚 刘琼;万润精化再上会 日德企业“锁喉”难改观[N];第一财经日报;2011年
4 ;汽巴精化[N];国际商报;2000年
5 记者 翟敏;仍在核查签约方 彩虹精化20亿订单“蜗行”[N];上海证券报;2011年
6 记者 翟敏;彩虹精化20亿元巨额订单全部解除[N];上海证券报;2011年
7 记者 杨勇;“乌龙合同”涉嫌虚假信披 彩虹精化复牌地量跌停[N];第一财经日报;2011年
8 梅雪荣;彩虹精化:无奈踏上回归路?[N];中国经济时报;2011年
9 记者 施浩;产能释放+毛利提升 天马精化今年业绩或超预期[N];上海证券报;2011年
10 记者 魏梦杰;复牌四跌停 彩虹精化昨获游资“扫货”[N];上海证券报;2011年
中国博士学位论文全文数据库 前10条
1 石振国;资源网络的精化学习及应用研究[D];上海大学;2011年
2 许有军;基于扩展规则的若干SAT问题研究[D];吉林大学;2011年
3 张立明;结合可满足的基于模型等价性验证及不一致诊断问题研究[D];吉林大学;2012年
4 康向平;基于形式概念分析理论的知识获取模型研究[D];山西大学;2012年
5 杨静;UML模型的语义模型[D];贵州大学;2006年
6 王帅强;基于进化计算的行为模型自动精化和排序学习方法的研究[D];山东大学;2009年
7 王秀芹;基于SAT的数字电路形式验证方法研究[D];哈尔滨工程大学;2009年
8 周倜;复杂安全协议的建模与验证[D];国防科学技术大学;2008年
9 郭兰坤;幂形式概念分析和模糊概念格研究[D];湖南大学;2011年
10 时云辉;核心企业网络演变与区域发展研究[D];河南大学;2009年
中国硕士学位论文全文数据库 前10条
1 杨丹;论B方法在抽象机库中的实践与应用[D];天津大学;2007年
2 霍翔;SMT求解器增强技术的研究[D];北京交通大学;2011年
3 王佳隽;基于云计算环境的虚拟化资源管理研究[D];复旦大学;2011年
4 傅阳春;基于2-SAT求解器的SAT算法研究[D];华南理工大学;2010年
5 王晓龙;Z规格说明中一阶逻辑算子自动求精的研究与实现[D];沈阳工业大学;2005年
6 吴海涛;区域大地水准面精化理论与应用[D];太原理工大学;2007年
7 陈枢茜;基于UML和XYZ/ADL的软件体系结构描述及精化研究[D];苏州大学;2007年
8 张维;形式概念中的粒计算[D];辽宁科技大学;2010年
9 丁湘陵;基于B方法的软件体系结构描述语言的精化研究[D];湖南师范大学;2006年
10 由嫄;网络计划资源均衡优化的研究[D];华北电力大学(北京);2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026