小型微型计算机系统

Select

论文

QoS感知的高效抽象服务选择

欧伟杰1，曾承1,3，曾青1，彭智勇2，王珍珍1，刘波1，马景燕1

2013, 34(1): 1-8.

摘要 ( ) PDF全文 ( )

可视化

云计算的蓬勃发展为Web服务带来了新的机遇和挑战.一方面是用户日益增长的服务需求, 另一方面是互联网上大量功能相似、质量各异的具体服务, 如何合理利用这些服务来满足大规模的用户需求成为一个亟待解决的问题.传统服务组合技术侧重于服务功能的扩展, 并未考虑服务的非功能属性提升. 本文根据抽象服务的概念, 提出平衡遍历方法聚合具有相似功能的具体服务提升整体性能.这不仅满足了用户的规模化需求, 而且提高了具体服务的利用率.此外，本文还针对服务的多维非功能属性, 提出可扩展的skyline抽象服务选择算法, 并通过一系列实验验证了所提出方法的有效性和可扩展性.

Select

论文

一种基于Skyline的服务选择方法

刘建晓，何克清，宁达，张秀伟

2013, 34(1): 9-15.

摘要 ( ) PDF全文 ( )

可视化

随着网络上各种web服务数量的急剧增长，如何发现满足用户功能性和非功能性需求的服务成为亟待解决的关键问题.根据用户确定的功能和非功能性需求，充分利用Skyline方法中的实例间支配关系，首先对网络上各种服务从功能层次进行筛选，然后从QoS层次对选择的服务实现进一步的筛选，从而选择出两者都较优的服务.该方法对输入，输出匹配度高的服务分别进行考虑，并进行组合判断来查找满足用户需求的原子服务和组合服务.给出了相应的服务发现算法，且通过仿真实验来验证分析所提出方法的可行性和有效性.

Select

论文

一种基于服务的自适应网络应用框架

罗森，许斌，孙科武

2013, 34(1): 16-22.

摘要 ( ) PDF全文 ( )

可视化

提出一个基于服务的自适应网络应用框架—iWeb.框架建立了上下文信息模型,用以描述收集上下文信息;框架收集了数以千计的服务,并对这些服务依据其功能性进行了分组.在服务质量信息,上下文信息以及服务功能性分组的基础上,提出了一种创新的服务选择方法,该方法可以根据服务质量信息和上下文信息选择最佳的服务.框架使用具有相同功能,由统一接口封装的服务组作为基本功能模块,服务的选择,服务的调用以及服务之间的调度由框架内的服务引擎负责;框架还提供了应用编辑器,来加速应用界面和流程的开发.使用iWeb框架,可以在更短的时间里开发出具有基于网络服务的自适应性的应用. 最后,通过可用性分析,验证了iWeb是一个实用,高效的网络应用开发框架.

Select

论文

基于自动语义标注和集成学习的Web服务分类

李元杰，曹健，胡亮

2013, 34(1): 23-28.

摘要 ( ) PDF全文 ( )

可视化

随着Web服务技术的发展，它们在互联网上发布的数量正在快速增长，智能地去识别每个Web服务成为了高效运用网络的关键，而识别Web服务的第一步就是对它们进行准确地分类.于是对海量的Web服务进行分类成为一项工作量庞大的任务.于是，为了能够更有效的利用这些Web服务，需要自动对Web服务进行分类.本文以常见的WSDL为例进行研究，由于Web服务的描述采用了WSDL文件，使之无法用传统的文本分类手段.该文中介绍了一种将WSDL文件处理后通过本体匹配进行自动的语义标注，运用Nave Bayes、SVM、REPTree三种分类方法，进而运用集成学习进行分类的方法，在951个Web服务集合上进行19个类别的分类实验中，其准确率达到了87.39％.

Select

论文

基于模型聚类算法的领域问题本体构建

余敦辉1,2 ，何克清1, 李兵1

2013, 34(1): 29-33.

摘要 ( ) PDF全文 ( )

可视化

