检索结果-南通市图书馆

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

所有权保留之取回权问题研究

所有权保留之取回权问题研究

作者：邵西柯河南财经政法大学

学位级别：硕士

我国所有权保留的发展历史可以分为合同法时代和民法典时代。在合同法时代,关于所有权保留的规定比较原则,《民法典》在原来合同法关于所有权保留制度相关规定的基础之上进行了完善。虽然所有权保留制度被安排在《民法典》合同编中,却... 详细信息

我国所有权保留的发展历史可以分为合同法时代和民法典时代。在合同法时代,关于所有权保留的规定比较原则,《民法典》在原来合同法关于所有权保留制度相关规定的基础之上进行了完善。虽然所有权保留制度被安排在《民法典》合同编中,却又突出了所有权保留的担保属性,体现着立法者巧妙地将形式担保观和实质担保观融合在《民法典》中的理念。然而《民法典》的出台淡化了对所有权保留法律性质的定性,更注重其担保功能的发挥和实现。虽然这是《民法典》立法的创新,但却使得所有权保留的性质变得微妙;要想对出卖人取回权进行论证,首先必须要明确界定所有权保留的性质。随着债权与物权的相互融合,所有权保留实质上是物权的债权化。关于所有权保留的性质,学界主要有四种主流观点:附停止条件的所有权转移说、部分所有权转移说、区分所有权说以及分割所有权说。本文将从所有权和担保物权的双重视角对所有权保留的性质进行深入的分析。基于所有权保留的不同学说决定了取回权性质的不同认识,主要有解除权效力说、附法定期限解除合同说和就物求偿说。笔者认为该三种学说都存在着漏洞,但相比之下,附法定期限解除契约说更能表现出取回权的法律性质,能够综合体现形式担保观与实质担保观的兼顾,既体现出其债权性,也发挥了制度的物的担保功能。司法实践中,经常出现出卖人取回权、买受人期待权与第三人权利的冲突,需要综合平衡买卖双方以及第三人的利益。《民法典》明确规定了所有权保留制度采取登记对抗主义,当标的物上存在取回权和其他担保物权竞存时,登记在先的取回权优先于其他担保物权,出卖人可以享有优先受偿权;然而我国的所有权保留登记制度尚存不足,可以借鉴其他国家的立法经验来完善我国的登记制度,从而促进取回权实践的发展。

关键词：所有权保留取回权善意取得权利竞合

自监督预训练驱动的Solidity代码相似性检测方法及应用研究

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

自监督预训练驱动的Solidity代码相似性检测方法及应用研究

作者：柯贤群西安邮电大学

学位级别：硕士

在当前蓬勃发展的智能合约领域,对合约源代码进行可靠有效的相似性分析是确保智能合约生态系统健康和质量保证的关键一环。随着区块链和智能合约的兴起,Solidity已成为以太坊平台上最常用的智能合约编程语言。然而,由于代码本身的复杂... 详细信息

