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