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

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

About Moore—Smith Convergence on l^＊—Module

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

模糊集乘积的扩张运算

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

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

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

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

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

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

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

On the Characteristic of Proper Lattice Implication Algebras

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

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

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

基于语言真值格蕴涵代数中对偶分子的推理性质

众所周知,代数结构已成功应用于经典与非经典逻辑中。沿袭这种思想,徐扬教授为语言真值格值命题逻辑的代数语义解释找到了一个语言真值格蕴涵代数(L-LIA)的方法。本文进一步研究L-LIA中对偶分子的推理性质,证明了对偶分子在一定程度上对算子∨、∧、→具有闭性,得到了一些有趣的新结果,特别是给出了它的一些推理性质,并验证了在Lv(9×2)中的相应结果,进而对蕴涵进行了拓展,得到了预线性性的逻辑推理性质,并证明了此推理性质的正确性。