集合成员关系的安全多方计算及其应用

集合成员关系的安全多方计算在保密数据挖掘和保密数据查询等方面有着重要的应用价值.针对以往方案在集合规模较大时的低效问题,本文将原问题转化成多项式一次性求值问题,在此基础上共设计了四个协议.利用同态加密设计了平凡协议1;利用离散对数设计了高效协议2,此协议非常简洁.最后,针对不同的应用场景又分别设计了云计算环境下外包用户计算的协议3和抗抵赖环境下可公开保密判定的协议4.通过分析和比较显示,我们的方案除了集合的势,其余任何信息都没有泄露,并且在集合规模较大时,相比以往方案高效而简洁.

基于TIGGE资料的集合成员优选方法

利用2007年6月8日—8月31日东亚地区TIGGE集合预报资料中欧洲中期天气预报中心（European Centre for Medium-range Weather Forecasts,ECMWF）和英国气象局（United Kingdom Met Office,UKMO）两个中心的地面2 m气温资料进行集合成员优选研究。结果表明,对于24-96 h预报,集合成员优选方法能够较好地选出预报技巧较高和预报技巧较低的集合成员。个例分析表明,在极端天气出现的地区,优选集合平均的预报优势较为明显。对比ECMWF和UKMO的集合成员优选结果发现,ECMWF的预报效果优于UKMO的预报效果。

最小二乘法集合成员辨识

该文研究集合成员辨识方法，并利用最小二乘法（ＬＳ ｍｅｔｈｏｄ）进行集合成员辨识。这个方法的特点是辨识在时域进行，先利用最小二乘法作为计算工具，辨识出实际系统的标称模型，然后求出可行参数集。本方法计算量小，可行参数集比文献［３］的要小。

一种构造集合成员表证明集合恒等式的方法

利用命题演算排中律、矛盾律思想,结合命题公式真值表方法,提出了集合成员表的构造方法,并以该方法进行集合恒等式的证明。

集合成员判定问题的安全多方计算解决方案

对可交换密钥解决方案与同态加密解决方案进行了分析,并指出了二者在计算复杂度上的不足。在此基础上,提出了另外两种解决方案,一种是基于混沌加密解决方案,另一种是引入不可信第三方参与的非对称加密解决方案,并分析证明了这两种方案的正确性、安全性和复杂性。将提出的新方案与现有的方案进行实验对比,结果证实了新方案能降低算法的复杂度,极大地提高了算法的执行效率。

有理数域上集合成员关系的保密判定协议

本文通过将有理数按位编码为矩阵,并结合ElGamal同态加密算法,设计了有理数域上集合成员关系的保密判定协议,其中点集成员关系的保密判定协议可适用于 维有理点。其次,应用模拟范例的方法严格证明了协议的安全性,同时协议能够保护集合的势。最后,比较分析表明当参与者的有理数满足一定条件时,本文设计的协议是高效的。

强对流临近预警中集合预报成员的即时分析——以陇东一次暴雨过程ECMWF集合预报应用为例

2015年5月31日甘肃陇东地区出现一次暴雨天气过程,ECMWF集合预报系统的降水预报只有1个成员(简称EM-p)预报出暴雨,并且EM-p对预报暴雨落区、量级和降水时段的预报与观测实况基本接近。本文通过对EM-p和集合预报系统控制成员预报效果的对比分析,以及EM-p与实况的对比分析表明,EM-p对产生暴雨的对流参数预报完全符合本地经验指标,虽然对低层急流预报出现一定程度偏差,但对低层辐合区(暴雨落区)位置的预报与观测实况极为接近,因此EM-p成员能够为暴雨的短时预报和临近预警提供可靠的定量依据,可有效提前暴雨预警时间。通过分析,期望为如何利用ECMWF集合预报有效判断低概率但高影响天气的发生提供一些有益的思路。

对《离散数学》课程集合状态成员表法的探索与思考

《离散数学》是理工科大学生的专业核心课程,而集合论是《离散数学》的基础部分。集合论中的集合代数包含的内容多,其中求一个集合的幂集、证明两个集合相等是非常重要的内容。怎样掌握这些知识点,是许多学生十分关心的问题。本文给出了解决上述问题的通用方法以及集合状态成员表法,并将通用方法与集合状态成员表法进行了对比,分别给出了他们的优劣性。集合状态成员表法是解决相关问题的一种简单的方法,希望本文的研究对学生掌握相关知识点起到一定的促进作用。

集合成员关系判定的安全多方计算协议

基于全同态加密技术,构造了一个安全计算集合成员关系问题的多方协议。通过将判定集合成员关系问题转化为范德蒙行列式求值问题,该协议解决了已有研究成果中集合阶数的泄露问题,提高了安全性;并证明其在静态半诚实敌手模型下的安全性。该协议还具有判断集合是否有交集的功能。

对流尺度集合预报成员数对降水预报的影响

选取2022年川渝地区发生的16个强降水个例开展对流尺度集合预报批量试验,并通过对31组初值采用不同集合成员数时的降水集合预报技巧进行检验评估和综合分析。结果表明:集合成员的降水预报技巧总体上大致相当,因而采用不同成员数时预报技巧差异也不明显;表征降水总体分布特征的Talagrand分布和预报失误概率以及表征降水概率预报技巧的相对作用特征面积随着成员数的增加而逐渐改进,但当成员数达到一定数值后继续增大成员数对预报改进不明显。总体而言,对流尺度集合预报成员数设置为16~18最适宜。

