BL命题逻辑系统的强同余关系及演绎系统

通过在BL命题逻辑系统的公式集F(S)中提出演绎系统的概念, 并引入强同余关系, 讨论BL系统中演绎系统和强同余关系之间的联系, 给出二者之间相互转换的方法, 并得到了二者之间相互转换的还原性.     

基于BL系统的演绎系统集代数的剩余格属性

在命题逻辑系统BL中提出了演绎系统的概念, 并且给出了由F(S)的子集生成演绎系统的方法, 证明了命题逻辑系统BL中演绎系统和结论之集的同一性; 其次, 在命题逻辑系统BL中证明了在包含偏序关系下所有演绎系统构成的集族D(F )中上, 下确界的存在性; 最后, 在D(F )中定义了二元运算∧,∨,*,→, 证明了集代数(D(F ),∧,∨,*,→,0,1)是满足可除性的完备剩余格。     

AutGP(8,3)的极小边传递子群

利用群论与图论知识,求证了AutGP(8, 3)的极小边传递子群,得到提升元,进而得出GP(8, 3)上的边传递(Zp × Zp)覆盖图是对称图.     

近化类专业教学模式和方法的改革研究

分析了生化学院5个近化类专业的概况,并以能力培养为核心内容,提出“实学实效”教学理念。进而对“实学实效”的教学模式、教学内容、教学方法等方面进行了系统的阐述和研究,构建了“三个实习”＋“3＋1平台”＋“十大模块”的近化类工科“实学实效”教学课程体系。最后,总结了“实学实效”教学改革取得的成果,对近化类应用型本科教学提出了新的改革思路。     

生物可降解植物基聚氨酯材料研究进展

阐述了国内外生物可降解植物基聚氨酯材料的发展概况,重点介绍了采用农林废弃物及农林副产物等植物原料制备生物可降解植物基聚氨酯材料的方法,讨论了它们的应用及其发展趋势。     

爬楼助力车的研制

随着电网的不断发展，GIS设备逐渐增多。SF6补气作为一项对GIS设备的日常维护工作，在检修工作中所占的比例逐步提高，SF6气瓶在上、下楼过程中搬运不便的问题尤为突出。本文通过研制爬楼助力车解决SF6气瓶搬运困难的问题，以降低现场作业安。     

β－环糊精与联苯包结物的研究

报道在常压下制备β－环糊精与联苯包结物的方法，并用差热－热重分析法、紫外分光光度法分析研究了包结物的形成，初步探讨了包结物机理和条件，为β－环糊精与联苯包结物在柑桔保鲜中的应用提供一条新途径。     

可除BR_0代数及其消去律性质

在对BR_0代数及可换BR_0代数的概念和性质进行了充分研究的基础上,进一步弱化可换BR_0代数中的可换性条件,减去格的有界性运算及其正则性、逆否律等相关要求,提出了可除BR_0代数的概念并对其基本性质进行了初步探究,证明了可除BR_0代数与可换BR_0代数的等价性;最后进一步探索了可除BR_0代数的性质并证明了其中关于蕴涵算子的消去律性质.     

HPLC柱前衍生法2-氨基乙磺酸制备工艺还原阶段流程诊断

建立了利用HPLC柱前衍生对2-氨基乙磺酸制备工艺还原阶段的流程诊断方法，2-氨基乙磺酸工艺中还原阶段中2-氨基乙磺酸的产率可达91％，流程分析诊断结果表明HPLC可靠易行，便于对工艺流程的监控。     

数学美的产生与发展

探究了数学美的产生与发展,使学生对数学产生浓厚的兴趣,进而学好高等数学这门学科。