小型微型计算机系统

Select

论文

一种支持事件驱动数据关联的业务服务对象模型

张鹏1，2，韩燕波2，王桂玲2，刘晨2，王菁2

2011, 32(9): 1697-1702.

摘要 ( ) PDF全文 ( )

可视化

为了解决不同业务流程在实时联动的过程中由于人工操作导致延迟的问题,提出一种支持事件驱动数据关联的业务服务对象模型.根据领域的内聚性和稳定性,领域专家建模业务服务对象,其中包括业务流程抽象-业务服务和数据抽象-数据对象,业务人员利用业务服务对象定义数据关联的业务规则,这些业务规则通过事件驱动的方式实现不同业务流程的实时联动.实验数据表明,基于业务服务对象的分布式状态变迁算法在业务流程联动中不仅具有良好的容错性而且高效.

Select

论文

面向领域核心服务定制的部分语义互操作聚类研究

刘建晓，何克清，王健，冯在文，宁达

2011, 32(9): 1703-1708.

摘要 ( ) PDF全文 ( )

可视化

在面向服务的软件工程(SOSE)时代中，需要面向领域用户共性需求，从语义互操作层次实现服务资源聚合，形成领域核心服务资产的聚合来满足用户需求.提出一种面向领域核心服务定制的部分语义互操作性聚类方法，该方法在实施服务本体封装的基础上，从语义互操作性的充分、必要能力两个方面，利用本体概念间语义推理关系进行匹配计算，实施领域服务聚合.与含意互操作性聚类方法相比，本文通过实验验证，该方法提高了满足用户个性化，多元化需求的按需服务的查全率.

Select

论文

一种支持语义互操作的Web服务注册管理机制

曾诚1,2，何克清1，李兵1，王翀1，何扬帆1

2011, 32(9): 1709-1715.

摘要 ( ) PDF全文 ( )

可视化

随着互联网中Web服务的急剧增长，大量服务资源已呈分布异构状态，仅仅靠单纯的语义信息已经不能满足Web服务的动态集成和随需而变.尽管网络通信协议、基于XML的各种信息交换协议基本解决了网络信息资源之间互连和互通的问题，但自治异构的Web服务之间的互操作问题还有待解决.针对以上问题，基于国际标准ISO/IEC 19763-3：MFI4OR，构建了一种语义互操作性Web服务注册管理框架，并提出了Web服务的2种语义互操作能力，初步实现了Web服务资源由“孤岛性”向“互操作性”的转变.

Select

论文

基于数据流程变换的Mashup性能优化方法

刘杰1，2，魏峻2，叶丹2 ，黄涛2

2011, 32(9): 1716-1722.

摘要 ( ) PDF全文 ( )

可视化

Mashup是一种流行的web2.0应用，由开发者将互联网上多个web数据源的数据进行聚合构建而成.大多数mashup工具支持通过可视化的数据流程设计来开发mashup，但是缺少编程经验的终端用户设计的数据流程可能执行效率很低，当处理较大规模数据时mashup的响应时间会大幅增加.本文研究如何通过数据处理操作的合并拆分、次序交换、并行化等技术实现mashup的数据流程优化，提高mashup的性能及可扩展性.本文提出一种新的mashup性能优化方法，对多样化的mashup组件标注其操作语义特征属性及代价模型，定义适用于mashup的流程变换规则，针对用户设计的mashup数据流程生成所有与其语义等价的流程，并提出算法建立流程之间的代价偏序关系图从而快速选择执行代价最小的流程.文中实现了一个mashup工具，实验表明该方法可以有效提高终端用户设计的mashup的执行效率.

Select

论文

云计算中面向服务的互操作标准

刘玉超1,3，马于涛2,3，陈桂生3

2011, 32(9): 1723-1727.

摘要 ( ) PDF全文 ( )

可视化

互联网技术的飞速发展和大众的广泛而深入的参与，极大地改变了传统的面向单台计算机的软件工作模式，计算环境、软件工程以及交互方式的持续演化，形成了以互联网为环境、以服务为手段、大众参与的云计算.在互联、互通、互操作方面，TCP/IP协议主要解决了网络互联问题，HTTP、HTML等协议主要解决信息资源的互通问题，将在此基础上阐述基于RGPS元模型描述的 MFI互操作性元模型框架可以作为一种云计算中按需服务的技术标准，解决云计算下服务的互操作问题，从而实现服务资源的高效复用，推动云计算的发展.

