【doc】 软件学报2005年

【doc】 软件学报2005年 软件学报2005年 软件 (RuanjianXuebao) 2005年第16卷总目次 第1期 软件工程技术发展思索…………………………………-杨芙清(1) 用HOQ拓展概念的软件描述及其定量结构化 方法 快递客服问题件处理详细方法山木方法pdf计算方法pdf华与华方法下载八字理论方法下载 (英文)……熊伟渡边喜道新藤久和(8) 软件关联缺陷的一种 检测 工程第三方检测合同工程防雷检测合同植筋拉拔检测方案传感器技术课后答案检测机构通用要求培训 方法………………一-景涛江昌海胡德斌白成刚蔡开元(17) 手持移动计算中的多通道交互……………………………王悦岳玮宁王衡董士海(29) 面向软件产品家族的变化性建模方法……………………?邹盛享张伟赵海燕梅宏(37) 笔式用户界面交互信息模型研究…………………………………李杰田丰戴国忠(50) 一 种提花织物图像的有限元分割算法…………………--冯志林尹建伟陈刚董金祥(58) 基于模糊连接度的图像分割及算法………………………………潘 建江杨勋年汪国昭(67) 感兴趣区域高效提取算法(英文)………………………….-张红梅卞正中郭佑民叶敏(77) 一 种改进的RM可调度性判定算法……………………刘军祥王永吉MatthewCartmell(89) 硬实时系统中基于软件容错的动态调度算法………李庆华韩建军AbbasAEssa张薇(101) 多媒体会议中的快速实时自适应混音 方案 气瓶 现场处置方案 .pdf气瓶 现场处置方案 .doc见习基地管理方案.doc关于群访事件的化解方案建筑工地扬尘治理专项方案下载 研究………………….-樊星顾伟康叶秀清(108) 一 种秘密共享新个体加入协议(英文)……………………………?董攀况晓辉卢锡城(1l6) 基于Ethernet技术的安全关键实时网络…………………………?杨仕平桑楠熊光泽(121) 一 种面向移动计算的低代价透明检查点恢复协议(英文)…………??李庆华蒋廷耀张红君(135) 参数可调的克隆多播路由算 法……………………………………………”刘芳杨海潮(145) ACJT群签名方案中成员撤消的高效实现……一陈泽文王继林黄继武王育民黄达人(151) Gnutella网络的连接管理………………………………?庄雷潘春建郭永强王从银(158) 第2期 呵恢复的软件DSM系统JIACKPT……………………一张福新章隆兵胡伟武唐志敏(165) 程序 设计 领导形象设计圆作业设计ao工艺污水处理厂设计附属工程施工组织设计清扫机器人结构设计 语言的GLR优化分析…………………………李虎金茂忠许福张敏(174) 基于工作流的知识流建模与控 制…………………………………………张晓刚李明树(184) OpenMP指导语句全局嵌套类型的静态分析及应用(英文_)..陈永健舒继武李建江王鼎兴(194) 一 种有效的关系数据库压缩方 法…………………………………………一骆吉洲李建中(205) 基于FP.Tree有效挖掘最大频繁项集……………………………-颜跃进李舟军陈火旺(215) 基于树自动机的XPath在XML数据流上的高效执行……高军杨冬青唐世渭王腾蛟(223) 图像检索中基于长期学习的动态用户模型…………………?张亮周向东张琪施伯乐(233) SIP标准中的核心技术与研究进展…………………………-司端锋韩心慧龙勤潘爱民(239) 内容发布订阅系统路由算法和自配置策略研 究…………………………-薛涛冯博琴(251) 计算机取证的相关法律技术问题研 究………………………………………丁丽萍王永吉(260) 一 个两层马尔可夫链异常入侵检测模型(英文)……………………徐明陈纯应晶(276) 基于队列的模糊拥塞控制算法…………………………………--綦朝晖孙济洲李小图(286) 基于图像投影序列的盲数字水印鲁棒检测方 法……………………………金聪彭嘉雄(295) 概念设计中基于笔式手势的交互计算研究(英文)………一马翠霞戴国忠滕东兴陈由迪(303) 一 I一 : 基于特征分解的2.D多边形渐变………………………?杨文武冯结青金小刚彭群生(309) 皮料优化排样的有效方法…………………………………………?张玉萍张春丽蒋寿伟(316) 国家自然科学基金委员会信息科学部计算机科学处2004年度重点 项目评审与资助状况分析……一 ………………………………………………………………… 徐琳刘志勇刘克(324) 第3期 由一阶逻辑公式得到命题逻辑可满足性问题实例(英文)……………………黄拙张健(327) 不可满足公式的同态证明系 统………………………………………………………许道云(336) 一 种用于Java程序验证编译的标签类型…………………………陈晖陈意云茹祥民(346) QRDChecker:--个QRDC模型检验工具…………………裴玉徐启文李宣东郑国梁(355) 均值漂移算法的收敛性……………………………………………’李乡儒吴福朝胡占义(365) 时隙间迭代的输入队列交换机Round.Robin调度算法……………?吴俊陈晴罗军舟(375) 一 种分布式吴方法计算模型……………………-武永卫杨广文杨宏郑纬民林东岱(384) . Median近似计算复杂度与局部搜索近似算法分析……?潘锐朱大铭 马绍汉肖进杰(392) 工作流活动多实例的调度控 制…………………………………………………………’孙瑞志史美林(400) 一 种支持软件过程控制和改进的主动度量模型……………………王青李明树刘霞(407) 针对一般线性约束的Petri网控制器设计方法(英文)………………………一王寿光颜钢锋(419) 软件需求定量分析及其映射的模糊层次分析法………………熊伟新藤久和渡边喜道(427) MANET中TCP改进研究综述…………………………冯彦君孙利民钱华林宋成(434) AdHoc网中基于熵的长寿分布式QoS路由算法………………………………………………… ………………………………………………… 沈晖石冰心邹玲石坚周建新(445) 抵抗一般结构敌手的自适应安全分布式密钥生成协议(英文)………何云筱李宝吕克伟(453) Linux环境下路由器中的网络带宽管理(英文)………………………………?张焕强吴志关(462) 一 个群签名成员删除方案的密码学分 析……………………………………??黄振杰林宣治(472) 一 种用于移动Agent数据保护的 机制 综治信访维稳工作机制反恐怖工作机制企业员工晋升机制公司员工晋升机制员工晋升机制图 ……………………………一谭湘顾毓清包崇明(477) 第4期 医学影像处理与分析开发包MITK的设计与实现……………………………………………………………一 ……………………………………… 赵明昌田捷薛健朱殉何晖光吕科(485) 基于Bagging的选择性聚类集 成……………………………………………唐伟周志华(496) 遗传算法与蚂蚁算法动态融合的软硬件划分………………………-熊志辉李思昆陈吉华(503) 一 种求解类覆盖问题的混合算法………………………一黄艳新周春光邹淑雪王岩(513) 基于主动判别函数的手写体识别(英文)…………孙广玲刘家锋唐降龙石大明赵巍(523) 函数依赖和规范化在关系和XML间的传播………………………………?谈子敬施伯乐(533) 纯PeertoPeer环境下有效的Top.k查询…………………………何盈 捷王珊杜小勇(540) 快速挖掘全局最大频繁项目集…………………………-陆介平杨明孙志挥鞠时光(553) XML数据查询中值匹配查询代价估计算法………………………曲卫民孙乐孙玉芳(561) 分布式密钥分发方案的安全性证 明………………………………………一徐海霞李宝(570) 支持e.Science的网格体系结构及原型研究(英文)…………………黄理灿吴朝晖潘云鹤(577) 移动支持协议切换性能研 究…………………………………………………………赵阿群(587) 5元饱和最优布尔函数的计数问 题…………………………………………谢敏裴定一(595) 安全多播中基于成员行为的LKH方法……………………………………?许勇陈恺(601) 一 种有效且安全的动态群签名方案(英文)…………………………………?何业锋张建中(609) 等距曲线的圆域B6zier逼近………………………………………………陈笑王国瑾(616) 一 II— 带形状参数的双曲多项式均匀B样条………………………………………王文涛汪国昭(625) 空间曲线几何Hermite插值的B样条方法(英文)…………………………,,朱春钢王仁宏(634) 第5期 桶外排序算法的抽样分点分发策略……………………………..杨磊黄辉宋涛(6431 面向IP流测量的哈希算法研究………………………一程光龚俭丁伟徐加羚f6521 求解布尔与非线性数值约束相混合的约束问题(英文)………………………--季晓慧张健(659) 基于尖特征度的边折替简化算法……………………………刘晓利刘则毅高鹏东彭翔(6691 一 种时间复杂度最优的精确串匹配算法……………………………贺龙涛方滨兴余翔湛(6761 一 个调度Fork—Join任务图的最优算法(英文)…李庆华阮幼林刘干蒋盛益杨世达(6841 面向办公应用的自动配色方案创作与应用系统……………任琦徐迎庆庄越挺沈向洋(6911 鲁棒性的汉语人称代词消 解……………………………………………………………?王厚峰梅铮(7001 基于视差点的大遮挡检测和立体匹酉己方 法………………………………??文贡坚周秀芝(7081 基于样例学习的面部特征自动标定算法…………………柴秀娟山世光高文陈熙霖(718) 彩色图像边缘特征及其人脸检测性能评 价……………………………….-陈锻生刘政凯(7271 一 种基于特征向量提取的FMDP模型求解方法…………………………一张双民石纯一(733) 一 种建立粗糙数据模型的监督模糊聚类方法……………………-黄金杰李士勇蔡云泽(7441 摹于泛逻辑学的逻辑关系柔性化研 究……………………………………?王万森何华灿(754) 一 种基于偏好的多目标调和遗传算法(英文)………………………………崔逊学林闯(761) 隐式愿望及其形式 化……………………………………………………,周熠陈小平(771) 基于遗传算法的多维模糊分类器构造的研 究………………………………李继东张学杰(779) lfl英文混合文章识别问 题………………………………………………一王恺王庆人(786) 结合限制的分隔模型及~Means算法……………………………………何振峰熊范纶(799) XML数据扩展前序编码的更新方法…………………………………罗道锋孟小峰蒋瑜(810) 一 种加快WebGIS服务器响应速度的空间索引…………………?叶常春罗金平周兴铭(819) 以目标节点为导向的XML路径查询处理………………?王静孟小峰王宇王珊(827) 时态变量”Now”语义及相应时态关系运 算………………………………………叶小平汤庸(838) 大型ISP网络拓扑多点测量及其特征分析实例…………?姜誉方滨兴胡铭曾何仁清(846) 无线传感器网络中的自身定位系统和算 法……………………………一王福豹史龙任丰原(857) 面向XPath执行的XML数据流压缩方法……-王腾蛟高军杨冬青唐世渭刘云峰(869) 基于无线自组织网络的TCPFreeze—Probing改进协议(英 文)………………王波范平志(878) 一 种负载均衡网络中内部链路时延推测算法…?焦利林宇王丈东金跃辉程时端(886) 针对访问成功率的P2P动态网络对象定位模型…………………綦宏伟代亚非李晓明(894) 自适应PI主动队列管理算法……………………………………卢锡城张明杰朱培栋(903) 对一个基于离散对数代理盲签名的密码分析(英文)………王蜀洪王贵林鲍丰王杰(911) 基于P2P计算模式的自组织网络路由模型………………………李祖鹏黄建华唐辉(916) 端到端MPEG一4FGS视频TCP友好的平滑传输………-尹浩林闯张谦蒋屹新(931) 上具台极大1一error线性复杂度的周期序列(英文)……………………………一胡红钢冯登国(940) BGP最优路径选择中的瓶颈区域的研究…………………………刘亚萍龚正虎朱培栋(946) 基于节点闲度的自适应移动AdHoc网络路由协议…-郭嘉丰张信明谢飞陈国良(960) 基丁角色的受限委托模 型………………………………………………徐震李斓冯登国(970) 类型化移动资源(英文)……………………………………………………傅城尤晋元(979) 带宽白适应的P2P网络路由协议…………………………?胡进锋黎明郑纬民汪东升(991) 协同环境rI】共有资源的细粒度协作访控制策略(英文)…………?雷浩黄建冯登国(]000) —— III—— DF还是IDF?主特征模型在Web信息检索中的使用……………一张敏马少平 采用泛播路由构建高效中继路由系统(英文)……………??郑健平李克勤孙利民 动态盘阵D/H分布与基于控制理论的在线重构…………刘军杨学军王俊伟 第6期 基于纹理谱描述子的图像检索…………………施智平胡宏李清勇史忠植段禅伦(1039) 检验配准模式的指纹匹配算 法……………………………………………?陈宏田捷(1046) 基于数据驱动方法的汉语文本.可视语音合成(英文卜……………王志明蔡莲红艾海舟(1054) 一 种计算矩阵特征值特征向量的神经网络方法…………刘怡光游志胜曹丽萍蒋欣荣(1064) 基于注意力模型的混合学习算法…………………………………?杨博苏小红王亚东(1073) 一 种搜索编码法及其在监督分类中的应用………………………蒋艳凰赵强利杨学军(1081) 一 种基于最小割的稠密视差图恢复算 法……………………………………?彭启民贾云得(1090) 数字高程模型数据整数小波水印算法…………………一罗永成礼智陈波吴翊(1096) 一 种移动自组网中简单高效的广播算法…………………………?邹仕洪邬海涛程时端(1104) 一 种异构环境下覆盖多播网络路由算法…………………………吴家皋叶晓国姜爱全(1112) 区分服务网络中主动队列管理算 法……………………………………………………………… …………………………? 刘成程文青何建华乐春晖CHOUChun.Tung杨宗凯(1120) 集群网络评测模型的新探索……………………………唐渊孙家昶张云泉张林波(1131) 基于Region多层结构P2P计算网络模型………………………一乐光学李仁发周祖德(1140) 基于LSM的程序行为控制研究……?张衡卞洪流吴礼发张毓森崔明伟曾庆凯(1151) 无线IP网络中一种针对实时流的报头压缩算法(英文卜…………………………………………?? ……………………………………………… 吴亦川郑健平黄奎赵壮吴志美(1159) 一 种基于动态区间减少移动检测延时的方法(英文)...……………………………………………一 ……………………………………………… 赵庆林李忠诚张玉军李军王恺f1168) 需求装载代码协议的安全缺陷分析……………………一夏正友蒋嶷川钟亦平张世永(11751 IPv6邻居发现协议的形式化验 证…………………………………………叶新铭郝松侠(1182) 指定验证人的(,n)门限代理签名方 案……………………………………一王晓明符方伟(1190) 第7期 粗代数研 究………………………………………………………………代建华潘云鹤(1197) 正则序类逻辑Institution的Lawvere定理及其初始与终结语义………………………一刘富春(12051 关于蜕变测试和特殊用例测试的实例研究(英文)..………………………………………………一 ……………………………………………… 吴鹏施小纯唐江峻林惠民陈宗岳f12101 关于软件需求中的不一致性管 理……………………………………………………?朱雪峰金芝(1221) 下一代通信软件中的特征冲突检 测………………………………………?王栋梅宏f12321 一 种基于Petri网化简的工作流过程语义验证方法…………………周建涛史美林叶新铭(12421 数据流上的预测聚集查询处理算法………………………?李建中郭龙江张冬冬王伟平(1252) 分布式序列模式发现算法的研究…………………………邹翔张巍刘洋蔡庆生f12621 SEEKER:基于关键词的关系数据库信息检 索……………………………一文继军王珊f12701 基于奇异值分解的异常切片挖掘……………一遇辉马秀莉谭少华唐世渭杨冬青(1282) 一 类存在特权集的门限群签名方 案………………………………………陈伟东冯登国f12891 具有最低竞争吞吐率保证的准入控制算 法………………………………一付晓蕊张连芳(12961 移动IP的切换特征分析(英文)?…………………………赵庆林李忠诚冯丽杨建华(1305) 移动IPv6中的一种分布式动态型微移动管理方案…………………………………………………… ……………………………………………… 王胜灵刘国荣沈钧毅侯义斌黄建辉f13141 一 IV一 ,,, 勰 000 ,L,L,L 华美华 睿志玉 宋口天唐 基于小波域HMM模型的稳健多比特图像水印算法………一 一 个安全公钥广播加密方案(英文)………………………… 关于三个流密码的安全性(英文)………………………张 QoS供应体系中的新型网络改进算法…………………?杨挺 ? 张荣跃 谭作文 伍宏军 孙雨耕 倪江群 刘卓军 冯登国 胡华东 第8期 基于模糊命题模态逻辑的形式推理系统(英文)…………………__张再跃眭跃飞 基于SPEM的CMM软件过程元模型…………………?李娟李明树武占春 在中间件中支持用户自定义连接子……………………………??曹 东刚梅宏 基于UML的软件Markov链使用模型构造研究…………………?颜炯王戟 基于构件的地理工作流框架:一个方法学的探讨(英文)…………………………………………… ……………………………………………………… 刘瑜高勇王映辉邬伦王立福(1395) 基于最大熵模型的eA系统置信度评分算法……………?游斓周雅倩黄萱菁吴立德(1407) 鲁棒性的模糊聚类神经网 络………………………………………………邓赵红王士同(1415) 高维数据流形的低维嵌入及嵌入维数研究……………一赵连伟罗四维赵艳敞刘蕴辉(1423) 基于预检验的快速随机抽样一致性算 法…………………………………?陈付幸王润生(1431) 基于经验模式分解的汉字字体识别方法………………?杨志华齐东旭杨力华吴立军(1438) 互联网名字空间结构及其解析服务研究………………?李丹吴建平崔勇徐恪(1445) 优化的IPDiffServ动态资源定价机制…………………张晋豫孟洛明邱雪松关富英(1456) 网格环境下银河系化学演化研究(英文)…………………罗泽崔辰州 南凯阎保平(1465) 移动自组网中基于分簇的数据复制算法(英文)…………………….-郑静卢锡城王意洁(1474) 基于Pareto最优的QoS路由算法…………………………………?郑彦兴田菁窦文华(1484) 基于改进的随机森林算法的入侵检测模型(英文)………郭山清高丛姚建谢立(1490) 非平稳自相似业务下自适应动态功耗管 理………………………………?’吴琦熊光泽(1499) 基于类型的运行时环境存储管理算法………………………………?张武生杨广文郑纬民(1506) 一 种可行的容错实时系统可调度性分析……………………………?李俊阳富民卢炎生(1513) 第9期 语义分析和结构化语言模型…………………………? 基于DS证据理论的城市航拍道路提取方法………… Mean.Shift跟踪算法中核函数窗宽的自动选取………一 一 种获取细胞免疫信息的图像分析方法……………… 基于混淆矩阵和Fisher准则构造层次化分类器………-? ……………………………………………………………? 张静 基于像素灰度归类的背景重构算法…………………… 一 种基于多进化神经网络的分类方法………………… 一 种改进的局部切空间排列算法……………………… 一 种基于主集分割的基因芯片聚类算法……………… …………………………………” 滕莉付旭平李宏宇 利用元件替换测试求诊断……………………李占山 公开可验证的零知识水印检测………………………I_ 一 种用于移动IPv6的混合认证方法…………………一 基于本体的发布/订阅系统的数据模型和匹配算法……-- 一 种具有ECN能力的智能分组丢弃算法(英文)………一 移动自组网络中的选播技术(英文)……………………? 一 V一 李明琴李涓子王作英 王莉莉郝爱民何兵 彭宁嵩杨杰刘志 杨大刚窦万春张习文 宋锐郁文贤夏胜平 ………………………? 侯志强 商琳王金根姚望舒 ………? 杨剑李伏欣 李瑶陈文斌李荣宇 王涛孙吉责林海 ………?? 何永忠武传坤 ………-- 陈炜龙翔 汪锦岭金蓓弘李京 樊燕飞林闯任丰原 ………………………. 严伟 胡卫东 韩崇昭 陈世福 王珏 60 68 77 84 3342 2345 3333 }1 ,L,L,L,L 武光丰进 继红永 黄肖鲍孙 9686 56,78 3333 ,L,L,L,L 根青衣旺 存建火 曹王曹陈 3421 2345 5555 绘平超杰 大沁风士 陆赵张蔡 1967567? l111 ,,,,,,, 帆忱国鹏华源选 一果登小丹达明 沈冯冯高邵赵倪 延迟主导的自适应移动Adhoc网络路由协议…………谢飞张信明郭嘉丰 有限自治域网络节点状态独立性研究……………………王春芳王毓晗马正新 一 种强干扰背景下的盲加性水印算法…………………燕晓蒙应杰王阳 基于小波的Hurst指数自适应估计方 法…………………………………洪飞 第l0期 求解QAP问题的近似骨架导向快速蚁群算法(英文)………………………………,- ……………………………………………………………? 邹鹏周智陈国艮江贺 最大节约原则下单倍型推导问题的实用算法(英文)……一张强锋车皓阳陈国良 并发Java程序同步操作的有效删除……………………………?吴萍陈意云 基于分布式认知理论的扩展资源模型…………?-王常青邓昌智马翠霞华庆一 基于语法树的实时动态电压调节低功耗算法……………?易会战陈娟杨学军 基于事件约束的软件过程验 证……………………………………………顾庆 可证明安全性理论与方法研 究……………………………………………………? 一 种电子商务协议形式化分析方 法………………………………………………… 应用层组播的最小延迟生成树算 法………………………………………曹佳 多级安全DBMS的通用审计策略模 型…………………………………”何永忠李斓 串空间理论扩展………………………………………沈海峰薛锐黄 河燕 面向点对点的安全可靠存储系统……………”陈明杨广文刘学铮史树明 DCT变换域乘嵌入图像水印的检测算 法…………………………………孙中伟 一 种电子投票方案……………………………………………”李彦江马传贵 在线金融交易确认框架协议研究………………………………?陈舜姚前 基于加同态公钥密码算法的匿名数字指纹方案……………………?孙中伟冯登国 3种提高软件流水有效性的算法:比较和结合…………”李文龙陈或林海波 软件流水中隐藏存储延迟的方法………………刘利李文龙陈或李胜梅 避免模调度中cache代价的优化方法…………”刘利李文龙郭振宇李胜梅 国家自然科学基金在自然语言处理领域近年来资助的已结题项目综述……?徐琳 第ll期 一 种基于角色的分布式动态服务组合方法……………一刘必欣王玉峰贾焰吴泉源(1859) 复杂陈述式仿真模型的相容性分析………………………丁建完陈立平周凡利黄华(1868) 一 种反应式SPM及其动态语义XYZ表示…………………………董广智柳军飞齐璇(1876) 基于动态区间映射的数据对象布局算 法……………………………………一刘仲周兴铭(1886) 基于遗传算法重采样的人脸样本扩张………………………………陈杰陈熙霖高文(1894) 优化分类型神经网络线性集成…………………………………王正群陈世福陈兆乾(1902) 基于语义单元表示树剪枝的高速多语言机器翻译………?高小宇高庆狮胡珥李莉(1909) 基于主Agent信念修正的推测计算及其资源协 商……………………………王黎明黄厚宽(1920) Web应用服务器的适应性失效检测……………………?陈宁江魏峻杨波黄涛(1929) 一 种测量和评估网络安全性的方法……………………”胡汉平陈翔张宝良郭文轩(1939) 一 种传感器网络最大化生命周期数据收集算法(英文)……………………………………………” …………………………………………….- 张卿谢志鹏凌波孙未未施伯乐(1946) 基于改进决策树算法的网络关键资源页面判定……………………刘奕群张敏马少平(1958) 指定验证方的门限验证签名方案及安全性证明……………………陈伟东冯登国谭作文f1967) 一 种自适应的图像加密算法(英文)…………………………………陈刚赵晓宇李均利(1975) 一 VI— l885 6678 6666 ,L,L,L,L 良明军美 国序志 陈刘郁吴 ?l9876537644085l62323—990l2345678990ll2345 ?66777777777778888888 . ,;,;,;,;,;,;,L,L ,钧中健忠蓄国汉文国雄兴国生立坤忠忠忠军,广国道登斯士登肇鼎登刘传志志志铁,顾孙张戴刘陈冯卿鲁冯陈王冯黄谢武汤汤汤赵 一 种启发式的球面点定位策略……………………………………吴勇何援军 Ball基的推 广………………………………………………………………一沈莞蔷 基于变分隐式曲面的网格融合………………万华根金小刚刘刚冯结青 多裁剪自由曲面生成有限元网格的实 现…………………………………张苏 基于多幅实拍照片为真实景物模型添加纹 理…………………………刘钢彭群生 国家自然科学基金委员会信息科学部计算机科学处2005年度基金申请与资助概况 ……………………………………………………………………………………一 徐琳刘志勇 蔡鸿明r19831 汪国昭r19921 彭群生(2000) 施法中r20081 鲍虎军(20141 刘克r20211 第12期 基于搜索空间划分的概念生成算法…………一齐红刘大有胡成全卢明赵亮(2029) 一 种改进的自适应逃逸微粒群算法及实验分 析…………………………………………………… ………………………………………………? 赫然王永吉王青周津慧胡陈勇(2036) NKI中的本体,框架和逻辑理论(英文1…………………………眭跃飞高颖曹存根(2045) 基于语义距离的最近邻分类方法…………………………………?杨立左春王裕国(2054) XML数据索引技术…………………………孔今波唐世渭杨冬青王腾蛟高军(2063) 数字图书馆系统中基于Ontology的用户偏好模型………………杨 艳李建中高宏(2080) 数据流历史数据的存储与聚集查询处理算法……………一张冬冬李建中王伟平郭龙江(2089) 数据流中一种快速启发式频繁模式挖掘方法………………张昕李晓光王大玲于戈(2099) 高效节能的传感器网络数据收集和聚合协议…刘明龚海刚毛莺池陈力军谢立(2106) 基于改进CUSUM算法的路由器异常流量检测…………………孙知信唐益慰程媛(2117) 基于自适应加权平均的TCP友好拥塞控制机制………??黄奎吴亦川郑健平吴志美(2124) 基于入侵意图的复合攻击检测和预测算法……鲍旭华戴英侠冯萍慧朱鹏飞魏军(2132) LEO卫星网络中一种简洁的星上分布式路由协议(英文)…………白建军卢锡城彭伟(2139) 基于理想的协议安全性分析……………………………………?孙海波林东岱李莉(2150) 面向复用成本优化的构件重构方法…………………………………-?王忠杰徐晓飞战德臣(2157) 完美球本质一一论分布系统软件开发技术(英文)……………………………………周之英(2166) 微处理器体系结构级测试程序自动生成技术… 基于三级存储阵列缓存高速数据包及性能分析 朱丹李暾郭阳李思昆(2172) 王鹏伊鹏金德鹏曾烈光(2181) JoURNALoFSoFTWARE 2005Vl01.16CONTENTS NO.1 ThinkingontheDevelopmentofSoftwareEngineeringTechnology……… ………_’一……………JVGF”一Qing(1) ADescriptionApproachtoSoftwarebyHOOExtensionConceptandItsOuan titativeStructuralization……………… ……………………………………………………………- DJVG舱.YoshimichWATA?E,t~qsakaZU,?DD(8) AnApproachfotDetectingCorrelatedSoftwareDefects--』 lNGTa0,JjANGChang—Hai,HUDe—Bin,eta1.0,7 Multi—ModalInteractioninHandheldMobileComputing…?GYue,yE 耽一]Wng,?GHeng,eta1.(29) ModelingVariabilityinSoftwareProductFamily…ZOUSheng-Xiang,z月 ?G耽,z删0Hai—Yan,eta1.(37) ResearchonPen—BasedInteractionInformationModel_…………………,Jie,NFeng,DAIGuo—Zhong(50) AFiniteElementSegmentationAlgorithmforJacquardImage’__________ __’’__’__’._____’___’________’’’’’’’’’’’’’’’’’’’’’’’’’’’.’’’’’’’ ……………………………………………………………………-- FE?GZhf—Lin,W?Jian一耽f,(HE?Gang,eta1.(58) 一 VII— AnImageSegmentationandItsAlgorithmBasedonFuzzyConnectedness’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’‘‘‘‘ …………………………………………………? NJian-Jiang,YANGXun—Man,WANGGgo一ao(67) AnEfficientApproachtotheExtractionRegionofInterest’…’’’’’’’’’’’’’’’’’’’’’’’ ’’’’’.’.’’’’’’…’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’’ ……………………………………………………… Z?GHang—Mei,?Zheng—Zhong,GUOYou—Min,eta1.(77) AnImprovedRateMonotonicSchedulabilityTestAlgorithm’’’’’’’’’’’’’’’’’’’…’’’’.’’’’’’’’’’’…’…’’’’’’’’’’’’’’’’.’.’’..’’.’.’’.’ …………………………………………………… ,n一ang,WANGYo,MatthewCartmell(89) DynamicSchedulingAlgorithmswithSoftwareFault—ToleranceinHardR eal—TimeSystems…………………………… ……………………………………………………………………?- LjDing一a,?Jian一n,AbbasAEssa,eta1.(1O1) FastReal—TimeAdaptiveAudioMixingSchemesinMultimediaConferenc ing………………………………’……………’ ………………………………………………………………………… ………. FANXing,GU耽—Kang,yE”一Qing(108) ANon—InteractiveProtocolforMemberExpansioninaSecretSharingSche me…………………………………………… …………………………………………………………………………?? DD?GPan.K?GXiao一,一Cheng(116) SafetvCriticalReal—TimeNetworksBasedonEthemetTechnology……… ………………………………………………….’ ……………………………………………………… NGf—Ping,SANGNan,XIONGGuang一(121) ATransparentLow—CostRecoveryProtocolforMobile—to—MobileCommunication………………………………………” ……………………………………………………………………?’ ,Qing—Hua,?GTing—Yao,z?GHong-Jun(135) ACloneBasedMulticastAlgorithmwithAdjustableParameter…………… ………Lg,?GHai—Chao(145) AnE伍cientRevocationAlgorithminACJTGroupSignature…………………………………………………………………一 …………………………………………………………………一 C日E?Z一Wen,WA?G,?G一耽,Pf口,.(151) C’onnectionManagementBasedonGnutellaNetwork’’’?’‘??’...’’’.’.’’’’..’’ ….’’’’’’’’.’’’’’’’’.’’’’’’’’’’’....’.’..’..’...’’’.’’’’’’ …………………………………………………………… ZHUANGLei,?un-Jian,GYong-Qiang,eta1.(158) No.2 JIACKPT:ARecoverableSoftwareDistributedSharedMemorySystem……………………………………………………一 ………………………………………………………………? ZNGFu-)(in,ZNGLong—Bing,HU耽f-Wu,eta1.(165) OptimizedGLRParsingforProgrammingLanguages…………………LIHu,JINMn0一Zhong,XUFu,eta1.’41 Workflow—BasedKnowledgeFlowModelingandControl…………………一Z?GXiao—Gang,LIMing—Shu(184) StaticAnalysisofOpenMPDirectiveNestingTypesandItsApplication’’