检索结果-南通市图书馆

基于有限谓词追踪的民机系统需求一致性检查方法

在线全文

学校读者我要写书评

暂无评论

系统工程与电子技术 2024年第1期46卷 205-218页

作者：王鹏岳舒婷张帆董磊中国民航大学民航航空器适航审定技术重点实验室天津300300 中国民航大学安全科学与工程学院天津300300

针对民机安全关键系统在正向研发过程中,系统级需求的正确性难以在设计早期全部完成确认的问题,提出一种基于有限谓词追踪的功能需求一致性检查体系。首先,引入一阶逻辑中的谓词追踪,建立系统内部功能需求与交互功能需求形式化规约方法... 详细信息

针对民机安全关键系统在正向研发过程中,系统级需求的正确性难以在设计早期全部完成确认的问题,提出一种基于有限谓词追踪的功能需求一致性检查体系。首先,引入一阶逻辑中的谓词追踪,建立系统内部功能需求与交互功能需求形式化规约方法。其次,针对单条、多条需求内容正确性以及需求关系一致性,构建需求一致性检查形式化规约,开展需求自冲突、集冲突与需求关系一致性检验,并生成可解释的检查反例进行需求迭代。最后,以机载平视显示(head-up display,HUD)系统飞行信息符号生成与显示功能为例,验证该方法的正确性与有效性。研究结果表明,基于有限谓词追踪的功能需求一致性检查方法能够提高需求一致性检查效率、降低研发成本,为民机系统级需求确认提供支持。

关键词：需求一致性定理证明功能需求正确性一阶逻辑需求冲突

双三相永磁同步电动机驱动器全开路故障模式的诊断方法

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

电机与控制学报 2024年第5期28卷 27-37页

作者：汤昊岳李伟力陈睿北京交通大学电气工程学院北京100044 中国矿业大学电气工程学院江苏徐州221116 北京理工大学睿信书院北京100081

准确地对驱动器开路故障进行识别与诊断能够有效防止故障进一步恶化所引起的严重事故,也是实施恰当容错控制策略的先决条件。驱动器的开路故障类型包含单个功率开关管故障、多个功率开关管故障以及功率开关管和相的混合故障,提出能够识... 详细信息

准确地对驱动器开路故障进行识别与诊断能够有效防止故障进一步恶化所引起的严重事故,也是实施恰当容错控制策略的先决条件。驱动器的开路故障类型包含单个功率开关管故障、多个功率开关管故障以及功率开关管和相的混合故障,提出能够识别上述所有类型全开路故障模式的诊断方法。首先,为了便于模拟多类型的故障场景并提高理论模型的计算精度,构建能够计及诸多非理想因素和电机与驱动器之间相互影响关系的直接耦合分析模型,并通过实验验证了该模型的准确性和有效性。其次,通过矢量空间解耦中的子平面电流和绕组相电流分别提取故障因子和辅助故障因子,提出基于2种故障因子的诊断方法,并明晰2种故障因子的阈值范围和使用方法。最后,依托验证后的直接耦合分析模型,对6种不同类别的开路故障进行识别和诊断,证明所提方法的有效性。

关键词：双三相永磁同步电动机双三相驱动器耦合建模开路故障故障诊断

维普期刊数据库博看期刊

基于三维层析技术的光学柴油发动机机内火焰重构

在线全文

学校读者我要写书评

暂无评论

工程热物理学报 2024年第5期45卷 1525-1533页

作者：高宇陈海岩伍岳北京理工大学机械与车辆学院北京100081

本文搭建了基于一台光学柴油发动机的三维层析测量系统,利用高速相机和光纤束可以同时从8个不同方向获得燃烧室内的火焰投影,同时提出了一种特殊的标定装置,能够从多个不同方向标定光纤束与燃烧室之间的相对位置关系。本文分析了光学发... 详细信息

