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