软件学报杂志北大期刊CSCD期刊统计源期刊

软件学报 2014年第01期杂志 文档列表

软件学报杂志理论计算机科学

符号网络研究综述第1-15页

关键词: 符号网络；  网络科学；  网络拓扑；  拓扑分析；  在线社会网络；  复杂性科学；  

基于余归纳的最小Kripke结构的求解第16-26页

关键词: 模型检测；  互模拟；  函子；  终余代数；  最小kripke结构；  

量子Müller自动机与单体二阶量子逻辑第27-36页

关键词: 量子逻辑；  正交模格；  量子mailer自动机；  量子无穷正则语言；  单体二阶量子逻辑；  buchi定理；  

软件学报杂志模式识别与人工智能

语音情感识别研究进展综述第37-50页

关键词: 人机交互；  情感计算；  情感描述模型；  情感语音库；  情感声学特征；  语音情感识别；  

在部分观测环境下的不确定动作模型学习第51-63页

关键词: 人工智能；  自动规划；  动作模型学习；  不确定动作；  部分观测；  

基于OBDD的描述逻辑εL循环术语集推理第64-77页

关键词: 描述逻辑el；  循环术语集；  有序二又决策图；  概念包含关系；  不动点语义；  

软件学报杂志计算机网络与信息安全

互联网地址安全体系与关键技术第78-97页

关键词: 地址欺骗；  前缀劫持；  地址安全；  地址认证；  通用地址平台；  

基于用户需求的内容分发点对点网络系统研究第98-117页

关键词: 用户需求；  需求获取；  用户相似性；  用户信任度；  

互联网自动配置研究第118-134页

关键词: 网络管理；  自动配置；  配置生成；  配置验证；  配置实现；  

高速网络流量测量方法第135-153页

关键词: 网络流量测量；  分组抽样；  流抽样；  数据流；  

信息中心网络中的内置缓存技术研究第154-175页

关键词: 信息中心网络；  内容中心网络；  缓存；  缓存协同；  缓存网络；