检索结果-南通市图书馆

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

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

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

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

归安姚氏咫进斋藏书考略

文献 2024年第5期 168-186页

作者：林振岳上海交通大学人文学院

归安姚氏咫进斋为清代江南著名私家藏书楼。其藏书清末售归学部,筹建京师图书馆,是今国家图书馆最早入藏的一批善本。根据日记、书札、书目等史料考察姚氏藏书聚散始末,咫进斋藏书精本多得自蔡氏醉经轩、刘喜海、刘履芬旧藏,姚觐元、姚... 详细信息

归安姚氏咫进斋为清代江南著名私家藏书楼。其藏书清末售归学部,筹建京师图书馆,是今国家图书馆最早入藏的一批善本。根据日记、书札、书目等史料考察姚氏藏书聚散始末,咫进斋藏书精本多得自蔡氏醉经轩、刘喜海、刘履芬旧藏,姚觐元、姚慰祖父子生前即在苏州开设尊古堂书坊出售藏书。清末觐元之孙姚绳武将咫进斋藏书售归京师图书馆时,端方从中抽走数种精本。另有部分碑帖书籍售予盛宣怀愚斋图书馆。民国后姚氏藏书仍陆续散出,1927年张元济见到咫进斋未刻稿数种,为之谋刊。罗振常蟫隐庐曾经手姚氏藏书数十箱,傅增湘也曾收得数种。姚氏藏书售归京师图书馆的部分,1933年赵万里编纂《国立北平图书馆善本书目》时从善本书库中删汰近半,部分藏书随“甲库善本”南迁、运美、抵台,现今分藏北京、台北两地。

关键词：姚觐元姚慰祖姚绳武咫进斋京师图书馆

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

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

某会展中心项目二期工程水系统设计优化分析

给水排水 2024年第5期50卷 84-88,94页

作者：施锦岳同济大学建筑设计研究院(集团)有限公司上海200092

给排水系统设计是大型会展工程设计的重点和难点之一,系统的优劣直接会影响会展后期运营、使用及维护。将某大型国际会展中心项目二期工程的给排水及消防系统,与一期系统进行对比,总结了大型会展项目在给排水及消防系统上的给排水系统... 详细信息

给排水系统设计是大型会展工程设计的重点和难点之一,系统的优劣直接会影响会展后期运营、使用及维护。将某大型国际会展中心项目二期工程的给排水及消防系统,与一期系统进行对比,总结了大型会展项目在给排水及消防系统上的给排水系统设计原则和思路,采用大空间消防炮灭火系统和地埋式消火栓对展厅进行保护,并设置成品展位箱作为布展接口。

关键词：大型会展室内消火栓自动洒水灭火系统固定消防水炮灭火系统

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

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

海外学者关于中国全面深化改革的研究述评

国外理论动态 2024年第2期 11-20页

作者：张克刘馨岳中央党校(国家行政学院)公共管理教研部新疆维吾尔自治区党委党校(新疆行政学院)公共管理教研部

近年来,海外学者积极关注中国全面深化改革进程,围绕中国全面深化改革的顶层设计以及各重点领域开展研究。许多海外学者认为,中国全面深化改革取得了重要进展,改革决策体制机制进一步优化。海外学者对全面深化改革的研究呈现出一些新特... 详细信息

近年来,海外学者积极关注中国全面深化改革进程,围绕中国全面深化改革的顶层设计以及各重点领域开展研究。许多海外学者认为,中国全面深化改革取得了重要进展,改革决策体制机制进一步优化。海外学者对全面深化改革的研究呈现出一些新特点,如宏观战略与微观议题相结合,区域国别研究与学科理论研究相呼应,中外合作研究增多,认同支持、真诚建议和意识形态偏见共存。新时代新征程上,我们要着力创新中国改革叙事话语体系,提高国际传播针对性、有效性,扩大对海外学者的影响辐射能力,有形有感有效讲好中国改革故事。

关键词：全面深化改革海外学者英文文献国际传播

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

“两个结合”视域下新时代乡村文化振兴研究

现代商贸工业 2024年第12期45卷 18-20页

作者：刘展鹏东北财经大学马克思主义学院辽宁大连116012

乡村文化振兴,是乡村振兴的铸魂工程。为破解乡村文化衰落难题,亟须我们以“两个结合”为方法论来推进乡村文化振兴。在我国全面建设社会主义现代化国家的起步关键阶段,“两个结合”为推进乡村文化振兴提供了先进的思考方法与实践指引,... 详细信息

乡村文化振兴,是乡村振兴的铸魂工程。为破解乡村文化衰落难题,亟须我们以“两个结合”为方法论来推进乡村文化振兴。在我国全面建设社会主义现代化国家的起步关键阶段,“两个结合”为推进乡村文化振兴提供了先进的思考方法与实践指引,筑牢乡村振兴的文化根基、以文化赋能中国式现代化。

关键词：乡村振兴战略乡村文化振兴 “两个结合” 中华优秀传统文化

以“第二个结合”推进乡村文化振兴的逻辑意蕴

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

在线全文

学校读者我要写书评

暂无评论

智慧农业导刊 2024年第15期4卷 177-180页

作者：刘展鹏东北财经大学马克思主义学院辽宁大连116012

“第二个结合”是新时代中国共产党领导人民在文化领域进行务实实践的理论结晶,对新时代推进乡村文化振兴有着全新的方法论意蕴。“第二个结合”同乡村文化振兴有着深刻的契合关系,两者都坚守于知行合一的践悟立场,并统一于中国式现代... 详细信息

“第二个结合”是新时代中国共产党领导人民在文化领域进行务实实践的理论结晶,对新时代推进乡村文化振兴有着全新的方法论意蕴。“第二个结合”同乡村文化振兴有着深刻的契合关系,两者都坚守于知行合一的践悟立场,并统一于中国式现代化的光明伟业。“第二个结合”解析出乡村文化振兴的时代意涵,并指明乡村文化振兴立足新时代的核心实践。“第二个结合”为推进乡村文化振兴明晰出原则遵循,解答出新时代新征程中乡村文化振兴所要坚定的政治立场以及中心问题,为乡村文化振兴提供了重要的方法论指引。

关键词：第二个结合乡村振兴乡村文化振兴乡村文化中华优秀传统文化