期刊文献+
共找到22篇文章
< 1 2 >
每页显示 20 50 100
基于区块链和IPFS的高校教学资源共享平台构建
1
作者 范大娟 施炎峰 林忠 《无线互联科技》 2024年第12期73-75,108,共4页
针对目前高校教学资源共享中存在的资源激励机制欠缺、资源存储安全风险以及资源版权保护不足等问题,文章通过将星际文件系统(Inter-Planetary File System,IPFS)和区块链进行结合,实现链上索引、链下存储的教学资源存储模式。文章利用... 针对目前高校教学资源共享中存在的资源激励机制欠缺、资源存储安全风险以及资源版权保护不足等问题,文章通过将星际文件系统(Inter-Planetary File System,IPFS)和区块链进行结合,实现链上索引、链下存储的教学资源存储模式。文章利用智能合约技术自动执行对教学资源版权的保护,构建了基于虚拟币的资源创作激励机制。在此基础上,文章提出了高校教学资源共享平台的总体分层架构和共享流程,并设计了平台的4大功能模块,为区块链技术在教学资源共享共建领域的应用提供了新思路。 展开更多
关键词 区块链 IPFS 教学资源共享
下载PDF
应急型线上教学的探索与实践
2
作者 林忠 贾立秀 +1 位作者 顾海珍 范大娟 《科技风》 2023年第28期94-96,共3页
线下教学和应急型线上教学相互交叉授课的教学成效是制约高校人才培养目标达成的关键因素。本文分析了应急型线上教学的特点和问题,阐述了解决这些问题的方法策略,并以此为指导思想,依托在线教学平台和即时通信平台进行了C语言课程的应... 线下教学和应急型线上教学相互交叉授课的教学成效是制约高校人才培养目标达成的关键因素。本文分析了应急型线上教学的特点和问题,阐述了解决这些问题的方法策略,并以此为指导思想,依托在线教学平台和即时通信平台进行了C语言课程的应急型线上教学实践。该线上教学实践方案体现了以互动反馈为核心的教学理念,从课程数据和学生反馈来看实施效果良好,为应急型线上教学的实施提供了有益借鉴。 展开更多
关键词 应急型线上教学 互动反馈 教学实践
下载PDF
一种需求驱动的服务行为适配方法 被引量:2
3
作者 范大娟 黄志球 +2 位作者 肖芳雄 彭焕峰 李雯睿 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2014年第2期95-104,共10页
现有服务行为适配方法通常侧重于如何消除服务之间行为上的不相容而往往没有考虑用户的需求,因而需要对基于适配器的服务组合进行需求的可满足性验证,这使得基于适配器的服务组合过程复杂且低效。针对此问题,在适配器生成过程中考虑用... 现有服务行为适配方法通常侧重于如何消除服务之间行为上的不相容而往往没有考虑用户的需求,因而需要对基于适配器的服务组合进行需求的可满足性验证,这使得基于适配器的服务组合过程复杂且低效。针对此问题,在适配器生成过程中考虑用户的需求,提出一种需求驱动的服务行为适配方法,并给出用于描述用户需求的形式模型的语法及语义。证明了利用本文方法所生成的适配器不仅可以消除服务之间行为上的不相容,并且保证基于适配器的服务组合的行为满足需求给出的时序约束,避免了对基于适配器的服务组合进行验证。通过一个贯穿全文的实例分析表明了方法的可行性和有效性。 展开更多
关键词 WEB服务 FSM模型 行为模型 适配器 用户需求
下载PDF
Web服务行为相容性和可适配性的一种分析方法 被引量:2
4
作者 范大娟 黄志球 +1 位作者 曹子宁 王进 《应用科学学报》 EI CAS CSCD 北大核心 2012年第6期661-668,共8页
基于有限状态机模型,在服务组合层面上提出了Web服务之间3种相容性的判定方法.对于两个不相容的Web服务,通过分析它们的行为路径对的可适配性来判断Web服务之间的可适配性;对于两个可适配的Web服务,通过生成它们的行为路径对的子适配器... 基于有限状态机模型,在服务组合层面上提出了Web服务之间3种相容性的判定方法.对于两个不相容的Web服务,通过分析它们的行为路径对的可适配性来判断Web服务之间的可适配性;对于两个可适配的Web服务,通过生成它们的行为路径对的子适配器模型并将其合并,从而得到Web服务之间的适配器模型并自动映射生成实际可运行的BPEL代码.通过实例分析表明了该方法的可行性和有效性. 展开更多
关键词 WEB服务 FSM模型 行为路径 相容性 可适配性
下载PDF
面向多服务交互的相容性分析与适配器生成
5
作者 范大娟 黄志球 +2 位作者 肖芳雄 祝义 王进 《吉林大学学报(工学版)》 EI CAS CSCD 北大核心 2014年第4期1094-1103,共10页
针对已有服务适配方法大多只考虑两个服务交互的简单场景且不支持BPEL代码的自动生成的问题,提出了一种面向多个服务交互的适配器自动生成方法。在通过对有限自动机进行扩展以建模服务的签名和行为信息的基础上,给出了分析多个服务之间... 针对已有服务适配方法大多只考虑两个服务交互的简单场景且不支持BPEL代码的自动生成的问题,提出了一种面向多个服务交互的适配器自动生成方法。在通过对有限自动机进行扩展以建模服务的签名和行为信息的基础上,给出了分析多个服务之间相容性的方法。对于不相容的情况,定义了适配器模型的语法和操作语义,给出了适配器模型的自动生成算法,并对得到的适配器模型进行约简以支持适配器BPEL代码的自动生成。通过一个实例分析说明本文所提方法的可行性。 展开更多
关键词 计算机软件 服务组合 适配器模型 相容性分析 多服务交互 消息映射
下载PDF
支持语义、接口和协议的服务相容性分析
6
作者 范大娟 黄志球 +2 位作者 李清 陈哲 柯昌博 《解放军理工大学学报(自然科学版)》 EI 北大核心 2013年第2期182-189,共8页
针对已有方法不支持同时对服务的语义、接口和协议层进行相容性分析的问题,提出了一种基于语义、接口和协议信息的服务相容性分析及相容度计算方法。通过对确定有限自动机DFA进行语义接口协议扩展以建模服务的语义、接口和协议信息,在... 针对已有方法不支持同时对服务的语义、接口和协议层进行相容性分析的问题,提出了一种基于语义、接口和协议信息的服务相容性分析及相容度计算方法。通过对确定有限自动机DFA进行语义接口协议扩展以建模服务的语义、接口和协议信息,在此基础上,给出了服务之间3种相容性的形式化定义。利用服务之间行为路径对的对偶关系来分析2个服务之间的相容性,并计算其相容度证明了该方法的正确性,通过实例分析表明了方法的有效性。 展开更多
关键词 WEB服务 行为路径 相容性 语义接口协议扩展的DFA
下载PDF
“Visual C++程序设计”课程教学改革探讨
7
作者 范大娟 杜青 王丹华 《科技创新导报》 2016年第4期153-154,共2页
该文针对"Visual C++程序设计"课程的教学现状及其存在的问题,并结合应用型本科院校的特点,从教学方法、实验环节和考核评价等几个方面提出了教改的基本思路和方案,克服传统"Visual C++程序设计"课程教学的不足,提... 该文针对"Visual C++程序设计"课程的教学现状及其存在的问题,并结合应用型本科院校的特点,从教学方法、实验环节和考核评价等几个方面提出了教改的基本思路和方案,克服传统"Visual C++程序设计"课程教学的不足,提高课程的教学质量和效果。 展开更多
关键词 应用型本科院校 VISUAL C++教学改革 改革探讨 评价体系
下载PDF
基于时间概率代价进程代数的Web服务组合建模和分析 被引量:14
8
作者 肖芳雄 李燕 +3 位作者 黄志球 曹子宁 陈哲 范大娟 《计算机学报》 EI CSCD 北大核心 2012年第5期918-936,共19页
形式化建模Web服务组合并分析其功能正确性和QoS可满足性,是提高组合服务可信性的重要手段,但目前形式化方法侧重功能正确性建模和分析,对QoS可满足性的建模和分析支持不足.为此提出一种时间概率代价进程代数TPPPA(Timed Probabilistic ... 形式化建模Web服务组合并分析其功能正确性和QoS可满足性,是提高组合服务可信性的重要手段,但目前形式化方法侧重功能正确性建模和分析,对QoS可满足性的建模和分析支持不足.为此提出一种时间概率代价进程代数TPPPA(Timed Probabilistic Priced Process Algebra),给出了TPPPA的语法和语义,并证明其具有功能、时间、概率和代价的统一建模和分析能力.用实例表明了TPPPA可有效支持Web服务组合功能正确性和QoS可满足性的形式化统一建模和分析. 展开更多
关键词 WEB服务组合 QOS 进程代数 建模 分析
下载PDF
一种用于基因调控网络建模的CGP-WPSO混合算法 被引量:8
9
作者 蔡昕烨 牛耘 +1 位作者 黄志球 范大娟 《计算机科学》 CSCD 北大核心 2012年第9期180-182,197,共4页
依靠基因调控网络来预测农作物的表现型,对于保障全球的粮食安全有着极其重要的意义。提出了一种基于笛卡尔遗传规划(Cartesian genetic programming)和线性递减惯性权重粒子群优化(linear decreasing inertia weightparticle swarm opt... 依靠基因调控网络来预测农作物的表现型,对于保障全球的粮食安全有着极其重要的意义。提出了一种基于笛卡尔遗传规划(Cartesian genetic programming)和线性递减惯性权重粒子群优化(linear decreasing inertia weightparticle swarm optimization)的混合算法,用于基因调控网络的建模。进一步,为了验证算法的有效性,将算法应用于拟南芥开花调控系统的模型重建问题。最后通过计算机仿真实验表明,该算法能够根据农作物的基因型和环境情况,重建出能够较精确地预测农作物表现型的基因调控网络模型。 展开更多
关键词 拟南芥开花调控系统 基因调控网络 基因编程 粒子群算法 CGP-WPSO混合算法
下载PDF
面向服务组合的用户隐私需求规约与验证方法 被引量:4
10
作者 彭焕峰 黄志球 +1 位作者 范大娟 章永龙 《软件学报》 EI CSCD 北大核心 2016年第8期1948-1963,共16页
用户向Web服务组合提供隐私数据时,不同用户有自身的隐私信息暴露需求,服务组合应支持用户隐私需求的可满足性验证.首先提出一种面向服务组合的用户隐私需求规约方法,用户能够定义隐私数据及不同使用情境的敏感度,采用敏感度-信誉度函... 用户向Web服务组合提供隐私数据时,不同用户有自身的隐私信息暴露需求,服务组合应支持用户隐私需求的可满足性验证.首先提出一种面向服务组合的用户隐私需求规约方法,用户能够定义隐私数据及不同使用情境的敏感度,采用敏感度-信誉度函数明确可以使用隐私数据的成员服务,简化隐私需求的同时,提高了隐私需求的通用性.为了验证服务组合是否满足用户隐私需求,首先通过隐私数据项依赖图(privacy data item dependency graph,简称PDIDG)描述组合中隐私数据项的依赖关系,然后采用隐私开放工作流网(privacy open workflow net,简称POWFN)构建隐私敏感的服务组合模型,通过需求验证算法验证服务组合是否满足用户隐私需求,从而能够有效防止用户隐私信息的非法直接暴露和间接暴露.最后,通过实例分析说明了该方法的有效性,并对算法性能进行了实验分析. 展开更多
关键词 信誉度 服务组合 隐私保护 隐私开放工作流网 隐私数据项依赖图
下载PDF
基于本体的特征模型演化的一致性验证 被引量:3
11
作者 何文民 沈国华 +2 位作者 黄志球 王进 范大娟 《计算机应用研究》 CSCD 北大核心 2013年第7期2072-2076,共5页
针对特征模型的演化导致特征间的冲突问题,从特征模型的演化方面进行研究,提出了一种基于本体的特征模型演化的一致性验证方法。首先采用本体理论方法对特征模型的演化进行分析和建模,建立本体的特征模型元模型;其次基于上述元模型,为... 针对特征模型的演化导致特征间的冲突问题,从特征模型的演化方面进行研究,提出了一种基于本体的特征模型演化的一致性验证方法。首先采用本体理论方法对特征模型的演化进行分析和建模,建立本体的特征模型元模型;其次基于上述元模型,为网上购物系统实例建立相应的网上购物的领域特征模型,根据需求裁剪出产品特征模型;然后在Eclipse集成开发环境下,通过Jena推理机加载规则和产品特征模型进行一致性验证,当检测到冲突时,采用演化策略来消除冲突;最后通过实例研究说明了该方法的有效性。 展开更多
关键词 本体 演化 一致性验证 本体特征模型的元模型 领域特征模型 产品特征模型 演化策略
下载PDF
异构机群系统上近似串匹配并行算法 被引量:1
12
作者 范大娟 钟诚 许莉莉 《计算机工程》 CAS CSCD 北大核心 2008年第3期141-144,共4页
基于可分负载理论的最优原则,在假定正文串分配顺序固定的前提下,考虑处理机节点具有不同计算速度、不同通信能力的情况,提出一种异构机群计算环境下的最优正文串分配策略,给出最优正文串分配的闭合解。对于节点具有不同计算速度、... 基于可分负载理论的最优原则,在假定正文串分配顺序固定的前提下,考虑处理机节点具有不同计算速度、不同通信能力的情况,提出一种异构机群计算环境下的最优正文串分配策略,给出最优正文串分配的闭合解。对于节点具有不同计算速度、通信能力、存储容量的异构机群系统,建立正文串最优分配的线性规划模型。针对几种特殊情况讨论正文串的最优分配顺序。实验结果表明,与平均分配正文串策略以及按照从处理机能力分配正文串策略相比,利用该策略进行近似串匹配并行处理所需时间分别缩短了10%~40%和5%~20%。 展开更多
关键词 近似串匹配 并行算法 异构机群系统 可分负载 分配策略
下载PDF
面向数据流的服务组合演化影响性分析方法 被引量:4
13
作者 彭焕峰 黄纬 +1 位作者 范大娟 徐金宝 《科学技术与工程》 北大核心 2015年第1期257-262,共6页
BPEL已经成为事实上的Web服务组合标准语言,利用BPEL控制流图(BPEL flow graph,BFG)对BPEL进行建模,通过模型对服务组合的数据流进行分析,提出一个面向成员服务的数据依赖度量集;通过此度量集可以量化成员服务的数据依赖复杂度,从而分... BPEL已经成为事实上的Web服务组合标准语言,利用BPEL控制流图(BPEL flow graph,BFG)对BPEL进行建模,通过模型对服务组合的数据流进行分析,提出一个面向成员服务的数据依赖度量集;通过此度量集可以量化成员服务的数据依赖复杂度,从而分析成员服务对BPEL中数据流的影响程度与范围,为服务组合演化策略的制定及实施提供依据。 展开更多
关键词 数据流 服务组合 演化 影响分析 BPEL
下载PDF
Web服务演化综述 被引量:5
14
作者 彭焕峰 黄纬 +1 位作者 范大娟 章永龙 《科学技术与工程》 北大核心 2015年第30期63-70,85,共9页
随着Web服务应用越来越广泛,因新的需求或自我完善的需要,服务需进行持续不断的演化,Web服务演化问题成为研究热点。首先对Web服务演化的研究进行了分类;然后从演化需求分析、演化影响分析、演化实施三个方面对现有研究进行了分析与总结... 随着Web服务应用越来越广泛,因新的需求或自我完善的需要,服务需进行持续不断的演化,Web服务演化问题成为研究热点。首先对Web服务演化的研究进行了分类;然后从演化需求分析、演化影响分析、演化实施三个方面对现有研究进行了分析与总结;最后,针对当前研究的不足,总结了Web服务演化需要进一步加强的研究方向。 展开更多
关键词 WEB服务 服务演化 演化管理
下载PDF
一种面向服务组合的隐私保护方法 被引量:3
15
作者 彭焕峰 黄志球 范大娟 《小型微型计算机系统》 CSCD 北大核心 2015年第8期1671-1676,共6页
用户在使用Web服务组合时,其隐私信息通过服务组合暴露给成员服务,由于用户与成员服务之间缺乏隐私信息使用的相关协议,因此如何保证Web服务组合执行过程中按照用户需求暴露隐私信息成为当前的研究热点.针对现有研究的不足,提出一种基... 用户在使用Web服务组合时,其隐私信息通过服务组合暴露给成员服务,由于用户与成员服务之间缺乏隐私信息使用的相关协议,因此如何保证Web服务组合执行过程中按照用户需求暴露隐私信息成为当前的研究热点.针对现有研究的不足,提出一种基于信誉度的服务组合隐私保护方法,首先给出一种灵活的用户隐私需求规约方法,然后使用隐私开放工作流网构建隐私敏感的服务组合模型,并通过隐私需求验证算法验证服务组合是否满足用户隐私需求.通过此方法用户可以灵活定义隐私需求,并能保证服务组合按用户需求暴露隐私信息,最后通过实例分析说明了该方法的有效性. 展开更多
关键词 信誉度 服务组合 隐私保护 开放工作流网
下载PDF
异构机群系统上基于多轮分配方式的近似串匹配并行算法 被引量:3
16
作者 钟诚 范大娟 《计算机研究与发展》 EI CSCD 北大核心 2008年第z1期105-112,共8页
在给定正文串分配轮数的前提下,考虑处理机节点具有不同计算速度、不同通信能力的情形,根据从处理机是否允许重叠执行计算和通信操作,提出异构机群计算环境下的最优正文串多轮分配策略;同时提出一种周期性的正文串多轮分配策略并给出了... 在给定正文串分配轮数的前提下,考虑处理机节点具有不同计算速度、不同通信能力的情形,根据从处理机是否允许重叠执行计算和通信操作,提出异构机群计算环境下的最优正文串多轮分配策略;同时提出一种周期性的正文串多轮分配策略并给出了相应的正文串多轮分配的闭合解,此策略可以求出最优的分配轮数.实验结果表明,正文串多轮分配策略比正文串单轮分配策略大大缩短了近似串匹配并行处理的时间,并且在正文串多轮分配策略中,当近似串匹配应用的规模较小时,分配轮数比参与近似串匹配并行处理的从处理机数更能影响近似串匹配并行处理的完成时间,反之,从处理机数对近似串匹配并行处理的完成时间影响更大. 展开更多
关键词 近似串匹配 并行算法 异构机群系统 分配策略 多轮分配
下载PDF
Dual-Thrust策略在股票量化交易中的实现与应用 被引量:1
17
作者 潘磊 王琦 +1 位作者 王丹华 范大娟 《科技资讯》 2018年第27期17-21,23,共6页
近年来中国的金融市场发展迅速,借助国外市场的量化投资发展经验,我国的量化投资基金也大量涌现,与其他一致但其中大部分主要投资于期货市场,主要由于传统的量化交易策略大多不适应国内股票市场的特点。本文基于量化交易中的Dual-Thrus... 近年来中国的金融市场发展迅速,借助国外市场的量化投资发展经验,我国的量化投资基金也大量涌现,与其他一致但其中大部分主要投资于期货市场,主要由于传统的量化交易策略大多不适应国内股票市场的特点。本文基于量化交易中的Dual-Thrust策略,实现了一个做多版本的改进策略,并基于中国股票市场历史数据进行了回测验证,实验结果表明该择时策略在中国A股交易中具有一定的盈利能力,对后续其他量化交易策略的开发具有一定的指导作用。 展开更多
关键词 量化交易 量化投资 趋势跟踪 股票策略 择时交易
下载PDF
基于网络的鞋类产品个性化定制系统的设计与实现
18
作者 施凯 张慧妍 +1 位作者 李再冉 范大娟 《中国皮革》 CAS 北大核心 2009年第6期104-107,共4页
网上个性化定制是近年来诞生的一种利用信息技术和网络技术进行产品定制的崭新生产销售模式。个性化产品是完全基于客户需求来定制、设计产品,它满足客户对产品的功能、结构、性质、外形等各方面要求。
关键词 个性化定制 鞋类产品 网络技术 设计产品 系统 客户需求 个性化产品 销售模式
下载PDF
Adaptor Reconfiguration Analysis in Web Services Composition 被引量:1
19
作者 范大娟 黄志球 +1 位作者 肖芳雄 彭焕峰 《Journal of Donghua University(English Edition)》 EI CAS 2015年第4期648-653,共6页
Most of the existing approaches focus on identifying mismatches and synthesizing adaptors at design-time or recently at run-time. However, few works have been proposed to support adaptor reconfiguration when services ... Most of the existing approaches focus on identifying mismatches and synthesizing adaptors at design-time or recently at run-time. However, few works have been proposed to support adaptor reconfiguration when services in the composition evolve due to changes in business needs. To address the deficiencies, the problem of adaptor reconfiguration is targeted in the context of service composition. Firstly, the formal models for describing services and adaptors are presented. Then, under this formalization,the notion of reconfiguration compliance is proposed to determine the validity of an adaptor instance with respect to its history executions and future executions. Based on the notion,the algorithm for reconfiguration analysis of adaptors is presented and it can be used for determining the migratability of an adaptor instance and the corresponding target state of reconfiguration if migratable.Finally,feasibility of the proposed approach is validated on a realistic case study. The proposed approach improves the flexibility of adaptor-based service composition by equipping adaptors with reconfiguration capabilities. 展开更多
关键词 web services ADAPTOR RECONFIGURATION trace compliance
下载PDF
基于逆向工程的弧面分度凸轮机构三维CAD
20
作者 华学兵 吴同喜 范大娟 《浙江工贸职业技术学院学报》 2008年第2期56-60,98,共6页
本文阐述了弧面分度凸轮机构的逆向CAD设计方案,并编写了有关计算机程序,快速、简便地计算出凸轮的廓面坐标值,最后据此数据利用Pro/ENGINEER建立了弧面分度凸轮机构的三维模型。
关键词 弧面分度凸轮机构 逆向工程 三维CAD
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部