微分方程在混合问题中的应用

在科学研究工作中,经常要在各种各样的系统中进行实验.输入系统的可能是一种或几种原料的混合液,而输出的则是生成物的混合液,问题为要求我们计算出系统中某个量的变     

留空白是培养学生创新思维的重要方法

“留空白”是一切艺术的表现手法之一，指在艺术创作中为了更充分地表现主题而有意识地留出“空白”。所谓教学“留空白”的艺术乃是指将艺术创作中留空白的手法运用于课堂教学，并以此引起学生展开充分的联想和想象，激发学生的求知欲，进行积极地“再创造”，从而提高教学艺术效果和水平的活动。     

关于超幂零正规根与特殊正规根

本文,首先在[2]与[6]的基础上,给出了一个根a为超幂零正规根,即N-根,当且仅当它是由一个半素环正规类所确定的上根,并给出了超幂零正规根是特殊正规根的一个充要条件;然后,定义了弱特殊正规模类和特殊正规模类,给出了超幂零正规根与特殊正规根的模刻划。     

F—析取ω —语言

关于ω—语言的讨论,基本上者是从文法与自动机的角度([1],[2],[3]).但近年来,许多人从代数学的角度来研究ω—语言的特性([4],[5]).本文从语言的句法么半群出发.作为[5]中讨论的析取ω—语言的拓广,定义了 f—析取ω—语言,讨论了这类语言的若干特性.     

现代逻辑的一个规范化理论——一阶时态逻辑

一阶时态逻辑与程序语言理论中另外两门非常有用的逻辑——动态逻辑和Hoare逻辑它们之间到底有什么关系呢?本文的目的就是要解决这个问题.为此,我们首先拓广了时态算子的概念.与此同时,我们又提出了一种关于约束变元组的定义.这种关于约束变元的新的定义,使得某些现代逻辑学家心中的,关于变元组受约束的非形式化的约定,能够形式化地表达出来.随后,我们证实了:一阶时态逻辑具有一阶动态逻辑和Hoare逻辑的演算功能.再结合已知的事实:一阶时态逻辑具有一阶谓词逻辑、模态逻辑和(通常的)时态逻辑的演算功能.我们可以认为:一阶时态逻辑是这些现代逻辑的一个统一理论.由于我们能在一阶时态逻辑的一个形式系统里,同时进行上述的各种逻辑演算,因而一阶时态逻辑能成为一门很有前途的公理语义学.     

一种新的简易共蒸Nb_3Sn膜的制备及其电子显微术(TEM)研究

一种新的简易共蒸发技术,成功地制备了超导化合物 Nb_3Sn薄膜,临界温度T_c为18K。用该膜为电极材料制作的Nb_3Sn-Pb隧道结,具有典型的直流I-V特性曲线并测得Nb_3Sn膜的能隙值为 3.1meV。电子显微术(TEM)观察研究表明,这种新的简易共蒸术制备的高T_cNb_3Sn膜,是单相的A15型超导化合物Nb_3Sn,具有共蒸A15型超导化合物微结构的基本特征,高分辨电子显微术(HREM)观察到大范围内(500A)Nb_3Sn的二维晶格条纹象。     

离子交换过程的基础研究(Ⅰ)—M~(Z+)—■—H~+及M~(Z+)—■离子交换

本文用大孔磺酸树脂SA—209(×8)研究了Li~+、Ca~(2+)、Co~(2+)、Tm~(3+)对H~+正、逆离子交换过程以及~(59)Co~(2+)—、~(169)Tm~(3+)—~(170)Tm~(3+)同位素交抉过程。用前报中提出的界面吸附双电层模型及解离机制满意地解释了实验事实。     

用红外光谱技术研究磁能活性水的生物效应

磁化水具有比普通水更小的簇合分子,具有硬度、pH值、含氧浓度均增加的性质.采用傅立叶变换红外光谱技术,测量了大豆与玉米实验组与空白组的叶绿体的红外光谱,发现两者在酰氨键的振动吸峰处存在一定的差异,实验组的吸收明显强于对照组,说明磁化水对作物的生长发育有一定影响,具有一定的生物效应.     

6066Al/SiCp复合材料内耗性能研究

用粉末冶金方法制备了6066Al合金和不同SiCp含量的6066Al/SiCp复合材料,用多功能内耗仪在200～600 K温度区间内测试了所研究材料在升温过程中的内耗变化趋势,探讨了6066 Al /SiCp复合材料在不同温度区间的内耗机制.结果表明6066Al/SiCp的内耗值比6066Al合金内耗值高,特别是在高温阶段比6066Al合金内耗值高得多;6066Al/SiCp和6066Al合金在300～470 K时的内耗主要是位错与第二相颗粒交互作用引起的位错内耗,在高温下内耗主要由Al/Al、Al/SiC的界面微滑移引起.