复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

Schiff碱水杨醛苯甲酰腙的特性

研究了 Schiff碱水杨醛苯甲酰腙 (简称 SBH)晶体在 DMSO及其 DMSO- H2 O的混合溶剂中的红外光谱 ,通过 SBH氘代前后的 IR对比发现 ,羟基氢质子与混合溶剂 DMSO- H2 O(3∶ 1 ,V/ V)产生较大的相互作用。向溶有 SBH的 75 % DMSO- 2 5 % H2 O的溶液滴加 KOH发现 ,SBH分子上的 C O羰基基团先与 KOH作用 ,其后与 O H 羟基基团作用     

利用电泳技术在不锈钢和铁基底上制备MgB2带材

本文首次报道了利用电泳技术在铁和不锈钢基底上制备MgB2超导带材.电阻测量表明,沉积在铁和不锈钢基底上MgB2带材的超导零电阻转变温度分别为37.5K和31K,超导转变宽度分别为0.3K和1K.磁测量表明,(5K,OT)时不锈钢基底上带材的临界电流密度为6×105(A/cm2).X射线衍射谱和扫描电子显微镜图象表明样品结晶良好,晶粒生长致密.本工艺制备MgB2带材时不受系统真空度的限制,生长迅速,成本低廉,并且可以根据不同的需要任意选择基底的形状和大小.     

一个在水稻胚胎中差异表达基因的分离鉴定

通过筛选水稻开花后48～50h的原胚和120～122h的分化胚的cDNA文库,得到一个在胚胎发育过程中表达有差异的克隆,命名为OsEES,测序结果显示OsEES含有一个预测的亚精氨合成酶结构域,编码一个大小约38×103(pI6.5)的蛋白.同时RNA原位杂交的结果显示开花48～50h的原胚中的信号强度明显大于开花120～122h的分化胚,表明OsEES可能在水稻胚胎发生过程中起到一定的调控作用.     

人原始生殖细胞的分离和体外培养

从4～10周龄药物流产胚胎的生殖嵴和肠系膜组织中分离原始生殖细胞(primordial germ cells,PGCs),培养在添加人重组白血病抑制因子(rh LIF)、人重组碱性成纤维细胞生长因子(rh bFGF)和Forskolin的小鼠饲养层细胞上.经过4～7 d培养,PGCs形成典型的鸟巢状集落.集落在传代过程中保持碱性磷酸酶活性,且胚胎阶段性特异抗原1(SSEA-1)、胚胎阶段性特异抗原3(SSEA-3)免疫荧光染色呈阳性.具有分化潜能的PGCs能在体外连续传代培养12代.结果表明从药物流产胚胎中分离的人类PGCs可以在体外培养成为具有分化潜能的多能性干细胞.     

多元χ演算运行时错误的不可判定性

针对多元χ演算运行时刻通信安全的判定性问题进行了研究．通过从Lazyλ项到χ项的编码，将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题．证明了在多元χ演算中，通讯错误也是不可判定的．结论说明不存在算法直接来检测进程的通信安全性，而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的．     

基于遗传算法构建巴耳末公式

基于遗传算法构建了巴耳末公式．通过建立合适的拟合数学模型，用计算机对数学模型进行优化，使之尽可能反映氢原子实际谱线分布，并求出经验常量和拟合公式，最后分析了所得结果．     

强激光远场焦斑重构算法研究

 通过CCD图像采集单元结合传统的列阵相机测量高功率固体激光器的远场焦斑分布，采用图像处理技术的边缘算子提取焦斑的几何中心，提出通过几何中心对心的焦斑嵌套重构算法，解决了光斑饱和时的对心难题，实现了快捷准确测量激光焦斑，为激光器的实时控制提供参考数据。     

城市垃圾与煤在CFBC试验台上的混烧试验

城市垃圾的焚烧处理一直是人们关注的研究领域。本文详细报告了一种城市垃圾与劣质煤在0.15兆瓦CFBC试验台上的混烧试验。试验结果表明,城市垃圾与劣质煤在循环流化床中的混烧可以很好地满足稳定和高温燃烧的要求,通过添加石灰石等含钙物料可以有效地在燃烧过程巾控制SO2、HCl和二(?)英类污染物的生成。     

The Characteristic of Threading Dislocation in Different Structures GaN Films Grown by MOCVD

Three mechanisms to reduce threading dislocations(TDs) in GaN films as the epitaxial films grow thicker are suggested by SEM and TEM