期刊文献+
共找到18篇文章
< 1 >
每页显示 20 50 100
Coincidence Point and Common Fixed Point Theorems on b-Metric-like Spaces
1
作者 LUO Ting 《应用数学》 北大核心 2025年第3期831-840,共10页
In this paper,we establish common fixed point theorems for expansive map?pings on b-metric-like space and coincidence point for f-weakly isotone increasing mappings in partially ordered b-metric-like space.The main re... In this paper,we establish common fixed point theorems for expansive map?pings on b-metric-like space and coincidence point for f-weakly isotone increasing mappings in partially ordered b-metric-like space.The main results generalize and extend several well-known comparable results from the existing literature.Moreover,some examples are provided to illustrate the main results. 展开更多
关键词 b-metric-like space Partially ordered b-metric-like space Expansive mapping f-weakly isotone mapping Coincidence point Common fixed point
在线阅读 下载PDF
基于机器学习识别偶然正确测试用例
2
作者 田帅华 李征 +1 位作者 吴永豪 刘勇 《计算机科学》 CSCD 北大核心 2024年第6期68-77,共10页
基于频谱的故障定位(Spectrum-Based Fault Localization,SBFL)技术已被广泛研究,可以帮助开发人员快速找到程序错误位置,以降低软件测试成本。然而,测试套件中存在一种特殊的测试用例,其执行了错误的语句但能输出符合预期的结果,这种... 基于频谱的故障定位(Spectrum-Based Fault Localization,SBFL)技术已被广泛研究,可以帮助开发人员快速找到程序错误位置,以降低软件测试成本。然而,测试套件中存在一种特殊的测试用例,其执行了错误的语句但能输出符合预期的结果,这种测试用例被称为偶然正确(Coincidental Correct,CC)测试用例。CC测试用例会对SBFL技术的性能产生负面影响。为了减轻CC产生的负面影响,提升SBFL技术性能,文中提出了一种基于机器学习的CC测试用例识别方法(CC test cases Identification via Machine Learning,CCIML)。CCIML结合怀疑度公式特征和程序静态特征来识别CC测试用例,从而提高SBFL技术的故障定位精度。为了评估CCIML方法的性能,文中基于Defects4J数据集进行对比实验。实验结果表明,CCIML方法识别CC测试用例的平均召回率、准确率和F 1分数分别为63.89%,70.16%和50.64%,该结果优于对比方法。除此之外,采用清洗和重标策略处理CCIML方法识别出的CC测试用例后,最终取得的故障定位效果也优于对比方法。其中,在清洗策略和重标策略下,错误语句怀疑度值排在第一位的数量分别为328和312,相比模糊加权K近邻(Fuzzy Weighted K-Nearest Neighbor,FW-KNN)方法,定位到的故障数量分别增长了124.66%,235.48%。 展开更多
关键词 软件测试 故障定位 机器学习 偶然正确测试用例 特征提取
在线阅读 下载PDF
31例婴幼儿预防接种后死亡原因分析 被引量:3
3
作者 宋涛 聂世昌 +5 位作者 李敏 朱英 刘明博 刘云志 李剑波 唐任宽 《重庆医科大学学报》 CAS CSCD 北大核心 2014年第8期1062-1064,共3页
目的:探讨婴幼儿注射疫苗后死亡原因及与疫苗的关系,为减少偶合症及安全的预防接种提供参考。方法:对注射疫苗后8 d内死亡的31例婴幼儿尸体解剖资料进行回顾性分析。结果:男女比例为2.9∶1,年龄最大2岁,最小为胎儿(32孕周);31例死亡病... 目的:探讨婴幼儿注射疫苗后死亡原因及与疫苗的关系,为减少偶合症及安全的预防接种提供参考。方法:对注射疫苗后8 d内死亡的31例婴幼儿尸体解剖资料进行回顾性分析。结果:男女比例为2.9∶1,年龄最大2岁,最小为胎儿(32孕周);31例死亡病例均属于偶合症;其中21例系感染后无典型症状的情况下注射疫苗,加重潜在疾病引起死亡;10例偶合疾病与预防接种无任何关联。结论:加强注射疫苗前的问诊及体检是预防偶合症发生的重要方法之一,通过尸体解剖明确死因是解决此类纠纷的关键。 展开更多
关键词 疫苗 预防接种 偶合症 肺炎 尸体解剖
在线阅读 下载PDF
面向有效错误定位的偶然正确性识别方法 被引量:1
4
作者 曹鹤玲 姜淑娟 +2 位作者 王兴亚 薛猛 钱俊彦 《电子学报》 EI CAS CSCD 北大核心 2016年第12期3026-3031,共6页
错误定位是软件调试中耗时费力的活动之一.针对偶然正确性影响错误定位效率的问题,提出面向错误定位的偶然正确性识别方法.该方法首先识别偶然正确性元素;然后,挑选"偶然正确性特征元素",使用该特征元素约简程序执行轨迹;在... 错误定位是软件调试中耗时费力的活动之一.针对偶然正确性影响错误定位效率的问题,提出面向错误定位的偶然正确性识别方法.该方法首先识别偶然正确性元素;然后,挑选"偶然正确性特征元素",使用该特征元素约简程序执行轨迹;在此基础上,建立基于模糊c均值聚类的偶然正确性识别模型,将其结果应用于错误定位.为验证该方法的有效性,基于3组测试程序开展偶然正确性识别,并将其结果应用于Tarantula等4种错误定位方法.实验结果表明,与基于k-means聚类的偶然正确性识别方法相比,该方法在偶然正确性识别方面具有较低的误报率和漏报率,并且更能提高错误定位的效率. 展开更多
关键词 软件调试 错误定位 偶然正确性 聚类分析
在线阅读 下载PDF
一种特殊条件下航空炸弹弹道特征数的符合计算 被引量:1
5
作者 聂光戍 张安 彭志专 《空军工程大学学报(自然科学版)》 CSCD 北大核心 2008年第2期14-17,共4页
针对某型战机上挂载使用某型航空炸弹的问题,提出了一种炸弹弹道系数的符合计算方法。该方法选用航空炸弹质点弹道模型,采用虚拟风洞数值模拟得到的炸弹阻力定律,结合实弹靶试数据,对弹道系数进行了符合计算。该符合计算方法下的射程误... 针对某型战机上挂载使用某型航空炸弹的问题,提出了一种炸弹弹道系数的符合计算方法。该方法选用航空炸弹质点弹道模型,采用虚拟风洞数值模拟得到的炸弹阻力定律,结合实弹靶试数据,对弹道系数进行了符合计算。该符合计算方法下的射程误差在1%以内。文中弹道模型可能适用其它质点弹道模型,选用的弹道模型与阻力定律同某型飞机火控弹道模型和阻力定律越是一致,符合计算出的弹道特征数就越有实用价值。在挂载航空火箭弹或采用航炮炮弹时,可考虑选用西亚切阻力定律。对于航空子母弹、带降落伞的低空高阻炸弹,可符合计算出它们相应的等效弹道的弹道特征数。 展开更多
关键词 弹道系数 质点弹道模型 阻力定律 符合计算
在线阅读 下载PDF
怀疑度计算公式受偶然正确性影响理论分析
6
作者 曹鹤玲 姜淑娟 +2 位作者 靳小波 杨卫东 薛猛 《电子学报》 EI CAS CSCD 北大核心 2018年第6期1365-1370,共6页
软件错误定位效率可能受诸多因素影响,如测试用例优先级排序、测试用例构成、测试用例覆盖率及偶然正确性测试用例等.主要关注偶然正确性对怀疑度计算公式错误定位效率的影响.为此,提出一个基于函数单调性的理论分析框架来证明30个经典... 软件错误定位效率可能受诸多因素影响,如测试用例优先级排序、测试用例构成、测试用例覆盖率及偶然正确性测试用例等.主要关注偶然正确性对怀疑度计算公式错误定位效率的影响.为此,提出一个基于函数单调性的理论分析框架来证明30个经典怀疑度计算公式受偶然正确性影响的程度.偶然正确性对怀疑度计算公式影响是有益的理论探索. 展开更多
关键词 软件调试 错误定位 偶然正确性 理论证明
在线阅读 下载PDF
以偶然正确性概率为基础的测试充分度准则 被引量:1
7
作者 陈洁 李倩 +1 位作者 赵建华 李宣东 《计算机科学与探索》 CSCD 2011年第7期602-612,共11页
提出了一种基于偶然正确性概率的测试充分度准则。考虑偶然正确性问题对测试的充分度衡量带来的影响,设计了一种算法来计算程序中的一个错误因为偶然正确性的发生而使输出结果正确的概率。根据动静态数据流信息分析,追溯了动态语句实例... 提出了一种基于偶然正确性概率的测试充分度准则。考虑偶然正确性问题对测试的充分度衡量带来的影响,设计了一种算法来计算程序中的一个错误因为偶然正确性的发生而使输出结果正确的概率。根据动静态数据流信息分析,追溯了动态语句实例之间的定义-使用依赖关系,并据此建立了定义-使用依赖关系图。对不同语句结构和跳转条件定义各种影响因子,量化这些影响因子对错误的掩盖程度。给出了一种算法来计算程序的一次执行过程的测试充分度。选取五个C语言程序作为实验对象,计算基于偶然正确性的测试充分度准则与错误发现效率之间的关系,并与语句覆盖度的错误发现率进行了比较。实验结果显示基于偶然正确性的测试充分度准则能较好地发现错误。 展开更多
关键词 测试充分度准则 偶然正确性 动态数据流分析
在线阅读 下载PDF
基于偶然正确性概率的回归测试选择方法 被引量:3
8
作者 周小莉 赵建华 《软件学报》 EI CSCD 北大核心 2021年第7期2103-2117,共15页
数据驱动的智能系统的核心是处理数据的算法,对算法正确性的要求高,导致其测试开销大,需要有效地缩减测试的规模,其中回归测试选择是控制测试规模的有效手段.数据驱动的智能系统由于其动态信息流强度弱的原因,发生偶然正确性现象的概率... 数据驱动的智能系统的核心是处理数据的算法,对算法正确性的要求高,导致其测试开销大,需要有效地缩减测试的规模,其中回归测试选择是控制测试规模的有效手段.数据驱动的智能系统由于其动态信息流强度弱的原因,发生偶然正确性现象的概率较高,并且该现象会导致常用的回归测试选择技术所选择出的测试集包含大量检测不到故障的测试用例.因此,从偶然正确性现象的角度出发,提出一种基于偶然正确性概率的回归测试选择技术,进一步排除可能发生偶然正确性现象的用例.该方法能够兼顾代码覆盖,同时从偶然正确性的角度保证缩减后的测试用例集合对被修改的代码的测试是充分的.根据在用例缩减和故障检测能力之间侧重的不同,提出了基于最小化和安全性技术的两种选择策略,并给出3种具体的选择算法.在实验中将所提方法与一种安全的测试选择技术进行比较,结果表明,这3种选择算法都很好地缩减了测试集合的规模,提高了测试选择的精度,并提高了安全性和精度的综合指标. 展开更多
关键词 偶然正确性现象 回归测试 回归测试选择
在线阅读 下载PDF
基于改进粒子群算法的火炮内弹道多参数符合计算 被引量:4
9
作者 贺磊 姚养无 +1 位作者 李树军 丰婧 《火力与指挥控制》 CSCD 北大核心 2021年第11期165-169,共5页
为了研究火炮在发射过程中膛内火药燃烧规律以及弹丸运动规律,需要建立火炮内弹道数学模型并进行数值求解,在此过程中对部分内弹道参数进行符合计算是优化内弹道模型的重要途经之一。在经典内弹道方程组的基础上,阐述了经典内弹道计算原... 为了研究火炮在发射过程中膛内火药燃烧规律以及弹丸运动规律,需要建立火炮内弹道数学模型并进行数值求解,在此过程中对部分内弹道参数进行符合计算是优化内弹道模型的重要途经之一。在经典内弹道方程组的基础上,阐述了经典内弹道计算原理,并对基本粒子群算法进行了改进,使改进后的粒子群算法在迭代初期有较大的惯性权重ω和学习因子c_(1)以及较小的学习因子c_(2),而在迭代后期有较小的惯性权重ω和学习因子c_(1)以及较大的学习因子c_(2),从而有效地避免粒子群陷入局部最优而导致收敛精度低的缺陷。将改进后的粒子群算法应用于火炮内弹道多参数符合计算,算例结果表明该方法完全满足工程实际要求,具有收敛速度快、符合精度高的特性,是火炮内弹道多参数符合计算的理想算法之一。 展开更多
关键词 内弹道 粒子群算法 非线性递减惯性权重 动态学习因子 符合计算
在线阅读 下载PDF
基于偶然性正确测试用例发现的错误定位方法 被引量:2
10
作者 冯潞潞 丁佐华 《计算机工程与应用》 CSCD 北大核心 2015年第22期252-257,共6页
软件错误定位是目前软件工程领域的重要研究课题,其中基于程序谱的错误定位(CFL)是一类重要的方法。偶然性正确测试用例对于CFL有着很大的负面影响,因此如何发现该类测试用例或者避免它们对CFL的影响对于提高CFL方法的定位效果有着重要... 软件错误定位是目前软件工程领域的重要研究课题,其中基于程序谱的错误定位(CFL)是一类重要的方法。偶然性正确测试用例对于CFL有着很大的负面影响,因此如何发现该类测试用例或者避免它们对CFL的影响对于提高CFL方法的定位效果有着重要的意义。通过分析偶然性正确对CFL定位方法的影响,发现一种没有误判率(false positive)的寻找偶然性正确测试用例的方法。在此基础上,提出了一种基于偶然性正确测试用例发现的CFL定位方法。通过实验表明,该方法可以普遍改善已有CFL方法的定位效果。 展开更多
关键词 错误定位 偶然性正确 软件测试 调试
在线阅读 下载PDF
基于偶然正确性概率的错误定位技术 被引量:1
11
作者 周小莉 赵建华 《软件学报》 EI CSCD 北大核心 2021年第4期1039-1050,共12页
基于代码覆盖的错误定位技术是一种常用的错误定位方法,被用来识别与故障相关的程序元素.然而,有研究工作表明,基于代码覆盖的错误定位技术的有效性受到了偶然正确性现象的影响.偶然正确性现象是指程序中包含的错误被执行,但没有产生错... 基于代码覆盖的错误定位技术是一种常用的错误定位方法,被用来识别与故障相关的程序元素.然而,有研究工作表明,基于代码覆盖的错误定位技术的有效性受到了偶然正确性现象的影响.偶然正确性现象是指程序中包含的错误被执行,但没有产生错误结果的情况,它在实际场景中是非常普遍的.根据以往的研究工作,提出了一种估算发生偶然正确性现象概率的方法.该方法从程序运行时内存中值的定义-使用关系出发,将各语句的执行对程序输出的影响进行了估计.基于偶然正确性概率,对基于代码覆盖的错误定位技术中可疑度的计算方法进行了修正,以消除偶然正确性现象对错误定位技术的影响.在SIR(software-artifact infrastructure repository)中提供的西门子测试套件上进行了实验,这也是偶然正确性相关工作中常被使用的目标程序.实验结果表明,相对于基于代码覆盖信息的错误定位技术,提出的方法提高或至少维持了原有的安全性,并较好地提高了错误定位的精确度. 展开更多
关键词 偶然正确性现象 错误定位 测试
在线阅读 下载PDF
基于Powell法的末制导炮弹惯导飞行段符合方法 被引量:1
12
作者 陈瑞军 褚进 张宝 《火力与指挥控制》 CSCD 北大核心 2020年第8期176-180,共5页
惯导飞行段的符合是末制导炮弹射表编拟工作中的关键技术难题,通常编射表的对象都是无控弹,有控弹道符合问题是射表编拟首次遇到的课题。简要介绍了惯导飞行控制原理及惯导段弹道数学模型,确定了符合系数和符合对象,介绍了POWELL法和单... 惯导飞行段的符合是末制导炮弹射表编拟工作中的关键技术难题,通常编射表的对象都是无控弹,有控弹道符合问题是射表编拟首次遇到的课题。简要介绍了惯导飞行控制原理及惯导段弹道数学模型,确定了符合系数和符合对象,介绍了POWELL法和单纯形法的基本思路、方法,并进行了符合计算。通过利用符合结果计算的弹道三维坐标值和实测值比较,单纯形法效果较差,而POWELL法效果很好,不仅落点一致,而且惯导段弹道形状也吻合得非常好,充分说明基于POWELL法的惯导飞行段符合方法是有效可行的。此方法充分利用惯导段三维坐标测量信息校准弹道模型中较多的关键参数,在高价值制导弹药射表编拟方法研究中实现了突破。 展开更多
关键词 Powell法 惯导段 末制导炮弹 符合方法
在线阅读 下载PDF
庄子“辩无胜”思想的真理观解读
13
作者 李瑞青 《北京工业大学学报(社会科学版)》 CSSCI 2008年第6期52-55,共4页
先秦时期是辩学发展的高峰时期,其中尤以后期墨家的"辩有胜"为主要代表。但庄子却以其"辩无胜"的反调,弹出了一组反对名辩思潮的不谐之音。庄子与后期墨家关于"辨无胜"与"辩有胜"的争论,具有... 先秦时期是辩学发展的高峰时期,其中尤以后期墨家的"辩有胜"为主要代表。但庄子却以其"辩无胜"的反调,弹出了一组反对名辩思潮的不谐之音。庄子与后期墨家关于"辨无胜"与"辩有胜"的争论,具有多重理论内涵。文章试图运用西方实用主义、传统符合论的真理观为框架,阐述争论双方在理论上的所见所蔽,以期能从新的角度来重新认识和评价庄子"辩无胜"的深层蕴含。 展开更多
关键词 庄子 辩无胜 辩有胜 实用主义真理观 符合论
在线阅读 下载PDF
浅谈时政新闻出新意 被引量:8
14
作者 易福烈 《湘潭大学社会科学学报》 2002年第3期144-144,F003,共2页
时政新闻 ,即关于时事、政治方面的新闻报道。其突出特点是 :题材重大 ,参与者层次高 ,场面隆重、盛大、严肃。采、拍、编人员要把握住其特点 ,抓住采访工作的各个环节 ,充分发挥电视媒体的特长 ,即选择好的细节 ,合理地增加长镜头的运... 时政新闻 ,即关于时事、政治方面的新闻报道。其突出特点是 :题材重大 ,参与者层次高 ,场面隆重、盛大、严肃。采、拍、编人员要把握住其特点 ,抓住采访工作的各个环节 ,充分发挥电视媒体的特长 ,即选择好的细节 ,合理地增加长镜头的运用 ,注重同期声的录制 。 展开更多
关键词 时政新闻 细节 长镜头 同期声
在线阅读 下载PDF
非线性抛物型方程周期解的存在性
15
作者 张石生 康世焜 王向东 《四川大学学报(工程科学版)》 EI CAS CSCD 1993年第2期87-94,共8页
关键词 COINCIDENCE FREDHOLM 算子 L-紧 caratheodory 条件
在线阅读 下载PDF
ROAD LOG FOR FIELD SEMINAR IN GUILIN, GUANGXI: TROPICAL KARST
16
作者 Jiang ZhongchengThe Institute of Karst Geology,China 《中国岩溶》 CAS CSCD 北大核心 1992年第S1期129-145,共17页
Guilin area is situated in the northeastern part of the Guangxi Zhuang Autonomous Region, 110°9′to 110°42′E and 24°40′to 25°40′N. It has a subtropical monsoon humid climate characterized by sha... Guilin area is situated in the northeastern part of the Guangxi Zhuang Autonomous Region, 110°9′to 110°42′E and 24°40′to 25°40′N. It has a subtropical monsoon humid climate characterized by sharp contrast between dry season and rainy season, with an annual mean temperature of 18.3℃ and precipitation of 1936mm, which coincide with the thresholds of temperature and precipitation for tropical karst. 展开更多
关键词 season tropical MONSOON KARST humid situated coincide RAINY sandstone MUDSTONE
在线阅读 下载PDF
Simulation of Grey Scale Ghost Imaging By Labview
17
作者 DING Jian ZHAO Sheng-mei 《南京邮电大学学报(自然科学版)》 2011年第2期94-99,共6页
In this paper,we present a simulation method to reconstruct the object's imaging in a ghost-imaging system.We use Laguerre-Gaussian(LG) beam as the light source which will produce the Orbital Angular Momentum(OAM)... In this paper,we present a simulation method to reconstruct the object's imaging in a ghost-imaging system.We use Laguerre-Gaussian(LG) beam as the light source which will produce the Orbital Angular Momentum(OAM) states.In the signal arm,the object spatial information is encoded as phase,and added to the phase of the signal light.In the idler arm,the phase of the idler light is changed according to the maximum coincidence rate in the receiver.We get each pixel matched phase of the object and reconstruct the object's imaging in the idle arm.We demostrate some examples of the reconstruction and compare with the other reported method.The results show that our method can improve the resoltuion of the image effectively. 展开更多
关键词 orbital angular momentum coincidence rate ghost imaging grey scales
在线阅读 下载PDF
Effect of post weld heat treatment on grain boundary character distribution and corrosion resistance of friction stir welded armourgrade nickel and molybdenum-free high-nitrogen austenitic stainless steel
18
作者 Arun Kumar Gurrala Raffi Mohammed G Madhusudhan Reddy 《Defence Technology(防务技术)》 2025年第9期246-261,共16页
This study examines the effects of friction stir welding(FSW)and post-weld heat treatment(PWHT)on the grain boundary character distribution and corrosion resistance of cross sectional(top and bottom)regions of nickel-... This study examines the effects of friction stir welding(FSW)and post-weld heat treatment(PWHT)on the grain boundary character distribution and corrosion resistance of cross sectional(top and bottom)regions of nickel-and molybdenum-free high-nitrogen austenitic stainless steel(HNASS).FSW at 400 rpm and 30 mm/min resulted in finer grains(4.18μm)and higher coincident site lattice(CSL)boundaries(32.3%)at the top of the stir zone(SZ)due to dynamic recrystallization(DRX).PWHT at 900℃for 1 h led to grain coarsening(12.91μm the bottom SZ)but enhanced CSL boundaries from 24.6%to 30.2%,improving grain boundary stability.PWHT reduced the kernel average misorientation(KAM)by 14.9%in the SZ-top layer and 20.4%in the SZ-bottom layer,accompanied by a 25%decrease in hardness in the SZ-top layer and 26.7%in the SZ-bottom layer,indicating strain recovery and reduced dislocation density.Potentiodynamic polarization tests(PDP)showed a 18%increase in pitting potential and a 76%reduction in corrosion rate after PWHT.The improvement in corrosion resistance is attributed to the increase inΣ3 twin boundaries,which enhance grain boundary stability and reduce susceptibility to localized corrosion.These findings highlight the role of PWHT in refining the microstructure and strengthening corrosion resistance,making HNASS a promising material for demanding applications. 展开更多
关键词 Nickel and molybdenum free high-nitrogen austenitic stainless steel Friction stir welding Post-weld heat treatment Electron backscattered diffraction Microstructural gradients Pitting corrosion resistance coincident site lattice Grain boundary characteristic distribution
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部