检索结果-南通市图书馆

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

柑橘病害现场图像数据集及深度学习模型测试

中南农业科技 2023年第7期44卷 235-237页

作者：蔡泳恒郭建文李宇琛陈凤宜东莞理工学院广东东莞523808

深度学习用于植物病害图像分类,需要大量现场植物的叶片数据集,并且采用合适数据模型进行训练。以柑橘为对象,建立一个感染和正常叶片的数据集,采用ResNet50、DenseNet121、MobileNetV2、Vit Transformer、ECA_ResNet 5种模型对数据集... 详细信息

深度学习用于植物病害图像分类,需要大量现场植物的叶片数据集,并且采用合适数据模型进行训练。以柑橘为对象,建立一个感染和正常叶片的数据集,采用ResNet50、DenseNet121、MobileNetV2、Vit Transformer、ECA_ResNet 5种模型对数据集进行训练,评估不同模型对数据集的训练性能,初步验证数据集支持深度学习进行柑橘病害种类识别的可行性。

关键词：柑橘病害图像识别深度学习模型测试

基于LabVIEW水轮机模型测试系统设计与试验

在线全文

学校读者我要写书评

暂无评论

水力发电学报 2014年第4期33卷 263-268页

作者：李德友王洪杰宫汝志赵越刘占生哈尔滨工业大学能源学院哈尔滨150001 哈尔滨大电机研究所哈尔滨150001

水轮机模型试验是水轮机水力研究重要组成部分。传统的水轮机模型试验台测试系统不但测量精度低,而且自动化程度低、操作复杂。为此,本文基于NI PXI平台,采用虚拟仪器LabVIEW软件开发了水轮机模型测试系统。首先介绍了水轮机模型试验台... 详细信息

水轮机模型试验是水轮机水力研究重要组成部分。传统的水轮机模型试验台测试系统不但测量精度低,而且自动化程度低、操作复杂。为此,本文基于NI PXI平台,采用虚拟仪器LabVIEW软件开发了水轮机模型测试系统。首先介绍了水轮机模型试验台,进行了模型测试系统的硬、软件设计。并成功地应用于哈尔滨大电机研究水轮机模型试验台,实现了水轮机模型试验台的数据采集、数据管理、曲线拟合及绘制、生成报表、信号分析以及数据处理等工程。对实际运行效果进行分析,结果表明该系统具有精度高、运行稳定可靠、自动化程度高、人机界面友好以及操作简单等特点,具有重要的工程实践意义。

关键词：水力机械系统设计 LabVIEW 水轮机模型测试

在线全文

学校读者我要写书评

暂无评论

一种AADL模型测试仿真引擎的设计与实现

计算机科学 2013年第11A期40卷 82-85,104页

作者：宣杭董云卫孙博中航工业西安航空计算技术研究所西安710119 西北工业大学计算机学院西安710072

随着嵌入式软件规模的日益庞大,任务关键系统的可信属性,如实时性、可靠性等,逐渐成为影响嵌入式系统质量和制约系统行为可信的重要因素。如何在系统设计早期及时发现系统可信属性的不足,在模型设计阶段进行体系结构调整、优化模型中软... 详细信息

随着嵌入式软件规模的日益庞大,任务关键系统的可信属性,如实时性、可靠性等,逐渐成为影响嵌入式系统质量和制约系统行为可信的重要因素。如何在系统设计早期及时发现系统可信属性的不足,在模型设计阶段进行体系结构调整、优化模型中软硬构件结构及属性规约,成为嵌入式软件分析方法研究的重点。为解决以上问题,提出了一种基于模型的嵌入式系统实时性测试方法,设计并实现了面向AADL模型的仿真测试引擎(AMSE)。仿真引擎基于SystemC和POSIX技术,通过任务封装、任务调度、时钟管理、中断管理和信号控制等实现模拟内核功能,可以动态执行AADL模型实例,从而对嵌入式系统的实时性开展模型测试。同时,以汽车控制系统为应用实例,基于AADL模型测试引擎AMSE进行了应用测试分析,获得了较好的测试结果。