本文搭建了基于一台光学柴油发动机的三维层析测量系统,利用高速相机和光纤束可以同时从8个不同方向获得燃烧室内的火焰投影,同时提出了一种特殊的标定装置,能够从多个不同方向标定光纤束与燃烧室之间的相对位置关系。本文分析了光学发动机中由缸套扭曲引起的重构误差大小,并应用三维层析技术对光学发动机内的火焰发展过程进行了重构,获得了不同发动机转速下的火焰三维结构。通过对火焰二维投影和三维结构的分析发现,随着发动机转速增加,燃烧效率变高,最大火焰面积/体积和火焰强度出现的时刻提前,但是利用二维火焰投影得到的最大火焰面积与利用三维火焰结构得到的最大火焰体积出现的时刻不同,这是由于火焰在燃烧室内除了沿着燃烧室直径方向扩散,还会沿着活塞运动方向扩散。利用火焰三维重构结果,可以获得火焰在沿活塞运动方向上的分布,有助于分析燃烧过程,为提高发动机效率提供依据。

关键词：光学发动机三维层析火焰重构

在线全文

学校读者我要写书评

暂无评论

基于三维层析方法的受限空间内喷雾测量

工程热物理学报 2024年第1期45卷 271-278页

作者：凌晨陈海岩伍岳北京理工大学机械与车辆学院北京100081

三维层析方法通过相机采集待测信号在空间各方向上的二维投影,利用层析算法重构其三维空间分布,具有时空分辨能力,是测量和评估发动机缸内扩散和燃烧的新兴技术。为了使该方法能适用于受限空间,我们通过光线逆向追踪法和斯涅尔折射定律... 详细信息

三维层析方法通过相机采集待测信号在空间各方向上的二维投影,利用层析算法重构其三维空间分布,具有时空分辨能力,是测量和评估发动机缸内扩散和燃烧的新兴技术。为了使该方法能适用于受限空间,我们通过光线逆向追踪法和斯涅尔折射定律建立受限空间内待测信号和投影之间的映射关系,开发了三维跨界面层析算法。本文使用该算法对连续变化的受限空间内喷雾信号进行了重构实验,并计算出了喷雾表面曲率、速度以及其间的耦合关系。

关键词：层析扭曲修正三维曲率表面速度

在线全文

学校读者我要写书评

暂无评论

李贽平等宽容思想探赜

东北师大学报（哲学社会科学版） 2024年第1期 104-110页

作者：于溟跃中国艺术研究院北京100029

李贽平等思想传世的几百年间,因其超越时代的开阔与锋芒而常常被学人论及。而他的宽容理念特别是“恒顺于民”则或困于时代所限,或由于“异端”过甚,或源于世人认知不足,未能得到应有的阐扬。从承续、整合与创新三个视角历史地、系统地... 详细信息

李贽平等思想传世的几百年间,因其超越时代的开阔与锋芒而常常被学人论及。而他的宽容理念特别是“恒顺于民”则或困于时代所限,或由于“异端”过甚,或源于世人认知不足,未能得到应有的阐扬。从承续、整合与创新三个视角历史地、系统地考察李贽平等宽容的理念和思想,把握李贽“疑”与“胆”的思想武器,进而还原其先进与新锐所在,有益于领悟李贽敢于怀疑批判的抗争精神与思想解放的启蒙品质,并能更为真切地定位其在思想史中的历史坐标。

关键词：李贽平等宽容怀疑启蒙思想史

维普期刊数据库博看期刊

Uni-LSDPM:基于预训练的统一在线学习会话退出预测模型

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2024年第2期61卷 441-459页

作者：陈芮王占全华东理工大学信息科学与工程学院上海200237

为了辅助学习者维持在线学习的连贯性以引导最优学习路径的执行,智能辅导系统(intelligent tutoring system,ITS)需要及时发现学习者退出学习的倾向,在合适的时间采取相应的干预措施,因此,在线学习会话退出预测研究十分必要.然而,与传... 详细信息

