基于部分计值的信息个人化

《基于部分计值的信息个人化》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、上海交通大学硕士学位论文基于部分计值的信息个人化姓名：谢瑾奎申请学位级别：硕士专业：计算机应用技术指导教师：黄林鹏2002.9.1硕士学位论文基于部分计值的信息个人化摘要以递归函数论中Kleene的参数定理为理论基础部分计值作为一种程序转换技术它的主要思想就是在给定部分参数输入的情况下对程序进行转换约简也称为例化从而完成尽可能多的运算而产生剩余程序并且保证剩余程序和源程序在程序的语义上一致作为代码转换研究领域的一个分支它能够根据程序运行环境和程序自身所包含的已知条件对程序进行例化生成执行效率更高的程序代码传统的信息个人化技术以一种

2、基于内容的方式根据关键字或字符串匹配来进行信息过滤大多数Web搜索引擎使用这种技术然而这些个人化系统对用户的要求进行了很多假设和限制把用户会做出的选择固定在一个相对小的范围内我们借用程序语言表示框架对网站信息内容进行全局个人化分类布局其个人化分类数据结构以程序语言形式进行表达当用户进行信息检索时其输入关键词视作程序的输入参数然后采用部分计值器对个人化分类数据结构(相当于一个程序)进行例化从而为用户生成个人化信息虽然用户的查询方式和组合难以统计且因人而异但采用这种方法并不需要对这些查询预先定制各种个人化结果且部分计值的执行效率较高这

3、正是此方法的优势所在此外由于部分计值与基于解释的泛化在本质上的等价因此对信息空间查找中的个人化情境进行解释泛化从而使该方法得到进一步的扩充本文叙述的工作如下首先介绍部分计值的思想和技术并阐明部分计值和基于解释的泛化之间的关系用逻辑演绎的方式表明i硕士学位论文它们的算法在本质上是一样的接着通过具体示例详细说明在信息个人化中如何引入部分计值和基于解释的泛化以及得到的效果然后在此方法的思想指导下设计了一个信息个人化辅助系统PIPEAgent并且详细描述了该系统的总体构架以及相关模块的实现算法和技术细节最后为信息个人化的进一步研究提出了一

4、些问题和方案关键词部分计值信息个人化基于解释的泛化信息空间例化ii硕士学位论文INFORMATIONPERSONALIZATIONBYPARTIALEVALUATIONABSTRACTWiththebaseofKleene’ss-m-ntheoreminrecursivefunctiontheory,PartialEvaluationisakindofprogramtransformationtechniques.Itsmajorideaisreducingtheprogramundertheconditionofgivenpar

5、tialinputparameters,anditisalsocalledprogramspecialization.Itcompletestheprogramoperationsasmuchaspossibleandgeneratesaresidualprogram,andguaranteestheresidualprogramandthesourceprograminaconsistentsemantic.Asabranchofcodeconversion,intermsoftherun-timeenvironmentandt

6、heknownconditionscontainedinsourceprogram,PartialEvaluationcanmakethesourceprogramtoaspecializedversionthatperformsinhigherefficiency.Thetraditionalinformationpersonalizationtechniquesarebasedonthecontent,andfiltertheinformationbymatchingthekeywordsorthestring,andthey

7、areusedinmostwebsearchenginesnow.However,thesepersonalizationsystemshavemademanyassumptionsandrestrictionsforusers,soonlyafewpersonalizationchoicescanbeprovidedtothem.Weexpressthewebsiteinformationlayoutinaprogramframe.Whenausercarriesoutinformationretrieval,hisinputk

8、eywordsareregardedasinputparametersoftheprogram,sowecanofferthepersonalizedinformationtohimbyusingaPartialEvaluatortospecial