融合词汇边界信息的合同实体识别方法

针对合同中实体表达形式复杂多变、识别粒度细的特点,及合同文本中实体较长问题,提出一种融合词汇边界信息的合同实体识别方法。利用预训练语言模型动态生成语义向量作为模型输入;运用相对位置编码对Transformer结构进行改进,使其在编码过程中融合词汇信息,进一步丰富语义特征;通过条件随机场(CRF)结构进行解码,得到输入序列的标签预测。实验结果表明,该方法可以有效确定合同文本中的实体边界,具有良好的泛化性能。

基于预训练与新型时序图神经网络的智能合约漏洞检测方法

针对现有深度学习漏洞检测方法对合约字节码特征挖掘不足、漏洞语义表征不精准,且传统图神经网络模型对合约语句的时序信息学习能力不足,提出一种基于预训练与时序图神经网络的智能合约漏洞检测方法。首先,通过预训练模型将智能合约字节码建模为漏洞语义感知的合约图结构。其次,结合自注意力机制,设计了一种新颖的基于事件驱动的时序图神经网络模型,实现对合约执行中时序信息的有效抽取。最后,聚焦于可重入漏洞、时间戳依赖漏洞以及Tx.origin身份认证漏洞,通过120932份真实合约数据集进行大量的评估实验,结果表明所提方法的检测效果显著优于现有方法。

关键路径预搜索的符号执行智能合约漏洞检测

针对传统符号执行在不必要、不相关的路径上消耗大量时间与资源,效率低等问题,提出了利用静态检测预扫描智能合约关键路径优化符号执行验证,避免非必要路径搜索增加的资源消耗,实现基于关键路径预搜索的符号执行。该方法与现有主流检测工具进行对比实验,结果显示:Gas耗尽拒绝服务漏洞覆盖率达98%,检测准确度为84.3%,远高于均值37.2%;对存储覆盖漏洞合约的全覆盖,检测准确率为86.1%,验证了该方法的高效性与稳定性。

基于提示学习的轻量化代码生成方法

代码自动生成是提高软件开发效率的有效途径之一,已有的研究一般将代码生成作为一项序列到序列的任务,并且大规模预训练语言模型的微调过程往往伴随着高昂的算力开销。文中提出了一种基于提示学习的轻量化代码生成方法(Prompt Learning based Parameter-Efficient Code Generation,PPECG),该方法通过查询代码语料库中与当前需求最相似的结果作为提示,指导预训练语言模型进行代码生成,并且在该过程中固定模型的绝大多数参数以实现减少算力开销的目的。为了验证PPECG的有效性,文中选取了两个代码生成数据集,分别是CONCODE和Solidity4CG,通过计算生成结果的BLEU,CodeBLEU以及Exact Match值来验证PPECG的有效性,实验结果表明,PPECG有效地减少了微调时的显存开销,且在上述指标上基本接近甚至优于目前的SOTA方法,能够较好地完成代码生成的任务。

基于数据流传播路径学习的智能合约时间戳漏洞检测

智能合约是一种被大量部署在区块链上的去中心化的应用.由于其具有经济属性,智能合约漏洞会造成潜在的巨大经济和财产损失,并破坏以太坊的稳定生态.因此,智能合约的漏洞检测具有十分重要的意义.当前主流的智能合约漏洞检测方法(诸如Oyente和Securify)采用基于人工设计的启发式算法,在不同应用场景下的复用性较弱且耗时高,准确率也不高.为了提升漏洞检测效果,针对智能合约的时间戳漏洞,提出基于数据流传播路径学习的智能合约漏洞检测方法Scruple.所提方法首先获取时间戳漏洞的潜在的数据传播路径,然后对其进行裁剪并利用融入图结构的预训练模型对传播路径进行学习,最后对智能合约是否具有时间戳漏洞进行检测.相比而言,Scruple具有更强的漏洞捕捉能力和泛化能力,传播路径学习的针对性强,避免了对程序整体依赖图学习时造成的层次太深而无法聚焦漏洞的问题.为了验证Scruple的有效性,在真实智能合约的数据集上,开展Scruple方法与13种主流智能合约漏洞检测方法的对比实验.实验结果表明,Scruple在检测时间戳漏洞上的准确率,召回率和F1值分别可以达到0.96,0.90和0.93,与13种当前主流方法相比,平均相对提升59%,46%和57%,从而大幅提升时间戳漏洞的检测能力.

“停贷潮”中买受人的法律困境与破解

近期商品房烂尾致使买受人强制停贷引发普遍关注。商品房预售制度设计较为片面,缺乏对弱势方利益的衡平考量,加之“有形之手”监管不力,商品房预售中买受人的权利无法得到应有的保障。为修补制度失衡,司法实践可适用公平原则与情事变更以妥当保护买受人利益。强制停贷买受人救济路径之选择,因商品房买卖合同是否继续存续而异,未解除合同适用情事变更;解除合同则适用公平原则,共担风险,减少损失。

