Reduce函数的不可交换性检测

MapReduce是一种流行的编程模型,通过分而治之的思想很好地解决了许多并行计算问题。然而,在其广泛应用的背后还存在着非常严峻的考验。MapReduce程序可能因为输入数据到达Reduce函数的顺序不同而产生不确定的输出结果。为了使MapReduce程序的输出更加可靠,需要对Reduce函数的不可交换性进行检测。针对上述问题,提出了一种Reduce函数的不可交换性检测方法。首先,通过简化循环的符号执行方法及程序分析方法,生成具有针对性的原始测试用例;其次,通过一种能够快速改变记录行间相对位置的置换函数Ex生成后继测试用例;最后,通过比较原始测试用例及后继测试用例的执行结果是否相同,来检测Reduce函数的不可交换性。实验结果表明,该方法扩大了可以测试的Reduce函数种类,将测试用例集的大小从阶乘级别缩小到线性级别,降低了检测Reduce函数不可交换性的复杂度和难度。

激光捷联惯性导航中不可交换性误差补偿算法研究

针对激光捷联惯性导航系统姿态和速度算法中所引入的不可交换性误差进行了原理上的分析 ,重点分析了速度计算过程中不可交换性误差产生的原因 .从工程化应用观点出发 ,提出利用等效转动矢量的单子样算法消除不可交换性误差 ,并且推导出了相应的姿态和速度的误差补偿算法 .实际跑车实验结果表明 ,误差补偿后的系统定位误差下降为原来的二分之一 ,表明激光捷联惯性导航系统误差补偿算法的设计思路是可行的 。

给定不可交换性度量的三类Copula界的比较（英文）

给出当Copula的不可交换性度量为t=3/4,t=3/5和t=3/6=1/2时的最优界,研究了这三类Copula的结构,计算了最优下上界间的距离,说明它们有效地改善了Fréchet-Hoeffding上下界.

论受贿犯罪的法益:职务行为不可交换性说的提倡与检视

受贿犯罪侵害的法益应为公职人员职务行为的不可交换性。判断法益是否适格时应当检验三个方面,即法益的专属性、涵摄性以及协调性,现有的受贿犯罪法益学说不能经受上述标准的检验。“职务行为的不可交换性说”是指公职人员的职务行为不可交换,其中,职务行为既包含收受利益的公职人员的职务行为,也包含其他公职人员的职务行为,职务行为包括已经实施、正在实施以及将来实施的职务行为。“职务行为的不可交换性说”是对不可收买性说的修正,其符合法益的专属性、涵摄性以及协调性要求,能够经受教义学的检视,是受贿犯罪的适格法益。

隐喻的“诗功能”与艺术的“不可交换性”

雅各布森关于隐喻话语"诗功能"的分析为现代主义作品中语言的扭曲与变形提供了理论支撑。在资本主义社会无处不在的交换秩序下,语法规则的打破被赋予了一种革命性力量,阿多诺提出的艺术的"不可交换性"在此也找到了自身的存在空间。

一类新型单参数扰动Copula函数的构造和性质

证明了在一定条件下给定二元Copula函数增加扰动项之后仍是一个Copula函数,给出了单参数扰动Copula的和谐性度量τ和ρ的计算公式.以乘积Π_(λ),FGM_(θ)^(λ)为例探讨了τ和ρ随扰动参数的变化规律,拓展了原Copula的相关性度量范围,增强了适用性.对单点值给定的Copula的上下界C_(U),C_(L)增加扰动项构造新的奇异型Copula,并研究其和谐性度量和非对称性度量.

一类Copulas最优界的扰动及其相关性和对称性

对给定的奇异型Copula增加扰动项构造新的Copula.研究新Copula的和谐性度量Spearman′sρ,Kendall′sτ,Gini′sγ和Blomqvist′sβ与原Copula的比较.结果表明奇异型Copulas取Frechet-Hoeffding上下界M,W和单点值给定的Copulas最优上下界C U,C L时,增加扰动项后得到新的Copula可以拓宽相关性度量的范围.特别地,单点值给定的Copula的上下界C U,C L增加扰动项后构造新的Copula具有不可交换性,并度量了新Copula的不可交换性.

捷联惯导姿态算法中的圆锥误差与量化误差

对捷联惯导系统的误差源进行了研究,利用几何方法分析了不可交换性误差和量化误差的形成机理,以及它们的相互影响。针对工程应用中激光陀螺输出脉冲采样量化条件,就多子样算法进行了讨论,并设计了基于MATLAB/Simulink的仿真。研究结果表明,当考虑量化误差的影响时,选取适当的量化因子,三子样等效旋转矢量算法比其它算法具有更好的综合性能。

捷联惯导姿态更新的四子样旋转矢量优化算法研究

介绍了捷联惯导姿态更新算法中的旋转矢量算法,分析了锥运动环境下数学平台的算法漂移,提出了通过求解矛盾方程组实现四子样旋转矢量算法优化处理的新方法,并对单子样、双子样、三子样、四子样的算法漂移作了对比计算。

旋转惯导系统中的圆锥误差分析及其补偿

圆锥误差是由转动不可交换性误差引起的,存在于惯导系统导航解算的一种误差形式。由于基于旋转调制方式的惯导系统运动模式与传统捷联惯导系统不同,因此圆锥误差的表现形式也会发生相应变化。首先建立了旋转调制惯导系统的圆锥运动模型,对其不可交换性误差进行了推导。在此基础上分析了基于等效旋转矢量的多子样算法在旋转惯导系统圆锥误差补偿中的应用效果以及旋转方案对圆锥误差补偿的影响,最终通过仿真对理论分析进行了验证。仿真结果表明,圆锥误差对于旋转惯导系统的影响要大于传统惯导系统,但可以通过改变旋转方式来对圆锥误差进行抑制。

船用捷联惯导系统的姿态算法研究

本文研究了在船舶摇摆运动下的捷联惯导系统姿态算法问题，对于不同的采样周期，姿态误差不同的情况，得出了船用捷联系统应该采用等效转动矢量法消除不可交换性误差，以提高姿态精度的结论，仿真结果表明在不减小采样周期的前提下，等效转动矢量法能大大提高姿态精度。

试论人力资源计量的特殊性及其计量方法

按照国际经济合作组织的解释,知识经济是建立在知识、信息的生产、分配和使用之上的经济。由此可见,知识、智力在未来社会经济发展中将起到战略性的决定作用,“以人为本”的管理思想将不仅为一种管理理念,而且会成为指导企业竞争的具体方针。因此。作为用来确认、计量和报告单位组织中的人力资源的成本和价值。