检索结果-内蒙古大学图书馆

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

主动电磁悬浮器的模型建立、模型测试和编程分析

引用

浙江大学学报（自然科学版） 1996年第6期30卷 691-703页

作者：许加兵汪希萱浙大化工系化机所杭州

本文提出一个新型的主动电磁悬浮器，其整个系统已由作者在苏黎世瑞土联邦工大（ＥＴＨＺｕｒｉｃｈ）研制成功．文中，着重说明其模型的建立，精确的模型测试；然后，在ＳＵＮ工作站，采用ＭＡＴＬＡＢ，编程分析，进行函数线性化和曲... 详细信息

本文提出一个新型的主动电磁悬浮器，其整个系统已由作者在苏黎世瑞土联邦工大（ＥＴＨＺｕｒｉｃｈ）研制成功．文中，着重说明其模型的建立，精确的模型测试；然后，在ＳＵＮ工作站，采用ＭＡＴＬＡＢ，编程分析，进行函数线性化和曲线拟合，状态变量解耦和参数识别；作出各种特性曲线，建立模型的状态方程，分析其可观性、可控性、可稳性，并作实验验证，表明该悬浮器原理正确、结构合理、悬浮高度大、耗能低、稳定性高、主动控制能力强，可在一些领域的特殊重要场合推广应用．

关键词：模型建立模型测试主动电磁悬浮器

来源：评论

学校读者我要写书评

暂无评论

航道模型测试新技术的应用和发展

引用

水道港口 1987年第Z1期9卷 77-82页

作者：赵涛王育林交通部天津水运工程科学研究所

航道模型试验是对航道整治提高通航运输能力的重要手段之一,已有一百多年历史。物理模型的试验技术也在不断发展,除定床模型外,有动床模型,悬沙模型,随着电子计算机的出现和发展,数学模型取得了很大的进展,由于航道自然条件的复杂因素... 详细信息

航道模型试验是对航道整治提高通航运输能力的重要手段之一,已有一百多年历史。物理模型的试验技术也在不断发展,除定床模型外,有动床模型,悬沙模型,随着电子计算机的出现和发展,数学模型取得了很大的进展,由于航道自然条件的复杂因素和数学模型的局限性,物理模型和复合模型仍不失其重要性为世界各国采用。因此对模型测试仪器,试验技术的自动控制以及测试数据的自动采集,自动处理等提出了更高的要求。近代电子技术的发展和应用已深入到我国航道模型试验中,电子测量仪器被广泛采用,一些古老陈旧的测试手段逐渐被淘汰,八十年代国内水工模型试验也开始运用微型计算机进行数据采集和处理。但和国外先进国家相比。

关键词：自动控制航道船模航行试验模型测试模型比尺电磁流速仪八十年代

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

用小白鼠骨髓细胞离体培养的升白模型测试鸡胚肝RNA等药物的升白效果,并探讨升白的作用机理

引用

生理科学 1983年第1期 59-60页

作者：施佩璜李振华尹慧道刘汝棣赵瑞珠郭志鲲戚义楠安徽大学生物系上海生化研究所安徽生物制药厂

我们前一阶段的工作初步证明:食用鸡胚蛋可以升高白血球降低病患者的白血球;鸡胚胎和鸡胚肝可以使升白模型的小白鼠升高白血球;鸡胚肝提纯的RNA可以使升白模型的小白鼠升高白血球。同时发现3′-核苷酸与RNA也有同样的作用,为了进一步

<正> 我们前一阶段的工作初步证明:食用鸡胚蛋可以升高白血球降低病患者的白血球;鸡胚胎和鸡胚肝可以使升白模型的小白鼠升高白血球;鸡胚肝提纯的RNA可以使升白模型的小白鼠升高白血球。同时发现3′-核苷酸与RNA也有同样的作用,为了进一步

关键词：鸡胚 RNA 鼠骨髓细胞作用机理离体培养环磷酞胺胚蛋模型测试造血功能

来源：评论

学校读者我要写书评

暂无评论

不可测试系统的测试方法研究——基于复杂集成软件系统的模型测试

引用

农业科技与信息 2016年第30期 119-120页

作者：黎玉香于伟广东科技学院广东东莞523083

摘要：随着科技的发展，我们将面临着如下的问题：越来越多的软件系统没办法测试，意味着采用现有的常规传统的测试方法对某些特定的系统测试时会浪费很多资源，如成本的昂贵，时间的消耗且系统的连续性及外部环境等不可行因素。本文的... 详细信息

摘要：随着科技的发展，我们将面临着如下的问题：越来越多的软件系统没办法测试，意味着采用现有的常规传统的测试方法对某些特定的系统测试时会浪费很多资源，如成本的昂贵，时间的消耗且系统的连续性及外部环境等不可行因素。本文的核心思想是：通过建模的方式来进行测试而不是进行直接针对操作系统，即为模型测试。本文的目标是提高从传统的操作系统的抽象化测试到具体的行为和属性的模型测试水平。模型测试是可以通过对其系统的相关表征、环境及其系统故障风险等方面进行验证的，但存在不确定性，取决于复杂性、环境行为的动态性和系统的未知性。

关键词：模型测试不可测试系统可靠性测试用例

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：