为了辅助学习者维持在线学习的连贯性以引导最优学习路径的执行,智能辅导系统(intelligent tutoring system,ITS)需要及时发现学习者退出学习的倾向,在合适的时间采取相应的干预措施,因此,在线学习会话退出预测研究十分必要.然而,与传统的课程辍学相比,会话退出发生的频率更高,单次学习时长更短,故需要在有限的行为数据中对学习会话退出状态进行准确预测.因此,学习行为的碎片性和预测结果的即时性、准确性是学习会话退出预测任务的挑战和难点.针对会话退出预测任务,提出了一种基于预训练-微调的统一在线学习会话退出预测模型(unified online learning session dropout prediction model,Uni-LSDPM).该模型采用多层Transformer结构,分为预训练阶段和微调阶段.在预训练阶段,使用双向注意机制对学习者连续行为交互特征序列的特征表示进行学习.在微调阶段,应用序列到序列(sequenceto-sequence,Seq2Seq)的注意力机制对学习者连续行为交互特征序列与退出状态联合序列进行学习.基于EdNet公共数据集对模型进行预训练和微调,通过消融实验以获得最佳预测效果,并基于多个数据集进行了对比测试实验.实验结果表明,Uni-LSDPM在AUC和ACC方面优于现有的模型,并证明该模型具有一定的鲁棒性和扩展性.

关键词：注意力机制学习会话退出预测智能辅导系统预训练

在线全文

学校读者我要写书评

暂无评论

串联式锚定板抗拔承载特性及影响因素分析

中南大学学报（自然科学版） 2024年第4期55卷 1537-1550页

作者：刘杰邹希全湖南工业大学土木工程学院湖南株洲412007

为提高锚定板抗拔承载能力,设计串联式锚定板锚固系统。借鉴侧向受荷桩的“M”法,通过锚固系统受力平衡条件及位移连续性条件,提出串联式矩形锚定板锚固系统抗拔力-位移关系的理论分析方法。基于FLAC3D有限差分软件,建立锚定板锚固系统... 详细信息

为提高锚定板抗拔承载能力,设计串联式锚定板锚固系统。借鉴侧向受荷桩的“M”法,通过锚固系统受力平衡条件及位移连续性条件,提出串联式矩形锚定板锚固系统抗拔力-位移关系的理论分析方法。基于FLAC3D有限差分软件,建立锚定板锚固系统与土相互作用的数值模拟模型,进行埋设于黏性土中不同尺寸的方形锚定板抗拔承载力室内模型试验。结合室内模型试验及数值模拟结果,通过拟合分析,获得串联式矩形锚定板锚固系统抗拔力-位移关系的近似解析解,将3个工程案例中不同尺寸及埋深的锚定板抗拔力-位移的现场试验结果与理论分析及数值模拟结果对比,验证理论分析方法及数值模拟结果的正确性。探讨串联式方形锚定板锚固系统埋深及相邻锚定板间距对锚固系统抗拔承载力的影响。研究结果表明:当锚定板锚固系统埋深H<5b(b为锚定板边长)时,其破坏模式呈现浅埋锚定板的破坏特征;当埋设深度H≥5b时,其破坏模式呈现深埋锚定板破坏特征。对于串联式锚定板锚固系统,为避免相邻锚定板相互影响而降低锚固系统的抗拔承载能力,相邻锚定板间距应满足L≥3b。

关键词：串联式锚定板锚固系统抗拔承载力抗拔力-位移关系解析解数值模拟

维普期刊数据库博看期刊

结合拉曼光谱主成分分析-线性判别进行蛇纹石玉产地溯源的探索

在线全文

学校读者我要写书评

暂无评论

光谱学与光谱分析 2024年第9期44卷 2551-2558页

作者：叶旭杨炯丘志力岳紫龙南阳师范学院珠宝玉雕学院河南南阳473061 中山大学地球科学与工程学院广东省地球动力作用与地质灾害重点实验室广东广州510275 泰山学院旅游学院泰山研究院山东泰安271000

蛇纹石是中国最早使用的玉石之一,开展蛇纹石玉的产地溯源探索,对认识中国古代玉文化发展历程,重建古代玉石贸易路线均有重要的意义。但由于蛇纹石玉产地众多,目前尚没有成熟的蛇纹石玉产地溯源的判别技术。以产自陕西汉中、甘肃敦煌、... 详细信息

