众包竞赛的最优加价延期策略

众包竞赛的加价延期机制可被竞赛组织者作为激励参赛者提高努力的一种策略,本文引入加价延期概率、加价敏感度等参数,建立了包含组织者和同质参赛者的数学模型,对加价延期竞赛中的参赛者均衡和组织者决策进行了研究。本文分析了组织者无需加价延期和实行加价延期的前置条件,探讨了最优奖金策略和最优加价方式。结果显示：在参赛者对加价延期的概率持有较高期望时,组织者无需加价延期;在任务复杂度较低,或是参赛者加价敏感度较高时,实行加价延期能使组织者利润增加;最优奖金值关于任务复杂度、新颖性单调递增,最优奖金分配是赢者通吃,最优加价方式是一步加价。本文采用算例验证了相关结论,研究成果丰富了众包竞赛的理论研究,并对加价延期竞赛中组织者决策具有指导意义。     

About Moore—Smith Convergence on l^＊—Module

§１．　ＩｎｔｒｏｄｕｃｔｉｏｎＩｎ１９９５，Ｍｒ．ＸｕＹａｎｇ，ｉｎｈｉｓｄｏｃｔｏｒａｌｄｉｓｓｅｒｔａｔｉｏｎ［１］，ｆｉｒｓｔｉｎｔｒｏｄｕｃｅｄａｄｏｕｂｌｅｌａｔｔｉｃｅ－ｏｒ－ｄｅｒｅｄａｌｇｅｂｒａｉｃｓｔｒｕｃｔｕｒｅｃａｌｌｅｄｌ－ｍｏｄｕｌｅａｎｄｄｉｓｃｕｓｓｅｄｉｔｓａｌｇｅｂｒａｉｃａｎｄａｎａｌｙｔｉｃａｌｐｒｏｐｅｒｔｉｅｓ，ｂｙｗｈｉｃｈｈｅｄｅａｌｔｗｉｔｈｔｈｅｐｒｏｂｌｅｍｏｆｌａｔｔｉｃｅ－ｖａｌｕｅｄｇａｍｅａｎｄｓｅｔｕｐｔｈｅｅｌｅｍｅｎｔａｌｔ…     

模糊集乘积的扩张运算

在Zadeh的模糊集概念基础上,给出模糊集乘积同态映射的概念;其次,讨论模糊集乘积的性质;然后根据扩张原理,在模糊集乘积同态、同构映射的条件下,研究模糊集乘积与模糊集乘积同态像之间的关系.     

TPM 2.0密钥复制安全性增强方案

分析了可信平台模块(TPM)2.0密钥复制相关流程,对于其中存在的密钥隐私泄露的安全问题进行了改进.在用户不安全复制传输情形下,从TPM管理者的角度出发提出了一套基于TPM自身的加密传输协议.通过利用TPM自身产生安全密钥,对未受保护的用户敏感数据进行加密,并通过签名的方式保障传输的可靠性.本文描述出了安全增强方案的实现方式,证明了其安全性和有效性,同时对性能进行测试,结果表明本方案开销与原始方案保持在100ms以内,不会对实际性能造成影响.     

On the Characteristic of Proper Lattice Implication Algebras

ＯｎｔｈｅＣｈａｒａｃｔｅｒｉｓｔｉｃｏｆＰｒｏｐｅｒＬａｔｔｉｃｅＩｍｐｌｉｃａｔｉｏｎＡｌｇｅｂｒａｓ￥ＸｕＹａｎｇ；ＱｉｎＫｅｙｕｎ（ＳｏｕｔｈｗｅｓｔＪｉａｏｔｏｎｇＵｎｉｖｅｒｓｉｔｙ）（ＨｅｎａｎＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ）Ａｂｓｔ...     

锂离子电池用钴基氧化物的结构设计及本征活性调控的研究进展

锂离子电池的商业石墨负极材料的容量已经接近理论值,限制了动力电池的发展,开发容量高、稳定性好、循环寿命长和倍率性能优良的新型负极材料显得尤为重要。钴基氧化物材料由于其具有较高的比容量,是锂离子电池的理想负极材料之一。本文分别从结构设计和化学成分调控2个方面,结合本课题组近年来的研究及国内外重要文献综述了钴基氧化物作为锂离子电池负极材料的研究进展。在结构设计方面,通过构建一维结构、二维结构、三维结构、空心结构、碳材料支撑结构以及异质结构来增加钴基氧化物的反应活性位点数量;而在化学成分调控方面则通过引入无定型结构、非金属杂原子掺杂、金属杂原子掺杂、构筑高熵氧化物来提高钴基氧化物的本征活性,从而提高钴基氧化物的锂离子电池性能。最后,对钴基氧化物在锂离子电池领域未来的发展进行了展望。     

格值一阶逻辑系统LF(X)中带广义量词的不确定性推理

讨论格值一阶逻辑系统LF(X)中带广义量词的不确定性推理规则,和FMP、FMT规则。为研究带广义量词的归结自动推理作准备,也为研究语言值逻辑推理提供一阶逻辑系统的基础平台。     

分层的格值命题逻辑系统Lvpl中的推理规则

格值命题逻辑系统Lvpl中的推理规则体现了逻辑系统的语法功能,推理规则越多逻辑系统的语法演绎能力越强.针对推理规则的具体例子的研究已有很多成果,但其中对于推理规则需要满足的条件缺乏系统研究.本文通过研究分析二值逻辑中推理规则的特点,来研究Lvpl中的推理规则.给出Lvpl中推理规则的公式演绎部分需要满足的条件,为Lvp...     

一种算子命题逻辑系统及其T-不变量推理算法

定义一种只带原子命题以及命题算子的算子命题逻辑,讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。为了实现算子命题逻辑的归结推理,给出了算子命题逻辑的Petri网模型:Horn型,进一步讨论了推理算法:T-不变量算法,得到了算法的完备性定理。