| |
2009年第20卷第3期目录
本期目录 | | | 描述逻辑εLN 循环术语集的不动点语义及推理 | | | 蒋运承,王驹,史忠植,汤庸 | | | 2009,20(3):477-490 [摘要(5214)] [PDF 863.13 K (5887)] | | | | | 描述逻辑μALCQO 的语义及推理 | | | 蒋运承,王驹,汤庸,邓培民 | | | 2009,20(3):491-504 [摘要(4766)] [PDF 729.56 K (6143)] | | | | | Petri 网的步问题研究 | | | 潘理,赵卫东,王志成,周新民,柳先辉 | | | 2009,20(3):505-514 [摘要(5322)] [PDF 598.58 K (6390)] | | | | | 逻辑系统NMG 的满足性和紧致性 | | | 周红军,王国俊 | | | 2009,20(3):515-523 [摘要(5078)] [PDF 629.28 K (6046)] | | | | | 随机QoS 感知的可靠Web 服务组合 | | | 范小芹,蒋昌俊,王俊丽,庞善臣 | | | 2009,20(3):546-556 [摘要(6160)] [PDF 619.06 K (8384)] | | | | | 一种用于软件过程建模的适应性Agent 协商 | | | 黎巎,李明树,王青,赵琛,杜栓柱 | | | 2009,20(3):557-566 [摘要(5272)] [PDF 598.65 K (5809)] | | | | | 基于模糊多属性决策理论的语义Web 服务组合算法 | | | 李祯,杨放春,苏森 | | | 2009,20(3):583-596 [摘要(5452)] [PDF 827.86 K (8019)] | | | | | 重构C++程序物理设计 | | | 周天琳,史亮,徐宝文,周毓明 | | | 2009,20(3):597-607 [摘要(5451)] [PDF 615.94 K (6800)] | | | | | QoS 区分的自适应p-Persistent MAC 算法对信道利用率的动态优化 | | | 白翔,毛玉明,冷甦鹏,毛建兵,谢军 | | | 2009,20(3):608-619 [摘要(5054)] [PDF 727.92 K (6044)] | | | | | 防范前缀劫持的互联网注册机制 | | | 刘欣,朱培栋,彭宇行 | | | 2009,20(3):620-629 [摘要(5141)] [PDF 605.03 K (5994)] | | | | | 基于自适应随机行走的可扩展无偏抽样方法 | | | 符永铨,王意洁,周婧 | | | 2009,20(3):630-643 [摘要(4372)] [PDF 849.77 K (6067)] | | | | | 公平的有向传感器网络方向优化和节点调度算法 | | | 温俊,蒋杰,窦文华 | | | 2009,20(3):644-659 [摘要(4623)] [PDF 1.08 M (6407)] | | | | | 一种结构化P2P 协议中的自适应负载均衡方法 | | | 熊伟,谢冬青,焦炳旺,刘洁 | | | 2009,20(3):660-670 [摘要(5703)] [PDF 801.29 K (7153)] | | | | | 面向智能空间的位置感知方法研究 | | | 明亮,赵刚,谢桂海,王春雷 | | | 2009,20(3):671-681 [摘要(5328)] [PDF 706.42 K (7068)] | | | | | 一种基于分组密码的hash 函数 | | | 林品,吴文玲,武传坤 | | | 2009,20(3):682-691 [摘要(5325)] [PDF 512.57 K (6371)] | | | | | 可证安全的无证书代理签名方案 | | | 陈虎,张福泰,宋如顺 | | | 2009,20(3):692-701 [摘要(5678)] [PDF 549.41 K (8450)] | | | | | 秋季植物叶子表观的模拟 | | | 迟小羽,盛斌,杨猛,陈彦云,吴恩华 | | | 2009,20(3):702-712 [摘要(5427)] [PDF 2.21 M (6128)] | | | | | 支持外观属性保持的三维网格模型简化 | | | 卢威,曾定浩,,潘金贵 | | | 2009,20(3):713-723 [摘要(5000)] [PDF 797.01 K (7154)] | | | | | 基于特征点的三维人脸形变模型 | | | 龚勋,王国胤 | | | 2009,20(3):724-733 [摘要(4909)] [PDF 927.47 K (10191)] | | | | | 基于概率模型的高动态范围图像色调映射 | | | 宋明黎,王慧琼,陈纯,叶秀清,顾伟康 | | | 2009,20(3):734-743 [摘要(5203)] [PDF 933.75 K (7517)] | | | | | 一种基于补偿代价的长事务调度算法 | | | 朱锐,郭长国,王怀民 | | | 2009,20(3):744-753 [摘要(4739)] [PDF 620.82 K (6036)] | | | | | 一种细粒度高效多版本文件系统 | | | 向小佳,舒继武,郑纬民 | | | 2009,20(3):754-765 [摘要(3945)] [PDF 809.72 K (6312)] | | | | | 集群软件无线电系统中实时信号处理调度研究 | | | 朱晓敏,陆佩忠 | | | 2009,20(3):766-778 [摘要(5422)] [PDF 863.05 K (5664)] | | | |
综述文章
|
