模态顺序图uMSD的形式语义 被引量：6

1

作者 李雯睿 王志坚 张鹏程 《软件学报》 EI CSCD 北大核心 2011年第4期659-675,共17页

UML 2.0顺序图已广泛应用于业界,但其语义模糊,以至于不能有效地加以使用.模态顺序图(modal sequence diagram,简称MSD)是对UML 2.0顺序图的模态扩展,区分了强制场景(用universal MSD表示,简称uMSD)和可能场景(用existential MSD表示,简... UML 2.0顺序图已广泛应用于业界,但其语义模糊,以至于不能有效地加以使用.模态顺序图(modal sequence diagram,简称MSD)是对UML 2.0顺序图的模态扩展,区分了强制场景(用universal MSD表示,简称uMSD)和可能场景(用existential MSD表示,简称eMSD).其中,uMSD具有较强的表达能力,能够用于表示并发系统的时态性质,故主要工作围绕uMSD展开.为了使uMSD用于形式化分析、验证和监控,给出基于自动机的uMSD语义解释,并给出各种操作符的算法,用性质规约模式度量uMSD的表达能力.最后进行了实例研究,并讨论了其应用前景. 展开更多

关键词 模态顺序图 弱交换Büchi自动机 性质规约模式

下载PDF 职称材料

基于主动学习策略的软件测试教学方法初探 被引量：13

2

作者 李雯睿 张鹏程 杨种学 《计算机教育》 2012年第8期54-57,共4页

软件测试课程作为软件工程专业高年级必修课,传统的教学方法已不能有效地展开教学。文章提出基于主动学习策略的软件测试教学方法,将主动学习策略应用到软件测试课程中,说明实施主动学习策略对教师和学生的要求,并介绍一些有效的主动学... 软件测试课程作为软件工程专业高年级必修课,传统的教学方法已不能有效地展开教学。文章提出基于主动学习策略的软件测试教学方法,将主动学习策略应用到软件测试课程中,说明实施主动学习策略对教师和学生的要求,并介绍一些有效的主动学习活动。调研结果表明采用主动学习策略比传统教学方法有效,学生能够较好地掌握软件测试技能。 展开更多

关键词 软件测试课程 主动学习策略 实施效果

下载PDF 职称材料

基于Web服务生命周期的测试技术研究进展 被引量：2

3

作者 李雯睿 王志坚 毛莺池 《计算机科学》 CSCD 北大核心 2009年第6期29-34,62,共7页

Web服务是一种新的分布式计算范型——面向服务的体系结构的具体实现之一。然而,Web服务的松耦合、动态性和可组合性等特点给Web服务测试带来了极大的挑战。如何寻求高效的Web服务测试技术和开发实用的测试工具,是当今软件业界一个亟待... Web服务是一种新的分布式计算范型——面向服务的体系结构的具体实现之一。然而,Web服务的松耦合、动态性和可组合性等特点给Web服务测试带来了极大的挑战。如何寻求高效的Web服务测试技术和开发实用的测试工具,是当今软件业界一个亟待解决的课题。当前Web服务的测试方法已经贯穿于服务的开发、预发布、运行以及演化的整个生命周期。提出了从Web服务生命周期的角度分析Web服务测试的重要参数,在此基础之上归纳和比较了近年来出现的一些典型的测试方法和技术,最后展望并探讨了Web服务测试今后的研究方向。 展开更多

关键词 WEB服务 Web服务生命周期 测试

下载PDF 职称材料

一种本体学习模型的设计与实现 被引量：4

4

作者 李雯睿 白晨希 《河南大学学报（自然科学版）》 CAS 北大核心 2006年第4期100-102,共3页

提出一种本体学习模型,分析了模型实现中的关键步骤.采用机器学习技术半自动地构建本体,用Bisecting K-means算法和标准的K-means算法对模型进行了测试.实验结果表明,Bisecting K-means算法产生的本体概念的层次更加精炼,时间复杂度较小... 提出一种本体学习模型,分析了模型实现中的关键步骤.采用机器学习技术半自动地构建本体,用Bisecting K-means算法和标准的K-means算法对模型进行了测试.实验结果表明,Bisecting K-means算法产生的本体概念的层次更加精炼,时间复杂度较小,特别适合用于处理大型数据集. 展开更多

关键词 本体 本体学习 知识获取

下载PDF 职称材料

基于混合云的虚拟学习环境初探

5

作者 李雯睿 张鹏程 《计算机教育》 2013年第22期62-66,共5页

为了更好地支持教师教学和学生学习,教育机构需要不断优化IT基础设施、资源和业务流程。一种新兴的计算范式"云计算(cloud computing)"是最佳的解决方案,它通过提供基础设施、平台和教育服务,改变IT资源的利用和消费模式,将... 为了更好地支持教师教学和学生学习,教育机构需要不断优化IT基础设施、资源和业务流程。一种新兴的计算范式"云计算(cloud computing)"是最佳的解决方案,它通过提供基础设施、平台和教育服务,改变IT资源的利用和消费模式,将对教育领域产生巨大影响。文章构建一种基于混合云的虚拟学习环境,探讨实现该学习环境面临的挑战,从而提高应用程序及服务的可扩展性和可靠性,削减教育机构软硬件资源的开销,减少软件更新和数据中心维护的费用。 展开更多

关键词 云计算 混合云 虚拟学习环境

下载PDF 职称材料

云服务组合的主动自适应技术综述

6

作者 李雯睿 潘雷 +1 位作者 黄嘉靖 倪紫琦 《软件导刊》 2017年第12期213-216,共4页

为了持续应对复杂、多变的云计算环境,提供满足用户期望的服务,云服务组合除了能实现基本需求外,还必须具备一定程度的自适应能力。介绍了主动自适应技术,研究了云计算环境下服务组合的主动自适应技术、在线质量预测方法和在线调整策略... 为了持续应对复杂、多变的云计算环境,提供满足用户期望的服务,云服务组合除了能实现基本需求外,还必须具备一定程度的自适应能力。介绍了主动自适应技术,研究了云计算环境下服务组合的主动自适应技术、在线质量预测方法和在线调整策略,梳理了云服务组合的主动自适应技术面临的挑战,并提出了应对策略。 展开更多

关键词 云计算 云组合服务 在线质量预测 在线调整策略

下载PDF 职称材料

一种环境因素敏感的WebServiceQoS监控方法 被引量：8

7

作者 庄媛 张鹏程 +2 位作者 李雯睿 冯钧 朱跃龙 《软件学报》 EI CSCD 北大核心 2016年第8期1978-1992,共15页

面向服务系统的执行能力依赖第三方提供的服务,在复杂多变的网络环境中,这种依赖会带来服务质量(QoS)的不确定性.而QoS是衡量第三方服务质量的重要标准,因此,有效监控QoS是对Web服务实现质量控制的必要过程.现有监控方法都未考虑环境因... 面向服务系统的执行能力依赖第三方提供的服务,在复杂多变的网络环境中,这种依赖会带来服务质量(QoS)的不确定性.而QoS是衡量第三方服务质量的重要标准,因此,有效监控QoS是对Web服务实现质量控制的必要过程.现有监控方法都未考虑环境因素的影响,比如服务器位置、用户使用服务的位置和使用时间段负载等,而这些影响在实际监控中是存在的,忽略环境因素会导致监控结果与实际结果有悖.针对这一问题,提出了一种基于加权朴素贝叶斯算法w BSRM(weightednaive Bayes running monitoring)的Web Service QoS监控方法.受机器学习分类方法的启发,通过TF-IDF(term frequency-inverse document frequency)算法计算环境因素的影响,通过对部分样本进行学习,构建加权朴素贝叶斯分类器.将监控结果分类,满足QoS标准为c_0,不满足QoS标准为c_1,监控时调用分类器得到c_0和c_1的后验概率之比,对比值进行分析,可得监控结果满足QoS属性标准、不满足QoS属性标准和不能判断这3种情况.在网络开源数据以及随机数据集上的实验结果表明:利用TF-IDF算法能够准确地估算环境因子权值,通过加权朴素贝叶斯分类器,能够更好地监控QoS,效率显著优于现有方法. 展开更多

关键词 服务质量 影响因子 TF-IDF算法 加权朴素贝叶斯分类器 监控

下载PDF 职称材料

时间属性序列图:语法和语义 被引量：5

8

作者 张鹏程 李必信 李雯睿 《软件学报》 EI CSCD 北大核心 2010年第11期2752-2767,共16页

为了表示事件出现的时间约束,扩展属性序列图为时间属性序列图,使其继承属性序列图的优点,并且能够表示时间属性,定义了时间属性序列图的形式语法,并给出基于时间Büchi自动机的形式操作语义;用实时规约模式度量了时间属性序列图的... 为了表示事件出现的时间约束,扩展属性序列图为时间属性序列图,使其继承属性序列图的优点,并且能够表示时间属性,定义了时间属性序列图的形式语法,并给出基于时间Büchi自动机的形式操作语义;用实时规约模式度量了时间属性序列图的表达力.最后,对时间属性序列图进行了实例研究,显示了其广泛的应用前景. 展开更多

关键词 属性序列图 时间属性序列图 时间Büchi自动机 形式验证

下载PDF 职称材料

基于节点集计算能力差异的Hadoop自适应任务调度算法 被引量：3

9

作者 朱洁 李雯睿 +1 位作者 王江平 赵红 《计算机应用》 CSCD 北大核心 2016年第4期918-922,共5页

针对异构集群任务推测式执行算法存在的任务进度比例固定、落后任务被动选取等问题,提出基于快慢节点集计算能力差异的自适应任务调度算法。该算法量化节点集计算能力差异实现分集调度,并通过节点与任务速率的动态反馈及时更新快慢节点... 针对异构集群任务推测式执行算法存在的任务进度比例固定、落后任务被动选取等问题,提出基于快慢节点集计算能力差异的自适应任务调度算法。该算法量化节点集计算能力差异实现分集调度,并通过节点与任务速率的动态反馈及时更新快慢节点集,提高节点集资源利用率与任务并行度。在两节点集中,利用动态调整任务进度比例判别落后任务,主动选择采用替代执行方式为落后任务执行备份任务的快节点,从而提升任务执行效率。与最长近似结束时间(LATE)算法的实验对比结果表明,该算法在短作业集、混合型作业集、出现节点性能下降的混合型作业集执行时间上比LATE算法分别缩短了5.21%、20.51%、23.86%,启用的备份任务数比LATE算法明显减少。所提算法可使任务主动适应节点差异,在减少备份任务的同时有效提高作业整体执行效率。 展开更多

关键词 HADOOP 计算能力 自适应 任务调度 推测式执行

下载PDF 职称材料

一种需求驱动的服务行为适配方法 被引量：2

10

作者 范大娟 黄志球 +2 位作者 肖芳雄 彭焕峰 李雯睿 《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2014年第2期95-104,共10页

现有服务行为适配方法通常侧重于如何消除服务之间行为上的不相容而往往没有考虑用户的需求,因而需要对基于适配器的服务组合进行需求的可满足性验证,这使得基于适配器的服务组合过程复杂且低效。针对此问题,在适配器生成过程中考虑用... 现有服务行为适配方法通常侧重于如何消除服务之间行为上的不相容而往往没有考虑用户的需求,因而需要对基于适配器的服务组合进行需求的可满足性验证,这使得基于适配器的服务组合过程复杂且低效。针对此问题,在适配器生成过程中考虑用户的需求,提出一种需求驱动的服务行为适配方法,并给出用于描述用户需求的形式模型的语法及语义。证明了利用本文方法所生成的适配器不仅可以消除服务之间行为上的不相容,并且保证基于适配器的服务组合的行为满足需求给出的时序约束,避免了对基于适配器的服务组合进行验证。通过一个贯穿全文的实例分析表明了方法的可行性和有效性。 展开更多

关键词 WEB服务 FSM模型 行为模型 适配器 用户需求

下载PDF 职称材料

基于Hadoop的三队列作业调度算法 被引量：3

11

作者 朱洁 赵红 李雯睿 《计算机应用》 CSCD 北大核心 2014年第11期3227-3230,3240,共5页

Hadoop集群单队列作业调度会产生短作业等待、资源利用率低的问题;采用多队列调度可兼顾公平、提高执行效率,但会带来手工配置参数、资源互占、算法复杂等问题。针对上述问题,提出三队列作业调度算法,利用区分作业类型、动态调整作业优... Hadoop集群单队列作业调度会产生短作业等待、资源利用率低的问题;采用多队列调度可兼顾公平、提高执行效率,但会带来手工配置参数、资源互占、算法复杂等问题。针对上述问题,提出三队列作业调度算法,利用区分作业类型、动态调整作业优先级、配置共享资源池、作业抢占等设计,达到平衡作业需求、简化一般作业调度流程、提升并行执行能力的目的。对短作业占比高,各作业占比均衡以及一般作业为主,偶尔出现长、短作业三种情况与先进先出(FIFO)算法进行了对比实验,结果三队列算法的运行时间均比FIFO算法要少。实验结果表明,在短作业聚集时,三队列算法的执行效率提升并不显著;但当各种作业并存且分布均衡时,效果很明显,这符合了算法设计时短作业优先、一般作业简化流程、兼顾长作业的初衷,提高了作业整体执行效率。 展开更多

关键词 HADOOP 作业调度 三队列 共享资源池 作业抢占

下载PDF 职称材料

实数GA基因层次种群多样性数学模型 被引量：2

12

作者 赵红 朱杰 +1 位作者 朱洁 李雯睿 《中南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2015年第3期894-900,共7页

针对现有GA种群多样性定义往往针对二进制编码且存在计算量大、适用性差等问题,建立实数编码基因层次种群多样性数学模型。将实数编码中每一维决策变量的取值范围划分为若干等长度的区间段,并借鉴二进制编码中基因位的含义,定义区间段... 针对现有GA种群多样性定义往往针对二进制编码且存在计算量大、适用性差等问题,建立实数编码基因层次种群多样性数学模型。将实数编码中每一维决策变量的取值范围划分为若干等长度的区间段,并借鉴二进制编码中基因位的含义,定义区间段基因位变量的概念,将其看作随机变量并设计图形化方法,描述每一维变量所有编码值在各等长度取值区间的分布情况,以此刻画种群多样性,通过2个测试函数的优化分析,验证模型的有效性;分析区间段基因位的特性,指出其可以作为复杂非线性优化问题中产生初始群体的先验知识使用,从而可以显著提高寻得最优解的概率及收敛速度;指出今后进一步的研究思路和方向。 展开更多

关键词 遗传算法 实数编码 种群多样性 基因层次 区间段基因位 随机变量

下载PDF 职称材料

新公共管理运动与绩效预算改革的互动:一个国际比较的视角 被引量：5

13

作者 李雯睿 《四川师范大学学报（社会科学版）》 CSSCI 北大核心 2017年第3期88-94,共7页

发达国家基于新公共管理和绩效预算的实践取得了很大成功,但对于发展中国家而言,简单移植发达国家的经验不一定能解决现实问题,因为公共管理理论和绩效预算的成功需要很强的现实条件。发展中国家在进行绩效预算体系改革时,需要时刻关注... 发达国家基于新公共管理和绩效预算的实践取得了很大成功,但对于发展中国家而言,简单移植发达国家的经验不一定能解决现实问题,因为公共管理理论和绩效预算的成功需要很强的现实条件。发展中国家在进行绩效预算体系改革时,需要时刻关注其本身的政府治理模式。特定绩效预算类型需要与特定的政府治理类型相互配合:官僚治理适宜采用基于投入的绩效预算,合约治理适宜采用基于产出的绩效预算,授权治理适宜采用基于效果的绩效预算。 展开更多

关键词 新公共管理运动 政府治理 绩效预算 国际比较

下载PDF 职称材料

Hadoop下资源匹配最大集作业调度算法 被引量：1

14

作者 朱洁 李雯睿 +1 位作者 赵红 李滢 《计算机应用》 CSCD 北大核心 2015年第12期3383-3386,3446,共5页

针对目前层级队列作业调度算法中资源占比高的作业执行效率低的问题,提出一种资源匹配最大集算法。该算法分析作业特征,引入完成度、等待时间、优先级、重调度次数为紧迫值因子,优先考虑资源占比高或等待时间长的作业,以改善作业公平性... 针对目前层级队列作业调度算法中资源占比高的作业执行效率低的问题,提出一种资源匹配最大集算法。该算法分析作业特征,引入完成度、等待时间、优先级、重调度次数为紧迫值因子,优先考虑资源占比高或等待时间长的作业,以改善作业公平性;采用双队列结构在可用资源总量内优先选择高紧迫值作业,在不同资源占比作业集比较中选择作业数最大集,以实现调度平衡。在与最大最小公平(Max-min fairness)算法的实例对比中发现,该算法可降低作业集平均等待时间、提高资源利用率。实验对比结果表明,该算法可将不同资源占比的单一类型作业集执行时间缩短18.73%,其中资源占比高的作业执行时间缩短27.26%;在混合型作业集中对应的执行时间可分别缩短22.36%与30.28%。所提算法能有效减少资源占比高作业的等待,提高作业整体执行效率。 展开更多

关键词 HADOOP 层级队列 作业调度 最大集 最大最小公平算法

下载PDF 职称材料

多元时间序列的Web Service QoS预测方法 被引量：2

15

作者 张鹏程 王丽艳 +1 位作者 吉顺慧 李雯睿 《软件学报》 EI CSCD 北大核心 2019年第6期1742-1758,共17页

为准确并多步预测 Web 服务的服务质量(quality of service,简称 QoS),方便用户选择更好的 Web 服务,提出了一种基于多元时间序列的 QoS 预测方法 MulA-LMRBF(multiple step forecasting with advertisement-levenbergmarquardt radial ... 为准确并多步预测 Web 服务的服务质量(quality of service,简称 QoS),方便用户选择更好的 Web 服务,提出了一种基于多元时间序列的 QoS 预测方法 MulA-LMRBF(multiple step forecasting with advertisement-levenbergmarquardt radial basis function).充分考虑多个 QoS 属性序列之间的关联,采用平均位移法(average dimension,简称AD)确定相空间重构的嵌入维数和延迟时间,将 QoS 属性历史数据映射到一个动力系统中,近似恢复多个 QoS 属性之间的多维非线性关系.将短期服务提供商 QoS 广告数据加入数据集中,采用列文伯格-马夸尔特法(Levenberg-Marquardt,简称 LM)算法改进的径向基(radial basis function,简称 RBF)神经网络预测模型,动态更新神经网络的权重,提高预测精度,实现 QoS 动态多步预测.通过网络开源数据和自测数据的实验结果表明,该方法与传统方法相比有较好预测效果,更适合动态多步预测. 展开更多

关键词 服务质量 多元时间序列 相空间重构 LM算法 RBF神经网络 动态多步预测

下载PDF 职称材料

基于uMSD的Web服务组合验证方法研究 被引量：1

16

作者 王志坚 李雯睿 +1 位作者 杨种学 张鹏程 《计算机科学》 CSCD 北大核心 2011年第9期119-125,共7页

手工分析组合服务相当困难和耗时,为此提出了一种基于uMSD的Web服务组合的模型检验方法。如何简单和直观地表示Web服务组合的时态性质是该方法的关键问题。鉴于uMSD在简单性和表达力之间找到了一个平衡点,定义了uMSD的形式语法和语义。... 手工分析组合服务相当困难和耗时,为此提出了一种基于uMSD的Web服务组合的模型检验方法。如何简单和直观地表示Web服务组合的时态性质是该方法的关键问题。鉴于uMSD在简单性和表达力之间找到了一个平衡点,定义了uMSD的形式语法和语义。以Web服务组合OJA为实例,使用uMSD来图形化地表示组合服务的时态性质,展示了uMSD的可行性。实验分析表明,该验证方法能够有效地检测组合服务中的逻辑错误。 展开更多

关键词 模态顺序图 WEB服务组合 模型检验

下载PDF 职称材料

基于半监督聚类的入侵检测模型 被引量：2

17

作者 尹柯 李雯睿 《河南大学学报（自然科学版）》 CAS 北大核心 2008年第6期640-643,共4页

利用少量的标记数据和约束辅助聚类过程,提出一种基于半监督聚类的入侵检测模型.实验结果表明,与基于监督和非监督学习的入侵检测算法相比,基于半监督聚类的入侵检测算法可以更加有效地检测出未知攻击.

关键词 入侵检测 半监督聚类 标记数据 约束

下载PDF 职称材料

探析姜夔自度曲音乐与演唱特点——以《鬲溪梅令》为例 被引量：2

18

作者 李雯睿 《艺术研究（哈尔滨师范大学艺术学报）》 2022年第4期111-113,共3页

古曲,作为中国民族声乐演唱学习中非常重要的一个曲目类型,可以分为二大类:第一类,词曲皆由古人所作而流传至今,也就是我们所说的原词原谱的歌曲,例如《南风歌》《长相思》《姜夔自度曲14首》等;第二类,由近当代作曲家根据古代诗词作品... 古曲,作为中国民族声乐演唱学习中非常重要的一个曲目类型,可以分为二大类:第一类,词曲皆由古人所作而流传至今,也就是我们所说的原词原谱的歌曲,例如《南风歌》《长相思》《姜夔自度曲14首》等;第二类,由近当代作曲家根据古代诗词作品为词谱曲而成,例如《大江东去》《春晓》《越人歌》等,还有一类诗词作品是近当代词曲作家分别依古词牌填词、依新诗词谱曲而成的歌曲,该类可以纳为诗词歌曲范畴,也可以纳入艺术歌曲范畴,例如:《沁园春·雪》《卜算子·咏梅》等。本文研究对象《鬲溪梅令》是南宋词人、音乐家姜夔所创作的14首自度曲中,非常具有代表性的作品之一。本文从诗词意境、记谱方法、曲式结构、调式调性、旋律特点、进行分析,对演唱时气息、咬字吐字等方面需要注意的问题进行研究,试图探悉原词原谱类古曲与其特有点的音乐气质以及唱腔上如何区别于后创作类诗词作品。 展开更多

关键词 姜夔 自度曲 音乐分析 诗词意境 演唱分析

下载PDF 职称材料

声乐教学方法的学习与思考 被引量：2

19

作者 李雯睿 《北方音乐》 2016年第15期142-143,共2页

声乐教学是一个循序渐进又不断变化的发展过程,要适应我国目前教育发展趋势,大力培养适应时代发展、社会需求的综合全能型人才,这就要求声乐教师必须积极探索关于声乐教育的方式方法。本文从声乐教师自身应具备的知识结构和基本素质进... 声乐教学是一个循序渐进又不断变化的发展过程,要适应我国目前教育发展趋势,大力培养适应时代发展、社会需求的综合全能型人才,这就要求声乐教师必须积极探索关于声乐教育的方式方法。本文从声乐教师自身应具备的知识结构和基本素质进行了相关归纳和阐述,结合青年教师培养计划的学习,总结了一些声乐教学方法的心得与体会,以使自己能够具备胜任声乐教学工作的各方面能力。 展开更多

关键词 声乐教师 知识结构 教学方法 基础训练

下载PDF 职称材料

湖南花鼓戏音乐及唱腔特点在民族声乐中的表现 被引量：1

20

作者 李雯睿 《戏剧之家》 2022年第26期28-30,共3页

花鼓戏是我国湖南一带极具特色的地方剧种,由当地的小调和民间歌舞混合形成,同时汲取了多种民间戏剧艺术的养分,比如花灯、采茶灯等。花鼓戏的唱腔极为明快,舞蹈简洁欢快,充分展现了地方戏剧独有的风情,深受当地民众的喜爱。湖南花鼓戏... 花鼓戏是我国湖南一带极具特色的地方剧种,由当地的小调和民间歌舞混合形成,同时汲取了多种民间戏剧艺术的养分,比如花灯、采茶灯等。花鼓戏的唱腔极为明快,舞蹈简洁欢快,充分展现了地方戏剧独有的风情,深受当地民众的喜爱。湖南花鼓戏作为我国独特的地方戏种,具有突出的综合艺术价值,在我国传统地方戏曲艺术体系当中独树一帜,在百姓精神文化生活当中占有非常重要的地位。对花鼓戏进行研究分析,可以促进其发展,为民间戏剧艺术注入新的活力。本文在分析花鼓戏发展历史及曲调分类的基础上,进一步探讨了花鼓戏对民族声乐的影响,希望给民族声乐研究者提供更好的学习借鉴。 展开更多

关键词 湖南花鼓戏 起源发展过程 曲调分类 民族声乐

下载PDF 职称材料