基于领域目标模型语义相似性计算，对领域资产库中的领域目标模型进行相似性聚类，然后根据领域中角色、目标、过程以及服务这四类模型之间的关联关系实现角色模型、过程模型以及服务模型的聚类.从而将一些在业务上存在因果联系、或者在功能上相互依赖、相互制约的模型组织在一起，形成一个领域问题.最后抽取每个聚类中的模型的基本信息生成领域问题本体,从而为利用领域问题本体实现对领域模型进行有效组织和管理奠定了基础，为云计算环境下面向服务的应用系统的构建提供了更便利的支撑.

Select

论文

支持团队分工的实时协同一致性维护技术研究

高丽萍1,2，陈庆奎1，姚一成3

2013, 34(1): 34-40.

摘要 ( ) PDF全文 ( )

可视化

团队分工是现代企业提升工作效率及竞争力的重要手段.实时协同采用全复制式架构虽然提高了并发度，减少了响应时间，但由于其无法提供对团队分工协作的支持，导致不同团队成员之间操作互相干扰，一致性维护复杂度高.本文提出采用分治策略，将文档按照不同团队的编辑请求划分为互不相交的任务区域，并通过修正本地操作执行广播过程及远程操作获取执行过程来支持各子文档的一致性.任务完成后，通过文档合并算法从分文档得到整体一致的共享文档.本文描述分治策略的工作流程，通过正确性证明及效率分析验证了策略的有效性，并通过具体应用分析了系统的工作过程.

Select

论文

Web环境下基于协议组合代数的业务流程整合方法

张抗抗1，徐如志1，杨峰1，赵志崑1，李庆忠2

2013, 34(1): 41-45.

摘要 ( ) PDF全文 ( )

可视化

采用协议对基于Web的业务流程建模是当前研究的一个新方向.业务协议是对参与业务过程的业务步骤的描述.本文将多个参与者参与的业务步骤抽象为参与者之间的交互，采用基于交互的协议对业务流程建模, 提出了一个业务协议组合代数, 构造了一组协议组合算子, 并证明了该代数的一些相关性质; 本文还对协议的相似性进行了分析, 为替换协议的选择奠定了基础.文章还通过一个流程组合实例说明了基于协议组合代数的业务流程整合过程.

Select

论文

面向功能的Web服务分类系统研究与实现

王华兰，史衍琪，王红兵

2013, 34(1): 46-53.

摘要 ( ) PDF全文 ( )

可视化

提出一种基于支持向量机方法依据Web服务的功能信息进行分类的服务分类系统，以UNSPSC作为Web服务的类别体系，并利用UNSPSC中各类别的描述信息作为其父类别的样本文档.在层次化分类体系中利用概念之间的语义层次关系判断出类别的主概念从而进行特征选择的方法，概念之间的语义层次关系通过计算概念在语义词汇网络WordNet中的语义相似度而建立.经过在实际数据和模拟数据集合上进行实验，结果证明服务分类系统分类效果理想.

Select

论文

基于管理者合作网络的开源软件开发社区中心性分析

何鹏1，李兵1,2,3，潘伟丰4

2013, 34(1): 54-57.

摘要 ( ) PDF全文 ( )

可视化

随着开源生产模式的快速发展，合作开发社区中项目管理者之间的关系也变得越来越复杂.社会网络的分析可以作为组织管理的辅助工具与方法，将其与复杂网络研究结合起来，使人与人之间的相互作用关系变的更加清晰，促进对其拓扑结构的理解.本文通过对SourceForge.net社区中开源软件项目信息进行收集，在项目-管理者二分网络基础上构建管理者合作网络模型，对管理者的度进行分析发现网络呈现明显的核心/边缘结构.因此，我们分别从节点度、介数和拓扑势三个度量指标，进一步对合作网络的结构进行中心性分析，发掘网络的核心人物.

Select

论文

基于离散人工免疫系统的服务选择

李保栋1，李晖1，张加会2，崔立真1，李庆忠1

2013, 34(1): 58-62.

摘要 ( ) PDF全文 ( )

可视化

