检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于变异的正则表达式反例测试串生成算法

软件学报 2024年第7期 3355-3376页

作者：郑黎晓余李林陈海明陈祖希骆翔宇汪小勇华侨大学计算机科学与技术学院计算机科学国家重点实验室(中国科学院软件研究所) 卡斯柯信号有限公司

正则表达式在计算机科学的许多领域具有广泛应用.然而,由于正则表达式语法比较复杂,并且允许使用大量元字符,导致开发人员在定义和使用时容易出错.测试是保证正则表达式语义正确性的实用和有效手段,常用的方法是根据被测表达式生成一些... 详细信息

正则表达式在计算机科学的许多领域具有广泛应用.然而,由于正则表达式语法比较复杂,并且允许使用大量元字符,导致开发人员在定义和使用时容易出错.测试是保证正则表达式语义正确性的实用和有效手段,常用的方法是根据被测表达式生成一些字符串,并检查它们是否符合预期.现有的测试数据生成大多只关注正例串,而研究表明,实际开发中存在的错误大部分在于定义的语言比预期语言小,这类错误只能通过反例串才能发现.研究基于变异的正则表达式反例测试串生成.首先通过变异向被测表达式中注入缺陷得到一组变异体,然后在被测表达式所定义语言的补集中选取反例字符串揭示相应变异体所模拟的错误.为了能够模拟复杂缺陷类型,以及避免出现变异体特化而无法获得反例串的问题,引入二阶变异机制.同时采取冗余变异体消除、变异算子选择等优化技术对变异体进行约简,从而控制最终生成的测试集规模.实验结果表明,与已有工具相比,所提算法生成的反例测试串规模适中,并且具有较强的揭示错误能力.

关键词：正则表达式正则语言字符串生成变异测试变异体约简

车规电子零缺陷质量管理在航天领域的启发与推广

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

电子与封装 2024年第4期24卷 90-95页

作者：曹玉翠刘钊汪小勇李泽宇北京中天鹏宇科技发展有限公司北京100039

介绍了车规电子标准AEC-Q004的质量管理框架,对框架中各阶段质量控制工具和办法进行了详细的解读。研究了车规电子产品的相关标准与军用、宇航用标准之间在质量保证、试验内容上的区别与联系。针对零缺陷质量管理在航天领域的启发做了... 详细信息

介绍了车规电子标准AEC-Q004的质量管理框架,对框架中各阶段质量控制工具和办法进行了详细的解读。研究了车规电子产品的相关标准与军用、宇航用标准之间在质量保证、试验内容上的区别与联系。针对零缺陷质量管理在航天领域的启发做了推广与展望,并提出后续建议及重点研究方向。研究结果对我国军工企业增强质量管理能效、提高产品可靠性具有一定的借鉴意义。

关键词：车规电子 AEC-Q004 零缺陷质量管理可靠性航天

PI-RADSv2.1联合PSAMR在tPSA<20ng/mL的前列腺癌诊断中的价值

在线全文

学校读者我要写书评

暂无评论

临床泌尿外科杂志 2024年第2期39卷 125-130页

作者：胡红跃卓栋张振兴宋周良汪小勇谈杰侯敬元江世祥铜陵市立医院泌尿外科安徽铜陵244000 皖南医学院弋矶山医院泌尿外科

目的:探索前列腺特异性抗原质量比(prostatespecific antigen mass ratio,PSAMR)在总前列腺特异性抗原(total prostate-specific antigen,tPSA)<20ng/mL的前列腺癌(prostate cancer,PCa)诊断中的价值。并结合2.1版前列腺影像报告与数据系统(prostate imagingr eporting and data system,PI-RADSv2.1)评分进一步建立预测PCa风险的预测模型。方法:回顾性分析2021年7月—2023年3月期间皖南医学院弋矶山医院收治的382例行MRITRUS融合靶向活检的可疑PCa患者的临床资料。入组患者的tPSA均在4~20ng/mL之间,且穿刺前均行多参数磁共振(multi-parameter magnetic resonance imaging,mpMRI)检查,并按照PI-RADSv2.1进行评分。其中2021年7月—2022年9月的患者为开发队列,2022年10月—2023年3月的患者为验证队列。分别比较2队列PCa组和非PCa组间年龄、tPSA、游离/总前列腺特异性抗原(f/tPSA)、前列腺体积(prostate volume,PV)、PI-RADSv2.1评分、PSAMR的差异。采用单因素和多因素logistic回归分析探究PSAMR及其他指标与PCa发生的关系,其中多因素分析采用向后逐步回归法。根据多因素分析结果建立预测模型,分别在2队列及整体患者中以受试者工作特征(receiver operating characteristic,ROC)曲线、校准曲线及决策曲线分析(decision curve analysis,DCA)评估模型预测性能。结果:本研究共纳入342例患者,其中病理结果显示为前列腺腺癌的患者93例,非PCa的患者249例。开发队列患者共210例,PCa患者58例,非PCa患者152例。验证队列患者132例,PCa患者35例,非PCa患者97例。基于开发队列单因素和多因素分析显示,PSAMR(OR=5.467,P=0.020)是PCa发生的危险因素。纳入构建预测模型的因素包括年龄、前列腺体积、PI-RADSv2.1评分和PSAMR。预测模型在开发队列、验证队列和总体患者的ROC曲线下面积分别为0.921、0.934和0.924,诊断效能良好。校准曲线显示预测准确性良好。DCA曲线显示该预测模型具有临床应用价值。结论:在tPSA 4~20ng/mL时,PSAMR是PCa的危险因素。纳入PI-RADSv2.1评分和PSAMR构建的预测模型可为前列腺穿刺活检决策提供参考。

