计算机研究与发展杂志北大期刊CSCD期刊统计源期刊

计算机研究与发展 2013年第02期杂志 文档列表

计算机研究与发展杂志人工智能与模式识别

时空数据挖掘研究进展第225-239页

关键词: 时空数据挖掘；  时空模式发现；  时空聚类；  时空异常检测；  时空预测和分类；  

一种多动机强化学习框架第240-247页

关键词: 强化学习；  多动机；  q学习；  

概念格的属性渐减原理与算法研究第248-259页

关键词: 形式概念分析；  概念格；  属性；  渐减算法；  构造；  

多组播路由问题的粒子群优化算法第260-268页

关键词: 多组播路由；  粒子群优化；  树结构演化；  视觉半径；  惩罚策略；  

混合过滤器和封装器启发式判别籽棉成熟度第269-277页

关键词: 籽棉；  成熟度；  特征选择；  过滤器；  封装器；  启发式搜索；  

计算机研究与发展杂志计算机网络与信息安全

机会网络中的安全与信任技术研究进展第278-290页

关键词: 机会网络；  安全；  隐私；  信任；  合作；  激励机制；  

一种终端认证简化的在线移动支付模式与协议第291-301页

关键词: 移动终端认证；  公共服务域；  支付模式；  移动支付协议；  支付安全；  

标准模型下基于强RSA假设的身份签名方案第302-306页

关键词: 基于身份的签名；  hw签名；  强rsa假设；  标准模型；  卡梅隆hash函数；  

基于噪声模型和通道融合的彩色图像隐写分析第307-318页

关键词: 彩色图像通用隐写分析；  噪声模型；  通道融合；  梯度和序列；  梯度方向序列；  

基于仿射和复合混沌的图像加密新算法第319-324页

关键词: 图像加密；  仿射；  混沌；  置乱；  自适应；  

基于进程代数的TCG远程证明协议的形式化验证第325-331页

关键词: 可信计算；  远程证明；  协议验证；  形式化；  进程代数；  

计算机研究与发展杂志软件技术

基于调用图的类间MM路径自动生成方法研究第332-343页

关键词: mm路径；  调用图；  类层次分析；  安德森指向分析；  面向对象软件的集成测试；  面向路径的测试用例自动生成；  

面向方面程序的属性推断第344-351页

关键词: 面向方面程序；  形式化验证；  属性保持；  属性推断；  活性属性；  安全属性；  

基于问题模式的形式化软件规格说明生成方法第352-360页

关键词: 形式化软件规格说明；  生成方法；  问题模式；  模型精化演算；  算法程序；  

科学出版社期刊出版中心招聘启事第360-360页

关键词: 科学出版社；  期刊出版；  招聘；  科技期刊；  服务机构；  业务发展；  专业化；