在Web环境中，功能相似但是具有不同QoS 参数的Web服务越来越多.服务组合的过程中，如何选择Web服务，形成可执行的服务组合，是一个关键问题.Web服务选择是基于服务的QoS指标进行选择的，本文首先将服务选择问题映射为基于QoS约束的多目标优化问题.人工免疫系统是处理多目标优化问题的较好的解决方案，本文对人工免疫系统进行离散化扩展，增加了离散交叉算子和离散变异算子，使其适用于解决Web服务QoS的各项指标的离散变量，提出了离散人工免疫系统和基于人工免疫系统的Web服务选择算法，并应用于Web服务选择过程中.实验证明，离散人工免疫系统在Web服务选择是可行的，尤其是在进化代数为200，变异率为0.25的前提下，结果最优.

Select

论文

不平衡数据的无监督特征选择方法

蒋盛益1，王连喜2

2013, 34(1): 63-67.

摘要 ( ) PDF全文 ( )

可视化

传统特征选择方法大部分是以分布均衡的数据为研究对象，以优化总体分类精度为基本目标，所以很少有方法在不平衡数据集上得到理想的学习效果.依据数据的分布特点，提出一种新的面向不平衡数据集的特征选择方法.该方法在无监督环境下，依据聚类簇大小的变化以通过在不同簇的相同特征上对其特征重要性度量函数分配不同的权重来调整数据分布的不均衡性.在多个UCI不平衡数据集上的实验结果表明，相比于其它几种经典的特征选择方法，所提出的方法在不降低总体分类精度的情况下，不仅可以有效选择更少的特征数目，而且还可以提高少数类在不同分类器上的分类精度、召回率及F-Measure值.

Select

论文

基于资源感知的SaaS服务QoS保障机制研究

杨恩峰，张勇，刘士军

2013, 34(1): 68-72.

摘要 ( ) PDF全文 ( )

可视化

随着网络技术和应用软件的发展，面向服务架构(SOA)在软件即服务(SaaS)中得到普遍应用.在多租户框架中，租户通过共享服务资源降低使用成本，但是，服务资源的分布式部署使系统的性能隔离变得十分复杂.为了满足不同租户的性能要求，提出了一个两层次的基于资源感知的QoS保障机制：第一层，准入控制部件对整个系统的访问请求进行管理以防止系统过载，同时我们使用了一个资源消耗计算模型来保证真实并且及时的反应不同服务器上资源的使用情况；第二层，服务分级部件根据租户的SLA需求提供不同性能等级的服务以实现性能差异化.

Select

论文

QoS全局最优动态Web服务选择算法

康国胜，刘建勋，唐明董，徐宇

2013, 34(1): 73-76.

摘要 ( ) PDF全文 ( )

可视化

Web服务作为一种新型的分布式计算模式近年来得到迅速的发展，来自不同服务提供商的服务可被整合以提供组合服务.QoS全局最优动态Web服务选择是服务组合中的一个难题.基于粒子群进化算法，设计一种用于解决该问题的PSO-GODSS算法.其主要思想是将问题表示为一个带QoS约束的多目标服务组合优化问题，通过理想点的方法将多目标向单目标转化，利用粒子群算法的智能优化原理进行算法设计及求解，最终产生一组满足约束条件的优化服务组合流程集.理论分析和实验结果表明该算法的可行性和有效性，且算法的执行效率和收敛速度优于以往的多目标遗传算法.

Select

论文

支持自恢复的微重启技术研究

谭成鑫1, 王雷1, 关育新2

2013, 34(1): 77-82.

摘要 ( ) PDF全文 ( )

可视化

针对服务计算中的服务可靠性，展开了对当前各种保证服务可靠性方法的研究.借鉴当前保证服务可靠性方法中所采用的关键技术，并针对当前保证服务可靠性方法仅限于服务层面的不足，提出一种针对底层内核模块的可靠性技术—支持自恢复的微重启技术.同时，本文在嵌入式实时操作系统vxworks5.5版本中，针对内核中的调度部分实现了支持自恢复的微重启技术，并采用相关故障注入技术检验了该技术的有效性.

