蕴涵格与Stone表现定理的推广

从R0 _语义出发在全体 ( ,∨ ,→ )型公式之集F(S)上引入了逻辑等价关系 ,证明了它是F(S)上的同余关系并称商代数为R0 _语义Lindenbaum代数 .以此为背景引入了蕴涵格与正则蕴涵格的概念 ,它是Boole代数的推广 .另一方面 ,引入了除含有拓扑结构之外尚有蕴涵运算的Fuzzy蕴涵空间及其蕴涵基的概念 ,证明了正则蕴涵格的拓扑表现定理 ,即 ,( ,∨ ,→ )型代数M是正则蕴涵格当且仅当M同构于某Fuzzy蕴涵空间的蕴涵基 .在M是Boole代数的情形 ,证明了相应的蕴涵空间是紧零维Hausdorff空间 ,从而由蕴涵格的表现定理可以推得关于Boole代数的著名的Stone表现定理 .     

一阶格值逻辑系统FM的语法问题

文献[1～3]建立了以丰富剩余格为真值域的命题逻辑系统,得到了一些结果.为研究更一般的格值逻辑系统,文献[4]提出了格蕴涵代数的概念,文献[5]讨论了以格蕴涵代数为真值域的命题逻辑,文献[6」建立了以格蕴涵代数为真值域的—阶逻辑系统FM,本文讨论FM的语法问题,得到了FM的可靠性定理、演绎定理及协调性定理.设L是一格蕴涵代数,F是系统FM的公式集合.定理1~[6]对于任意公式p,q,r及正整数m,n,下列公式都是有效公式:     

陆地棉红株基因(R1)的精细定位

利用陆地棉遗传背景的海岛棉染色体16置换系材料Sub16和陆地棉多基因标记系T586创建了含1259个单株的F₂作图群体, 结合本实验室最新的栽培四倍体棉种种间分子遗传图谱上染色体16的标记信息, 利用分子标记技术, 对红株基因R₁进行精细定位. 在F₂分离群体中, 红株性状分离比符合孟德尔1:2:1的分离, 进一步证明该性状是由一不完全显性单基因控制. 利用JoinMap 3.0连锁分析软件, 使用含237个单株的F₂小群体完成红株基因R₁的初级定位, 进一步利用含1259个单株的F₂大群体将该基因精细定位在NAU4956和NAU6752之间, 与最近标记的遗传距离为0.49 cM. 研究结果为进一步克隆该基因及培育红色彩棉转基因品种提供了研究基础.     

弹性应变能对Ni75Al17Zn8合金过渡有序行为影响的微观相场研究

微观相场模型研究了弹性应变能对Ni₇₅Al₁₇Zn₈合金过渡有序行为的影响. 结果表明: 原子图像演化经历了: 溶质原子簇聚+L1₀短程有序→L1₀长程有序化→L12相形成的过程, 在形成L1₂相之前, 先发生了基体到低有序度预析出L1₀相的一次转变, 后发生L1₀→L1₂的二次转变行为; 弹性应变能增大对L1₀短程有序化进程影响不大, 却明显缩短溶质原子的簇聚时间, 加快L1₀长程有序转变; 同时, 随弹性应变能增大, 有助于二维平面L1₀相晶体取向的单一性, 并增大Al, Zn原子的长程有序度, 而温度增加, 过渡有序相的有序度减小.     

普通野生稻中S5 n 基因的鉴定及其胚囊育性研究

普通野生稻具有丰富的遗传多样性, 蕴藏许多有利基因. 利用S₅ ⁿ功能性标记对来自中国14 个不同居群的441 份普通野生稻进行检测, 发现其中18 份可能携带有S₅ ⁿ 基因, 全部为杂合型, 分别来自5 个居群, 包括广东遂溪13 份, 广西玉林2 份, 海南临高、广东高州和江西东乡各1 份. 进一步对这些材料 S₅ 座位可能存在的缺失及其两端DNA 进行测序, 发现全部材料缺失的DNA 片段都与已知携带有S₅ ⁿ 的品种02428 一致, 说明这18 份材料确实存在S₅ ⁿ  基因. 对其中的15 份材料自交一代进行基因型检测, 检测到3 种不同的基因型植株, 其分离比(S₅ ⁱ S₅ ⁱ/S₅ ^j S₅ ^j :S₅ ⁿ S₅ ^i/j :S₅ ⁿ S₅ ⁿ)严重偏离1:2:1, 其中S₅ ⁿ 的杂合型和纯合型植株比例明显偏少, 说明部分S₅ ⁿ配子可能无法正常受精. 对4 份代表性材料的S₅ 座位进行全序列测定并与栽培稻比较, 显示普通野生稻S₅ ⁿ  序列出现少数碱基的差异. 初步推测S₅ ⁿ基因在普通野生稻中已形成, 属于古老的基因. 对携带有S₅ ⁿ材料的胚囊育性进行研究, 发现育性总体偏低, 表明这些材料还可能存在除S₅ 座位外决定胚囊育性其他座位的互作.     

Al2O3 绝缘栅SiC MIS 结构基本特性的研究

采用原子层淀积(ALD)方法在4H-SiC(0001)8°N-/N+外延层上制备了超薄(~4 nm)Al₂O₃ 绝缘栅高介电常数SiC MIS 电容. 通过对Al₂O₃ 介质膜以及Al₂O₃/SiC 界面微结构和电学特性 分析表明, 实验所得Al₂O₃ 介质膜具有较好的体特性和界面特性, Al₂O₃ 薄膜的击穿电场为25 MV/cm, 并且在可以接受的界面态密度(2×10¹³ cm^-2)下具有较小的栅泄漏电流(8 MV/cm 电场 下漏电流密度为1×10^-3 A/cm^-2). 电流-电压测试分析表明, 在FN 隧穿条件下, SiC/Al₂O₃ 之间的 势垒高度为1.4 eV, 已达到制作SiC MISFET 器件的要求. 同时, 在整个栅压区域也受 Frenkel-Poole 和Schottky 机制的共同影响.     

西藏地热异常区CO2 脱气研究: 以朗久和搭格架地热区为例

地球CO₂ 脱气作用在长时间尺度上对大气CO₂ 浓度有着巨大的影响, 是全球碳循环模型的重要组成部分. 西藏地区独特的构造条件形成大量水热异常区, 为研究热液运移过程中CO₂ 脱气作用提供了绝好的条件. 通过对朗久和搭格架地热异常区地质环境、水汽特征的研究表明两区热液组成成分均由钾长石和钠长石控制, 但出露温泉水朗久地区为Na-Cl 型, 搭格架地区为Na-HCO₃ 型. 两个地热田温泉水中CO₂ 分压模拟结果显示温泉水在从含水层向地表迁移过程中发生脱气作用. 通过对朗久地热田和搭格架地热田不同CO₂ 脱气机理的研究, 分析出不同的CO₂ 脱气量计算公式并计算出朗久地热田CO₂ 的脱气通量约为3.6×10⁶ kg km^-2 a^-1, 搭格架地热区CO₂ 的脱气通量约为3.3×10⁶ kg km^-2 a^-1.     

基于功能性标记和测序发掘携带有S5n基因的水稻新种质

水稻籼粳亚种间杂种具有强大的生物学优势, 但杂种F1普遍高度不育, 难以直接利用. S₅ⁿ基因可以克服由S₅基因座位互作引起的杂种不育性. 目前S₅ⁿ基因已被成功克隆, 该基因功能区存在大片段的缺失DNA, 为快速并准确发掘携带有S₅ⁿ的水稻新种质提供基础. 本文将S₅ⁿ基因序列与日本晴相对应序列进行比对, 在S₅ⁿ基因缺失DNA的两端设计引物, 对已知携带有S₅ⁿ和不携带有S₅ⁿ基因(但携带有S₅ⁱ或S₅^j)的水稻材料进行PCR扩增检测, 建立S₅ⁿ基因的功能性标记. 利用该标记对我国水稻微核心种质进行检测, 其中有10个品种的S₅座位中存在DNA片段缺失, 这些品种可能携带有S₅ⁿ基因. 这些品种包括毫补卡、小红谷、老造谷、三磅七十箩、木邦谷、魔王谷内杂、饭毫皮、飞蛾糯2、包协-7B和特青选恢等, 其中除三磅七十箩和老造谷外, 其余的8个品种均未见报道携带有S₅ⁿ基因. 对存在缺失DNA的10个品种的扩增片段进行测序, 发现全部品种S₅座位的缺失DNA片段都与02428和零轮(已知携带有S₅ⁿ)的一致, 说明这10个品种S₅座位的基因也是没有功能的, 证明确实存在S₅ⁿ基因.     

水稻S5n 基因的分子进化及功能比较

S₅ⁿ基因是克服水稻亚种间杂种胚囊不育性最主要因子之一, 了解其序列特征对于揭示其起源或进化以及在分子育种上的应用具有重要意义. 本文以48 份携带有S₅ⁿ 的栽培稻品种和野生稻为材料, 通过对其S₅ⁿ 的全序列进行测定, 并选择在 编码区序列差异较大的品种(系)与籼粳测验种进行测交组配F₁, 研究不同序列S₅ⁿ 在克服水稻亚种间杂种胚囊不育性效应的差异. 结果表明, 48 份材料的DNA全序列与对照02428 完全一致的有15 份, 其他33 份存在不同程度的变异. 变异位点, 包括 颠换、转换和缺失等, 共有24 个. 编码区的变异主要发生在外显子2, 其中变异最大的8 份材料在1710~1719 bp 处缺失了10 个碱基, 包括尼瓦拉野稻IRW501 和栽培稻品种粤泰B等. S₅ⁿ序列变异没有偏向性, 说明S₅ⁿ是中性进化基因. 通过构建S₅ⁿ 全序列及其编码区编码氨基酸系统NJ 树, 将48 份材料归为4 类, 其中大部分的栽 培稻聚成一类, 普通野生稻聚成一类, 8 份缺失10 个碱基的材料聚为一类, 其他的材料聚成一类. 利用WE-CLSM (whole-mount eosin B-staining confocal laser scanning microscopy)对测交F₁ 的胚囊育性观察表明, 不同S₅ⁿ 序列材料组配测交F₁ 的胚囊育性均比对照明显增加, 彼此间没有显著差异, 显示它们都能克服亚种间的胚囊不育性, 也间接证明S₅ⁿ 是功能缺失基因.     

在烟道中脱除NOx 并生成HNO3 的方法

为了解决目前气体电离放电脱硝方法存在的等离子源体积庞大、能耗高、NO_x 脱除率低以及需要依靠传统脱硝方法的协同作用等问题, 拟用小流量、高浓度的氧活性粒子[O₂⁺, O(¹D),O(³P), O₃]、引发剂HO₂^- 分别注入烟道中, 与烟气中水反应生成·OH, 在无吸收剂、催化剂、氧化剂及其他技术协同作用下, 实现了烟道中·OH 快速氧化脱除大烟气量中的微量NO_x 并生成HNO₃ 溶液的整个反应过程, 等离子体反应管道长度为1~8 m. 实验结果表明, 氧活性粒子与NO_x 摩尔比值决定了脱除率, 摩尔比选择在2~3 为宜, 此时NO_x 脱除率将达到95%左右, 回收酸液中NO₃^-回收率达到58.1%; NO_x 脱除率随着实验气体温度增高而下降; O₂ 含量增加对脱硝效果有20%左右的影响; H₂O含量大于4%时脱硝率处于最高值. 可见本方法不但解决气体电离放电脱硝存在的问题, 同时又为大气污染治理提供一种绿色新方法.     

黄土高原中部晚第四纪以来植被演化的元素碳碳同位素记录

黄土高原地质历史时期原生植被类型, C₃/C₄植物的时空演化规律等, 一直是黄土研究中争论较多的问题, 而黄土剖面元素碳碳同位素(δ¹³Cec)记录可能为植被演替变化提供新的依据. 元素碳(EC)是植被不完全燃烧的产物, 其碳同位素较先体植被变化很小, 从而可利用δ¹³Cec记录反演植被变化. 采用化学氧化法提取黄土高原中部灵台剖面黄土-古土壤序列中的EC物质, 并进行δ¹³Cec分析. 结果表明, 该地区为C₃, C₄植物混合植被类型, 大多数时段以C₃植物为主. 晚第四纪以来, 黄土高原C₃, C₄植物变化可能并不遵循简单的冰期-间冰期旋回变化模式, 而是呈现波动变化: L4时期C₃植物逐渐增多, S3时期C₃植物较多; L3~L2时期C₄植物增多; S1~S0时期C3植物再次增多. 在古土壤发育时期中, S3, S1时期C₃植物较多, S2和S0时期C4植物相对较多. 在黄土堆积时期中, L4和L1时期C₃植物较多, L3和L2时期C₄植物相对较多. 在冰期-间冰期旋回尺度上, δ¹³Cec揭示的植被变化与孢粉资料得到的结果较为一致; 与有机碳碳同位素(δ¹³Corg)所揭示的植被变化仅在末次冰期以来的时期较为一致.     

耐高温垂直取向FePt 连续薄膜的表面形貌与磁性

用磁控溅射法在加热到400℃的MgO(001)单晶基片上沉积了总厚度为25 nm 的[Fe(0.6 nm)/Fe_30.5Pt_69.5(1.9 nm)]₁₀ 多层连续薄膜, 总成分配比为Fe₅₀Pt₅₀. 然后对其在[500, 900]℃温度范围进行真空热处理, 分析了热处理温度对薄膜表面形貌、晶体结构以及磁特性的影响. 结果表明, 在加热基片上生长的FePt 薄膜, 层间已经发生扩散, 形成无序的A1 相. 经过700℃以上的高温热处理, 薄膜转变为具有(001)织构的L1₀相FePt 合金, 易磁化轴沿垂直于膜面的方向, 有序度大于0.85, 单轴磁晶各向异性能约2.7×10⁷ erg/cc. 利用扩散后残存的周期性微弱成分起伏, 可以使薄膜在800℃以下保持形貌连续. 用原子力显微镜对薄膜表面进行观察证实, 在780℃进行热处理, 薄膜的表面最平整. 这种优质的连续薄膜可以应用于微加工制作超高密度垂直磁记录阵列介质.     

基于空间群P3对称性的一种新型三维编织材料

用点群S₆ 对应的对称操作推导出一种新的三维编织几何结构单胞. 根据空间群 P3 描述的对称性, 对新的单胞进行对称变换获得了一种新的三维编织几何结构, 研究 了这种三维编织几何结构可行的编织工艺. 通过建立其几何分析模型, 预测了对应三 维编织材料的纤维体积百分含量及其变化趋势.     

利用GPS 位移反演日本Mw 9.0 仙台地震及Mw 7.9 强余震静态位错模型

基于GPS 观测的M_w 9.0 日本仙台地震同震形变及震后8 h 的地表形变, 考虑分层介质模型的影响, 反演了主震及震后8 h 的断层的位错分布. 结果显示, 主震位错对应的矩震级为M_w 8.98, 最大同震位错量可达23.3 m, 在震中区显示出纯逆冲特性, 震中两侧断层错动显示出一定的走滑分量. 另外, 约90%的地震能量发生在40 km 深度以上. 而由震后8 h 的地表形变反演的结果显示, 这一期间释放能量约相当于一个M_w 8.13 的地震, 位错主要分布在主震破裂的西南区域, 最大位错量约1.5 m, 破裂峰值区与M_w 7.9 强余震有明显的对应关系, 暗示震后8 h的断层错动主要是由M_w 7.9 强余震引起的. 另外, 主震破裂的深部延伸面在震后0.2~0.4 m 的滑动可能主要是无震余滑.     

纳米-微米FeS2晶须微形貌及其生长界面稳定性研究

在前期天然纳米-微米FeS₂晶须研究基础上, 开展晶须微形貌观察研究. 发现不同时期生长FeS₂晶须的密集程度、直径、表面微形貌有明显差别, 从早期到晚期晶须密集程度增加, 直径减小, 表面微形貌呈现出结瘤突出→表面粗糙→表面较光滑→表面平直、光洁的变化规律. 根据晶体生长理论、晶须形成的地质背景和地质作用方式, 分析讨论了耿庄FeS₂晶须结晶生长时期生长界面稳定性及其变化过程. 认为晶须生长早期有负温度梯度和过冷出现, 晚期则是平稳的正温度梯度状态. 晶须生长时期组分浓度经历了早期极不均匀, 中期阶段相对均匀, 晚期较均匀的变化过程. 界面状态变化过程的总体趋势是由不稳定状态向稳定状态转变. 耿庄FeS₂晶须微形貌是热液体系中温度、组分浓度、界面相稳定性的协同作用结果. 晶须微形貌不仅反映出晶须生长时期热液体系的物理、化学特点, 而且对界面相的稳定性特征反映特别明显, 记录了晶须生长界面的变化过程.     

部分纯化的猪心线粒体F0的二维结晶及电子晶体学

用盐酸胍除去猪心亚线粒体F0F1-ATP合酶的亲水部分F₁, 经两性去污剂CHAPS从内膜增溶高度疏水性的跨膜部分, 即质子通道F₀, 得到部分纯化的F₀. 用透析法将纯化的F₀与大豆磷脂重组获得了二维晶体, 衍射能力达2 nm. 负染F0晶体的二维投影结果表明, 该晶体为P42₁2平面群, 每个晶胞由4个F₀分子组成, 晶胞参数: a = b = 14.4 nm.     

逐步预测和统计学筛选人H5N1毒株神经氨酸酶蛋白B细胞表位

为了预测和筛选人禽流感H₅N₁毒株神经氨酸酶(NA)蛋白的B细胞表位, 检测了人禽流感H₅N₁毒株NA基因核苷酸序列. 采用Kyte-Doolittle的亲水性方案、Emini方案和Jameson-Wolf抗原指数方案, 辅以对NA蛋白的二级结构中的柔性区域的分析, 并用SPSS 13.0进行聚类和相关分析, 建立了一种统计学筛选程序, 预测了H₅N₁病毒NA蛋白的B细胞表位, 并对毒株GD-01-06的NA蛋白变异进行了分析. 预测结果通过吴氏抗原指数和SWISS-MODEL软件进行评价. 结果发现, 预测并筛选最有可能的B细胞表位位于NA蛋白N端第120~137, 81~84, 408~415, 273~282, 429~432, 356~368, 46~55, 146~155, 341~350, 198~209肽段, 提示它们是B细胞表位的优势区段; 含有糖基化位点NGT_126~128的120~137肽段为首选的NA蛋白抗原表位; H₅N₁毒株NA蛋白第53位(Ⅰ)位点缺失, 这有助于增加毒株GD-01-06的NA蛋白表面柔性, 而且抗原表位扩大(VEP_46~48→VEPISNTNFL_46~55). 采用SWISS-MODEL软件建立的N₁蛋白模型有助于评价抗原表位预测. 结果表明, 用多参数预测以及用统计学筛选H₅N₁毒株NA蛋白的B细胞表位, 可以为分子免疫学研究和药物筛选提供依据; 广东GD-01-06毒株NA蛋白53位(Ⅰ)位点缺失可能增强该抗原表位的抗原性.     

不同衬底温度下[Tb/Fe/Dy]n纳米多层膜的结构、磁性能及超磁致伸缩性能研究

采用多靶磁控溅射仪分别在室温和衬底温度为300℃条件下制备了具有精确组分为Tb_0.27Dy_0.73Fe₂的[Tb/Fe/Dy]_n纳米多层膜. 研究结果表明, 纳米多层膜在沉积过程中形成了微柱状结构,薄膜样品的磁性能和超磁致伸缩性能表明薄膜样品具有明显的垂直各向异性. 尽管纳米多层膜具有垂直各向异性, 但仍具有超磁致伸缩性能. 特别是衬底温度300℃制备的纳米多层膜, 由于Laves相R-Fe₂纳米晶的析出使得超磁致伸缩性能有了显著的提高. 在很小的外磁场(0.18 T)时, 衬底温度300℃条件下制备的样品超磁致伸缩值为89.3 ppm (1 ppm= 1×10^-6), 约为室温条件下制备的样品在此磁场下超磁致伸缩值23.5 ppm的4倍. 同时还研究了垂直磁各向异性薄膜的磁化过程与超磁致伸缩性能的关系.     

贡嘎山东坡植物和土壤有机质的δ13C差异

通过对贡嘎山东坡地表植被、凋落物、土壤有机质δ¹³C值的分析, 结果显示贡嘎山东坡地表植被、凋落物、0~5, 5~10和10~20 cm土壤有机质的δ¹³C值均随海拔的升高先减小后增大, 即从海拔1200~2100 m, δ¹³C值逐渐变小, 从2100~4500 m, δ¹³C值则逐渐变大. 植被、凋落物和土壤有机质δ¹³C值沿海拔高度的这种变化是与C3, C4植物的分布有关, C4植物仅仅生长于海拔高度低于2100 m的环境中, 而C3在所有海拔都存在. 植被、凋落物和土壤有机质三者间的δ¹³C有显著的正相关, 凋落物、0~5 cm层、5~10 cm层和10~20 cm土壤有机质δ¹³C较植被分别平均偏正0.56‰, 2.87‰, 3.04‰和3.49‰. 在综合考虑工业革命以来大气CO₂浓度和δ¹³C值变化对植物同位素的影响后, 我们认为1.57‰可能是利用古土壤有机质δ¹³C进行古生态重建时应该考虑的最小修正值.     

中国东部表土总有机质碳同位素和长链正构烷烃碳同位素对比研究及其意义

中国东部较高空间分辨率表土总有机质(TOC)碳同位素, 以及从中抽提的来自陆生高等植物的具有明显奇偶优势的长链正构烷烃碳同位素, 具有一致的空间变化趋势和显著的正相关关系. 两者都在北纬31°~40°之间较为偏正, 而在该区域以北和以南都较为偏负, 这一结果与中国东部表土植硅体碳同位素研究结果是一致的, 共同指示了中国东部地区北纬31°~40°之间区域的水热组合条件较适合C₄植物的生长. 来自华北同一研究地点相同植被类型(草地)下的12个表土, 其总有机质碳同位素和长链正构烷烃碳同位素变化幅度都很小, 两者之间的差异也很稳定. 这些研究结果说明, 在中国东部地区, 表土TOC碳同位素和长链正构烷烃碳同位素可以同等有效的作为上覆植被中C₃/C₄植物比例的指示器. 同时, 中国东部表土两类碳同位素的对比表明, -22‰和-32‰可以作为纯C₄和纯C₃植被下表土长链正构烷烃碳同位素组成的端元值(C27, C29, C31加权平均值)而应用于估计历史时期C4植物的相对生物量贡献.