在当前蓬勃发展的智能合约领域,对合约源代码进行可靠有效的相似性分析是确保智能合约生态系统健康和质量保证的关键一环。随着区块链和智能合约的兴起,Solidity已成为以太坊平台上最常用的智能合约编程语言。然而,由于代码本身的复杂性、规模庞大以及开发人员之间的协作方式,可能会产生一些潜在问题,例如代码冗余和安全漏洞。因此,对Solidity代码相似性的深入研究变得至关重要。这类研究不仅能揭示合约之间的潜在关联,还能发现潜在的安全风险,并提升合约编写的效率,具有重要的实践价值和应用前景。现有的基于特征签名的方法和基于代码表示学习的方法存在一些限制。这些问题源于程序分析中对有效指标的过度依赖,以及智能合约编码中固有的不完善之处。此外,智能合约通常具有复杂的逻辑结构,这种复杂性在进行语法和语义级别的相似性分析时变得更加具有挑战性。为了解决以上难点,本文提出了一套全面的解决方案,并在研究过程中取得了显著的成果。主要研究内容如下:(1)在预训练语言模型引人瞩目的语义学习能力的启发下,本研究提出了Sol BERT(Solidity BERT),这是专为Solidity语言编写的智能合约设计的预训练模型。为了确保能生成高质量的编码,从而促进合约相似性分析,Sol BERT利用BERT方式的预训练形式,通过对Solidity代码进行轻量级规范化,并且从智能合约抽象语法树中提取具有结构感知标记的序列进行预训练,形成基础的预训练模型。在此基础上,进一步执行基于对比学习的自监督微调和无监督白化操作,以优化预训练模型的编码器。在合约克隆检测、漏洞检测和代码聚类等三个合约相似性分析任务上进行实验评估,实验结果显示Sol BERT在这些任务中的表现优于已有的最新方法。在克隆检测任务中,达到91%的精确率,在漏洞检测任务上,达到了96%的精确率。这些结果还验证了Sol BERT编码优化操作的有效性和积极的协同效应。(2)由于自监督预训练过程需要消耗大量的计算资源,并且训练速度慢。受到对抗重编程思想的启发,本论文提出了一种名为Sol ARSD(Solidity Adversarial Reprogramming Similarity Detection)的相似性检测方法。该方法通过对智能合约源代码文件在视觉预训练模型基础上进行跨模重编程来进行检测Solidity代码之间的相似性。通过对合约源代码文件进行对抗性编程,生成了一个对抗攻击的语义图像编码矩阵,用于对预训练的图像分类模型进行对抗性扰动。这使得带有对抗性扰动的载体语义图像能够成功完成对抗性重编程任务的同时,还保持了与原始模型输入的一致性。此外,本文进一步在对比学习的框架下优化了对抗重编程模型,使其适用于相似性检测任务。经过实验评估,该方法表现优于基准方法。在克隆检测任务中,达到84%的精确率,在漏洞检测任务上,达到了85%的精确率。这一全面的方法通过将对抗性编程与对比学习相结合,为探索Solidity代码相似性提供了一种有效的途径。(3)为了检测用Solidity编写的智能合约间的相似性,论文设计并实现了一款结合深度学习方法的智能合约相似性分析系统。该系统基于Flask框架搭建,采用Python编程语言进行数据处理与模型构建。通过对各模块的功能测试,该系统页面布局合理,操作简单流畅,所有功能模块均能正常使用,能够满足检测智能合约中相似性的需求。

关键词：智能合约相似性检测预训练语言模型自监督微调 Solidity代码表征

增材GH4169合金固体介质电解抛光机理及工艺研究

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

增材GH4169合金固体介质电解抛光机理及工艺研究

作者：柯志江东莞理工学院

学位级别：硕士

增材GH4169合金的高温综合性能十分优异,在航空航天、能源等制造成形领域具有广阔的应用前景。然而,由于增材制造技术本身的固有特性,导致金属增材零件表面粗糙,必须经过抛光处理才能正常使用。当前,金属增材制造的零件普遍结构复杂,在... 详细信息

增材GH4169合金的高温综合性能十分优异,在航空航天、能源等制造成形领域具有广阔的应用前景。然而,由于增材制造技术本身的固有特性,导致金属增材零件表面粗糙,必须经过抛光处理才能正常使用。当前,金属增材制造的零件普遍结构复杂,在抛光过程中存在能耗高、效率低、环境污染等问题,亟需发展绿色高效的金属增材制造零件抛光技术,以释放增材制造的应用潜力。固体介质电解抛光技术有望解决以上问题,然而,作为新兴抛光技术,固体介质电解抛光的规律和机理尚未明确。因此,围绕这些问题对增材GH4169合金固体介质电解抛光工艺开展研究。主要研究内容如下:基于固体介质电解抛光工作原理,设计搭建了固体介质电解抛光实验平台。包括动力装置、偏心圆周轨迹平动运动装置、施电抛光装置和抛光工艺参数控制与检测装置四大模块,实现了工艺参数可控,解决了线路在回转运动中施加直流电可能发生缠绕的问题,改善了抛光过程中树脂颗粒与试样表面充分接触问题。基于固体介质电解抛光平台,研究了不同抛光工艺参数对固体介质电解抛光表面效果的影响。结果表明:抛光电压、抛光转速和抛光时间三个工艺参数对表面抛光具有显著影响;获得了抛光电压、抛光转速和抛光时间与表面粗糙度的关系表达式,优化了固体介质电解抛光工艺参数,为抛光电压10 V、抛光转速125 rpm和抛光时间5h;优化抛光后,表面平整光滑,具有镜面效果,表面粗糙度Sa为0.647μm。为了进一步探究宏观工艺参数对固体介质电解抛光的影响机理,结合COMSOL仿真软件,建立了固体介质碰撞仿真模型和电解抛光仿真模型。结果表明:在不同的抛光转速与碰撞角度条件下,树脂颗粒与试样表面接触的面积和时长各不相同,这可能是导致不同工艺参数表面抛光能力强弱的主要原因;随着抛光电压的提高,电化学反应的溶解速率逐渐升高,这可能是导致较大电压抛光使工件表面经历粗糙-平整-粗糙的主要原因。

