赋值格为非线性序的Kleene-Dienes四值逻辑系统K24

研究赋值格为非线性序,非运算不同于Ｂｏｏｌｅ的补运算,而蕴含算子→取Ｋｌｅｅｎｅ－Ｄｉｅｎｅｓ的ＲＫ的一种新的四值逻辑系统Ｋ＾２４,得到若干结果。特别是,Ｋ＾２４中没有重言式,其准重言式恰与Ｃ２中的重言式一致,即ＱＴ（Ｋ＾２４）＝Ｔ（Ｃ２）。     

离心式冷水空调机组中CFC11替代工质的研究

对几种 HFCs、HFEs 类新工质和混合工质M1、M2进行了以在离心式冷水空调机组中替代 CFC11为目标的理论循环性能分析。结果表明,M1具有作为 CFC11 灌注式替代物的潜力;HFC143 循环性能优良,更适合应用于新设计的系统中。     

在一个磁通量子内dc Josephson电流的阶梯效应(Ⅱ)——大尺寸Josephson结

大尺寸的Josephson结放置于Q值足够高的谐振腔中,当其Josephson频率ω=2cV₀/h激励起腔的第r个本征模谐振时,这个振荡将反馈辐照结,必须考虑反馈场本征模的空间部分在结上是不同的。理论上得到了和文献[2]不同的结果,给出了阶跃电流随磁场的变化,分析了腔的反馈场本征模和Josephson结的辐射电磁波空间匹配的条件,解释了为什么大尺寸的Josephson结不存在周期小于φ₀的阶梯效应的物理原因。 关键词：     

磷化氢与烯烃反应的原位NMR谱研究

本文应用加压原位(in-situ)核磁共振技术,在反应温度70～75℃,压力1.0～2.0MPa,氘代苯为溶剂,偶氮二异丁腈(AIBN)为引发剂的条件下探索了磷化氢与丙烯腈,4-乙烯基吡啶,烯丙基胺,丙烯酰胺,氨基吡啉和N-乙烯基咔唑的自由基加成反应,结果表明除氨基吡啉之外的其它五种含氮化合物均能与磷化氢发生反应,从而找到合成含氮有机膦的良好路线。     

Rn中单位球上的加权Plancherel公式

设ƒ是实n维单位球上的函数v∈C,SO₀(1,n)在ƒ上的作用T^v定义为T_g^vƒ(x)=ƒ(g·x)(det g＇(x))^v/2(n+1).导出了相应于T^v的不变Laplacian,并找到它的一簇特征函数,建立了相应的反演公式与Plancherel公式.     

二级形式语义与语义导引编译

本文给出了一种形式语义方法,它能使形式语义与编译一致。这种方法的基础是一时序逻辑语言,一方面它是一种逻辑系统,故其语义简明,便于形式化和有效地实现;另一方面它又是一种中间程序语言,其它高级语言的语义可以用严格形式转换的方法投射到它之上,这样形成的一种二级形式语义本身即构成一种编译转换。     

用直接法测定黄河矿晶体的超结构

本文分析了黄河矿晶体超结构中赝对称性的特点,详述了用于测定黄河矿晶体超结构的直接法。 关键词：     

四维静态黎曼时空中的Hawking辐射

本文论证了四维静态黎曼时空中的视界普遍会产生Hawking辐射,辐射温度正比于视界的表面重力k。并把这一工作推广到电磁场存在的情况,指出影响Hawking辐射谱的静电势既可起源于视界内部的电荷,也可起源于视界外部的电荷。上述工作统一了史瓦西黑洞、Reissner-Nordstrm黑洞、Schwarzschild-deSitter宇宙的Hawking辐射和匀加速系的Rindler辐射。指出在Rindler辐射的问题上等效原理依然成立,Rindler辐射确实来源于该参考系的视界,Hawking辐射与时空的曲率 关键词：     

Studies on the synthesis of anthyridine

The sulfuration of various anthyridones (I) to the corresponding thioderivatives (II) and the desulfuration of these to 5,10-dihydroanthyridine (III) is descrihed. The preparation of anthyridin-5-one (1d) from 6 -methyl-2,2 -dipyridylamino-3-carboxylic acid (V) is also described.