基于软件度量的Solidity智能合约缺陷预测方法

随着区块链技术的兴起,智能合约安全问题被越来越多的研究者和企业重视,目前已有一些针对智能合约缺陷检测技术的研究.软件缺陷预测技术是软件缺陷检测技术的有效补充,能够优化测试资源分配,提高软件测试效率.然而,目前还没有针对智能合约的软件缺陷预测研究.针对这一问题,提出了面向Solidity智能合约的缺陷预测方法.首先,设计了一组针对Solidity智能合约特有的变量、函数、结构和Solidity语言特性的度量元集(smart contract-Solidity, SC-Sol度量元集),并将其与重点考虑面向对象特征的度量元集(code complexity and features of object-oriented program, COOP度量元集)组合为COOP-SC-Sol度量元集.然后,从Solidity智能合约代码中提取相关度量元信息,并结合缺陷检测结果,构建Solidity智能合约缺陷数据集.在此基础上,应用了7种回归模型和6种分类模型进行Solidity智能合约的缺陷预测,以验证不同度量元集和不同模型在缺陷数量和倾向性预测上的性能差异.实验结果表明,相对于COOP度量元集...     

Fe-Ti二元系热力学评估比较

Fe-Ti二元系作为多组元Fe合金和多组元Ti合金的子系统,其热力学性质研究是将其拓展到多维应用的基础.利用CALPHAD方法,选取近几十年来最具代表性的5篇Fe-Ti二元系评估研究论文,复现各评估研究的计算结果,比较不同评估对稳定相的热力学建模的相异性和对最终评估结果的影响,同时指出某些评估中存在的问题.     

甲醇-乙醇-水三元系精馏分离流程研究

提出了甲醇 乙醇 水三元系的分离问题。计算结果表明 ,足够量甲醇的存在可破坏乙醇和水之间的共沸现象 ,使采用普通精馏制取高浓度乙醇成为可能。当甲醇浓度大于 0 .6 15摩尔分率时 ,乙醇和水之间的共沸点完全消失。可通过循环甲醇调整进料中甲醇的含量 ,一定量甲醇的循环可显著降低精馏塔的投资费用。在示例中 ,有甲醇循环时的最小塔费用仅相当于无甲醇循环时的 40 %。实验结果证实了流程的可行性 ,相近的流程已应用于工业生产中。     

广州市重点整治河涌水质指数WQI的研究思路与应用

WQI是一种直观、综合反映水质状况的水质指数,可更全面反映水质受不同污染物的影响,综合反映河涌治理成效。本文介绍了广州市重点整治河涌水质指数WQI的研究思路、计算方法及其在河涌水质评价中的应用,通过年度WQI值的比对,分析重点整治河涌水质变化情况,为河涌综合整治效果评估提供技术支撑。     

白簕叶黄酮的提取纯化及其抗炎作用初探

研究了白簕叶黄酮的提取纯化及抗炎效果。实验采用正交设计法优化了超声辅助提取法提取白簕叶黄酮,并考察了大孔树脂的纯化效果。采用50只SD大鼠,分为阴性对照组、地塞米松阳性对照组、白簕叶黄酮低、中、高剂量组,灌胃给药7d,末次给药后1h,分别测定大鼠足肿胀度,考察各组用药对角叉菜胶致大鼠足趾肿胀的影响。结果显示,采用最优方案提取白簕叶黄酮并进行纯化,所得提取液中总黄酮含量为37.01mg/g,纯化后黄酮纯度达到24.36%。将SD大鼠连续给药7d后,白簕黄酮提取物10、20、40mg/(kg·d)均能有效抑制角叉菜胶致大鼠足趾肿胀程度。研究结果表明,白簕叶黄酮具有抗炎效果,进一步开发了白簕的药用价值。     

活性炭对盐酸左氧氟沙星吸附的热力学与动力学研究

从热力学和动力学角度,研究了活性炭对水溶液中盐酸左氧氟沙星的吸附行为。热力学研究表明活性炭对盐酸左氧氟沙星的吸附符合Freundlich等温吸附方程。测得ΔH=-33．43kJ·mol^-1,说明这是一个放热过程,且（ΔH）〈40kJ·mol^-1,表明吸附过程为物理吸附。两时测得吉布斯自由能ΔG〈0,受温度影响不大,表明吸附质从溶液到吸附剂表面的吸附过程是自发性的。动力学研究表明活性炭对鼓酸左氧氟沙星的吸附更好地符合伪二级动力学描述,表观活化能Ea=40．65kJ·mol^-1。     

活性炭对头孢氨苄吸附的热力学与动力学研究

从热力学和动力学角度研究了活性炭对水溶液中头孢氨苄的吸附行为。热力学研究表明:活性炭对头孢氨苄的吸附符合Freundlich等温吸附方程,ΔH25.24 kJ.mol-1,且40 kJ.mol-1,说明该吸附是一个物理吸附且过程中吸热。同时测得吉布斯自由能ΔG0,受温度影响不大,表明吸附质从溶液到吸附剂表面的吸附过程是自发过程。动力学研究表明:该吸附过程比较符合伪二级动力学描述,其表观活化能Ea为21.75 kJ.mol-1。