【摘 要】
：
从智能合约、智能法律合约等概念入手,依据现行法律条目的 要求对智能合约法律化问题进行探讨,指出智能合约法律化需满足文法要求、非赋权原则、审查准则三个基本规则,并以典型智能法律合约语言SPESC、CML为实例剖析了其法律效力,辨析使其与原合同文本具有同等法律效力需满足的条件.进而,结合智能合约系统架构及部署运行过程,在对所部署智能合约进行法律化辨析基础上对区块链智能合约及其链码的法律地位进行了论证.最后,对当前智能法律合约逻辑模型与语言模型的研究进展进行总结,并加以讨论和评价.上述工作表明当前智能法律合约研
【机 构】
：
北京科技大学计算机与通信工程学院,北京100083;中国电子学会,北京100036;北京互联网法院,北京100160
论文部分内容阅读
从智能合约、智能法律合约等概念入手,依据现行法律条目的 要求对智能合约法律化问题进行探讨,指出智能合约法律化需满足文法要求、非赋权原则、审查准则三个基本规则,并以典型智能法律合约语言SPESC、CML为实例剖析了其法律效力,辨析使其与原合同文本具有同等法律效力需满足的条件.进而,结合智能合约系统架构及部署运行过程,在对所部署智能合约进行法律化辨析基础上对区块链智能合约及其链码的法律地位进行了论证.最后,对当前智能法律合约逻辑模型与语言模型的研究进展进行总结,并加以讨论和评价.上述工作表明当前智能法律合约研究是一条解决智能合约法律地位的可行途径,有利于从现行法上把握智能合约在合约逻辑、仲裁流程、形式化验证等方面的未来发展方向.
其他文献
目的 探讨桥本氏甲状腺炎(HT)患者体内雌激素对淋巴细胞亚群是否存在影响.方法 依据桥本氏甲状腺炎诊断要点,选择42例围绝经期HT女性患者为病例组,38例同期健康女性为对照组,应用化学发光法检测血清中甲状腺素、超敏促甲状腺素、甲状腺过氧化物酶抗体(TPO-Ab)、甲状腺球蛋白抗体(TG-Ab)、雌二醇(E2)等指标的含量,应用流式细胞仪检测外周血T淋巴细胞(总T细胞、辅助性T细胞、细胞毒性T细胞、调节性T细胞等T细胞亚群)、B淋巴细胞和NK细胞等淋巴细胞亚群百分率.结果 与对照组比较,病例组TSH、TG-
目的 探讨超声联合Ki-67在乳腺癌新辅助化疗(NACT)疗效评价中的应用价值.方法 选取行NACT的乳腺癌患者45例,分别于NACT周期前、后行超声检查;患者入院后行组织穿刺活检术,获取免疫组化Her-2基因扩增情况,并对超声及Ki-67数据进行统计分析.结果 NACT前后患者病灶直径、面积、Ki-67变化比较差异具有统计学意义(P<0.01);影像学评估、Ki-67变化及二者联合评估均与病理学分级具有相关性.结论 超声联合Ki-67能更好地评估NACT疗效,可为患者个体化治疗提供依据.
针对人工林木材力学强度低的问题,以硅溶胶/酚醛树脂改性杨木,采用真空干燥箱进行热处理,系统研究热处理温度、时间对硅溶胶/酚醛树脂改性材力学性能的影响规律.结果表明:硅溶胶/酚醛树脂复合浸渍处理能够在一定程度上提高木材的力学性能,热处理温度与热处理时间对改性材的力学性能影响显著.以冲击韧性为主要参考指标,当热处理温度为180℃、热处理时间为1.0 h时,冲击韧性最优,最大值为115.63 kJ/m2,此时抗弯强度为154.80 MPa,弹性模量为12570 MPa,硬度为2067 N.
为精准评价教师教学质量,提出基于粗糙集理论的信息熵组合权重评价方法.通过引入粗糙集理论优化原有教务系统中的教师教学质量评价指标体系,结合信息熵的客观权重和改进的三标度层次分析法主观权重计算指标的组合权重,建立教师教学质量评价模型.以13名一线教师为例,对比教务系统及学院的教师评价结果.结果表明,基于粗糙集理论的信息熵组合权重评价方法能够客观、准确地反映学生评教的实际情况.
传统K-shell分解方法存在复杂网络内在规律辨别困难且准确度不高的缺陷.构建复合加权度计算模型,以绿色建筑项目复杂加权风险网络为例,利用复合加权度进行复杂网络K-shell分解,得到改进的K-shell凝聚子网.根据改进的K-shell凝聚子网将网络节点的影响力量化为3级(Ⅰ、Ⅱ、Ⅲ级),与传统K-shell方法进行对比证实,改进后的K-shell分解方法能够有效解决传统方法存在的问题,可为复杂网络的相关研究提供参考.
为解决变结构控制引起的三相电压型PWM整流器抖振问题,设计一种改进型滑模控制策略,加强趋近率与状态变量之间的联系,削弱抖振现象;设计调节因子,加快变结构的趋近速度.仿真结果表明,改进型趋近率相比传统指数趋近率具有更快的响应速度和较好的抖振抑制效果.
为研究高温与尺寸效应耦合作用下的砂岩巴西劈裂特性,分别对经过25、200、400、600、800和1000℃高温处理后的标准砂岩试件进行巴西劈裂室内试验,并基于颗粒流软件开展不同尺寸高温砂岩巴西劈裂数值模拟,研究砂岩巴西劈裂强度及其劣化规律、孔隙率增加相对于裂纹扩展贯通的滞后性规律.研究结果表明:(1)在25 ～ 1000℃的温度范围和50 ～ 100mm的直径范围内,温度与尺寸效应对砂岩巴西劈裂强度均有显著影响,且尺寸效应影响程度更大.在加热过程中,由于岩石内部首先发生热膨胀,然后在热应力作用下产生损伤
介绍了以膏体+多介质协同充填、同步充填和功能性充填为代表的新兴充填理念.系统阐述了以流变力学和固体力学为主体的矿山充填力学架构,剖析了原位多场多因素扰动作用,并介绍了最新研发的充填体多场耦合监测系统.总结了全尾砂深度浓密、固液混合搅拌以及长距离浆体输送等充填核心环节的发展特点及研究进展.分析了充填智能化发展的必要性,梳理了充填领域涉及的智能化算法,提出了充填智能化未来发展思路.通过对矿山固废充填发展趋势分析,认为未来矿山固废充填需要深度拓展绿色发展内涵,进一步探索模块化、规模化和智能化之路,积极融入并服务
针对近α型Ti-6.0A1-3.0Zr-0.5 Sn-1.0Mo-1.5Nb-1.0V新型钛合金,在退火温度740℃的基础上,研究了退火时间对其组织与力学性能的影响.结果 表明:经过3次真空自耗电弧炉熔炼,三火热轧后得到的板材组织由初生α相基体及β转变组织组成的部分再结晶组织和加工态组织等组成.随着退火时间的增加,退火板材的显微组织均以初生α相为主,且α相所占的比例从81.73％逐渐增加至85.61％,组织中长条状α相逐渐破碎球化,等轴α相开始均匀化、粗化.随着退火时间的增加,退火板材的延伸率逐渐增加,抗
为了探究全进口矿条件下褐铁矿在烧结工艺中的合理配置,实现褐铁矿的高效利用以进一步提铁降本,针对S钢铁公司500m2大型烧结机实际原燃料条件,基于试验用铁矿粉的常规理化性能和高温烧结基础特性开展了不同褐铁矿配比的烧结杯试验研究,结合Factsage 7.1热力学软件,模拟计算了不同褐铁矿配比条件下的黏附粉含量和理论液相生成量及性能,并采用矿相显微镜分析了烧结矿的显微结构,探明了褐铁矿与赤铁矿和磁铁矿的优化搭配规律.研究表明:澳大利亚褐铁矿具有粒度粗、矿化能力弱,同化温度低、黏结相强度差、吸液性强的特点,当褐