基于序列的程序语义规则挖掘与违规检测方法

在软件开发中,违反语义规则的源码可以正常地编译或运行,但却存在性能或功能上的缺陷。因此,如何准确地检测此类缺陷成为了一项挑战。已有的研究通常采用基于项集的规则挖掘与检测方法,但由于未能良好地结合源码的顺序信息与控制流信息,此类方法在检测能力以及准确率上都存在较大的提升空间。针对该问题,提出了一种基于序列的程序语义规则提取与违规检测方法SPUME。该方法将程序源码转化为中间表示序列,使用序列规则挖掘算法从中提取语义规则,并基于语义规则对源码中的缺陷进行检测。为验证SPUME的有效性,文中将其与3种基线方法进行了对比,包括PR-Miner,Tikanga以及Bugram。实验结果表明,相较于基于无序项集进行规则挖掘的PR-Miner,以及结合了图模型的Tikanga,SPUME在检测效果、检测速度以及准确率上都有显著提升。相比基于Ngram语言模型的Bugram方法,SPUME在准确率与其相当的情况下,高效地检测出了更多程序缺陷。

基于LASSO关联规则算法的集输管道主控因素分析

为找出影响集输管道腐蚀的主控因素,制定了针对性地防护措施。在采集现场数据和多相流稳态模拟的基础上,利用套索算法(LASSO)实现影响因素的筛选,采用Apriori关联规则算法找出腐蚀因素与腐蚀速率、缺陷轴向位置和缺陷分布之间的关系,以确定关联规则信息。结果表明:温度、气相流速、持液率、CO_(2)分压、Ca^(2+)+Mg^(2+)质量浓度、SRB含量等变量是影响腐蚀程度的主控因素;当温度在40~55℃、气相流速大于8 m/s、持液率大于80%、CO_(2)分压大于0.08 MPa、Ca^(2+)+Mg^(2+)质量浓度大于200 mg/L、SRB含量大于100个/mL时,腐蚀最为严重,腐蚀速率大于0.254 mm/a,为“极严重腐蚀”程度;高温高压反应釜验证了关联规则结论准确性;随着腐蚀缺陷轴向位置越靠近焊缝,腐蚀缺陷的尺寸越小,由轴向缺陷逐步转为环向缺陷,同时出现概率也增大。此算法可为油田生产效益的优化提供技术思路。

针刺治疗视野缺损的研究进展

视野缺损患者在生活和工作上极其不方便,对家庭及社会产生很大的负担。引起该病的原因多种多样,但是该病在西医治疗上尚无特效治疗方法,针刺治疗该病,可直接刺激眼部周围穴位,属近部取穴,使气至病所,气至而有效。针灸在治疗该病时操作简便,疗效显著,副作用小,值得临床上推广实行。

瑕疵证据与非法证据认定的误区与厘清

非法证据排除规则和瑕疵证据补正规则是司法机关维护司法公正、防范冤假错案的重要着力点。当前,我国非法证据与瑕疵证据的认定存在非法证据排除申请高度依赖律师参与、非法证据认定比例低且以言词证据为主、瑕疵证据认定比例较高且以实物证据为主等特点,面临混淆非法证据排除规则与瑕疵证据补正规则、因“可能影响公正审判”标准难以把握导致非法证据降格处理、瑕疵证据补正方式不规范等问题。为了进一步完善我国刑事诉讼证据制度,维护司法公正和社会正义,应当明确界定瑕疵证据的具体形态、补正方式和范围,明晰部分证据种类的排除规则,同时发挥检察机关的审前过滤功能,落实庭审实质化。

基于关联规则的终端软件缺陷检测方法研究

目前研究的终端软件缺陷检测方法对软件未知缺陷检测的命中率较低,对软件已知缺陷的误报率较高。为了解决上述问题,基于关联规则研究了一种新的终端软件缺陷检测方法。利用二进制提取终端软件的缺陷特征,对基本块根据尾指令进行划分与调用,采用广度优先的方式使缺陷路径循环,确定缺陷特征。通过计算基本块的缺陷度分析检测误报率,根据建立的终端软件缺陷检测模型提取出缺陷权限信息,通过数据匹配实现缺陷检测。实验结果表明,对于未知软件,所提方法能够有效提高软件未知缺陷检测命中率,降低软件已知缺陷检测的误报率。

