一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

环介导等温扩增技术检测乳粉中肺炎克雷伯菌

以荚膜脂多糖(capsular polysaccharide,CPS)合成调控子resA为靶基因片段,设计了肺炎克雷伯菌特异性引物,建立了环介导恒温扩增技术(Loop-Mediated lsothermal Amplification,LAMP)检测方法.结果表明,3对LAMP引物对肺炎克雷伯菌不仅有菌种专一性,而且,具有相当高的灵敏度(2 CFU/100 g).因此,该方法有利于更快更准确的鉴定食品中肺炎克雷伯氏菌.     

矢量双轻子与大型强子对撞机上的Higgs数据

考虑到反常磁矩aμ对RM331模型自由参数的限制,本文计算了矢量双轻子V±,U±±对Higgs衰变过程h→γγ和h→Zγ的贡献.数值结果显示:在合理的参数范围内,矢量双轻子可解释LHCγγ产生道的相关数据.     

关于图的路色数

本文证明了P_∞-K-临界图的一些简单性质,并给出了某些图类的路色数。主要证明了:(1)若x(G,P_∞)=K,则G包含一个P_∞-l-临界子图,这里对所有的l≤K;(2)设G是P_∞-K-临界图,H是G的子图,且H∈P_∞。,则x(G—H,P_∞)=K-1;(3)设T为m阶树,C_n为偶圈,则x(T×C_n,P_∞)=2;(4)若C_n为奇圈,则对任意树T,有x(T×C_n,P_∞)≤3;(5)若m≠n,则x(K_m×K_n,P_∞)=max{[(m 1)/2],[(n 1)/2]}。     

概念隐喻的语篇功能探究——以奥巴马就职演讲为例

隐喻是人类认知的重要方式,也是组织人类概念系统的重要基础。概念隐喻通过源域向目标域的结构映射可以构建认知框架,组织语篇结构,在语篇的连贯方面起重要的作用。文章以美国第四十四任总统奥巴马的就职演说为具体语料,基于概念隐喻理论,探讨了隐喻在语篇连贯中所起的作用。研究结果表明,隐喻以单个及多个结构映射的认知机制在属于政治语篇范畴的演讲辞中对语言连贯性的形成有重要作用,增强了说服力,实现了特定的交际目的。     

谈《高等数学》典型例题的教学

《高等数学》是大学理工科各专业的基础课程，教师如何利用典型例题帮助学生掌握知识和培养能力值得研究。     

不变子半群及广义商群

文[1]在讨论幂群时,给出了不变子半群及一个重要的幂群——广义商群的定义.本文继续讨论不变子半群及广义商群,得到了它们的一些性质,推广了群的一些结论.     

比较教学法在根茎教学中的运用

植物学教材的根茎2章存在大量的相关概念,而且这2章在内容上存在一定的连贯性和相似性.在教学过程中采用比较法进行相关概念及根茎异同点的分析是十分必要的,有助于学生更好地区分和理解这些相关概念及在整体上掌握根茎的初生结构和次生结构的特点.     

非线性弹性杆中MKdV应变孤波的演变

本文利用微扰论方法,从连续谱方面详细研究了非线性弹性杆中的粘弹性阻尼对杆内纵向MKdV应变孤波传播的影响.结论指出:耗散的存在不仅使孤波的能量发生耗散,高度随时间变矮,速度减慢,而且在初时刻,孤波的后面会随时间逐渐生长出一个振荡形式的尾迹.     

基于概念隐喻理论的基础英语词汇教学

概念隐喻理论认为隐喻是从一个具体的概念域向一个抽象的概念域的系统映射,是思维方式和认知手段。将概念隐喻理论应用于基础英语基本范畴词、多义词及介词教学中不仅使学生学习了具体的词汇知识更培养了学生的隐喻意识,获得了词汇学习的有效方法。