Select

论文

基于流演算的Web服务自动组合方法

陈志勇1，李庆忠1，王文明2，崔立真1，丛国进3

2013, 34(1): 83-89.

摘要 ( ) PDF全文 ( )

可视化

近年来,基于语义的Web服务组合,尤其是Web服务的自动组合方法已成为服务计算领域的一个研究热点.实现了从一个OWL-S过程模型到流演算概念的映射,并给出了相应的转换算法.在此基础上,提出了一个新颖的、基于流演算形式化体系的Web服务自动组合方法.该方法采用前推推理机制对状态和动作进行推理,有效地克服了以传统的情景演算为代表的人工智能规划算法执行效率较低的问题.设计实现了一个实验性的原型系统,结合一个旅游行程规划的实例说明了本文提出的方法的有效性.对提出的BCABFC(Backward-Chaining Algorithm Based On Fluent Calculus)算法与基于情景演算的同类算法进行性能比较,实验结果表明该算法具有较好的性能.

Select

论文

基于响应时间的Web服务器性能评测方法

徐向华，徐婷婷，殷昱煜

2013, 34(1): 90-95.

摘要 ( ) PDF全文 ( )

可视化

Web服务器的性能评测是Web服务容量规划和服务部署中的重要问题.针对目前方法在评测实际应用场景中的不足，根据峰值负载之前响应时间与用户请求量存在的指数关系，提出Web服务器性能评测模型MBRT(Web Server performance evaluation Model Based on Response Time)，根据响应时间建模可以避免分析的不全面，有效的避免传统模型的局限性，然后基于MBRT提出具体评测方法，同时使用一元线性回归模型的显著性特征验证MBRT的准确性.最后为了显示MBRT的有效性和高效性，在Web服务器实际评测环境中对MBRT进行验证和评估，并与已有模型进行比较.

Select

论文

基于TCPN的LBS动态服务组合建模与验证

赵晓华，李卫民，辛明军

2013, 34(1): 96-99.

摘要 ( ) PDF全文 ( )

可视化

针对位置服务的动态服务组合过程中对位置的动态性和实时性考虑少的问题，本文运用时间约束Petri网对位置服务进行动态服务组合建模，设计了位置服务动态服务组合模型的执行时间、计算方法和库所可调度性分析算法.并对该模型的可达性进行了验证，同时引入实例说明了运用时间约束Petri网对位置服务动态服务组合建模方法的可靠性和可行性.

Select

论文

基于模型转换的MARTE顺序图的形式化分析

朱梅霞1，王捍贫2,3,刘西奎4,韩晓琼2，3

2013, 34(1): 100-106.

摘要 ( ) PDF全文 ( )

可视化

作为一项新规范, MARTE有许多方面亟待完善. 如何对依照MARTE设计的模型开展验证是待解决问题之一. 对象管理组织提出用模型转换的方法将依照MARTE设计的模型 (记为A) 转换成另一种具有完备的验证方法和工具的形式化模型 (记为B), 然后对B进行验证和精化, 以完成A的验证和精化工作. 此思想面临的难题是如何保证B能够完整且准确地模拟A的行为. 提出了形式化模型-TTS4SD, 用来描述MARTE规范定义的带时间约束的顺序图的形式语义并在此基础上展开分析. 首先给出顺序图的形式定义, 把时间变迁系统 (TTS) 扩充成TTS4SD, 用TTS4SD描述顺序图的形式语义, 最后对TTS4SD展开分析. 这在一定程度上提高了设计阶段模型的正确性. 通过一个实例说明从顺序图到TTS4SD的转化过程以及基于TTS4SD的验证方法.

Select

论文

基于集群式供应链的企业协作联盟及其服务支持系统

薛霄1，魏哲2，曾志峰2

2013, 34(1): 107-114.

摘要 ( ) PDF全文 ( )

可视化

