三光子泵浦钠蒸汽中的光解离受激辐射

该文报道了用波长为５７９．５－５８６．３ｎｍ的脉冲激光泵浦原子－分子系统,始终可探测到分别对于４Ｄ→４Ｐ和４Ｐ→４Ｓ的红外受激辐射的实验结果,测量了缓冲气体对红外受激辐射信号强度的影响。分析表明,实验中钠原子４Ｋ态的布居主要是分子的光解离过程造成的,而非原子、分子间碰撞能量转移造成的。     

SLDNF-归结原理关于模态语义的完备性

Ｂａｒａｔｅｌｌａ定义了正规谓词逻辑程序的模态完全化语义,并证明了该语义关于ＳＬＤＮＦ－归结的部分完备性。本文首先给出了逻辑程序的模态直承算子,并研究了相关的理论性质,进而证明了模态完全化语义关于ＳＬＤＮＦ－归结的完备性。     

热激对高温敏感核不育水稻芽生长及其蛋白质组分的影响

温敏不育水稻培矮６４Ｓ芽期经热激（３８℃）处理后,与其在２２℃条件下相比较,芽蛋白组分表现出明显差异;在大于９７．４ＫＤ、小于１４．４ＫＤ和６６．２～４２．７ＫＤ范围内分别新增２条、１条和３条蛋白质带,另有８条带加强（４２．７～１４．４ＫＤ）和２条带减弱（９７．４～４２．７ＫＤ）。与热激条件下的常规稻湘晚籼２号比较,培矮６４Ｓ经热激（３８℃）后新增了４条蛋白质带,另有２条带加强和１条带减弱。在热激后,温敏不育水稻培矮６４Ｓ芽中蛋白质组分的这些变化,必然引起植株体内某些酶系统的改变,以致影响芽的正常生长发育,使芽的生长受到明显的抑制。     

聚芳醚酮的低温缩聚合成

以４－（４＇－二苯氧）苯甲酮（ＤＰＢＰ），对苯二甲酰氯（ＩＰＣ）为单体，采用低温亲电缩聚法合成了一系列分子量较大的聚醚酮醚酮酮（ＰＥＫＥＫＫ），讨论了各种因素对反应的影响．用ＩＲ，ＤＳＣ，ＴＧ和ＷＡＸＤ等手段研究了该聚合物的相关性能、其玻璃化转变温度和熔点分别为１６０℃和３８２℃．     

Eu（Ⅲ）——β——二酮——二苯胍三元配合物的研究：精细荧光光谱？…

合成５种Ｅｕ（Ⅲ）－β－二酮－二苯胍三元配合物,经元素分析和化学分析测定其组成分别为Ｅｕ（ＡＡ）４．ＤＰＧ（Ⅰ）、Ｅｕ（ＢＡ）４．ＤＰＧ（Ⅱ）、Ｅｕ（ＤＢＭ）４．ＤＰＧ（Ⅲ）、Ｅｕ（ＰＭＢＰ）４．ＤＰＧ（Ⅳ）和Ｅｕ（ＴＴＡ）４．ＤＰＧ（Ⅴ）,用红外光谱、差热分析进行了表征,测定了配合物Ⅰ－Ⅳ在室温（２９８Ｋ）和液氮温度（７７Ｋ）下的荧光发射光谱,应用群论方法和Ｊｕｄｄ－ｏｆｅｌｔ理论对低温精细光谱     

图的升分解问题的两个新结果

Ａｌａｖｉ等人在１９８７年定义了图的一种新分解,即“升分解”（ＡｓｃｅｎｄｉｎｇＳｕｂｇｒａｐｈＤｅｃｏｍｐｏｓｉｔｉｏｎ）,并且猜想：任意有正数条边的图都可升分解．该文证明了下面两个新结果：（１）Ｈｉ是ｉ条边的Ｋｎ的子图,当ｎ＋１≤ｉ≤２ｎ－２ｎ／３［］２－２时,Ｇ＝Ｋｎ－Ｈｉ可升分解为Ｋ１,１,Ｋ１,２,…,Ｋ１,ｎ－５,Ｋ１,ｎ－４,Ｇｎ－３（ｎ≥６）,其中Ｋ１,ｎ－４Ｇｎ－３．（２）Ｈｉ是ｉ条边的Ｋｎ的子图,当ｉ≥２ｎ－２ｎ／３［］２时,Ｇ＝Ｋｎ－Ｈｉ不一定有定理１形式的升分解．     

FK506对人外周血T淋巴细胞CD_(28)分子表达的体外抑制作用

应用淋巴细胞体外活化模型和流式细胞分析技术，观察异体角膜体外对人外周血Ｔ淋巴细胞ＣＤ２８分子表达的调节和ＦＫ５０６对Ｔ淋巴细胞ＣＤ２８表达的抑制作用．结果显示：空白对照组Ｔ淋巴细胞ＣＤ２８表达为２１．３％；受异体角膜或ＰＤＢ刺激后，Ｔ淋巴细胞ＣＤ２８表达分别为５２．４％和８１．４％，同时加入ＦＫ５０６的实验组，Ｔ淋巴细胞ＣＤ２８表达分别为２４．５％和４１．９％·结果表明异体角膜体外能够刺激Ｔ淋巴细胞ＣＤ２８分子表达，ＦＫ５０６体外能够明显抑制Ｔ淋巴细胞ＣＤ２８分子表达和活化．     

