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

软件学报 2004年第09期杂志 文档列表

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

基于Petri网的模型检测研究第1265-1276页

关键词: 时序逻辑；  petri网；  状态空间；  模型检测；  

一种新型递归函数的求值算法第1277-1291页

关键词: 上下文无关语言；  递归函数；  求值算法；  

软件学报杂志系统软件与软件工程

基于有向带权图迭代的面向对象系统分解方法第1292-1300页

关键词: 软件构件；  构件提取；  有向图分析；  内聚耦合；  独立性度量；  

对逻辑覆盖软件测试准则的公理化评估第1301-1310页

关键词: 基于规格说明的测试；  逻辑覆盖测试准则；  公理化评估；  测试充分性准则；  

基于数据空间融合的全局计算与数据划分方法第1311-1327页

关键词: 分布主存多处理机；  并行编译器；  计算划分；  数据划分；  数据融合；  

软件学报杂志默认

敬告作者第1300-1300页

第2届全国搜索引擎和网上信息挖掘学术研讨会征文通知第1310-1310页

2005年智能计算及其应用国际研讨会会议通知第1327-1327页

《软件学报》投稿指南第-F003页

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

基于多示例学习的中文Web目录页面推荐第1328-1335页

关键词: 多示例学习；  web挖掘；  机器学习；  中文web目录页面推荐；  前缀树；  

基于内容图像检索中的顺序回归问题第1336-1344页

关键词: 基于内容的图像检索；  相关反馈；  顺序回归；  偏好关系；  支持向量机；  

一种求解极小诊断的遗传模拟退火算法第1345-1350页

关键词: 基于模型的诊断；  极小诊断；  冲突集；  击中集；  遗传算法；  模拟退火；  

软件学报杂志数据库技术

一种用于位置数据库结构调整的增量聚类算法第1351-1360页

关键词: 增量聚类；  数据挖掘；  位置数据库；  

基于关键维的高维空间划分策略第1361-1374页

关键词: 高维索引；  度量空间；  关键维；  范围查询；  最近邻查询；  

PeerIS：基于Peer-to-Peer的信息检索系统第1375-1384页

关键词: 信息检索；