期刊文献+
共找到54篇文章
< 1 2 3 >
每页显示 20 50 100
基于深度学习和遗传算法的方法调用缺陷自动修复方法
1
作者 宋青青 杨秋辉 +2 位作者 董兰 代声馨 赵明敏 《计算机工程与设计》 北大核心 2025年第1期237-242,共6页
为提高软件缺陷自动修复技术的修复效果,针对面向对象程序中出现概率较大的方法调用缺陷,提出一种基于深度学习和遗传算法的方法调用缺陷自动修复方法。基于深度学习构造方法调用缺陷修复模型,使用修复模型生成候选补丁并验证;若补丁无... 为提高软件缺陷自动修复技术的修复效果,针对面向对象程序中出现概率较大的方法调用缺陷,提出一种基于深度学习和遗传算法的方法调用缺陷自动修复方法。基于深度学习构造方法调用缺陷修复模型,使用修复模型生成候选补丁并验证;若补丁无效,则基于这些候选补丁,使用改进的基于遗传算法的缺陷修复方法生成候选补丁。实验结果表明,在Defects4 J数据集上,所提方法与DEAR、TBar、SequenceR和jGenProg自动化缺陷修复工具相比,缺陷修复率和补丁正确率都有提高。 展开更多
关键词 软件调试 软件缺陷自动修复 面向对象程序 方法调用缺陷 补丁生成与验证 深度学习 遗传算法
在线阅读 下载PDF
基于深度学习的回归测试用例优先级排序方法 被引量:1
2
作者 张李政 杨秋辉 +1 位作者 李兴佳 代声馨 《计算机科学》 CSCD 北大核心 2024年第12期46-52,共7页
在回归测试中对测试用例排序可以更快地发现代码缺陷,节约测试时间和资源,提高测试效率。现有的测试用例排序方法没有同时考虑代码的变更信息以及测试用例的历史执行信息,也没有考虑不同测试用例执行历史长短的区别,因此排序效果不佳。... 在回归测试中对测试用例排序可以更快地发现代码缺陷,节约测试时间和资源,提高测试效率。现有的测试用例排序方法没有同时考虑代码的变更信息以及测试用例的历史执行信息,也没有考虑不同测试用例执行历史长短的区别,因此排序效果不佳。针对这些问题,提出基于深度学习的回归测试用例优先级排序方法。首先分别构建基于代码变更信息和历史执行信息的分类模型;然后基于类间关系图识别受代码变更影响的类,对这些类的测试用例以及近期执行发现缺陷的测试用例进行分类,使用分类模型和启发式排序方法对测试用例分类进行排序;最后通过交替排序融合排序结果。在RTPTorrent数据集上选取6个项目进行实验,结果表明:1)在无时间约束时,所提方法在所有项目上都取得了不错的排序效果,在cloudify项目上的APFD指标达到0.972;2)在有时间约束时,所提方法的NAPFD指标超过了目前主流的排序方案。 展开更多
关键词 测试用例排序 深度学习 类间关系图 分类模型 分类排序
在线阅读 下载PDF
一种改进的基于遗传算法的多跑道到达飞机调度 被引量:26
3
作者 杨秋辉 游志胜 +1 位作者 冯子亮 洪玫 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2006年第2期141-145,共5页
为解决具有多条跑道的大型机场在交通高峰期的飞机调度问题,提出了用遗传算法解决多跑道到达飞机调度的方法。算法以所有飞机的排列次序作为个体编码,在此基础上设计了交叉和变异算子。解码时首先确定各飞机的降落跑道,然后用改进的移... 为解决具有多条跑道的大型机场在交通高峰期的飞机调度问题,提出了用遗传算法解决多跑道到达飞机调度的方法。算法以所有飞机的排列次序作为个体编码,在此基础上设计了交叉和变异算子。解码时首先确定各飞机的降落跑道,然后用改进的移动方法解决同一跑道上飞机之间的冲突并插入空闲时间,从而确定降落次序和时间。模拟结果表明,该方法能帮助管制员做出高效的飞机调度决策。 展开更多
关键词 遗传算法 到达飞机调度 空闲时间
在线阅读 下载PDF
用线性规划求解工程混合料最优配料问题 被引量:8
4
作者 杨秋辉 游志胜 +1 位作者 樊鸿 柯勇 《四川大学学报(自然科学版)》 CAS CSCD 北大核心 2005年第1期198-201,共4页
According to the real requirement of mix design in highway engineering,as well as considering the optimal economic problem,we build a mathematical model.The main solution steps using the tool of "Pro-gramming Sol... According to the real requirement of mix design in highway engineering,as well as considering the optimal economic problem,we build a mathematical model.The main solution steps using the tool of "Pro-gramming Solution"which is supported by Excel are introduced.Finally the estimation in technical and eco-nomic aspect about the result of the proposed model is analyzed.The main advantage is that we build a linear programming mathematical model which object function aims to obtain lower cost of mixture.The result is precise and can be obtained easily by using Excel,so the operator can have not the ability of programming. 展开更多
关键词 问题 降低生产成本 计算工作 工程建设 最优 目标 经济效益 混合料配合比 公路工程 规范要求
在线阅读 下载PDF
基于单机排序问题的降落飞机分组排序方法 被引量:12
5
作者 杨秋辉 游志胜 洪玫 《四川大学学报(工程科学版)》 EI CAS CSCD 2004年第6期106-110,共5页
为使单跑道降落飞机排序结果在实际操作时可行、简单,首先限制同一航路段上的飞机按照先来先服务的原则排序,在最终的排序中,其拓扑次序不变;其次提出了将飞机分组排序的思想,对同一航路段上刚好满足最小安全间隔的飞机做为一个飞机组... 为使单跑道降落飞机排序结果在实际操作时可行、简单,首先限制同一航路段上的飞机按照先来先服务的原则排序,在最终的排序中,其拓扑次序不变;其次提出了将飞机分组排序的思想,对同一航路段上刚好满足最小安全间隔的飞机做为一个飞机组参与排序。使用1|chains|∑wjcj做为排序模型,通过求解各飞机链的ρ因子可以快速得到排序结果。将本方法用于对双流国际机场和其它几个机场的实际航迹数据进行计算,得到的排序序列完全符合实际管制需要,具有很高的推广应用价值。 展开更多
关键词 空中交通流量管理 飞机排序 单机排序问题 加权总完工时间
在线阅读 下载PDF
软件测试课程实践教学改革研究 被引量:15
6
作者 杨秋辉 洪玫 +2 位作者 郭兵 何丹 黄武 《计算机教育》 2016年第2期106-109,共4页
很多软件测试课程实践部分是让学生使用一些过时的工具对一些小型的例子程序进行测试,学生收获不大。文章描述软件测试课程中实践项目的设计,包括实验目的、涉及的知识点、使用的工具、被测系统等,阐述这些实践项目的优势并展示教学效果。
关键词 软件测试 实践教学 项目设计 课程改革
在线阅读 下载PDF
分布式自动化软件测试实现技术研究 被引量:2
7
作者 杨秋辉 周洪宇 +2 位作者 洪玫 王松 臧康 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2011年第5期126-132,共7页
为了解决大型软件的分布式自动化测试问题,在分布式持续软件质量保证思想基础上,通过对现有自动化测试框架的分析,提出了一个基于Internet网络资源的分布式自动化软件测试平台,并实现了原型系统。平台集成了软件测试过程中需要的一系列... 为了解决大型软件的分布式自动化测试问题,在分布式持续软件质量保证思想基础上,通过对现有自动化测试框架的分析,提出了一个基于Internet网络资源的分布式自动化软件测试平台,并实现了原型系统。平台集成了软件测试过程中需要的一系列工具,能有效利用Internet上的空闲资源进行大型软件系统的持续集成和测试。为实现测试任务的自动划分和调度,提出了基于空闲时间约束的任务调度算法,并对集合划分问题的ACO算法进行了改进,在其中添加了动态容量监控标准和前置与后置处理过程。通过在原型系统中进行MySQL测试,验证了平台架构和设计的可行性以及算法的有效性。 展开更多
关键词 软件自动化测试 分布式持续质量保证 软件测试平台 分布式任务调度 ACO算法
在线阅读 下载PDF
自适应遗传算法在飞机调度问题中的应用 被引量:2
8
作者 杨秋辉 游志胜 +1 位作者 冯子亮 樊鸿 《四川大学学报(自然科学版)》 CAS CSCD 北大核心 2004年第6期1158-1162,共5页
基于自适应遗传算法,实现了单跑道降落飞机调度问题的求解.算法以所有飞机的排列次序做为个体编码,解码时用移动方法确定飞机的降落时间.适应度函数的构造综合考虑了飞机的提前和延迟带来的损失,选择算子采用期望值方法,交叉算子用顺序... 基于自适应遗传算法,实现了单跑道降落飞机调度问题的求解.算法以所有飞机的排列次序做为个体编码,解码时用移动方法确定飞机的降落时间.适应度函数的构造综合考虑了飞机的提前和延迟带来的损失,选择算子采用期望值方法,交叉算子用顺序交叉,变异算子用倒位变异.为提高算法的执行效率并避免早熟收敛,对交叉和变异概率均采用自适应策略.仿真结果表明了自适应遗传算法用于飞机调度问题的有效性. 展开更多
关键词 自适应遗传算法 空中交通流量管理 飞机调度 空闲时间
在线阅读 下载PDF
航空地图信息系统及关键技术 被引量:5
9
作者 杨秋辉 余勤 《计算机应用》 CSCD 北大核心 2004年第4期150-152,共3页
针对空管自动化系统和空管人员的实际需求,介绍了开发实现航空地图信息系统的主要技术。系统具备地物对象的编辑、航空地图数据的显示和存取等功能。文中分析了航空地图信息系统的模型,并给出了在UNIX操作系统中,基于Motif环境开发系统... 针对空管自动化系统和空管人员的实际需求,介绍了开发实现航空地图信息系统的主要技术。系统具备地物对象的编辑、航空地图数据的显示和存取等功能。文中分析了航空地图信息系统的模型,并给出了在UNIX操作系统中,基于Motif环境开发系统时的具体实现技术。 展开更多
关键词 MOTIF 航空地图信息系统 空管自动化系统 地物对象
在线阅读 下载PDF
肝硬化患者无创心脏血流动力学指标变化及意义 被引量:1
10
作者 杨秋辉 王俊岭 +1 位作者 江智龙 李萍 《山东医药》 CAS 2014年第48期42-44,共3页
目的:观察肝硬化患者无创心脏血流动力学指标的变化,并探讨其意义。方法肝硬化患者124例(肝硬化组)和乙型病毒性肝炎患者129例(对照组),采用无创性心脏血流动力检测仪记录两组30个心动周期的平均动脉压(MAP)、每搏指数(SI)... 目的:观察肝硬化患者无创心脏血流动力学指标的变化,并探讨其意义。方法肝硬化患者124例(肝硬化组)和乙型病毒性肝炎患者129例(对照组),采用无创性心脏血流动力检测仪记录两组30个心动周期的平均动脉压(MAP)、每搏指数(SI)、每搏出量(SV)、心输出量(CO)、心脏指数(CI)、左心做功(LCW)、左心做功指数(LCWI),取其平均值。记录肝硬化组Child-Pugh 分级、肝硬度、食管静脉曲张程度、有无腹水及病毒载量情况。结果肝硬化组MAP高于对照组,SV、SI均低于对照组,P均<0.05。肝硬化患者中,CO、CI随着Child-Pugh分级的升高而增大,SI、SV、CO、CI、LCW、LCWI随着肝硬度的升高而增大;食管静脉曲张F2~3者CI高于F0~1者,有腹水者CO、CI均高于无腹水者;P均<0.05。不同病毒载量肝硬化患者的无创心脏血流动力学指标比较,P均>0.05。结论肝硬化患者无创心脏血流动力学指标发生改变,尤其是CO、CI,与肝硬化严重程度、肝硬度、有无腹水和食管静脉曲张有关。 展开更多
关键词 肝硬化 心脏无创血流动力学 高动力循环 硬化性心肌病
在线阅读 下载PDF
多处理器实时系统可调度性分析的UPPAAL模型 被引量:18
11
作者 代声馨 洪玫 +3 位作者 郭兵 杨秋辉 黄蔚 徐保平 《软件学报》 EI CSCD 北大核心 2015年第2期279-296,共18页
随着多处理器实时系统在安全性攸关系统中的广泛应用,保证这类系统的正确性成为一项重要的工作.可调度性是实时系统正确性的一项关键性质.它表示系统必须满足的一些时间要求.传统的可调度性分析方法结论保守或者不完备,为了避免这些方... 随着多处理器实时系统在安全性攸关系统中的广泛应用,保证这类系统的正确性成为一项重要的工作.可调度性是实时系统正确性的一项关键性质.它表示系统必须满足的一些时间要求.传统的可调度性分析方法结论保守或者不完备,为了避免这些方法的缺陷,提出使用模型检测的方法来实现可调度性分析.提出了一个用于多处理器实时系统可调度性分析的模板,将与系统可调度性相关的部分包括实时任务、运行平台和调度管理模块都用时间自动机建模,并使用UPPAAL验证可调度的性质是否总被满足.符号化模型检测方法被用于推断可调度性,但是由于秒表触发的近似机制,符号化模型检测方法不能用于证明系统不可调度.作为补充,统计模型检测方法被用于估算系统不可调度的概率,并在系统不可调度时生成反例.此外,在系统可调度时,通过统计模型检测方法获取一些性能相关的信息. 展开更多
关键词 可调度性 模型检测 UPPAAL 多处理器实时系统 时间自动机
在线阅读 下载PDF
航空炸弹飞行中的风场辨识 被引量:3
12
作者 杨秋辉 吕鸣 +1 位作者 耿丽娜 宋广润 《弹箭与制导学报》 CSCD 北大核心 2011年第2期149-152,共4页
为实现航空炸弹飞行中的风偏修正,提出了一种基于位置矢量合成关系的风场辨识方法。文中首先建立了制导炸弹系统仿真平台以及可用的简化风场模型,其次推导了具体的辨识步骤,从而仅根据飞行中的弹道偏差得到了实时的风场信息,为弹道风偏... 为实现航空炸弹飞行中的风偏修正,提出了一种基于位置矢量合成关系的风场辨识方法。文中首先建立了制导炸弹系统仿真平台以及可用的简化风场模型,其次推导了具体的辨识步骤,从而仅根据飞行中的弹道偏差得到了实时的风场信息,为弹道风偏修正提供了可靠数据。最后通过数字仿真,验证了采用该方法进行飞行中的风场辨识是合理有效的。 展开更多
关键词 航空炸弹 风场辨识 建模 风偏修正
在线阅读 下载PDF
多相流中颗粒旋转运动特性的研究进展 被引量:7
13
作者 王勤辉 杨秋辉 +2 位作者 吴学成 骆仲泱 岑可法 《化工学报》 EI CAS CSCD 北大核心 2011年第9期2381-2390,共10页
多相流中分散相颗粒旋转运动特性研究对于进一步揭示多相流机理有重要意义,同时也有助于人们更全面地认识多相流动,因此,越来越受到学者们的关注。近年来,人们从理论模拟方面研究颗粒旋转对流场的影响,通过改进多相流数值模型来考虑颗... 多相流中分散相颗粒旋转运动特性研究对于进一步揭示多相流机理有重要意义,同时也有助于人们更全面地认识多相流动,因此,越来越受到学者们的关注。近年来,人们从理论模拟方面研究颗粒旋转对流场的影响,通过改进多相流数值模型来考虑颗粒旋转,获得了与实验吻合的结果,但由于模型本身的局限性,无法全面考虑颗粒旋转运动对颗粒群和周围流场的影响;在实验研究方面,人们尝试利用高速摄像方法测量颗粒的转速,并对实际气固两相流中颗粒的转速进行了测量,但更准确、有效的颗粒转速测量方法还需进一步探索。把直接数值模拟方法应用于颗粒旋转运动特性的模拟是进一步研究颗粒旋转运动特性需要突破的方向,另外,通过计算机视觉场景中的连续图像序列对目标物体进行三维运动和结构重建的技术,也将是颗粒转速测量方法的研究重点之一。 展开更多
关键词 多相流 颗粒旋转 Magnus升力 转速测量 直接数值模拟
在线阅读 下载PDF
嵌入式软件内存泄露检测方法研究 被引量:9
14
作者 张鹏 杨秋辉 李海怒 《计算机工程与应用》 CSCD 2013年第14期56-59,65,共5页
动态内存分配为C/C++语言编程人员提供了极大的灵活性,但同时也带来了一个潜在的严重问题——内存泄露。与桌面系统相比,嵌入式系统处理能力弱、内存空间小、运行时间长,如果在程序运行期间发生内存泄露,将导致系统崩溃,造成不可预料的... 动态内存分配为C/C++语言编程人员提供了极大的灵活性,但同时也带来了一个潜在的严重问题——内存泄露。与桌面系统相比,嵌入式系统处理能力弱、内存空间小、运行时间长,如果在程序运行期间发生内存泄露,将导致系统崩溃,造成不可预料的后果,因此需要在开发调试阶段尽早检测出造成内存泄露的代码。提出了一种基于动态检测技术和程序插装技术的嵌入式软件内存泄露分布式检测方法。该方法的实现思想是当程序在目标机运行时,插装代码自动截获内存操作函数,收集内存操作相关信息并把收集到的信息发送到服务器端处理,实现了嵌入式系统内存泄露的准确检测。实验结果证明,由于采用分布式技术进行信息处理,内存泄露检测效率得到了很大的提升。 展开更多
关键词 嵌入式软件 内存泄露检测 动态插装 动态检测 分布式检测
在线阅读 下载PDF
联合检测甲胎蛋白和高尔基体蛋白73(ELISA法)对原发性肝癌诊断价值的Meta分析 被引量:5
15
作者 王俊岭 李萍 +3 位作者 江智龙 杨秋辉 李斯 刘丹 《世界华人消化杂志》 CAS 2015年第22期3604-3613,共10页
目的:评价甲胎蛋白(alpha-fetoprotein,AFP)联合高尔基体蛋白73(Golgi protein 73,G P73)检测对原发性肝癌诊断的价值,以期为临床医生提供参考.方法:检索Pub Med、EMbase、Medline、万方数据知识服务平台、CNKI、中国生物医学文献数据... 目的:评价甲胎蛋白(alpha-fetoprotein,AFP)联合高尔基体蛋白73(Golgi protein 73,G P73)检测对原发性肝癌诊断的价值,以期为临床医生提供参考.方法:检索Pub Med、EMbase、Medline、万方数据知识服务平台、CNKI、中国生物医学文献数据库等中外数据库2015-02之前发表的,关于AFP联合GP73检测对原发性肝癌诊断价值的研究,并对纳入文献的参考文献进行二次检索.严格按照纳入标准和排除标准选择文献、提取数据,并对纳入的文献行质量评价、异质性分析.采用Meta Disc1.4、Stata12.0软件进行Meta分析.结果:共纳入符合标准的文献19篇.AFP、G P 7 3单项检测对原发性肝癌诊断合并后的敏感度、特异度、曲线下面积(area under the curve,A U C)、Q指数分别为0.58(0.56-0.61)、0.84(0.83-0.86)、0.7642、0.7052和0.78(0.76-0.80)、0.97(0.86-0.88)、0.8848、0.8153.A F P联合G P73检测合并后的敏感度、特异度、AUC、Q指数分别为0.88(0.87-0.90)、0.82(0.80-0.83)、0.9461、0.8853.联合检测的A U C、Q指数明显高于AFP、GP73单项检测,Z检验提示差异有统计学意义(均P<0.05).结论:AFP联合GP73检测对原发性肝癌的诊断价值较高,对临床医生有一定的参考价值. 展开更多
关键词 甲胎蛋白 高尔基蛋白体73 原发性肝癌 META分析
在线阅读 下载PDF
基于有界模型检测的C/C++程序内存泄露检测 被引量:2
16
作者 黄蔚 洪玫 +5 位作者 杨秋辉 郭鑫宇 代声馨 徐保平 高婉玲 赵鹤 《计算机应用研究》 CSCD 北大核心 2016年第6期1762-1766,共5页
C/C++语言中的动态内存管理机制自由且灵活,但动态内存的使用容易引入内存泄露,导致系统性能降低甚至系统崩溃。为了更加有效地检测内存泄露,提出了一个基于有界模型检测技术的C/C++程序内存泄露检测方案MLD-CBMC。该方案以C/C++程序文... C/C++语言中的动态内存管理机制自由且灵活,但动态内存的使用容易引入内存泄露,导致系统性能降低甚至系统崩溃。为了更加有效地检测内存泄露,提出了一个基于有界模型检测技术的C/C++程序内存泄露检测方案MLD-CBMC。该方案以C/C++程序文件为输入,利用有界模型检测技术对程序进行展开处理,加入内存泄露性质,并利用可满足性模理论(SMT)对程序约束和性质组成的验证条件编码,使用SMT求解器对验证条件求解,将检测内存泄露问题转换为求解可满足性问题,实现C/C++程序内存泄露的检测。通过实验验证了方案的有效性,并与其他有界模型检测工具进行对比实验,实验证明方案对内存泄露的检测能力更强。 展开更多
关键词 C/C++程序 内存泄露 有界模型检测 可满足性模理论
在线阅读 下载PDF
盐酸阿霉素脂质体注射液致腰背痛1例
17
作者 杨秋辉 傅烨钦 张喜平 《浙江临床医学》 2024年第4期601-602,共2页
盐酸阿霉素脂质体注射液是一种具有靶向性的脂质体阿霉素,能够富集至肿瘤区域,与进口试剂相比具有相似的药代动力学,且与传统蒽环类化疗药物相比具有更低的心脏毒性,已经在临床中被广泛应用。但脂质体阿霉素存在一些不良反应,如:呼吸困... 盐酸阿霉素脂质体注射液是一种具有靶向性的脂质体阿霉素,能够富集至肿瘤区域,与进口试剂相比具有相似的药代动力学,且与传统蒽环类化疗药物相比具有更低的心脏毒性,已经在临床中被广泛应用。但脂质体阿霉素存在一些不良反应,如:呼吸困难、面色潮红、眩晕、过敏性休克、皮疹、手足综合征等。严重腰背部疼痛虽然发生率较低,但仍需要高度关注[1-2]。 展开更多
关键词 过敏性休克 面色潮红 脂质体阿霉素 进口试剂 腰背痛 心脏毒性 肿瘤区域 手足综合征
在线阅读 下载PDF
吡菲尼酮对牛血清蛋白诱导的肝纤维化大鼠肝损害的保护作用观察 被引量:4
18
作者 李萍 杨秋辉 +1 位作者 王俊岭 江智龙 《实用肝脏病杂志》 CAS 2015年第1期63-66,共4页
目的探讨吡菲尼酮对牛血清蛋白诱导的大鼠肝纤维化的影响。方法雄性Wistar大鼠30只被随机分为3组,给予模型组腹腔注射牛血清白蛋白,正常对照组接受等量的生理盐水腹腔注射,治疗组在腹腔注射牛血清白蛋白5 w后,按200 mg·kg-1·... 目的探讨吡菲尼酮对牛血清蛋白诱导的大鼠肝纤维化的影响。方法雄性Wistar大鼠30只被随机分为3组,给予模型组腹腔注射牛血清白蛋白,正常对照组接受等量的生理盐水腹腔注射,治疗组在腹腔注射牛血清白蛋白5 w后,按200 mg·kg-1·d-1灌胃给药吡菲尼酮,治疗4 w后处死试验动物,留取肝脏组织,行HE和Masson染色,观察肝脏病理学改变,采用免疫组化法检测Smad6蛋白表达。结果与模型组比,吡菲尼酮治疗组肝组织纤维化S3和S4期病变较模型组明显减少,炎症细胞浸润明显减少,胶原纤维间隔缩小,着色变浅;模型组肝组织Smad6相对表达量为(108.2±33.6),显著低于吡菲尼酮治疗组[(329.4±39.2),P<0.05]。结论吡菲尼酮可抑制牛血清蛋白诱导的大鼠肝纤维化,其机制与通过上调Smad 6蛋白表达有关。 展开更多
关键词 肝纤维化 吡菲尼酮 SMAD6 大鼠
在线阅读 下载PDF
鼓泡流化床内颗粒旋转速度的实验研究 被引量:2
19
作者 王勤辉 解桂林 +2 位作者 杨秋辉 吴学成 骆仲泱 《中国粉体技术》 CAS 北大核心 2014年第4期8-12,共5页
为了获得鼓泡流化床内颗粒的旋转特性,利用双脉冲激光器与跨帧相机构成的测试系统对冷态鼓泡流化床内颗粒的旋转过程进行研究。结果表明:颗粒粒径越小,旋转速度越大;颗粒的水平分速度增大时,平均转速增大;颗粒的垂直分速度增大时,平均... 为了获得鼓泡流化床内颗粒的旋转特性,利用双脉冲激光器与跨帧相机构成的测试系统对冷态鼓泡流化床内颗粒的旋转过程进行研究。结果表明:颗粒粒径越小,旋转速度越大;颗粒的水平分速度增大时,平均转速增大;颗粒的垂直分速度增大时,平均转速呈一定幅度的上下波动趋势;相对于垂直分速度大的颗粒,垂直分速度小的颗粒的转速有一定幅度的减小;在x轴方向上颗粒平均转速的分布趋势为先增大、后减小。 展开更多
关键词 鼓泡流化床 气-固两相流 颗粒 旋转 碰撞
在线阅读 下载PDF
基于观察者模式的实时系统验证方法 被引量:2
20
作者 赵鹤 洪玫 +1 位作者 杨秋辉 高婉玲 《计算机科学》 CSCD 北大核心 2017年第12期156-162,174,共8页
复杂实时系统的验证问题一直备受关注。验证过程中,验证特性可以用时序逻辑来描述,但时序逻辑对于非专业人员而言较为复杂,难度较大。观察者模式是一个额外的子系统,可以将复杂的验证特性转换为简单的可达性问题,同时也可以避免使用复... 复杂实时系统的验证问题一直备受关注。验证过程中,验证特性可以用时序逻辑来描述,但时序逻辑对于非专业人员而言较为复杂,难度较大。观察者模式是一个额外的子系统,可以将复杂的验证特性转换为简单的可达性问题,同时也可以避免使用复杂的验证算法。将Etienne和Nouha Abid等人提出的抽象的观察者模式应用到实时系统实例——Train-Gate系统中,采用UPPAAL工具对Train-Gate系统中的某些场景建立观察者模型,并采用对比实验将验证结果与无观察者模式状态下的验证结果进行对比。对比结果表明,使用观察者模式和验证特性都可以得到正确的验证结果,但观察者更节省时间,对于非专业人员而言更简单且更容易接受。因此,使用观察者模式对如TrainGate的实时系统进行验证是可行的。 展开更多
关键词 观察者模式 实时系统 UPPAAL Train-Gate 模型检测
在线阅读 下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部