一种基于验证的量子私有集合计算协议

私有集合计算是安全多方计算的重要组成部分,可以在不暴露合法参与者私有信息的情况下解决参与者之间的某些集合计算问题(如交集、并集)。然而现有的量子私有集合计算协议基本上没有考虑验证性,参与者无法确定计算结果是否正确。针对此问题,提出了一种基于验证的量子私有集合计算协议。此外,该协议还能够可选择地求解私有交集或并集问题。性能分析中通过实例证明了该协议的正确性与可验证性,并通过外部攻击和参与者攻击证明了协议的安全性。     

基于贝叶斯推理的像元内部端元选择模型

提出了利用贝叶斯推理选择混合像元内端元的模型.考虑到端元光谱的不确定性,基于贝叶斯推理和线性光谱混合模型得到了像元内端元集合的后验概率表达式.在获得端元共存的先验知识基础上,结合端元光谱的正态分布函数,通过最大后验概率得到最佳的端元集合.通过对包含147431个像元的ETM+影像试验表明,相对于IDRISI软件的MRES和PG算法,该算法可削减至少70%的冗余端元,使端元选择错误导致的分解误差降低至少28%.结果表明,由于充分考虑端元光谱的小确定性和端元的共存性,通过贝叶斯推理可以大幅度提高端元选择的正确率,从而改善混合像元的分解精度.     

教学设计：向量的加法——渗透“群”的思想的“整体设计”

教材分析 向量运算是数的运算、集合运算之后又一次对运算的扩充,是深化对运算的认识的契机．因此,向量的加法运算的教学就应该充分借助学生已有的实数运算的知识,进行同化与顺应．向量运算又是以物理模型为原型构建的,正体现了“数学是模型的科学”的数学认识,而且向量是以物理为背景,经过抽象、     

集合与简易逻辑

1．重点、难点、热点分析 重点：集合、子集、交集、并集、补集、空集等概念,元素与集合、集合与集合之间的关系．集合的运算;含有绝对值的不等式、一元二次不等式的解法,二次不等式、二次方程和二次函数之间的联系与应用;逻辑联结词“或、且、非”及简单命题、复合命题等概念的理解．命题真假的判断与应用．四种命题及其关系;充分条件、必要条件、充要条件的概念及两命题间充要关系的判断与证明．     

从一道开放题的变式再来理解函数的概念

对于函数的概念,苏教版必修数学1是站在集合观点上给出的,一般地,设A,B是两个非空数集,如果按某种对应法则f,对于集合A中的每一个元素x,在集合B中都有惟一的元素y和它对应,这样的对应叫做从A到B的一个函数,通常记为y=f（x）,x∈A,其中所有的输入值x组成的集合A叫做函数y=f（x）的定义域,对于A中的每一个x,都有一个输出值y与之对应,我们将所有输出值y组成的集合称为函数的值域．     

直觉模糊子环及其同构

利用既约集合套讨论了直觉模糊子环和直觉模糊理想的一些性质,并在两个经典环同态与同构意义下,定义了直觉模糊商环,商直觉模糊子环,以及直觉模糊子环的直和,并讨论了其相关性质.     

用集合的观点解释和研究概率

课程标准中指出,“集合语言是现代数学的基本语言,是一种特殊的符号语言,使用集合语言可以简洁准确的表达数学中的一些基本内容”．因此,在高中我们是将集合作为一种语言来学习的．     

介晶的制备、性能与应用研究

介晶（mesocrystal）是一类由纳米晶以结晶学有序的方式自组装而成的纳米粒子超结构,通常可以显示类单晶的电子衍射行为。介晶形成过程对经典结晶的挑战及其颗粒聚集体的独特结构特色具有的潜在应用促使人们对其广泛的研究。本文主要综述了介晶的制备方法、性能和应用研究的最新进展,其中合成方法主要包括共沉淀法、水热法、溶剂热法、拓扑转变法、电化学法和溶解再结晶方法,性能和应用方面主要介绍了介晶的催化性能、电化学性能、光电性能和生物医学应用。本文着重讨论了介晶的形成过程和介晶的结构-性能关系,指出了目前介晶的制备、性能和应用研究中存在的科学问题,并展望了其发展方向。     

基于模糊聚类的Linux网络动态入侵检测

提出基于模糊聚类的Linux系统异常入侵检测方式,通过对网络动态信息进行分类检测,能够降低入侵检测的漏检率,动态检测出网络数据入侵程序,避免了传统方式的缺陷.实验证明,利用基于模糊聚类的入侵检测方式能够快速、准确的检测出入侵程序,保证Linux系统安全.     

雷达软件测试用例复用技术研究

为了提高测试用例继承中缺陷发现效率,提出了一种有效的雷达软件测试用例复用模型,并将其应用到雷达软件测试用例优化设计中.根据工程实际情况,在公共测试用例库的基础上,以提高测试效率、降低测试成本为目标函数,采用蚁群算法进行用例集的寻优,给出复用用例的筛选、简化、抽象和适应性修改方法;以复用用例测试执行结果作为评估依据,持续改进和更新复用用例数据库,实现高执行率和成功率的测试用例复用.