课程文献中心 更多>>

关键词： γ-TiAl合金   塑性变形   组织演变   热加工性能  

摘要： γ-TiAl合金极差的热成形性严重制约了其在航空发动机构件中的应用前景。为突破Ti-48Al-2Cr-2Nb(4822)合金热成形窗口狭窄导致的锻造受限问题,本研究提出一种通过三向压应力锻造变形与两级热处理实现晶粒等轴化的工艺,显著拓宽了4822合金的热成形窗口。在三向压应力辅助下4822合金可在1200℃-1s-1的条件实现锻造变形60%无裂纹;随后,通过两级热处理,毫米级片层团转变为5μm等轴γ晶粒,改善了4822合金高温塑性。在应变速率为0.001s-1,变形量60%的条件下,最低可成形温度从1350℃降低至1000℃,为4822航发叶片的锻造成形提供了可行性。

关键词： 盾构对接   人工冻结   冻胀效应   邻近隧道   地层变形模量   模型试验  

摘要： 盾构对接冻结施工引起冻胀效应的影响规律是评价临近隧道稳定性及采取应对措施的依据,而临近隧道约束状态直接决定冻胀效应分布特征。依托大直径盾构江底对接工程,设计进行了隧道结构恒载自由移动及固定两种极限边界条件的冻结模型试验,研究冻结过程中地层温度、冻胀力与位移的演化规律,获得邻近隧道的力学响应与位移变化特征。盾构外侧发散布孔条件下,冻结70d时冻结管与盾构之间土体被冻实,165d时盾构对接位置冻结壁厚度达到6m,而平均温度为-16.1℃;盾构外部冻土形成过程引起临近隧道的最大冻胀位移为9.6mm,而作用在隧道表面冻胀力的最大增幅约为原始地层压力的14.1%;冻土与隧道间未冻地层压缩变形和冻胀力分散效果是影响隧道结构承受冻胀效应的重要因素,未冻地层平均变形模量随着冻结壁厚度增加而近线性增大,粉质粘土地层平均变形模量介于20.8~49.3MPa。研究结果表明,临近隧道的约束状态显著影响冻胀位移及承受冻胀力的变化过程,而未冻地层被压缩过程会吸收部分冻胀效应,从而减小施工的冻胀影响。

关键词： 连续刚构桥   双柱薄壁墩   单柱壁厚   双柱间距   墩高   地震易损性   抗震性能  

摘要： 双柱薄壁墩的刚度对于连续刚构桥的抗震性能有着显著影响.本文首先基于OpenSese平台建立了某双柱薄壁墩刚构桥的主桥有限元模型,并根据既有的双柱薄壁墩拟静力试验结果,对比了试验和有限元所得的滞回曲线和骨架曲线,验证了有限元模型的准确性.然后基于延性抗震设计概念,通过截面性能分析,对桥墩的损伤指标进行定义和量化,并建立了双柱薄壁墩刚构桥的主桥的地震易损性模型.最后,基于地震易损性分析方法评估了双柱薄壁墩的单柱壁厚、双柱间距和墩高对连续刚构桥抗震性能的影响.结果表明:通过增大双柱薄壁墩的双柱间距和单柱壁厚在一定程度上可以有效地提高桥墩的抗震性能,然而这种提升效果是有限的,且不同墩高下双柱间距与单柱壁厚的最优比值不同.在墩高不超过90m的情况下,为使抗震性能最优、材料使用经济合理,建议双柱间距与单柱壁厚的比值为10.5.

关键词： 替罪羊树   函数式建模   Isabelle定理证明器   机械化验证  

摘要： 基于机器定理证明的形式化验证方法通过数学逻辑推理确保软件系统符合形式规约,从而有效规避潜在缺陷引发的严重后果,是确保软件正确性的重要方法.替罪羊树是一种平衡二叉搜索树,与常见的平衡二叉搜索树不同的是,它创新性地采用惰性平衡机制,仅当特定子树的不平衡度超过阈值时才触发重构操作维护平衡,避免了过大的开销,但其正确性验证是一个难题.为此,本文首次在Isabelle中给出了替罪羊树重构、插入、删除操作的函数式建模,并在Isabelle 定理证明器中对上述操作进行机械化验证.从验证过程、验证脚本的模块化和代码的可执行性 3 个方面与Dafny验证进行对比.相较于目前替罪羊树结构的Dafny 验证,定理数由180减少到113,且无需构造中间断言,减轻了验证的负担.