Select

论文

一种基于语义的服务搜索与匹配方法

李伟平，高福亮，祝旭巍，褚伟杰，林慧苹

2011, 32(9): 1728-1733.

摘要 ( ) PDF全文 ( )

可视化

Web服务是构建基于面向服务架构(SOA)的应用系统所需的主流分布式计算技术.作者此前提出了一种语义增强服务库，支持基于语义的服务注册、搜索和组装.讨论该服务库中所使用的一种基于语义的服务搜索与匹配方法.该算法不仅考虑了功能性属性而且引入了非功能性属性来进行服务匹配.算法利用所建立的本体对服务进行语义标注，并通过对OWL-S进行扩展，增加了非功能性属性支持.论文给出了服务的定义，详细介绍了服务搜索与匹配的步骤，并以一个服务的搜索为例对算法的使用进行了说明.最后把本文提出的算法与基于关键字匹配的服务搜索算法进行了比较分析，结果表明本文所提出的算法搜索更加准确.论文最后简介了基于该算法的语义库的基本架构及功能.

Select

论文

支持业务事务验证的服务协调模型

袁敏1，2，黄志球1，李祥1

2011, 32(9): 1734-1739.

摘要 ( ) PDF全文 ( )

可视化

在Web服务业务流程中如何保证参与者之间的协调一致性是亟待解决的重要问题.Web服务事务规范中描述的参与者之间的交互消息缺乏严格的语义，无法精确地描述复杂的协调活动，本文用Pi-演算形式化描述WS-TX规范中定义业务活动事务的WS-BA协议，在此基础上建立了适用于多方参与的业务事务的服务协调模型；并利用基于等价自动机转换的HAL模型检测工具，验证分析了WS-BA协议的安全性和活性，给出一个多方参与的业务事务实例的验证过程，介绍如何利用模型检测技术来分析业务流程设计正确性的方法，有效地确保了业务事务执行的可靠性和一致性.

Select

论文

基于评论分析的查询服务推荐排序

田超，朱青，覃左言，李鹏

2011, 32(9): 1740-1746.

摘要 ( ) PDF全文 ( )

可视化

面对查询服务如何为用户提供满足需求的个性化推荐.提出一种基于自然语言进行评论分析、并提取特征属性进行多属性决策，为用户提供推荐排名策略，建立基于评论语义和 Web 挖掘技术的信息推荐系统实现个性化服务.解决了对同一商品的不同店铺之间的优劣比较和推荐，对各店铺的用户评论进行了主题抽取和情感分析，通过聚类成为"客户满意度"属性，与从店铺页面上爬取到的客观数据一起代入到推荐系统中进行计算.系统允许用户自主选择关心的属性及重要性排序，使得系统给出的推荐结果既能客观全面的反映店铺的状况，又能符合用户的评价偏好.

Select

论文

一种mashup服务描述本体的自动构建方法

李杉1，李兵1，2，3，潘伟丰1 ，侯婷婷1

2011, 32(9): 1747-1752.

摘要 ( ) PDF全文 ( )

可视化

服务描述本体是基于语义的服务聚合的基础.目前本体构建主要由领域专家手工进行，具有成本高、时间长、不易演化等困难，不能满足mashup生态系统对本体的需要.标签作为一种在各类服务注册体系中被广泛使用的大众分类手段，从功能、认知的角度对服务进行描述，是群体智能的一种体现.提出了一种从标签自动构建mashup服务描述本体的方法，该方法利用大众分类，可以自下而上地进行自动化本体构建，并能随网络化的服务资源变化而自行演化.最后，通过实例验证了该方法的有效性.

Select

论文

基于两阶段规划模型的跨域服务流程动态构造方法

崔立真，田君杰，王海洋

2011, 32(9): 1753-1761.

摘要 ( ) PDF全文 ( )

可视化

为了应对来自网络计算环境下业务流程跨越协同过程中层出不穷的业务需求，提出一种基于两阶段规划模型的跨域服务流程动态构造方法.第一阶段，利用跨域服务协同语义模型，基于层次任务网络规划方法，构建满足用户业务需求的跨域抽象业务流程；第二阶段，在各域内部对抽象业务流程确定的候选服务集应用图规划数据流验证模型，构建最终的跨域可执行服务流程.方法在保证了业务需求与跨域服务流程逻辑结构的语义一致性的同时，满足了跨域服务流程中数据流的一致性，为网络计算环境下管理域间的业务协同和互操作提供了更为实际可用的可执行服务流程.原型系统实验及实例验证说明该方法的正确性和有效性.

