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

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

计算机研究与发展杂志专题：可信编译

前言第1821-1821页

关键词: 目标代码；  编译器；  计算机系统；  可信性；  信息技术；  高级语言；  编译过程；  转换功能；  

静态缺陷检测中的误报消除技术研究第1822-1831页

关键词: 误报；  数据流分析；  抽象解释；  约束求解；  符号执行；  

基于局部堆内存抽象表示的堆操作程序内存泄露检测第1832-1842页

关键词: 堆操作程序；  指针扩展类型；  堆局部抽象；  内存泄漏检测；  数据流迭代；  静态分析；  

基于编译支持错误跟踪的测试用例自动化生成方法第1843-1851页

关键词: 测试用例；  自动测试；  错误可跟踪；  编译器；  操作语义；  

基于域敏感指向分析的区间运算在软件测试中的应用第1852-1862页

关键词: 静态分析；  缺陷检测；  域敏感；  指向分析；  区间运算；  

基于扩展逻辑变换系统μTS证明循环优化正确性第1863-1873页

关键词: 循环优化；  可信编译；  扩展逻辑变换系统；  循环变换；  辅助证明算法；  

程序的动态完整性：模型和方法第1874-1882页

关键词: 可信软件；  动态完整性模型；  程序行为；  编译器辅助；  代码证实；  

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

多子种群微粒群免疫算法及其在函数优化中应用第1883-1898页

关键词: 微粒群优化；  自适应；  多态；  多样性；  克隆选择；  函数优化；  

求解平衡约束圆形Packing问题的快速启发式并行蚁群算法第1899-1909页

关键词: 平衡约束；  圆形packing问题；  蚁群算法；  物理模型；  启发式方法；  并行算法；  

RFID数据流上多目标复杂事件检测第1910-1925页

关键词: 射频识别；  复杂事件检测；  非确定性有限自动机；  多目标；  

计算机研究与发展杂志数据挖掘

XML数据流分页频繁子树挖掘研究第1926-1936页

关键词: xml；  数据流；  分页；  频繁子树；  数据挖掘；  

一种基于LDA的Web论坛低质量回帖检测方法第1937-1946页

关键词: web论坛；  主题模型；  主题分布；  低质量回帖；  语义特征；  分类；  

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

两层传感器网络中安全Top—k查询协议第1947-1958页

关键词: 两层结构无线传感器网络；  扰动多项式函数；  水印链；  安全查询；  

无标签数估计的被动RFID标签防冲突二进制树时隙协议第1959-1971页

关键词: rfid；  防冲突；  aloha；  标签估计；  被动式；  

基于多维熵值分类的骨干网流量异常检测研究第1972-1981页

关键词: 异常检测；  熵；  时间序列；  一类支持向量机；  多窗口关联检测；