期刊文献+
共找到252篇文章
< 1 2 13 >
每页显示 20 50 100
LKP-tests适配分析及软件包缺失问题自动识别与修复
1
作者 王振强 翟高寿 +2 位作者 吴峰光 郭小康 孙思雨 《软件导刊》 2025年第6期72-78,共7页
操作系统测试是操作系统质量保障及自主可控的前提和基础,而集成现有各种开源测试工具是构建操作系统测试平台的现实可行路线。首先,重点分析了Linux测试集成平台LKP-tests的测试工具集成组织结构及其应用于openEuler、Debian和CentOS... 操作系统测试是操作系统质量保障及自主可控的前提和基础,而集成现有各种开源测试工具是构建操作系统测试平台的现实可行路线。首先,重点分析了Linux测试集成平台LKP-tests的测试工具集成组织结构及其应用于openEuler、Debian和CentOS可能遭遇的软件包缺失问题,并设计实现了软件包缺失自动识别与修复系统;其次,该系统通过正则表达式来分类描述源自测试运行结果的错误信息,提取其中的缺失组件名称;最后,利用对应操作系统的包管理器,解析确定有关组件所属的软件包,并完成LKP-tests中相应软件包依赖的添加与整合。实验表明,该模型对软件包缺失问题进行自动修复的比例均高于91%,可有效减少LKP-tests应用过程中的人工干预并改善其运营维护,对其他类似的大型开源软件集成项目亦有借鉴意义。 展开更多
关键词 LINUX LKP-tests 内核测试 正则表达式 自动修复 软件包缺失
在线阅读 下载PDF
New Regularization Algorithms for Solving the Deconvolution Problem in Well Test Data Interpretation 被引量:1
2
作者 Vladimir Vasin Georgy Skorik +1 位作者 Evgeny Pimonov Fikri Kuchuk 《Applied Mathematics》 2010年第5期387-399,共13页
Two new regularization algorithms for solving the first-kind Volterra integral equation, which describes the pressure-rate deconvolution problem in well test data interpretation, are developed in this paper. The main ... Two new regularization algorithms for solving the first-kind Volterra integral equation, which describes the pressure-rate deconvolution problem in well test data interpretation, are developed in this paper. The main features of the problem are the strong nonuniform scale of the solution and large errors (up to 15%) in the input data. In both algorithms, the solution is represented as decomposition on special basic functions, which satisfy given a priori information on solution, and this idea allow us significantly to improve the quality of approximate solution and simplify solving the minimization problem. The theoretical details of the algorithms, as well as the results of numerical experiments for proving robustness of the algorithms, are presented. 展开更多
关键词 DECONVOLUTION PROBLEM VOLTERRA Equations Well test regularIZATION Algorithm Quasi-Solutions Method Tikhonov regularIZATION A Priori Information Discrete Approximation Non-Quadratic Stabilizing Functional Special Basis
在线阅读 下载PDF
2023年浙江省绍兴市男男性行为人群衣原体感染定期检测意愿及影响因素分析
3
作者 杨作凯 徐来潮 +4 位作者 卢巧玲 吴佳妮 余佳琦 姜婷婷 蒋少强 《疾病监测》 北大核心 2025年第4期445-449,共5页
目的了解浙江省绍兴市男男性行为(MSM)人群衣原体(CT)感染率及定期检测意愿,为制定该人群定期检测策略提供参考依据。方法2023年7月1日至10月31日,在绍兴市阳光海岸彩虹公益事业发展中心招募符合条件的MSM,知情同意原则下,收集其社会人... 目的了解浙江省绍兴市男男性行为(MSM)人群衣原体(CT)感染率及定期检测意愿,为制定该人群定期检测策略提供参考依据。方法2023年7月1日至10月31日,在绍兴市阳光海岸彩虹公益事业发展中心招募符合条件的MSM,知情同意原则下,收集其社会人口学及性行为学相关信息,并采集咽拭子、直肠拭子及尿液标本进行CT核酸检测,运用logistic回归分析CT感染定期检测意愿影响因素。结果纳入研究MSM 413人,CT感染率为14.29%(59/413),其中直肠部位感染率达10.41%(43/413)。多因素logistic分析结果显示,MSM年龄<25岁[比值比(OR)=2.02,95%置信区间(CI):1.10~3.73]、未婚(OR=1.79,95%CI:1.02~3.12)、最近6个月发生同性性行为坚持使用安全套(OR=2.25,95%CI:1.37~3.70)及最近6个月接受过CT感染宣传(OR=2.14,95%CI:1.16~3.94)者更愿意接受每6个月CT自采样免费检测。结论绍兴市MSM的CT感染率较高,定期检测意愿高,应针对MSM特征开展CT感染精准宣传,完善定期检测服务,推进定期检测,减少CT感染和传播。 展开更多
关键词 衣原体感染 男男性行为者 定期检测
原文传递
规则波作用下近床面子母管水动力载荷试验
4
作者 刘俊 师玉敏 +3 位作者 赵云鹤 梁凯 彭琦淏 潘薇薇 《船舶工程》 北大核心 2025年第11期199-209,共11页
[目的]为满足海洋油气工程的需求,[方法]将大直径母管与小直径子管组合形成子母管结构。与单管道相比,虽然子母管结构形式改变,但其水动力载荷计算仍缺乏现成的常规公式。在大型水槽中,针对规则波作用下的子母管水动力进行模型试验,研... [目的]为满足海洋油气工程的需求,[方法]将大直径母管与小直径子管组合形成子母管结构。与单管道相比,虽然子母管结构形式改变,但其水动力载荷计算仍缺乏现成的常规公式。在大型水槽中,针对规则波作用下的子母管水动力进行模型试验,研究了波浪参数、子母管相对角度θ以及管床间隙比e/D等对水动力载荷和频率特征的影响。[结果]试验结果表明,近床面效应对悬空子母管水平惯性力系数的放大趋势与单管道基本一致,但部分埋设管道的水平力随着埋深的增加,衰减速度低于挪威船级社(DNV)规范对单管道的推荐值。当e/D=0时,背离床面的升力增大;全埋管道的垂向升力明显放大,且变化趋势与DNV规范的单管道推荐值相反。相对角度θ对子母管升力和水平力的影响趋势存在差异:仅当θ=60°和90°时,子母管的水平力略大于单管道;当θ=120°时,子母管的垂向升力幅值略大于单管道。子母管水平力的主频与波浪频率一致;但在θ=0°、e/D=1.5和θ=90°、e/D=0.1的特定条件下,升力频率为波浪频率的两倍。[结论]研究成果可为海洋油气工程中子母管的结构设计及安全评估提供参考。 展开更多
关键词 子母管 水动力载荷 频率 模型试验 规则波作用
原文传递
波流作用下半潜式养殖平台水动力特性物理模型试验
5
作者 宋峥嵘 唐鸣夫 +4 位作者 胡性涛 刘俊斐 梅华东 郑振钧 杨传东 《渔业现代化》 北大核心 2025年第3期53-61,共9页
半潜式平台在无遮蔽海况下面临波流联合作用引发的系泊失效与运动失稳风险。针对可升降式养殖平台设计方案,通过物理模型试验校核其在维修、漂浮、坐底三类典型工况下的水动力性能。试验采用1∶75缩尺模型,测量平台6自由度运动响应及系... 半潜式平台在无遮蔽海况下面临波流联合作用引发的系泊失效与运动失稳风险。针对可升降式养殖平台设计方案,通过物理模型试验校核其在维修、漂浮、坐底三类典型工况下的水动力性能。试验采用1∶75缩尺模型,测量平台6自由度运动响应及系泊链张力动态特征。结果显示:维修和漂浮工况下,波流联合作用导致锚泊力达到最大,且不同荷载组合对平台运动的影响很小。波浪周期对锚泊力及纵摇影响显著,但对线位移影响较小。波流联合作用下,锚泊力和线位移随波周期增大而增加,而在纯浪作用下,这一趋势则相反。坐底工况下,平台具有富裕重力,抗滑和抗倾覆性能较强,运动量和锚泊力可忽略。对比了维修状态和漂浮状态的平台动力响应,在海流或波流联合作用下,增加吃水会增大锚泊力并加剧纵摇,同时限制线位移,而在纯浪作用下,增加吃水深度会减小运动响应和锚泊力。研究结果验证了6点系泊方案的稳定性和锚链强度均满足设计要求,为平台建设提供了依据。 展开更多
关键词 半潜式平台 规则波 物理模型试验 浪流联合作用
在线阅读 下载PDF
兆瓦级波浪能装置能量俘获特性试验研究
6
作者 陈敏 盛松伟 +1 位作者 张亚群 王振鹏 《太阳能学报》 北大核心 2025年第9期248-253,共6页
简要介绍一种大型兆瓦级波浪能装置的设计组成和工作原理,该装置由半潜式浮体、波浪能俘获系统、能量转换系统、锚泊系统组成,采用鹰式吸波浮体和液压能量转换系统将不稳定的波浪能转换为稳定的电能。为研究大型兆瓦级波浪能装置的能量... 简要介绍一种大型兆瓦级波浪能装置的设计组成和工作原理,该装置由半潜式浮体、波浪能俘获系统、能量转换系统、锚泊系统组成,采用鹰式吸波浮体和液压能量转换系统将不稳定的波浪能转换为稳定的电能。为研究大型兆瓦级波浪能装置的能量俘获特性,在拖曳水池开展物理模型试验研究,结果表明装置的能量俘获效率大多在30%~50%之间,最大效率达到56.17%,可实现振荡浮子式波浪能的高效俘获。与侧向吸波相比,鹰式吸波浮体的正面吸波效果更好,其能量俘获效率提高约1.6倍。实海况运行中应将装置同侧5个吸波浮体布置为强浪向,使其正面迎浪。 展开更多
关键词 波浪能装置 兆瓦级 模型 能量俘获效率 规则波 水池试验
原文传递
拉菲草的固沙防侵试验研究
7
作者 李杰 许国辉 +4 位作者 李松瑶 李安龙 陈明佳 洪波 郑建国 《海洋湖沼通报(中英文)》 北大核心 2025年第2期67-73,共7页
近岸水动力环境,影响着物质输运从而导致海床剖面改变。海岸带的水生植物可通过消除波能、缓流促淤而减小波浪对岸滩的破坏。拉菲草具有很强的韧性、外表光滑、不怕水且极其牢固,可以植入海滩,作为海滩侵蚀防护和固沙的天然材料。通过... 近岸水动力环境,影响着物质输运从而导致海床剖面改变。海岸带的水生植物可通过消除波能、缓流促淤而减小波浪对岸滩的破坏。拉菲草具有很强的韧性、外表光滑、不怕水且极其牢固,可以植入海滩,作为海滩侵蚀防护和固沙的天然材料。通过波浪水槽试验,在水深为35 cm的沙质岸滩上布设拉菲草床,探讨在不同波高的规则波作用下,拉菲草床布置道数及疏密度对岸滩剖面的影响。试验结果表明,拉菲草床的疏密度和布设道数对消减波高及减缓流速有明显影响,适当提高拉菲草床的疏密度、增加种植道数,可获得较好的缓流和消波效果。 展开更多
关键词 拉菲草 固沙促淤 规则波 波浪水槽试验
原文传递
滨海混凝土梁桥病害分析与加固维修 被引量:1
8
作者 詹铠臻 《价值工程》 2025年第8期23-25,共3页
同安大桥是滨海城市厦门市海翔大道上的节点工程,主线桥长3988m,主桥为60+3*100+60m变截面预应力混凝土连续梁桥,引桥为标准跨径30m、40m等跨及不等跨径布置的长联预应力混凝土连续箱梁。在投入运营十余年后,桥梁陆续出现一些病害。为... 同安大桥是滨海城市厦门市海翔大道上的节点工程,主线桥长3988m,主桥为60+3*100+60m变截面预应力混凝土连续梁桥,引桥为标准跨径30m、40m等跨及不等跨径布置的长联预应力混凝土连续箱梁。在投入运营十余年后,桥梁陆续出现一些病害。为保证桥梁的健康运营,针对同安大桥开展了相应的检测与维护工作。文章对比了左右幅的病害情况,总结了主线桥的病害规律,并对病害原因进行了分析,在此基础上实施了针对性的桥梁维修加固。针对该桥的维修加固有效遏制了结构病害发展,为滨海环境下同类型桥梁管养提供了很好的借鉴。 展开更多
关键词 桥梁检测 桥梁加固 定期检测 同安大桥
在线阅读 下载PDF
电梯噪声检测问题探讨 被引量:3
9
作者 吴翰盈 丁必勇 周清 《中国特种设备安全》 2025年第2期27-30,共4页
本文通过新旧电梯噪声检测规则对比,探讨了电梯噪声检测存在的测试位置选择、数据处理方式、额定速度最大值未明确、噪声值修正以及老旧电梯噪声测试的缺失等问题。针对检规在测试位置的选择上存在模糊性、数据处理方式的不明确可能导... 本文通过新旧电梯噪声检测规则对比,探讨了电梯噪声检测存在的测试位置选择、数据处理方式、额定速度最大值未明确、噪声值修正以及老旧电梯噪声测试的缺失等问题。针对检规在测试位置的选择上存在模糊性、数据处理方式的不明确可能导致结果差异大、检规未明确电梯以额定速度运行时轿厢内噪声的测量时段和标准、对于背景噪声干扰下的噪声值修正缺乏具体指导、老旧电梯在定期检验时无须进行噪声测试等问题,提出了将噪声测试纳入定期检验项目、明确测试条件和数据处理方式、制定噪声值修正方案等建议,以提高电梯噪声测试的准确性和有效性。 展开更多
关键词 电梯检测 噪声测试 定期检验
在线阅读 下载PDF
“衔尾蛇”:基于符号增强网络与深度强化学习的自动化WAF安全测试框架
10
作者 陆鹏程 钟晓峰 +2 位作者 陈杰 许文博 王永杰 《信息对抗技术》 2025年第5期66-76,共11页
Web应用防火墙(Web application firewall,WAF)是应对持续性威胁的关键防御机制,但其安全评估长期面临挑战。传统人工测试方法效率低下且资源耗费大,而现有基于强化学习(reinforcement learning,RL)的自动化方案存在两大局限:一是攻击... Web应用防火墙(Web application firewall,WAF)是应对持续性威胁的关键防御机制,但其安全评估长期面临挑战。传统人工测试方法效率低下且资源耗费大,而现有基于强化学习(reinforcement learning,RL)的自动化方案存在两大局限:一是攻击者因无法感知WAF的不透明规则逻辑,导致黑盒测试效率低下;二是WAF的布尔值反馈引发稀疏/延迟奖励问题,稀疏奖励易使智能体陷入盲目探索,延迟奖励则阻碍早期操作与最终结果的关联,严重影响学习效率。为突破上述瓶颈,首次提出“衔尾蛇”———黑盒WAF测试框架,其核心在于将提取的WAF规则转化为可解释循环神经网络(recurrent neural network,RNN),以提供细粒度置信度评分,并融合该评分与最终结果级奖励来驱动强化学习测试。实验表明,该框架在基于特征的WAF上最高可实现89.2%的规避成功率,这不仅缓解稀疏奖励问题,提供了高效的黑盒测试方案,还为优化WAF规则提供了重要参考。 展开更多
关键词 深度强化学习 正则表达式 SQL注入 WAF安全测试
在线阅读 下载PDF
岩石结构面破坏模式与剪切强度关系初探
11
作者 陈昊祥 王明洋 +2 位作者 靳天伟 戚承志 易玥彤 《长江科学院院报》 北大核心 2025年第6期162-168,共7页
为了探究结构面变形破坏模式对其剪切强度的影响,对规则锯齿结构面直剪过程中的应力变化进行研究。分析了应力水平、岩石强度以及齿状凸起体的起伏角i和宽度l等因素对其破坏模式的影响。结果表明:齿状凸起体可能发生剪切或拉伸破坏且不... 为了探究结构面变形破坏模式对其剪切强度的影响,对规则锯齿结构面直剪过程中的应力变化进行研究。分析了应力水平、岩石强度以及齿状凸起体的起伏角i和宽度l等因素对其破坏模式的影响。结果表明:齿状凸起体可能发生剪切或拉伸破坏且不同破坏模式之间可相互转换;找到了结构面不同变形破坏模式所对应的力学与几何条件,并确定了不同变形破坏模式下结构面剪切强度的预测公式;通过与直剪试验数据进行对比,验证了所提理论的正确性。研究成果可为进一步探究结构面变形破坏模式与其剪切强度之间的关系提供一定的理论支持。 展开更多
关键词 规则锯齿结构面 破坏模式 剪切强度 直剪试验
在线阅读 下载PDF
《在用医用电气设备安全风险评价技术规范》构建研究
12
作者 任戬 雷迪 +7 位作者 张敏娟 孙晓宁 陈岳蓉 牛雯 王宸 赵志杰 张宏涛 龙存林 《中国标准化》 2025年第11期179-184,191,共7页
本研究针对医用电气设备使用中存在的安全风险,系统构建了一套安全风险评价技术规范。通过分析设备自身、使用环境、操作人员及维护管理等多方面风险来源,提出覆盖评价机构资质、设备要求、评价流程、风险控制、监管职责及定期检测的完... 本研究针对医用电气设备使用中存在的安全风险,系统构建了一套安全风险评价技术规范。通过分析设备自身、使用环境、操作人员及维护管理等多方面风险来源,提出覆盖评价机构资质、设备要求、评价流程、风险控制、监管职责及定期检测的完整技术框架。规范明确不同风险等级设备的差异化检验周期与检测项目,强化高风险设备监管,并严格规定评价与检测机构及人员的专业资质。该研究为医疗机构和监管部门提供了科学依据与操作指南,有助于提升医用电气设备安全性,降低医疗事故风险,促进医疗行业规范化发展。 展开更多
关键词 医用电气设备 安全风险评价 技术规范 风险控制 定期检验检测
暂未订购
基于贝叶斯正则化的无缝线路轨温荷载预测模型研究 被引量:1
13
作者 刘兴晨 肖杰灵 +2 位作者 庄丽媛 景璞 余思昕 《铁道标准设计》 北大核心 2025年第6期46-54,共9页
钢轨内巨大的温度力严重危害无缝线路的行车安全,预测轨温,提前掌握轨温变化规律十分必要。针对气温-轨温的关联关系展开研究,在新疆富蕴实地开展监测试验,对气温与轨温实行一年内1—10月的温度监测;分析气温与轨温的波动规律;采用贝叶... 钢轨内巨大的温度力严重危害无缝线路的行车安全,预测轨温,提前掌握轨温变化规律十分必要。针对气温-轨温的关联关系展开研究,在新疆富蕴实地开展监测试验,对气温与轨温实行一年内1—10月的温度监测;分析气温与轨温的波动规律;采用贝叶斯正则化的BP神经网络建立轨温预测模型,对气温与轨头、轨腰与其他部位轨温的变化关系进行预测。结果表明,气温和钢轨各部位轨温的变化均呈现规律的周期性,且其最值的差值变化并不完全符合传统规律所述;实测结果显示,最高轨温与最高气温差值变化范围在3~15℃,其差值变化随气温回升而减小,最低气温与最低轨温差值约为1.08,其差值波动较稳定;基于贝叶斯正则化的BP神经网络模型预测结果显示,由日最低气温预测钢轨各部位最低温时,平均误差最小,低至0.311℃,由轨腰日最高温预测钢轨其他部位最高温时,平均误差最小,可达0.877℃。实际工程中,可优先考虑由气温预测最低轨温,由轨腰温度预测其他部位的最高轨温;在冷热交替的时段,应注意及时监测轨温状况,放散温度应力。 展开更多
关键词 无缝线路 轨温预测模型 轨温监测试验 轨温变化规律 贝叶斯正则化 BP神经网络
在线阅读 下载PDF
基于可变径结构的正六边形夹持装置设计与试验
14
作者 郭家伟 李钦生 +2 位作者 杨磊 鲍雁飞 纪啸天 《辽宁工业大学学报(自然科学版)》 2025年第3期150-154,161,共6页
以六角螺母为夹持对象,设计了一款可变径结构的正六边形夹持装置。首先,建立夹持对象的物理模型,据此设计一种可旋转开合的夹持机构,并运用ADAMS软件对夹持机构的运动特性进行仿真分析;其次,基于参数设计结果构建了正六边形夹持装置的... 以六角螺母为夹持对象,设计了一款可变径结构的正六边形夹持装置。首先,建立夹持对象的物理模型,据此设计一种可旋转开合的夹持机构,并运用ADAMS软件对夹持机构的运动特性进行仿真分析;其次,基于参数设计结果构建了正六边形夹持装置的三维模型;最后,利用所搭建的物理样机进行了六角螺母夹取试验。试验数据显示,正六边形夹持装置夹取M1.6~M48型共21种六角螺母的效率不同,最低夹取效率为7.2s/个,最高夹取效率为3.4 s/个。研究表明,正六边形夹持装置可以实现M1.6~M48型六角螺母的夹持作业。 展开更多
关键词 正六边形 夹持 旋转开合 几何尺寸 夹取试验
在线阅读 下载PDF
An enrichment model using regular health examination data for early detection of colorectal cancer 被引量:3
15
作者 Qiang Shi Zhaoya Gao +8 位作者 Pengze Wu Fanxiu Heng Fuming Lei Yanzhao Wang Qingkun Gao Qingmin Zeng Pengfei Niu Cheng Li Jin Gu 《Chinese Journal of Cancer Research》 SCIE CAS CSCD 2019年第4期686-698,共13页
Objective: Challenges remain in current practices of colorectal cancer(CRC) screening, such as low compliance,low specificities and expensive cost. This study aimed to identify high-risk groups for CRC from the genera... Objective: Challenges remain in current practices of colorectal cancer(CRC) screening, such as low compliance,low specificities and expensive cost. This study aimed to identify high-risk groups for CRC from the general population using regular health examination data.Methods: The study population consist of more than 7,000 CRC cases and more than 140,000 controls. Using regular health examination data, a model detecting CRC cases was derived by the classification and regression trees(CART) algorithm. Receiver operating characteristic(ROC) curve was applied to evaluate the performance of models. The robustness and generalization of the CART model were validated by independent datasets. In addition, the effectiveness of CART-based screening was compared with stool-based screening.Results: After data quality control, 4,647 CRC cases and 133,898 controls free of colorectal neoplasms were used for downstream analysis. The final CART model based on four biomarkers(age, albumin, hematocrit and percent lymphocytes) was constructed. In the test set, the area under ROC curve(AUC) of the CART model was 0.88 [95%confidence interval(95% CI), 0.87-0.90] for detecting CRC. At the cutoff yielding 99.0% specificity, this model’s sensitivity was 62.2%(95% CI, 58.1%-66.2%), thereby achieving a 63-fold enrichment of CRC cases. We validated the robustness of the method across subsets of test set with diverse CRC incidences, aging rates, genders ratio, distributions of tumor stages and locations, and data sources. Importantly, CART-based screening had the higher positive predictive value(1.6%) than fecal immunochemical test(0.3%).Conclusions: As an alternative approach for the early detection of CRC, this study provides a low-cost method using regular health examination data to identify high-risk individuals for CRC for further examinations. The approach can promote early detection of CRC especially in developing countries such as China, where annual health examination is popular but regular CRC-specific screening is rare. 展开更多
关键词 Classification and regression trees COLORECTAL cancer regular health examination DATA ROUTINE lab test biomarkers
暂未订购
基于变异的正则表达式反例测试串生成算法 被引量:1
16
作者 郑黎晓 余李林 +3 位作者 陈海明 陈祖希 骆翔宇 汪小勇 《软件学报》 EI CSCD 北大核心 2024年第7期3355-3376,共22页
正则表达式在计算机科学的许多领域具有广泛应用.然而,由于正则表达式语法比较复杂,并且允许使用大量元字符,导致开发人员在定义和使用时容易出错.测试是保证正则表达式语义正确性的实用和有效手段,常用的方法是根据被测表达式生成一些... 正则表达式在计算机科学的许多领域具有广泛应用.然而,由于正则表达式语法比较复杂,并且允许使用大量元字符,导致开发人员在定义和使用时容易出错.测试是保证正则表达式语义正确性的实用和有效手段,常用的方法是根据被测表达式生成一些字符串,并检查它们是否符合预期.现有的测试数据生成大多只关注正例串,而研究表明,实际开发中存在的错误大部分在于定义的语言比预期语言小,这类错误只能通过反例串才能发现.研究基于变异的正则表达式反例测试串生成.首先通过变异向被测表达式中注入缺陷得到一组变异体,然后在被测表达式所定义语言的补集中选取反例字符串揭示相应变异体所模拟的错误.为了能够模拟复杂缺陷类型,以及避免出现变异体特化而无法获得反例串的问题,引入二阶变异机制.同时采取冗余变异体消除、变异算子选择等优化技术对变异体进行约简,从而控制最终生成的测试集规模.实验结果表明,与已有工具相比,所提算法生成的反例测试串规模适中,并且具有较强的揭示错误能力. 展开更多
关键词 正则表达式 正则语言 字符串生成 变异测试 变异体约简
在线阅读 下载PDF
基于CT扫描研究颗粒形状对砂土力学性质的影响 被引量:3
17
作者 王志兵 宁泽华 +1 位作者 王晨 孙广 《科学技术与工程》 北大核心 2024年第21期9077-9086,共10页
为了探究颗粒形状对砂土力学性质的影响,选取玻璃珠、石英砂、玻璃渣3种颗粒形状差异较大的砂土作为研究对象。首先通过计算机断层(computed tomography,CT)扫描重构了3种砂土的三维结构,选取了伸长率(EI)、扁度(FI)、球度(S)3个表征颗... 为了探究颗粒形状对砂土力学性质的影响,选取玻璃珠、石英砂、玻璃渣3种颗粒形状差异较大的砂土作为研究对象。首先通过计算机断层(computed tomography,CT)扫描重构了3种砂土的三维结构,选取了伸长率(EI)、扁度(FI)、球度(S)3个表征颗粒形状参数的均值作为砂土颗粒整体形状参数(overall regularity,OR),并对整体形状参数OR进行统计分析。然后配制7种不同形状参数的砂土进行了常规三轴压缩试验得到了其力学强度参数,研究砂土颗粒形状对其力学强度的影响规律。结果表明:7种砂土的应力-应变曲线均为应变软化型,都呈现出先剪缩后剪胀的特性;整体形状参数OR能较好反映砂土的力学特征,即随着整体形状参数OR的减小,应变软化现象变得不明显,但其峰值偏应力呈增大的趋势;砂土的内摩擦角随整体形状参数OR的减小呈线性增长,表观黏聚力急剧增大,但最大剪胀角随OR的减小而减小。此外,将临界内摩擦角与整体形状参数OR进行线性拟合,得到了两者较好的线性关系。 展开更多
关键词 颗粒形状 CT扫描技术 三维重构 整体形状参数 常规三轴压缩试验 临界内摩擦角
在线阅读 下载PDF
加强拉姆齐测验与因果规律论
18
作者 王加良 《自然辩证法研究》 CSSCI 北大核心 2024年第6期44-48,共5页
因果规律论可以把因果问题转化为规律问题,但也因存在奇异问题和虚假原因问题而受到学界的质疑。加强拉姆齐测验思路可以解决虚假原因问题,这种思路为解决因果规律论所面临的问题提供了一种新的解决思路。但是,加强拉姆齐测验思路并不... 因果规律论可以把因果问题转化为规律问题,但也因存在奇异问题和虚假原因问题而受到学界的质疑。加强拉姆齐测验思路可以解决虚假原因问题,这种思路为解决因果规律论所面临的问题提供了一种新的解决思路。但是,加强拉姆齐测验思路并不能解释奇异性问题,同时,贝尔型的试验证明量子不遵循贝尔不等式,即存在反向因果关系,这与加强拉姆齐测验所要求的正向推理明显是相悖的。从逻辑的视角看,加强拉姆齐测验实质上是一种非单调性推理,并不保真。因此,我们认为加强拉姆齐测验并不能把因果规律论拖出被质疑的泥潭。 展开更多
关键词 拉姆齐测验 加强拉姆齐测验 因果规律论 虚假原因 问题
原文传递
规则波作用下悬跨海缆垂向动力响应试验研究
19
作者 黄惠明 黄贤涛 +1 位作者 蓝尹余 张俞 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2024年第10期1913-1921,1949,共10页
为探究不同规则波要素下悬跨海缆垂向动力响应的变化规律,本文开展了波浪作用下海缆振动模型试验。基于水弹性相似原理制作海缆模型,改变试验波高以及波周期,并引入Morison方程描述海缆所受垂向力。试验结果表明:波浪作用下海缆的振动... 为探究不同规则波要素下悬跨海缆垂向动力响应的变化规律,本文开展了波浪作用下海缆振动模型试验。基于水弹性相似原理制作海缆模型,改变试验波高以及波周期,并引入Morison方程描述海缆所受垂向力。试验结果表明:波浪作用下海缆的振动频率以波浪频率为主,同时伴随着海缆表面弱涡脱落活动产生的波浪多倍频;波高的增大使得海缆周围水质点水平运动速度增大,导致漩涡脱落所引发的升力增大,进而垂向力增大;波周期的减小使得水质点垂向运动速度增加,海缆所受垂向波浪力增强,进而垂向力增大;海缆自振存在约2.8 N的临界垂向力,低于临界垂向力时,海缆未产生自振,大于临界垂向力时,波浪动力作用增强,海缆出现波浪周期的间歇性自振,垂向力增大,应变幅值显著增大。 展开更多
关键词 海底电缆 规则波 垂向振动 模型试验 动力响应 Morison方程 应变过程 频率分析
在线阅读 下载PDF
Intelligent System for Parallel Fault-Tolerant Diagnostic Tests Construction
20
作者 Anna Yankovskaya Sergei Kitler 《Journal of Software Engineering and Applications》 2013年第4期54-61,共8页
This investigation deals with the intelligent system for parallel fault-tolerant diagnostic tests construction. A modified parallel algorithm for fault-tolerant diagnostic tests construction is proposed. The algorithm... This investigation deals with the intelligent system for parallel fault-tolerant diagnostic tests construction. A modified parallel algorithm for fault-tolerant diagnostic tests construction is proposed. The algorithm is allowed to optimize processing time on tests construction. A matrix model of data and knowledge representation, as well as various kinds of regularities in data and knowledge are presented. Applied intelligent system for diagnostic of mental health of population which is developed with the use of intelligent system for parallel fault-tolerant DTs construction is suggested. 展开更多
关键词 Intelligent System test Methods of Pattern Recognition MATRIX Model of Knowledge and Data Representation REVEALING of Various Kinds regularITIES FAULT-TOLERANT Diagnostic tests PARALLEL Algorithm Irredundant H-Fold Column Coverings of Boolean MATRIX
在线阅读 下载PDF
上一页 1 2 13 下一页 到第
使用帮助 返回顶部