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

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

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

一种多到一子图同构检测方法第401-414页

关键词: 图匹配；  子图同构；  预处理；  图索引；  

一种用于指针程序验证的指针逻辑第415-426页

关键词: 软件安全；  hoare逻辑；  指针逻辑；  携带证明的代码；  出具证明的编译器；  

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

一种宋词自动生成的遗传算法及其机器实现第427-437页

关键词: 自然语言生成；  计算诗学；  宋词生成；  遗传算法；  

基于动态概率路径事件模型的RFID数据填补算法第438-451页

关键词: rfid技术；  数据填补；  概率路径事件模型；  区域事件；  漏读数据；  冗余数据；  

一种基于特征捆绑计算模型的物体识别方法第452-460页

关键词: 特征捆绑；  计算模型；  物体识别；  

多线程程序时序分析的隐Markov模型第461-472页

关键词: 多线程；  数据竞争；  hidden；  markov模型；  时序；  

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

传感器网络中基于蚁群算法的实时查询处理第473-489页

关键词: 无线传感器网络；  实时查询处理；  数据复制；  蚁群算法；  

延迟容忍传感器网络基于相对距离的数据传输第490-504页

关键词: 延迟容忍移动无线传感器网络；  数据收集；  动态数据传输；  选择复制；  队列管理；  

基于信誉机制的域间路由安全协同管理方法第505-515页

关键词: 域间路由；  安全管理；  信誉；  协同；  自组织；  

基于时间部署的无线传感器网络密钥管理方案第516-527页

关键词: 无线传感器网络；  网络安全；  密钥管理；  随机密钥预分配；  基于时间部署；  

一种保证时延的关键流路由调整算法第528-538页

关键词: 网络管理；  负载均衡；  服务质量；  路由调整；  最大最小化；  

一种基于安全状态转移的简并测试集生成方法第539-547页

关键词: 安全操作系统测评；  形式化方法；  模型检测；  测试用例化简；  简并测试集；  

基于冲突分类模型的冲突解析算法第548-563页

关键词: ieee；  分布协调函数；  退避；  冲突分类模型；  顺序离散窗口分布；  

基于定长时隙的多跳AdHoc网络DCF协议马尔可夫链模型第564-574页

关键词: ad；  hoc网络；  dcf协议；  模型；  定长时隙；  马尔可夫链；  

本刊实行在线出版的通知第F0004-F0004页

关键词: 出版；  在线；  编辑加工；  电子版本；  印刷版；  网站；  页码；