关键词： AADL 模型测试仿真引擎

三维重力反演新方法——调和密度成像理论与模型测试

在线全文

学校读者我要写书评

暂无评论

地球物理学进展 2010年第6期25卷 1917-1925页

作者：陈石王谦身卢红艳张健中国地震局地球物理研究所北京100081 中国科学院地质与地球物理研究所北京100029 中国科学院研究生院北京100049

三维重力反演问题具有多解性,通常要施加一些先验信息来约束反演结果,得到最优解,但是通常要获取满足约束条件的先验信息具有一定困难.本文总结了调和密度直接成像理论的基础和发展现状,并给出模型测试结果.研究表明:调和重力反演方法... 详细信息

三维重力反演问题具有多解性,通常要施加一些先验信息来约束反演结果,得到最优解,但是通常要获取满足约束条件的先验信息具有一定困难.本文总结了调和密度直接成像理论的基础和发展现状,并给出模型测试结果.研究表明:调和重力反演方法不需要先验信息约束,可以直接计算出三维空间的等效源密度结构,结果可以为三维物性反演提供初始解,也可以通过约束来构建迭代运算得到合理的三维连续密度特征,本文基于该方法提出了一种等效模型置换法的反演思路.

关键词：三维重力反演调和反演密度成像模型测试

在线全文

学校读者我要写书评

暂无评论

一种面向AADL架构的模型测试方法

计算机测量与控制 2010年第4期18卷 778-781页

作者：冯冰杨志义董云卫马春燕西北工业大学计算机学院陕西西安710072 西北工业大学软件与微电子学院陕西西安710072

鉴于模型在软件系统开发中日趋重要的地位和AADL模型在嵌入式软件建模中的良好应用前景,为了在嵌入式软件系统开发前期保证AADL模型的质量,提出了一种基于模型测试的AADL架构验证方法;该方法应用马尔可夫链描述AADL架构的行为,然后根据... 详细信息

鉴于模型在软件系统开发中日趋重要的地位和AADL模型在嵌入式软件建模中的良好应用前景,为了在嵌入式软件系统开发前期保证AADL模型的质量,提出了一种基于模型测试的AADL架构验证方法;该方法应用马尔可夫链描述AADL架构的行为,然后根据得到的马尔可夫链模型以及系统设计要求标准生成相应的测试用例和测试预言,并通过测试用例执行输出和期望值的比较判断AADL模型的正确性,实现对系统AADL模型的测试;最后通过案例分析证明了该方法的有效性。

关键词： AADL 模型测试马尔可夫链

在线全文

学校读者我要写书评

暂无评论

相位激发极化法偶极装置模型实验测试研究

地质与勘探 2002年第Z1期38卷 59-62页

作者：刘瑞德陆桂福中国地质科学院地球物理地球化学勘查研究所廊坊065000

相位激发极化法是测量相位参数,即测量电场信号与发送信号之间的相位滞后,其物理意义相当于时间域方法中的极化率,从不同角度反映了岩(矿)石的电化学特性.实验表明该方法在实验室测量有很好的勘测效果,为野外勘测工作推广提供了依据.

关键词：相位激发极化法相位移偶极装置模型测试

基于固态储氢与燃料电池耦合的车载氢能源系统建模与特性分析

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

汽车工程学报 2024年第4期14卷 631-641页

作者：王晗朱丹长安大学西安710064

探讨了一种使用金属氢化物储氢罐和质子交换膜燃料电池的车载氢能源系统,旨在通过数学建模和工况测试评估氢能源系统内部的热量耦合效应。基于热交换系统结构和换热特性提出了氢能源系统多物理场模型,又基于增程式燃料电池物流车运行工... 详细信息

