缔约中第三人责任的类型及其整合 被引量：1

1

作者 谢鸿飞 《暨南学报(哲学社会科学版)》 北大核心 2025年第1期77-96,共20页

第三人介入他人缔约致损且具有归责基础时,通常可配置侵权责任或缔约过失责任。《民法典》合同编司法解释第5条主旨为“合同订立中的第三人责任”,颇具中国特色。其目的是确定第三人欺诈和胁迫时的责任承担,其性质均为侵害人身自由的侵... 第三人介入他人缔约致损且具有归责基础时,通常可配置侵权责任或缔约过失责任。《民法典》合同编司法解释第5条主旨为“合同订立中的第三人责任”,颇具中国特色。其目的是确定第三人欺诈和胁迫时的责任承担,其性质均为侵害人身自由的侵权责任。该条并未纳入因第三人过错促成合同成立的行为,尤其是第三人过失提供不当信息的行为。我国法有必要建构完整的第三人介入合同行为的责任规则,还应规定第三人因过失促成合同订立导致缔约一方受损时的责任承担。这主要见于第三人赋予缔约方特别的、高度的、可期待的信赖之情形,包括信赖第三人的品行、经济实力、专业和经验等。第三人因过失提供不实信息促成合同成立的,在符合严格的责任成立要件时,应承担相应责任。我国第三人缔约过失责任应做两方面的理论革新。一是着眼于受害人的意思形成自由而非其经济损失,第三人不当介入他人缔约的行为均剥夺或干扰了绝对权,理论上可用侵权责任统一缔约中的第三人责任。二是改变既有的基于责任的结果思维,而着眼于行为导向,第三人缔约过失行为同时发生合同法和侵权责任法上的效力,应兼用侵权责任和缔约过失责任。 展开更多

关键词 合同订立中的第三人责任 第三人缔约过失责任 第三人欺诈和胁迫 《民法典》第500条 《民法典》第157条

在线阅读 下载PDF 职称材料

IRIG-B码对时在保护测控装置中的实现 被引量：9

2

作者 刘浩 苏理 丁敏 《江苏电机工程》 2007年第1期48-50,共3页

介绍了IRIG-B码对时的概念、IRIG-B码对时模块的组成,其组成部分包括微处理器、电平转换器件、光耦隔离器。从IRIG-B码时间码元提取、帧参考点的提取和抗干扰3方面提出一种内嵌式IRIG-B码对时模块的设计方法,设计出的模块适用于各种电... 介绍了IRIG-B码对时的概念、IRIG-B码对时模块的组成,其组成部分包括微处理器、电平转换器件、光耦隔离器。从IRIG-B码时间码元提取、帧参考点的提取和抗干扰3方面提出一种内嵌式IRIG-B码对时模块的设计方法,设计出的模块适用于各种电压等级的保护及测控装置,具有较高的可靠性、准确性和实用性。 展开更多

关键词 电力系统 IRIG—B码 对时 保护测控装置

在线阅读 下载PDF 职称材料

大语言模型在代码优化任务中的能力探究及改进方法

3

作者 王志鹏 何铁科 +1 位作者 赵若愚 郑滔 《软件学报》 北大核心 2025年第6期2477-2500,共24页