关键词：前列腺特异性抗原质量比总前列腺特异抗原前列腺癌预测模型

车载TBTC-CBTC系统降级场景下的CPN建模与仿真

在线全文

学校读者我要写书评

暂无评论

计算机工程 2022年第7期48卷 189-198页

作者：汪小勇董德存欧冬秀同济大学道路与交通工程教育部重点实验室上海201804 同济大学上海市轨道交通结构耐久与系统安全重点实验室上海201804 卡斯柯信号有限公司上海200072

基于轨道电路的列车控制(TBTC)-基于通信的列车控制(CBTC)双模车载系统是实现轨道交通多网融合的关键,其模式间切换具有较强的随机性和并发性,并直接影响车载信号系统的运营可用性。然而,车载信号系统故障降级导致轨道交通资源利用率降... 详细信息

基于轨道电路的列车控制(TBTC)-基于通信的列车控制(CBTC)双模车载系统是实现轨道交通多网融合的关键,其模式间切换具有较强的随机性和并发性,并直接影响车载信号系统的运营可用性。然而,车载信号系统故障降级导致轨道交通资源利用率降低,表现为列车追踪的时间间隔增加,而间隔增加程度取决于区间长度和TBTC列车占用检测区段长度。从不同模式下资源分配、使用和释放角度,在列车运行过程中利用有色Petri网对TBTC-CBTC双模冗余车载信号系统的列车追踪运营场景进行建模,模拟CBTC车载信号系统故障发生的随机性和系统降级对后续列车的影响,精准描述并分析列车运营受影响的情况。将城市轨道交通项目的典型配置参数代入到有色Petri网模型中进行仿真,验证在不同线路下运营间隔受模式切换影响的程度。仿真结果表明,当区间长度小于1 500 m时,列车晚点时间可控制在180 s以内,晚点时间随着区间长度的增加而延长。

关键词：多模列控系统基于轨道电路的列车控制-基于通信的列车控制系统有色Petri网车载信号降级运营可用性

在线全文

学校读者我要写书评

暂无评论

关于高效能列控系统的探索与思考

城市轨道交通研究 2022年第11期25卷 I0012-I0012,156页

作者：汪小勇卡斯柯信号有限公司

随着社会经济发展和技术进步,公众对轨道交通的要求越来越高,如何借助强大算力和先进通信技术,有效利用有限的土建工程、车辆设备和其它基础设施,提供安全、高效、可持续的智慧出行服务,这给列控系统的发展带来了新的挑战。目前,围绕列... 详细信息

随着社会经济发展和技术进步,公众对轨道交通的要求越来越高,如何借助强大算力和先进通信技术,有效利用有限的土建工程、车辆设备和其它基础设施,提供安全、高效、可持续的智慧出行服务,这给列控系统的发展带来了新的挑战。目前,围绕列控系统的各种创新喷涌而出,既有脱胎于无人驾驶汽车基于视频识别和雷达探测来构建系统的借鉴式创新,也有在传统CBTC(基于通信的列车控制)信号系统基础上进行内部或内外部的不同系统设备一体化的整合式创新(如联锁和列控一体化、ATS(列车自动监控)和综合监控一体化等),还有在系统功能再分配基础上进行的重构式创新。“忽如一夜春风来,千树万树梨花开。”各种新型列控系统创新为轨道交通发展带来了新气象。然而,只有高效能列控系统才能真正满足公众对智慧出行的向往。

关键词：列控系统无人驾驶汽车列车自动监控车辆设备信号系统视频识别整合式创新忽如一夜春风来

基于CORA数据的南海温差能资源时空特征研究

在线全文

学校读者我要写书评

暂无评论

太阳能学报 2023年第1期44卷 402-409页

作者：丁杰吴国伟姜波侯二虎白杨汪小勇国家海洋技术中心天津300112

基于2000—2013年中国近海及邻近海域海洋逐日再分析产品(China Ocean Reanalysis,CORA)数据资料,通过计算南海表层(5 m)与深层(1000 m)的温差、卡诺效率、有效水头、暖水体积量、温差能可开发量等参数,对中国南海温差能在季节、年代际... 详细信息