关键词：增材制造 GH4169合金固体介质电解抛光

钱穆论朱子之“心” ——以《朱子新学案》为中心

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

钱穆论朱子之“心” ——以《朱子新学案》为中心

作者：昌柯杏上海师范大学

学位级别：硕士

变温太赫兹时域光谱系统优化及其在聚合物中的应用

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

变温太赫兹时域光谱系统优化及其在聚合物中的应用

作者：柯智林东莞理工学院

学位级别：硕士

聚合物的玻璃化转变温度是聚合物在玻璃态与高弹态之间发生转变的特征参数,是衡量聚合物热力学性能的重要依据。由于传统的聚合物的玻璃化转变温度测量方法需要复杂的实验流程,且容易受到外界环境因素的影响,因此测量结果往往不够准确... 详细信息

聚合物的玻璃化转变温度是聚合物在玻璃态与高弹态之间发生转变的特征参数,是衡量聚合物热力学性能的重要依据。由于传统的聚合物的玻璃化转变温度测量方法需要复杂的实验流程,且容易受到外界环境因素的影响,因此测量结果往往不够准确。太赫兹光谱是一种新型的光谱分析技术,具有非接触、快速和高灵敏度等优势。由于其对温度敏感,太赫兹光谱技术有望成为一种聚合物玻璃化温度的高灵敏检测方法。目前关于使用太赫兹光谱技术检测聚合物玻璃化转变现象的研究刚刚兴起。本文首先基于近年的研究文献对太赫兹光谱技术在聚合物玻璃化转变领域的应用现状进行总结,通过分析聚合物玻璃化转变的特性以及传统测量方法存在的局限性,为引入太赫兹光谱技术作为改进的新手段提出可行性论证。由于玻璃化转变检测实验需要对聚合物样品进行变温检测,本文接着对太赫兹光谱仪的结构进行优化设计,增加实验所需的变温模块。通过仿真分析与实践测试,成功搭建了变温太赫兹时域光谱检测装置,其变温范围在25℃到300℃,精度为±1℃,为后续实验开展提供了设备基础与技术支持。随后选用两种典型的聚合物材料:聚苯硫醚与液晶聚合物进行变温太赫兹光谱技术检测。由于光谱信号中难以避免地存在噪声信号,常规情况下对检测结果影响较少,但所选用的聚合物材料吸收系数较小,因此亟需对光谱信号进行去噪与平滑处理。本文分别选用导数变换、多元散射校正、标准归一化以及Savitzk-Golay卷积平滑算法对原始数据进行处理以及对比分析,选定效果最优的Savitzk-Golay卷积平滑算法,并对比确立其具体阶数与窗口数,获取有效光谱信号。进一步对所获数据展开分析,由液晶聚合物与聚苯硫醚在常温以及各温度下其光学参数的变化情况,选定频率点进一步对比,得出所选聚合物材料在不同温度下的吸收系数变化趋势,并通过线性拟合得出外推线及其交点,确定液晶聚合物的玻璃化转变温度为84.3℃,聚苯硫醚的玻璃化转变温度为85.6℃。太赫兹光谱测量结果与差示扫描量热法检测结果的对比,表明太赫兹光谱技术具有良好的准确性与可靠性。尽管太赫兹光谱技术仍存在一些挑战,但通过技术改进和应用拓展,太赫兹光谱技术在聚合物研究领域有望取得更大的突破。

