首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   2篇
  免费   0篇
自动化技术   2篇
  2020年   1篇
  2009年   1篇
排序方式: 共有2条查询结果,搜索用时 0 毫秒
1
1.
在L 3-值命题逻辑中,对应于矢列式推导的Gentzen推理系统G是单调的,而对应于余矢列式推导的Gentzen推理系统G-是非单调的。基于G和G-,文中给出了一个R-演算S,使得任意的R-转换Δ|AΔ,C是有效的当且仅当它在S中可证。因此,S在限制A进入Δ时是单调的,而在将A添加到Δ中时是非单调的。  相似文献   
2.
一种基于行为分析的人物关系网络发掘方法   总被引:2,自引:0,他引:2  
为了从人物行为引导出人物关系,提出一种基于人物行为分析发掘人物关系网络的方法.以特定领域的行为为分析对象,构建该领域的行为模型,获取该领域的核心人物集合,通过训练生成领域的关系模型,最后利用社会网络分析SNASNA(Social Network Analysis),技术发掘人物的领域关系网络.在行政官员活动领域试验该方法,获得了良好的效果.  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号