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