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

软件学报 2008年第12期杂志 文档列表

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

语义网的一阶逻辑推理技术支持第3091-3099页

关键词: 语义网推理；  一阶逻辑；  描述逻辑；  本体；  可满足性；  

一种描述逻辑与逻辑程序相结合的杂合系统DLclog第3100-3110页

关键词: 限制；  描述逻辑；  杂合系统；  逻辑程序规则；  语义web；  

混合系统的符号化可达性分析第3111-3121页

关键词: 混合系统；  矩形混合系统；  可达性分析；  验证；  非线性混合系统；  

直觉线性μ-演算第3122-3133页

关键词: 命题线性时序逻辑；  

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

基于奇异点邻近结构的快速指纹识别第3134-3146页

关键词: 指纹识别；  分类；  匹配；  奇异点；  细节点对；  

全国第6届智能CAD与数字娱乐（CIDE2009）学术会议征文通知第3146-3146页

基于多项式核的结构化有向树数据聚类算法第3147-3160页

关键词: 数据聚类；  多项式核；  邻域密度因子；  有向树；  图论；  重叠数据；  结构性作用；  结构化聚类；  

用于图像分割的自适应距离保持水平集演化第3161-3169页

关键词: 图像分割；  几何活动轮廓模型；  水平集方法；  距离保持水平集方法；  偏微分方程；  

基于一阶模态逻辑的模糊推理第3170-3178页

关键词: 模态逻辑；  模糊推理；  形式系统；  模糊约束；  可满足性；  

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

基于服务的网络体系结构的设计和实现第3179-3195页

关键词: 网络体系结构；  微通信元架构；  服务质量；  网络安全；  

基于调度集合的多播单播数据联合调度算法第3196-3206页

关键词: ieee；  省电；  联合调度；  多播；  调度集合；  

一种维序的基于组合输入输出排队的并行交换结构第3207-3217页

关键词: 交换结构；  ioq；  queuing；  parallel；  packet；  组合输入输出排队交叉开关；  并行报文交换；  信元按序发送；  

无线Ad Hoc网络中基于时间广播的功率感知路由第3218-3227页

关键词: 基于时间广播；  功率感知；  等待时间；  累计功率；  无线adhoc网络；  

基于物理的人体空中运动仿真第3228-3236页

关键词: 关键帧插值；  四元数；  时空约束；  非线性约束优化；  

海量医学数据处理框架及快速体绘制算法第3237-3248页

关键词: 海量数据处理；  医学影像可视化；  体绘制；  算法研发平台；