动态认知逻辑:变化中的认知推理

动态认知逻辑是近年兴起的非经典逻辑,是一个相对比较新的研究领域.它是逻辑、认知以及信息相交汇的产物,旨在分析知识与信息的变化,为逻辑推理中的信息动态认知提供形式语言表达、结构模型以及一套形式化的处理办法.动态认知逻辑对于语言构造的分析、人的动态化认知过程、人工智能以及计算机的信息处理具有重要意义.     

无水硫酸铜催化合成富马酸二异辛酯

探讨了无水硫酸桐作催化剂合成富马酸二异辛酯的方法和工艺条件，该方法工艺简单，收率较高，不腐蚀设备和无三废污染，催化剂可重复使用。     

紧致微分流形上常微分方程系统的某类诸态备经性质(续)

6.某类函数的比较 本节中,我们考虑一紧致的可度量空间X及其上一单参数变换群φι(—∞相似文献   

轻油制氢催化剂使用过程中结构与性能的研究

我们对工业上使用过的轻油制氢催化剂进行了研究。分别将不同床层高度的催化剂进行了活性、物相、Ni晶粒大小、比表面、孔结构和表面状态的研究。得到了催化剂结构及其性能沿催化剂床层的某些变化规律。发现离床层入口三米处是催化剂结构变化的转折点,同时发现该处催化剂的失活原因是碳的沉积。在9—10米处催化剂中的镍在表面上有明显迁移聚集形成不连续薄片的现象,这是该处催化剂失活的主要原因。     

水电站泄水建筑物消能方案试验研究

根据四川某水电站泄水建筑物单宽下泄流量大的特点和大坝下游河床的抗冲刷能力差、河床覆盖较深的现状,通过水工模型试验研究,针对消力池消能特点提出了4种不同消能尾坎方案,通过试验数据,证明直立式消能尾坎方案消能效果好,对下游河床的影响也较小.     

脉冲射流喷嘴机理及水力特性研究

在对新型射流机理探讨的基础上,研究了脉冲射流喷嘴的机理和水力能量关系,得出了计算式.结果表明,脉冲喷嘴的瞬时高频射流所获能量是低频射流的2.558倍,是连续射流的1.438倍. 还得出了脉冲射流喷嘴的水马力和冲击力的计算式.为脉冲射流喷嘴的应用及进一步研究,提供了理论依据.     

2013 年高考作文命题特点及教学启示简

“年年考前谈审题,岁岁考后话走题。”面对当今高考作文教学的这种现状,有人甚至提出高考前写不写作文无所谓,审题训练才是关键,于是大量的语文写作课变成了作文审题训练课。这种作文教学现状应当加以改变,而改变的途径涉及的层面有很多,也已引起众多专家们的重视。     

人神经元电压门控钙通道γ-3基因的克隆

将小鼠Ｃａｃｎｇ２基因的编码区与ＥＳＴ数据库进行同源性分析,得到一个与小鼠Ｃａｃｎｇ２基因在 ４３５ ｂｐ中有 ７５％同源的 ＥＳＴ（ＧｅｎＢａｎｋ： Ｗ２９０９５）．在该 ＥＳＴ中设计引物与 ｃＤＮＡ文库载体臂上引物行巢式 ＰＣＲ和 ＲＡＣＥ反应,在人脑前叶皮质 ｃＤＮＡ文库和人脑 Ｒｅａｄｙ ｃＤＮＡ中获得 ｃＤＮＡ序列 １５４５ ｂｐ,其中包含一个 ９４８ ｂｐ的可读框,编码 ３１５个氨基酸．该可读框经确证命名为 ＣＡＣＮＧ３．ＣＡＣＮＧ３基因与大规模测序中定位于１６ｐ１２－ｐ１３．１的ＢＡＣ克隆ＡＣ００４１２５完全一致,从而将该基因定位于１６ｐ１２－ｐ１３．１,并由此获得它的基因组结构,编码区由４个外显子组成．经ＲＴ－ＰＣＲ分析,ＣＡＣＮＧ３在成人脑和胎脑有表达．运用ＰＣＲ－ＳＳＣＰ在视网膜色素变性家系、视网膜色素变性伴耳聋和癫痫家系进行突变检测,未检测到突变．     

人神经元电压门控钙通道 γ -3基因的克隆

将小鼠Ｃａｃｎｇ２基因的编码区与ＥＳＴ数据库进行同源性分析,得到一个与小鼠Ｃａｃｎｇ２基因在４３５ｂｐ中有７５％同源的ＥＳＴ（ＧｅｎＢａｎｋ：Ｗ２９０９５）。在该ＥＳＴ中设计引物与ｃＤＮＡ文库载体臂上引物行巢式ＰＣＲ和ＲＡＣＥ反应,在人脑前叶皮质ｃＤＮＡ文库和人脑Ｒｅａｄｙ ｃＤＮＡ中获得ｃＤＮＡ序列１５４５ｂｐ,其中包含一个９４８ｂｐ的可读框,编码３１５个氨基酸。该可读框经确证命名为ＣＡＣＮＧ３