| 2005年第16卷第3期目录
本期目录 | | | 由一阶逻辑公式得到命题逻辑可满足性问题实例 | | 黄拙,张健 | | 2005,16(3):327-335 [摘要(5577)] [PDF 1019.11 K (5445)] | | | | 不可满足公式的同态证明系统 | | 许道云 | | 2005,16(3):336-345 [摘要(4572)] [PDF 1.13 M (4268)] | | | | 一种用于Java程序验证编译的标签类型 | | 陈晖,陈意云,茹祥民 | | 2005,16(3):346-354 [摘要(3801)] [PDF 1.01 M (4847)] | | | | QRDChecker:一个QRDC模型检验工具 | | 裴玉,徐启文,李宣东,郑国梁 | | 2005,16(3):355-364 [摘要(4043)] [PDF 684.99 K (5180)] | | | | 均值漂移算法的收敛性 | | 李乡儒,吴福朝,胡占义 | | 2005,16(3):365-374 [摘要(8780)] [PDF 1.12 M (13303)] | | | | 时隙间迭代的输入队列交换机Round-Robin调度算法 | | 吴俊,陈晴,罗军舟 | | 2005,16(3):375-383 [摘要(4622)] [PDF 997.49 K (5437)] | | | | 一种分布式吴方法计算模型 | | 武永卫,杨广文,杨宏,郑纬民,林东岱 | | 2005,16(3):384-391 [摘要(4186)] [PDF 884.29 K (5372)] | | | | k-Median近似计算复杂度与局部搜索近似算法分析 | | 潘锐,朱大铭,马绍汉,肖进杰 | | 2005,16(3):392-399 [摘要(5189)] [PDF 1.03 M (6550)] | | | | 工作流活动多实例的调度控制 | | 孙瑞志,史美林 | | 2005,16(3):400-406 [摘要(4425)] [PDF 824.27 K (5016)] | | | | 一种支持软件过程控制和改进的主动度量模型 | | 王青,李明树,刘霞 | | 2005,16(3):407-418 [摘要(4328)] [PDF 1.24 M (5328)] | | | | 针对一般线性约束的Petri网控制器设计方法 | | 王寿光,颜钢锋 | | 2005,16(3):419-426 [摘要(3807)] [PDF 1018.53 K (4813)] | | | | 软件需求定量分析及其映射的模糊层次分析法 | | 熊伟,新藤久和,渡边喜道 | | 2005,16(3):427-433 [摘要(4149)] [PDF 864.87 K (7383)] | | | | Ad Hoc网中基于熵的长寿分布式QoS路由算法 | | 沈晖,石冰心,石邹玲,石坚,周建新 | | 2005,16(3):445-452 [摘要(3950)] [PDF 1.00 M (5466)] | | | | 抵抗一般结构敌手的自适应安全分布式密钥生成协议 | | 何云筱,李宝,吕克伟 | | 2005,16(3):453-461 [摘要(3982)] [PDF 1003.62 K (4295)] | | | | Linux环境下路由器中的网络带宽管理 | | 张焕强,吴志美 | | 2005,16(3):462-471 [摘要(3567)] [PDF 1.03 M (5352)] | | | | 一个群签名成员删除方案的密码学分析 | | 黄振杰,林宣治 | | 2005,16(3):472-476 [摘要(3921)] [PDF 628.75 K (4351)] | | | | 一种用于移动Agent数据保护的机制 | | 谭湘,顾毓清,包崇明 | | 2005,16(3):477-484 [摘要(3914)] [PDF 763.89 K (4811)] | | |
综述文章
|