学科分类
/ 25
500 个结果
  • 简介:在蕴涵格中引和了蕴涵滤的概念,讨论了蕴涵滤的一些基本性质,并由此建立了由素蕴涵滤决定的同余关系及其商蕴涵格,以便为Fuzz推理建立了严格的逻辑基础作些必要的准备。

  • 标签: 蕴涵格 蕴涵滤子 同余关系 商蕴函格
  • 简介:设N是Banach空间X上的套,AlgN是相应的套代数。本文证明了,若套N中存在一个非平凡元在X中可补,那么AlgN上的每个可加Jordan高阶导和每个可加三重Jordan高阶导都是高阶导

  • 标签: 套代数 Jordan高阶导子 三重Jordan高阶导子 JORDAN导子
  • 简介:Polnox公司已经开发了一系列用于聚烯烃的高性能新型抗氧剂。相对于传统的抗氧剂,它具有更显著的活性和更低的迁移,因此可使成品具有更长的使用寿命。这些PolnoxPNX系列的高分子抗氧剂可使黄变减至最低。

  • 标签: 抗氧剂 高分子 黄变 使用寿命 聚烯烃
  • 简介:利用密度泛函理论和弹性散射格林函数方法,研究了被不同官能团取代后的联苯分子的电输运特性.计算结果表明,由于氢键的影响,使得分子的电子结构发生了变化,特别是对电子在分子结内的跃迂几率影响较大,从而直接影响了分子器件的伏安特性.

  • 标签: 氢键 官能团 电子输运 分子电子学
  • 简介:(五)二次函数及其图象目标测试(满分100,45钟完成)一、填空:(共50,每小题5、抛物线y=-3(x-3)2+5的开口向,顶点坐标是,对称轴是。2、函数y=x-24-x的自变量x的取值范围是。3、已知一次函数过点A(3,-2)和点B,...

  • 标签: 二次函数 图象目标 点坐标 一次函数 抛物 取值范围
  • 简介:采用环境氢脆技术及现代材料微观分析技术,研究了Fe-35Ni-15Cr实验合金在室温至900℃的力学性能及热充氢后在室温及750℃的力学性能,分析了温度对材料微观组织的影响,为优化其化学成分、热处理工艺等提供技术依据。

  • 标签: 力学性能 微观组织 合金 温度 现代材料 热处理工艺
  • 简介:我们从intra洞表明红轻femtosecond激光脉搏的产生加倍频率的Cr4+:forsterite激光。75mW的平均产量力量被在激光洞插入500-m-thickBBO晶体与55fs的脉搏宽度在647nm的中央波长获得。第二泛音脉搏的光谱的带宽是9nm,相应于0.355的一个时间带宽产品。

  • 标签: 镁橄榄石激光器 飞秒脉冲 腔内倍频 红光 时间带宽积 飞秒激光脉冲
  • 简介:1,3-丁二醇、柠檬酸为原料,设计、合成了以1,3-丁二醇为核心的柠檬酸-1,3.丁二醇-柠檬酸(cBc)爪状物小分子;再用酯化反应依次与带有功能化集团的硬酯酸、十六醇接枝合成了多元酯类爪形大分子柠檬酸-1,3-丁二醇-柠檬酸-硬酯酸-十六醇(CBC-SH).采用核磁共振、红外光谱对合成的两种化合物进行了结构表征,表明合成的CBC和CBC-SH与所设计的分子结构相吻合.元素分析确定了CBC和CBC-SH的化学组成依次为C16H22O14和C98H184O15.合成的CBC-SH溶于非极性的有机溶剂,不溶于水.将CBC-SH按600μg/g的加剂量添加到不同的轻柴油中,柴油的冷滤点可降低6℃.

  • 标签: 1 3-丁二醇 柠檬酸 硬酯酸 十六醇 爪形大分子
  • 简介:在Diff(S1)/S之间的关系1并且磁盘上的一价的分析函数的空间被阐明并且出现为彻底的近似的卷提供上面的界限给一个无限维的空格的分析submanifold。在superdisk上的一价的superanalytic功能的系列扩大的系数的最大的大小被推断。

  • 标签: 单叶函数 superdisk 解析函数空间 无穷维空间 扩展系数 流形
  • 简介:格蕴涵代数中的滤是格值逻辑推理中的一类重要代数结构.本文给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数中所有滤的方法.并举例说明该方法的有效性、可行性.

  • 标签: 格蕴涵代数、滤子、格值逻辑
  • 简介:基于矩阵谱问题构造了一种实用的方法来对一类实轴上的可积方程的Riemann-Hilbert问题进行建模。当跳跃矩阵是单位矩阵时,孤立解通过特殊约化的Riemann-Hilbert问题显性表示。作为一个范例,对于具有任意阶矩阵谱问题的多分量非线性薛定谔方程,给出了该方法的具体应用。

  • 标签: 矩阵谱问题 RIEMANN-HILBERT问题 孤立子解
  • 简介:本利用几何不等式和曲率估计的方法,证明了黎曼流形N^n+p,上的具有平行平均曲率的紧流形M^n上的一个拼挤定理。若N上的截曲率KN满足-1≤KN≤δ≤0,且‖S-nH2‖n/2,‖S-nH^2‖n/n-s满足一些不等式,则δ=-1

  • 标签: 拼挤定理 子流形 非负截曲率
  • 简介:分析鉴定ApoCⅢ转基因阳性小型猪.从仔猪尾中提取基因组DNA,通过PCR和Southernblotting等手段进行鉴定;从仔猪肝、小肠、心、肾、肺、脾、胃以及皮肤等冰冻组织以Trizol法提取RNA,以RT-PCR手段进行检测分析.经过对18头仔猪进行PCR分析,显示其中的15头含有人ApoCⅢ基因,随后的测序和Southernblotting亦证实,猪的基因组中已经整合有人ApoCⅢ基因.RT-PCR证实人apoCⅢ基因已经在转基因小型猪的肝脏和小肠中进行了翻译.本研究成功制备了人ApoCⅢ转基因小型猪,可作为高脂血症与动脉粥样硬化疾病之间关系很有价值的研究模型.

  • 标签: ApoCⅢ 小型猪 转基因 鉴定
  • 简介:尽管科学家因为石墨烯无与伦比的属性而对其青睐有加,但迄今为止,其实际应用仍然乏善可陈。不过,瑞士洛桑联邦理工学院生物纳米系统实验室和西班牙光子科学研究所的科学家们在最新一期的《科学》杂志上宣称,他们利用石墨烯独特的光学和电子学属性,研制出了一种具有超高灵敏度的分子传感器,可以探测蛋白质或药物小分子的详细信息。

  • 标签: 分子传感器 小分子 石墨 《科学》杂志 科学研究所 超高灵敏度