Select

论文

基于面向方面技术的服务安全组合故障分析

范贵生1,2，虞慧群1，顾春华1，陈丽琼3

2011, 32(9): 1762-1769.

摘要 ( ) PDF全文 ( )

可视化

服务组合作为实现服务增值的一种有效方法，业已广泛使用于各种应用.安全问题是与Web服务密切相关且对于服务组合的可信性具有重要作用.然而目前还缺乏对服务安全组合进行有效描述和分析的方法.提出一种基于面向方面的形式化服务安全组合建模及其分析方法.重点讨论了服务的授权、执行的可追踪、数据保护及故障处理，并利用面向方面规范基本模块的行为、描述它们相互关系的手段，编织机制将这些模块动态地集成为一个完整的服务组合模型.基于此，Petri网的操作语义及相关理论分析服务组合的安全性及故障处理能力，给出服务组合的正确性准则，并证明了其有效性.具体实例及仿真结果表明，该方法能有效地简化系统建模，有助于提高服务组合的设计质量.

Select

论文

面向Agent的集群式供应链服务系统设计方法研究

薛霄1，2，朱鹏2，黄必清2

2011, 32(9): 1770-1777.

摘要 ( ) PDF全文 ( )

可视化

为了帮助中小型企业(SMEs)应对经济全球化的挑战，“集群式供应链”的概念作为一种新型管理模式被提了出来，它集成了工业集群和供应链两个方面的优势.目前，对集群供应链的研究仍然处于初级阶段，其理论结果难以应用到实践当中.基于此背景，提出一个集群式供应链服务系统的设计方法，以Agent模型与Web服务之间的模型映射为桥梁，整合来自不同学科领域的研究成果，从而弥补该领域理论和实践之间的鸿沟.最后，通过浙江织里镇的童装工业集群的案例，来解释如何使用该方法指导集群式供应链的构建和开发，主要包括三个阶段：商业建模、模型映射和实现建模.

Select

论文

一种笔式表格组件的设计方法

李贵现1，樊银亭2,3

2011, 32(9): 1778-1783.

摘要 ( ) PDF全文 ( )

可视化

传统基于WIMP界面范式的表格设计,无法满足用户与界面自然、高效、连续性交互的需求,尤其是用户无法根据设计意图自由勾画任意通用的表格,也无法自动标识表格界面逻辑.提出一个基于笔交互的表格组件的设计方法.该方法以数字笔代替鼠标键盘,能够连续输入笔迹并识别为文字、勾画草图并识别为正式表格或框线、使用笔手势操纵界面对象,并能自动识别表格的逻辑结构.本文讨论了该笔式表格组件的开发框架及关键技术,以及表格组件架构,并给出了应用实例及性能评估,实验结果表明,用户使用该方法设计表格具有较高的效率与用户满意度.

Select

论文

事件本体中的动作推理研究

徐文杰1，2，刘炜1，2，付剑锋1，刘宗田1

2011, 32(9): 1784-1789.

摘要 ( ) PDF全文 ( )

可视化

事件是随时间变化而变化的具体事实，事件是由动作、时间及其它要素组成，动作是事件定义中的主要构成部分.在面向事件的知识库系统中，关于动作的推理研究一直是重要的研究课题之一.现有的动作推理形式化系统旨在描述和推理现实世界中状态的变化，忽略了时间要素对推理过程的影响.针对这种不足，本文在描述逻辑的基础上扩充了一个Action-TBox和一个Action-ABox，并将事件本体中的动作要素和时间要素相结合，形式化定义了动作的一个三元组表示方式以及多种时间构造算子，用以刻画组合动作的发生过程，在此基础上研究了事件本体中关于动作的几种推理服务.

Select

论文

统一数据管理空间在大规模并行作业计算中的应用

赵志立1，张瑞生2，阮钶茵2，朱月明2，丁凡2，李廉1

2011, 32(9): 1790-1793.

摘要 ( ) PDF全文 ( )

