首页>中文会议>工业技术>自动化技术与计算机技术>第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议

第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议

召开年：2010
召开地：南京
出版时间： 2010-11-26

主办单位：中国计算机学会

会议文集：第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议论文集

会议论文

热门论文

全部论文

最新会议

更多>>

全选（0）

1.用逻辑方法验证移动AdHoc网络协议
- 郭显;冯涛;袁占亭;马建峰
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：针对移动Ad Hoc网络节点移动和无线广播通信特征，引入移动算子和广播算子，扩展形式逻辑LS2，提出了建模和分析移动Ad Hoc网络安全系统的逻辑ELS2. ELS2 把网络模型化为不同位置上执行程序的线程复合，把攻击者模型化为与协议参与方并发运行的线程. ELS2中提出网络迹概念,描述网络节点内部计算和外部交互，以及节点移动导致的网络进化过程,并在网络迹上定义谓词公式和模态公式的语义，以及分析网络协议属性。 ELS2证明系统中设计了捕获程序行为直观属性的新公理.最后,在ELS2逻辑中建模并分析了移动IP注册协议正确性属性。
2.基于粗糙-知识的神经网络在模式分类中的研究
- 窦东阳;赵英凯;李丽娟
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：针对模式分类任务，提出一种基于粗糙－规则的神经网络构造方法，利用粗糙集理论和遗传算法约简输入特征，在尽量保持分类能力不变的情况下降低条件属性维数，导出简练的分类规则集合，以此为基础构造BP（Back Propagation）神经网络结构，确定网络层数，输入、输出节点个数等，并利用规则的条件属性重要度和依赖度对连接权值进行初始化，有效地解决了传统神经网络构造难、解释难、过拟合等问题，提高了分类精度。最后通过一个实例验证了方法的有效性，并初步探讨了网络训练时对知识提炼的影响。
3.基于多源融合的网络安全态势感知模型
- 刘效武;王慧强;禹继国;曹宝香
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：首先建立了基于多源融合的网络安全态势感知模型,模型中考虑了多源融合、攻击轨迹重构和态势评估等研究问题.以模型为指导,利用粒子群算法实现D-S证据融合中的权值寻优,降低融合的不确定性。然后,结合对威胁因子和威胁等级函数关系的推演,提出面向攻击轨迹的层次化态势评估方法,实现攻击阶段、攻击轨迹和网络三个层次的威胁评估.仿真实验表明,提出的模型和方法是有效的和准确的,能够感知网络安全态势动态演化情况,为监控和管理网络提供了新的方法和手段.
4.基于多点触控桌的多用户协同地图浏览与决策
- 黄伟恺;陈岭;陈根才
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：针对现有Web地图服务仅支持单用户的问题，提出基于多点触控桌的多用户协同地图浏览与决策应用设计，包括用于浏览地图的手势及控件设计，以及满足多用户协同工作需求的工作状态互感知、数据共享及协商支持设计。通过实验探索用户如何通过该应用设计进行协同地图浏览和决策，屏幕触控点分布显示，相对于控件，用户更倾向于使用自然手势进行交互。用户问卷结果以及对用户协同工作过程的观察表明，该应用设计可有效支持多用户协同地图浏览与决策。
5.基于SaaS服务的中小企业业务协同系统研究
- 刘士军;张勇;杨成伟
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：为了解决中小企业业务协同的问题，从架构层次出发，以构建新型的、支撑中小企业业务协同的网络化公共基础设施为目标，着重研究架构设计、服务集成方法和基于SaaS服务互操作支持业务协同等关键技术问题，提出了基于SaaS模式的业务协同支撑架构、基于Portal的服务集成方法和基于SaaS服务互操作实现企业协同业务的方法。在协同基础架构和面向业务的SaaS服务基础上，为中小企业提供跨组织业务协同的支持。最后，通过纹织企业订单设计制造协同案例展示了研究思想的初步实现。
6.GRNNSF:网络态势预测的广义回归神经网络模型
- 卓莹;张强;龚正虎
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：网络态势预测作为网络态势感知的必要环节，能够加强网络管理员对网络状态的认知与理解,为威胁分析和网络规划提供决策支持.在分析研究现状以及预测方法的基础上,讨论了反向传播、径向基、反馈等神经网络模型用于预测的特点与优势，提出了网络态势预测的广义回归神经网络模型GRNNSF，给出了GRNNSF模型的网络设计原则以及网络态势预测方法.基于真实数据集的实验验证了GRNNSF模型的准确性和时效性,和其他神经网络模型相比，更准确地预测了网络态势的发展趋势.
7.支持企业过程协同工作的过程监控方法研究
- 谭文安;张志林;闫昱;蒋川群
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：过程协同是企业过程运作的核心技术，决定了企业过程运作的效率。在企业过程运作中，如何有效完成各种有效信息的采集、分析和处理，实施基于过程驱动的高效率协同运作是非常重要的。本文重点从监控角度出发研究并设计企业过程协同模型，支持过程协同运作。扩展以过程为核心的集成化企业模型中的协同模型，增加了过程监控模型，并认真讨论了从模型到系统映射的一些关键技术，如扩展的协同模型、监控对象、监控事件等概念与技术。同时，设计了适合本模型的事件驱动体系，最后，给出了简单的原型以验证我们的监控方法。实验效果表明，我们的方法能够很好的支持企业过程协同。
8.基于生成树的无线Mesh网络数据流负载均衡研究
- 黄书强;周继鹏
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：针对统一链路容量的无线Mesh网络的数据流负载均衡问题，本文提出了基于最大剩余流生成树算法。该算法首先利用近似最大流算法求解每条链路上的碎片流量，然后利用最大剩余流生成树将多径路由转化为单径路由，最后将原始流量在每条单独路径上进行缩放。本文所提算法可以保持用户公平性前提下尽可能提高网络吞吐量。该算法最初思想来源于ROUND算法，但是算法速度和效率优于ROUND算法。
9.数据共享应用中的隐私保护方法研究
- 高枫;何泾沙;马书南
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：为解决数据共享应用中的隐私保护问题和提高数据共享的可用性，提出一种以用户为中心的隐私保护模型。在该模型中，用户可以通过关键字和特征的选取对隐私信息进行自主设置；并采用基于信任的方法来确定共享数据对象可获得的隐私量，当共享数据中包含的隐私量超过共享对象可获得的范围后，通过替换的方法来保护用户隐私。仿真实验表明，对比基于访问控制的隐私保护法，该模型在数据共享应用中能够有效保护隐私并保证较高的数据共享可用性。
10.重模多项式乘法在FPGA上的实现
- 胡波;赵红芳;冯春雨;王怀瑞
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：在基于重模多项式矩阵密码算法[1]的FPGA(Field Programmable Gate Array)实现时,关键技术就是重模多项式[2,3]的乘法部件.文中给出了数模为216、多项式模为任意首一4次多项式的重模多项式乘法在FPGA上的流水线实现方法,该方法不仅速度快，而且对硬件资源要求低.
11.分布式分级结构的用户路由行为模型的研究
- 钟晓;陶军
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：为了减少Internet中用户自私的路由行为对网络性能的损害和避免低效路由的出现，本文将针对Internet中用户不平等、分等级的角色，研究了非合作用户的路由行为模型；在描述了Stackelberg路由博弈行为框架（不同数目的领导者和跟随者）的基础上，将Stackelberg 博弈应用于分级用户的路由博弈行为模型的研究；论证了Stackelberg均衡点的存在性和唯一性，并定量地讨论了均衡点上的路由向量；最后，进一步讨论了在实际网络中“原子”和“非原子”路由博弈的问题，从而论证该模型的应用价值。
12.一种基于非线性对等变换的分组密码模型
- 胡波;冯春雨;黄世中;羊红光
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：本文给出了构造交换环上m维线性空间的对等非线性变换的一种方法，并且设计了基于对等变换的分组加密模型.新的加密模型既有Feistel模型的对称性，又有SP网络模型扩散速度快的优点.
13.轮值无线传感器网络邻居发现算法研究
- 闫宇博;周文昌;杨盘隆;张磊
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：工作于轮值周期下的无线传感器网络节点大部分时间都处于睡眠状态，从使节点很难在较短的时间内以较大的概率发现邻居节点。本文首先提出了一个在轮值网络下同时基于同步和概率的邻居发现算法。并将此邻居发现问题建模为餐券收集者问题，求解了这一问题，给出了网络节点发现任意个数的邻居所需时间片数量的期望值。并且证明了在轮值周期为1时，我们的理论结果退化为普通ALHOA网络的结论。仿真结果表明，在一般情况下，我们给出的理论分析结果与实际情况符合的很好，即使在极端情况下（每一时间片仅有2个节点进入活跃状态）我们的理论结果仍有较好的预测能力。
14.一种基于云端计算架构的恶意代码联合防御机制
- 徐小龙;熊婧夷;程春玲
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：为了解决目前恶意代码防御软件存在的滞后性等一系列问题，提出一种可普遍适用于互联网和内联网的基于云端计算架构的恶意代码联合防御机制。首先将传统的云计算拓展成新型云端计算，发挥云端计算环境中的集群服务器端和用户终端各自的优势以及两者的联动作用，有效地利用云端计算环境中的服务器集群集成多种恶意代码防御引擎，同时联合海量用户终端节点来主动提供恶意代码报告，使得整个网络系统能及时、有效地抵御恶意代码的攻击。具体给出了基于云端计算架构的恶意代码联合防御机制的体系架构和工作流程。为了进一步提高系统的工作性能，还提出了一种基于节点信誉的恶意代码报告评价与排序算法，从而使系统能够及时处理最有价值的恶意代码报告。通过仿真实验和性能分析对算法性能和系统的恶意代码防御能力以及服务器端负载与网络开销进行分析。实验与分析结果表明基于云端计算架构的恶意代码联合防御机制可以较小的系统代价高效地防御层出不穷的各类恶意代码。
15.视频监控中针对拥挤人群的人体分割与跟踪
- 满君丰;温向兵;李倩倩
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：视频监控中，拥挤人群的相互遮挡给人体分割和跟踪带来很大困难。为了解决该问题，提出了人体模型和人体边缘曲线相结合的人体分割方法。针对分割可能造成人体特征值存在较大的缺损、畸变问题，采用具有较高鲁棒性的BP(Back Propagation)神经网络作为跟踪模型。为了提高BP网络的自主学习能力，采用分层Dirichlet过程来判断是否有新类别的人体特征数据产生，进而为BP网络的学习提供决策。通过仿真实验证实：本文提出的遮挡处理方法能够有效解决人体部分遮挡问题，与其他方法相比，具有简单且实时性好的优点；此外，分层Dirichlet过程与BP网络的结合提高了跟踪系统的自主学习能力。
16.一种基于CPN的协议测试序列生成方法
- 孙涛;叶新铭;刘靖;杨蒙
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：提出一种基于着色Petri网（Colored Petri Net，CPN）、面向属性的协议一致性测试序列生成方法. 首先，构建被测协议规范的CPN模型，即协议模型，并将被测协议的若干功能属性采用CPN进行形式描述，形成属性模型；提出属性模型到协议模型的状态投影算法、模型状态空间的路径匹配算法和搜索算法,基于这些算法给出了一种完整的基于属性的测试序列生成方法. 该方法不但可以有效避免协议规模庞大所导致的状态爆炸问题，而且还对测试中的PCO库所进行了特殊标识,完成测试序列中可观察元素的自动提取处理，使得处理后的测试序列可直接用于协议实际测试过程.为有效验证本文所提测试序列生成方法的可行性，开发了一套实现该方法的软件,并应用于HMIPv6协议的实际测试过程中，实践表明，这套软件可以对较为复杂的协议一致性测试过程提供强有力的支持.
17.融合变精度粗糙熵和全局粒子群的概念格协同挖掘算法研究
- 丁卫平;王建东;管致锦
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：为解决概念格挖掘优化问题,借鉴变精度粗糙集模型和粒子群协同进化思想,提出了融合变精度粗糙熵和全局粒子群的概念格协同挖掘算法（REVPT）。该算法引入变精度粗糙熵对各概念格子群动态度量建立粗糙近似格,并通过种群之间协作共享寻优经验提高概念格的全局挖掘优化能力,有效缩减原格群规模并挖掘出一致粗糙分类规则.实验结果表明当变精度粗糙熵阈值处于某一合适范围,该算法在保证收敛速度同时具有较强的建格全局优化能力,在知识挖掘精度和效率方面具有较好鲁棒性。
18.一种用于电子商务的Web服务信任评估方法
- 刘彬;张仁津
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：为了减少不良行为对基于Web服务的电子商务的影响,提出了在信任评估中应遵循的基本原则,给出了全局评估方法的Web服务体系结构,并把适合这种结构的信任评估分为两个部分,第一个部分是业绩信任度,它受到交易结果、服务质量、交易时间和交易金额的影响;第二个部分是评价信任度,它除了受到影响业绩信任度那些因素外,还受到服务交易对象的评价、评价对象信任度以及防恶意评价等因素的影响.仿真表明:时间衰减因子取值越大,信任度变化越快;失败罚因子越大,当交易失败时信任度下降得越多;当出现大额欺诈行为后,信任度会降得很低;对团伙哄抬或压低服务信任度有抑制作用。与概率统计模型、平均模型和EigenRep模型相比,对突然不合作和周期摇摆行为更灵敏.此信任评估方法能对基于Web服务的电子商务中各种交易行为作出快速准确的评估.
19.基于Skyline和局部选择的启发式服务组合方法
- 谢海军;齐连永;窦万春
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：网络化的应用以及面向服务的计算环境导致了软件系统从封闭，静态的形态向开放，动态的形态转变,Web服务技术正是基于这种需求而诞生的，Web服务组合作为服务计算的一个重要组成部分，已经吸引了工业界和企业界的广泛关注，如何从大量具有相同功能不同QoS属性的Web服务中，选出最合适的执行服务，是Web服务组合的核心问题。但由于该问题是一个NP-Hard问题,当任务或候选服务数目很大时，为获得最优的服务组合方案往往需要消耗很多的求解时间。鉴于此，本文提出了一种基于Skyline的局部选择启发式算法SLOMIP(Skyline Local Optimization Mixed Integer Programming)，实验表明该算法具有较高的出解率。不同于其他启发式算法，SLOMIP算法一旦获得解，可以证明必然是最优解。
20.基于记忆原理的信任值更新模型
- 左赛哲;郭玉翠;宫尚宝;吴旭;张虎
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：为了更精确地描述信任值与时间和交易行为的变化关系，本文通过对记忆的存储、更新及遗忘原理与社会网络记忆特性的分析，认为节点服务的重要性和事件的影响力等属性都是一种具有记忆特性的信息。网络中具备这些属性的节点的信任值随时间连续衰减，以此为基础建立了基于记忆原理的信任值更新模型。同时，该模型可以通过对交易频率的监控，实现对恶意节点的检测。实验结果表明该模型能够更精确地描述信任信息的动态变化过程。
21.普适环境下基于脑电的身份及上下文状态识别系统的设计与研究
- 刘泉影;毛承胜;聂碧娟;胡斌
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：为了研究基于脑电的身份识别的具体实现，并满足用户对于普适和上下文状态感知的需求，本文提出了一种基于脑电的身份及上下文状态识别系统。本文针对一局域范围内身份识别的普适化需求（如各接口身份验证），提出一种基于脑电的身份及上下文状态识别方法的普适化实现方案。并且，通过实验采集到5个受试者3种上下文状态的脑电信号，经过脑电去噪、脑电特征提取和kNN(k=1)分类之后，分别得到96.43%的身份识别正确率和92.31%的上下文状态识别正确率，由此证实了此方案的可行性。
22.一种可抵抗内部攻击的高效群组密钥协商协议编译器
- 张子剑;祝烈煌;廖乐健
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：目前设计既是可证安全又可抵抗内部攻击的群组密钥协商协议，在设计时通常需要依次调用两个不同的编译器。这导致了协议执行效率较低而且协议设计的复杂度较高。为此，本文首先提出了一种新的编译器，只需对群组密钥协商协议进行一次编译，即可生成具有抵抗内部攻击能力的群组密钥协商协议。然后在随机预言机模型下，分析了生成协议的安全性。最后通过对比分析，利用本文提出的编译器生成的协议具有较高的执行效率和较低的设计复杂度。
23.一种P2P环境下基于兴趣的分布式信任模型1
- 杨莉;张毓森;邢长友;张涛
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：为解决P2P网络中节点的不合作行为和恶意攻击等问题，提出了一种分布式兴趣信任模型DITM。模型通过划分兴趣域聚集兴趣相似的节点来解决节点间因兴趣不对称难以建立直接信任关系的问题。利用兴趣相似度刻画节点在其偏好领域上的服务行为相似性，并通过兴趣相似度加权域推荐信任度计算域服务信誉。节点在不同域内的服务信誉组成一个服务信誉向量，该向量维护了节点在各个兴趣域的服务行为细节，从而能有效抵御恶意节点针对特定兴趣域的攻击，并能激励好节点在多个域内贡献资源。仿真实验表明，DITM较已有的信任模型在迭代的收敛速度、下载成功率和模型的安全性等问题上有较大提高。
24.基于时空约束的IDS系统能力评估方法
- 杨望;龚俭
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：传统的评估方法在尽管在评估IDS具体攻击的检测效果上有重要作用，但由于其在评估对象、评估测试案例生成和评估测度上的缺陷，无法完备地对IDS进行测试，获得公平、合理和准确的评估结果。本文提出了基于时空约束的评估方法，把承载攻击的报文序列作为描述IDS检测能力的基础，通过时空约束及其对应的内容约束对IDS的检测能力空间进行等价划分，完善基于分辨率方法提出的系统能力测度体系，提高了入侵检测系统评估结果的公平性、合理性和准确性。
25.服务组合中基于执行性能评价模型的人工任务分配方法
- 杨雷;代钰;刘文昱;张斌
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：针对于服务组合中人工任务的执行问题，给出了支持人工任务的组合服务执行引擎的体系结构并针对于人工任务的执行效率保证问题，提出了一种人工任务分配方法。该方法以所建立的执行性能评价模型反映人工服务资源的任务执行效果，通过基于执行性能评价模型的人工任务调度算法得到能够有效完成任务的人工服务资源。该方法能够保证人工任务的实际执行效果。实验结果验证了该方法的有效性。
26.支持用户自由并发交互的协同造型系统
- 程媛;何发智;荆树旭;蔡贤涛
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：现有的协同CAD系统在交互方面存在不自然、不灵活的缺点，导致了这些协同CAD系统没有得到广泛的应用和普遍的接受。基于对于现有的计算机支持的协同工作系统和协同CAD系统中协同架构、体系结构、并发控制方法和通信方式等的分析，本文提出了一种基于高层造型操作交换的复制式协同建模框架。考虑到操作的并发执行以及在不同站点上执行时，其所引用到的拓扑元素在不同协同上下文状态下的对应情况，位于不同站点上的几何模型中的拓扑元素将被唯一命名,在操作执行中出现的拓扑元素不能正确对应的问题也将得到解决。本框架也提供了友好的操作界面以及自由、和谐的交互功能，用户可以Undo已执行的操作和Redo被撤销的操作。任意时刻，各站点上的几何模型保持一致。
27.基于Voronoi图的无线Mesh网络网关部署算法
- 李陶深;罗佳宇;葛志辉
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：将Voronoi图应用于无线Mesh网络网关部署问题中，提出了基于Voronoi图的无线Mesh网络网关部署算法.算法首先根据已知AP(Access Point)位置对网络拓扑图进行Voronoi划分，使得每个终端与它最邻近的AP属于同一区域；然后提取每个Voronoi区域与相邻区域的交点做备选网关位置，依次计算以每个备选网关作为根节点的网络最小生成树；最后将生成树权值最小、跳数最少的输出作为部署结果. NS2仿真结果表明，在经过Voronoi划分的较小规模网络场景下，本文算法的丢包率、转发包数量等性能均优于最小权值算法和随机算法.
28.异构CAD协同设计中的一维拓扑元素匹配方法
- 李小霞;何发智;蔡贤涛
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：为了解决异构CAD协同设计中的一维拓扑元素匹配问题，在对其进行分类讨论的基础上，提出了一种新方法. 首先在源CAD系统中，获取建模操作所引用的一维拓扑元素，并利用合并算法将这些拓扑元素进行合并，合并条件为: 同类型、相邻接且合并所得的拓扑元素类型与原类型相同或相近；然后在目标CAD系统中，通过匹配算法为合并后的每个一维拓扑元素找相匹配的目标拓扑元素，匹配条件为: 类型相匹配、属性相同且目标拓扑元素的两个端点与源拓扑元素的两个端点重合或在其内部. 实验结果表明，该方法有效地解决了异构CAD协同设计中的多种一维拓扑元素匹配问题，从而弥补了现有方法的不足.
29.基于移动Agent的网格事务处理协调协议研究
- 梁钰;李陶深
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：针对网格环境中事务的特点，结合移动Agent技术，给出了一个网格事务处理模型，设计了模型中两种事务类型的协调协议。原子事务协调协议用于保证网格原子事务原子性和正确性，而聚合事务协调协议则用于网格聚合事务处理，降低长事务夭折的数量。最后给出了协议的正确性证明和实验结果分析。研究和实验结果表明，所提出的基于移动Agent的模型能够克服网格自治性问题，具有高协作性和高可靠性。模型中的两种事务协调协议可以减少事务处理过程中的实时连接和频繁交互次数，降低网络通信开销，大大提高了事务的执行效率和系统资源的利用率。
30.基于SOA的动态协同策略生成技术的研究
- 方娟;刘燕辉
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：针对目前企业业务需求变更的频繁性和传统静态协同灵活性的不足之处,结合服务作为协同个体的优势,本文在分析现有协同模式的缺点的基础上提出了一种基于SOA的三层的动态协同体系架构,分别为协同服务层、协同控制层和协同执行层.文中随后介绍了本架构的运行机制.在已有架构的基础上,为使服务间的协同能同时具备高效性和灵活性的特点,本文引入策略来表示服务的各种约束,用其来管理服务间的协同.接着提出一种针对服务协同策略的动态生成算法,并详细介绍了算法流程.最后将某物流防伪企业的一个物流查询业务作为服务动态协同的现实案例,具体分析和验证了基于SOA的动态协同技术的可行性和优越性。
31.基于MAS的动态协作任务求解模型与算法
- 蒋伟进;罗飞;史德嘉
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：为提高动态网格资源的利用率，提出基于多智能体系统博弈协作的任务动态分配和协作求解模型，建立了网格资源调度模型和任务求解算法，证明了资源分配博弈中Nash均衡点的存在性、唯一性和Nash均衡解，该方法能够利用用户智能体的学习和行为能力，使得用户的资源申请和任务调度具有较高的合理性和有效性。进行了供求关系中竞价博弈的模型试验.实验结果表明，资源调度算法不但可以有效减少延迟,而且在响应时间的平滑性、吞吐率及资源利用率方面比类似方法要好。使得整个网格系统供需合理、负载均匀。
32.蚁群优化的多Agent路由算法及其应用
- 王潜平;来梁丽;王珂;苏玉娥
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：本文提出了一种基于改进蚁群算法的移动Agent路由算法——MARA-AS。将移动Agent在WSN的路由建模成TSP问题，采用伪随机概率选择下一节点，对选择的路径进行局部更新；并在最后一轮循环结束时对最优最差路径进行全局更新。引入一个与节点位置相关的参数W，通过W值移动Agent采用改进蚁群算法访问那些剩余能量高、处理能力强、相邻节点之间距离较大的节点。Matlab仿真结果表明改进蚁群算法有更好的搜索能力，且与LCF等路由算法相比能减少网络能量消耗和延迟。
33.基于哈佛结构和群集智能的集装箱码头物流系统建模优化
- 李斌;闫新庆;胡家香
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：在当前港口间竞争日益白热化的背景下，集装箱码头物流系统(Container Terminal Logistics Systems，CTLS)生产调度和管理决策水平的高低对于其提高自身运作效率和通过能力，具有至关重要的作用。本文利用基于Agent的计算及源于Agent技术的群集智能，在基于仿真的优化的思想下，提出基于哈佛结构和群集智能的CTLS建模优化体系。通过对CTLS中场桥调度问题的实例仿真分析，可得出上述体系可明显提高作业设备的利用率和堆场吞吐量，从而验证了该建模优化方法的可行性与可信性。
34.一种基于BT对等方地理信息的权重tit-for-tat机制
- 于利东;陈鸣;陈文洁;邢长友;白华利
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：为了减少BitTorrent(BT)产生的大量跨ISP流量且同时保证用户的下载速率，提出了一种基于对等方地理位置的加权tit-for-tat机制(GLW-TFT)。首先，根据对等方的地理位置信息将群集系统中的对等方分为4类，然后根据ISP收益情况给每一类对等方赋予权重，最后利用加权的下载速率来常规上载对等方集合。基于开源项目Vuze，设计开发了GLW-TFT，它不依赖于网络基础设施也不需要ISP的协助。试验结果表明，相对于传统的BT，GLW-TFT能缩短约50%的下载时间，减少约30%的跨ISP流量。GLW-TFT算法较之其他相关算法具有很强的适应性和较好的性能。
35.基于未确知测度的视频情感内容识别
- 闫乐林
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：为了有效识别视频情感的内容，本文基于未确知数学理论，建立了视频低层特征和高层认知情感之间的联系，提出了一种基于未确知测度的新算法。算法由两部分组成: 视频低层情感特征处理模块，主要提取视频的场景亮度、镜头切变率和色调效能的情感特征;视频情感判定模块，用来构建未确知情感测度矩阵与判定视频场景的情感类型. 实验结果表明，该算法是可行的，识别精确度超过百分之七十。
36.一种支持在线迁移的虚拟机间快速通信方法
- 任怡;刘晓建;管剑波;李元;戴华东;吴庆波
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：提高虚拟机间的通信效率对于提高云计算环境中网络密集型应用的整体性能十分重要.已有的基于共享内存的虚拟机间通信方法不能在支持应用编程透明和虚拟机在线迁移的同时满足实现复杂度低的要求.提出了一种支持在线迁移的虚拟机间快速通信方法.与现有方法相比，该方法同时满足对用户和编程者透明、支持在线迁移且无需修改操作系统内核代码三个特点.
37.基于宏语义的异构CAD同步协作关键技术
- 杨君;窦万峰
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：通过研究多种商用CAD系统所采用的参数化特征建模方法和宏文件，首先定义了宏命令组和宏语义命令，给出了基于宏语义的异构CAD协作模型的体系结构；其次重点阐述了异构CAD同步协同设计的关键技术，提出了以宏语义命令为中心的宏语义映射模型以及宏语义与宏命令组的实时转换方法；介绍了一种新的基于FMVIC算法的多版本复制技术作为并发控制策略以保证非调和冲突操作的意愿。最后实例表明，通过宏语义命令在异构CAD系统间实时交换操作语义的方法可以较好的实现同步协同设计，减少了数据转换的耗时量并降低了对网络带宽的要求，提升了实时同步的效果。
38.视图增量的同步计算方法
- 杜威;邹先霞
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：主动式数据仓库的维护或数据流处理环境中，视图增量计算都是关键问题。由于多数据源的并发更新及网络传输代价，视图增量计算变得复杂且代价很高，如何有效地降低视图增量计算的代价成为实化视图维护中的热点问题。现有的法提出了同步计算和异步计算两类。具体分析了同步计算的算法思想及关键问题，提出了利用净化操作和主外码约束降低计算代价的方法表明优化后同步计算方法有效地降低了计算和维护代价。
39.基于界模型的相关反馈信息检索
- 王彪;高光来
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：信息检索中，准确理解和表达用户的信息需求是提高信息检索效果的关键。本文建立了一种表达用户信息需求的界模型，该模型通过计算信息需求的上边界、下边界，确定信息需求的需求域。在信息检索时，计算文档与信息需求域的相似度，并根据相似度对文档进行排序。使用Lemur工具进行的对比分析实验表明，界模型具有较理想的检索效果。
40.NIQGA算法改进及一种基于可变角距离旋转的新型量子进化算法
- 刘文杰;陈汉武;闫荞荞;郑玉
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：为了提高量子进化算法的执行效率，在NIQGA原算法的基础上，通过其改进查表机制提出了一种改进算法INIQGA；并通过定义角距离，设计了一种根据角距离进行旋转角度调整的策略，进而提出了一种基于可变角距离旋转的量子进化算法QEA-VAR，和以前基于查表机制的量子进化算法相比，该算法的执行过程简单灵活，易于理解。最后，结合0/1背包问题，对传统遗传算法CGA、经典量子进化算法QEA、NIQGA、INIQGA和QEA-VAR等进行算法性能测试，实验结果表明：INIQGA收敛速度和进化结果优于NIQGA；QEA-VAR又优于INIQGA、QEA和CGA等算法。
41.视频监控中可变人体行为的识别
- 满君丰;温向兵;李倩倩
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：针对视频监控中人体行为的识别问题，提出了一种新的人体行为识别模型和前景提取方法.针对人体运动过程中产生新行为的问题，采用分层Dirichlet过程聚类人体特征数据来判断是否有未知的人体行为产生. 用无限HMM对含有未知行为模式的特征向量进行有监督学习，由管理者将其添加到知识库中. 当知识库的行为模式达到一定规模时,系统可以无监督地对人体行为进行分析，其分析过程采用HMM中高效的Viterbi解码算法完成. 提出了基于背景边缘模型与背景模型相结合的前景检测方法，此方法能够有效避免光照、阴影等外部因素的影响，有效实现前景提取. 通过仿真实验证实了本文提出的方法在实时视频监控中人体行为识别方面较其他方法具有独特的优势.
42.具有扩展性质的可验证加密签名方案
- 辛向军;朱云;李俊岭
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：可验证加密签名方案可用于构造电子商务中优化的公平交换协议.为保护公平交换协议中交换的一些敏感信息(如，机密商业合同)，本文利用Boneh的签名、Diffie-Hellman密钥交换原理和对称加密技术，给出一种可保护敏感信息的可验证加密签名方案的构造，其具有以下性质: (1)方案继承了普通可验证加密签名方案的特点；(2)方案除签名者和指定的签名验证者外，任何人(包括仲裁者)都无法知道要签名消息的内容(如，合同的内容)；(3)在发生纠纷时，仲裁者无法获得签名者的基本签名(如，签名后的合同)，但其可协助指定签名验证者获得基本签名；(4)当释放某些秘密信息后，可验证加密签名所包含的签名消息m能够得到公开验证. 因此，当发生纠纷时，这种公开验证性有助于权威机构(如，法官)判决. 在离散对数(DLP)和q强Diffie-Hellman问题(q-SDHP)假设下，方案是可证明安全的.
43.基于动态工作流系统的软件过程改进与控制
- 夏可;许宇晖;蒋伟进
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：软件过程改进是软件工程和软件体系结构研究的一个重要组成部分。针对软件过程改进存在的问题提出了基于工作流仿真技术的思路，将工作流仿真贯穿到软件过程改进的整个生命周期。首先，提出一个支持软件过程改进的动态工作流实施框架，其中包括四个反馈环节来实现改进；建立了指导建模的软件工作流元模型，它将度量和过程改进的几个要素结合到一起，便于仿真评价，并且利用对象约束语言形式化描述模型实体本身和实体间的完整性约束关系。然后，给出了基于ECA规则的工作流模型定义和仿真引擎的结构。第三，在上述基础上针对一个软件开发过程的实例，根据过程度量指标分析了多种可能的改进方案。
44.车载自组网拥塞自适应路由研究
- 白翔宇;叶新铭;李军;刘靖
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：车载自组网通过节点间的多跳数据包转发为智能交通应用提供支持。节点数目多和分布密度不均匀的特点易使其在网络局部产生通信拥塞，造成数据包传递延迟增大甚至丢失。针对典型的城市应用场合，提出一种新的拥塞适应路由协议，通过监测信道状态来估计各节点可用带宽，从而获得拥塞程度指标；同时利用邻居道路口通告和数据包捎带机制，发布网络通信拥塞程度信息；并结合道路车流信息和通信拥塞状态，给出了自适应路径选择模型。仿真实验表明，协议回避了网络中的拥塞区域，提高了数据包递送率，降低了递送延迟。
45.用遗传算法优化模块密度探测社团结构
- 刘晋霞;曾建潮;薛耀文
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：社团结构是复杂网络的一个重要研究方向。以模块度为指标的社团探测算法不能发现小于一定规模的社团结构。针对此问题，提出了基于遗传算法和模块密度的社团结构探测算法。为验证算法的性能和计算的准确性，将该算法与基于模块度社团结构探测算法进行比较，实验结果表明：该算法探测的社团结构较模块度探测算法，能检测到更小规模的社团结构，在性能上有了显著提高，能更准确地测度社团结构。
46.基于SVG的WebGIS交互协同机制的研究与实现
- 林峰;郭朝珍
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：为了能更好的在Web浏览器中渲染和访问地理数据，并能有效地解决大量并发的空间分析任务对WebGIS所造成的计算瓶颈问题，本文通过在空间对象与SVG标签间建立映射关系，利用SVG的交互性，让空间数据能够更自然的在Web浏览器中发布和操作；并提出一个能够综合Web浏览器计算能力的WebGIS新模型，该模型能够促使服务器与Web浏览器协同工作，并行快速地完成大计算量的空间任务；最后通过一原型系统的实现和测试，对该模型的可行性及优越性加以说明和验证。
47.一种基于概率滑动窗口的应用层DoS攻击防御模型
- 朱勇;罗军舟;李伟;王鹏;曲延盛
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：网络上种类繁多的服务面临着复杂且不安全的生存环境，多种因素威胁着服务的生存，应用层DoS攻击就是其中的重要因素之一. 然而，当前防御应用层DoS攻击的方法存在着对合法用户请求的误判，需要额外的硬件设备支持和难以抵御某些低速率攻击等不足.本文提出了一种全新的应用层DoS攻击防御模型——基于概率的滑动窗口模型PBSWM (Probability-Based Sliding Window Model). 该模型位于应用层，利用滑动窗口机制控制客户端发送的请求速率和服务器端接收的负载总量，利用概率发送控制在源端阻滞攻击者发送引发较大负载的请求，利用概率接受控制防止来自少量客户的请求占用系统的大部分应用资源. 最后，实验结果表明该模型能够达到降低攻击损害，保障服务生存的目的.
48.一种使用树结构定位符的MANETs路由模型
- 米乐;王海泉;夏春和;吕良双;胡俊顺
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：为了解决现有MANETs路由机制的可扩展性问题，本文提出一种使用树结构定位符的路由模型（Tree-structure Locator Routing，TLR），通过DHT方法对节点的标识符和定位符进行分离，并使用基于位置的定位机制来提供一种具有可扩展性的路由服务。定位符描述一个节点在网络拓扑中的相对位置并随着节点的移动发生变化，定位符空间采用树结构进行组织。最后我们量化分析了该路由模型和其他路由机制的性能。分析结果表明，TLR的可扩展性优于平面主动式路由。在假设条件下，TLR的开销的复杂度小于反应式路由的复杂度。因此，相比于现有的MANETs路由机制，TLR具备很好的可扩展性。
49.Ex-SCAMP:一种改进的P2P成员关系管理协议
- 魏文红;李勇
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：SCAMP（Scalable Membership Protocol）是一种基于Gossip的可扩展的P2P成员关系管理协议，由于Gossip 要求节点之间通过随机化方法来形成连接，因而SCAMP协议就不能确定随机接入节点的查找算法，故在高度动态的网络中其效率不高。针对这一情况，本文提出了一种改进的SCAMP协议——Ex-SCAMP，Ex-SCAMP协议的节点只需具有局部信息就能构建全局随机图。实验结果表明，该协议具有实现简单，可扩展性好，容错性高等特点。
50.复杂系统的MAS动态协作求解时序逻辑模型
- 蒋伟进;张莲梅;史德嘉
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：动态复杂问题求解一直是人工智能和复杂自适应系统理论与应用研究中的难点之一。论文借助于组织学思想将自适应系统中的自主运行单元抽象为Agent，把复杂自适应系统视为多Agent组织，从时间和状态角度对复杂动态系统的行为进行描述，提出了基于时序活动逻辑的多Agent动态协作任务求解自适应机制和构造模型；详细分析了任务求解BDI Agent的信念、愿望、意图的产生过程和实现方法，深入讨论了协商推理的语义规则和行为规则，给出了协作群组的选择算法，包括从群组的建立、选择任务Agent、分解和分配子任务。从任务求解Agent的心智变化角度，详细描述了动态协作任务求解模型实现的六个阶段：任务动态分配、协作意愿产生、协作群体生成、共同计划制定、协作群体行动和结果评估。通过在MAGE等平台上的实验和仿真测试，验证了方法的可行性和有效性。
51.基于互信息的混合蚁群算法及其在旅行商问题上的应用
- 杜占玮;杨永健;孙永雄;张池军
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：蚁群算法(ACO)作为一类新型的仿生学算法，已经在广泛应用于工业工程领域。相对于其他算法，蚁群算法的求解性能尚需改进。由Collignon和Viola等提出的基于互信息理论的图像配准思想，为解决这一问题提供了一个新颖的途径。借鉴这一信息论思想，本文提出了一种基于互信息的混合蚁群算法，并将其应用在旅行商问题上，根据旅行商问题的特定环境，对混合蚁群算法的算式进行了相应的化简，使在解决此类问题上，算法的实现更加简便、可操作。通过实验与传统算法对比，表明本文提出的算法在求解性能和跳出局部最小解方面有了一定的提高。
52.一种分布式自组织网络动态功率控制机制的研究与实现
- 李勇;匡坤高;潘勇
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：提出了一种适用于分布式自组织网络的动态功率控制机制. 源节点首先向目的节点申请保护时隙(GTS)[1]作为专用数据通信时隙，申请成功后源节点根据接收到的响应报文的发送功率和接收信号强度指示器,计算出源节点到目的节点的最优发送功率，减少发送功率从而节省节点能耗.基于CC2430[2]无线模块开发了实验验证平台对该机制进行验证，调整节点的发射功率可以延长节点的生命周期，减少通信冲突碰撞，而基于信标帧调度的网络提升了网络的容量. 实验结果表明,该机制在节点能耗和网络容量方面有显著提高.
53.支持协同设计的3D动漫造型进化计算方法
- 于汉超;刘弘
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：为了自动生成创意新颖的3D动漫造型,提出一种基于C/S模式的交互式遗传算法HAIGA. 在HAIGA中引入HSF协同技术和ACIS规则，利用三棵二叉树表示ACIS规则表达式，分别用于在x轴、y轴和z轴三个方向上对3D实体进行非均匀缩放;通过对二叉树实施选择、交叉、变异和精英保留操作进化产生新的规则表达式，从而进化生成新的3D动漫造型. 实验结果表明，本文提出的方法能够有效支持协同设计，并进化生成一系列创意新颖的3D动漫造型.
54.无线传感器网络中节点移动场景下的密钥管理方法研究
- 张兴;何泾沙;韦潜
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：在无线传感器网络安全方面的研究中，当前的密钥管理方案只关注无线传感器网络中新部署节点的安全性，而对移动节点如何安全地重新加入网络关注不够。本文提出了基于椭圆曲线数字签名算法的复合安全机制来验证移动场景下的节点身份，解决了其它密钥管理方案中存在的节点易受拒绝服务攻击和密钥易被推算出等安全性问题；通过与新邻居安全地建立对密钥和本地广播密钥的方法达到帮助移动场景下的节点安全地加入网络的目的。性能分析表明该方案具有较低的计算、通信和存储负载。
55.移动通信网络环境下的用户运动模式挖掘
- 吕明琪;陈岭;陈根才;王琦晖
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：位置感知在普适计算和移动计算领域扮演着重要角色。然而，用户位置作为一种低层上下文信息，无法直接反映其运动规律。为此，本文提出了一种在移动通信网络（如GSM）环境下，从用户低层基站位置信息中提取出运动模式的方法。针对基站连接的振荡、重叠等问题，该方法对原始基站位置数据进行分段、窗口化、分组和聚类处理，并将原始基站位置数据表示为聚类序列。然后，采用关联规则挖掘算法从聚类序列中提取出用户运动模式。最后，基于真实基站位置数据，通过实验对系统的有效性进行了评测，并给出了系统参数设置的建议。
56.交互式动态影响图及其精确求解算法研究
- 李波;曹浪财;庄进发
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：为了表示部分可观察马尔可夫环境下,多Agent决策中各Agent之间的动态结构关系,对影响图(Ids)在结构和时间上进行扩展,形成一种能够对其它Agent建模的决策模型:交互式动态影响图(I-DIDs).I-DIDs是不确定环境下多Agent进行序贯决策的图模型.该模型的解是在对其Agent行为概率分布的预测下提供给该Agent的最优决策,因此更能有效解决多Agent的决策问题.但I-DIDs状态空间太大,Agents候选模型空间随着时间片的增加成指数级增长,使计算变得复杂.因此提出一种基于行为等价的最小化模型集合的方法,通过限制模型增长来缓解模型空间不断扩大的趋势,以达到简化计算的目的.最后,在模型实例上的仿真实验结果显示了该算法的有效性。
57.传感器网络上群组密钥协商协议的设计与实现
- 刘丹;祝烈煌;王飞;刘汉南;詹培星
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：针对无线传感网节点群组通信存在的安全问题，在无线传感器网络上设计并实现了基于椭圆曲线的固定轮数的群组密钥协商协议。从设计和实现的角度，首先对椭圆曲线标量乘进行基于NAF表示法的窗口滑动技术优化。然后分析群组密钥协商协议在传感器网络上存在的问题，提出数据流驱动网络协议解决方案。最后在国产无线传感器节点GAINST_CC2430上实现，首次使群组密钥协商协议在实际无线传感器网络上得到实现。
58.Web服务对等联盟组织演化机制研究
- 李文清;张常有;曹元大
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：为提高分布式非结构化对等网络上Web服务发现的效率和稳定性，本文设计了一种以Web服务发布者的服务内容为评价依据的对等联盟机制。该机制按照发布者发布内容的相似度，通过同盟列表，将Web服务的描述信息发布到相关的盟友，构成分布式的Web服务发布体系。在此基础上，针对没有超级节点的纯分布式对等联盟，设计了其组织发展演化的动态管理协议。协议参数控制了成员的入盟、解除盟约，以及联盟的分裂、合并等自治活动。最后，在大规模数据上的模拟实验证实了联盟管理协议是有效和稳定的。
59.半导体制造中多组合设备的Petri网建模及死锁分析
- 朱清华;伍乃骐;滕少华
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：在半导体芯片制造中必须保证组合设备运行时不存在死锁，本文研究了多组合设备的无死锁运行问题。引入了着色令牌和受控变迁，用面向资源petri网对多组合设备加工晶圆的过程建模。所建模型结构简洁紧凑，不但能描述多组合设备加工晶圆的稳态阶段，还能描述初始暂态、趋停暂态阶段。根据模型，分析了Petri网的活性，提出了死锁避免的控制策略。
60.MAS与启发式算法结合的汽车滚装码头堆场作业调度研究
- 祖巧红;张立志;陈利
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：本文将MAS技术与启发式算法结合，进行分布式汽车码头堆场作业调度研究，制定高效的汽车滚装码头堆场计划。采用了Anylogic仿真平台对计划制定的策略进行建模，实现多个Agent之间复杂交互，依据某汽车码头运营的历史数据，分析不同策略下以往堆场计划的执行状况，确定新的堆场作业计划，建立评价指标以评判设计策略的优劣，为堆场计划的制定提供依据,并通过实验验证模型的可信性以及系统的实用性。
61.基于操作序列挖掘的OLAP查询推荐方法
- 陈岭;陈元中;陈根才
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：针对联机分析处理（online analytical processing，OLAP）操作复杂导致的用户使用效率低下问题，提出基于操作序列挖掘的OLAP查询推荐方法。首先从多维表达式（multidimensional expression，MDX）查询语句记录中提取整数数列形式的查询序列，再利用PrefixSpan方法对查询序列进行频繁序列模式挖掘，并基于挖掘出的模式及其子模式建立概率矩阵，最后通过搜索与用户当前查询操作或查询序列匹配的候选模式对其下一步查询操作进行预测，并将预测结果按概率大小分级推荐。在7位OLAP专业分析人员的查询分析日志数据集上对本文提出的查询推荐方法进行性能评价，实验结果表明使用用户相关模型前五推荐内容的平均正确率为92.20%，其中第一推荐的平均正确率为77.06%；使用公共模型前五推荐内容的平均正确率为81.89%，其中第一推荐的平均正确率为60.85%。
62.基于BPEL描述的移动工作流的协同机制与实现
- 徐光平;张桦;王法玉;薛彦兵
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：移动工作流是计算机技术和无线通信技术发展的必然结果. 在研究了移动工作流的结构模型的基础上,分析了流程中的Web服务接口及其消息驱动的协同机制；流程节点之间的流转体现出复杂的协同关系，利用BPEL重点对逻辑规则和时间规则进行了描述；以申请开放实验项目协同流程为例,其中包括了多种角色人员的参与,通过移动短消息的模式驱动流程的流转,进行了基于BPEL的服务协同的实现，取得了良好的实际应用效果.
63.多媒体传感器网络中基于霍夫空间下曲线拟合的协作目标定位算法
- 张波;罗海勇;刘冀伟;赵方
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：为了对被动目标进行定位，提出一种基于节点间协作的定位算法，各个簇节点无需对目标进行先验训练或特征识别，而是将目标建模为定位平面上的一条直线并将其转换到霍夫参数空间中，在簇头节点利用最小二乘方法对各个离散点进行正弦曲线拟合，从而获得曲线的最优拟合参数，即获得目标的准确坐标信息；此外，还针对异构摄像机网络中各个节点的置信度进行了分析，进一步提出了加权协作定位算法。最后分析了该算法的时间复杂度优势以及通过仿真实验与真实实验证明了该算法可以获得很高的定位精度。
64.基于改进遗传算法的网格任务调度研究
- 孙瑞志;杨璐;欧阳娅
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：为使得网格环境下任务调度使得服务运行时间和费用两个指标达到最优化，将这两个指标作为网格任务调度模型的衡量指标，将计算经济模型引入网格资源管理，改进了遗传算法，算法中的染色体编码采用间接编码方式，对每个任务占用的资源编码，即实数编码方法。生成初始种群时采用随机生成种群和根据某些先验知识生成种群这两种方法相结合，变异操作时根据原来染色体的适应值和适应度函数进行有目的的随机变异。通过网格仿真平台GridSim对该算法进行模拟验证，并将其与简单遗传算法及GridSim中经济模型下时间最优算法DBC_Time比较，试验结果证明其能较好完成网格环境下任务的调度，实现时间和费用双目标优化。
65.基于HT-SVM的协同网络入侵检测
- 杜红乐;樊景博;刘爱军;曹静;赵建华
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：针对当前计算机网络规模大、速度高、结构复杂等特点，使得检测代理负载过大导致丢包率较高而准确率较低，提出了基于Huffman树SVM（HT-SVM）的协同网络入侵检测，根据网络协议对网络数据进行分流，通过构建多个检测代理（TCP检测代理、UDP检测代理和ICMP检测代理）协同工作减少检测代理的负载；另外，由于Huffman树SVM结构对决策准确率及决策速度都有较大的影响，本文结合类间距离、类内样本数及类半径定义分离测度，并根据分离测度利用并行算法构建HT-SVM检测代理；最后用KDDCUP99数据集进行实验，对比单个检测代理的结果发现，本文方法不仅减少训练时间和决策时间而且提高了准确率。
66.基于遗传与蚁群算法融合的选播QoS路由算法
- 李陶深;李长才
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：为了有效解决选播通信中的QoS路由问题，对遗传算法与蚁群优化算法的融合算法进行改进，提出一种基于遗传算法与蚁群算法融合的选播QoS路由算法.算法初期使用遗传算法在链路上分布信息素，对蚁群算法的控制参数进行编码和优化；然后通过判断函数来判断遗传算法与蚁群算法融合的时机，初始化信息素，并启动混合算法后期的蚁群算法；针对混合算法后期出现陷入局部最优的情况，引入变异算子，对由变异操作得出新路径进行局部信息素更新，减少最优路径上的信息素浓度，更快地引导蚁群算法找到全局最优解。NS2仿真实验结果表明，该算法很好的解决多QoS选播路由问题，性能优于其它算法.
67.基于任务依赖关系的群体感知模型
- 李建国;汤庸;黄世平;黄帆
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：群体感知技术是CSCW领域一项关键技术，也是CSCW有效性得以实现的前提. 本文分析了群体感知模型的研究现状，发现现有的群体感知模型对任务关系的考虑不够全面，大多数模型仅仅利用任务间的层次关系进行感知计算，而对任务间的其它依赖关系缺乏考虑. 本文首先讨论任务在群体感知中的重要性，对任务依赖关系进行深入研究,进而提出一种新的基于任务依赖关系的群体感知模型TBGAM. TBGAM模型利用任务的资源依赖图和时态依赖矩阵分别表示任务间基于资源和基于时间的依赖关系，在此基础上重新考虑群体感知强度的计算方法,把任务的依赖关系应用于感知强度的计算中，重点阐述了TBGAM模型的形式化定义及主要感知机制.
68.一种面向可扩展集群环境的快速虚拟机迁移方法
- 刘诗海;孙宇清;石维琪;高云伟
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：在集群环境下,为了提高虚拟机Xen的迁移效率，本文提出了一种面向可扩展集群环境的快速可靠的虚拟机迁移方法，在分布式文件系统GlusterFS中增加了Heartbeat监测模块，实时监测集群环境中物理机节点挂载和卸载的情况，并使用gSOAP实现内部角色的通信管理，从而使GlusterFS文件系统能够自动管理节点，在保证迁移性能和系统可靠性的同时改进了系统的扩展能力。实验结果表明该方法能够在虚拟机迁移过程中自动选择分配资源，在充分利用集群资源和保证文件完整性的前提下，提高迁移效率。
69.面向自适应的组合服务动态调整方法
- 杨雷;代钰;刘福凯;张斌
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：为了实现组合服务对异常情况的自适应，本文提出了组合服务动态调整机制，该机制通过将调整逻辑和BPEL执行逻辑相分离能够在不扩展BPEL语言的语法和语义基础上支持组合服务的动态调整，从而保证了方法的适用性。建立了服务异常模型以描述服务运行过程中所面临的异常情况的类别、产生原因以及外在表现，并且在该模型的基础上给出了异常监控策略。提出了组合服务替换范围确定算法和调整方案生成启发式算法，从而能够保证组合服务动态调整的效率。系统实现和实验验证了组合服务动态调整方法的有效性。
70.基于动态规划的柔性工作流
- 史银雪;孙瑞志;向勇
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：为提高柔性工作流的对业务环境不确定性和多变性的响应能力，提出了一种基于流程模式的工作流动态规划技术。采用流程模式的知识表示方法描述业务领域专业知识，工作流建模阶段不确定的执行过程或执行因素用一个特殊的“目标活动”来表示；通过在流程执行过程中实时获取目标活动的上下文信息，实现流程执行过程中的实时规划，使得流程的执行过程能够更加实时的反映外界影响因素的变化；给出了基于动态规划柔性工作流的结构化设计和上下文数据的形式化定义，进而设计了目标匹配的流程规划算法，该算法支持流程的递归规划。最后，给出了一个“接收对象不明确”的工作单分发流程实例，表明了动态规划的优势,并与其它支持工作流柔性的方法进行了比较。
71.一种基于缝合技术的图像传感器网络消除冗余数据方案
- 马振徽;王汝传;黄海平;沙超
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：为了减少无线图像传感器网络中相机节点的冗余数据，提高网络生存周期，利用图像缝合技术去除相机节点采集的图像间重合的部分，避免相机节点传输冗余数据。此外，针对原有相机节点相关系数计算方法存在的不足和实现上的困难，提出面向图像的相关系数的定义和计算方法。仿真实验结果表明，本文提出的方法有效的降低了相机节点传输的冗余图像数据。
72.普适环境下基于映射的非对称协同感知
- 姜波;卜佳俊
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：针对普适环境下参与协同设计的移动终端资源受限的特点，提出了非对称协同感知映射模型、机制和相应的共享工作空间逻辑一致性维持方法. 通过共享工作空间视图的拓扑映射，使得在非对称映射中映射区域仅为资源受限端当前可能关注的内容，减少了协同感知所需资源；同时结合按需获取机制实现了视图感知的数据一致性维护.
73.基于支持向量集子集的支持向量机增量学习算法
- 朱发;业宁;潘冬寅;丁文
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：支持向量机增量算法的关键是对历史样本集的剪辑，在历史样本集中选择出尽可能少又能尽可能多的代表历史样本集的一个子集，然后把这个子集加入到新训练样本集中进行学习。对于代表历史样本集子集的选择方法有很多。本文提出的Simple ISVM(Simple Incremenetal Support Vector Machine Algorithm)算法从样本松弛变量是否为零的角度将支持向量分为线性可分的支持向量和线性不可分的支持向量两类，并以线性可分支持向量集来代表历史样本集。在每步增量学习过程中，每次只保留线性可分支持向量集。这样的子集比支持向量集要小。当线性可分支持向量较少时，可以用广义线性可分支持向量子集代表历史样本集。实验表明Simple ISVM算法在选取适当的参数e不仅能有比SVM-INC.[2]更快的速度，而在精度上没有什么损失。
74.基于约束信息的并行k-means算法
- 於跃成;王建东;郑关胜;陈斌
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：为获得分布式环境下用户所期望的聚类结果，提出了基于约束信息的并行k-means聚类算法。在分析并行k-means能够有效实现对水平分布式数据进行聚类的基础上，将站点用户的约束信息以chunklet的形式引入到分布式聚类过程，通过修改并行k-means的目标函数，设计约束并行k-means算法，从而引导算法执行有偏搜索。算法在理论上确保无约束样本簇内距离最小的同时能够确保chunklet约束中的样本与对应的簇中心之间的平均距离最小。实验结果表明，约束并行k-means算法能够有效改善并行k-means的聚类精度，同时在分布式环境下能够得到与已有约束聚类算法在集中式数据集上相等价的聚类结果。
75.网格环境下基于QoS的协作型任务调度算法研究
- 王磊;夏阳
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：在深入研究网格环境下任务调度算法的基础上，本文提出一种基于QoS的协作型任务调度遗传算法。文章通过引入协作型任务的形式化描述DAG图构造了QoS参数模型。该参数模型提出了任务完成时间、价格和可靠性三个QoS参数并将这些QoS参数引入遗传算法，实现了网格环境下协作型任务调度对服务质量的优化并保证了协作型任务之间的数据依赖。通过与DAG-MIN算法的对比实验表明，该算法能在保证较优调度性能的同时大幅度提高调度的服务质量。
76.基于应用区分的精细化网络服务质量评估
- 胡晓艳;龚俭
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：本文提出基于应用区分的精细化网络服务质量评估（RQoSAAD），其计算各个测量周期内用户不同应用、不同网络互联级别流量的QoS达成度和QoS满意度，并进一步使用辛普森法则得到用户各应用、各网络互联级别流量及总体流量大时间尺度下的QoS达成度、QoS满意度及QoS等级，以此细致地刻画用户所得到的QoS。RQoSAAD已经在CERNET的新型网络管理系统原型NBOS中实现，其所提供的详尽的网络服务质量评估结果让用户和运营商多方位地了解网络的QoS，便于运营商判断网络状态，更新系统配置，进行反馈控制和调节。
77.基于PML及HEDGE的物联网异构信息集成处理模型研究
- 王桐;赵春晖;焉晓贞
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：以“物联网”、“智慧地球”为代表的社会发展愿景，为社会信息化和通信产业的未来发展指明了方向。为实现物联网“大集成”的思想，给出物联网海量异构信息集成处理模型。针对物联网前端感知信息的不确定性、异构性问题，本文引入EPC体系及PML进行归一化，给出物联网异构信息集成融合方案，该数据集成方案在感知、传输及应用三层进行。在每个可计算节点处对这些格式异构的半/非结构化数据进行智能处理，提出新的基于hedge文法的高效过滤算法以提高该节点匹配引擎在处理海量数据时能力。
78.基于能量和距离的分簇式无线传感器网络路由协议设计
- 赵小敏;毛科技;王正莉;陈庆章
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：针对典型分簇式路由LEACH协议随机选取簇头节点、分簇不合理等造成的网络节能性不理想的情况,本文提出一种基于能量和距离的分簇式路由协议EDCRP,通过把节点到基站的距离和其剩余能量作为基站选取簇头的参考因素,借鉴遗传算法中的轮盘赌思想选择簇头,并设置簇头之间的距离阈值,合理选取和分布簇头.通过在Matlab 环境下仿真实验,比较LEACH协议、DIRECT协议和EDCRP协议,实验表明EDCRP协议可改善负载均衡和有效地延长网络生存时间.
79.一种分布式的移动P2P网络决策模型
- 吴旭
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：对于移动P2P网络中的可信决策的问题，单纯地依赖信任模型或者传统的风险评估手段都不能加以解决，本文基于效益理论提出了一种分布式的移动P2P网络决策模型.该模型将风险和信任量化并融合进一个模型里，同时使用效益函数来描述移动节点的收益和损失之间的关系.模拟实验表明DDM形成的可信决策综合体现了主观、客观的相关因素，和传统安全决策中单纯依赖风险或信任进行决策的方法相比更加合理，同时也从一定程度遏制了节点的恶意行为.
80.合作缓存发现协议在移动自组网中的应用
- 周杭霞;谭劲
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：大规模移动自组网中的合作缓存能够有效地节省能量与通信带宽，并大幅度地提高数据的可访问性，而合作缓存发现是系统性能的关键所在。本文在改进扩展环搜索的基础上，提出了一种新的合作缓存发现协议。该协议根据节点的移动性从请求节点k到数据源节点/缓存数据节点变化的跳数kHS/kHC，动态地调整控制扩展环搜索范围的TTL值，同时用追赶包Chase停止过度的泛洪，以减少合作缓存发现的控制开销。性能分析与模拟实验表明，该协议在搜索时间及包转发广播成本方面明显优于传统的扩展环搜索，其平均查询延迟也低于传统的SimpleCache与合作缓存CacheData策略。
81.请求驱动的服务组合访问控制研究.
- 贺正求;吴礼发;李华波;王睿;黄康宇
- 《第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议》 | 2010年
摘要：提出了一种基于服务请求的角色映射与策略集成机制来解决服务组合中的访问控制问题。为了准确有效地建立域间角色映射，提出了唯一可映射集UMS(Unique Mapping Set)的概念，通过求取和搜索对应局部域角色层次的UMS，可以找到满足外部服务请求的最合适可映射角色集。为了解决由于角色映射造成的域间策略冲突，将角色映射关系划分成了三种不同模式，通过建立或转换不同的角色映射模式可有效避免循环继承、SoD约束违背等常见冲突。与其他方法相比，这种冲突消解方法不仅可以保证服务请求的可满足性，而且能较好保护各参与域的自治性和安全性。