达格列净片联合盐酸二甲双胍在2型糖尿病患者中的应用效果

目的探究达格列净片联合盐酸二甲双胍在2型糖尿病患者中的应用效果。方法选取2022年1—12月江苏省盱眙县人民医院收治的82例2型糖尿病患者作为研究对象,采用计算机法对研究对象进行编号并分组,每组41例,对照组采用盐酸二甲双胍治疗,观察组采用达格列净片+盐酸二甲双胍联合治疗,对比治疗效果。结果治疗前两组血糖、血脂水平对比,差异无统计学意义(P>0.05)。治疗后,两组血糖水平均下降,同时观察组低于对照组,差异有统计学意义(t=2.382、2.441、2.502,P<0.05);治疗后,两组血脂TG、TC、LDL-C水平均下降,且观察组低于对照组,HDL-C水平上升,且观察组高于对照组,差异有统计学意义(t=2.511、2.246、2.458、2.616,P<0.05)。治疗前两组胰岛功能对比,差异无统计学意义(P>0.05);治疗后,两组FINS、HOMA-IR水平均下降,且观察组低于对照组,HOMA-β水平上升,且观察组高于对照组,差异有统计学意义(t=2.557、2.626、2.426,P<0.05)。观察组、对照组不良反应的发生率分别19.51%、14.64%,差异无统计学意义(P>0.05)。结论2型糖尿病患者使用达格列净片联合盐酸二甲双胍联合治疗,能改善患者糖脂代谢和胰岛功能,且不会增加低血糖等并发症的发生风险。

EPC总承包项目融合管理思路

以梁溪区中医医院(无锡市康复医院)新建项目为例,本项目为EPC(设计+采购+施工)工程总承包项目,为更创效、更科学地进行项目管理。围绕“设计+采购”“采购+施工”“设计+施工”3个方向相结合,将C阶段的“设计–采购–商务”策划工作前置于EP阶段,EP阶段策划工作服务于C阶段,做到两阶段的一体化融合,通过融合管理思路可以更有效地控制概算,降低项目的投入成本,并为今后相似的EPC工程总承包项目管理提供参考与借鉴。

论待履行商品房买卖合同中管理人解除权的限制

《企业破产法》第18条赋予了破产案件中管理人对待履行合同的选择权,但并未对其行使的规则作出具体的规定,存在待履行合同的判断标准不明、管理人行使选择权期限不明、选择权的自由空间过大等问题。出于保护居民居住需要与保护公共利益的需求,需要对管理人的解除权进行限制。结合最新的司法解释,管理人的解除权受到了合同范围及行使时间上的限制。在合同范围上,已经履行完毕的商品房买卖合同、以居住为目的的合同以及经过预告登记的合同,不能解除;在行使选择权期限的限制上,应以指定管理人之日作为起算点,最长期限为两个月。

预征收补偿安置协议效力及责任问题探讨

研究目的:分析在集体土地征收程序中的预征收补偿安置协议的效力状态,厘清相关案件的裁判思路。研究方法:立法目的解释、实证研究和原理论证。研究结果:(1)在预征收补偿安置协议未约定条件的情况下,承认协议效力不会与《土地管理法》的规定相抵触,且可以融入民事合同效力体系当中,有利于维护被征收人的合法权益;(2)在征地未获批准阶段,由于土地或房屋发生物权变动的法定条件尚不具备,预征收补偿安置协议虽然生效但在法律上无法得到完整的履行。研究结论:未约定生效条件的预征收补偿安置协议效力状态为已生效,在确定合同无法履行的责任时,需要综合考虑协议的行政性和协议性。

国际电力总包项目投标阶段应关注的事项

“一带一路”建设为我国企业参与国际电力总承包市场竞争创造了历史机遇。在国际电力EPC项目投标过程中,总承包商应仔细研读招标文件,尤其是合同条款,分析项目潜在的风险,做好标前决策和投标策划,实现风险可控。

面向安全域维护原理的安全生产事务管理体系

为解决安全生产风险预控管理体系在理论和实践上的缺陷,提出安全生产基本假设和安全域维护原理,借鉴数据库事务和契约编程等概念,提出安全生产事务及其MICRT特性理论,建立面向安全域维护原理的安全生产事务管理体系。结果表明:安全生产基本假设和安全域维护原理是安全生产管理的基础公理;安全生产事务理论通过安全生产事务的MICTR特性,使得生产要素持续处于已知的安全状态区域;安全生产事务管理体系包括体系制度要素、体系运行模式和安全生产事务管理信息系统。

物上瑕疵担保责任、履行障碍法与缔约过失责任

物的瑕疵担保制度是否被规定在《合同法》中,是一个有争议的问题,瑕疵担保制度在本质上是一种不完全履行的类型,但其具有独立的制度价值,所以在德国民法典中成为与履行障碍法并列的制度,即使在德国债法改革后也是如此。瑕疵担保制度与不完全履行、缔约上过失等制度,在调整合同后义务以及合同前义务上,存在竞合关系,如何确定它们之间的界限,端赖于具体的价值衡量,基于瑕疵担保制度独有的对买卖双方利益的重新衡量,瑕疵担保制度的调整领域呈现扩张趋势。

