均值函数相等检验及在高频股指收益率中应用

针对具有相依特征的函数型数据样本,提出利用经典的Newey-West估计式对它们的长期协方差函数进行估计,从而可以得到更加准确的函数主成分,进而对独立同分布条件下的均值函数相等检验统计量进行改进,并通过模特卡罗模拟和实例分析与现有独立同分布和相依条件下的检验方法进行比较。模特卡罗模拟结果表明,相比于现有检验方法,文中所提改进方法的检验水平与显著性水平更接近,而检验功效更高。实例分析结果表明,2018年沪深300和上证180股指1分钟和5分钟累积收益率的均值函数相等,即这两个金融市场的投资收益水平相当。

以CPFS结构为主题的单元教学设计--以“证明线段相等”为例

以CPFS结构为主题的单元教学设计往往突破了章节的限制,对不同章节内容进行整合,可以贯通知识之间的联系,塑造学生完整的认知结构.笔者以“证明线段相等”为例,阐述以CPFS结构为主题的教学设计.

回首“对折”,促相等与垂直并行进阶——《轴对称》教学的整体性思考

“对折”是轴对称学习的起始方式,概念进阶就是对应点的连线被对称轴垂直平分。由于学生受“相等”的定格影响,往往难以发现“垂直”的关键作用。教学围绕“暴露‘一样’到‘重合’的认知冲突;适配‘折’到‘不折’的心理跨越;挖掘‘相等’并‘垂直’的完整内涵;重建‘定性’到‘定量’的原理闭环”,从而实现相等与垂直并行进阶。

相等代数上态的存在性

为了研究有界相等代数上Bosbach态和Riecan态的存在性.证明了有界相等代数ε上有Bosbach态等价于ker(s)是ε的素奇异滤子;得出对合相等代数上的Bosbach态和Riecan态是一致的;并且给出了有界的相等代数ε有Riecan态当且仅当ε存在一个真的弱奇异滤子F.

例谈证明线段相等的常见技巧

证明线段相等是中考中常常出现的考点,因此学生需学习和熟悉掌握如何证明线段相等,并灵活地运用定理以及借助于一些辅助方法证明线段相等,从而起到化难为易的作用.考查证明线段相等的问题十分灵活.本文分别介绍三种常见的解题思路:利用平行线等分线段定理证明线段相等,利用中位线证明线段相等,利用代数法证明线段相等.本文以不同例题为分析对象,结合具体例题讨论如何证明线段相等,详细解答步骤有助于学生学习和熟悉掌握这类问题,灵活运用不同思路有助于学生更透彻地理解如何证明线段相等.

粗相等与粗相等代数

讨论了粗等价的性质 ,证明了粗相等关系是 Boolean代数 (2 U,∩ ,∪ ,～ )上的同余关系 ,给出了 2 U上的一个等价关系是粗相等的刻画 .从粗相等出发 。

基于LWE的集合相交和相等的两方保密计算

利用格上LWE(Leaning With Error)困难性假设,将保密地比较两个数是否相等转化为判断对随机串加密后的解密是否正确,有效地解决了数和集合关系的判定、求集合交集和集合相等安全多方计算问题,并利用模拟范例证明该协议在半诚实模型下是安全的。与传统的基于数论的协议相比,该方案由于不需要模指数运算,因而具有较低的计算复杂度,同时因其基于格中困难问题,因而能抵抗量子攻击。

变规格连轧时的速度与秒流量相等法则

用理论方法研究了连轧时速度与张力的相互关系,分析了连轧时速度和张力所起的作用,提出了连轧速度理论。认为稳定张力连轧可以分解成带张力的独立机架轧制,但张力与速度要和前后架协调一致。在改变辊缝轧制时,机架间存在张力作用下的轧件断面变化的过渡稳定段,此时轧件各断面速度相等,但不能使用机架间秒流量相等法则。

用液相等电聚焦电泳纯化藻蓝蛋白亚基

以纯藻蓝蛋白(C-phycocyan in,C-PC)为材料,采用Rotofor系统进行液相等电聚焦(L iqu id-phase iso-eletric focusing,LP-IEF)电泳纯化C-PC的α,β亚基,探讨蛋白质亚基纯化的制备电泳(Preparative eletro-phoresis)技术.结果显示,样品经2次等电聚焦电泳后,C-PC的α,β亚基分别浓集在pH=4.9和pH=4.1附近,平板超薄等电聚焦(Slab u ltra th in IEF)和SDS-PAGE电泳鉴定表明分别为高纯度的C-PCα,β亚基.提示LP-IEF是分离纯化等电点差异蛋白质活性亚基的简便有效的方法.

和与积相等的矩阵对及其多项式表示

用矩阵Jordan标准形理论,证明了和与积相等的矩阵对的Jordan标准形具有互为确定的性质,进而得到由和与积相等的矩阵对的最小多项式及交换子空间确定的多项式表示的新结果.

液相等电聚焦电泳纯化燕窝蛋白质

以市售燕窝为材料,采用MicroRotofor系统进行液相等电聚焦电泳(liquid-phase isoelectric focusing,LIEF)纯化燕窝蛋白质,等电聚焦电泳后对收集到10个小室的样品进行SDS凝胶电泳分析。结果显示,燕窝蛋白质提取液中的一些胶状物聚集在聚焦槽酸端第1～4样品室,第9、10样品室杂质也较多,合并第5～8样品室的样品,即得纯化后的燕窝蛋白用于后续双向电泳分析。液相等电聚焦电泳预分离纯化技术结合双向电泳技术,对4个燕窝蛋白质进行较好的分离,在2-DE胶上检测到约30～60个蛋白质点。由此可见,液相等电聚焦电泳预分离技术是燕窝蛋白质进行2-DE分离前的重要纯化手段。

