应用福建省68个站点1961-1990年30 a平均降水量,建立降水空间模拟通用模型。该通用模型经交叉验证,其平均误差、平均绝对误差及平均误差平方的平方根均较距离反比法、距离平方反比法、改进的距离反比法和梯度距离平方反比法更小,具有较...应用福建省68个站点1961-1990年30 a平均降水量,建立降水空间模拟通用模型。该通用模型经交叉验证,其平均误差、平均绝对误差及平均误差平方的平方根均较距离反比法、距离平方反比法、改进的距离反比法和梯度距离平方反比法更小,具有较高的精度,模拟精度达92.01%,能较客观地反映降水与经纬度、海拔的关系,可应用于降水的空间模拟。这不仅为降水的空间模拟提供了一种新方法,而且为地理信息系统(geographic information system,GIS)辅助的降水空间分布规律研究、实现福建省降水格局空间模拟和为福建省降水预测提供科学依据。展开更多
函数加密是一种新型原语,通过函数密钥解密可以得到关于消息的函数值,而不会泄露消息的其他信息.通用群模型(generic group model,GGM)是一种可以用来分析方案构造安全性的理想化模型.由于目前还没有针对GGM的有效攻击,且能在GGM下证明...函数加密是一种新型原语,通过函数密钥解密可以得到关于消息的函数值,而不会泄露消息的其他信息.通用群模型(generic group model,GGM)是一种可以用来分析方案构造安全性的理想化模型.由于目前还没有针对GGM的有效攻击,且能在GGM下证明安全的方案都比较高效,越来越多的函数加密方案在GGM下证明安全性.2017年,Baltico等人提出了第一个公钥二次函数加密方案,并在GGM下证明了自适应的不可区分安全性.然而,目前无论是在标准假设还是GGM下,没有能达到自适应可模拟安全性的公钥二次函数加密方案.本文根据公钥二次函数加密可模拟安全的定义,证明了Baltico等人提出的方案在GGM下具有更强的自适应可模拟安全性.由于证明过程繁琐,本文借助计算机辅助,设计了在GGM下证明公钥二次函数加密方案具有可模拟安全性的自动证明工具.该工具是第一个针对函数加密方案设计的自动证明工具,且该工具不仅能快速测试在GGM下构造的函数方案是否具有可模拟安全性,还可以作为标准假设下构造安全函数加密方案的初步验证.展开更多
文摘应用福建省68个站点1961-1990年30 a平均降水量,建立降水空间模拟通用模型。该通用模型经交叉验证,其平均误差、平均绝对误差及平均误差平方的平方根均较距离反比法、距离平方反比法、改进的距离反比法和梯度距离平方反比法更小,具有较高的精度,模拟精度达92.01%,能较客观地反映降水与经纬度、海拔的关系,可应用于降水的空间模拟。这不仅为降水的空间模拟提供了一种新方法,而且为地理信息系统(geographic information system,GIS)辅助的降水空间分布规律研究、实现福建省降水格局空间模拟和为福建省降水预测提供科学依据。
文摘函数加密是一种新型原语,通过函数密钥解密可以得到关于消息的函数值,而不会泄露消息的其他信息.通用群模型(generic group model,GGM)是一种可以用来分析方案构造安全性的理想化模型.由于目前还没有针对GGM的有效攻击,且能在GGM下证明安全的方案都比较高效,越来越多的函数加密方案在GGM下证明安全性.2017年,Baltico等人提出了第一个公钥二次函数加密方案,并在GGM下证明了自适应的不可区分安全性.然而,目前无论是在标准假设还是GGM下,没有能达到自适应可模拟安全性的公钥二次函数加密方案.本文根据公钥二次函数加密可模拟安全的定义,证明了Baltico等人提出的方案在GGM下具有更强的自适应可模拟安全性.由于证明过程繁琐,本文借助计算机辅助,设计了在GGM下证明公钥二次函数加密方案具有可模拟安全性的自动证明工具.该工具是第一个针对函数加密方案设计的自动证明工具,且该工具不仅能快速测试在GGM下构造的函数方案是否具有可模拟安全性,还可以作为标准假设下构造安全函数加密方案的初步验证.
