中介谓词逻辑MF完备性的一些结果

本文讨论了中介谓词逻辑系统 MF 的完备性。为了证明 MF 的完备性定理,在文中引入了协调性与极大协调集等概念,获得了中介谓词逻辑系统 MF 完备性的几个基本结果。     

半细羊毛和细旦涤纶纤维混纺技术研究

研究澳大利亚半细羊毛和细旦涤纶纤维混纺工艺技术．指出实施细度大离散纤维混纺的技术关键是原料的混前预处理及纺纱工艺方案的优化．该项研究拓展了半细羊毛在精纺产品开发中的应用，提高了其使用价值．     

析《今日说法》的媒体品牌建构

在我国的法制类节目里,《今日说法》无论从受众的广泛性还是社会的影响力来说,无疑都是名列前茅的媒体品牌节目。笔者用品牌理论中的电通蜂窝模型理论来对《今日说法》进行品牌建构分析,以给其他媒体进行品牌建构一些启发。     

Polling Strategy for Wireless Multimedia LANs

Introduction There is an increasing demand for wireless multimedia networks to communicate using any type of media without any geographical restrictions. Therefore, wire- less networks are expected to support multimedia ser- vices with guaranteed quality …     

大气中生物粒子等效率直径的研究

本文研究了大气中菌尘的相关关系,分析了纤维型滤料的菌尘效率曲线,提出了生物粒子“等效率直径”的概念。本文还依据空气过滤理论,进行了大量的理论计算,绘制了关于纤维型滤料的效率、阻力和各有关因素之间的关系的曲线。在此基础上,就如何选择专门用于滤除空气中生物粒子的滤材进行了定性的分析。     

同轴回旋波导的高次模分析

本文研究了同轴回旋波导(coaxial chirowaveguide)中高次模的传播特性。同轴回旋波导是由同轴波导中填充回旋媒质(chiral media)而形成的。文中首先给出了回旋波导的一般理论,然后推导得到了计算同轴回旋波导中高次模传播常数的特性方程,最后给出了若干数值结果。     

中介逻辑的谓词演算系统(Ⅰ)

本文在中介原则的观点下构造中介逻辑的谓词演算系统MF,我们首先给出它的符号系统、形成规则和推理规则,又作为MF的初步展开而给出它的若干个形式推理关系,其中包括的一个重要定理,那就是MF中的替换定理。M F 形式符号:(一)逻样词s(二)个体词,a,b,c ,a; ,b;,c;< z = 1。2,…;(三)谓词F,G,rH,(i二1,2…),(四)约束变元X,L,Xr,Zt Yf, 了五)技术符MF的形成规贝.:(i) F'(a,...a})是合式公式;(ii)如果J是合式公式,则一工和X是合式公式,(iii)如果X和Y是合式公式,则〔X-> Y〕是合式公式;(iv)如果X(a>是合式公式。在其中出现,X不在其中出现,则和ExX }x}是合式公式。至于FM的形式推理规则,乃在接受M的全部推理规之外,另加如下六条(a).其中a不在r中出现,则r卜}TxA }x} ; ( 3 _)若A(a) - B,其中。不在B中出现,则3 xAB; ( 3 +)A(a) }-其中A }x}是由A(a)把其中a的某些出现替换为x而得; 定理4(替换定理)如果AI-I B,而f(P)为MF中之任一今式公式,则有fcA>I=If(B)>o     

碲在铸钢中的作用

作者对普通中碳钢ZG35和低合金钢25MnV进行了加Te试验,借助扫描电镜等手段进行分析,探索碲对铸钢组织与性能的影响规律,结果发现Te能加大铸钢凝固时的过冷度,使中碳钢中珠光体量增多,片间距减小,25MnV钢中在铸态下出现上贝氏体组织。碲能细化晶粒,遏制魏氏铁素体的生成。含Te铸钢的硬度值大幅度提高,加Te后会在基体组织中生成大小为5μm左右的MnS+MnTe球状共生物,从而改善钢的切削加工性。     

微波在分层媒质中的近场聚焦

本文分析讨论了天线口面附近有分层煤质(两层)情况下的聚焦场分布。在分析中,引入了赫兹电磁位,利用平面波谱理论,得到了场的平面波谱函数和其赫兹位的关系式。通常,求分层介质中的场只是在平面波情形下求取。本文提供了一种在介质前面有任意源分布时,求取分层介质中场分布的方法。对于天线口面上的聚焦电流分布,求得了聚焦点及其周围附近的场分布。在求解过程中,我们绕开了复杂的费涅尔积分,而是在其谱域中,对其谱函数进行k_x,k_y积分。再引用鞍点近似方法,得到了场的近似表达式。最后进行了理论和实验的比较,验证了这种方法的正确性。