基于2000—2013年中国近海及邻近海域海洋逐日再分析产品(China Ocean Reanalysis,CORA)数据资料,通过计算南海表层(5 m)与深层(1000 m)的温差、卡诺效率、有效水头、暖水体积量、温差能可开发量等参数,对中国南海温差能在季节、年代际的地理分布及其变化特征进行详细分析。结果表明:1)南海大于1000 m水深海域的温差均满足发电净效率的要求,可全年有效开采,温差分布具有明显季节变换特征,夏季最高,秋、春次之,冬季最低,常年高值主要集中在南沙群岛至吕宋岛西部一带。2)中沙群岛以南是卡诺效率高值且月波动较小海区,效率最高月份为5—8月份。3)南海温差能年平均有效水头介于774~945 m,高值主要分布在南海中东部、南部海域,呈西南—东北走向,有效水头在850 m以上;南海中南部、吕宋岛西部海域年际变化呈2.0~3.0 m/a上升趋势。4)南海暖水体积量月变化呈“V”型,冬季8.50×10^(13)m^(3)以上,处在较高水平;年际变化0.165×10^(13)m^(3)/a,呈增长趋势,年平均7.31×10^(13)m^(3)。5)南海温差能14年平均可开发量238.86 GW,年际变化5.61 GW/a,呈增长趋势,潜在开发前景十分可观。

关键词：温差能海洋温差能转化技术可再生能源卡诺效率有效水头暖水体积可开发量

在线全文

学校读者我要写书评

暂无评论

涠洲岛海洋风能和波浪能资源评估

太阳能学报 2023年第10期44卷 461-466页

作者：姜波丁杰方舣洲吴国伟汪小勇崔琳国家海洋技术中心天津300112

利用近40年ERA5再分析资料(1981—2020年),对涠洲岛附近海域的海洋风能和波浪能资源特征开展研究。结果表明:涠洲岛附近海域的风能、波浪能季节性变化不明显,有利于稳定发电;涠洲岛附近海域蕴藏着较丰富、适宜开发的风能、波浪能资源,... 详细信息

利用近40年ERA5再分析资料(1981—2020年),对涠洲岛附近海域的海洋风能和波浪能资源特征开展研究。结果表明:涠洲岛附近海域的风能、波浪能季节性变化不明显,有利于稳定发电;涠洲岛附近海域蕴藏着较丰富、适宜开发的风能、波浪能资源,风电可装机156~184 MW,波浪可装机19.32~102.75 MW,风、浪年发电量可达5.6亿kWh。

关键词：海洋风能波浪能资源评估涠洲岛

基于FMEA和模糊TOPSIS的波浪能发电装置风险评估方法

在线全文

学校读者我要写书评

暂无评论

船舶工程 2023年第1期45卷 6-16页

作者：李蒙王海峰汪小勇段云棋崔琳国家海洋技术中心天津300112

波浪能发电装置结构复杂,运行环境恶劣,易受到风浪冲击和海水长期浸泡腐蚀的威胁,对装置进行可靠性分析时面临系统故障模式复杂、故障记录少等问题,海洋工程领域传统的故障模式及影响分析(FMEA)方法难以对装置系统的风险进行准确评价。... 详细信息

波浪能发电装置结构复杂,运行环境恶劣,易受到风浪冲击和海水长期浸泡腐蚀的威胁,对装置进行可靠性分析时面临系统故障模式复杂、故障记录少等问题,海洋工程领域传统的故障模式及影响分析(FMEA)方法难以对装置系统的风险进行准确评价。基于模糊逼近理想排序法(TOPSIS)提出一种改进的FMEA风险评价模型,采用模糊置信结构对评价因素进行表示,引入评价因素的权重概念,建立风险性能指标的加权规范化矩阵,利用TOPSIS逼近理想解的原理进行风险排序,得到风险优先数,并以浮力摆式波浪能装置为例进行分析,结果表明俘获系统对波浪能发电装置整体的可靠性影响最为显著。

关键词：波浪能发电装置故障模式及影响分析(FMEA) 逼近理想解排序法(TOPSIS) 风险评估

关于填海项目竣工海域使用验收管理若干问题的探讨

在线全文

学校读者我要写书评

暂无评论

质量与市场 2022年第3期 161-163页

作者：徐焕明汪小勇中国海洋大学经济学院

填海项目竣工海域使用验收测量是海洋管理部门对填海项目进行监督管理和验收的重要手段。文章通过分析现行的填海项目竣工海域使用验收管理办法,对其修订前后的内容进行总结归纳,指出了填海项目竣工海域使用验收管理办法在实际工作中仍... 详细信息

填海项目竣工海域使用验收测量是海洋管理部门对填海项目进行监督管理和验收的重要手段。文章通过分析现行的填海项目竣工海域使用验收管理办法,对其修订前后的内容进行总结归纳,指出了填海项目竣工海域使用验收管理办法在实际工作中仍然存在项目竣工验收前提条件、验收测量面积核算精度判定标准、竣工验收材料格式等不明确的问题,并提出了相关管理措施,以期为国家填海项目竣工海域使用验收工作科学化、标准化、规范化管理提供参考。

关键词：填海项目竣工验收管理对策建议