可视化

大规模并行作业的计算通常涉及海量的计算数据和众多的高性能计算设备.随着网格计算技术帮助人们进行计算的同时，大规模并行作业的数据规模的增长也越来越快，对计算速度的要求也越来越高.为了充分利用网格等计算平台上的资源，提高作业的计算效率，人们通常需要将待计算的数据进行分组，然后分别上传至不同的平台上进行计算，这对科学研究和数据管理造成了极大的不便.本文提出了一个针对大规模并行作业计算的统一数据管理空间，实现了异构网格和计算平台上数据的逻辑整合，从而大大提高了对计算数据的管理效率，加快了科学活动的进程.本文最后通过统一数据管理空间在大规模虚拟筛选中的应用，对该统一空间的数据传输效率和数据管理能力进行了分析.

Select

论文

引入卡尔曼滤波的RFID数据清洗方法

王妍，宋宝燕，付菡，李晓光

2011, 32(9): 1794-1799.

摘要 ( ) PDF全文 ( )

可视化

RFID技术现已广泛应用在供应链、制药监管等领域，然而数据的不准确性制约了RFID技术的进一步发展.为提供高质量的RFID数据给高层应用，对RFID原始数据进行清洗十分必要.本文提出一种基于卡尔曼滤波过滤的数据清洗方法KAL-RFID，有效地解决了单个阅读器的消极读和积极读问题以及动态标签跃迁产生的延迟问题.实验结果表明KAL-RFID方法提高了清洗效率，并且得到更准确的清洗结果.

Select

论文

网格服务环境下的全局最优服务选择模型研究

康国胜，刘建勋，胡蓉

2011, 32(9): 1800-1803.

摘要 ( ) PDF全文 ( )

可视化

在大量相似服务共存竞争环境下，面向服务质量的Web服务选择成为研究热点.已有的服务选择方法通常假设同一时刻请求某种功能服务的请求者只有一个，并为其选择一个局部最佳服务.然而在网格服务环境下，同一时刻存在相对固定数目的多个服务提供者和多个服务请求者，要使网格服务资源利用率达到最优，需要进行整体规划，制定最优选择方案.本文利用层次分析法计算出请求者对各服务的QoS满意度与服务信任的满意度，将二者结合起来，计算出综合满意度，并基于综合满意度进行0-1整数规划，建立全局最优网格服务选择模型.最后，通过仿真实验，验证了该方法的有效性.

Select

论文

面向代数规约测试谓词/变迁网

余波1，2

2011, 32(9): 1804-1809.

摘要 ( ) PDF全文 ( )

可视化

针对谓词/变迁网缺乏有效的形式化验证分析技术，基于代数规约测试谓词/变迁网方法，给出谓词/变迁网转换成代数规约语言CASOCC-WS表示的基调的规则,提出基于测试充分性准则深度优先遍历谓词/变迁网生成变迁触发序列的算法和由变迁触发序列构造公理等式的启发式规则.案例研究表明：该方法可以有效地解决测试Pr/T网时自动生成测试用例和自动判定测试结果和可行路径的问题.

Select

论文

影响GUI测试性能的两个因素：测试用例及测试预测

高建华，辛敏杰

2011, 32(9): 1810-1813.

摘要 ( ) PDF全文 ( )

可视化

GUI测试在软件开发和测试中具有重要的地位.GUI自动化测试的实际应用强调了测试的成本和效率.在GUI测试中，测试用例和测试预测是两个与图形用户界面测试性能相关的主要因素.根据GUI的事件流图，事件关联图等特性，通过分析GUI事件的代码复杂度，将事件分配到各个长度不同的测试用例中，并定义测试预测的级别.通过实例，研究测试用例和测试预测对于图形用户界面测试性能的影响，从而为进一步完善GUI测试框架提供了依据.

Select

论文

可编程路由器技术研究

胡光武，华婷，姚姜源

2011, 32(9): 1814-1820.

摘要 ( ) PDF全文 ( )

可视化

可编程路由器是一种能从功能上分解成若干组件与接口，并能通过配置和与编程，实现灵活而动态地部署新服务、新协议和减轻网络管理负担的路由设备.本文调研了可编程路由器相关研究工作；讨论了可编程路由器与传统路由器、可扩展路由器、主动网络节点、可重构路由器的区别；重点说明了可编程路由器的架构及其数据路径的可编程性；同时也对可编程路由器的平台重构、网络管理及创新应用等方面进行了考察，最后对工作进行了总结并讨论了未来可能的研究方向.