代码优化任务作为自动化代码审查的关键环节,有助于提高开发效率和代码质量.随着大语言模型在软件工程领域中展现出远胜于传统小规模预训练模型的性能,旨在探讨两类模型在自动代码优化任务的表现,以评估大语言模型的综合优势.通过使用... 代码优化任务作为自动化代码审查的关键环节,有助于提高开发效率和代码质量.随着大语言模型在软件工程领域中展现出远胜于传统小规模预训练模型的性能,旨在探讨两类模型在自动代码优化任务的表现,以评估大语言模型的综合优势.通过使用传统代码质量评估指标(例如,BLEU,CodeBLEU,edit progress)对4种主流大语言模型和4种代表性小规模预训练模型在代码优化任务的表现进行评估,发现大语言模型在审查前代码优化子任务的优化质量劣于小规模预训练模型.由于现有代码质量评估指标难以解释上述现象,提出基于Unidiff的代码优化评估指标,量化优化过程中的变更操作,以解释劣势原因并揭示模型执行变更操作的倾向性:(1)审查前代码优化任务难度较大,模型执行正确变更操作的准确度极低,且大语言模型比小规模预训练模型表现更为“激进”,即倾向于执行更多的代码变更操作,导致其表现不佳;(2)相比小规模预训练模型,大语言模型在代码优化任务倾向于执行更多插入(ADD)和修改(MODIFY)变更操作且ADD变更操作平均插入的代码行数较多,进一步证明其“激进”性.为缓解大语言模型在审查前优化任务中的劣势,基于大语言模型和集成学习提出LLM-Voter方法,包含Inference-based(基于模型推理)和Confidence-based(基于置信度选择)两种子方案,旨在集成不同基模型的优势以提升代码优化质量.在此基础上,进一步引入优化判定机制,以增强模型的决策稳定性与可靠性.实验证明:基于置信度选择的LLM-Voter方法能够在大幅提高EM(exact match)值的同时获得优于所有基模型的优化质量,从而有效缓解大语言模型的劣势. 展开更多

关键词 代码审查 自动代码优化 大语言模型 统一差异格式 集成学习

在线阅读 下载PDF 职称材料

多功能信号源系统设计与数据压缩方法研究

4

作者 李达 张俊 +3 位作者 秦明辉 吴仲城 任亭亭 刘雪澄 《仪表技术与传感器》 CSCD 北大核心 2024年第7期51-58,93,共9页

在智能电网的各种设备安全检测中,需要信号源模拟多种故障信号,重复配置大量试验参数。针对这一需求,设计了一个多功能及操作便捷的信号源系统。该信号源系统能够输出多路可调直流、交流信号,还可配置开入量、开出量信号进行状态序列试... 在智能电网的各种设备安全检测中,需要信号源模拟多种故障信号,重复配置大量试验参数。针对这一需求,设计了一个多功能及操作便捷的信号源系统。该信号源系统能够输出多路可调直流、交流信号,还可配置开入量、开出量信号进行状态序列试验,模拟多种运行故障;利用SQLite存取试验数据,可快速进行多种电气试验,提升检测效率;使用混合熵编码与提升格式的小波变换等算法对录波文件(COMTRADE格式)进行压缩,节省存储空间,较对比算法有更高的压缩比和更低的重构误差。经测试,系统能够实现用户自定义的信号调制,模拟电力系统多种故障信号,在工程现场应用取得了良好的效果。 展开更多

关键词 状态序列 COMTRADE SQLITE 模拟信号源 熵编码 提升格式 小波变换

在线阅读 下载PDF 职称材料

基于故障码生成机理的车辆故障诊断技术研究 被引量：2

5

作者 李宁 《农业装备与车辆工程》 2024年第12期88-92,共5页

针对汽车故障码内容描述与实际故障不完全对应,导致维修技术人员对故障码产生错误理解,对故障做出错误判断的问题,对故障概念、类型、故障与故障码的关系进行阐述,以迈腾B8起动机控制系统为例,利用5个典型试验对故障码生成机理进行研究... 针对汽车故障码内容描述与实际故障不完全对应,导致维修技术人员对故障码产生错误理解,对故障做出错误判断的问题,对故障概念、类型、故障与故障码的关系进行阐述,以迈腾B8起动机控制系统为例,利用5个典型试验对故障码生成机理进行研究,通过对试验结果的分析,理清了故障码生成的逻辑关系。结合案例验证故障码生成机理在实践中具有一定的指导作用及应用价值,基于故障码生成机理的车辆故障诊断技术研究,为突破故障码应用过程中的技术瓶颈、提高车辆故障诊断技术提供了一定借鉴和参考。 展开更多

关键词 电控系统 故障码 生成机理 验证分析 控制系统 故障诊断

在线阅读 下载PDF 职称材料

