期刊文献+
共找到243篇文章
< 1 2 13 >
每页显示 20 50 100
知识产权客体兜底规范的内在关系及适用逻辑——以《民法典》第123条与《著作权法》第3条的适用为分析视角
1
作者 刘华 李晓钰 《北京理工大学学报(社会科学版)》 CSSCI 北大核心 2024年第1期101-110,119,共11页
《民法典》对知识产权客体类型的立法取向秉持法定主义立场,而现行《著作权法》对作品类型的规范选择却经历了由“作品类型法定”到“作品类型开放”的重大转变,致使两法客观呈现权利客体类型开放与封闭的立法模式差异。实践中应揭示这... 《民法典》对知识产权客体类型的立法取向秉持法定主义立场,而现行《著作权法》对作品类型的规范选择却经历了由“作品类型法定”到“作品类型开放”的重大转变,致使两法客观呈现权利客体类型开放与封闭的立法模式差异。实践中应揭示这种假性矛盾的本质,厘清私权部门种属概念间错位类比的逻辑误区,明确过渡性知识产权基本规范对各知识产权单行法特殊性问题的解释缺失,以《民法典》与《著作权法》之间互为“表里”的“隔代”调适关系为逻辑基础,支撑知识产权客体相关规范在司法适用中的实践展开。即以作品类型扩张的现实表现和法律解释经验为起点,以民事私权的价值理念为根基,秉持审慎开放、体系化解释和司法确认优先原则,在具体案件中依照知识产权权属定位、著作权权属定位、作品类型定位的逻辑层次,在权利客体兜底款项启用时严格把握相对开放的审慎裁判思路。 展开更多
关键词 民法典 著作权法 法定原则 作品类型开放 知识产权
下载PDF
以中国话语在生态环境法典中确认环境权 被引量:1
2
作者 吕忠梅 《学术前沿》 CSSCI 北大核心 2024年第12期4-11,共8页
编纂生态环境法典作为重大政治任务和立法任务,已列入全国人大常委会2024年年度工作计划。通过法典编纂,将党的十八大以来生态文明建设理论、制度、实践成果以法典的形式确认下来,适应新时代我国社会主要矛盾新变化,回应人民群众对美好... 编纂生态环境法典作为重大政治任务和立法任务,已列入全国人大常委会2024年年度工作计划。通过法典编纂,将党的十八大以来生态文明建设理论、制度、实践成果以法典的形式确认下来,适应新时代我国社会主要矛盾新变化,回应人民群众对美好生态环境的新期盼,是生态环境法典编纂的目标和方向。在生态环境法典编纂研究中,我们要以习近平新时代中国特色社会主义思想特别是习近平生态文明思想和习近平法治思想为指引,坚持人民立场,认真对待生态环境新期盼带来的利益关系新变化;坚持改革开放,准确把握我国环境权益保护现状与政策取向;坚持道路自信,以中国话语在生态环境法典中确认环境权并作出一般规定、建立相应的保障制度和救济制度,提升中国生态环境治理体系与治理能力现代化水平,提供加强全球生态环境治理的中国方案。 展开更多
关键词 生态环境法典编纂 环境权 人民立场 改革开放 道路自信
下载PDF
开源代码库OpenFOAM引入本科工程流体力学的教学实践 被引量:2
3
作者 赵勇 王天霖 《科教文汇》 2017年第18期65-66,共2页
本文将大型计算流体动力学开源程序Open FOAM引入本科工程流体力学课程教学,借助数据后处理得到直观的流动演化图案,有利于学生理解流体力学基础理论,培养学生理性分析的能力,从而有效提高教学效果。
关键词 流体力学 openFOAM 开源程序
下载PDF
长链非编码RNA及其编码的微蛋白在乳腺癌中的功能及其研究进展
4
作者 温子靖 杜俊 +1 位作者 陈雪 刘文 《厦门大学学报(自然科学版)》 CAS CSCD 北大核心 2024年第5期799-812,共14页
[背景]乳腺癌发生发展过程相关药物靶点的发现及其分子机制研究一直是乳腺癌防治领域的前沿问题.近年来,长链非编码RNA(lncRNA)作为表观遗传调控的关键参与者受到广泛关注.部分lncRNA存在开放阅读框(ORF)并可编码功能性蛋白.越来越多研... [背景]乳腺癌发生发展过程相关药物靶点的发现及其分子机制研究一直是乳腺癌防治领域的前沿问题.近年来,长链非编码RNA(lncRNA)作为表观遗传调控的关键参与者受到广泛关注.部分lncRNA存在开放阅读框(ORF)并可编码功能性蛋白.越来越多研究表明,lncRNA及其编码的微蛋白在细胞分裂、钙及线粒体代谢等生物学过程中发挥重要作用,且在多种疾病尤其是肿瘤的发生发展过程中发挥关键调控作用,可参与多种癌症信号通路并调控肿瘤进程,调控肿瘤的生长增殖、侵袭转移与耐药,并与患者的预后相关,暗示其可能应用于癌症的诊断与治疗中.[进展]本文系统综述了lncRNA及其编码的微蛋白在乳腺癌中的功能和分子机制.作为lncRNA分子,lncRNA可以在转录或转录后水平调控基因表达、mRNA稳定性、蛋白翻译和蛋白稳定性,从而调控乳腺癌细胞增殖、分化、侵袭和转移及免疫应答等恶性进程.lncRNA的表达特征和存在形式也赋予其作为临床诊断标志物与治疗靶点的可能性.作为编码微蛋白的载体,lncRNA可以进一步翻译产生长度小于100个氨基酸的微蛋白,并在细胞的正常生理活动及癌症的发生发展中发挥关键调控作用.在乳腺癌中也发现lncRNA来源的微蛋白可以参与乳腺癌细胞的生长、转移和侵袭及耐药等恶性病变进程,并可能应用于癌症的诊断与治疗中.[展望]lncRNA及其编码的微蛋白被证明具有作为新治疗靶点和抗肿瘤药物的巨大潜力.然而,验证lncRNA的编码潜力是后续微蛋白功能研究的前提.如何从真核生物基因组数以万计的ORF中准确识别可编码的ORF,区分其与真正的转录或翻译“噪声”面临挑战;同时,这些微蛋白的具体结构、定位、表达水平仍待进一步研究,其作为新药靶点或肿瘤标志物的临床实用性也需更深入的探索和评估. 展开更多
关键词 乳腺癌 长链非编码RNA 短开放阅读框 微蛋白
下载PDF
基于若依开源框架的低代码开发
5
作者 蒋谨 汤海林 《现代计算机》 2024年第14期112-116,共5页
在合适场景选用低代码开发,不仅可以节约成本,还可以提升效率。若依是完全开源的架构,允许企业或者个人商用。通过运用若依开源架构实现了中华人民共和国民事诉讼法的数字化开发,向读者介绍和推荐了若依开源框架,为公司和个人的项目开发... 在合适场景选用低代码开发,不仅可以节约成本,还可以提升效率。若依是完全开源的架构,允许企业或者个人商用。通过运用若依开源架构实现了中华人民共和国民事诉讼法的数字化开发,向读者介绍和推荐了若依开源框架,为公司和个人的项目开发,提供了一种低代码实现的参考途径。 展开更多
关键词 若依开源框架 低代码 微服务 前后端分离
下载PDF
法典化目标下税法总则的功能定位与立法逻辑 被引量:1
6
作者 张旭 《东北大学学报(社会科学版)》 CSSCI 北大核心 2024年第2期102-110,共9页
我国税法典编纂应坚持汇编型法典与体系型法典之间的综合方案,以提升立法质量、回应征管实践需求为核心。创制税法总则,确保必要程度的抽象性和引领效用;汇编单行法作为分则,尽可能维持既有立法成果和规范体系。税法总则应秉持回应社会... 我国税法典编纂应坚持汇编型法典与体系型法典之间的综合方案,以提升立法质量、回应征管实践需求为核心。创制税法总则,确保必要程度的抽象性和引领效用;汇编单行法作为分则,尽可能维持既有立法成果和规范体系。税法总则应秉持回应社会经济生活的实践品格,前瞻性地考虑征纳活动的疑难问题,规定对税收征管影响重大的税法基础概念、基本原则、基础制度等,以向法律适用者提供可资援引或参考的判断依据为其创制思路,加强其在分则规则回应不足情况下的规范补充角色;同时,保持一定的体系开放性,赋予行政机关和司法机关法律续造的空间,探索从税务执法和司法活动汲取总则制定和修订思路的创新路径,将其中可反复实践的一般性规则转化为税法总则的条款,实现税法典法律规范的更新迭代,提升税法典的包容度和回应力。 展开更多
关键词 税法总则 税法典 实践品格 体系开放性 税收征管
下载PDF
面向二维码的开放实验室管理系统设计与实现
7
作者 刘杰 《科技创新与应用》 2024年第10期134-137,142,共5页
在互联网信息技术快速发展的过程中,高校对开放实验室管理手段的要求也不断提升。鉴于开放实验室管理设备种类多、信息总量庞大等特征,传统的管理模式已经无法满足实际工作需求,迫切地需要做出转变和创新,而将二维码技术运用到开放实验... 在互联网信息技术快速发展的过程中,高校对开放实验室管理手段的要求也不断提升。鉴于开放实验室管理设备种类多、信息总量庞大等特征,传统的管理模式已经无法满足实际工作需求,迫切地需要做出转变和创新,而将二维码技术运用到开放实验室管理工作中,构建信息化水平较高的实验室管理系统,能够大大提升开放实验室管理效率,更好地服务高校教学工作。该研究主要对二维码技术进行概述,对开放实验室管理系统进行总体设计,并介绍面向二维码的开放实验室管理系统的实现,以期构建功能完善、性能强大的开放实验室管理系统,提高开放实验室管理系统的运行速度和管理效率,降低开放实验室管理成本,充分发挥开放实验室的功能。 展开更多
关键词 二维码 开放实验室 实验室管理 管理系统 教学工作
下载PDF
开源软件漏洞治理的挑战与对策建议
8
作者 赵相楠 杨文钰 +2 位作者 李昊燕 何佩 阿合买提·雨三 《信息安全与通信保密》 2024年第5期80-90,共11页
自互联网时代来临以来,开源软件为新一代信息技术的创新发展做出了巨大贡献,同时,开源软件漏洞数量也在持续增加。由于开源软件的开放性和共享性特质,其影响范围与深度也日益扩大。通过分析开源软件和闭源软件的区别,指出了建立开源软... 自互联网时代来临以来,开源软件为新一代信息技术的创新发展做出了巨大贡献,同时,开源软件漏洞数量也在持续增加。由于开源软件的开放性和共享性特质,其影响范围与深度也日益扩大。通过分析开源软件和闭源软件的区别,指出了建立开源软件漏洞治理体系的必要性,从开源用户、开源社区、代码托管平台等主体出发,研究发现开源软件漏洞治理存在安全意识缺乏、安全资源投入有限、漏洞情报获取信息差等问题。基于此,提出营造安全氛围、推进开源项目高质量发展、建立开源公共服务平台等对策建议,以期为相关研究和实际应用提供参考。 展开更多
关键词 开源软件 漏洞管理 开源治理 代码托管平台
下载PDF
基于OpenMV的单目视觉二维码追踪小车设计与测试 被引量:9
9
作者 赵举 李国斌 +2 位作者 姜涛 杨学存 张波 《电子设计工程》 2019年第19期53-58,共6页
基于视觉追踪的智能小车是自动化领域的研究热点。在OpenMV的基础上,设计了单目视觉追踪小车的硬件和软件。硬件包括OpenMV模块、舵机模块、小车驱动模块和电源模块。同时也设计了系统的软件,为保证对二维码的准确判断,在初始化摄像头时... 基于视觉追踪的智能小车是自动化领域的研究热点。在OpenMV的基础上,设计了单目视觉追踪小车的硬件和软件。硬件包括OpenMV模块、舵机模块、小车驱动模块和电源模块。同时也设计了系统的软件,为保证对二维码的准确判断,在初始化摄像头时,加入了防止镜头畸变的调节功能。然后判断检测到的二维码是否为系统设定的合法二维码,如果合法,则每一张二维码都将被写入指令,从而使小车执行相应二维码程序。另外,为了保障舵机与驱动电机动作流畅,系统采用了位置式PID算法,当追踪目标出现偏差时进行修正,为整个二维码追踪过程提供保障。经过测试,系统实现了对二维码的准确、快速追踪功能。 展开更多
关键词 openMV 视觉 追踪 二维码
下载PDF
基于预训练语义编码的判断句答案推理
10
作者 李飞 王颜颜 +1 位作者 王超 黄友志 《软件导刊》 2024年第1期75-80,共6页
目前大规模文本问答依赖句子表征从候选文本中检索答案,但是忽略了有些答案需要进一步推理,无法直接从文中获取,比如判断句。为解决此类问题,一个面向大规模文本的判断句答案生成方法被提出。首先在语义编码器中通过对大规模文本进行预... 目前大规模文本问答依赖句子表征从候选文本中检索答案,但是忽略了有些答案需要进一步推理,无法直接从文中获取,比如判断句。为解决此类问题,一个面向大规模文本的判断句答案生成方法被提出。首先在语义编码器中通过对大规模文本进行预训练获取语义编码器,对问题、依据进行语义编码;其次在答案生成器中基于对比学习构造正负样本进行数据增强;之后在答案依据获取器中通过使用Faiss实现问题和大规模文本的快速表征与匹配。在最终的判断句问答中,准确率高达96.58%,验证了该方法的有效性。 展开更多
关键词 智能问答 开放域问答 问答分类器 语义编码
下载PDF
基于OpenVPN识别的APT隐蔽隧道检测 被引量:1
11
作者 巫祺炜 施勇 薛质 《信息安全与通信保密》 2015年第12期112-115,共4页
随着因特网与信息安全的发展,出现了一种新的攻击方式:高级持续性威胁(APT)。在APT的最后阶段,当攻击者想要从受害网络中窃取数据时,他们可能会使用隐蔽隧道。虚拟专用网络是私人或公共网络间的点对点连接。在过去几年里,VPN一直被认为... 随着因特网与信息安全的发展,出现了一种新的攻击方式:高级持续性威胁(APT)。在APT的最后阶段,当攻击者想要从受害网络中窃取数据时,他们可能会使用隐蔽隧道。虚拟专用网络是私人或公共网络间的点对点连接。在过去几年里,VPN一直被认为是安全的。事实上,它也可以带来很多潜在的安全隐患。例如,攻击者可以利用虚拟专用网,使其称为一个用来传输敏感数据的APT隐蔽隧道。鉴于这样的双刃剑,有必要找到一种方法来检测恶意虚拟专用网,以防止APT隐蔽隧道的存在。 展开更多
关键词 高级持续性威胁 虚拟专用网络 openVPN 操作码 控制/数据协议
下载PDF
某2号综合楼结构抗震超限分析
12
作者 邹丽利 《山西建筑》 2024年第4期54-58,共5页
某2号综合楼为钢筋混凝土框架-剪力墙结构。因二层多功能厅需要大空间,在三层楼板设置大开洞,在四层楼面处设置转换框架;结构竖向有两次体型收进,结构不规则项较多,属于超限高层,需对该楼进行抗震超限设计。对整体结构进行了小震弹性分... 某2号综合楼为钢筋混凝土框架-剪力墙结构。因二层多功能厅需要大空间,在三层楼板设置大开洞,在四层楼面处设置转换框架;结构竖向有两次体型收进,结构不规则项较多,属于超限高层,需对该楼进行抗震超限设计。对整体结构进行了小震弹性分析,采用两套软件进行对比计算,相互校核,并且采用弹性时程分析法进行补充计算,确保结构计算的准确性。对设防地震和罕遇地震时关键构件的各项验算,除保证在多遇地震时结构完全处于弹性状态外,还通过专项分析及采取加强措施后,使抗震设计达到应有的性能目标,确保结构的安全可靠。 展开更多
关键词 复杂结构 超限 抗震性能化设计 转换构件 楼板大开洞 构造措施
下载PDF
论走向法典化的网络法律体系建设 被引量:2
13
作者 王勇 贾宜璇 《河南财经政法大学学报》 CSSCI 2023年第2期13-24,共12页
法典化是消解网络法条碎片化、法条竞合冲突等问题的一条可靠路径,也是推进中国网络空间法治化的必由之路。网络法法典化可行性的理论基础在于法典化思潮的形成、网络法学学科的确立、学术研究队伍的壮大;其可行性的制度基础在于网络法... 法典化是消解网络法条碎片化、法条竞合冲突等问题的一条可靠路径,也是推进中国网络空间法治化的必由之路。网络法法典化可行性的理论基础在于法典化思潮的形成、网络法学学科的确立、学术研究队伍的壮大;其可行性的制度基础在于网络法治受到国家高度重视、网络法治基本制度逐渐成熟、网络法体系化基本经验形成。现阶段应以汇编型法典为目标,对标法治中国建设划定的网络法治建设总目标,实行先易后难策略,以网络法的体系化为突破口,理顺各个单行法律之间的位阶与关系,以《网络安全法》为主体,通过立、改、废、释等立法方法,有步骤地推进网络法的法典化。网络法不是现代部门法的理论增补,也不是现有部门法的新兴分支,而是现代部门法适应网络时代变革发展的转型升级。 展开更多
关键词 网络法律体系 开放型法典 适度法典化 网络法治
下载PDF
基于LDA和ISM法从“结构-过程”视角解构政府数据开放能力 被引量:4
14
作者 汤志伟 陈瑶 +1 位作者 韩啸 王莉 《数字图书馆论坛》 CSSCI 2023年第2期10-17,共8页
概念是研究的起点。现有研究对政府数据开放能力的理解借用私营部门的理论知识,忽视了公共部门特性,因此有必要对政府数据开放能力进行重新界定。本文运用LDA主题模型法对国内相关政策进行文本数据挖掘,识别出政府数据开放能力的构成要... 概念是研究的起点。现有研究对政府数据开放能力的理解借用私营部门的理论知识,忽视了公共部门特性,因此有必要对政府数据开放能力进行重新界定。本文运用LDA主题模型法对国内相关政策进行文本数据挖掘,识别出政府数据开放能力的构成要素,再通过ISM法厘清各要素在“宏观-中观-微观”的层次关系与传导路径,最后根据研究发现从政府数据开放能力的角度对政府数据开放实践提出对策建议。 展开更多
关键词 政府数据 开放能力 政策 LDA ISM 编码
下载PDF
基于二维码技术的开放实验模式设计与实践 被引量:1
15
作者 吴元周 吕恒林 姜涛 《实验室研究与探索》 CAS 北大核心 2023年第12期194-197,共4页
针对学生不熟悉实验内容和设备操作、自主开展实验困难等问题,提出了基于二维码技术的开放实验教学模式。通过将实验方案、实验设备功能参数和操作流程、常见问题解决方案等信息制成二维码,为学生提供实验预习指导、实时答疑辅导以及开... 针对学生不熟悉实验内容和设备操作、自主开展实验困难等问题,提出了基于二维码技术的开放实验教学模式。通过将实验方案、实验设备功能参数和操作流程、常见问题解决方案等信息制成二维码,为学生提供实验预习指导、实时答疑辅导以及开放实验安全培训,从而实现实验室开放共享的全过程辅导和管理。实践证实,该模式有助于提升使用者的学习效果,提升其开展设计性、综合性实验的能力。 展开更多
关键词 二维码技术 开放实验 预习辅导 实时答疑 安全培训
下载PDF
程序员编写代码产生标准?——算法标准在服务过程中进行控制的内在逻辑
16
作者 王平 梁正 《标准科学》 2023年第6期6-20,共15页
本文首先梳理学术界对标准和标准化基本概念、基本理论以及关于算法标准的研究现状,然后在此基础上讨论源代码、算法和标准,以及算法标准的特性。作者结合标准、标准化的基本概念指出,软件系统服务的解决方案通过算法固化为标准,一方面... 本文首先梳理学术界对标准和标准化基本概念、基本理论以及关于算法标准的研究现状,然后在此基础上讨论源代码、算法和标准,以及算法标准的特性。作者结合标准、标准化的基本概念指出,软件系统服务的解决方案通过算法固化为标准,一方面对系统本身进行规制,另一方面也对服务对象进行规制,属于软件开发企业的私有标准;算法标准具有黑箱特性和社会渗透性。然后作者考察了4个算法标准案例:电商平台、CAD软件、医院挂号及就诊管理系统、交通信号灯与健康码。作者通过讨论认为,算法标准在微观层面发挥协调和控制的作用,在各个领域控制人的社会生活,而且是私有标准大行其道。作者还讨论了软件开源带来的标准化体制变迁。 展开更多
关键词 源代码 算法 标准 标准化 协调 控制 私有标准 开源
下载PDF
长链非编码RNA编码小肽的生物医学意义及研究策略
17
作者 王心怡 张祯 +3 位作者 石成瑜 王颖 周天华 林爱福 《浙江大学学报(医学版)》 CAS CSCD 北大核心 2023年第4期397-405,共9页
长链非编码RNA(lncRNA)通常认为不具有蛋白质编码能力,广泛参与细胞增殖、信号转导等生命过程。但近年来研究表明,部分lncRNA的短开放阅读框(sORF)可编码具有生物活性的短于100个氨基酸的小肽,在钙离子稳态、胚胎发育等生命活动及恶性... 长链非编码RNA(lncRNA)通常认为不具有蛋白质编码能力,广泛参与细胞增殖、信号转导等生命过程。但近年来研究表明,部分lncRNA的短开放阅读框(sORF)可编码具有生物活性的短于100个氨基酸的小肽,在钙离子稳态、胚胎发育等生命活动及恶性肿瘤的发生发展中发挥作用,是潜在的药物靶点和癌症生物标志物。目前大多采用生物信息学工具预测可编码的sORF、核糖体图谱筛选潜在编码的lncRNA、体外翻译初步检测lncRNA的编码能力、质谱鉴定潜在翻译的小肽、特异性抗体及表位标签验证小肽的内源性表达等。本文介绍了近年来鉴定的lncRNA编码小肽的生理功能、病理作用以及预测lncRNA编码潜力的研究策略。 展开更多
关键词 长链非编码RNA 短开放阅读框 小肽 核糖体图谱 质谱 综述
下载PDF
一种开源代码缺陷识别系统的实现 被引量:1
18
作者 张勇 张合磊 赵平 《信息安全与通信保密》 2023年第7期70-82,共13页
近年来,软件开发中使用开源软件的比例越来越高,开源代码引起的一系列软件安全问题不容忽视。安全开发管控最重要的手段就是对源代码进行静态分析,当前的源代码静态分析技术主要包括语法分析、语义分析、数据流分析及控制流分析等,此类... 近年来,软件开发中使用开源软件的比例越来越高,开源代码引起的一系列软件安全问题不容忽视。安全开发管控最重要的手段就是对源代码进行静态分析,当前的源代码静态分析技术主要包括语法分析、语义分析、数据流分析及控制流分析等,此类静态分析技术主要是针对缺陷类型构建分析模型,并不考虑开源代码漏洞问题。通过从开放漏洞数据库中抽取所有可用的漏洞记录,并从开源项目所在开源代码库中收集易受攻击的代码建立开源缺陷代码库,挖掘代码缺陷库中的缺陷匹配信息,并通过应用实例证明这是一种有效的源代码安全漏洞挖掘技术,具有较高的缺陷搜索匹配速度和准确性。 展开更多
关键词 开源代码 漏洞 源代码静态分析 代码缺陷
下载PDF
法国研究软件开放共享的政策分析及实践案例 被引量:2
19
作者 翟军 范卫华 +1 位作者 左云皓 寇红红 《全球科技经济瞭望》 2023年第2期67-76,共10页
自2021年起,法国相继出台新的开放政府政策、开放科学政策和开放数据政策,这些政策均将开放软件和源代码作为重点领域,对其进行介绍和系统分析可为中国优化开放科学政策提供借鉴和参考。采用网络调查和文献分析的方法,以法国研究软件的... 自2021年起,法国相继出台新的开放政府政策、开放科学政策和开放数据政策,这些政策均将开放软件和源代码作为重点领域,对其进行介绍和系统分析可为中国优化开放科学政策提供借鉴和参考。采用网络调查和文献分析的方法,以法国研究软件的开放共享为主线,介绍相关政策的主要目标和关键举措,以及实践进展,进而提炼对中国有益的启示。在“软件与数据并重”的全球开放科学运动时代,法国作为科技强国和开放科学实践领先国家,其研究软件开放共享已走在世界前列,在推动数据与软件统一开放、建设面向软件的开放科学基础设施和促进国际合作方面值得中国学习和借鉴。 展开更多
关键词 开放科学 研究软件 开放共享政策 开源软件 源代码
下载PDF
基于规则的高风险动态类型代码检测研究
20
作者 陈芝菲 郝洋 +1 位作者 陈林 肖亮 《计算机科学》 CSCD 北大核心 2023年第7期27-37,共11页
近年来,Python的应用呈爆炸式增长。虽然Python的动态类型特性为开发人员提供了强大的编程抽象能力,但同样也导致代码库中聚集了与类型相关的缺陷。为了减少软件代码中的类型缺陷,文中分析并检测了6种可能导致类型缺陷的高风险动态类型... 近年来,Python的应用呈爆炸式增长。虽然Python的动态类型特性为开发人员提供了强大的编程抽象能力,但同样也导致代码库中聚集了与类型相关的缺陷。为了减少软件代码中的类型缺陷,文中分析并检测了6种可能导致类型缺陷的高风险动态类型代码。首先,形式化地描述了每种类型的高风险动态类型代码的规则;然后,提出了一种基于规则的高风险动态类型代码检测技术;最后,对25个Python开源软件项目(总规模超过945kLOC)展开了实验评估。结果表明,高风险动态类型代码在开源软件项目中广泛存在,尤其是单个Python函数中可能存在多处变量类型不一致的代码,而基于规则的检测技术在Python软件项目中具有较高的准确率和较好的性能表现。针对高风险动态类型代码的检测技术及实验结论,将为动态类型特性的良性发展以及软件项目的质量保障提供有力的参考和支持。 展开更多
关键词 PYTHON 动态类型 类型缺陷 开源软件 高风险动态类型代码 检测技术
下载PDF
上一页 1 2 13 下一页 到第
使用帮助 返回顶部