关键词： 数据生产要素   场景适配性   生产函数   新质生产力   数字经济   DDSA生产函数  

摘要： 在数字经济蓬勃发展的时代背景下,数据日益成为推动经济社会发展的关键生产要素,但围绕其内涵界定、特征属性及作用机理等核心问题,学界仍存在诸多争议和认识分歧。文章基于马克思主义政治经济学的生产要素理论和现代经济增长理论,构建了数据生产要素的系统性理论分析框架。研究首先从概念谱系入手,厘清了“数据—数据要素—数据生产要素”三个层次的递进逻辑关系,揭示了数据从一般信息载体向具有生产力属性的生产要素转化的内在机理和演化路径。在概念辨析的基础上,文章深入剖析了数据生产要素的核心特征,阐明了其场景适配性、越用越多的再生性以及稀缺性与再生性辩证统一的独特属性,这些特征从根本上区别于土地、劳动力、资本等传统物质要素,体现了数据作为新型生产要素的特殊价值规律。研究发现,数据生产要素的价值实现高度依赖于特定应用场景,通过情境针对性、价值相关性和动态适应性三个维度与场景深度融合,在场景适配过程中动态生成和实现价值增值。基于对数据生产要素特殊规律的认识,文章创新性地提出了“数据驱动场景适应型生产函数”(DDSA生产函数)的理论模型,通过引入场景变量S作为核心构件,将技术进步从外生变量转化为内生函数A(S),系统重构了传统生产函数理论框架。DDSA生产函数不仅科学解释了数据与传统生产要素深度融合的动态规律,更揭示了数据驱动下生产方式从“资源导向”向“场景导向”、从静态均衡向动态优化、从封闭系统向开放网络转变的深层逻辑。研究进一步阐明了数据生产要素与新质生产力发展的内在关联,论证了数据生产要素通过重塑生产组织方式、催生新兴产业业态、优化资源配置效率、驱动技术范式变革等多重机制,成为推动新质生产力形成和发展的核心引擎。文章的理论贡献在于构建了数据生产要素从概念内涵到价值实现、从微观机理到宏观影响的完整理论体系,为理解数字经济运行规律、推动数据要素市场化配置改革、加快发展新质生产力提供了系统的理论支撑和政策参考。研究结论对于完善数据要素基础制度体系、培育数据要素市场、提升数据要素配置效率具有重要的理论价值和实践指导意义。

关键词： 耕地   承载潜力   膳食营养   生产潜力   陕西省  

摘要： 面向联合国可持续发展目标(SDG 2)提出的“消除饥饿、改善营养及促进可持续农业”愿景,本研究基于不同生活水平营养需求和耕地生产力完善了耕地承载潜力的评价方法,评估区域粮食安全保障能力。该研究基于耕地生产潜力、结合多情景营养需求分析(温饱、小康、富裕生活水平及纯植物、动植物膳食结构),系统测算了陕西省耕地的承载(潜)力及其指数。结果表明:1)在区域指定作物最高单产情景(情景三)下,陕西省耕地可提供137.64万亿kcal能量、398.20万t蛋白质和115.07万t的脂肪,较2023年实际生产力分别提升150%、188%和55%。2)陕西省耕地极限承载力的营养短板会随膳食结构调整发生转变。在情景三下:采用纯植物膳食结构时,脂肪供给成为系统短板,理论承载潜力可达1.82亿人;而引入动物性食品形成动植物膳食结构时,能量供给转为短板,承载潜力降至0.67亿人。3)陕西省耕地承载潜力在不同生活水平与膳食结构下的均为盈余,且承载潜力较高的县区主要在陕北和关中地区。4)陕西省耕地承载力指数在热量、蛋白质、脂肪营养指标上呈现显著空间分异特征,超载县区呈Z字分布,关中、陕南西南部和陕北中部地区普遍较高,陕南西部和陕北北部地区相对较低。该研究量化了陕西省耕地资源承载潜力随生活水平与营养需求提升的理论阈值,为其具备支撑居民生活富裕阶段的粮食安全保障能力提供了佐证。

关键词： 木质素   香草醇   热解   酚类   DFT  