B码对时在保护测控装置中的实现 被引量：8

6

作者 刘浩 苏理 丁敏 《电网技术》 EI CSCD 北大核心 2006年第S2期63-65,共3页

由于IRIG-B码对时方式对时精确并简化了对时回路,现已在电力系统中得到了日益广泛的应用。该文在介绍了B码码形特点的基础上,提出了一种内嵌式B码对时模块的设计方法,该模块具有较高的可靠性,准确性和实用性。

关键词 B码 对时 保护 测控

在线阅读 下载PDF 职称材料

基于单片机及FPGA的时码终端系统 被引量：3

7

作者 赵云峰 王小海 《浙江大学学报（理学版）》 CAS CSCD 2003年第5期524-527,共4页

本文详细叙述了基于FPGA及单片机,实现时码终端系统的设计方法.该系统可用于对国际通用时间格式码IRIG-B码(简称B码)的解调,以及产生各种采样、同步频率信号,也可作为其它系统的时基和采样、同步信号的基准.

关键词 单片机 FPGA 时码终端系统 irig-b格式码 现场可编程门阵列 时间格式码 解调 系统设计 采样频率 同步频率

在线阅读 下载PDF 职称材料

GPS相位平滑伪距严密定权及其在卫星编队飞行相对定位中的应用 被引量：9

8

作者 王海涛 欧吉坤 郭建锋 《宇航学报》 EI CAS CSCD 北大核心 2007年第2期282-286,共5页

为提高GPS码伪距解算卫星编队飞行的相对定位精度,采用了序贯双频消电离层组合相位平滑伪距双差的方法。采用综合考虑相位与码伪距精度比值和平滑历元次数进行定权的形式,克服了在GPS新星升起后因没有充分考虑相位平滑伪距权而引起的的... 为提高GPS码伪距解算卫星编队飞行的相对定位精度,采用了序贯双频消电离层组合相位平滑伪距双差的方法。采用综合考虑相位与码伪距精度比值和平滑历元次数进行定权的形式,克服了在GPS新星升起后因没有充分考虑相位平滑伪距权而引起的的解算结果中出现“突刺”的问题。从文中仿真的卫星编队飞行的例子来看,采用这种定权方法可以去除多处出现的“突刺”,并且解算效果比较平稳,平滑40～70个历元(采样率1Hz)后,可以达到1～2dm的相对定位精度,证明这种方法是有效的。 展开更多

关键词 GPS 相位平滑伪距 卫星编队飞行

在线阅读 下载PDF 职称材料

北极航行治理新规则:形成、发展与未来实践 被引量：20

9

作者 白佳玉 李俊瑶 《上海交通大学学报（哲学社会科学版）》 CSSCI 北大核心 2015年第6期14-23,共10页

在北极海冰融化、航运活动增加的背景下,国际海事组织耗时数年制定一部专门规范极地水域航行的强制性规则,以实现安全与环保的双重价值追求。北极航行治理新规则经历了从委员会通函、大会决议等软法规则到具备法律约束力的《极地规则》... 在北极海冰融化、航运活动增加的背景下,国际海事组织耗时数年制定一部专门规范极地水域航行的强制性规则,以实现安全与环保的双重价值追求。北极航行治理新规则经历了从委员会通函、大会决议等软法规则到具备法律约束力的《极地规则》之发展历程。通过对《极地规则》形成与发展过程的研究,可总结出该规则建构的价值基础,目标导向型标准与分阶段战略性目标的运用有助于实现《极地规则》的价值追求。《极地规则》的有效实施不可能依靠单一身份国家的力量,而需要多元身份主体包括沿海国、港口国、船旗国的通力合作,共同见证北极航运业的繁荣。 展开更多

关键词 极地规则 形成 发展 特点 未来实践

在线阅读 下载PDF 职称材料

保留格式加密模型研究 被引量：12

10

作者 刘哲理 贾春福 李经纬 《通信学报》 EI CSCD 北大核心 2011年第6期184-190,共7页