作为一种新型的管理模式，"集群式供应链"(Cluster Supply Chain, CSC)通过各种企业间的协作模式来帮助中小企业(SMEs)应对全球化的竞争.然而，在集群式供应链的实施过程中，最大的挑战就是该领域研究中理论和实践之间的鸿沟.随着"服务科学"相关技术的快速商业化，推动了本领域理论付诸实践的进程.为了更好的解释这种新生的经济现象，本文阐述了集群式供应链的三个主要部分，包括：集群式供应链的静态模型，集群式供应链联盟的动态模型，和服务系统的框架及支撑技术.最后以京城控股集团公司(JCH)为案例，详细阐述集群式供应链的实施全过程.JCH案例表明集群式供应链将推动购买者-中间商-销售商相互之间关系的结构化转变，并加速中小型企业的全球化发展.

Select

论文

一种情景驱动的探索式服务组合方法

刘淑霞1,2，张峰1，陈欣1

2013, 34(1): 115-119.

摘要 ( ) PDF全文 ( )

可视化

虚拟计算环境中的大规模协同工作经常存在需求不确定和动态多变的情况，需要以边执行、边探索的方式求解问题.针对这类需求，结合非常规突发事件应急处置过程中根据情景信息迅速构建应用的实际问题，提出了一种情景驱动的探索式服务组合方法.重点探讨了以Web服务发布的分布、自治的资源的汇聚机制和服务即时推荐机制.通过非常规突发事件处置的案例表明，该方法能够在大规模协同工作中，辅助用户快速准确地构建业务流程，应对需求不确定和动态多变的情况.

Select

论文

极大有序频繁项目集的时间属性分析方法

王宁1,2，杨扬1，由海涌2，赵耀培1,3，孟坤1

2013, 34(1): 120-124.

摘要 ( ) PDF全文 ( )

可视化

利用极大团把海量的数据项进行有效的划分，降低了后续数据挖掘和决策选择的复杂度.对于含有时间参量的原始数据，极大团具有一定的时域特性，挖掘其时间特性将进一步提高决策的准确度并可以减少分析数据的规模，降低对计算资源的需求.因此，在提出一种求极大有序频繁项目集算法的基础上，给出一种挖掘极大有序频繁项目集时间属性的方法.在时间并范围内实施搜索极大频繁项目集保证了搜索结果的无遗漏性,并以此为基础，通过定义频繁项目集关键时间段，较好地解释了极大频繁项目集的时间属性；通过实际数据验证了所给出方法的可行性和有效性.

Select

论文

云计算环境下手机情景模式智能化学习模型及算法研究

徐如志1，2，纪柏涛1，王帅强1，Wei-Tek Tsai2

2013, 34(1): 125-130.

摘要 ( ) PDF全文 ( )

可视化

提出云计算环境下手机的情景模式智能化学习模型和一系列的实现算法.在云计算环境下，用户可以定制情景模式智能化服务，从而实现根据用户的时间、地点等信息自动设置手机情景模式.在云中利用社会网络中用户的信息及其相应的情景模式作为训练集合，采用基于关联分类挖掘的规则学习算法学习得到一系列的情景模式规则；利用社会网络中用户之间的社会性和相似性，选择用户相关的规则并将其推荐给定制服务的用户使用；用户可以读取和编辑自己的规则并反馈到云中，利用增量改进策略进一步提高情景模式规则的精确度.实验证明，该模型具有较好的精确性和可行性.

Select

论文

CQS3：一种针对移动多媒体分发的服务器选择机制

刘然1,2，尹浩2，朱光喜1

2013, 34(1): 131-135.

摘要 ( ) PDF全文 ( )

可视化

移动互联网的普及使得越来越多的用户通过移动终端设备访问互联网应用.虽然传统的内容分发网络能在一定程度上提高移动多媒体应用服务质量，但仍无法适应用户的移动性，不能满足高服务体验的需求.为此，提出一套移动感知多媒体服务系统，并提出了一种由客户端驱动的面向服务质量的服务器选择机制.移动终端周期性地测量移动多媒体服务质量，综合考虑边缘服务器负载和综合服务质量等级来为自身选择最佳边缘服务器.仿真结果表明：与最近代理机制相比，该机制在保证相近延迟性能的同时能显著提高PSNR，同时对用户的移动还具有较好的鲁棒性.