智能消除注塑制品缺陷的研究

研究了如何利用注塑专家的经验知识 ,采用基于规则的模糊逻辑推理 ,寻找无缺陷注塑过程参数的方法 ,尽量减少对操作者的专业知识的要求。首次将基于经验知识的模糊逻辑系统运用于注塑过程参数的自动设定 ,实现了初步的系统。实验结果表明该系统层次分明、结构简单、实用。

亚复杂系统中动力学干预规则挖掘技术研究进展

亚复杂系统干预规则挖掘是数据挖掘领域的新内容。综述了亚复杂系统干预规则研究背景和典型问题,通过实例,描述了干预规则挖掘领域一些基本概念和术语,如干预相关度、传递相关度、干预分型和干预代数等;介绍了在亚复杂系统干预规则挖掘的初步探索和成果,包括关于朴素干预规则和数值型干预规则挖掘算法,以及基于密度的数据流干预分析模型及相关结果。

出生缺陷监测数据中的朴素干预规则挖掘

出生缺陷干预规则挖掘是目前医学界和数据挖掘界共同关注的课题。以出生缺陷数据为背景,研究了朴素干预规则建模,并试图发现某些出生缺陷的可能致因。提出了朴素干预规则模型以及朴素干预规则挖掘算法。实验表明,提出的算法能有效挖掘出围产儿缺陷的致因,并为出生缺陷干预工程的政策制定提供致病因素的最佳状态调整方向。

BP神经网络在织物疵点识别中的应用

采用3层BP神经网络对织物疵点进行识别,提出织物疵点识别网络不适宜规则,将其应用于隐含层神经元个数选择和训练方法筛选,以优化网络结构,提高训练速度和网络识别精度,设计出较优的织物疵点识别网络。将丝织物中常见的断经、断纬、重纬、档疵、破洞和油污6类疵点作为识别样本,对按照网络不适宜规则设计的网络进行测试。从识别结果来看,BP神经网络可以满足织物疵点识别需要,且具有正确识别率高,识别速度快的优点。

改进的FUP算法在五金产品质量分析系统中的应用

以阀门作为五金产品质量数据分析的实例,对阀门产品质量数据进行分析,主要是分析阀门产品的缺陷数据。针对传统的增量式关联规则算法FUP没有考虑到数据的时间属性,在FUP算法的基础上提出一种改进算法,并且将改进的FUP算法运用到产品质量分析系统中。通过实验结果对比发现,使用了改进算法以后,原来的许多规则已经不在生成的规则列表中出现,而一些新的规则被生成了。

扩大型再颁专利的制度逻辑及启示

我国专利制度中的捐献原则排除了对在说明书中描述但没有记载在权利要求书中的技术方案的保护。这一原则的优点是维护了专利的公示性,让法官适用法律比较明确,但不足是对专利权人过于严苛。为克服这一原则的弊端,美国在司法实践中形成了扩大型再颁专利制度,并在立法中予以承认。扩大型再颁专利可以克服原初专利的瑕疵和捐献原则的僵硬,达致专利的公示性与排他利益之间的动态平衡。我国专利法没有为专利权人设置增加权利要求的救济措施,对那些因疏忽而无法把某些技术方案纳入保护范围的专利权人有失公平,因此建议我国专利法吸收扩大型再颁专利制度。

社会治理的法治短板及其补齐——以社会“治疫”为例的分析

2020年的新冠肺炎疫情应对大考,中国交出了一份令世人满意的抗疫成绩单,充分彰显了中国制度与国家治理体系及治理能力的优势。其中,作为国家治理体系组成部分的社会治理亦功不可没。社会治理在时至今日的“抗疫”中依然在发挥着不可或缺的作用,但在抗击新冠疫情的进程中,社会治理也暴露出一些短板与不足,而最为突出的就是法治短板。社会治理在疫情防控中的法治短板,主要表现为:在法治化方面存在制度空白与空缺、主体功能悬置;在具体举措方面则存在有可能与法治相悖的现象或需要进一步改进的问题。对此,需要全面推进和深化我国社会治理领域的法治化建设:增强法治思维,提升法治认知;实现一般法治与非常法治的统一;加强立法的跟进与协调,形成完备的社会治理法律规范体系;构建融规制性与预防性、统一性与差异性于一体的法律制度体系。

