期刊文献+
共找到88篇文章
< 1 2 5 >
每页显示 20 50 100
论中国特色的意思主义下公示主义物权变动模式 被引量:1
1
作者 刘士国 《法治研究》 北大核心 2025年第3期30-43,共14页
我国民法对物权变动,先是在《民法通则》采意思主义,后随着社会主义市场经济的发展,演化为不同于法国的意思主义、德国的形式主义、瑞士的形式主义下折衷主义、西班牙意思主义下折衷主义的有中国特色的意思主义下公示主义,即物权变动以... 我国民法对物权变动,先是在《民法通则》采意思主义,后随着社会主义市场经济的发展,演化为不同于法国的意思主义、德国的形式主义、瑞士的形式主义下折衷主义、西班牙意思主义下折衷主义的有中国特色的意思主义下公示主义,即物权变动以债权合同物权变动意思为依据,动产经交付、不动产经登记发生物权变动效力。正确认识我国的物权变动机制,必须基于中国物权变动演进的社会基础,对《民法典》相关条文作历史解释、体系解释、实质性解释,并对司法审判经验及司法解释条款深入研究,突破国外立法例和理论禁锢。意思主义下公示主义物权变动模式,是中国自主创生的特色鲜明的物权变动理论。 展开更多
关键词 物权变动 意思主义下公示主义 民法典 司法解释
在线阅读 下载PDF
我国侵权责任法司法解释的历程与经验 被引量:2
2
作者 张新宝 《现代法学》 北大核心 2025年第1期41-61,F0002,共22页
从《民法通则》至《侵权责任法》及《民法典》侵权责任编,我国侵权责任法司法解释的发展经历了三个阶段,第一个阶段主要解决精神损害赔偿和人身损害赔偿的问题,第二个阶段主要解决《侵权责任法》适用过程中的突出问题,第三个阶段主要是... 从《民法通则》至《侵权责任法》及《民法典》侵权责任编,我国侵权责任法司法解释的发展经历了三个阶段,第一个阶段主要解决精神损害赔偿和人身损害赔偿的问题,第二个阶段主要解决《侵权责任法》适用过程中的突出问题,第三个阶段主要是配合《民法典》的正确实施。我国侵权责任法司法解释的发展具有以下特征:充分体现了习近平法治思想,贯彻了以人民为中心的基本立场,中国特色社会主义法律规范体系不断完善;实现了从规则创设到法律解释的转变;及时回应社会的发展和变化,适应经济和技术的发展,准确发现和化解社会突出矛盾;解释水平显著提高,紧密围绕实践中的重点与难点问题作出具有指导价值的解释。但总体而言,也存在个别需要注意和完善的事项。 展开更多
关键词 侵权责任法 司法解释 法律解释 民法典
在线阅读 下载PDF
领域型法典编纂背景下部门行政法与刑事法治系统的洽合
3
作者 焦艳鹏 《政法论丛》 北大核心 2025年第4期48-61,共14页
以生态环境领域的部门行政法为切入进行分析可知,刑事司法解释在制定过程中,充分考量了刑法中的犯罪构成要件要素与部门行政法中的行政违法构成要素。刑事司法解释之中规定的入罪模式、入罪标准,是在考量刑法与行政法的比例关系之后确定... 以生态环境领域的部门行政法为切入进行分析可知,刑事司法解释在制定过程中,充分考量了刑法中的犯罪构成要件要素与部门行政法中的行政违法构成要素。刑事司法解释之中规定的入罪模式、入罪标准,是在考量刑法与行政法的比例关系之后确定的,是刑法与行政法相互沟通的重要机制。增强领域型法典与刑事法治系统洽合的主要机制包括:第一,高度重视领域型法典编纂中立法科学与规律的体现,以《立法法》为规尺,遵循法律规范设计的一般方法,在法典编纂中重视部门行政单行法立法的基本原则与普遍规律;第二,严格区分不同性质领域法法律规范的责任射程,区分义务设定型法律规范与非义务设定型法律规范,创设或保留对多元法律责任适用具有指引的提示性条款;第三,充分发挥刑事司法解释在入罪判断上的类型化导引功能,为在实践中准确理解与适用《刑法》建立起良好的领域法法典规范基础。 展开更多
关键词 领域型法典 刑事责任 刑法典 刑事司法解释 部门行政法
在线阅读 下载PDF
面向动态场景的片上编码超分辨率图像传感器
4
作者 冒添逸 王磊 +3 位作者 郑雷军 江宇祺 朱书进 戴修斌 《南京邮电大学学报(自然科学版)》 北大核心 2025年第1期49-56,共8页
针对图像传感器像素尺寸接近物理极限,难以进一步提高的问题,提出片上编码超分辨率图像传感器。不同于计算视觉中的图像超分辨率任务,片上编码超分技术通过引入光学调控,提供了较为完备的理论依据与数学约束,更加适用于遥感、医学影像... 针对图像传感器像素尺寸接近物理极限,难以进一步提高的问题,提出片上编码超分辨率图像传感器。不同于计算视觉中的图像超分辨率任务,片上编码超分技术通过引入光学调控,提供了较为完备的理论依据与数学约束,更加适用于遥感、医学影像等对可解释性和置信度要求较高的领域。首先,构建了面向动态场景的波分复用测量模型和二维空间的三维空间表征与编解码方法。更进一步,基于有限等距性质理论证明了片上静态随机编码板的透过率在50%时,信息采样效率最大。最后,设计了CCD器件的专用编码电路组件,通过电子学验证的方式在室内和室外场景验证了片上编码超分辨率图像传感的可行性和有效性。 展开更多
关键词 动态场景 片上编码 图像传感器 超分辨率 可解释性
在线阅读 下载PDF
面向变工况机械设备智能故障诊断的可解释三特征提取器迁移网络
5
作者 陈凯 丁传仓 +2 位作者 王报祥 黄伟国 朱忠奎 《振动工程学报》 北大核心 2025年第6期1232-1241,共10页
针对深度神经网络可解释性低及目前可解释网络无法实现跨域诊断的问题,提出了一种可解释三特征提取器迁移网络(interpretable triple feature extractor transfer network,ITFETN)。针对可解释性问题,建立了多层稀疏编码模型,推导了多... 针对深度神经网络可解释性低及目前可解释网络无法实现跨域诊断的问题,提出了一种可解释三特征提取器迁移网络(interpretable triple feature extractor transfer network,ITFETN)。针对可解释性问题,建立了多层稀疏编码模型,推导了多层稀疏编码模型的迭代求解算法,通过展开快速迭代软阈值算法,得到稀疏编码模型求解算法的等效网络形式,并将其作为特征提取器,形成具有可解释性的算法结构等效网络;针对跨域迁移诊断问题,构建了三特征提取器策略用于提取源域、目标域的共享特征以及各自的私有特征,并基于特征对抗思想设计了迁移诊断任务的损失函数用于ITFETN的有效训练,有效提取出源域和目标域中距离最小化的共享特征进行跨域诊断,实现可解释迁移诊断任务。试验结果表明,ITFETN在两个实例分析中的平均准确率和鲁棒性相较于对比方法均有所提升,能够有效实现具有可解释性的跨域诊断。 展开更多
关键词 智能故障诊断 可解释网络 迁移学习 稀疏编码 三特征提取器
在线阅读 下载PDF
法律体系中的刑法规范及其内涵与定位 被引量:1
6
作者 黄晓亮 《政法论丛》 CSSCI 北大核心 2024年第3期139-149,共11页
刑法规范存在于法律体系之中,不能脱离法律体系来看待刑法规范;因而其内涵和构造,应当与法律规范的构造保持一致;刑法规范的独立性,与行为违法性的从属性,是两个不同的问题;刑事不法的认定仍然需要充分考虑其他法律对行为的评价,但该评... 刑法规范存在于法律体系之中,不能脱离法律体系来看待刑法规范;因而其内涵和构造,应当与法律规范的构造保持一致;刑法规范的独立性,与行为违法性的从属性,是两个不同的问题;刑事不法的认定仍然需要充分考虑其他法律对行为的评价,但该评价活动也是独立进行的。刑法解释的对象是刑法规范,其为裁判者提供明晰且具有可操作性的裁判规范,而这实际上取决于刑法规范的独立性。刑法规范的解释是为了解决行为的违法性问题,因而其虽然表现为对构成要件及其要素的解释,但要完成是否刑事违法之评价的任务。 展开更多
关键词 法律规范 刑法规范 裁判规范 行为规范 刑法解释
在线阅读 下载PDF
基于学习的源代码漏洞检测研究与进展 被引量:12
7
作者 苏小红 郑伟宁 +3 位作者 蒋远 魏宏巍 万佳元 魏子越 《计算机学报》 EI CSCD 北大核心 2024年第2期337-374,共38页
源代码漏洞自动检测是源代码漏洞修复的前提和基础,对于保障软件安全具有重要意义.传统的方法通常是基于安全专家人工制定的规则检测漏洞,但是人工制定规则的难度较大,且可检测的漏洞类型依赖于安全专家预定义的规则.近年来,人工智能技... 源代码漏洞自动检测是源代码漏洞修复的前提和基础,对于保障软件安全具有重要意义.传统的方法通常是基于安全专家人工制定的规则检测漏洞,但是人工制定规则的难度较大,且可检测的漏洞类型依赖于安全专家预定义的规则.近年来,人工智能技术的快速发展为实现基于学习的源代码漏洞自动检测提供了机遇.基于学习的漏洞检测方法是指使用基于机器学习或深度学习技术来进行漏洞检测的方法,其中基于深度学习的漏洞检测方法由于能够自动提取代码中漏洞相关的语法和语义特征,避免特征工程,在漏洞检测领域表现出了巨大的潜力,并成为近年来的研究热点.本文主要回顾和总结了现有的基于学习的源代码漏洞检测技术,对其研究和进展进行了系统的分析和综述,重点对漏洞数据挖掘与数据集构建、面向漏洞检测任务的程序表示方法、基于机器学习和深度学习的源代码漏洞检测方法、源代码漏洞检测的可解释方法、细粒度的源代码漏洞检测方法等五个方面的研究工作进行了系统的分析和总结.在此基础上,给出了一种结合层次化语义感知、多粒度漏洞分类和辅助漏洞理解的漏洞检测参考框架.最后对基于学习的源代码漏洞检测技术的未来研究方向进行了展望. 展开更多
关键词 软件安全 源代码漏洞检测 漏洞数据挖掘 漏洞特征提取 代码表示学习 深度学习 模型可解释性 漏洞检测
在线阅读 下载PDF
文义的边界与文义解释的限度——《民法典》语境下的方法论展开 被引量:4
8
作者 毕经纬 《云南社会科学》 CSSCI 北大核心 2024年第1期34-44,共11页
文字作为信息的传递途径和内容,是认知的起点。法律文本依附于文字,法律规范的意义同样以文字的意义(即文义)为基础。法律适用的过程,即法律解释的过程,始于文义,一定程度上也止于文义。文义有边界,超出文字意义的限度,即超出了法律解... 文字作为信息的传递途径和内容,是认知的起点。法律文本依附于文字,法律规范的意义同样以文字的意义(即文义)为基础。法律适用的过程,即法律解释的过程,始于文义,一定程度上也止于文义。文义有边界,超出文字意义的限度,即超出了法律解释的范围,进入法的续造领域,须借助类推等方式进行法律漏洞填补。文义解释是法律解释的起点,但不是全部,有其限度;即便是文义清晰时,亦应将自罗马法以来的“明白无误规则”仅认定为一项推定规则,仍需结合其他解释方法,尤其是目的解释,来探求规范的“目的”和“意义”。《民法典》解释适用语境下,以解释论为面向,应坚持文义解释的方法论价值,亦应在此基础上超越其“文本”价值本身。 展开更多
关键词 文义解释 文义 《民法典》 法律解释 法的续造
在线阅读 下载PDF
反思“提取公因式”:论法典总则的建构方法 被引量:10
9
作者 张峰铭 《现代法学》 CSSCI 北大核心 2024年第1期193-208,共16页
“提取公因式”方法单方面强调总则内容对既有部门法实践的依赖,忽视了我国语境下总则内容的体系性、多元性和理想性特征,因而是有缺陷的。我国法典化实践所期待的法典总则本质上是关于既有部门法实践的解释性理论,意在建构部门法实践... “提取公因式”方法单方面强调总则内容对既有部门法实践的依赖,忽视了我国语境下总则内容的体系性、多元性和理想性特征,因而是有缺陷的。我国法典化实践所期待的法典总则本质上是关于既有部门法实践的解释性理论,意在建构部门法实践所隐含的独特实践形式及其内在价值目的。作为解释性理论的法典总则包含监管性内容和操作性内容两个部分,监管性内容旨在为法律官员的立法和司法适用提供指引和约束,操作性内容旨在与分则内容相互配合直接作为裁判依据评价公民行为。总则制定应当采取建构性解释的方法,首先为既有部门法实践赋予相匹配且道德最佳的内在价值目的,以之作为监管性内容的核心;然后根据该内在价值确定操作性内容的基本概念框架,并结合立法者试图贯彻的其他社会性价值和法治价值确定操作性内容的具体内涵。 展开更多
关键词 法典总则 提取公因式 部门法内在价值 解释性理论 建构性解释
在线阅读 下载PDF
Linux下G代码解释器的设计与实现 被引量:6
10
作者 吉华 李彦 肖世广 《计算机应用研究》 CSCD 北大核心 2006年第12期200-202,共3页
在论述G代码解释器总体结构设计的基础上,详细介绍了G代码关键字函数表和G代码分组。
关键词 开放式数控 G代码解释器 G代码关键字函数表 G代码分组
在线阅读 下载PDF
基于STEP-NC的数控车削加工仿真系统 被引量:3
11
作者 陈秀生 张承瑞 +1 位作者 兰红波 杜华飞 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2005年第B11期53-57,共5页
提出了一种基于STEP-NC的数控车削加工仿真系统,该仿真系统能够验证STEP-NC数控程序、模拟实际系统运行。讨论了仿真系统的译码器、基于特征的加工数据库、实体建模以及仿真驱动等组成模块实现的关键技术和方法。介绍了仿真系统的建模工... 提出了一种基于STEP-NC的数控车削加工仿真系统,该仿真系统能够验证STEP-NC数控程序、模拟实际系统运行。讨论了仿真系统的译码器、基于特征的加工数据库、实体建模以及仿真驱动等组成模块实现的关键技术和方法。介绍了仿真系统的建模工具V isua l C++和O penGL。最后指出了本文研究对于STEP-NC数控加工研究的意义。 展开更多
关键词 STEP—NC 数控程序 建模 译码 仿真
在线阅读 下载PDF
数控G代码解释器和仿真模块的设计与实现 被引量:7
12
作者 刘思胜 李松生 陈萍 《机械设计与制造》 北大核心 2012年第1期172-174,共3页
设计了一种G代码解释器和图形仿真于一体的数控仿真检验系统。该系统以Vc++为开发工具,根据GALIL运动控制卡的协议编辑了G代码解释器。此解释器除了一般的解释和检查的作用外,较以往解释器开发编译了更多的G代码,并结合OpenGL技术开发... 设计了一种G代码解释器和图形仿真于一体的数控仿真检验系统。该系统以Vc++为开发工具,根据GALIL运动控制卡的协议编辑了G代码解释器。此解释器除了一般的解释和检查的作用外,较以往解释器开发编译了更多的G代码,并结合OpenGL技术开发了数控三维仿真加工过程。通过选择OpenGL作为图形开发工具,建立了一个数控仿真系统,通过对输入加工代码的图形验证,实现了刀具运动轨迹仿真和材料去除过程仿真,达到了实时仿真的要求。验证了该系统的整体可行性。 展开更多
关键词 VC++ G代码 解释器 OPENGL仿真
在线阅读 下载PDF
基于WinCE嵌入式数控系统NC代码解释器的设计 被引量:4
13
作者 甘明 袁正萍 林桂清 《组合机床与自动化加工技术》 北大核心 2009年第11期72-74,共3页
文章介绍了一种基于WinCE嵌入式平台的NC代码解释器的设计,该解释器的主要功能是对NC源程序按照一定规则进行检查,并从中提取加工信息。解释器模块设计了数控加工信息存储结构作为解释器的执行结果缓冲区,实现了从NC代码中提取加工信息... 文章介绍了一种基于WinCE嵌入式平台的NC代码解释器的设计,该解释器的主要功能是对NC源程序按照一定规则进行检查,并从中提取加工信息。解释器模块设计了数控加工信息存储结构作为解释器的执行结果缓冲区,实现了从NC代码中提取加工信息存储到结果缓冲区,以便后续的插补程序使用,进而进行数控加工。该解释器采用ARM+DSP双CPU结构及WinCE实时操作系统,实践表明,具有纠错能力强,解释速度快等优点。 展开更多
关键词 WINCE NC代码 解释器 存储结构
在线阅读 下载PDF
多数控代码解释器共存的设计与应用 被引量:3
14
作者 游华云 叶佩青 杨开明 《计算机工程与应用》 CSCD 北大核心 2007年第12期1-2,111,共3页
当前数控系统种类繁多,各大数控系统厂商数控代码指令互不兼容。在开放式数控系统及仿真软件中越来越多地需要支持多家厂商的数控代码体系,以满足终端用户的需求。基于Lex和Yacc对一个数控系统中多数控代码解释器共存开展了研究,并在GT... 当前数控系统种类繁多,各大数控系统厂商数控代码指令互不兼容。在开放式数控系统及仿真软件中越来越多地需要支持多家厂商的数控代码体系,以满足终端用户的需求。基于Lex和Yacc对一个数控系统中多数控代码解释器共存开展了研究,并在GT100型数控系统中得到了成功的应用。 展开更多
关键词 数控系统 数控代码解释器 LEX YACC
在线阅读 下载PDF
一种开放式数控系统NC代码解释器设计与实现 被引量:11
15
作者 张庆 姚锡凡 《组合机床与自动化加工技术》 北大核心 2010年第2期59-61,65,共4页
以数控系统NC代码解释器为研究对象,探索了一种面向开放式数控系统NC代码解释器的设计与实现方法。通过引入Regex技术作为词法、语法和语义分析的工具;使用所谓委托调用插补函数的方式,在Visual Studio 2005开发平台上实现了一种面向开... 以数控系统NC代码解释器为研究对象,探索了一种面向开放式数控系统NC代码解释器的设计与实现方法。通过引入Regex技术作为词法、语法和语义分析的工具;使用所谓委托调用插补函数的方式,在Visual Studio 2005开发平台上实现了一种面向开放式数控系统NC代码解释器。这种解释器能适用于不同类型的数控系统,具有很强的通用性和兼容性。实例NC代码验证了由所述设计和实现方法实现的开放式数控系统NC代码解释器的可行性。 展开更多
关键词 NC代码 解释器 开放式数控系统
在线阅读 下载PDF
虚拟数控加工中NC代码解释技术的研究与实现 被引量:3
16
作者 王尚斌 李家霁 +2 位作者 王品 卢小张 邵志香 《组合机床与自动化加工技术》 北大核心 2009年第2期77-80,共4页
介绍了虚拟数控加工系统中NC代码解释器的作用,提出了一种新的解释器设计方案。设计采用模块化结构,模块之间通过共享数据结构信息进行交互。系统采用函数指针数组和关键字分组表两种方法,解决了关键字扩充和NC代码功能转移的问题,使该... 介绍了虚拟数控加工系统中NC代码解释器的作用,提出了一种新的解释器设计方案。设计采用模块化结构,模块之间通过共享数据结构信息进行交互。系统采用函数指针数组和关键字分组表两种方法,解决了关键字扩充和NC代码功能转移的问题,使该解释器具有良好的扩充性和通用性,易于进行二次开发。 展开更多
关键词 数控加工仿真 NC代码解释器 函数指针数组 关键字分组表
在线阅读 下载PDF
基于Lex和Yacc的多数控代码解释器研究与应用 被引量:9
17
作者 徐笠云 顾琳 +2 位作者 曹琨 罗凌 赵万生 《电加工与模具》 2009年第3期54-56,76,共4页
数控代码解释的水平和效率是影响数控加工效率的重要因素之一。介绍了Lex和Yacc在数控代码解释方面的运用及其优越性,为了提高数控代码解释效率和准确度,降低开发成本,基于Lex和Yacc开发了支持多种数控代码的线切割数控代码解释器。在... 数控代码解释的水平和效率是影响数控加工效率的重要因素之一。介绍了Lex和Yacc在数控代码解释方面的运用及其优越性,为了提高数控代码解释效率和准确度,降低开发成本,基于Lex和Yacc开发了支持多种数控代码的线切割数控代码解释器。在此基础上利用Qt设计了Linux下用于电火花线切割系统的多数控代码解释器用户应用程序。 展开更多
关键词 数控代码解释器 LEX YACC QT
在线阅读 下载PDF
开放式数控系统代码解释模块的设计 被引量:4
18
作者 张葆青 闫石 宋海生 《机床与液压》 北大核心 2012年第4期72-74,共3页
对数控系统必要模块——代码解释模块进行了详细的阐述,从解释模块的功能出发,在Windows下开发该译码模块,实现了数控程序的校核及解释功能。
关键词 数控系统 代码解释模块 软件设计
在线阅读 下载PDF
利用CAD图形交换文件实现激光直写设备的运动控制 被引量:1
19
作者 熊木地 谢朝 +1 位作者 肖文礼 邢忠宝 《光学精密工程》 EI CAS CSCD 2000年第2期174-177,共4页
分析了激光写入与加工设备的特点。指出了这类设备工作效率低下的主要原因是要求刻划或加工的图形变换的频率高 ,而这类设备的加工元件的编程语言不标准 ,程序采用人工编制 ,且加工工艺复杂 ,从要求刻划与加工的图形到设备的多维运动控... 分析了激光写入与加工设备的特点。指出了这类设备工作效率低下的主要原因是要求刻划或加工的图形变换的频率高 ,而这类设备的加工元件的编程语言不标准 ,程序采用人工编制 ,且加工工艺复杂 ,从要求刻划与加工的图形到设备的多维运动控制代码的产生是一件非常繁琐的过程。提出了采用 CAD绘图功能作为加工轨迹输入 ,在 CAD绘图环境中加入设备运动的辅助信息 ,然后产生相应的 DXF图形交换文件 ,并开发图形交换文件到运动代码生成的解释软件 ,利用 CAD与解释软件相结合可实现设备的运动代码自动生成 ,可极大地提高编程效率 ,缩短调试时间 ,提高设备的利用率。同时给出实现此方案的步骤与途径。 展开更多
关键词 图形交换文件 激光直写设备 运动控制 CAD
在线阅读 下载PDF
基于RS274/NGC的电火花线切割加工数控代码解释器的开发 被引量:5
20
作者 罗凌 曹琨 +5 位作者 陈成细 徐辉 豆尚成 奚学程 顾琳 赵万生 《电加工与模具》 2010年第3期6-10,14,共6页
介绍了一种基于RS274/NGC的电火花线切割加工数控代码解释器的开发方法。该解释器利用通用数控代码解释器RS274/NGC进行电火花线切割加工数控代码词法、语法、语义检查和B型刀具半径补偿,并增加了图形用户界面、C型刀具半径补偿和图形... 介绍了一种基于RS274/NGC的电火花线切割加工数控代码解释器的开发方法。该解释器利用通用数控代码解释器RS274/NGC进行电火花线切割加工数控代码词法、语法、语义检查和B型刀具半径补偿,并增加了图形用户界面、C型刀具半径补偿和图形仿真等功能。该解释器程序是在Linux系统下采用Eclipse集成开发环境,利用Qt C++库开发的,具有跨操作系统平台运行的特点。 展开更多
关键词 电火花线切割加工 数控代码解释器 RS274/NGC 刀具半[彳圣]补偿 LINUX QT
在线阅读 下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部