Select

论文

基于目标覆盖的无线传感器网络的连通性优化部署方法

桂小林1,2，何欣1,3，尹柯3

2011, 32(9): 1821-1826.

摘要 ( ) PDF全文 ( )

可视化

覆盖控制技术研究无线传感器网络空间资源的优化分配，以满足用户的感知需求.覆盖节点的连通性是覆盖研究的关键问题，决定了感知数据能否最终传递给用户.已知的研究并未涉及目标覆盖确定部署应用的连通性问题.因此，分析了目标覆盖中的连通性问题，首次提出针对目标全覆盖与维护节点集连通性关系的连通临界条件；针对连通性条件无法满足的情况，提出了一个维护连通性的优化部署方案.该方案首先建立连通子集间的最小生成树，构造连通候选集；然后，基于连通候选集，利用遗传算法得到优化候选位集.仿真实验表明，提出的优化部署方案既实现了对目标集的全覆盖，又维护了连通性，并使候选位集的元素个数更少.

Select

论文

贪婪协议路由代数及其应用

侯孟书，李玉军，卢显良，任立勇，屈鸿

2011, 32(9): 1827-1831.

摘要 ( ) PDF全文 ( )

可视化

在无线网络路由协议中，错误地使用路由尺度会降低网络的路由性能，甚至会导致某些节点之间根本无法正常通信，称为路由尺度的兼容性问题.基于路由代数理论，分析了贪婪协议中路由尺度的兼容性问题，推导出了贪婪算法用作数据分组的转发机制时贪婪协议具有可达性的充分必要条件，并以4个路由尺度实例说明了分析结论在贪婪协议设计中的具体应用，为贪婪协议的设计提供了重要的技术依据.

Select

论文

采用RSSI技术的新型无线传感器网络路由协议

凌强，张伟华，严金丰

2011, 32(9): 1832-1836.

摘要 ( ) PDF全文 ( )

可视化

把RSSI(Received Signal Strength Indication)测距技术引入到无线传感器网络的路由策略中，形成一种新型路由协议.该协议能有效减少节点能耗，从而增加了无线传感器网络的寿命.在NS2平台上，分别对LEACH协议和新型路由协议行了仿真.结果表明：新型路由协议下的网络寿命比LEACH的长;当网络工作在低负载的情况下，该新型协议的单位能耗下数据接收量比LEACH的要大.

Select

论文

对等网中一种具有激励效用的超节点选取机制

陈志刚1，霍英1,2

2011, 32(9): 1837-1840.

摘要 ( ) PDF全文 ( )

可视化

针对当前对等网中超节点的选择大都根据节点物理性能而没有考虑free-riding现象，综合考虑节点的物理性能、自愿性与对节点的未来预期，提出一种具有激励效用的超节点选取机制SSMI，SSMI中选取节点整体效用值最大的节点作为超节点，超节点同时承担一定的监察作用以威慑Free-riding节点.仿真实验表明,SSMI较之按节点能力选择的方法使P2P系统性能明显提高，能保证在较小的网络开销下，达到激励节点主动参与贡献资源的目的,提高了文件共享数量与查询成功率，减少了资源的定位开销.同时保障了超节点叠加网络的稳定性，具有较好的系统鲁棒性.

Select

论文

基于ZigBee技术的老人身体状态监测系统设计

王鲁，王志良

2011, 32(9): 1841-1844.

摘要 ( ) PDF全文 ( )

可视化

无线网络技术为独居老人的远程监控提供了新的方法.本文介绍新兴的ZigBee无线网络技术，分析其在家庭环境下人体健康监测领域的适用性与优势，针对老人护理的特点和监测需求，组建了星状结构的无线传感监测网络，提出老人身体状态监测系统整体架构，使用加速度传感器获取老人的身体状态信息，设计了协调器与终端节点，进一步探讨了各主要节点与模块的结构与功能.

Select

论文

无线传感器网络中基于能量级加权的质心定位算法

刘文远，张作良，陈子军，王林

2011, 32(9): 1845-1848.

摘要 ( ) PDF全文 ( )

可视化

