自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+

潘猫猫的世界

每天进步一点点

  • 博客(2)
  • 收藏
  • 关注

转载 形式化开发方法-时态逻辑

Kripke结构: 三元组M = (W, R, L)称为Kripke结构(模型),其中W是可能世界的非空集合;R Í W´W是可能世界W上的二元关系;L:W®2P (P为原子公式集合)是标记函数,它是对各可能世界的真值指派,即对每个原子公式,指明它在每个可能世界中取真值还是假值。 在Kripke结构模型中,对于"sÎW,R(s)= {tÎW| ÎR},称为可能世界s的1步可达可能

2016-10-25 09:31:33 1397 1

原创 读书笔记-推荐系统实战:第一章

1.1什么是推荐系统 推荐系统是联系用户和信息的桥梁,帮助用户发现有用的信息,帮助信息展现给需要它的用户。 推荐系统的基本任务是联系用户和信息,解决信息过载的问题。 推荐系统的应用方法有6种:基于内容的推荐,基于协同过滤的推荐,基于社区的推荐,基于人口统计学的推荐,基于知识的推荐以及混合推荐系统等。其中最常用的是前三种: 1.2 个性化推荐系统的应用 个性化推荐系统需

2016-10-04 15:59:21 638

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除