Select

论文

一种均衡能量的自适应蚁群路由算法

曲大鹏1，2，王兴伟1，黄敏1

2013, 34(1): 136-139.

摘要 ( ) PDF全文 ( )

可视化

由于网络结构多变和节点资源受限等问题，新型自组织网络都要求其路由协议不仅具有自适应性，而且要能够感知能量.提出一种能够均衡能量的自适应蚁群路由算法.该算法将作为节点参数的能量转化为链路参数，然后使用含有节点能量利用率的网络延迟作为路由代价度量，从而使得信息素既能够表示路径质量，又能够表示路径上的节点能量利用率，因此数据包逐跳路由时能够合理选择出下一跳节点.同时，蚁群优化使得该算法能够自适应网络变化，平衡流量.基于NS2的模拟实验证明该算法能够均衡节点能量从而具有较好的性能.

Select

论文

Mesh网络中拓扑控制策略研究

章静1，2，许力1

2013, 34(1): 140-144.

摘要 ( ) PDF全文 ( )

可视化

WMN具有多跳、自组织、配置灵活等特性，提出一种拓扑感知的分簇算法，通过使用节点位置信息来降低分簇的开销，并选举出簇头节点，进一步选举出了履行Mesh路由职责的节点并互连构成主干寻呼树，Mesh终端可通过簇头主干寻呼树，寻呼到基站BS，同时BS可通过主干寻呼树快速定位各Mesh终端.使用主干寻呼树进行信令传递将极大地提高在整个网络中分发的效率.理论上分析了上述方法应用于WMN的性能，并与其他方法进行了对比.数值分析结果显示，本文拓扑控制策略可以显著降低寻呼开销与时延，提高系统性能.同时Mesh路由的路由能力为WMN增强连接性和扩大覆盖范围，显著降低系统寻呼开销.

Select

论文

DTN中一种网络状态感知的概率路由算法

付凯，夏靖波，尹波

2013, 34(1): 145-149.

摘要 ( ) PDF全文 ( )

可视化

容迟/容断网络(DTN)是一类支持在大时延、链路间歇中断等受限条件下进行通信的新型网络体系.针对DTN中由于节点移动性、缓存空间受限等而不能保证消息可靠传输的问题，提出一种网络状态感知的概率路由算法NSAPR(network situation-aware probabilistic routing algorithm).该算法依据节点之间的历史接触成功率获取网络状态信息，在转发决策时引入接触成功率的影响，并根据网络状态采取自适应的参数选取策略进行消息的转发和副本的删除，同时进行相应的队列管理和拥塞控制，从而优化中继节点的选择和减少对网络资源的浪费.仿真实验表明，与现有其他几种算法相比，该算法能够在不同网络状态下提高消息交付率并降低网络开销，具有较好的网络适应性.

Select

论文

SocialRank: DTN环境中具有社会特性的转发策略

隋敬麒1,王新华1，2,王朕1,任珊珊1

2013, 34(1): 150-154.

摘要 ( ) PDF全文 ( )

可视化

随着移动设备与无线网络技术发展，延迟容忍网络(DTN)被研究者广泛关注.由于端到端网络无法持续连通，因此传统无线路由已经不适用于DTN环境.很多研究表明，无线网络手持设备由人类携带，因此移动时具有社会学特性，也被称之为社会网络.社会网络路由被许多学者提出、改进并证明其具有良好特性及实用性.提出一种SocialRank算法，使其适用于DTN环境并具有社会学特性，提高社会网络中信息交付率以及减少信息转发延时.仿真实验表明SocialRank具有优异的交付率以及最低的延时，并且可以使用较少的节点进行中介转发，减少了网络负载.

Select

论文

TopN显著连续序列算法

谢岳山1，樊晓平1，3，廖志芳2，王志尧2

2013, 34(1): 155-158.

