从智能合约、智能法律合约等概念入手，依据现行法律条目的要求对智能合约法律化问题进行探讨，指出智能合约法律化需满足文法要求、非赋权原则、审查准则三个基本规则，并以典型智能法律合约语言SPESC、CML为实例剖析了其法律效力，辨析使其与原合同文本具有同等法律效力需满足的条件。进而，结合智能合约系统架构及部署运行过程，在对所部署智能合约进行法律化辨析基础上对区块链智能合约及其链码的法律地位进行了论证。最后，对当前智能法律合约逻辑模型与语言模型的研究进展进行总结，并加以讨论和评价。上述工作表明当前智能法律合约研究是一条解决智能合约法律地位的可行途径，有利于从现行法上把握智能合约在合约逻辑、仲裁流程、形式化验证等方面的未来发展方向

氮化碳作为一种具有高催化性能的光催化剂，具有无毒无害，自然环境下稳定的性质，在水解制氢气氧气以及降解有机污染物领域得到了广泛的关注. 其中类石墨相氮化碳(g-C3N4)因其特殊的片层结构而具有较高比表面积，常配合孔结构的构造，提供光生载流子及反应物质的运输通道以及大量活性位点用于氧化还原反应，是具有高光电性能的一种光催化剂.制备该种催化剂孔结构的方法有硬模板法，软模板法与非模板法，其中硬模板法需要在实验后除去模板，软模板法的模板会随着高温除去，非模板法的制备过程没有模板的参与。本文根据近年文献的整理，着重阐述和比较各制备方法的优劣，结合常用的修饰手段总结各制备方法的变化趋势和发展方向，并对后续研究中制备方法的使用前景做出判断

随着汽车行业的快速发展，轻量化汽车用钢的研发和应用越来越广泛。抗拉强度超过1000 MPa的第二、三代汽车用钢往往是复相组织，通过固溶、析出、变形、细晶强化等各种强化方式，在基体中形成大量缺陷，导致钢材服役过程中对氢更加敏感，容易在很小的氢溶解条件下发生氢脆。Fe?Mn?C系、Fe?Mn?Al?C系等含Mn量高的汽车结构用钢因层错能较高，不仅直接决定了其强韧性机制，还对其服役性能有重要影响。在Fe?Mn?C系TWIP钢的成分基础上，添加少量Al元素，形成Fe?Mn?(Al)?C钢，不仅能降低钢材密度，提高钢材的强韧性，也因Al元素改变了钢材的微观组织构成，一定程度上令氢脆得到缓解。但当Al含量较高时，形成低密度钢，其组织构成更加复杂，析出物更多，导致氢脆敏感性更显著。本文从Fe?Mn?(Al)?C高强韧性钢的组织构成、第二相、晶体缺陷等特征出发，综述了H在Fe?Mn?(Al)?C钢中的渗透、溶解和扩散行为，H与基体组织、析出相、晶格缺陷的交互作用，H在钢中的作用模型、氢脆机制、氢脆评价手段和方法等。并评述了Fe?Mn?(Al)?C高强韧性钢氢脆问题开展的相关研究工作和最新发展动态，指出通过第一性原理计算、分子动力学模拟和借助氢原子微印技术、三维原子探针等物理实验相结合的方法是从微观层面揭示高强韧性钢氢脆机制的未来发展方向

利用扫描电子显微镜(SEM)、透射电子显微镜(TEM)、电子探针(EPMA)、X射线衍射仪(XRD)、室温拉伸等手段, 通过两相区保温-淬火(IQ)、两相区形变后保温-淬火(DIQ)、两相区保温-淬火-配分-贝氏体区等温(IQ&PB)及两相区形变后保温-淬火-配分-贝氏体区等温(DIQ&PB)热处理工艺, 研究高温形变对室温组织、性能、残余奥氏体稳定性的综合影响作用.结果表明, 经15%的压缩形变后铁素体中位错密度由0.290×1014增加至1.286×1014 m-2, 马氏体(原奥氏体)中C、Cu元素富集浓度提高, 高温形变产生位错增殖对元素配分有明显促进作用.DIQ&PB工艺下, 形变后贝氏体板条尺寸变短且宽度增加0.1 μm左右, 贝氏体转变量较未变形时增加14%, 多边形铁素体尺寸明显减小.力学性能方面, 两相区形变热处理后抗拉强度增加132.85 MPa, 断后伸长率增加7%, 强塑积可达25435 MPa·%.形变后残余奥氏体体积分数由7.8%提高到8.99%, 残余奥氏体中碳质量分数由1.05%提高到1.31%