缔约过失责任性质新论——以德国学说与判例的变迁为视角

德国民法创设缔约过失责任,是为了调和传统侵权行为法的严苛之处。缔约过失责任本质上是一种特殊的侵权责任形式。缔约过失责任产生于缔约人双方为订立合同而接触、磋商的过程中,其与合同是否成立或是否有效没有必然联系,不仅适用缔约一方在缔约过程中所受到的信赖利益的侵害,而且适用缔约一方在缔约过程中所受到固有利益的侵害。缔约过失责任的发展取决于两个因素:侵权法的立法模式与合同自由原则和诚实信用原则之间的协调。

生脉陷胸汤联合西药治疗冠心病室性期前收缩气虚痰热证疗效及对心功能的影响

目的观察生脉陷胸汤联合西药治疗冠心病室性期前收缩气虚痰热证疗效及对心功能的影响。方法将80例冠心病室性期前收缩气虚痰热证患者随机分为对照组与观察组,每组40例。对照组给予酒石酸美托洛尔片等常规治疗,观察组在对照组基础上给予生脉陷胸汤治疗,观察2组治疗效果、治疗前后心功能指标变化情况,统计2组不良反应发生情况。结果治疗1个疗程后,观察组心电图疗效总有效率及中医证候疗效总有效率均显著高于对照组(P<0.05);观察组治疗后的左室舒张末期内径(LVEDD)、左室收缩末期内径(LVESD)均显著低于对照组(P<0.05),而射血分数(EF)、心排血量(CO)均显著高于对照组(P均<0.05);2组均未出现明显不良反应。结论生脉陷胸汤联合西药治疗冠心病室性期前收缩气虚痰热证疗效显著,可明显改善心功能,提高治疗效果,且安全。

预约合同的法律构造与效力认定

预约合同制度在我国合同法立法上是一处空白,但实务之亟需要求理论尽快做出回应。在实践中如何区分预约与本约、预约合同的判断标准以及预约合同的法律后果均是争议焦点。预约合同应当被认为是与本约相独立的合同,不履行或不适当履行预约合同,亦应当承担相应的违约责任,尤其是理应承认继续履行这一承担违约责任的方式于预约合同中的适用性,其实际亦是对"应当缔约说"效力的体现与衍生;由于违反预约合同,受损方丧失的是订立本约的机会,故其可获得的赔偿应当限于预约合同之信赖利益。

先公司民事行为的案型归类及责任分配

“设立中公司”是一类特殊的民事主体,特殊性体现于它是一个处于发起人合伙和成立后公司之间的阶段性存续的、具有有限人格的组织。尽管法律未规定设立中公司的法律行为为必须,但是经济上,设立中公司却可以而且应该从事商业交往。在公司设立阶段签订合同的效力,和合同的主体密切攸关;设立中公司订立的合同责任在发起人、设立中公司、成立后公司之间的分配因为采取“意图推定”和“设立中公司责任”大相径庭。

论以房抵债协议买卖条款之法律效力——以民间借贷司法解释第24条为中心

以房抵债协议是指通过签订房屋买卖合同担保民间借贷的协议,其在司法实践中大量存在,对于该协议中买卖条款的效力的认定存在有效与无效的争议,而《最高人民法院关于审理民间借贷案件适用法律若干问题的规定》第24条则对其效力采取了回避的态度。因为以房抵债协议不存在通谋虚伪意思表示且与流押契约有明显区别,因此不能直接对其买卖条款的效力进行否定。通过对以房抵债协议买卖条款的性质进行剖析,对让与担保说、后让与担保说、附解除条件的合同说提出质疑,指出其本质上属于代物清偿预约,在符合法定情形下,债权人可以排除第三人对房屋价款的请求权,即债权人此时享有物权期待权,以期对司法实践中此类争议的解决提供一个可以参考的路径。

预约合同制度探究

预约是相对于本约而言的,乃指当事人双方约定将来订立一定契约(本约)的契约,在实践中的运用却十分地广泛,但我国法律尤其是《合同法》未作规定。预约合同一旦成立生效即在当事人之间产生的一定法律拘束力。当事人未按照合同约定履行自己应尽的合同义务,则要承担相应的违约责任,受害方当事人则有权寻求法律救济。从性质上讲,预约责任不排斥实际履行、损害赔偿、违约金及定金罚则的适用。

附随义务涵义和价值理念的探析

附随义务在目前仅是一个学理概念 ,且缺乏系统研究。作为一个法律术语 ,在国内、外的相关法典或判例中均没有明确的概念 ,但其具体内容在各国立法中均有所体现 ,并在合同法领域起着重要的作用。因而 ,界定附随义务的涵义 ,理顺合同缔结、履行中的义务关系 ,以实现附随义务保证交易安全与快捷的价值理念。