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