检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

安卓智能终端自动化测试技术综述

计算机科学与探索 2024年第1期18卷 1-23页

作者：曹捷黄翰雷丰强刘方青华南理工大学软件学院广州510006 微科智检(佛山市)科技有限公司广东佛山528000

随着新一代移动通信技术和芯片的发展,智能移动终端用户规模不断增加。为了快速抢占市场,开发商缩短了智能终端的开发周期,这对应用系统的可靠性、稳定性等提出了更高的要求,而自动化测试技术是保障这些智能终端高可靠、强稳定运行的重... 详细信息

随着新一代移动通信技术和芯片的发展,智能移动终端用户规模不断增加。为了快速抢占市场,开发商缩短了智能终端的开发周期,这对应用系统的可靠性、稳定性等提出了更高的要求,而自动化测试技术是保障这些智能终端高可靠、强稳定运行的重要手段。结合目前主流智能终端的架构特点和组件特征,分别探讨了安卓系统的黑盒测试技术和白盒测试技术。在黑盒测试方面,比较分析了最新的用户界面测试和模糊测试技术以及工具使用情况,评价了它们在保证应用系统可靠性和稳定性方面的效果。在白盒测试方面,总结了自动生成测试用例技术、动静态的污点分析技术、第三方库检测技术和权限检测技术。随着人工智能大模型等新兴技术不断涌现,越来越多的智能终端设备开始搭载各种深度学习模型,这些模型的不透明性使得内部决策过程难以解释和理解,从而黑盒测试在评估模型可靠性和稳定性过程中越发重要。自动化测试正在面临从传统规则基础下的测试向更加智能的机器学习驱动的测试转变。未来将人工智能大模型等新兴技术引入到现有的智能终端测试实践中,成为解决这一问题的必然趋势。

关键词：智能终端安卓系统软件测试基于搜索的测试生成

在线全文

学校读者我要写书评

暂无评论

基于改进ALNS算法的多交付选项路径规划

系统工程与电子技术 2024年

作者：雷勤高颜兵周煜丰吴志彬四川大学商学院

针对城市物流中日益凸显的客户个性化交付需求问题，提出了考虑交付满意度的路径规划问题。首先，以客户对交付方式的个性化偏好排序作为客户满意度的度量，建立了旨在最小化企业运营总成本的优化模型，其中涵盖了电动汽车固定成本、旅... 详细信息

针对城市物流中日益凸显的客户个性化交付需求问题，提出了考虑交付满意度的路径规划问题。首先，以客户对交付方式的个性化偏好排序作为客户满意度的度量，建立了旨在最小化企业运营总成本的优化模型，其中涵盖了电动汽车固定成本、旅途成本、充电成本以及因未能满足客户最早开始服务时间惩罚成本和地点偏好惩罚成本。其次，针对大规模客户场景，设计了一种融合自适应大邻域搜索与禁忌搜索的混合启发式算法。最后，运用基准数据分析验证了模型的正确性和算法的有效性。结果表明，基于多交付选项模型规划配送方案能帮助企业节省成本，且只需要付出较小的成本就能实现较高的服务质量，提高客户满意度。

关键词：城市物流电车路径问题交付选项客户满意度自适应大邻域搜索算法禁忌搜索

基于决策边界分析的深度神经网络鲁棒性评估与优先次序验证

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

计算机学报 2024年第4期47卷 862-876页

作者：林韧昊周清雷扈天卿王一丰郑州大学计算机与人工智能学院郑州450001 信息工程大学密码工程学院郑州450001

随着深度学习技术在现实世界的广泛应用,人们对基于深度神经网络的系统安全性提出了更高要求.鲁棒性是神经网络的重要安全性质,对网络鲁棒性的量化分析和验证是深度学习模型安全性研究的关键问题.针对神经网络验证技术中难以解决的效率... 详细信息

