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