关键词：太赫兹光谱变温装置聚合物数据预处理玻璃化温度

FRP筋在不同腐蚀环境下的层间剪切性能劣化试验

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

复合材料学报 2024年第4期41卷 2031-2042页

作者：王自柯段建新赵军杨永明郑州大学力学与安全工程学院郑州450001 郑州大学土木工程学院郑州450001

本文研究了玄武岩纤维、玻璃纤维及碳纤维增强聚合物(BFRP、GFRP和CFRP)筋在水、强碱溶液(pH=12.8)、弱碱溶液(pH=11)、模拟海水及酸溶液(pH=1.5)这5种腐蚀溶液环境下的性能劣化情况。通过层间剪切强度测试、水吸收试验、DMA、FTIR和SE... 详细信息

本文研究了玄武岩纤维、玻璃纤维及碳纤维增强聚合物(BFRP、GFRP和CFRP)筋在水、强碱溶液(pH=12.8)、弱碱溶液(pH=11)、模拟海水及酸溶液(pH=1.5)这5种腐蚀溶液环境下的性能劣化情况。通过层间剪切强度测试、水吸收试验、DMA、FTIR和SEM探究了不同老化温度(20、40和55℃)与腐蚀时间(1、2、3、6和9月)下FRP筋的纤维-树脂界面粘结性能、微观结构及化学成分等的劣化规律。试验结果表明:FRP筋的层间剪切强度受腐蚀环境的影响显著,在强碱溶液中的劣化速率远高于其他溶液,其原因是高浓度的OH−离子加速了FRP筋的水解和刻蚀反应,导致大量纤维与树脂发生脱粘,最终导致层间剪切强度降低;与BFRP筋和GFRP筋相比,CFRP筋的耐久性相对优异,在相同老化条件下具有更高的层间剪切强度保留率。

关键词： FRP筋腐蚀环境层间剪切强度水吸收红外光谱分析热机械分析

METTL21C介导PHAX K381甲基化修饰调控鸡DF-1细胞增殖的机制研究

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

METTL21C介导PHAX K381甲基化修饰调控鸡DF-1细胞增殖的机制研究

作者：俞枭柯陕西理工大学

学位级别：硕士

磷酸化RNA输出接头蛋白(PHAX)作为一种RNA转运蛋白,在剪接体U sn RNA前体的核内转运过程中,执行连接U sn RNA-CBC和CRM1的桥梁作用,在m RNA前体剪接中发挥重要作用,与RNA成熟之间存在密不可分的关系。目前已知PHAX的磷酸化修饰是其参与... 详细信息