对保留格式加密(FPE,format preserving encryption)进行了研究,指出加密模型的设计思想正向如何降低问题域的复杂性发展;提出了编码后加密(CtE,coding-then-encipher)的新模型,描述了工作原理及算法,分析了安全性;最后提出了CtE模型在c... 对保留格式加密(FPE,format preserving encryption)进行了研究,指出加密模型的设计思想正向如何降低问题域的复杂性发展;提出了编码后加密(CtE,coding-then-encipher)的新模型,描述了工作原理及算法,分析了安全性;最后提出了CtE模型在charsn域内的一个应用方案,介绍了使用的编解码算法,分析了其效率。 展开更多

关键词 保留格式加密 排序后加密 编码后加密 随机基准值加密

在线阅读 下载PDF 职称材料

梁桥冲击系数实测值与规范取值差异分析 被引量：19

11

作者 施尚伟 赵剑 舒绍云 《世界桥梁》 北大核心 2010年第2期79-82,共4页

桥梁冲击系数实测值与规范值的偏差会引起对桥梁结构的实际状况评价趋于保守或偏不安全。以实测数据为统计样本,对梁式桥冲击系数实测值与规范取值的差异趋势及成因进行分析。分析结果表明:冲击系数受车辆自振特性、行车速度、车-桥频... 桥梁冲击系数实测值与规范值的偏差会引起对桥梁结构的实际状况评价趋于保守或偏不安全。以实测数据为统计样本,对梁式桥冲击系数实测值与规范取值的差异趋势及成因进行分析。分析结果表明:冲击系数受车辆自振特性、行车速度、车-桥频率耦合作用以及桥面平整度等诸多因素的影响以致其实测值与规范取值往往有较大偏差,连续梁桥更加明显;04规范对30~50 m跨径连续梁桥冲击系数取值偏不安全或安全储备偏小:89规范对于30 m以上跨径梁桥冲击系数取值偏不安全;冲击系数峰值车速出现在20~30 km/h的概率最大。在使用规范进行承载力评价时应综合考虑各种因素的影响。 展开更多

关键词 梁式桥 冲击系数 实测值 规范值 偏差 成因

在线阅读 下载PDF 职称材料

基于ENDF/B-Ⅶ.0核评价库的ACE格式参数制作与初步检验 被引量：8

12

作者 陈朝斌 陈义学 +2 位作者 胡泽华 吴军 张本爱 《原子能科学技术》 EI CAS CSCD 北大核心 2009年第9期834-838,共5页

2006年发布的ENDF/B-Ⅶ.0评价库较2001年发布的ENDF/B-Ⅵ.8有许多改进之处,与临界积分检验装置实验结果符合得更好。采用NJOY程序及ENDF/B-Ⅶ.0评价库中子入射子库,制作了MCNP系列程序使用的ACE格式参数。阐述了新评价库的特点和参数库... 2006年发布的ENDF/B-Ⅶ.0评价库较2001年发布的ENDF/B-Ⅵ.8有许多改进之处,与临界积分检验装置实验结果符合得更好。采用NJOY程序及ENDF/B-Ⅶ.0评价库中子入射子库,制作了MCNP系列程序使用的ACE格式参数。阐述了新评价库的特点和参数库的制作过程,重点叙述了对参数库的检验。结果表明,制作的参数库是正确的,可供用户使用。 展开更多

关键词 ENDF/B-Ⅶ.0评价库 ACE格式 积分检验 MCNP程序

在线阅读 下载PDF 职称材料

图形文件格式兼容性研究与实现 被引量：6

13

作者 王敏 邵定宏 《计算机工程与设计》 CSCD 北大核心 2007年第15期3758-3760,3779,共4页

