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