针对无线传感器网络的内在特点以及传统质心定位方法的局限性，提出一种基于能量级加权的质心定位算法——PWC定位算法.它完全基于网络连通性，采用信标节点的能量级信息作为加权因子计算未知节点位置，体现了不同信标节点对质心计算结果的影响.仿真结果表明，该算法减小了平均定位误差，是一种适合大规模传感器网络应用的节点定位算法.

Select

论文

N次弃头的被动队列管理算法

姜文刚1，2，孙金生1，王执铨1

2011, 32(9): 1849-1853.

摘要 ( ) PDF全文 ( )

可视化

主动队列管理算法存在参数设置敏感，响应相对滞后于实际网络状况的缺陷，并没有在实际网络上推广使用，因此对目前使用最多的弃尾被动队列管理进行改进，提出N次弃头的被动队列管理算法，在队列满时，从队列头部丢弃N个数据包，N为大于等于2的整数.该算法改善了弃尾队列管理的缺陷，提高了网络传输性能，能有效改善RTT公平性和速度公平性，算法计算量小，最后通过NS2仿真验证该算法的有效性.

Select

论文

面向多模态函数优化的改进小生境粒子群算法

彭勇1,2，林浒2 ,安晓荣1,2

2011, 32(9): 1854-1861.

摘要 ( ) PDF全文 ( )

可视化

为了保持群体多样性以增强全局搜索能力，小生境技术在遗传算法中得到了广泛应用.针对多模态函数优化问题，将小生境技术引入到粒子群算法中，建立小生境熵作为群体多样性的量化指标，实时考查进化过程中群体的多样性并调整进化参数；结合数论中的佳点理论，提出一种在解空间使用佳点搜索的群体多样性发掘方法，使得进化过程中群体多样性水平始终保持在设定的阈值之上，从而改善算法的全局搜索能力以期跳出局部最优；在此基础上提出一种旨在找出全部全局最优解和局部最优解的新型串行多群体小生境粒子群算法.数值实验表明，改进的小生境粒子群算法在求解多模态函数优化问题时具有较好的自适应性和收敛性.将算法应用于图像配准实验中，使得配准参数估计误差有明显降低.

Select

论文

动态选择与替换策略的多目标约束优化进化算法

龙文1，2，梁昔明1，秦浩宇1

2011, 32(9): 1862-1866.

摘要 ( ) PDF全文 ( )

可视化

提出一种基于动态选择与替换策略的多目标优化进化算法用于求解约束优化问题. 新算法首先将约束优化问题转化为两个目标的多目标优化问题，基于Parto支配关系，把初始种群分为Pareto子集和Non-Pareto子集，引入一种非劣个体保护偏好策略，动态选取一定比例的最优非劣个体直接进入下一代群体，剩下的非劣个体随机替代Pareto子集中的个体.Pareto子集和Non-Pareto子集分别进行单形交叉和多样性变异操作产生新的子种群.对13个标准测试问题的数值实验结果表明新算法的有效性.

Select

论文

一种快速的不完备决策表属性约简算法

舒文豪1，徐章艳1，钱文彬2，杨炳儒2

2011, 32(9): 1867-1871.

摘要 ( ) PDF全文 ( )

可视化

目前，关于不完备决策表的属性约简算法已有不少，其中在很多算法中，其时间复杂度为O(|C|3|U|2).为有效地降低算法的时间复杂度，给出一个差别矩阵的定义和基于差别矩阵属性约简的定义，并证明了该属性约简与基于正区域的属性约简是等价的.生成的差别矩阵无需比较Uneg之间的对象，使差别矩阵得到有效地简化，进一步降低算法的存储空间.在此基础上，利用简化的差别矩阵设计一个快速计算不完备决策表的属性约简的算法，其时间复杂度降为max{O(|C|2|Upos||U|),O(K|C||U|)}.(其中K=max{|TC(xi)|,xi∈U}).最后用实例仿真说明了新算法的有效性.

Select

论文

DNA自组装的可满足性问题模型

宋勃升1，殷志祥1，2，甄诚1，华程1

2011, 32(9): 1872-1875.

摘要 ( ) PDF全文 ( )

可视化