集合相等的另一证明法

在集合理论中,证明两个集合相等是一个重要的内容,也是实际应用中经常遇到的一个问题。它繁琐的叙述以及抽象的思维想象,往往让人感到头疼,但应用命题逻辑中的一种构造真值表的方法,来构造集合成员表,应用二进制下的逻辑运算,可有效地解决这个问题。

长江中下游地区梅雨期降水的集合预报试验

本文利用MM5模式,通过改变模式的积云参数化方案、边界层过程和云微物理方案,构造了一个15个成员的集合预报系统,对2001年长江中下游地区梅雨期降水做了集合预报试验。试验表明,集合预报与决定预报相比,可以有效地提高梅雨降水的预报准确度;在不同分辨率条件下集合预报相对于决定预报的提高程度是不同的,分辨率越低,集合预报的价值越大。尽管如此,集合预报还具有的内在缺陷是对小雨高估、大到暴雨低估。试验也揭示了,MM5模式本身对于降水有过分预报的倾向,粗网格模式配置对细网格内降水产生重大影响。

基于多项式表示的集合问题安全计算协议

针对集合问题安全计算方案在实际应用中的低效率及存在安全漏洞等问题,利用多项式表示技术将集合问题转化为多项式求值问题,结合离散对数问题提出了集合成员关系以及集合交集问题的安全两方计算协议。首先,从最近一个高效的集合成员关系计算协议的安全缺陷出发,分析存在的安全漏洞是在一定条件下可以通过穷举攻击获得参与方输入的元素信息,导致参与方的隐私信息得不到保障。为克服该安全漏洞,将集合表示为多项式,并对多项式进行随机化,以确保参与方交互过程中不会发生任何泄漏;然后,结合离散对数问题,提出了安全的集合成员关系计算协议。该协议能够快速判断输入的元素是否属于一个集合,并且除了集合的势,没有泄露参与双方的任何其他信息。接着,将完善后的集合成员关系计算协议进一步扩展,提出了能够解决集合交集问题的安全两方计算协议。利用该协议,互不信任的参与方能有效计算集合的交集,而不泄露自身的隐私信息。最后,在半诚实模型下,结合概率多项式时间模拟器,给出了两个协议的安全性证明,证明了模拟器视图与原协议执行视图在计算上无法区分;详细分析了本文协议的性能,结果表明提出的集合成员关系计算协议及集合交集安全计算协议比其他相关协议效率更高,具有较小的通信复杂度及计算复杂度。

基于符号OBDD的保护隐私集合运算协议

针对保护隐私的集合成员判定协议和集合相等判定协议泄露信息的缺陷,提出基于符号OBDD的解决方案。将集合成员编码成二进制码,提取集合的特征函数;以连分数和Cantor编码为桥梁,将集合编码为自然数,构造该自然数的比较相等函数;利用OBDD表示这2类函数,结合基于OBDD的安全函数评估协议,提出解决保护私有信息的集合相等判定问题和集合成员判定问题的2个协议。所提出的协议克服了已有解决方案存在的安全问题,且有较好的执行效率。

基于贝叶斯方法的高鲁棒性故障检测技术

故障检测在控制工程领域具有广泛的应用,而鲁棒性是衡量系统在故障检测时的不确定性的重要指标.为了提高鲁棒系统故障检测的能力,基于贝叶斯的基本原理对系统的故障和不确定性进行研究,提出一种基于贝叶斯方法的高鲁棒性故障检测方法.首先,对非线性系统的故障检测问题进行定义,分析参数空间的不确定性问题.其次,基于贝叶斯基本原理对参数空间的推导进行分析.最后,通过分析系统正常运行的参数空间与发生故障时的参数空间之间的成员关系来进行故障检测.实验表明,在四罐耦合系统中,提出的基于贝叶斯方法的故障检测技术在系统模型参数具有不确定性的条件下可以很好地进行故障识别.

面向云服务的轻量级匿名订阅系统

针对已有匿名订阅系统订阅方式不灵活、用户端运算量大以及用户访问次数不受限制等缺陷,在Canard等人系统的基础上,提出一个面向云服务的轻量级匿名订阅系统。新系统的构造过程使用了关于掌握Au-Susilo-Mu签名的知识证明、改进的集合成员证明以及双线性对运算的性能优化技术。与已有系统相比,新系统同时满足以下性质:允许用户一次性订阅多种服务类型;对用户的访问次数作出限制;不允许用户与他人共享使用电子钱包;为用户提供了较强的隐私保护等级。该系统可证能安全地实现匿名订阅的功能。仿真实验表明,当被证明的秘密值在50~1050内变化时,用户在Access协议中的运行效率较同类系统提高了79.5%~83.2%。

Problems and Solutions in Implementing Modern Apprenticeship in Higher Vocational Institutions

With the furthering of educational reform in higher vocational institutions, China＇s vocational education has given a new connotation to modem apprenticeship. The government makes efforts in promoting the modem apprenticeship and this is met with active response of the higher vocational institutions. However, in the practical situation of the higher vocational institutions, the implementation of modem apprenticeship is still faced with lots of problems. It is the author＇s opinion that the government and higher vocational institutions should overall integrate the planning for scientific and systematic designing of the implementation of modem apprenticeship to create an integrated environment for the enterprises to actively participate in the higher vocational education. The institutions and enterprises should join hands in the management of higher vocational education, strengthen the pilot institutionsand promote the apprenticeship to solve the problems in the implementation and enhance the development of the higher vocational education of China.