模态逻辑系统S5中极大相容理论的结构刻画

在模态逻辑系统S5中提出了任意一模态公式关于一个极大相容理论的存在状态及状态描述等一系列概念,并且借助状态描述这一工具研究了相容理论的相容扩张,最后给出了模态逻辑系统S5中极大相容理论的一个结构刻画,证明了任何一个极大相容理论都是所有简单合取式和简单析取式的相容存在状态之集的理论闭包.     

LED灯具光通量的计算方法

LED灯具光通量的计算方法是为了解决LED灯具生产前LED灯芯选用问题。LED灯具生产,LED灯芯的选用是至关重要的,它直接影响LED灯具的产品质量及生产效率。     

液相色谱技术在农药残留检测中的应用

液相色谱技术在农药残留检测中有着重要的应用,本文从液相色谱法的概念及特点入手,分析了液相色谱技术在水质及食物中检测农药残留的应用现状。     

轮烷化学研究的新进展

简要介绍了轮烷的结构特征及应用,详细综述了:(1)新型轮烷的合成及应用;(2)新型光响应轮烷的合成及应用;(3)合成新型轮烷的新方法及其应用。并对轮烷化学的发展进行了展望。     

新型瓜环化合物的合成自组装应用研究的新进展

简要介绍了瓜环化学的产生、发展、应用及结构特征。重点综述了:1新型瓜环化合物的合成;2葫芦脲(又名瓜环)合成的新方法;3新型瓜环化合物的合成及超分子自组装。并对瓜环化学的发展进行了展望。     

圆周径向孔孔口倒角刀具的设计

圆周上的径向孔孔口棱边为空间相贯曲线,在普通设备上用通用倒角刀无法在孔口均匀倒角。文中设计、制作出一种可以在普通钻床上均匀地在圆周径向孔孔口倒角的组合刀具。     

一类非线性偏微方程的不变集与精确解

不变集方法是一种构造非线性偏微分方程精确解的有效方法.本文利用不变集方法,讨论了一类非线性偏微分方程ut=A(u)uxxxx+B(u)uxuxxx+C(u)u2xx+D(u)u2xuxx+P(u)uxx+Q(u)u2x问题,并得到不同系数情况下方程的精确解.此方法也可以用于讨论求解其他非线性方程.     

学分制下的高校体育选课系统设计

学分制下如何提高学生对课程利用的效率,并实现对选课的科学合理分配,是该体育选课系统设计的重点。基于此,本文基于软件工程的思想,对高校体育选课系统进行了重新设计,并对其功能、整体架构设计、关键技术等各个方面对其进行了介绍。     

无机高分子絮凝剂的研究进展

综述了无机高分子絮凝剂的发展概况,介绍了聚铝、聚铁、聚硅酸金属盐类及复合型无机高分子絮凝剂,并对其制备方法和在水处理领域的应用作出了总结,最后对其发展前景进行了展望。     

形形色色的食品添加剂及其危害

本文简要介绍了常见食品添加剂的种类及食品安全问题,详细介绍了:(1)11种常见的食品添加剂及其危害;(2)常见食品添加剂对人们生活及健康的影响;(3)对使用食品添加剂所引发的思考。并对食品添加剂的使用和发展进行了展望。