图形文件应用广泛,不同的绘图平台之间因为文件格式的不同而不能共享资源。为解决图形文件之间的兼容性问题,利用AutoCAD提供的图形交换DXF(drawing exchange format)文件,实现图形文件相互共享。在详细分析DXF文件结构,及其所包含信息... 图形文件应用广泛,不同的绘图平台之间因为文件格式的不同而不能共享资源。为解决图形文件之间的兼容性问题,利用AutoCAD提供的图形交换DXF(drawing exchange format)文件,实现图形文件相互共享。在详细分析DXF文件结构,及其所包含信息的基础之上,设计了对DXF文件的信息获取和创建DXF文件的方法,并给出了实现过程。 展开更多

关键词 DXF文件 组码 组值 自主平台 文件格式 文件读写

在线阅读 下载PDF 职称材料

一种基于运动信息描述的视频格式自适应方案 被引量：2

14

作者 沈秋 李厚强 +1 位作者 王毅 何佳 《计算机学报》 EI CSCD 北大核心 2009年第6期1162-1171,共10页

多媒体应用领域存在多种视频编码标准,因此实现不同视频格式之间的自适应转换具有重要意义.该文提出了一种新颖的基于运动信息描述的视频格式自适应解决方案.该方案利用作者前期提出的基于H.264/AVC标准的运动信息描述算法提取能够复用... 多媒体应用领域存在多种视频编码标准,因此实现不同视频格式之间的自适应转换具有重要意义.该文提出了一种新颖的基于运动信息描述的视频格式自适应解决方案.该方案利用作者前期提出的基于H.264/AVC标准的运动信息描述算法提取能够复用的详细完备的运动信息,根据需要快速生成不同视频编码格式、多种码率的码流;也可以利用此运动信息,指导不同视频格式码流之间的快速自适应转换.作为该方案的具体应用,文中提出了一种针对H.264/AVC标准和MPEG-2标准的视频自适应方法.实验结果表明,文中提出的基于运动信息描述的视频格式自适应解决方案不仅可以很好地保证编码性能,同时具有较低的计算复杂度. 展开更多

关键词 视频自适应 格式转码 H.264/AVC视频编码标准 MPEG-2视频编码标准

在线阅读 下载PDF 职称材料

维、汉、英混排电子印章的关键技术与实现 被引量：3

15

作者 汪漪 周俊林 塔依尔.艾力 《计算机工程与应用》 CSCD 北大核心 2008年第25期239-241,共3页

目前的电子印章生成系统仅局限于中文、英文电子印章的生成。论文简要介绍了电子印章发展的情况和维吾尔文字的特点。根据中文、英文、维吾尔文各自的书写规则,结合图形学、图像编码的基础知识,分别对中、英文和维吾尔文如何应用于电子... 目前的电子印章生成系统仅局限于中文、英文电子印章的生成。论文简要介绍了电子印章发展的情况和维吾尔文字的特点。根据中文、英文、维吾尔文各自的书写规则,结合图形学、图像编码的基础知识,分别对中、英文和维吾尔文如何应用于电子印章中,提出了旋转、平移、变换、自动选型等关键技术和相应的实现算法,并对其进行了误差分析。应用文中思想的印章图像生成模块,已通过第三方测试,以DLL的方式应用于实际系统。 展开更多

关键词 维吾尔文 电子印章 旋转 变换 编码格式

在线阅读 下载PDF 职称材料

潘德克吞体系的形成与发展 被引量：20

16

作者 陈华彬 《上海师范大学学报（哲学社会科学版）》 CSSCI 北大核心 2007年第4期31-37,共7页

潘德克吞式民法典编纂体例是自然法学的产物,它对近现代各国民法典的编纂产生了深远影响。由海瑟创立、萨维尼奠定理论基础的潘德克吞体系从一开始便被广泛接受。1896年的德国民法典正式采取五编制的潘德克吞体系以后,大陆法系的许多国... 潘德克吞式民法典编纂体例是自然法学的产物,它对近现代各国民法典的编纂产生了深远影响。由海瑟创立、萨维尼奠定理论基础的潘德克吞体系从一开始便被广泛接受。1896年的德国民法典正式采取五编制的潘德克吞体系以后,大陆法系的许多国家继承和发展了这一体系。文章对潘德克吞体系的形成、传播和发展作了比较细致的梳理。我国当下由学者和官方起草的民法(草案)均采用潘德克吞体系,这有其历史必然性。可以预料,我国将来正式通过的民法典也一定会采用潘德克吞体系,或者是发展了的潘德克吞体系。 展开更多