DNA自组装技术在DNA计算和纳米技术领域都发挥着极其重要的作用，许多小规模NP完全问题都可以通过自组装模型得以解决.文中以可满足问题为模型，通过构造范式中变量的特殊补链，使其与初始数据库中初始DNA链发生杂交反应，形成发夹结构，利用形成发夹结构的DNA链与没形成发夹结构的DNA链长度不同的特点，通过凝胶电泳将这些带发夹的DNA链提取出来；然后加入与这些特殊补链完全互补的DNA链，在一定温度下，通过碱基互补配对原则，发夹结构又将被重新打开.该模型充分利用了DNA分子间的自组装能力，在计算过程中只需要用到凝胶电泳操作，在一定程度上大大减少了因生物操作过多而引起的各种实验误差.

Select

论文

基于共享近邻的自适应谱聚类

刘馨月1，2，李静伟2，于红1，2 ，尤全增2 ，林鸿飞1

2011, 32(9): 1876-1880.

摘要 ( ) PDF全文 ( )

可视化

谱聚类是一种极具竞争力的聚类算法.相似度定义对谱聚类算法的性能有至关重要的影响.本文用两点的共享近邻数目表征局部密度，从而获知隐含的簇结构信息.将这一信息与自调节的高斯核函数结合，提出了基于共享近邻的自适应相似度及相应的谱聚类算法.它满足聚类假设的要求，具有局部密度的自适应性，能有效识别数据点之间的内在联系.典型人工和真实数据集上的实验结果证明了算法的有效性.

Select

论文

SDG故障诊断规则的知识约简

谢刚，赵静阁，詹峰，谢克明

2011, 32(9): 1881-1884.

摘要 ( ) PDF全文 ( )

可视化

符号有向图(SDG)是揭示流程系统深层知识的定性模型，用于描述流程系统的状态变量及其变量间的故障信息传递关系.当系统的状态变量过多，运用SDG故障诊断算法生成的故障规则过于庞大，推理困难.粒矩阵的知识约简算法能有效约简冗余属性.因此，将粒矩阵的知识约简算法引入SDG故障诊断，以电站除氧器系统为例，使用粒矩阵的知识约简算法约简主要故障的故障规则，简化规则中的冗余节点，提高故障诊断效率，最后验证了约简后的故障诊断规则的正确和有效.

Select

论文

三次B样条曲线拟合的虹膜定位

叶永强1，沈建新1，周啸1，张敏2

2011, 32(9): 1885-1889.

摘要 ( ) PDF全文 ( )

可视化

采用圆检测定位虹膜内外边界的方法是当前虹膜定位的主流算法.当虹膜图像分辨率很高时，圆曲线不能准确地拟合虹膜真实边界，特别是受瞳孔收缩影响很大的内边界.而采用三次B样条曲线能够很好地拟合内边界.为了提高定位效率，首先运用质心探测方法分割出瞳孔区域，然后在瞳孔区域中搜索内边界点，采用三次B样条曲线精确拟合内边界；最后利用Canny算子检测外边界，并采用圆曲线的最小二乘拟合外边界.运用Bath大学虹膜库中的1000幅虹膜图像对该定位算法进行测试，内边界定位时间0.0203s、准确率99.2%；外边界定位时间2.0277s，准确率98.9%，满足准确、高效的定位要求.

Select

论文

D-优化算法实现几何约束问题的重组

郭希娟，吴金垒

2011, 32(9): 1890-1893.

摘要 ( ) PDF全文 ( )

可视化

当前对几何约束求解普遍使用建设性方法，按照先分解后重组的方式进行求解.但多数情况下这些方法产生非线性方程数量多，计算量大，解决问题较为复杂.此处提出D-优化算法通过将欠约束子问题分离的方法，利用自定义的分离规则，将问题分解为若干单位问题.单位问题规模较小，求解难度较低.实验证明，该优化方法可有效降低问题求解的复杂程度.

Select

论文

基于小波变换的运动模糊图像融合研究

周爱平，梁久祯

2011, 32(9): 1894-1898.

摘要 ( ) PDF全文 ( )

可视化

