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