| |
2009年第20卷第6期目录
本期目录 | | | DDS并行模型及其形式化 | | | 刘真环,韦立,陈艳,赵荣盛,王驹 | | | 2009,20(6):1406-1413 | | | [摘要](5553) [PDF 554.88 K](9049) | | | 一种基于满足性判定的并发软件验证策略 | | | 周从华 | | | 2009,20(6):1414-1424 | | | [摘要](5670) [PDF 671.35 K](7215) | | | 参数化系统安全性的启发式符号验证 | | | 杨秋松,李明树 | | | 2009,20(6):1444-1456 | | | [摘要](5268) [PDF 840.10 K](7630) | | | UML类图中面向非功能属性的描述和检验 | | | 张岩,梅宏 | | | 2009,20(6):1457-1469 | | | [摘要](5480) [PDF 854.96 K](9603) | | | 基于分布式协调模型的服务协作方法研究 | | | 乔晓强,魏峻,黄涛 | | | 2009,20(6):1470-1486 | | | [摘要](5288) [PDF 1.19 M](8210) | | | UML类图层次化自动布图算法 | | | 王晓博,王欢,刘超 | | | 2009,20(6):1487-1498 | | | [摘要](6793) [PDF 784.25 K](12474) | | | 基于数据包络分析的软件任务性能基准评价 | | | 阮利,王永吉,王青,曾海涛 | | | 2009,20(6):1499-1510 | | | [摘要](5350) [PDF 822.75 K](7674) | | | 用于二维不规则排样的离散临界多边形模型 | | | 张德富,陈竞驰,刘永凯,陈火旺 | | | 2009,20(6):1511-1520 | | | [摘要](5957) [PDF 687.65 K](9143) | | | 基于IMOM和IBOHM启发式策略的扩展规则算法 | | | 李莹,孙吉贵,吴瑕,朱兴军 | | | 2009,20(6):1521-1527 | | | [摘要](6084) [PDF 459.54 K](7755) | | | 二维矩形条带装箱问题的底部左齐择优匹配算法 | | | 蒋兴波,吕肖庆,刘成城 | | | 2009,20(6):1528-1538 | | | [摘要](7993) [PDF 829.39 K](13175) | | | 一种基于行程编码的P2P网络动态信任模型 | | | 方群,吉逸,吴国新,赵生慧,吴鹏 | | | 2009,20(6):1602-1616 | | | [摘要](6159) [PDF 1.11 M](8696) | | | MD5碰撞攻击中的充要条件集 | | | 陈士伟,金晨辉 | | | 2009,20(6):1617-1624 | | | [摘要](6001) [PDF 542.42 K](8232) | | | 基于组件属性的远程证明 | | | 秦宇,冯登国 | | | 2009,20(6):1625-1641 | | | [摘要](6504) [PDF 1.28 M](9687) | | | Ad Hoc网络中基于拓扑透明特性的混合MAC协议 | | | 李卫,王杉,魏急波 | | | 2009,20(6):1642-1650 | | | [摘要](5732) [PDF 568.13 K](7349) | | | 一种基于图像表观的鲁棒姿态估计方法 | | | 马丙鹏,山世光,陈熙霖,高文 | | | 2009,20(6):1651-1663 | | | [摘要](5206) [PDF 1.11 M](7681) | | | 人体运动的函数数据分析与合成 | | | 李淳芃,王兆其,夏时洪 | | | 2009,20(6):1664-1672 | | | [摘要](5923) [PDF 857.93 K](8822) | | | 不规则网格上的曲面设计方法 | | | 何军,张彩明,杨兴强 | | | 2009,20(6):1673-1684 | | | [摘要](5705) [PDF 831.51 K](8511) | | | 基于概率计算模型改进的相关性层次遮挡裁剪算法 | | | 梁晓辉,任威,于卓,梁爱民 | | | 2009,20(6):1685-1693 | | | [摘要](5254) [PDF 666.58 K](7486) | | | TV图像插值的双方向扩散改进算法 | | | 詹毅,王明辉,万群,李梦 | | | 2009,20(6):1694-1702 | | | [摘要](5092) [PDF 945.62 K](7974) | |
综述文章 | | | 组合测试:原理与方法 | | | 严俊,张健 | | | 2009,20(6):1393-1405 | | | [摘要](13742) [PDF 831.86 K](25703) | | | 软件错误注入测试技术研究 | | | 陈锦富,卢炎生,谢晓东 | | | 2009,20(6):1425-1443 | | | [摘要](11284) [PDF 1.09 M](23521) | | | 无线网状网的QoS研究 | | | 董超,陈贵海,王海 | | | 2009,20(6):1539-1552 | | | [摘要](8756) [PDF 2.32 M](12135) | | | 生物特征模板保护 | | | 李鹏,田捷,杨鑫,时鹏,张阳阳 | | | 2009,20(6):1553-1573 | | | [摘要](11924) [PDF 1.60 M](18313) | | | 网络距离预测技术研究 | | | 王意洁,李小勇 | | | 2009,20(6):1574-1590 | | | [摘要](8469) [PDF 1.06 M](13664) | |
|
