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

软件学报 2013年第03期杂志 文档列表

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

面向事件图和事件时态逻辑的模型检验方法第421-432页

关键词: 事件图；  事件时态逻辑；  模型检验；  buchi自动机；  转换；  

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

多值Lukasiewicz逻辑公式的范式表示和计数问题第433-453页

关键词: shannon展开式；  n值mcnaughton函数；  逻辑等价类；  计数问题；  

基于联合概率矩阵分解的上下文广告推荐算法第454-464页

关键词: 推荐算法；  联合概率矩阵分解；  上下文广告；  准确率；  数据稀疏；  

计算机兵棋作战实体轨迹聚类算法第465-475页

关键词: 计算机兵棋；  数据挖掘；  轨迹聚类；  相似性度量；  密度估计熵；  

基于双极偏好占优的高维目标进化算法第476-489页

关键词: 高维目标优化；  双极偏好；  pareto占优；  进化算法；  

多层核心集凝聚算法第490-506页

关键词: 多层；  核心集；  凝聚；  大规模；  

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

机会网络中面向周期性间歇连通的数据传输第507-525页

关键词: 机会网络；  循环周期；  动态规划；  延迟概率；  数据传输；  

P2P网络中一种基于进化博弈的资源配置模型第526-539页

关键词: 对等网络；  广义随机图；  进化博弈；  资源配置；  泛洪；  

Tor匿名通信流量在线识别方法第540-556页

关键词: 匿名通信；  tor；  流量识别；  tls指纹；  报文长度分布；  

无线传感器网络基于虚拟节点的小波压缩方法第557-563页

关键词: 传感器网络；  存储有效；  数据传送；  虚拟节点；  

面向移动终端的云计算跨域访问委托模型第564-574页

关键词: 跨域访问控制；  移动终端；  委托；  角色映射；  rbac；  云安全；  

一种适合低连接度拓扑的集中式保护路由机制第575-592页

关键词: 域内路由；  集中式；  

Multi—log2N交换网络的性能分析模型及控制算法第593-603页

关键词: 交换网络；  多级网络；  控制算法；  自选路由；  阻塞；  

抗噪的未知应用层协议报文格式最佳分段方法第604-617页

关键词: 应用层协议；  报文格式；  分段；  隐半马尔可夫模型；  

无证书签密机制的安全性分析第618-622页

关键词: 签密；  无证书；  随机谕示模型；  椭圆曲线；