摘要： 木质素热解作为一种极具前景的途径,在生产高价值酚类化学品的可持续性方面表现突出。然而,阐明错综复杂的自由基反应网络仍然是优化产物选择性的主要瓶颈。本工作构建了一个标准化的DFT计算数据库。该数据集描绘了香草醇在823.15 K下的快速热解。它包含三个核心要素:主要反应路径、热力学能垒以及原子级电子指纹。最终,这些见解为数据驱动的催化剂发现铺平了道路,并为精准调控木质素解聚提供了理论基础。

关键词： 二仙汤   促渗剂   主成分分析   指纹图谱相似度   满意度函数   体外透皮   黄柏碱   芒果苷   阿魏酸   小檗碱   仙茅苷   朝藿定A1   朝藿定A   朝藿定B   朝藿定C   淫羊藿苷   薄荷脑   氮酮   冰片  

摘要： 目的 构建一种适用于中药复方透皮促渗剂筛选的评价体系,并将其用于二仙汤复合促渗剂的优选。方法 以薄荷脑、氮酮、冰片为促渗剂,设计L9(34)正交试验。测定10个指标成分(黄柏碱、芒果苷、阿魏酸、小檗碱、仙茅苷、朝藿定A1、朝藿定A、朝藿定B、朝藿定C、淫羊藿苷)的48 h单位面积累积渗透量(Q48)、稳态渗透速率(steady-state flux,Jss)与增渗比,利用主成分分析(principal component analysis,PCA)对多维渗透参数进行降维处理,同时引入指纹图谱相似度(S)作为质量约束条件。将上述主成分得分与指纹图谱相似度通过满意度函数进行加权整合,计算综合满意度(D),并以D作为响应值进行极差和方差分析,筛选最佳促渗剂配方。结果 筛选得到最优复合促渗剂配方为2%薄荷脑、1%氮酮。验证实验表明,该组成在具备卓越促渗效果的同时,指纹图谱相似度S保持在0.9以上,兼顾“高效促渗”和“质量保真”。结论 构建的“PCA降维-指纹图谱约束-满意度函数整合”系统,能够有效解决多指标优化中信息冗余与决策矛盾的问题,为中药复方复合促渗剂筛选提供可借鉴的研究范式。

关键词： 饲草谷子   添加剂   青贮品质   隶属函数分析  

摘要： 试验旨在探究不同类型添加剂对饲草谷子青贮品质的影响。以草6号、草28号、张青谷5号3种饲草谷子为研究对象,每个品种分别设5个处理组,对照组(CK组)不做任何处理,试验组分别添加0.1%EM复合菌剂(EM组)、0.1%纤维素酶(C组)、0.5%尿素(U组)和0.1%纤维素酶+0.5%尿素(CU组),每组设3个重复。发酵60 d后,测定各组青贮的营养品质。结果显示,各组青贮饲料的感官评分均为良好。与CK组相比,各品种EM组pH值降低,而U组pH值提高。各品种CU组粗蛋白(CP)含量最高,酸性洗涤纤维(ADF)和中性洗涤纤维(NDF)含量最低。草6号U组、草28号EM组可溶性碳水化合物(WSC)含量显著低于CK组(P<0.05)。隶属函数综合评价表明,草6号和草28号CU组得分最高,分别为3.967和5.355,整体排名分别为第1和第3;而张青谷5号的CK组得分最高(3.281),整体排名第5。研究表明,草6号和草28号适宜采用纤维素酶与尿素复合添加进行青贮处理,张青谷5号可直接青贮或添加EM复合菌剂进行青贮。

关键词： 动态模态分解   筛选方法   连续裂缝检测   降维方法   特征评估  

摘要： 混凝土表面裂缝是评估结构损伤、适用性和耐久性的早期指标之一。本研究提出了一种新颖的方法,用于检测混凝土裂缝并评估裂缝特征。该方法引入动态模态分解(DMD)算法,通过分析DMD谱识别视频中每一帧的裂缝。由于裂缝中包含多种类型的噪声,本文提出了基于连通组件的筛选方法,以去除气泡和斑点等噪声。将所提出的裂缝检测方法应用于轴向载荷下立方体混凝土试块的裂缝发展检测,结果表明该方法能够较稳定地识别试验视频中的主要裂缝特征。由于视频帧生成的数据量庞大,不利于快速检测,因此本文还讨论并比较了基于归一化奇异值的降维方法。在裂缝被识别后,评估裂缝面积、方向和周长的时间变化,这有助于分析裂缝特性并理解结构性能,积累的裂缝特征数据库将为寿命预测提供有用信息。