蛇纹石是中国最早使用的玉石之一,开展蛇纹石玉的产地溯源探索,对认识中国古代玉文化发展历程,重建古代玉石贸易路线均有重要的意义。但由于蛇纹石玉产地众多,目前尚没有成熟的蛇纹石玉产地溯源的判别技术。以产自陕西汉中、甘肃敦煌、河南栾川、辽宁岫岩、山东泰安、甘肃武山6地的蛇纹石玉为研究对象,在66块样品上共采集到200个高质量拉曼光谱数据,并在对测试结果进行主成分分析(PCA)的基础上建立了线性判别分析(LDA)的产地判别模型。结果显示,不同产地蛇纹石玉的矿物组成有所差异,汉中蛇纹石玉的主要矿物成分有纤蛇纹石和利蛇纹石两种;敦煌蛇纹石玉则为纤蛇纹石和利蛇纹石的均匀混合型;泰安蛇纹石玉的主要矿物成分有利蛇纹石(墨玉)和叶蛇纹石(碧玉和翠斑玉)两种;河南栾川、辽宁岫岩、甘肃武山蛇纹石玉的主要矿物成分均为叶蛇纹石。在严格控制实验条件的前提下,将拉曼光谱数据结合PCA+LDA分析可以对不同产地的蛇纹石玉进行区分,所建立的LDA判别模型的训练集数据和测试集数据的产地判别正确率分别达到了96.25%和92.50%。这显示出利用无损检测拉曼光谱技术进行蛇纹石玉产地溯源具有潜在价值。将拉曼光谱无损检测数据结合统计学或机器学习方法来构建判别模型可能是解决蛇纹石玉产地溯源瓶颈新的技术路径。

关键词：蛇纹石玉拉曼光谱产地溯源主成分分析(PCA) 线性判别分析(LDA)

在线全文

学校读者我要写书评

暂无评论

五大连池老黑山熔岩溢出过程和传输系统

岩石学报 2024年第7期40卷 2056-2074页

作者：陈正全赵勇伟吉林长白山火山国家野外科学观测研究站中国地震局地质研究所北京100029 陆内火山与地震教育部重点实验室中国地质大学(北京)北京100083 中国地震局地震与火山灾害重点实验室北京100029

五大连池老黑山火山曾在公元1720-1721年喷发,熔岩出露面积60.2km^(2)。老黑山具有我国境内最新喷溢的熔岩流区,使其成为研究单成因火山熔岩表壳类型、熔岩传输系统和熔岩流灾害的理想对象。老黑山火山喷发兼具爆炸性与溢流性,以溢流性... 详细信息

五大连池老黑山火山曾在公元1720-1721年喷发,熔岩出露面积60.2km^(2)。老黑山具有我国境内最新喷溢的熔岩流区,使其成为研究单成因火山熔岩表壳类型、熔岩传输系统和熔岩流灾害的理想对象。老黑山火山喷发兼具爆炸性与溢流性,以溢流性为主。本文使用0.05~0.92m/pix无人机航拍数据和12.5m/pix卫星数据,在实地验证的基础上,制作了11000比例尺熔岩流分布过程图。我们将老黑山的6个熔岩流区界定为相应熔岩溢出口的产物,并区分出每个熔岩流区内部的亚区和岩流组。本文归纳出不同尺度熔岩流边界界定的2个标准:(1)熔岩流区的边界界定,需要以大尺度的地形凹陷和沟谷为线索,以熔岩趾分布和压盖关系辅助确定;(2)熔岩流区内部岩流组的界定,更多地依赖于熔岩表壳相组合分析,并辅以地形特征确定。通过对岩流表壳相的分析,本文总结出老黑山熔岩流主要由渣状岩流传输模式主导,同时具有结壳岩流传输和膨胀传输类型。根据老黑山不同岩流的分布和传输特征,我们提出了使用逐层、逐组估算岩流体积的方法。老黑山火山爆炸性碎屑物体积为70×10^(6)m^( 3),爆炸性喷发指数VEI=1~2;熔岩流体积为290×10^(6)m^( 3),溢流式喷发的等级(magnitude)为4.9。根据与Puu Oo 1983-84岩流特征进行对比,推测老黑山喷发烈度为弱-中等(intensity=4~8)。

关键词：五大连池老黑山岩流表壳类型熔岩传输体积估算