检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

SNA技术在机构关系分析中的应用

北京理工大学学报 2009年第8期29卷 690-693页

作者：胡岚曦曹存根中国科学院研究生院北京100049 中国社会科学院计算机网络中心北京100732 中国科学院计算技术研究所北京100190

为获取同类机构的关系信息,设计一种基于社会网络分析(SNA)技术的机构关系分析过程.以社会科学院机构为例,构建社会关系网络,定量和定性描述机构的学科特性,在此基础上分析机构在学科归属上的共现关系,再通过分层聚类,展现所有机构的关... 详细信息

为获取同类机构的关系信息,设计一种基于社会网络分析(SNA)技术的机构关系分析过程.以社会科学院机构为例,构建社会关系网络,定量和定性描述机构的学科特性,在此基础上分析机构在学科归属上的共现关系,再通过分层聚类,展现所有机构的关系分布状态和整体网络属性.实施过程表明,SNA技术在机构关系分析中具有良好的应用价值.

关键词： SNA技术学科特性机构关系共现关系

在线全文

学校读者我要写书评

暂无评论

贪婪缺省逻辑

软件学报 2017年第7期28卷 1759-1772页

作者：陈博曹存根眭跃飞中国科学院计算技术研究所智能信息处理重点实验室北京100190 国网山东省电力公司电力科学研究院山东济南250001

提出了一种贪婪缺省逻辑,旨在构造扩展的过程中尽可能地保留缺省规则当中的信息.给出了贪婪缺省逻辑的推演系统——GD系统和贪婪缺省的GD-扩展的定义.并且证明了对于缺省理论(T,?)的一个扩展,必定存在一个贪婪缺省理论的GD-扩展,使得缺... 详细信息

提出了一种贪婪缺省逻辑,旨在构造扩展的过程中尽可能地保留缺省规则当中的信息.给出了贪婪缺省逻辑的推演系统——GD系统和贪婪缺省的GD-扩展的定义.并且证明了对于缺省理论(T,?)的一个扩展,必定存在一个贪婪缺省理论的GD-扩展,使得缺省逻辑的扩展是贪婪缺省逻辑扩展的子集.同时,还存在贪婪缺省理论(T,?)的某一GD-扩展,该GD-扩展不包含缺省理论的任一扩展.因此缺省逻辑和贪婪缺省逻辑是两种不同的逻辑.

关键词：缺省逻辑扩展 GD-扩展伪子公式 Gentzen系统

在线全文

学校读者我要写书评

暂无评论

NKI中的本体、框架和逻辑理论(英文)

软件学报 2005年第12期16卷 2045-2053页

作者：眭跃飞高颖曹存根中国科学院计算技术研究所北京100080

NKI(国家知识基础设施)是一个大规模知识库,它用框架来表示本体中的概念,用Horn逻辑程序作为自动推理.给出NKI中的本体、框架和逻辑理论的形式表示以及形式表示之间的转换,并证明如果将本体、框架和逻辑理论看作是3个范畴,则这些转换是... 详细信息

NKI(国家知识基础设施)是一个大规模知识库,它用框架来表示本体中的概念,用Horn逻辑程序作为自动推理.给出NKI中的本体、框架和逻辑理论的形式表示以及形式表示之间的转换,并证明如果将本体、框架和逻辑理论看作是3个范畴,则这些转换是这3个范畴之间的函子.这个结果保证了在NKI中,基于Horn逻辑程序的推理关于用本体和框架表示的知识库是正确的.

关键词：本体框架理论转换

基于模糊命题模态逻辑的形式推理系统(英文)

在线全文

学校读者我要写书评

暂无评论

软件学报 2005年第8期16卷 1359-1365页

作者：张再跃眭跃飞曹存根江苏科技大学计算机科学与技术系智能计算联合实验室江苏镇江212003 中国科学院计算机技术研究所智能信息处理重点实验室北京100080

探讨基于可信度的模糊命题模态逻辑的形式推理,给出相关的模糊Kripke语义描述.其研究目的旨在解决基于模态命题逻辑的模糊推理的能行问题.在研究过程与方法上,以完全形式化的方法将模糊模态逻辑语法和语义统一在一个形式系统中,以模糊... 详细信息

探讨基于可信度的模糊命题模态逻辑的形式推理,给出相关的模糊Kripke语义描述.其研究目的旨在解决基于模态命题逻辑的模糊推理的能行问题.在研究过程与方法上,以完全形式化的方法将模糊模态逻辑语法和语义统一在一个形式系统中,以模糊约束作为基本表达式,给出推理规则,建立了相应的模糊推理形式系统,并以形式系统中模糊约束集的可满足性来表示模糊推理的有效性,使模糊推理过程变得容易,为最终在计算机上实现基于模态逻辑的模糊推理打下了一定的基础.主要结论是证明了基于可满足性的模糊推理形式系统的可靠性与完备性.

关键词：命题模态逻辑模糊推理形式系统

在线全文

学校读者我要写书评

暂无评论

基于竹集成材的产品创新设计初探

竹子学报 2017年第4期36卷 76-81页

作者：夏寸草上海视觉艺术学院上海201620 上海大学美术学院上海200444