由于拍摄目标和成像设备之间的相对运动，往往造成获取的图像模糊.为了消除运动模糊和提高图像恢复质量，利用双线性插值和方向微分算子，采用"先粗后细"的方法，即先从退化图像中粗略确定运动模糊方向范围，然后高精度确定其具体数值.这种方法具有计算量小，精度高，稳定性好，适用范围广的优点.由于模糊图像的像素点之间的高度相关性，采用差分和自相关技术精确确定模糊尺度.由运动模糊方向和模糊尺度构造点扩展函数，然后利用不同的滤波方法得到恢复图像，采用不同的图像融合方法对恢复图像进行融合实验.实验结果表明，基于小波变换的运动模糊图像的融合方法得到的融合图像取得了较好的客观评价和主观视觉效果，具有一定的实用价值.

Select

论文

抵抗JPEG的自嵌入内容认证水印方法研究

黄良永1,吴建生1,肖德贵2

2011, 32(9): 1899-1902.

摘要 ( ) PDF全文 ( )

可视化

针对JPEG压缩，提出一种自嵌入的半脆弱内容认证水印方法.采用离散小波分解提取原始图像的稳态特征并映射成水印信息，在密钥控制下生成混沌序列对水印信息进行加密；将水印嵌入到离散余弦变换的量化系数中，最后进行逆量化和逆离散余弦变换变换得到含水印图像.当图像的内容需要认证时，可以区分正常的压缩和恶意篡改，而且还可以进行篡改定位.实验结果表明，该方法对JPEG有损压缩具有较好的鲁棒性、安全性和良好的不可见性.

Select

论文

ID保护的物联网T2ToI中能量高效的健壮密钥管理方案

任伟1，雷敏2，3，杨榆2

2011, 32(9): 1903-1907.

摘要 ( ) PDF全文 ( )

可视化

在分析物联网的系统模型和网络模型的基础上，提出物联网的敌手模型和密钥管理安全需求，指出一个新的需要首先解决的研究问题：ID保护的物联网T2ToI中密钥管理方案，方案需要兼顾能量高效性和健壮性.然后提出一系列密钥管理方案，包括密钥预分发、基于中央控制单元的密钥分发、基于ONS的公钥查询方案、ID保护的DNSKey方案、基于ID的密钥管理方案.每个方案均给出相应分析.

Select

论文

分组加密算法的并行量子搜索攻击的研究

段博佳，袁家斌，杨婕，叶峰

2011, 32(9): 1908-1912.

摘要 ( ) PDF全文 ( )

可视化

对称密码体制中的分组密码具有速度快、易于标准化和便于软硬件实现等特点，在计算机通信和信息系统安全领域有着广泛的应用.从量子计算机的角度考虑，结合Grover量子搜索算法与经典并行搜索的思想提出搜索分组加密算法密钥的并行量子搜索模型，针对典型的分组加密算法给出其相应的量子黑箱线路设计，最后对整个线路进行了简要的性能分析.

Select

论文

ATN中信任证链查找算法的研究

李健利，高勇，霍光磊，赵风姬

2011, 32(9): 1913-1916.

摘要 ( ) PDF全文 ( )

可视化

针对自动信任协商中分布式存储的信任证查找算法效率低下的问题，本文提出一种贪婪算法和双向查找算法相结合的信任证链查找算法，并通过控制信任证图生成的方向和限制信任证链查找时生成信任证图的大小来进一步提高查找的效率.仿真结果表明该算法生成的信任证图比其它算法生成的信任证图平均要小3%左右，在查找相同的信任证的情况下，改进算法的效率和其它算法相比提高了5%左右.

Select

论文

基于S3C2410X的I2C总线接口的软件仿真与验证

朱文涛1，桑楠2，杨国武2

2011, 32(9): 1917-1920.

摘要 ( ) PDF全文 ( )

可视化

根据S3C2410X处理器内I2C总线接口的控制逻辑和I2C总线主从设备的通讯原理，提出了一种仿真I2C总线接口的方法，实现嵌入式仿真器中I2C模块的仿真.利用FSM建模方法对E2PROM芯片的控制过程进行建模，根据此模型仿真了S3C2410X对E2PROM的读写过程.根据U-Boot在仿真器上的运行，通过调用U-Boot中I2C总线控制命令，完成对E2PROM的读写，验证所实现I2C仿真模块的正确性.

选择文件类型/文献管理软件名称

选择包含的内容

过刊目录

作者投稿

专家审稿

编辑办公

主编办公

编委审稿

下载中心

模态框（Modal）标题

选择文件类型/文献管理软件名称

选择包含的内容

过刊目录

作者投稿

专家审稿

编辑办公

主编办公

编委审稿

下载中心