刘婷
- 作品数:8 被引量:102H指数:5
- 供职机构:清华大学信息化技术中心更多>>
- 发文基金:国家重点基础研究发展计划国家自然科学基金国家科技重大专项更多>>
- 相关领域:自动化与计算机技术经济管理文化科学理学更多>>
- 高校招生交流社交网络中关系推荐系统的研究与设计
- 2012年
- 为帮助考生和家长在高校招生交流社交网络中建立与其他用户之间的关联,更好地使用社交网络服务来获取招考过程中的信息和与其他用户沟通交流,分析了高校招生交流模式和高校招生交流社交网络中的用户类别及其特征信息,设计了综合高校招生交流网络、高校电子校务系统和公共社交网络系统中的用户特征信息、用户关系信息和用户行为信息的关系推荐系统,提出了计算用户特征推荐指数、用户关系推荐指数、用户行为推荐指数和关系推荐指数的算法.
- 杜炤付小龙刘婷邵正隆赵灿
- 关键词:社交网络推荐引擎协同过滤高校招生
- 基于社交网络服务的个人知识管理系统研究被引量:6
- 2015年
- 在信息社会和知识经济时代,知识作为获得和保持竞争优势的重要资源受到越来越多组织和个人的重视.社会化软件能够对个人的知识管理提供更好的支持,使得个人真正从投入到个人知识管理中的时间和精力中受益,解决传统的组织知识管理中存在的用户积极性不高的问题.本文首先讨论了知识管理和知识管理系统的概念、特征和发展;然后讨论了社交网络服务的概念和特征,提出一种基于社交网络服务的个人知识库的模型,并分析了社交网络服务和个人知识管理的关系;最后讨论基于社交网络服务的个人知识管理系统的设计.
- 杜炤刘婷刘奇峰
- 关键词:社交网络服务WEB个人知识管理
- 人事档案管理系统及其时间Petri网工作流模型被引量:11
- 2001年
- 该文介绍了分布式企业人事档案管理系统,用时间Petri网表示了档案管理系统的工作流模型,讨论了与时间有关和操作概率分布不同的工作流模型的性质,并对基本模型进行时序分析。利用线性时间推理规则,在线性时间复杂度内解决时间推理问题。并根据给出的系统每个操作的概率,求出了在不同时间区间内系统处理不同事件的概率分布。进而对系统进行分析。
- 郎艳丽刘婷林闯
- 关键词:人事档案管理系统时间PETRI网工作流企业
- 一种不确定时段的扩展时段时序逻辑:时间Petri网模型表示和线性推理被引量:18
- 2001年
- 针对点 -时段时序逻辑的不足 ,提出了一种新的时段时序逻辑——扩展时段时序逻辑 ,对不确定时间段发生的事件具有较好的描述能力 .时间 Petri网模型表示的引入 ,增强了扩展时段时序逻辑的描述直观性及分析能力 ,为进行线性推理提供了有利的工具 .同时还提出了几种变迁间的实施推理规则 .运用这些规则可以简化复杂时序关系的 Petri网模型 ,并在线性时间复杂度内定量地得到各变迁间的时序逻辑关系 。
- 林闯刘婷曲扬
- 关键词:人工智能
- 扩展时段时序逻辑的推理机制被引量:9
- 2002年
- 该文在扩展时段时序逻辑的基础上提出了一种推理机制 ,这种推理机制基于时间 Petri网模型及基本不等式规则 ,可由一组已知的扩展时段时序关系推出一些未知的扩展时段时序关系 ,对不确定时间段内发生的事件及其相互关系具有较好的描述能力 .这种推理机制的优势在于定性地对扩展时段之间的时序关系进行推理分析 .利用时间 Petri网模型 ,可以对复杂时序逻辑关系进行化简 ,比单纯利用不等式规则的推理更直观 ,也更简单 。
- 刘婷林闯刘卫东
- 关键词:时间PETRI网
- 校园社交网络业务应用访问控制模型的设计
- 2013年
- 作为支持高校师生员工进行教学、科研和管理中的协作型活动的网络平台,高校校园社交网络日益受到关注并逐渐成为高校数字校园的重要组成部分。为了使校园社交网络与电子校务系统紧密结合,扩展了基于角色的访问模型,设计并实现了支持授权有效期、分级授权和权限代理的高校校园社交网络业务应用访问控制模型,从而为高校师生员工提供更加灵活、方便和周到的信息化服务。
- 杜炤刘婷刘奇峰
- 关键词:社交网络访问控制分级授权
- 基于时间Petri网的工作流系统模型的线性推理被引量:66
- 2002年
- 目前工作流理论的研究主要集中在工作流管理模型的结构及正确性分析 ,很少有人研究与时间有关的工作流模型的性质 ,特别是模型中的时序关系推理及性能计算问题 .本文重点研究了这方面的问题 ,用时间Petri网表示工作流模型并对基本工作流模型进行时序分析 ,给出线性时间推理的规则 ,运用这些规则 ,可对复杂的工作流模型进行逐步化简 。
- 刘婷林闯刘卫东
- 关键词:工作流管理系统时间PETRI网
- 基于解剖特征点的肝脏超声与CT图像配准研究被引量:1
- 2015年
- 目的:术前CT与术中超声图像的配准对基于图像引导的经皮射频肝脏肿瘤消融手术具有重要意义,但是目前并没有一种通用的准确、高效的配准方法。本文提出了一种针对肝脏术前CT图像与术中超声图像的实时配准方法。方法:本文提出的配准方法基于肝脏解剖特征点。配准包括特征选择、特征提取和坐标变换三个步骤,其中关键在于解剖特征点的选择与提取。根据肝脏解剖结构与超声成像特性,本文选取典型超声扫描位置中稳定的解剖结构作为特征点,如经第二肝门横切面图中3支肝静脉的分叉点等。对于术前CT三维数据,用手动方式提取解剖特征点;对于术中超声图像,设计了一种自动提取特征点的算法,包括斑点噪声滤波、区域生长法分割目标区域、二值图像拐点检测及目标点筛选等步骤。结果:配准实验结果表明,该方法对肝脏超声与CT图像的配准误差不超过6 mm,配准时间在3 s以内。结论:本文提出的方法能快速、准确地对肝脏超声与CT图像进行配准,且在手术中不需要人工干预,具有较强的应用价值。
- 刘婷吴剑
- 关键词:肝脏超声图像配准