简述了竹集成材及产品的加工工艺,以及我国竹集成材产品设计生产的现状与困境;分别从竹集成材的物理特征、加工工艺特征、色彩肌理特征3个特征,分析了竹集成材的材质特征所引起的设计要点;基于竹集成材的材料、形态、功能和文化的角度,... 详细信息

简述了竹集成材及产品的加工工艺,以及我国竹集成材产品设计生产的现状与困境;分别从竹集成材的物理特征、加工工艺特征、色彩肌理特征3个特征,分析了竹集成材的材质特征所引起的设计要点;基于竹集成材的材料、形态、功能和文化的角度,并结合众多设计案例,陈述了创新设计应用的设计实践。

关键词：竹集成材加工工艺创新设计

在线全文

学校读者我要写书评

暂无评论

基于Web语料的概念获取系统的研究与实现

计算机科学 2007年第2期34卷 161-165,195页

作者：余蕾曹存根中国科学院计算技术研究所

互联网网页中存在大量的专业知识。如何从这些资源中获取知识已经成为10多年来的一个重要的研究课题。概念和概念间的关系是知识的基本组成部分,因此如何获取并验证概念,成为从文本到知识的过程中的重要步骤。本文提出并实现了一种自动... 详细信息

互联网网页中存在大量的专业知识。如何从这些资源中获取知识已经成为10多年来的一个重要的研究课题。概念和概念间的关系是知识的基本组成部分,因此如何获取并验证概念,成为从文本到知识的过程中的重要步骤。本文提出并实现了一种自动从Web语料中获取概念的方法,该方法利用了规则、统计、上下文信息等多种方法和信息。实验结果表明,该方法达到了较好的效果。

关键词：中文信息处理知识获取概念获取概念验证

在线全文

学校读者我要写书评

暂无评论

基于场合的情绪常识模型研究与分析

华东理工大学学报（自然科学版） 2006年第9期32卷 1091-1097页

作者：叶潇杨帆曹存根邵志清华东理工大学计算机科学与工程系上海200237 中国科学院计算技术研究所北京100080

为了形式化表示人类情绪常识,考察一定语境中承担着各自不同社会角色的人们所具有的情绪产生和变化规律,提出了一种基于场合的情绪常识表示模型,并对学校场合进行实例分析。通过在学校场合中建立角色情绪常识模型的实验,验证了该模型对... 详细信息

为了形式化表示人类情绪常识,考察一定语境中承担着各自不同社会角色的人们所具有的情绪产生和变化规律,提出了一种基于场合的情绪常识表示模型,并对学校场合进行实例分析。通过在学校场合中建立角色情绪常识模型的实验,验证了该模型对角色情绪常识的表示是有效的、正确的,可用来对角色情绪的认知产生过程做合理的形式化描述。

关键词：情绪常识场合角色情绪规则表示模型

基于领域本体的半结构化文本知识自动获取方法的设计和实现

在线全文

学校读者我要写书评

暂无评论

计算机学报 2005年第12期28卷 2010-2018页

作者：王海涛曹存根高颖中国科学院计算技术研究所智能信息处理重点实验室中国科学院软件研究所北京100080

文章介绍了一种新的基于领域本体的文本知识自动获取方法的设计和实现.通过引入领域本体,实现了半结构化文本知识的完全自动获取.该方法具有较好的通用性,把人们从繁重的手工劳动中解放出来,并能极大地提高知识获取的效率.已经设计并实... 详细信息

文章介绍了一种新的基于领域本体的文本知识自动获取方法的设计和实现.通过引入领域本体,实现了半结构化文本知识的完全自动获取.该方法具有较好的通用性,把人们从繁重的手工劳动中解放出来,并能极大地提高知识获取的效率.已经设计并实现了基于领域本体的知识获取方法OMKast;一种参数化的知识编程语言ePKPL,用以实现OMKast、ePKPL虚拟机VM(即ePKPL运行环境).目前,这项工作已经在中草药、音乐、西医等领域进行了应用,取得了满意的结果.

关键词：文本知识获取知识编程语言虚拟机多主体系统领域本体

在线全文

学校读者我要写书评

暂无评论

作战计划策略的表示与应用

系统工程理论与实践 2005年第6期25卷 59-65,86页

作者：秦前付徐洸曹存根空军指挥学院作战指挥系北京100089 中国科学院计算技术研究所智能信息处理重点实验室北京100080

　主要包括两个方面的工作:1 提出了计划策略的组件描述方法.首先提炼了影响空中作战计划制定的关键因素,形成六个组件;采用这些组件的合理组合,描述了四个典型的计划策略.2 提出了计划策略与结构化优化模型(SOM)相结合的综合计算框架.... 详细信息

　主要包括两个方面的工作:1 提出了计划策略的组件描述方法.首先提炼了影响空中作战计划制定的关键因素,形成六个组件;采用这些组件的合理组合,描述了四个典型的计划策略.2 提出了计划策略与结构化优化模型(SOM)相结合的综合计算框架.认为计划策略可以在两个方面影响结构化求解模型:影响模型关键参数,增加新的约束条件,并结合实例进行说明.这样,可以根据不同策略获得不同的作战计划并评估选优,符合作战实际需求.

关键词：作战计划智能决策策略结构化优化模型