关键词 潘德克吞体系 民法典 编纂体例

在线阅读 下载PDF 职称材料

一种输出格式可控的多码率LDPC编码器实现 被引量：4

17

作者 苏凌杰 何明华 杨艇 《现代电子技术》 2009年第18期147-149,152,共4页

针对我国数字电视地面广播标准(DTMB标准)中多码率LDPC码与多符号映射方式相配合的特点,使用Veril-og硬件描述语言设计一种LDPC编码器。该编码器不仅同时支持三种码率LDPC码,而且可以依照标准中采用的五种不同的符号映射方式,选择最佳... 针对我国数字电视地面广播标准(DTMB标准)中多码率LDPC码与多符号映射方式相配合的特点,使用Veril-og硬件描述语言设计一种LDPC编码器。该编码器不仅同时支持三种码率LDPC码,而且可以依照标准中采用的五种不同的符号映射方式,选择最佳的码流输出格式,提高了编码器的通用性。最后在Xilinx的XC4VSX35 FPGA芯片上实现该编码器,其测试结果表明该编码器完全可以应用在DTMB发射机中。 展开更多

关键词 输出格式可控 多码率LDPC码 DTMB FPGA

在线阅读 下载PDF 职称材料

面向差分插补数控系统平台的NC代码解释器开发 被引量：1

18

作者 单东日 高立营 +1 位作者 陈向东 王涛 《制造技术与机床》 CSCD 北大核心 2008年第12期81-84,共4页

给出了一种面向嵌入式差分插补数控系统平台的NC代码解释器。定义了曲线插补的计数方向并使用有效算法计算了插补计数长度,针对差分插补计算所需要的特殊数据格式,采用扫描策略,完成NC代码词法和语法检查的基础上,初始化差分插补代码的... 给出了一种面向嵌入式差分插补数控系统平台的NC代码解释器。定义了曲线插补的计数方向并使用有效算法计算了插补计数长度,针对差分插补计算所需要的特殊数据格式,采用扫描策略,完成NC代码词法和语法检查的基础上,初始化差分插补代码的其它参数,最终将标准NC代码(ISO3896)格式转化为满足差分插补需要的数据结构和格式。给出的计算实例验证了解释器的有效性。 展开更多

关键词 差分插补 数据格式 NC代码 解释器

在线阅读 下载PDF 职称材料

单片机在水声通讯中的应用 被引量：1

19

作者 高守勇 孙兵 《声学技术》 CSCD 2001年第4期180-182,共3页

文章以水声通讯设备改进、提高为实例 ,介绍了单片机在该类设备中的具体应用。并重点阐述了在软件编程中判码方法等关键技术。

关键词 单片机 指令格式 判码 水声通讯

在线阅读 下载PDF 职称材料

一种FPF编码分析改进方法 被引量：1

20

作者 马登武 邓力 万兵 《计算机工程》 CAS CSCD 北大核心 2010年第10期83-84,90,共3页

针对飞机客观检查系统参数信息存储采用的FPF编码格式不明确导致参数信息利用不充分的问题,提出一种改进的FPF编码格式分析方法。基于WinHex和C++Builder联合分析校验FPF编码,采用位运算和流操作技术,实现对FPF的译码。通过与外方提供... 针对飞机客观检查系统参数信息存储采用的FPF编码格式不明确导致参数信息利用不充分的问题,提出一种改进的FPF编码格式分析方法。基于WinHex和C++Builder联合分析校验FPF编码,采用位运算和流操作技术,实现对FPF的译码。通过与外方提供的分析软件对比,证明该方法有效,并经重新编码获得了更易于二次开发的CDT文件。 展开更多

关键词 客观检查系统 编码格式 译码

在线阅读 下载PDF 职称材料