王洁
- 作品数：71 被引量：83H指数：5
- 供职机构：北京工业大学更多>>
- 发文基金：国家自然科学基金北京市教委科技计划面上项目山西省软科学研究计划更多>>
- 相关领域：自动化与计算机技术文化科学电子电信电气工程更多>>
- 一种改进的回答集程序更新方法
- 2015年
- 回答集程序设计是一种描述性的程序设计范例,目前已经成为知识表示和推理的一个有力工具。在实际应用中,知识库中的信息可能发生动态改变,因此需要及时对知识进行更新。通过回答集程序的更新可以实现知识库的更新,并确保更新结果的一致性。J.P.Delgrande的程序修正方法可以实现回答集程序的更新,然而该方法中存在对原程序过度修正的问题。针对该问题,提出一种新的方法来更新回答集程序,该方法通过引入优先级和惯性规则的机制,实现了回答集程序的更新。实验结果表明,该方法克服了过度修正的问题,效果良好。最后,以一个实例说明了该方法的应用。
- 蔡文君王洁
- 关键词：知识库
- 一种可充放电水系铝离子电池及其制备工艺
- 一种可充放电水系铝离子电池及其制备工艺，属于电池技术领域，所述水系铝离子电池主要包含正极、负极、电解液和隔膜，其中正极材料为水钠锰矿型锰酸盐，负极为金属铝及其合金，电解质为三氟甲基磺酸铝水溶液，加上隔膜组成原电池体系。所...
- 尉海军何世满张旭王洁楚维钦刘世奇
- 文献传递
- 密钥生成方法、信息加解密方法、装置、介质及电子设备
- 本公开涉及一种密钥生成方法、信息加密方法、信息解密方法、密钥生成装置、计算机可读存储介质及电子设备。该密钥生成方法包括：生成一个维数为n的矩阵A和两个素数p、q，并计算模数N＝pq；根据素数p、q和矩阵A生成五个维数为n...
- 王洁李洪涛王虹
- 文献传递
- 基于博弈论的公平安全两方计算协议
- 2016年
- 针对传统安全两方计算无法实现完全公平性的问题,结合博弈论方法,将参与者看作是理性的,提出了理性安全两方计算协议.首先,在扩展式博弈框架下,给出安全两方计算的博弈模型;其次,根据博弈模型描述,给出理性安全两方计算理想函数F_(RPCP)以及理性安全两方计算协议π_(RPCP);最后对协议的安全性、公平性及纳什均衡进行了分析.分析结果表明,在混合模型下,协议π_(RPCP)能安全地实现理想函数F_(RPCP),并且在BDH困难假设下,协议π_(RPCP)中各理性参与者的最佳策略是选择合作,当博弈达到纳什均衡时,参与者双方能公平地获得计算结果.
- 王洁
- 关键词：纳什均衡
- 一种新的语义网知识表示和推理方法
- 回答集程序(Answer Set Programming,简称ASP)是一种重要的知识表示和推理的描述性语言,不但具有丰富的表达能力,而且是一个推导潜在事实的成熟工具。而语义网中的RDF仅提供一种简单的数据模式,它不能表...
- 王洁韩雪平张燕燕刘椿年
- 关键词：语义网RDF
- 基于MapReduce模型的城市大数据采集隐私保护方案被引量：6
- 2018年
- 智慧城市利用先进的信息技术和通信技术实现城市智能的高效运行,在运行过程中会产生海量多源异构数据。然而,这些数据通常包含大量的个人或组织的敏感信息,在采集过程中面临着严重的隐私泄露风险。此外,城市数据具有动态性强、增长迅速、实时性强等特点,使得传统的数据采集隐私保护方法不再适用。针对城市大数据的特点,采用(a,k)–匿名模型作为数据采集隐私保护方案,利用分布式框架MapReduce对海量、动态数据集进行处理,提出了一种适用于大规模动态环境下的城市大数据采集隐私保护方案。实验结果和理论分析表明,所提方案不仅能有效保护数据隐私,还具有减少信息损失量和降低执行时间的特点。
- 李洪涛郭俐君郭锋王洁张问银
- 关键词：智慧城市MAPREDUCE框架
- 智能空间中的冲突问题研究
- 2016年
- 智能空间和回答集程序的整合解决了智能空间中固定优先关系下的资源冲突问题。然而,智能空间处在一个上下文敏感的、动态的环境中,信息更新以及环境变化都会导致资源分配的顺序重新发生变化,从而产生新的冲突问题。针对该问题,基于回答集程序提出一种动态优先的方法。首先,引入缺省规则并利用缺省决策理论动态决策智能空间中的优先关系;然后,使用回答集程序表达空间中的动态优先关系;最后,求解回答集程序得到冲突问题的解。实验结果表明,该方法可以动态决策空间中的优先关系,有效解决空间中的冲突问题,对空间中的资源实现合理分配。
- 徐本胜王洁
- 关键词：缺省规则
- 一种基于多任务和提示学习的小样本命名实体识别方法
- 本发明公开了一种基于多任务和提示学习的小样本命名实体识别方法，在利用原型网络进行实体抽取阶段，针对原型网络无法利用标签之间的依赖转移关系，引入条件随机场(CRF)进行联合解码。在构建提示模板时，对提示模板引入可自动学习语...
- 徐云兵王洁
- 一种计算机网络信息安全控制装置
- 本实用新型公开的属于计算机安全技术领域，具体为一种计算机网络信息安全控制装置，其包括：箱体、主槽和机槽，所述箱体内部设置有主槽和机槽，所述箱体顶端安装有伸缩门，所述伸缩门连通有主槽，所述主槽内部底端安装有伸缩电机，所述伸...
- 李洪涛王波王洁
- 文献传递
- ￢RDF推理中不一致问题研究被引量：3
- 2012年
- ￢RDF在RDF中引入经典否定和推理,以增强RDF的表达和推理能力,但经典否定会使程序出现不一致情况,导致程序无解。为此,提出一种基于加权回答集程序的加权￢RDF(￢WRDF)推理方法。借鉴加权回答集思想,通过加权回答集程序对￢WRDF进行推理,给出其应用实例。实例应用结果表明,该方法使得程序在不一致的情况下,仍然可以得到最接近用户需求的解。
- 王洁韩雪平赵丽丽艾莹莹
- 关键词：语义网权值
