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

软件学报 2007年第06期杂志 文档列表

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

面向语义Web语义表示的模糊描述逻辑第1257-1269页

关键词: 语义web；  描述逻辑；  语义表示；  

并发反应式系统的组合模型检验与组合精化检验第1270-1281页

关键词: 模型检验；  精化检验；  组合模型检验；  组合精化检验；  状态爆炸问题；  模块检验；  

基于量子逻辑的自动机理论的拓扑性质第1282-1286页

关键词: 量子逻辑；  自动机；  successor算子；  source算子；  子自动机；  拓扑；  

软件学报杂志算法设计与分析

用擂台赛法则构造多目标Pareto最优解集的方法第1287-1297页

关键词: 多目标进化；  擂台赛法则；  非支配集构造方法；  pareto最优解集；  运行效率；  

一种基于彩色编码技术的基序发现算法第1298-1307页

关键词: 彩色编码技术；  基序发现；  着色；  算法优化；  

Ad Hoc网络中基于方向性天线的分布式拓扑控制算法第1308-1318页

关键词: 拓扑控制；  方向性天线；  平面图；  无线ad；  hoc网络；  

背包类问题的并行O（2^5n/6）时间-空间-处理机折衷第1319-1327页

关键词: np完全问题；  并行算法；  背包问题；  

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

STRIPS规划领域中动作效果关系的研究第1328-1349页

关键词: 智能规划；  规划领域；  直接伴随关系；  条件伴随关系；  直接阻碍关系；  间接阻碍关系；  绝对阻碍关系；  

基于平行性约束的摄像机标定与3D重构第1350-1360页

关键词: 不变量；  平行性约束；  摄像机标定；  3d重构；  

一种检测器长度可变的非选择算法第1361-1368页

关键词: 人工免疫系统；  非选择算法；  检测器生成；  漏洞；  

基于改进多目标遗传算法的入侵检测集成方法第1369-1378页

关键词: 入侵检测；  特征选择；  优化；  多目标遗传算法；  选择性集成；  

软件学报杂志数据库技术

P2P持久存储研究第1379-1399页

关键词: 对等网络；  存储系统；  持久性；  冗余；  数据分发；  错误检测；  数据维护；  

XML数据的查询技术第1400-1418页

关键词: xml查询；  xml；  ir查询；  xpath；  xquery；  xml关键字查询；  ft；  twig查询模式；  结构连接；  slca节点；  dewey编码；  相似性度量；  树编辑距离；  向量空间模型；  

基于最大间隙空间映射的高维数据索引技术第1419-1428页

关键词: 高维索引；  查询精炼；  假活动子空间；  

F-Index：一种加速Twig查询处理的扁平结构索引第1429-1442页

关键词: xml；  查询优化；  twig查询；  过滤；  结构索引；