摘要 ( ) PDF全文 ( )

可视化

显著连续序列的发现是时序数据分析中的重要研究领域，所谓显著连续序列，即给定一列时序数据，一个连续序列由一个子序列和该子序列的极大值或极小值组成，如果存在一个连续序列，不被其他任何一个连续序列所包含，则称这个连续序列为这列时序数据的一个显著连续序列.在以往的显著连续序列发现算法中，仅能提供所发现的乱序连续序列.本文在分析显著序列算法基础上，提出了TopN显著连续序列算法，该算法根据数据特征，对显著序列进行排序，提供可能感兴趣的最显著TopN序列.本文利用现实数据集进行实验，结果表明TopN显著连续序列算法提高了显著连续序列发现效率，同时在进行数据集的数据特征提取更为有效.

Select

论文

基于Grover量子搜索算法和量子计数的BLAKE算法安全性分析

杨婕，袁家斌，孙静

2013, 34(1): 159-162.

摘要 ( ) PDF全文 ( )

可视化

从量子计算的角度考虑，本文结合Grover量子搜索算法与量子计数思想，提出一种搜索Hash碰撞的量子搜索模型，给出量子计数方法分析Hash碰撞的量子线路图，针对典型Hash函数BLAKE算法给出相应的量子黑箱线路设计，并对本文提出的方法进行了简要的性能分析.

Select

论文

脉冲神经膜系统形式化验证仿真与分析

彭献武1,2，樊晓平1,3，刘建勋2

2013, 34(1): 163-167.

摘要 ( ) PDF全文 ( )

可视化

脉冲神经膜系统的形式化验证通常很复杂，目前还没有一种通用的方法.本文基于SnpsGUI仿真软件，例证了两个脉冲神经膜系统的形式化验证过程，重点分析并揭示了格局转移图和脉冲神经膜系统之间的内在联系，并总结出了3个一般性结论, 达到了通过计算机辅助验证脉冲神经膜系统正确性与完整性的目的.结论显示，格局转移图是一种解决脉冲神经膜系统形式化验证的有效方法，SnpsGUI是脉冲神经膜系统形式化验证的有力辅助工具.同时，对基于脉冲神经膜系统更有效的形式化验证方法提出了展望，对SnpsGUI仿真软件进行了评述，提出了改进方向.

Select

论文

数控系统S型曲线加减速快速规划研究

田军锋1,2，林浒2，姚壮1,2，李杰1,2

2013, 34(1): 168-172.

摘要 ( ) PDF全文 ( )

可视化

加减速控制是数控系统开发的关键技术之一，而一般S型加减速算法公式复杂，计算比较费时，因此，提出了改进的S型曲线加减速算法，根据S型曲线对称性和初、末速度不同的特点，对公式重新进行了推导，简化算法，可以快速规划出各个阶段的运行时间用MATLAB对本文所提出的算法进行了验证，可以得到平滑的速度和加速度轮廓，证明了本文算法的正确性和可行性与原有算法的运行时间进行对比分析，本文算法的执行时间大大降低.

Select

论文

一种基于L1范数的主成分分析优化算法及应用

刘丽敏1，樊晓平1，廖志芳2

2013, 34(1): 173-176.

摘要 ( ) PDF全文 ( )

可视化

主成分分析 (PCA)已经广泛应用于计算机视觉中，但是传统的基于L2范数的PCA对异常值和特征噪声(比如有遮挡的图像)敏感.基于L1范数的PCA(L1-PCA)相比基于L2范数的PCA更具鲁棒性，并且可以克服对异常值和特征噪声敏感的问题.然而，在应用L1-PCA 算法时，其算法的优化非常关键.本文针对这一问题，提出基于增强拉格朗日乘子的L1-PCA的优化算法并将其应用于处理有遮挡图像的重构，通过在Yale人脸数据库的实验测试表明所提出的算法有效.数值和可视化的实验结果都表明优化的L1-PCA优于传统PCA.

Select

论文

骨架驱动的三维鱼快速建模与运动的实现

聂俊岚，刁富阳，唐勇，武灵芝