植物修复是土壤重金属污染修复的重要手段。为了探明南水北调工程中线水源地土壤污染状况并对其进行修复，本研究以湖北省朝北河和典型钒矿冶炼厂为对象，按季节采集该区域土壤（样本量n = 14）和当地优势陆生植物（样本量n = 113），使用微波消解?电感耦合等离子体质谱(ICP?MS)测定V、Cr、As和Cd重金属含量，根据内梅罗指数法综合评价了土壤污染程度，评估了各种植物对四种重金属的富集能力。结果表明，朝北河采样点中排污口与河水交汇处土壤中重金属Cd含量较高；钒矿冶炼厂原矿堆放区V超标近83倍，Cr、As和Cd重金属超标两倍以上，土壤受到严重污染；其他采样点均受到不同程度的重金属污染。植物重金属富集能力和耐受性评价结果表明，鼠麴草、密叶飞蓬、一年蓬对四种重金属耐受性极强，小蓬草、白茅、少花龙葵、野菊、白车轴草、稗是V、Cr和Cd的超富集植物，蜈蚣草、构树对As的富集能力极强，野艾蒿对Cr和Cd的富集能力较强，丁香蓼和日本毛连菜分别对Cr和V具有较强的耐受性和富集特异性，委陵菜和垂序商陆对Cd具有较强的富集能力和特异性。五种优势植物盆栽实验表明，苎麻在复合金属污染条件下耐受性最强，委陵菜富集能力最强

为了深入探讨胶磷矿难选的具体原因，采用化学分析、X射线衍射以及矿物自动分析系统（AMICS）测试手段对云南某胶磷矿浮选给料进行了系统深入的工艺矿物学研究，探索了该矿样难浮选分离的内在机理。结果表明：该样品中磷主要以氟磷灰石形式存在，其脉石矿物以白云石和石英为主。氟磷灰石的嵌布粒度较细，主要分布于10～75 μm的粒度范围，其单体解离度为59.17%。除了以单体的形式存在以外，氟磷灰石主要与白云石、石英连生，连生体的质量分数分别为26.23%和9.92%。而白云石和石英的单体解离度相对较低，分别为46.82%和39.10%。进行了粗选脱镁、一粗两扫脱硅的闭路流程浮选试验，获得了精矿P2O5品位为29.75%、P2O5回收率为81.95%，SiO2品位为12.63%的浮选指标。结合工艺矿物学分析结果，指出该浮选样品中胶磷矿嵌布粒度细、难以获得较好的解离度、泥化严重是浮选难于获得更好指标的主要原因

回转窑结圈一直以来是制约煤基回转窑直接还原工艺发展的重要因素,以某低品位铁矿回转窑还原结圈物为研究对象,深入研究回转窑结圈物的特性及其形成机制.从结圈物的宏观形貌、物化性能、软熔特性和微观结构入手对某低品位铁矿球团回转窑结圈物的特性进行分析,并结合热力学相图、化学物相及能谱分析研究了结圈物的形成机制.结果表明:结圈物由熔融物包裹球团形成,接近窑壁,其熔融包裹物增多,结圈物中MFe、CaO含量明显增大,软熔温度越低;由球团粉末中FeO与SiO2形成的铁橄榄石及煤灰带入的CaO而形成的钙铁辉石低熔点相是造成结圈的主要原因;低熔点相的存在同时也促进了金属化球团间铁晶粒的相互扩散与迁移,从而加剧了结圈现象

这部书的第一卷终于交印了,它既是急就章,是拖脊篇.1958年匆匆上马,现想现 写现印现讲,有时写稿不过三遍,仅仅经过起草、改、正三道手续便拿去付印有时候 校对来不及,就不校对了,因而原讲义上错误百出,疵谬迭见,所以说这是急就章.如果 能专心一志地连续地干下去,那还可能比较好些,但又经常为其它工作所打断,因而写一 段停一停,改一章放一放的情况又经常出现,所以说是沓篇紧紧松松,赶赶拖拖.因 而详略不一,前后不贯,轻重失调,呼应不周等毛病在所难免的了 情况是如此,虽然经过同志们的帮助和修改重写但还可能留下不少后遗症这样的

这部书的第一卷终于交印了,它既是急就章又是拖篇.1958年匆匆上马,现想现 写现印现讲,有时写稿不过三遍,仅仅经过起草修改誉正三道手续便拿去付印有时候 校对来不及,就不校对了,因而原讲义上错误百出,疵谬迭见,所以说这是急就章.如果 能专心一志地连续地于下去,那还可能比较好些,但又经常为其它工作所打断,因而写一 段停一停,改一章放一放的情况又经常出现,所以说是拖篇紧紧松松,赶赶拖拖因 而详略不一,前后不贯,轻重失调,呼应不周等毛病在所难免的了 情况是如此,虽然经过同志们的帮助和修改重写,但还可能留下不少后遗症.这样的 草率工作本来不该交印的,但不少同志热情鼓励,几经踌终于把它出版了,希望经过读 者的帮助,人多眼多

语法分析是编译程序的核心部分、语法分析的作用是识别 由词法分析给出的单词符号序列是否是给定文法的正确句子 （程序）， 自顶向下分析法也就是从文法的开始符号出发企图推导 出与输入的单词串完全相匹配的句子，若输入串是给定文法 的句子，则必能推出，反之必然出错。自顶向下分析法又可 分为确定的和不确定的两种，确定的分析方法需对文法有一 定的限制，但由于实现方法简单、直观，便于手工构造或自 动生成语法分析器，因而仍是目前常用的方法之一。不确定 的方法即带回溯的分析方法(又称回溯法)，这种方法实际上 是一种穷举的试探方法，因此效率低，代价高，因而极少使 用