狭义模糊逻辑中的锁语义归结原理

在狭义模糊逻辑中的锁语义归结原理可以有比在广义模糊逻辑中更强的限制。本文讨论了这种更强限制下的锁语义归结原理,证明了它在狭义模糊逻辑中是完备的。     

非线性电-强相互作用中的海森堡测不准关系(S=4～1800GeV)(英文)

所谓“纽结破坏测不准关系”是很轻率的．在多重强子物理学中，测不准关系迄今都是正确的．对于（ａＱ）－νＫν（ａＱ）分布，测不准关系ΔｘΔｐ＝４［１－（２／３）２γＢ（ｇＲ，ｅＲ）］１／２３不会因为非线性相互作用而破坏，这是由于存在收敛条件（Ｄ－４）＜γＢ（ｇＲ，ｅＲ）＜（Ｄ－３），其中的Ｄ＝４－ε为时空维度．     

阳极溶出伏安法测定KH_2PO_4中痕量的Sn（Ⅳ）

讨论了在伏安法中ＫＨ２ＰＯ４（ＫＤＰ）对测定Ｓｎ（Ⅳ）的影响并采用１．５次导数阳极溶出伏安法测定了ＫＤＰ中痕量Ｓｎ（Ⅳ），检测下限为９×１０－９ｍｏｌ／Ｌ，回收率达９８～１０８％．     

关于Cialdea一阶模态归结系统

指出了Ｃｉａｌｄｅａ一阶模态逻辑归结系统是不完备的．为了确保推理系统的完备性，给出了Ｃｉａｌｄｅａ系统的两种修正方法．     

模态复合命题与复合模态命题间真值关系考察

本文通过构造一个逻辑关系示意图，重点刻画了模态联言命题、模态选言命题与联言模态命题、选言模态命题之间所存在的四个等值式、四个矛盾式和三十二个蕴涵式，这些等值式、矛盾式和蕴涵式都与人们的实际思维密切联系，均可借助自然语言的实例得到直观理解，并在思维实践中加以运用。     

从逻辑全知问题认定看当前基于逻辑的agent研究的两个认识盲点

通过对当前逻辑全知问题的认定过程进行仔细的分析和严格的逻辑论证后发现,这一结论的得出主要来源于人们关于模态逻辑用于agent研究的两点模糊认识.在此基础上进一步指出,如果承认逻辑推理的过程意义,并且不用意识系统的特征来约束逻辑系统,那么就不会有真正意义上的逻辑全知问题存在.该结论无疑对当前基于模态逻辑的agent形式化研究具有十分重要的意义.     

环境随机激励下在役石油钻机井架试验模态参数识别

针对钻机井架的结构形式和作业特点,详细讨论了模态测试中若干试验参数,如激励方式、传感器位置以及频率分辨率等,提出了基于环境随机激励的钻机井架结构试验模态识别的一种有效方法.根据激振形式,推导了模态参数识别公式,依据结构响应的自功率谱识别井架的模态频率,依据互谱与自谱的峰值之比近似地识别模态振型.针对海洋和陆地钻机两种井架形式进行分析.该方法处理简单、快速、实用,适用于大型复杂钢构结构,具有一定的工程应用价值.     

蜂窝结构圆柱壳体模态密度

本文对蜂窝结构圆柱壳体模态密度进行了理论和试验研究,建立了蜂窝结构圆柱壳体模态密度的计算公式,根据等效圆柱壳概念,该公式可用于计算蜂窝结构圆锥壳体的模态密度,理论计算结果与实验结果具有较好的一致性。     

关于K的三种模糊模态逻辑

引入了MR₀代数的概念,讨论了它的一些重要性质,给出了MR₀代数的同构定理。其次,构建了模态系统K₁,证明了在MR₀代数语义下该系统是完备的。最后,通过将Kripke模型中的赋值V模糊化,建立了模态逻辑系统K₂,并证明了系统K₂是可靠的;通过将Kripke模型中的二元关系R模糊化, 建立了模态逻辑系统K₃,并证明了系统K₃是完备的。     

模态逻辑D演绎过程的化简规则

以分析模态逻辑中文字公式的极性为基础，将经典逻辑的Ｄａｖｉｓ－ｐｕｔｎａｍ纯文字化简规则推广到了命题模态逻辑Ｄ系统的自动演绎中，并给出了一些刻划Ｄ逻辑自动演绎特征的化简规则，这些化简规则通过对公式、子公式和公式集的有效性（或不可满足性）的有条件的判断，进行证明过程的剪枝和化简，以提高Ｄ逻辑自动演绎的效率；这些化简规则都是依据公式（集）本身的结构特征，可用于Ｄ逻辑的任意一种推理实现系统，在机器上是容易实现的。     

孝感方言的语气助词"在"

孝感方言的“在“可以用作动词、介词、副词和语气助词.“在“用作语气助词时可以出现在多种句法结构中,表示对动作持续状态的肯定语气,它对应于普通话中表示陈述语气的“呢“,来源于近代汉语中的语气助词“在“.     

SF2D154汽车变速箱箱体有限元力学分析

汽车变速箱箱体需有足够的强度、刚度及良好的动态性能采用Pro／E软件建立箱体三维模型,基于ANSYS workbench 14．5软件对Ⅰ档工况下变速箱箱体进行静应力分析及预应力模态分析,求得变速箱静应力及模态参数,为产品的优化设计提供依据．