期刊文献+
共找到1,287篇文章
< 1 2 65 >
每页显示 20 50 100
A Palladium Based Alloy for Prosthetic Dentistry: Structure and Properties
1
作者 STEPANOVA Galina PARUNOV Vitaly +2 位作者 VASEKIN Vasily KAREVA Maria SINAGEJKINA Julia 《贵金属》 CAS CSCD 北大核心 2012年第A01期269-272,共4页
Using the results of physical and chemical researches and mechanical tests of the Pd-Au-Cu-Sn system alloys, a new palladium-based alloy has been chosen and studied in detail. It has a higher plasticity and a lower ha... Using the results of physical and chemical researches and mechanical tests of the Pd-Au-Cu-Sn system alloys, a new palladium-based alloy has been chosen and studied in detail. It has a higher plasticity and a lower hardness than the Palladent alloy, widely used in prosthetic dentistry: its hardness is lower than 300 MPa, and its specific elongation is 10%~14 %. At the same time, such important practical characteristics of the alloys as the strength of adhesion to ceramics and thermal expansion coefficient are almost similar. 展开更多
关键词 prosthetic dentistry palladium-based alloy physical and chemical properties mechanical tests phase diagram
在线阅读 下载PDF
城市轨道交通信号系统测试序列自动生成方法研究 被引量:2
2
作者 张锐 司鑫悦 王成志 《都市快轨交通》 北大核心 2025年第2期140-146,共7页
针对目前国内城市轨道交通信号系统现场工程验收测试方法单一、周期长、效率低、成本高、任务重和工作量大等问题,研究一种适用于现场工程验收测试序列自动生成的方法。首先分析城轨信号系统互联互通测试案例集约束条件,将线路划分成若... 针对目前国内城市轨道交通信号系统现场工程验收测试方法单一、周期长、效率低、成本高、任务重和工作量大等问题,研究一种适用于现场工程验收测试序列自动生成的方法。首先分析城轨信号系统互联互通测试案例集约束条件,将线路划分成若干独立测试区段;其次将线路特征量转化为计算机能够识别的形式化语言,提高编辑效率和人机交互体验;然后应用辅助生成工具自动生成若干条现场可执行的工程验收测试序列;最后选取真实线路作为测试对象,验证工程验收测试效率。研究表明:相较于传统的人工设计测试序列的方法,通过形式化语言设计的测试序列,满足工程验收要求,覆盖互联互通测试案例,能够缩短现场测试时间,提高测试效率。 展开更多
关键词 城市轨道交通 信号系统 CBTC 互联互通 工程测试 形式化语言 测试顺序
在线阅读 下载PDF
空间精密运动机构微振动传递特性试验与分析
3
作者 崔凯 刘朝晖 +3 位作者 谢友金 王嘉登 吕媛媛 郝鹏宇 《宇航学报》 北大核心 2025年第7期1446-1455,共10页
空间精密运动机构在为跟瞄负载提供刚性支撑与精确指向时,会将卫星平台微振动经机构耦合传递至有效载荷,导致载荷工作性能退化。传统有限元动力学分析需约束扭转刚度或旋转自由度,仅能获取运动机构锁紧状态下的振动特性,而无法排除经锁... 空间精密运动机构在为跟瞄负载提供刚性支撑与精确指向时,会将卫星平台微振动经机构耦合传递至有效载荷,导致载荷工作性能退化。传统有限元动力学分析需约束扭转刚度或旋转自由度,仅能获取运动机构锁紧状态下的振动特性,而无法排除经锁紧机构传递的微振动特征。为突破该局限性,针对某典型空间精密机构开展专项试验。采用电磁激振器实施激励,通过高精度加速度传感器阵列获取机构本体及输出端振动响应的时频特性。试验结果表明,方位轴微振动时域幅值衰减率达40%,俯仰轴衰减量超过90%。频域上,机构除局部频率共振外,在360 Hz~1800 Hz频带范围内呈现40%~80%的抑制效果。其中U型结构主体在特定频段产生5~8倍振动放大,而在400 Hz~600 Hz及1550 Hz~2000 Hz频段实现80%幅值衰减。方位轴振动辐值在600 Hz以内响应无明显放大衰减,但在1156~1331 Hz频段放大4.21倍,其他频段衰减50%以上。俯仰轴在300 Hz~1800 Hz频段幅值抑制率突破80%。本研究创新性地构建了机构运动状态下的振动传递函数,可为高精度空间机构设计和微振动隔离策略提供依据。 展开更多
关键词 空间精密运动机构 微振动 传递试验 衰减 轴系
在线阅读 下载PDF
超声波在人造板无损检测领域应用的研究进展
4
作者 邹红艳 洪问轩 +4 位作者 赵茂程 王军 王正 齐亮 谢为俊 《西部林业科学》 北大核心 2025年第4期123-130,共8页
当前,无损检测技术已经逐渐成为人造板检测的主要手段,超声波无损检测技术凭借着较高检测准确性和高效性成为人造板无损检测技术中应用最广泛的使用方法之一,无损检测技术通过非破坏性方式,能有效检测人造板物理力学性能、表面以及内部... 当前,无损检测技术已经逐渐成为人造板检测的主要手段,超声波无损检测技术凭借着较高检测准确性和高效性成为人造板无损检测技术中应用最广泛的使用方法之一,无损检测技术通过非破坏性方式,能有效检测人造板物理力学性能、表面以及内部缺陷,为人造板质量与安全检测提供了科学依据。根据不同检测原理(脉冲反射法、脉冲透射法、衍射时差法、共振法)、不同探头数量(单个探头、双探头、多个探头)、不同波形(Lamb法、横波法、纵波法、表面波法)以及不同耦合方式(直接接触法、液浸法、电磁耦合法、干耦合法、空气耦合法)对超声波检测方法进行概括分类。从物理力学性能检测与缺陷检测深入分析了国内外超声波在人造板无损检测领域的研究现状、存在的问题以及探究影响超声波检测效果的原因和不同人造板在检测方法、内容上的差异。提出今后应着重关注4个方面研究重点:非接触式技术推动检测智能化与自动化;深度学习算法提升力学性能评估效率;高分辨率成像实现缺陷可视化;化学材料引入对性能检测的影响。 展开更多
关键词 超声波 人造板 无损检测 物理力学性能 缺陷
在线阅读 下载PDF
地震下梁桥纵向限位装置限位效果振动台试验研究
5
作者 朱俊 杨大海 屈宏雅 《工程抗震与加固改造》 北大核心 2025年第2期124-130,共7页
普通板式橡胶支座已成为我国中小跨度公路桥梁上最为常用的支座形式,但汶川地震后震害调查表明:对采用板式橡胶支座的中小跨度梁桥梁,地震作用下,由于支座与梁底钢板间发生相对滑动,从而导致主梁发生较大移位,甚至发生落梁破坏。为了研... 普通板式橡胶支座已成为我国中小跨度公路桥梁上最为常用的支座形式,但汶川地震后震害调查表明:对采用板式橡胶支座的中小跨度梁桥梁,地震作用下,由于支座与梁底钢板间发生相对滑动,从而导致主梁发生较大移位,甚至发生落梁破坏。为了研究采用缆索或黏滞阻尼器限制墩、梁相对位移、减小落梁的风险,本文以一座30m跨径的典型简支梁桥为对象,设计、制造了1/4缩比的振动台模型,采用振动台模型试验方法,研究了地震作用下缆索或黏滞阻尼器的限位效果。结果表明:地震作用下,缆索限位器和黏滞阻尼器均具有较好的位移约束作用;可有效控制强震作用下墩梁间的相对位移,同时采用缆索或黏滞阻尼器约束后,桥墩的地震反应增加较小,可避免下部结构造成严重地震损伤。 展开更多
关键词 板式橡胶支座 中小跨径桥梁 缆索限位 黏滞阻尼器 振动台试验
在线阅读 下载PDF
黄河泥沙基碱激发材料渗透性能研究
6
作者 韩立炜 郭瑞斌 +2 位作者 杨延伟 李冰 薛拓 《人民黄河》 北大核心 2025年第10期154-160,共7页
聚焦于碱激发技术,探究了不同掺量碱激发剂对黄河泥沙改性后渗透性能的影响,并通过核磁试验探究了黄河泥沙基碱激发材料细观结构和宏观性能的关系。按设计的配合比,向自制模具中添加不同比例的氢氧化钙、氢氧化钠和黄河泥沙,通过单轴仪... 聚焦于碱激发技术,探究了不同掺量碱激发剂对黄河泥沙改性后渗透性能的影响,并通过核磁试验探究了黄河泥沙基碱激发材料细观结构和宏观性能的关系。按设计的配合比,向自制模具中添加不同比例的氢氧化钙、氢氧化钠和黄河泥沙,通过单轴仪器压制形成黄河泥沙基碱激发材料试样,并对其进行养护。使用自制渗透仪器测定试样的渗透系数,并采用核磁共振成像分析仪来分析黄河泥沙基碱激发材料的细观结构。研究发现,氢氧化钙掺量与渗透系数之间满足三次多项式关系,拟合优度R^(2)达0.95,并建立了渗透系数、龄期和氢氧化钙掺量的拟合公式,R^(2)达0.97;随着氢氧化钙掺量的增大,黄河泥沙基碱激发材料的孔径由小孔转化为微孔;小孔孔隙结构分形维数与渗透系数负相关,小孔占比变化与渗透系数的变化规律一致。 展开更多
关键词 碱激发 黄河泥沙基 渗透系数 核磁试验
在线阅读 下载PDF
中国原地浸出采铀发展史——第一部分:执着追求,勇于探索
7
作者 王海峰 《有色金属(冶炼部分)》 北大核心 2025年第11期186-192,共7页
20世纪60年代,美国及苏联利用地浸技术开采铀矿床的试验取得成功,促进了世界地浸采铀矿山的持续投产,极大地激励了中国从事铀矿开采的科技人员。为探索这一铀矿开采新技术,核工业第六研究所王西文团队先后在广东河源矿床、黑龙江海林山... 20世纪60年代,美国及苏联利用地浸技术开采铀矿床的试验取得成功,促进了世界地浸采铀矿山的持续投产,极大地激励了中国从事铀矿开采的科技人员。为探索这一铀矿开采新技术,核工业第六研究所王西文团队先后在广东河源矿床、黑龙江海林山市501矿床等开展了地浸采铀现场试验,并最终在云南腾冲381矿床取得试验成功,开创了中国地浸采铀的先河。实践证明,地浸采铀技术具有投资少、成本低、不产生废石,无需建设地表尾矿库、安全性和环保性高,特别是可开采常规采矿方法无法经济开采的低品位铀矿的优点。地浸采铀试验在中国的成功告诉我们,科技人员对新技术“执着追求,勇于探索”的精神永远是推动技术进步的法宝。 展开更多
关键词 地浸采铀 技术启迪 试验探索 中试基地
在线阅读 下载PDF
添加少量锌元素对SnSb8Cu4巴氏合金性能的影响
8
作者 戴俊豪 王太信 《轴承》 北大核心 2025年第2期79-84,共6页
研究了质量分数为0.83%的Zn元素对SnSb8Cu4巴氏合金显微组织、硬度及抗高温蠕变性能的影响,结果表明:加入Zn元素后,SnSb8Cu4基体中析出了大量细小弥散的SnSb颗粒,且倾向于沿Sn基体晶界析出,金属间化合物Cu_(6)Sn_(5)和SnSb颗粒的总体积... 研究了质量分数为0.83%的Zn元素对SnSb8Cu4巴氏合金显微组织、硬度及抗高温蠕变性能的影响,结果表明:加入Zn元素后,SnSb8Cu4基体中析出了大量细小弥散的SnSb颗粒,且倾向于沿Sn基体晶界析出,金属间化合物Cu_(6)Sn_(5)和SnSb颗粒的总体积分数从14.9%增加到21.2%;室温下布氏硬度的增加不明显,但100℃下的抗蠕变能力显著提高。Zn元素的加入降低了Sb在Sn基体中的固溶度,使更多的SnSb颗粒沿晶界析出,对蠕变变形过程中晶界滑动起到钉扎作用,从而提高了抗蠕变能力。稳态蠕变阶段,压痕蠕变速率与压痕应力呈指数关系,根据实测数据推导出SnSb8Cu4和SnSb8Cu4Zn的压痕应力指数分别为2.95和2.73。 展开更多
关键词 滑动轴承 锡基巴氏合金 显微组织 硬度 蠕变试验
在线阅读 下载PDF
型钢混凝土剪力墙变形性能指标体系试验研究
9
作者 韩小雷 陈熹俊 +2 位作者 张垒 季静 黄烨华 《同济大学学报(自然科学版)》 北大核心 2025年第6期860-872,共13页
为修正广东省标准《建筑工程混凝土结构抗震性能设计规程》(DBJ/T15-151-2019)中型钢混凝土(SRC)剪力墙的变形性能指标体系,根据我国现行规范,设计了12个一字型SRC剪力墙试件进行低周往复试验,对其破坏形态、耗能能力、变形能力、位移... 为修正广东省标准《建筑工程混凝土结构抗震性能设计规程》(DBJ/T15-151-2019)中型钢混凝土(SRC)剪力墙的变形性能指标体系,根据我国现行规范,设计了12个一字型SRC剪力墙试件进行低周往复试验,对其破坏形态、耗能能力、变形能力、位移延性等进行研究。根据试验结果,提出基于骨架曲线的性能状态划分方法和基于破坏现象的性能状态划分方法,两种方法确定的变形性能指标限值吻合且可相互表征,由此建立构件变形—构件损坏程度—构件承载力的对应关系;基于该研究12个试件和文献收集的92个试件共104个试件的低周往复试验结果,修正了SRC剪力墙的破坏形态判别准则,建立了SRC剪力墙关键性能点θ_(1)、θ_(5)、θ_(6)的回归公式。最后,基于ASCE/SEI41-13对建立的关键性能点回归公式进行超越概率调整,修正了SRC剪力墙的变形性能指标限值。 展开更多
关键词 型钢混凝土剪力墙 变形性能指标 性能设计 低周往复试验
在线阅读 下载PDF
具备承载-耗能双功能的双扭管V型斜撑研究
10
作者 杨鸥 张弘毅 +2 位作者 陈政清 周帅 方聪 《湖南大学学报(自然科学版)》 北大核心 2025年第9期1-16,共16页
提出了一种基于钢管弹塑性扭转变形的承载-耗能双功能阻尼器,采用V字形折线型设计,使构件在外荷载作用下实现弹塑性扭转变形,从而同时提供承载和耗能能力.通过理论分析推导了阻尼器的初始刚度、屈服荷载和屈服位移等基本力学参数,并设... 提出了一种基于钢管弹塑性扭转变形的承载-耗能双功能阻尼器,采用V字形折线型设计,使构件在外荷载作用下实现弹塑性扭转变形,从而同时提供承载和耗能能力.通过理论分析推导了阻尼器的初始刚度、屈服荷载和屈服位移等基本力学参数,并设计了一种双扭管三折线V字形构件,用于框架结构的斜撑,简称为双扭管V型斜撑.在拟静力低周往复加载条件下,试验和仿真结果表明,阻尼器滞回曲线饱满,耗能能力较强,设计位移(50 mm)下的等效黏滞系数达到0.38,达到了屈曲约束支撑(buckling-restrained brace,BRB)的同类指标.试件的刚度退化规律和耗能特性与BRB类似,验证了其作为耗能支撑双功能阻尼器的可行性.仿真结果与试验高度一致,验证了理论模型的准确性.通过优化支撑杆初始角度至25°,构件的拉压不平衡系数降低至1.2,满足相关规范要求,进一步验证了该设计的工程可行性.最后,对构件自身的几何非线性导致的拉压不平衡系数过大的问题进行了详细讨论分析,为后续设计方案改进提供了理论依据. 展开更多
关键词 抗震设计 阻尼 扭转变形耗能 拟静力试验 拉压不平衡系数 防屈曲支撑
在线阅读 下载PDF
基底悬摆隔震结构抗震性能数值分析
11
作者 鲁亮 尹铭昊 +2 位作者 夏婉秋 汪磊 张世宇 《湖南大学学报(自然科学版)》 北大核心 2025年第3期129-140,共12页
基底悬摆隔震(base-suspended pendulum isolation,BSPI)结构是一种新型悬挂隔震结构体系.首先介绍BSPI结构的悬挂隔震层构造和力学模型.然后通过振动台模型试验,验证有限元建模方法的正确性.最后建立BSPI结构和常规框架的有限元模型,... 基底悬摆隔震(base-suspended pendulum isolation,BSPI)结构是一种新型悬挂隔震结构体系.首先介绍BSPI结构的悬挂隔震层构造和力学模型.然后通过振动台模型试验,验证有限元建模方法的正确性.最后建立BSPI结构和常规框架的有限元模型,进行动力时程分析,得到不同地震作用下的结构动力响应,对比分析了BSPI结构和常规框架结构的抗震性能.研究结果表明:BSPI结构因设置了悬挂隔震层,整体抗侧刚度降低,罕遇地震作用下加速度响应显著减小,仅为常规框架的1/5~1/2;通过在悬挂隔震层设置黏滞阻尼器,有效地控制了结构整体位移,相比于BSPI无控结构,罕遇地震作用下BSPI有控结构的上部结构层间位移降低了约50%;罕遇地震作用下,BSPI上部结构的层间位移角小于1/100,满足抗震设防目标. 展开更多
关键词 基底悬摆隔震结构 振动台试验 动力响应 数值模拟 抗震性能
在线阅读 下载PDF
构造混杂岩带软弱基座型滑坡形成机制研究——以白格滑坡为例
12
作者 赵建军 潘浩楠 +1 位作者 贺建先 史彦兵 《人民长江》 北大核心 2025年第9期20-32,共13页
中国青藏高原东缘广泛分布构造混杂岩带,常形成软弱基座型斜坡,其在内外动力作用下极易失稳,制约梯级水电开发和交通廊道等国家重大工程的实施。开展构造混杂岩带软弱基座型滑坡形成机制研究是防灾减灾的关键,具有重要的理论价值和现实... 中国青藏高原东缘广泛分布构造混杂岩带,常形成软弱基座型斜坡,其在内外动力作用下极易失稳,制约梯级水电开发和交通廊道等国家重大工程的实施。开展构造混杂岩带软弱基座型滑坡形成机制研究是防灾减灾的关键,具有重要的理论价值和现实意义。以白格滑坡为研究对象,通过细致的野外调查、大型土工离心机物理模拟和数值模拟等手段,开展构造混杂岩带软弱基座型滑坡形成机制研究。结果表明:白格滑坡原始斜坡为一典型软弱基座型斜坡,其变形演化过程可分为4个阶段,即蠕滑压缩变形下错阶段、裂隙及蚀变黏土的发育和扩展阶段、锁固段剪胀隆起阶段、锁固段剪断和滑坡启动阶段。斜坡的岩性组合特征是控制其失稳模式的最根本原因,蛇纹岩带充当软弱基座,在长期的自重应力作用下发生沉降蠕变,导致坡顶沉降,横向裂缝持续发育扩展逐渐贯通,同时上部岩体不断蠕滑挤压下部阻挡的锁固段岩体,使其发生剪胀隆起。随着时间推移,坡内的节理逐步连通,形成滑动面,底部锁固段剪断破裂,连同主要滑动区域的岩土体一同滑动,引发白格滑坡。研究结果可为软弱基座型滑坡防灾减灾提供科学依据。 展开更多
关键词 构造混杂岩带 软弱基座 滑坡形成机制 土工离心机试验 数值模拟 白格滑坡
在线阅读 下载PDF
地基层析ArcSAR三维点云生成方法
13
作者 田卫明 晏凯 +2 位作者 高嵩 周涵璞 邓云开 《信号处理》 北大核心 2025年第8期1348-1357,共10页
因高度向分辨能力缺失,地基干涉雷达应用于建筑成像时会发生严重的高度向叠掩现象。层析合成孔径雷达(Tomographic Synthetic Aperture Radar,TomoSAR)技术具备高度向分辨能力,能够实现建筑三维成像。地基层析圆弧扫描合成孔径雷达(Grou... 因高度向分辨能力缺失,地基干涉雷达应用于建筑成像时会发生严重的高度向叠掩现象。层析合成孔径雷达(Tomographic Synthetic Aperture Radar,TomoSAR)技术具备高度向分辨能力,能够实现建筑三维成像。地基层析圆弧扫描合成孔径雷达(Ground-based Tomographic Arc-scanning Synthetic Aperture Radar,GB-TomoArcSAR)通过双轴转台控制天线在不同俯仰角度的水平面内进行圆周扫描来获取高度向合成孔径,实现三维层析成像。本文提出了GB-TomoArcSAR的三维点云生成方法,首先构建了适用于高度向弧形采样条件的层析成像几何模型。其次利用基于巴特沃斯滤波器的奇异值分解(Singular Value Decomposition,SVD)方法进行谱估计,找出层析谱中的峰值及其对应的峰值位置,构成层析向目标候选集。随后利用自对消顺序广义似然比(Sequential Generalized Likelihood Ratio Test with Cancellation,SGLRTC)检测器估计散射体的数目与位置,通过设置检测门限将真实目标的峰值及对应的峰值位置从候选集中筛选出来。最后采用基于空间几何分布的点云优化方法剔除误差点,生成点云图像。文章通过点目标和面目标的仿真实验,验证了所提方法适用于GB-TomoArcSAR,能够有效解决高度向多散射体目标的叠掩问题;进一步开展了实测数据验证,基于所提方法获取了北京市一处建筑基坑的层析点云,其与实际场景几何特征一致。 展开更多
关键词 地基层析ArcSAR 三维点云生成 奇异值分解 顺序广义似然比 点云优化
在线阅读 下载PDF
基于井下参数的SCNGO-SVM卡钻预警方法研究 被引量:2
14
作者 张涛 夏鹏 +2 位作者 李军 王彪 詹家豪 《石油机械》 北大核心 2025年第1期20-27,36,共9页
针对卡钻风险预测的问题,提出了一种融合正余弦和折射反向学习的北方苍鹰优化算法(SCNGO)和支持向量机(SVM)的卡钻预警模型。针对北方苍鹰优化算法(NGO)容易陷入局部最优以及初始解的分布具有随机性和非均匀性的特性,引入折射反向学习... 针对卡钻风险预测的问题,提出了一种融合正余弦和折射反向学习的北方苍鹰优化算法(SCNGO)和支持向量机(SVM)的卡钻预警模型。针对北方苍鹰优化算法(NGO)容易陷入局部最优以及初始解的分布具有随机性和非均匀性的特性,引入折射反向学习策略初始化北方苍鹰算法个体、正余弦策略替换原始苍鹰算法的勘察阶段的位置更新公式和正余弦策略的步长搜索因子进行改进,将SCNGO用于SVM寻参,并将模型SCNGO-SVM应用于卡钻预警。研究结果表明:SCNGO在收敛速度、寻优精度等方面明显优于NGO、WOA(鲸鱼优化算法)及SSA(麻雀优化算法);该卡钻预警模型对于卡钻的预测准确率高达97.33%,相较于WOA-SVM、NGO-SVM、SSA-SVM卡钻预警模型,在预测准确率和运算速度上均有较大的提升。该模型为卡钻的预测及其工程应用提供了理论指导。 展开更多
关键词 卡钻预警模型 北方苍鹰优化算法 性能测试 折射反向学习策略 正余弦策略
在线阅读 下载PDF
生成式人工智能赋能高中生物学情境化试题命制初探 被引量:4
15
作者 李琳 范仲云 刘杰 《生物学教学》 北大核心 2025年第5期53-55,共3页
以Kimi平台为例,分析其在科学实验、生命科学史及学习、生活和实践三种情境中命制试题的效果。发现Kimi具有对复杂指令的适应性,具有获取实验数据的迅捷性,能增强题目的趣味性,能准确理解高考评价体系的内涵,同时也发现了Kimi在命题设... 以Kimi平台为例,分析其在科学实验、生命科学史及学习、生活和实践三种情境中命制试题的效果。发现Kimi具有对复杂指令的适应性,具有获取实验数据的迅捷性,能增强题目的趣味性,能准确理解高考评价体系的内涵,同时也发现了Kimi在命题设问角度和命题语言方面的不足,需要人机合力方能创新。 展开更多
关键词 情境化试题命制 生成式人工智能 高中生物学
在线阅读 下载PDF
面向航空软件需求模型的MC/DC测试用例生成方法 被引量:1
16
作者 丁鼎 胡军 +2 位作者 王康星 董泽华 王立松 《小型微型计算机系统》 北大核心 2025年第7期1783-1792,共10页
充分的测试是确保现代航空软件正常运行的必要环节,而传统软件测试方法往往难以满足要求.为此,本文设计了一种面向航空软件领域的测试用例自动生成方法,为自然语言描述下的航空软件需求构建变量关系模型,解析其模型语义创建需求语义树,... 充分的测试是确保现代航空软件正常运行的必要环节,而传统软件测试方法往往难以满足要求.为此,本文设计了一种面向航空软件领域的测试用例自动生成方法,为自然语言描述下的航空软件需求构建变量关系模型,解析其模型语义创建需求语义树,根据安全关键等级选取测试路径、生成不同的覆盖集.为缓解条件互相关联而可能导致修改的条件/判定覆盖失效的问题,本文定义了适用于该需求模型的耦合条件判断及约束准则,提出3种修改的条件/判定覆盖形式并给出相应的覆盖集生成方法;基于覆盖集所确定的等价类和边界,设计了合理有效的测试用例选取策略,自动生成测试用例集.最后,对一个航空软件需求实例进行形式化建模和测试用例生成,证明了上述方法的可行性. 展开更多
关键词 测试用例生成 修改的条件/判定覆盖 基于需求的测试 形式化需求建模
在线阅读 下载PDF
湖南省带量采购和分级管理政策对碳青霉烯类抗生素利用的影响 被引量:2
17
作者 吴泽华 陈君宇 +7 位作者 许林勇 明煜鑫 周宇松 黄勋 付陈超 王朝晖 刘世坤 李佐军 《中国感染控制杂志》 北大核心 2025年第1期105-112,共8页
目的探索抗菌药物带量采购和分级管理政策对碳青霉烯类抗生素利用的影响。方法采用Mann-Kendall趋势检验分析各级医疗机构碳青霉烯类抗生素用药频度(DDDs)、采购金额(Cost)、药品日均费用(DDDc)、每天每1000居民用药频度(DID)的变化趋势... 目的探索抗菌药物带量采购和分级管理政策对碳青霉烯类抗生素利用的影响。方法采用Mann-Kendall趋势检验分析各级医疗机构碳青霉烯类抗生素用药频度(DDDs)、采购金额(Cost)、药品日均费用(DDDc)、每天每1000居民用药频度(DID)的变化趋势,以2020年5月1日为带量采购政策的干预分界点,以2021年9月作为分级管理目录的干预分界点,采用间断时间序列分析法研究带量采购和分级管理政策对碳青霉烯类抗生素临床用药的影响。结果在带量采购政策执行后,碳青霉烯类抗生素DDDs、DID明显上升,但长期趋势变化不显著;与政策执行前相比,碳青霉烯类抗生素的Cost和DDDc瞬时下降,DDDc长期趋势变化显著,但Cost长期趋势变化不显著。分级管理目录更新后,碳青霉烯类抗生素DDDs、Cost瞬时下降,但长期下降趋势不显著,并且DDDc呈长期上升趋势。结论带量采购政策降低了碳青霉烯类抗生素DDDc,短期内降低了Cost;但对DDDs、Cost、DID的长期影响有限;分级管理对医疗机构碳青霉烯类抗生素的利用影响有限。 展开更多
关键词 碳青霉烯类抗生素 抗菌药物带量采购 抗菌药物分级管理 药物利用评价 Mann-Kendall趋势检验 间断时间序列分析
在线阅读 下载PDF
中国综合气象观测系统的业务发展 被引量:1
18
作者 张鹏 李锐 +30 位作者 赵坤 王东晓 王劲松 雷勇 夏祥鳌 咸迪 陈玉宝 吴蕾 赵培涛 郭启云 杨荣康 李翠娜 颜鹏 刘超 王鑫 桂华侨 刘磊 关敏 黄浩 何建新 刘黎平 王宾宾 孙业乐 王一楠 黄勇 胡雯 李柏 王自发 马耀明 刘建国 傅云飞 《气象学报》 北大核心 2025年第3期729-760,共32页
气象观测技术是现代气象科学的基石,推动了学科的发展和业务的进步。20世纪20年代,在中国近代气象科学形成初期,老一辈气象学家就提出了“谋气象学术之进步与测候事业之发展”的中国气象学会宗旨。中国气象观测系统经历了从无到有、从... 气象观测技术是现代气象科学的基石,推动了学科的发展和业务的进步。20世纪20年代,在中国近代气象科学形成初期,老一辈气象学家就提出了“谋气象学术之进步与测候事业之发展”的中国气象学会宗旨。中国气象观测系统经历了从无到有、从人工到自动化、从地面到空间的跨越式发展,已经形成了较为完善的地面观测、高空探测、卫星遥感等多元化的业务观测体系。在这个过程中,科学技术的进步推动了气象观测的不断发展,使得天气预报的准确率和及时性得到了显著提高。从地面气象观测、高空气象探测、海洋气象观测、空间天气观测、天气雷达、气象卫星、地基和空基遥感系统等7个方面概述中国气象观测系统业务的发展历程、现状以及未来的发展趋势。气象观测试验作为气象探测技术发展、探测方法研究、探测装备体系建设的重要创新驱动力在中国观测系统升级换代中发挥了重要的先导和技术支撑作用。概要介绍了中国多源综合观测与大型试验情况。气象观测系统不仅仅是对现有工程技术的应用,更是一个充满未知科学问题、技术挑战和应用领域发展的学科分支。随着观测技术的更新换代,更高精度的传感器和更先进的遥感设备的应用,中国现有的观测设备需要不断更新以保持技术的前沿性和数据的准确性。气象观测系统正在朝着智能化、立体化和全球化的方向发展,大数据、人工智能、量子科技等前沿技术将在未来气象观测系统发展中扮演重要的角色。 展开更多
关键词 综合气象观测 业务发展 地面气象观测 高空气象探测 海洋气象观测 空间天气观测 天气雷达 气象卫星 地基 和空基遥感系统 多源综合观测与大型试验
在线阅读 下载PDF
舰载飞机前起落架弹射起飞突伸试验研究
19
作者 崔盼礼 贺尔铭 +2 位作者 苑强波 杨正权 王彬文 《西北工业大学学报》 北大核心 2025年第2期250-258,共9页
起落架动力学试验是研制过程中验证结构参数特性是否符合设计要求的重要手段,且对动态过程约束条件模拟精确与否将直接影响试验结果的有效性。针对固定翼舰载飞机弹射起飞过程的特点,提出了一种舰载飞机前起落架弹射起飞突伸试验方法,... 起落架动力学试验是研制过程中验证结构参数特性是否符合设计要求的重要手段,且对动态过程约束条件模拟精确与否将直接影响试验结果的有效性。针对固定翼舰载飞机弹射起飞过程的特点,提出了一种舰载飞机前起落架弹射起飞突伸试验方法,搭建了起落架弹射突伸试验测试系统,并分别研究了在弹射起飞突伸过程中起落架关键部位载荷、加速度及缓冲器充填压力等设计参数的变化规律,以及不同参数变化对起落架弹射起飞突伸性能的影响。试验结果表明,起落架牵制释放及弹射突伸过程均会使结构受到较大冲击,牵制释放过程造成上部质量垂向过载是起落架突伸时的2倍以上,起落架缓冲器压力改变对此过程影响不大;弹射突伸过程中加载速率与高压气腔充气压力对整个系统突伸能量影响较大,而缓冲器充油量、轮胎充气压力等变化对突伸能量影响较小。 展开更多
关键词 舰载飞机 前起落架 地面试验 牵制释放 弹射突伸
在线阅读 下载PDF
嵌入式软件模糊测试研究综述
20
作者 孙琪明 侯刚 +2 位作者 靳文杰 黄晨 孔维强 《计算机科学》 北大核心 2025年第7期13-25,共13页
嵌入式软件目前已广泛应用于国防军工、航空航天、物联网通信等各类安全攸关系统,面临着日益严峻的安全挑战,因此,如何快速发现并修复嵌入式软件安全漏洞变得至关重要。模糊测试作为一种高效的软件测试技术,能够通过自动生成大量随机数... 嵌入式软件目前已广泛应用于国防军工、航空航天、物联网通信等各类安全攸关系统,面临着日益严峻的安全挑战,因此,如何快速发现并修复嵌入式软件安全漏洞变得至关重要。模糊测试作为一种高效的软件测试技术,能够通过自动生成大量随机数据测试软件系统的可靠性,目前已逐步应用于各类嵌入式软件的漏洞发现。文中首先介绍了模糊测试技术、嵌入式系统及其固件设备;其次,概述了嵌入式软件模糊测试的流程,分析了其与传统软件模糊测试的区别和面临的挑战;然后,系统地介绍了嵌入式软件模糊测试的研究现状和主要方法,包括直接模糊测试和基于仿真的模糊测试;最后,分析了嵌入式软件模糊测试效果提升可采用的优化方法并展望了未来可能的技术方向。 展开更多
关键词 嵌入式软件 固件设备 安全漏洞 直接模糊测试 基于仿真的模糊测试
在线阅读 下载PDF
上一页 1 2 65 下一页 到第
使用帮助 返回顶部