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

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

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

由一阶逻辑公式得到命题逻辑可满足性问题实例第327-335页

关键词: 可满足性问题；  一阶逻辑；  命题逻辑；  

不可满足公式的同态证明系统第336-345页

关键词: 不可满足公式；  同态；  证明系统；  基础矩阵；  完备性；  

一种用于Java程序验证编译的标签类型第346-354页

关键词: 类型保持编译；  类型调度；  标签机制；  

QRDChecker：一个QRDC模型检验工具第355-364页

关键词: 模型检验；  有限性性质；  反应式系统；  时段时序逻辑；  

软件学报杂志默认

第2届“游戏与虚拟现实在教育中的应用”国际研讨会会议通知第335-335页

“数字媒体处理及数字博物馆技术”高级研讨班会议通知第335-335页

第10次全国Petri网学术年会暨形式化方法学术讨论会征文通知第399-399页

2005年全国开放式分布与并行计算学术会议征文通知第426-426页

第1届中国分类技术及应用研讨会（CSCA2005）征文通知第452-452页

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

均值漂移算法的收敛性第365-374页

关键词: 均值漂移；  收敛性；  聚类分析；  图像处理；  

时隙间迭代的输入队列交换机Round-Robin调度算法第375-383页

关键词: 交换机；  输入队列；  吞吐率；  

一种分布式吴方法计算模型第384-391页

关键词: 分布式计算；  吴方法；  符号计算；  

κ-Median近似计算复杂度与局部搜索近似算法分析第392-399页

关键词: 算法；  局部搜索；  近似度；  设备；  客户；  

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

工作流活动多实例的调度控制第400-406页

关键词: 工作流；  工作流管理系统；  活动多实例；  控制体；  同步；  

一种支持软件过程控制和改进的主动度量模型第407-418页

关键词: 软件过程度量；  度量模型；  质量特征；  度量过程；  决策支持；