课程文献中心 更多>>

关键词： 数字孪生   实时映射   设备状态   自动线   汽车ESC电磁阀   预测维护  

摘要： 针对汽车电子稳定控制系统（ESC）电磁阀自动线工序耦合紧密、故障隐蔽性强、状态感知维度单一及退化预测滞后等问题，传统监测手段难以实现高保真虚实映射与早期主动预警。为此，提出一种基于数字孪生的设备状态实时映射与预测维护方法。首先，针对压装、铆接、测试3个关键工位，构建高保真几何模型与行为模型，引入力-位移耦合约束，以保证结构与逻辑的一致性；其次，通过多源传感器采集振动、压力及流量信号，该信号经数据清洗与特征对齐后驱动孪生模型同步运行，并设计状态残差计算机制，以实现异常的快速定位；最后，在孪生模型中嵌入退化特征提取与剩余寿命预测模型，形成“感知—映射—预测—决策”闭环维护架构。实验结果显示，在保压稳态工况下，压力映射均方根误差≤0.05 MPa，预警提前时间达168～212次工作循环，显著优于对比方法，表明所提方法在映射精度与早期预警能力上具有优势。

关键词： 产出导向   知识图谱   课程思政   五维评价   三维融合  

摘要： 工程教育认证强调以学习成效为导向的课程建设要求。“复变函数与积分变换”课程面临着学生对课程价值认知不足、课程内容与其他专业课程联系不紧密、教学方式较为单一，以及思政育人功能发挥不充分等问题。为此，将知识图谱、课程思政与多维评价有机融入教学全过程。在教学过程中，通过梳理课程知识结构，构建可视化知识图谱，采用“三段式”混合教学，增强学生学习参与度。在充分挖掘思政元素的基础上，建立与毕业要求指标相衔接的评价体系。实践表明：学生课堂参与情况明显改善，人均自主学习次数较改革前提高91.83%，课程优良率提升了14.51%，课程目标达成度由0.68提高至0.78，改革促进了知识图谱应用、课程思政建设与评价机制协同，实现了知识学习、能力提升和价值塑造的有机统一，为地方高校数学基础课程教学改革提供借鉴。

关键词： 人工智能   二次函数   动态可视化   教学设计  

摘要： 本文依托动态数学软件GeoGebra,探讨人工智能背景下二次函数教学的可视化转型路径。通过分析教学难点与学生认知特点,提出可视化引导、参数驱动、任务递进与反思归纳四项教学策略,并在具体课堂设计中加以应用。研究显示,GeoGebra能有效促进学生对二次函数结构的理解与规律发现,增强学习过程的直观性与互动性,推动学生由操作体验走向逻辑推理与建模思维的生成。教学实践表明,策略驱动的设计有助于落实数学核心素养,提升课堂教学的探究性与开放度。

关键词： 后量子安全性   哈希函数   双分组长度   压缩函数   坍塌性  

摘要： 双分组长度哈希函数是提高哈希函数具体安全性的一种经典方法,该结构已被证明在一定条件下能达到最优的量子抗碰撞性.然而,针对坍塌性这一适用性更强的量子安全模型,双分组长度哈希函数能否达到最优具体安全性还是一个开放性问题.为了进一步研究此问题,考虑在量子条件下抗碰撞性的扩展属性坍塌性,并研究基于随机谕言机的Nandi之双分组哈希结构的坍塌性.提出当结构内的置换π完全是由若干个c-循环（c-cycle）置换(即对于任意x∈{0, 1}m,πa（x）=x当且仅当a=c)组成时,该结构的坍塌性达到最优,而构造满足由若干个c-循环置换组成的置换π是简单的.最优的坍塌性意味着当随机谕言机输出大小为n比特时,敌手至少进行O(22n/3)次查询,才能有效区分测量量子叠加信息的哈希值与测量量子叠加信息本身两个状态.该最优结构也可由Merkle-Damg?rd结构进行扩展,扩展后的哈希函数仍具有坍塌性,这为今后坍塌哈希函数的设计提供了理论基础.

关键词： 时间分数阶CH-γ方程   半固定变量分离法   动力系统方法   精确解  

摘要： 相较于整数阶非线性偏微分方程的求解，分数阶非线性偏微分方程的求解难度极大.在半固定式变量分离法的基础上，将幂函数设定成一个非线性时间分数阶偏微分方程解的架构，进而将时间分数阶CH-γ方程约化成高阶的常微分系统，然后利用动力系统相图分析法，探究了时间分数阶CH-γ方程的精确解及其动力学性质.在一些特定的参数条件下，获得了时间分数阶CH-γ方程的各种精确解，并通过解在时间与空间维度上演化的三维坐标图形，直观地展示了一部分解的动力学行为.

关键词： 交错并联DC-DC变换器   恒功率负载   分岔   混沌  

摘要： 恒功率负载(constant power load， CPL)的负阻抗抵消了交错并联DC-DC变换器的正阻尼，使得系统的总阻尼减小，易引发振荡失稳。本文以带恒功率负载的交错并联Boost变换器为研究对象，采用S型函数建立了系统连续光滑的数学模型，该模型能够统一描述变换器的连续导通模式以及断续导通模式。采用Floquet理论对系统的稳定性进行了分析，结果表明当参数发生改变时，系统会发生Neimark–Sacker分岔而导致失稳。通过实验验证了理论分析以及仿真结果的正确性。所提出的分析方法能够为合理选择参数，提高系统稳定性提供理论依据。

关键词： 飞机电源系统   可靠性   共因失效   贝叶斯网络   Copula函数  

摘要： 为准确计算具有共因失效部件的飞机电源系统的可靠性，将Clayton copula函数与贝叶斯网络相结合进行可靠性计算。根据相依部件的共因失效比例求出Clayton copula函数的相关性参数θ值；利用Clayton copula函数计算相依部件子系统的故障概率；结合贝叶斯网络评估飞机电源系统的可靠性。计算结果对比分析表明，该方法计算得到的飞机电源系统可靠度与实际情况更加吻合。

关键词： 构造函数   非函数问题   解法  

摘要： 以实际应用、集合、立体几何、解析几何、数列、向量等非函数类问题为例，探究构造函数解决问题的路径与方法.

摘要： 同学们，学完“一次函数”，你是否已经体会到代数与几何之间的紧密关联？今天，我们就以“数形结合”为主线，深入一次函数的本质，从数中见形，从形中得数。准备好了吗？我们即将启程！以数定形如图1，已知直线l1的表达式为y=x+1，直线l2的表达式为y=ax+b（a≠0），两条直线相交于y轴上一点C，直线l1与x轴交于点A，直线l2与x轴交于点B（2,0）。

关键词： 多无人机   农田场景   分布式模型预测控制   控制障碍函数   运动规划  

摘要： 针对大面积农田植保、巡检和精准作业中多无人机协同飞行面临的动态障碍、构型保持和实时安全约束问题,构建了面向农田场景的多无人驾驶航空器运动规划策略,采用二阶无人机动力学模型、全联通通信拓扑和期望编队约束,基于分布式模型预测控制框架构造控制障碍函数安全约束,并模拟防风林、中心灌溉塔、农田电力线、移动拖拉机和综合障碍等场景。仿真结果显示,所构建的DMPC-CBF方法在18组对比实验中保持零碰撞,显著降低构型误差和控制能耗,验证了其在复杂农田环境中的安全性与适用性。