随着深度学习技术在现实世界的广泛应用,人们对基于深度神经网络的系统安全性提出了更高要求.鲁棒性是神经网络的重要安全性质,对网络鲁棒性的量化分析和验证是深度学习模型安全性研究的关键问题.针对神经网络验证技术中难以解决的效率问题,提出了一种新颖的优先次序优化方法.结合局部鲁棒性的规约方式,在一组待验证输入内选择具有更高验证需求的不稳定点代替常规的逐点验证模式.根据对鲁棒性问题与决策边界距离的关联性分析,提出了一种基于网络输出单元值大小的鲁棒性评估方法作为优先验证的输入点选择依据.在此基础上将其扩展为输入的预分析模块与验证工具集成,进而设计了基于优先次序的验证框架.在常用的验证基准上进行了实验,结果表明,该方法的决策边界分析理论与突变测试结果一致,鲁棒性评估中选择不安全样本的平均准确率高于90%,通过减少安全样本的验证开销使验证效率提高了148.6%~432.6%.

关键词：深度神经网络鲁棒性验证优先次序模式决策边界鲁棒性度量指标

框架梁与锚索桩板墙加固隧道洞口边坡的动力响应特性

在线全文

学校读者我要写书评

暂无评论

中国铁道科学 2024年第2期45卷 134-145页

作者：冯海洲蒋关鲁何梓雷郭玉丰何晓龙刘先峰胡金山西南交通大学土木工程学院四川成都610031 西南交通大学高速铁路线路工程教育部重点实验室四川成都610031 中铁第一勘察设计研究院有限公司陕西西安710043

针对山岭隧道洞口在降雨、地震等因素作用下易产生变形破坏的问题,以某处采用框架梁与锚索桩板墙支护的隧道洞口边坡工程为原型,开展几何比尺为1∶50的振动台模型试验,分析降雨后地震作用下边坡的动力响应特性及失稳变形规律。结果表明... 详细信息

针对山岭隧道洞口在降雨、地震等因素作用下易产生变形破坏的问题,以某处采用框架梁与锚索桩板墙支护的隧道洞口边坡工程为原型,开展几何比尺为1∶50的振动台模型试验,分析降雨后地震作用下边坡的动力响应特性及失稳变形规律。结果表明:降雨后坡面无局部破坏,地震作用下边坡的破坏过程可归纳为坡顶张拉破坏—坡脚剪切溃裂—坡体整体失稳滑动,边坡表现为张拉—剪切型破坏;边坡峰值加速度放大系数呈层状分布,“高程效应”与“趋表效应”显著,均随输入正弦波频率、幅值的增加而增大;边坡土体峰值应变分布与坡体滑动破坏面较吻合;桩体锚索轴力与输入正弦波频率、幅值呈正相关,强震作用下锚索轴力增幅显著;桩后峰值土压力近似呈三角形分布,桩体嵌固段内桩土压力最大;桩体弯矩呈“b”型分布,嵌固段内桩体峰值弯矩最大,抗震设计中应注意验算其抗弯强度;桩后土压力与桩体加速度FFT谱幅值主要集中于低频段,结构动力响应主要受地震波低频段部分影响。

关键词：隧道洞口边坡框架梁锚索桩板墙降雨地震动力响应振动台试验

超临界CO萃取页岩油效果评价及影响因素分析

在线全文

学校读者我要写书评

暂无评论

石油钻探技术 2024年

作者：李邦国侯家鵾雷兆丰张博王斌陈江中国石油长庆油田分公司第六采油厂中国石油长庆油田分公司第三采油厂中国石油长庆油田分公司勘探开发研究院

为明确裂缝及压力对超临界CO2萃取页岩油的影响机理，在获取试验用页岩的孔径分布、比表面积和孔体积的基础上，通过开展超临界CO2岩心萃取试验，采用改进的磁悬浮天平高压吸附仪实时测定了高温高压下页岩质量的变化；并结合页岩核磁共... 详细信息