探讨了一种使用金属氢化物储氢罐和质子交换膜燃料电池的车载氢能源系统,旨在通过数学建模和工况测试评估氢能源系统内部的热量耦合效应。基于热交换系统结构和换热特性提出了氢能源系统多物理场模型,又基于增程式燃料电池物流车运行工况进行了数值模拟和试验验证。结果表明,所提出的数学模型能准确表征车载氢能源系统的动态特性,功率响应与温度动态变化具有显著的一致性。借助热交换系统提供热量补充,低温条件下固态储氢罐释氢速度加快,提高氢能源系统的动态响应速度和能源利用效率。研究结果可用于基于固态储氢与燃料电池耦合的氢能源系统最优尺寸设计、温度控制和能量管理策略设计。

关键词：车载氢能源系统金属氢化物氢存储质子交换膜燃料电池换热系统模型测试

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

面向体系对抗仿真的模型测试方法研究

计算机仿真 2007年第6期24卷 69-73,85页

作者：陈超李群王维平国防科技大学五院系统工程研究所湖南长沙410073

模型的有效性评估一直是建模与仿真领域研究的重要课题。针对传统校核与验证方法难以确定模型被确认为无效的原因以及传统建模过程中模型开发与实现紧耦合的特点,通过对武器装备体系对抗仿真与模型测试的需求分析,以层次化建模为基础提... 详细信息

模型的有效性评估一直是建模与仿真领域研究的重要课题。针对传统校核与验证方法难以确定模型被确认为无效的原因以及传统建模过程中模型开发与实现紧耦合的特点,通过对武器装备体系对抗仿真与模型测试的需求分析,以层次化建模为基础提出了面向武器装备体系对抗仿真的模型测试方法论,从纵向和横向两个层次论述了概念模型和仿真模型的测试方法,给出了层次化模型测试环境的参考实现。该方法不仅为武器装备体系对抗的仿真模型开发提供质量控制手段,同时也为其它仿真应用的模型校核、验证与确认提供有效的方法支撑。

关键词：武器装备的体系对抗仿真模型测试概念模型仿真模型

在线全文

学校读者我要写书评

暂无评论

基于图形转换的UML模型验证与测试

基于图形转换的UML模型验证与测试

作者：王伟大连海事大学

学位级别：硕士

随着软件工程的日益发展,UML建模语言在软件工程中的地位越来越重要,已经成为软件需求分析与建模的主要标准。然而UML是一种半形式化的语言,很难精确并且正确无误地定义模型。UML模型的各个视图之间可能存在不一致的地方,也有可能UML模... 详细信息

随着软件工程的日益发展,UML建模语言在软件工程中的地位越来越重要,已经成为软件需求分析与建模的主要标准。然而UML是一种半形式化的语言,很难精确并且正确无误地定义模型。UML模型的各个视图之间可能存在不一致的地方,也有可能UML模型本身就存在着与具体领域的业务规则存在冲突的地方。虽然通过人工审查的方式可以解决UML各个视图间不一致的问题,却费时费力,效果并不是很好,并且对于与业务规则相冲突的问题,则是无能为力,因为只有系统实际运行时才能发现该问题。为了在软件开发早期发现UML模型中的错误,节约成本并且提高效率,本文着重研究了对UML模型进行验证和测试的问题。本文首先利用OCL定义了静态结构一致性规则,利用相关工具验证UML模型的各个视图是否存在一致性冲突。在这个基础上,综合利用UML模型常见的几种视图,以及表示业务规则的OCL表达式,生成中间聚合模型。中间聚合模型相比UML单一视图包含了更多的模型信息,便于测试。解决了从UML单一视图很难充分测试UML模型的问题。利用遗传算法,搜索与测试路径相关联的测试用例,省去了人工构造测试用例的繁琐。利用自动生成的测试用例对中间聚合模型进行测试。跟踪系统状态或对象状态,对照OCL约束,发现UML模型中与具体业务规则冲突的地方,达到测试UML模型的目的。本文生成的中间聚合模型为有向图,与结构化程序设计的控制流程图CFG(Control Flow Graph,CFG)具有相似的结构。中间聚合模型使UML模型中原本隐蔽的信息变得明显,跟踪数据和控制流变得容易。利用成熟的结构化程序测试技术能更好地对UML模型进行测试。

关键词： UML 一致性检验模型测试 OCL