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