安全多方信息比较相等协议及其应用

安全多方信息比较协议是一个由两方向多方进行推广的问题,可以在不泄漏各个参与方信息的情况下比较出多方信息是否全部相等以及得到具有相等信息的参与方的数目.该问题的研究目前尚没有见到报道.本文在半诚实模型下利用设计的F函数和具有语义安全性的加法同态加密体制设计了一个安全多方信息比较协议;分析了该协议的正确性,安全性和效率.该方案在安全多方计算研究中有广泛应用.

带Rough相等关系词的Rough逻辑系统及其推理

以公式的定义域集的下和上近似分别相等方法 ,定义了两个Rough逻辑公式Rough相等 ,并以此定义了Rough相等关系词“ =R” ,它不仅比等值词“ ”运算有更多的直观性 ,而且既考虑了可定义的公式 ,也包含了那些在边界线上不可定义或可能可定义的公式 .所以 ,经典逻辑中的隐含式 φ→ ψ被移至Rough逻辑中应当解释为R (d(φ) ) R (d(ψ) )∧R (d(φ) ) R (d(ψ) ) .经典逻辑中的等值式 φ ψ被移至Rough逻辑中应当解释为R (d(φ) ) =R (d(ψ) )∧R (d(φ) ) =R (d(ψ) ) ,其中d(F)是公式F的定义区域 ,它可能是可定义集 ,也可能是不可定义集或Rough集 .这是Rough逻辑与经典逻辑或其它非标准逻辑的重要区别之一 ,将这种Rough相等词“ =R”引入Rough逻辑中 ,因而得到了一些相关的性质和相关的推理规则 .文中建立了带Rough相等关系词“ =R”的Rough逻辑推理系统 。

5—13岁儿童空间认知发展的研究——判别相等面积的再探

本实验是《5—11岁儿童两种空间关系认知发展的实验研究》的继续,但将内部被占面积改为圆形。结果表明:儿童判别面积从直觉判断发展到推理判断之间经历一种过渡形态。表现为,在同一判别中直觉和推理活动交错;能将被占面积各部分整合成整体,但对剩余面积部分的判别受直觉因素束缚;理解等量减等量所余相等原理,但不能用来解决面临的课题等四种形式。完成这种过渡需要解决三个相互联系的问题。也再次证明儿童判别面积这种空间认知发展,在一定年龄范围存在着阶段性特点,同时儿童这种认知能力的显露程度又以课题条件难易为转移。

矩阵相等和矩阵特征值的概率多方保密计算协议

首先提出了利用哥德尔编码将矩阵与自然数建立一一对应关系,从而保密地判断两个矩阵是否相等;其次提出了一种保密计算矩阵特征值的安全协议。最后,利用模拟范例方法证明协议是安全的,并且两协议的计算复杂性和通信复杂性较低,在数据服务外包领域具有实用价值。

数据相等问题的安全多方计算方案研究

安全多方计算是国际密码学界近年来的研究热点.本文主要研究科学计算中多个数据相等问题的安全多方计算,目前关于这个问题的研究还很少.本文设计了一种新的编码方法,以新的编码方法与El Gamal同态加密算法为基础,分别利用秘密分享技术和门限密码体制构造了两个在半诚实模型下能够抵抗合谋攻击的保密判定协议,应用模拟范例证明了协议的安全性,效率分析表明所设计的保密计算协议是高效的协议.并进一步设计了恶意模型下的安全计算方案.

相等性原理与《易经》

人们如果深入研究人类认知活动中的“分类”与“类比”现象的本质,就会发现人类在“分类—类比—抽象”认知活动中所依赖的“相等性原理”与“不等性原理”。它对在深层结构中揭示《易经》“易道广大,无所不包”的本质具有一定的意义。

有理数相等的保密判定

安全多方计算是近年来国际密码学界研究的热点.数据相等保密判定是安全多方计算的一个基本问题,在指纹匹配和关键词搜索等现实问题中有广泛的应用,因此研究数据相等保密判定有重要的理论与实际意义.本文协议I利用Paillier加密算法高效实现了两个有理数相等的保密判定,协议II基于椭圆曲线同态加密算法安全高效计算多个有理数相等判定问题,并且最后给出了恶意模型下的有理数相等保密判定协议.

云计算中基于公平的安全判定相等协议的身份认证方案

云用户与云之间的双向认证是云计算中用户访问云中资源和数据的重要前提。为解决云计算环境下基于口令的身份认证方式存在的问题,并保证海量用户环境下认证的效率,对一个常数复杂性的判定口令相等的百万富翁协议进行了改进,提出了一个公平的安全双方判定相等协议,可以公平且秘密地比对认证方与被认证方所拥有口令的一致性。在上述协议的基础上,基于具有语义安全的加法同态算法——Bresson算法,实现了一个保护云用户和云服务提供者双方隐私的身份认证方案,最后,证明了该身份认证方案在判定相等方面的正确性,并给出了方案的安全性分析。

关于模糊数近似相等

在模糊数的条件下针对BuckleyJ,J.FuzzySetsandSyslems,1985,的近似相等给出的一个充分必要条件,并对该近似相等的性质是行了详细讨论。