针对理性委托计算中的安全性需求问题,提出了一种可证明安全的理性委托计算协议。首先,在委托计算中引入博弈理论并分析理性参与者的行为偏好,并且在博弈论框架下构建理性委托计算博弈模型;其次,根据博弈模型中的均衡需求及理性委托计...针对理性委托计算中的安全性需求问题,提出了一种可证明安全的理性委托计算协议。首先,在委托计算中引入博弈理论并分析理性参与者的行为偏好,并且在博弈论框架下构建理性委托计算博弈模型;其次,根据博弈模型中的均衡需求及理性委托计算的安全需求,设计理性安全模型;再次,结合 Yao 的混淆电路可以随机化重用的优势及全同态加密技术,构造理性委托计算协议,且协议中参与者的策略组合可以达到纳什均衡状态;最后,根据理性安全模型证明了协议的安全性和输入输出的隐私性,且性能分析表明了协议的有效性。所提理性委托计算协议在满足传统安全性的同时,又考虑了参与者的行为偏好,更符合大数据环境下的委托计算模式。展开更多
传统的委托计算需要额外开销验证计算结果的正确性,导致委托计算效率较低、开销较大.针对此问题,结合博弈论与理性信任建模(rational trust modeling,简称RTM)的思想,提出了基于理性信任模型的理性委托计算协议.通过设置恰当的效用函数...传统的委托计算需要额外开销验证计算结果的正确性,导致委托计算效率较低、开销较大.针对此问题,结合博弈论与理性信任建模(rational trust modeling,简称RTM)的思想,提出了基于理性信任模型的理性委托计算协议.通过设置恰当的效用函数,激励计算方诚实执行协议,以此来保证计算结果的可靠性.首先,基于理性信任建模的思想构造理性信任模型,将服务器的生存周期作为效用函数的参数,设计满足委托计算参与者利益的效用函数,并分析协议中参与者的行为策略,当参与者采取"诚实"策略时,可以得到理性委托计算的纳什均衡点;其次,利用改进的NTRU(number theory research unit)公钥密码体制实现速度快、安全性高、具有抵抗量子计算攻击的能力的优点,结合Pedersen承诺方案,设计理性委托计算协议;最后,从正确性、安全性与性能这3个方面对协议进行分析,并通过实验证明生存周期对参与者效用的影响.结果表明,该协议可有效保证计算结果的可靠性.展开更多
Understanding the adsorption behavior of heavy metals and metalloids on clay minerals is essential for remediating heavy metal-contaminated soils.The adsorption of heavy metals and metalloids on illite(001)and sodium ...Understanding the adsorption behavior of heavy metals and metalloids on clay minerals is essential for remediating heavy metal-contaminated soils.The adsorption of heavy metals and metalloids on illite(001)and sodium montmorillonite(Na-MMT)(001)surfaces was investigated using first-principles calculations in this study,especially As atom and H_(3)AsO_(3) molecule.The adsorption energies of the As atom were−1.94 eV on the illite(001)and−0.56 eV on the Na-MMT(001),whereas,the adsorption energies of the H_(3)AsO_(3) molecule were−1.40 eV on illite(001)and−1.01 eV on Na-MMT(001).The above results indicate that the adsorption was more energetically favorable on illite(001).Additionally,compared to Na-MMT(001),there were more significant interactions between the atoms/molecules on the illite(001).After As atom and H_(3)AsO_(3) molecule adsorption,the electrons were transferred from mineral surface atoms to the adsorbates on both illite(001)and Na-MMT(001)surfaces.Moreover,the adsorption of As atom on illite(001)and Na-MMT(001)surfaces were more energy favorable compared to Hg,Cd,and Cr atoms.Overall,this work provides new insights into the adsorption behavior of As atoms and As molecules on illite and Na-MMT.The results indicate that illite rich soils are more prone to contamination by arsenic compared to soils primarily composed of Na-MMT minerals.展开更多
Solidification structure is critical in the control of the mechanical properties and quality during the continuous casting process. The thermo-physical properties of 13 Cr steel added some rare metals, such as Mo, V, ...Solidification structure is critical in the control of the mechanical properties and quality during the continuous casting process. The thermo-physical properties of 13 Cr steel added some rare metals, such as Mo, V, Nb, are measured to better understand the solidification structure of 13 Cr bloom. A computational model using CA-FE(cellular automation-finite element) method coupled with heat transfer model is developed to describe the solidification structure in continuous casting process. It is found that the calculated solidification structure is in good agreement with the observed data. The influence of casting speed and superheat on the solidification structure of the bloom is studied in detail. In order to obtain more equiaxed crystal ratio and low degree of the segregation in the bloom, the optimized casting speed 0.6 m/min and superheat less than 25 °C are determined for the caster. Using the optimized manufacturing parameters, these samples are 60% with the equiaxed zone ratio of 8%–10% and below the degree of segregation 1.05.展开更多
文摘针对理性委托计算中的安全性需求问题,提出了一种可证明安全的理性委托计算协议。首先,在委托计算中引入博弈理论并分析理性参与者的行为偏好,并且在博弈论框架下构建理性委托计算博弈模型;其次,根据博弈模型中的均衡需求及理性委托计算的安全需求,设计理性安全模型;再次,结合 Yao 的混淆电路可以随机化重用的优势及全同态加密技术,构造理性委托计算协议,且协议中参与者的策略组合可以达到纳什均衡状态;最后,根据理性安全模型证明了协议的安全性和输入输出的隐私性,且性能分析表明了协议的有效性。所提理性委托计算协议在满足传统安全性的同时,又考虑了参与者的行为偏好,更符合大数据环境下的委托计算模式。
文摘传统的委托计算需要额外开销验证计算结果的正确性,导致委托计算效率较低、开销较大.针对此问题,结合博弈论与理性信任建模(rational trust modeling,简称RTM)的思想,提出了基于理性信任模型的理性委托计算协议.通过设置恰当的效用函数,激励计算方诚实执行协议,以此来保证计算结果的可靠性.首先,基于理性信任建模的思想构造理性信任模型,将服务器的生存周期作为效用函数的参数,设计满足委托计算参与者利益的效用函数,并分析协议中参与者的行为策略,当参与者采取"诚实"策略时,可以得到理性委托计算的纳什均衡点;其次,利用改进的NTRU(number theory research unit)公钥密码体制实现速度快、安全性高、具有抵抗量子计算攻击的能力的优点,结合Pedersen承诺方案,设计理性委托计算协议;最后,从正确性、安全性与性能这3个方面对协议进行分析,并通过实验证明生存周期对参与者效用的影响.结果表明,该协议可有效保证计算结果的可靠性.
基金Project(22376221)supported by the National Natural Science Foundation of ChinaProject(2024JJ2074)supported by the Natural Science Foundation of Hunan Province,ChinaProject(2023QNRC001)supported by the Young Elite Scientists Sponsorship Program by CAST。
文摘Understanding the adsorption behavior of heavy metals and metalloids on clay minerals is essential for remediating heavy metal-contaminated soils.The adsorption of heavy metals and metalloids on illite(001)and sodium montmorillonite(Na-MMT)(001)surfaces was investigated using first-principles calculations in this study,especially As atom and H_(3)AsO_(3) molecule.The adsorption energies of the As atom were−1.94 eV on the illite(001)and−0.56 eV on the Na-MMT(001),whereas,the adsorption energies of the H_(3)AsO_(3) molecule were−1.40 eV on illite(001)and−1.01 eV on Na-MMT(001).The above results indicate that the adsorption was more energetically favorable on illite(001).Additionally,compared to Na-MMT(001),there were more significant interactions between the atoms/molecules on the illite(001).After As atom and H_(3)AsO_(3) molecule adsorption,the electrons were transferred from mineral surface atoms to the adsorbates on both illite(001)and Na-MMT(001)surfaces.Moreover,the adsorption of As atom on illite(001)and Na-MMT(001)surfaces were more energy favorable compared to Hg,Cd,and Cr atoms.Overall,this work provides new insights into the adsorption behavior of As atoms and As molecules on illite and Na-MMT.The results indicate that illite rich soils are more prone to contamination by arsenic compared to soils primarily composed of Na-MMT minerals.
基金Projects(51274057,51474057) supported by the National Natural Science Foundation of ChinaProject(2012AA03A508) supported by the High-tech Research and Development Program of China
文摘Solidification structure is critical in the control of the mechanical properties and quality during the continuous casting process. The thermo-physical properties of 13 Cr steel added some rare metals, such as Mo, V, Nb, are measured to better understand the solidification structure of 13 Cr bloom. A computational model using CA-FE(cellular automation-finite element) method coupled with heat transfer model is developed to describe the solidification structure in continuous casting process. It is found that the calculated solidification structure is in good agreement with the observed data. The influence of casting speed and superheat on the solidification structure of the bloom is studied in detail. In order to obtain more equiaxed crystal ratio and low degree of the segregation in the bloom, the optimized casting speed 0.6 m/min and superheat less than 25 °C are determined for the caster. Using the optimized manufacturing parameters, these samples are 60% with the equiaxed zone ratio of 8%–10% and below the degree of segregation 1.05.