2013, 34(1): 177-180.

摘要 ( ) PDF全文 ( )

可视化

针对不同种类鱼建模工作量大以及复杂运动实现难的问题，提出一种三维鱼快速建模与运动的实现方法.首先，根据鱼的形状，手动设计鱼骨架和鱼厚轮廓曲线，把鱼厚轮廓曲线映射到鱼骨架上，对其插值求得全部控制点，通过鱼模型与骨架的统一关联方法快速建立初始鱼模型，对其细化后建立最终鱼模型；然后，根据骨骼动画技术原理，设计鱼身、鱼尾顶点与骨骼的权值绑定算法，使骨架带动鱼运动，并通过控制点实现鳃盖、鱼鳍的细微运动.实验表明，本文方法不仅能建立多种鱼模型，还能有效的控制鱼身、鱼尾、鱼鳍的摆动角度和摆动速度，实现鱼的复杂运动.

Select

论文

彩色图像的模糊测度快速对等组滤波方法

钟灵，章云

2013, 34(1): 181-184.

摘要 ( ) PDF全文 ( )

可视化

为消除彩色图像中的脉冲噪声并提高矢量中值滤波方法的计算效率，提出一种新的模糊测度下的快速滤波方法. 该方法是一种矢量中值滤波和等值操作之间开关型滤波算法. 在模糊测度下新方法扩展原对等组的概念，采用了滤波窗口内中心像素邻近的对等组元素个数来判断噪声的可能. 通过设计的对等组新计算方式，该方法能够有效减少对等组内的矢量距离计算次数. 仿真实验表明新方法相较原快速对等组滤波方法能减少近50%的计算量，并能够在噪声抑制和细节保持做到较好的平衡.

Select

论文

基于GAP-RBF神经网络的JPEG编码图像质量评价

龙燕,何东健,宋怀波

2013, 34(1): 185-188.

摘要 ( ) PDF全文 ( )

可视化

为评价JPEG编码图像的质量，提出一种基于生长-剪枝径向基函数神经网络的无参考图像质量客观评价方法.该神经网络是一种串行学习算法的网络.当有新数据输入时，不需对已训练过的数据重复学习，具有训练时间少以及所需存储空间小的优点.文章设计了符合人眼视觉感知特性的图像特征提取方法.将图像分成8×8的方块，并通过分块离散余弦变换把8×8方块划分为纹理区或平滑区两类.平滑区的边缘即为块效应失真所产生的边缘.将平滑区边缘的统计信息作为图像特征.利用神经网络建立图像特征与图像质量主观评分之间的映射模型，进而预测图像的客观评分.实验结果表明，客观质量评分与主观评分具有较好的一致性.

Select

论文

采用贝塞尔曲面纹理合成模拟三维真实感鱼体

唐勇，李智慧，王刚

2013, 34(1): 189-192.

摘要 ( ) PDF全文 ( )

可视化

针对三维真实感鱼体模拟的必要性及其纹理细节表现困难的问题，提出一种简单高效的真实感鱼体模拟方法.首先，通过调整双三次贝塞尔曲面的控制顶点完成鱼体左侧的各部分建模，根据鱼体的对称特性，实现整个鱼体的快速准确建模；其次，为真实模拟鱼体纹理细节及消除纹理合成中容易出现的接缝现象，对鱼体纹理合成单元做无缝预处理并将其转换成法向图，保证合成后的鱼体纹理光滑连续且细节表示真实自然.最后，利用Bezier曲面的u、v参数进行网格划分，u、v方向和跨度取值决定网格的方向和大小，体现出网格上鱼体纹理合成的方向和渐变细节.实验结果表明，该方法能够生成逼真的鱼体，且可任意改变鱼体的色泽和特征.

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

选择包含的内容

过刊目录

作者投稿

专家审稿

编辑办公

主编办公

编委审稿

下载中心

模态框（Modal）标题

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

选择包含的内容

过刊目录

作者投稿

专家审稿

编辑办公

主编办公

编委审稿

下载中心