小径管对接焊缝超声波探伤规程、导则的应用及缺陷波的识别

结合多年实践,对小径管对接焊缝超声波探伤相关规程、导则主要异同及其对缺陷判伤影响进行了分析,并对缺陷波的识别进行了论述,对不同壁厚的小径管超声波探伤如何执行规程和导则给出了建议。

利用Apriori算法进行船舶缺陷数据研究分析

港口国检查是以确保人员和船舶安全、预防海事事故、防止海洋环境污染为目的的专门检查。随着环保意识的不断加强,港口国检查发挥着越来越重要的作用。数据挖掘技术能够从大量模糊数据中发现有价值的信息。船舶缺陷数据分析利用数据挖掘技术,从海量船舶数据中发现数据间的关联规则,从而提高港口国检查的工作效率。本文研究Apriori算法,针对该算法的不足进行改进,实现了基于改进Apriori算法的船舶缺陷数据分析系统。

一种基于FP-growth算法的变电站二次设备缺陷分析方法

为提高监控人员面对设备海量缺陷信息的研判能力,丰富监控人员缺陷处理的技术手段,提出了一种基于FP-growth算法的变电站二次设备缺陷分析方法。利用关联规则挖掘的思想,为智能变电站二次设备建立缺陷模型,并利用FP-growth算法进行了缺陷数据的挖掘和分析,挖掘二次设备、缺陷和缺陷原因的关联规则。通过对国家电网公司真实缺陷数据分析,表明所提方法可以有效发现变电站、二次设备、缺陷性质、缺陷原因等因素之间的关联关系,为二次设备高效管控和运维提供有价值信息。

基于σ-λ律的Sugeno测度及其可加性误差估计

讨论基于σ-λ律的Sugeno测度的刻划定理,借助于所提出的刻划定理,给出基于σ-λ律的Sugeno测度可列可加的误差估计及其计算公式。

群发性产品伤害危机对消费者感知品类风险影响的实证研究

运用实验室试验法进行实证分析,验证不同类型群发性产品伤害危机对感知品类风险影响的差异及调节效应。研究结果显示,不同类型群发性产品伤害危机对感知品类风险的影响存在差异,潜规则型群发性危机对消费者感知品类风险的影响更大。危机群发性在危机对消费者感知品类风险的影响中发挥调节作用,危机群发性高时,较技术缺陷型群发性危机,潜规则型群发性危机对消费者感知品类风险的负面影响更显著。

软件缺陷数据的分析方法及其实现

软件缺陷数据的分析对于软件质量保证、项目管理和过程改进具有重要的意义,但目前的缺陷管理工具的数据分析功能普遍比较薄弱。本文首先分析了软件缺陷属性数据的类型,在此基础上阐述了软件缺陷数据分析的基本方法,包括一元数据分析和多元数据分析。最后讨论了实现软件缺陷数据分析方法所涉及到的几个关键技术。

铺层顺序对碳纤维复合材料钻削分层制孔的影响

在碳纤维环氧树脂基复合材料的钻削制孔加工过程中会产生很多种类的缺陷,其中分层损伤是最难以控制的缺陷,严重影响机械连接的有效性和材料的使用性能。将铺层规则尤其是防分层规则应用于层合板铺层顺序优化中,使用Memetic算法得出防止碳纤维板分层的铺层顺序,并设计CFRP制孔试验加以论证。试验结果表明,复合材料铺层角度对分层缺陷有重要影响,优化后的碳纤维复合材料可有效减少分层、毛刺缺陷。

敦煌写本《寅年令狐宠宠卖牛契》中的瑕疵担保制度

敦煌写本《寅年令狐宠宠卖牛契》(S .1 4 75号文书 )是对《唐律疏议》有关契约立法的民间实践。这件买卖契约文书以生命物为标的 ,约定了标的物所有权的转移及瑕疵担保规则 。