为明确裂缝及压力对超临界CO2萃取页岩油的影响机理，在获取试验用页岩的孔径分布、比表面积和孔体积的基础上，通过开展超临界CO2岩心萃取试验，采用改进的磁悬浮天平高压吸附仪实时测定了高温高压下页岩质量的变化；并结合页岩核磁共振T2谱，精确测定了超临界CO2对页岩油的萃取效率，明确了萃取过程中页岩孔隙动用特征及动用孔径下限。试验结果表明，目标储层页岩介孔（孔径2～50 nm）发育程度最高，占总孔隙体积和总比表面积的69.72%和73.47%。而大孔（孔径＞50 nm）发育程度最差，仅占总孔隙体积和总比表面积的4.45%和10.77%。原油主要赋存于孔径在1.4～120.0 nm的小孔径孔隙中，CO2对大孔径（＞86 nm）孔隙中原油的萃取效果高于小孔径（≤86 nm）孔隙。裂缝能够增大CO2与基质中页岩油的接触面积，加快油气传质速度，提高基质动用深度，降低页岩油渗流阻力和孔隙动用下限。然而，CO2萃取效率除与裂缝数量相关外，还受基质渗透率以及裂缝-基质连通特征的影响。CO2动用孔隙孔径下限随注入压力的增加而降低，由8 MPa时的6.54 nm减小至18 MPa的3.27 nm。研究成果可为注CO2提高页岩油采收率提供借鉴。

关键词：页岩油裂缝二氧化碳注入压力核磁共振萃取效率称重法

基于变形的降雨后地震基覆型边坡劣化特性与机制研究

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

岩土力学 2024年第6期45卷 1789-1802页

作者：何梓雷蒋关鲁冯海洲陈虹羽郭玉丰何晓龙李杰西南交通大学土木工程学院四川成都610031 西南交通大学高速铁路线路工程教育部重点实验室四川成都610031 中铁十八局集团有限公司天津300222

降雨地震多因素作用下基覆型边坡破坏模式的识别和评估具有重大工程意义。为研究降雨后地震作用下基覆型边坡的失稳演化机制,开展一组大型振动台模型试验,基于边坡土体空间变形特性和坡面位移特性识别和评估边坡的劣化模式,综合土体应力... 详细信息

降雨地震多因素作用下基覆型边坡破坏模式的识别和评估具有重大工程意义。为研究降雨后地震作用下基覆型边坡的失稳演化机制,开展一组大型振动台模型试验,基于边坡土体空间变形特性和坡面位移特性识别和评估边坡的劣化模式,综合土体应力−应变特性、渗流场特性、地震动应力分布及边坡变形特性,对降雨后地震下边坡的变形演化机制进行探讨。结果表明:(1)降雨阶段,边坡坡顶与坡脚饱和度显著升高区强度劣化显著,但整体无明显变形;地震阶段,坡顶首先滑塌失稳,进一步演化为多级滑塌的整体失稳。(2)宏观破坏具有突发特征,边坡内部土体的空间应变分布特性能更好地识别边坡塑性区扩展−贯通−失稳的演化历程。(3)基于位移残余率分析的边坡失稳演化模式与土体空间应变演化特性结果吻合,相较于累积位移量对边坡损伤状态的识别更准确。(4)含水率变化影响土体力学特征,降雨后的渗流场分布影响边坡整体力学特性及地震动应力的传递及空间分布,土体力学特性和动应力空间特征决定边坡的破坏模式。

关键词：基覆型边坡振动台试验降雨变形空间特性劣化机制稳定性评估

在线全文

学校读者我要写书评

暂无评论

雷达引导自动着舰干扰因素误差影响研究

电光与控制 2024年第10期31卷 64-70页

作者：甄冲曲晓雷王翼丰韩凤鸣航空工业沈阳飞机设计研究所沈阳110000 沈阳飞机设计研究所扬州协同创新研究院有限公司江苏扬州225000

针对雷达引导架构下自动着舰流程,根据自动着舰典型场景与着舰引导雷达参数,详细分析了雷达引导定位的测量误差成因、误差类型、误差量级;计算得到的雷达定位测量精度与公开的AN/SPN-42雷达部分性能一致。设计了机上引导自动着舰系统架... 详细信息