磷酸化RNA输出接头蛋白(PHAX)作为一种RNA转运蛋白,在剪接体U sn RNA前体的核内转运过程中,执行连接U sn RNA-CBC和CRM1的桥梁作用,在m RNA前体剪接中发挥重要作用,与RNA成熟之间存在密不可分的关系。目前已知PHAX的磷酸化修饰是其参与短转录本RNA出核转运的必要前提,还尚未有研究报道PHAX是否会发生其它类型的蛋白质翻译后修饰。非组蛋白甲基转移酶样21C(METTL21C)作为一种赖氨酸甲基转移酶,尽管在哺乳动物中已被证实能够甲基化修饰多种底物蛋白,但少有研究系统揭示METTL21C修饰的底物蛋白的种类和修饰位点。本研究前期选用鸡胚成纤维细胞(DF-1)为实验材料,通过甲基化4D-Label free定量蛋白质组学,系统揭示了METTL21C三甲基化修饰的底物蛋白。基于三甲基修饰水平的差异,本研究进一步筛选PHAX为研究对象,在细胞水平验证METTL21C介导PHAX赖氨酸三甲基化修饰水平及甲基化修饰位点,探究METTL21C介导PHAX的甲基化修饰对细胞增殖效应的影响及分子机制。主要获得实验结果如下:1.利用甲基化4D-Label free定量蛋白质组鉴定METTL21C甲基化修饰肽段共397个,差异表达甲基化修饰底物蛋白共12个,其中7个显著上调,5个显著下调。通过功能注释及信号通路富集,选择富集在核质运输信号通路的PHAX蛋白为研究对象;生物信息学分析发现在鸡细胞中PHAX的主要功能是围绕短转录本前体RNA核输出;通过不同物种PHAX氨基酸序列比对发现在360-385区间内存在甲基化修饰的赖氨酸位点具有较高的保守性。2.分别构建带有Flag标签的Mettl21c和HA标签的Phax超表达载体,利用Co-IP技术验证发现METTL21C与PHAX之间存在互作效应;结合IP技术富集PHAX,通过Western Blot分析发现PHAX三甲基化修饰水平显著升高,由此明确METTL21C介导PHAX发生三甲基化修饰。3.根据甲基化蛋白质组学分析鉴定的PHAX甲基化修饰位点,构建Phax K381位点的突变载体,采用Co-IP技术验证发现PHAX甲基化位点突变后,影响了与METTL21C的互作关系;同时,PHAX三甲基化修饰水平显著降低。由此说明,METTL21C介导PHAX甲基化修饰的位点是K381。4.采用MTT、流式细胞术检测METTL21C介导PHAX甲基化修饰后对DF-1细胞增殖的影响,结果显示PHAX发生三甲基化修饰后降低了DF-1细胞增殖活力,阻滞细胞周期进程,说明PHAX甲基化修饰不利于细胞增殖的调控;通过Western Blot检测细胞周期素依赖性激酶抑制因子表达,证明PHAX经甲基化修饰后通过上调p21的表达,阻滞细胞周期进程。5.在DF-1细胞中共同超表达Mettl21c和Phax后分析组蛋白表达情况,结果发现METTL21C介导PHAX甲基化修饰后会抑制组蛋白m RNA表达,由此推测METTL21C介导PHAX甲基化修饰在短转录本RNA核输出的过程中起到负调控效应。

关键词： DF-1细胞非组蛋白赖氨酸甲基转移酶磷酸化RNA输出接头蛋白赖氨酸甲基化细胞增殖

基于二维TiSe及SiP2的碱金属离子电池阳极材料的第一性原理研究

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于二维TiSe及SiP2的碱金属离子电池阳极材料的第一性原理研究

作者：王梦柯上海师范大学

学位级别：硕士

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

风冷无油涡旋压缩机散热翅片结构优化

排灌机械工程学报 2024年

作者：彭斌豆王红牛柯马凌宇兰州理工大学机电工程学院

无油涡旋压缩机因工作过程中没有润滑油的参与，通常采用风冷对其进一步冷却，保证无油涡旋压缩机的工作性能。为了进一步提高无油涡旋压缩机风冷系统的散热性能，对散热翅片型线、截面、尺寸进行优化。以贝塞尔曲线为基础，构造新的散... 详细信息

无油涡旋压缩机因工作过程中没有润滑油的参与，通常采用风冷对其进一步冷却，保证无油涡旋压缩机的工作性能。为了进一步提高无油涡旋压缩机风冷系统的散热性能，对散热翅片型线、截面、尺寸进行优化。以贝塞尔曲线为基础，构造新的散热翅片型线，并确定散热效果较好的散热翅片截面，后利用正交试验进一步研究散热翅片各个尺寸对散热的影响并确定了最优的尺寸组合。结果表明：基于贝塞尔曲线构成的散热翅片型线换热性能更优；矩形截面在当前特殊的散热结构中有更好的散热效果；影响固体域平均温度的显著性顺序为散热翅片间距>散热翅片厚度，影响进出口压降的显著性顺序为散热翅片间距>散热翅片厚度；经正交试验选取的最优尺寸组合为散热翅片间距3.0mm、散热翅片厚度3.5mm；优化后固体域平均温度下降了15.88%，有效提高了风冷系统的散热性能，为无油涡旋压缩机风冷系统散热翅片的研究提供了参考。

关键词：风冷无油涡旋压缩机散热翅片型线贝塞尔曲线散热翅片截面正交试验