排序方式: 共有22条查询结果,搜索用时 15 毫秒
1.
随着区块链技术的兴起,智能合约安全问题被越来越多的研究者和企业重视,目前已有一些针对智能合约缺陷检测技术的研究.软件缺陷预测技术是软件缺陷检测技术的有效补充,能够优化测试资源分配,提高软件测试效率.然而,目前还没有针对智能合约的软件缺陷预测研究.针对这一问题,提出了面向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度量元集... 相似文献
2.
Fe-Ti二元系作为多组元Fe合金和多组元Ti合金的子系统,其热力学性质研究是将其拓展到多维应用的基础.利用CALPHAD方法,选取近几十年来最具代表性的5篇Fe-Ti二元系评估研究论文,复现各评估研究的计算结果,比较不同评估对稳定相的热力学建模的相异性和对最终评估结果的影响,同时指出某些评估中存在的问题. 相似文献
3.
4.
5.
6.
8.
研究了白簕叶黄酮的提取纯化及抗炎效果。实验采用正交设计法优化了超声辅助提取法提取白簕叶黄酮,并考察了大孔树脂的纯化效果。采用50只SD大鼠,分为阴性对照组、地塞米松阳性对照组、白簕叶黄酮低、中、高剂量组,灌胃给药7d,末次给药后1h,分别测定大鼠足肿胀度,考察各组用药对角叉菜胶致大鼠足趾肿胀的影响。结果显示,采用最优方案提取白簕叶黄酮并进行纯化,所得提取液中总黄酮含量为37.01mg/g,纯化后黄酮纯度达到24.36%。将SD大鼠连续给药7d后,白簕黄酮提取物10、20、40mg/(kg·d)均能有效抑制角叉菜胶致大鼠足趾肿胀程度。研究结果表明,白簕叶黄酮具有抗炎效果,进一步开发了白簕的药用价值。 相似文献
9.
从热力学和动力学角度,研究了活性炭对水溶液中盐酸左氧氟沙星的吸附行为。热力学研究表明活性炭对盐酸左氧氟沙星的吸附符合Freundlich等温吸附方程。测得ΔH=-33.43kJ·mol^-1,说明这是一个放热过程,且(ΔH)〈40kJ·mol^-1,表明吸附过程为物理吸附。两时测得吉布斯自由能ΔG〈0,受温度影响不大,表明吸附质从溶液到吸附剂表面的吸附过程是自发性的。动力学研究表明活性炭对鼓酸左氧氟沙星的吸附更好地符合伪二级动力学描述,表观活化能Ea=40.65kJ·mol^-1。 相似文献
10.