针对雷达引导架构下自动着舰流程,根据自动着舰典型场景与着舰引导雷达参数,详细分析了雷达引导定位的测量误差成因、误差类型、误差量级;计算得到的雷达定位测量精度与公开的AN/SPN-42雷达部分性能一致。设计了机上引导自动着舰系统架构并构建了基于F/A-18A舰载机的全自动着舰仿真,引入雷达引导误差、自动着舰系统延迟、舰尾流、甲板运动和机载传感器噪声干扰因素。通过统计着舰点偏差标准差衡量着舰性能,结合回归分析定量刻画了干扰因素对最终着舰结果的影响。结果表明,甲板运动幅度对着舰点偏差标准差具有最显著作用。

关键词：自动着舰系统雷达引导回归分析机上引导测量误差

维普期刊数据库博看期刊

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

不同含水率下水稻秸秆的离散元参数标定

南京农业大学学报 2024年

作者：朱惠斌李镕东白丽珍王明鹏雷丰朗刘礼源昆明理工大学现代农业工程学院

[目的]针对水稻秸秆不同含水率下离散元参数标定方法通用性不足导致水稻秸秆还田装备数值模拟误差较大的问题，结合物理试验与仿真试验对不同含水率的水稻秸秆进行试验研究。[方法]通过物理剪切试验建立含水率-剪切力模型，模型相关系数... 详细信息

[目的]针对水稻秸秆不同含水率下离散元参数标定方法通用性不足导致水稻秸秆还田装备数值模拟误差较大的问题，结合物理试验与仿真试验对不同含水率的水稻秸秆进行试验研究。[方法]通过物理剪切试验建立含水率-剪切力模型，模型相关系数0.986；基于水稻秸秆物理特征在EDEM中建立以Hertz-Mindlin with bonding为接触模型的水稻秸秆离散元模型，通过Plackett-Burman试验、爬坡试验和Box-Behnken试验筛选出水稻秸秆离散元显著性参数：粘结键半径、单位面积法向刚度、单位面积剪切刚度。[结果]建立剪切力-离散元模型，模型决定系数为R2为0.984，模型显著（P<0.01）；基于水稻秸秆的含水率-剪切力模型和剪切力-离散元模型构建含水率-离散元模型，采用物理试验与仿真试验对比的方法得到相对误差小于等于5.4%，验证了模型的可靠性。[结论]所标定的含水率-离散元模型可用于不同含水率水稻秸秆的数值模拟，为水稻秸秆的收获、还田、免耕等环节的装置结构设计和优化提供理论依据。

关键词： EDEM 含水率水稻秸秆剪切试验参数标定

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

运动参考系中量子Fisher信息

物理学报 2024年第5期73卷 69-74页

作者：任亚雷周涛西南交通大学物理科学与技术学院量子光电实验室成都610031

量子参数估计中的基本理论--量子Cramér-Rao不等式指出,参数估计的方差由量子Fisher信息的倒数决定,量子Fisher信息越大,参数估计的方差就越小,估计精度也就会越高.在非相对论量子力学中,量子Fisher信息已被广泛研究,但考虑相对论效应... 详细信息

量子参数估计中的基本理论--量子Cramér-Rao不等式指出,参数估计的方差由量子Fisher信息的倒数决定,量子Fisher信息越大,参数估计的方差就越小,估计精度也就会越高.在非相对论量子力学中,量子Fisher信息已被广泛研究,但考虑相对论效应对量子Fisher信息影响的研究相对较少.本文采用粒子态的相对论变换方法,数值计算和分析了运动参考系中单粒子态、双粒子态振幅参数θ和相位参数φ的量子Fisher信息.结果表明,在运动参考系中,无论是使用单粒子态还是双粒子态,量子Fisher信息都会降低.对于相位参数,双粒子态的量子Fisher信息比单粒子态降低得更加显著.然而,对于振幅参数,双粒子态的量子Fisher信息相对于单粒子态有所提高,该研究结果为在相对论效应的影响下提高参数估计精度提供了有价值的参考.

关键词：量子Fisher信息相对论变换参数估计