二值命题逻辑中理论的发散性、相容性及其拓扑刻画

在二值命题逻辑系统中基于逻辑度量空间(F(S),ρ)而建立起了逻辑理论的发散性、相容性和理论的拓扑性质之间的联系。证明了逻辑理论Г是全发散的当且仅当D(Г)在(F(S),ρ)中稠密,闭理论Г是相容的当且仅当Г在(F(S),ρ)中不含内点,证明了(F(S),ρ)是零维空间,并具有一种类似于樊畿性质的所谓“有限等球连通性”．     

“求复平面上点的轨迹”初探

我们将处理复平面上的点轨迹问题,归纳其解法如下,供参考。一、定义法。所谓定义法就是应用实数、复数相等等概念处理点的轨迹问题。例1 已知复数z_1=cosθ isinθ(0≤θ<π),z_2=1 4cos2θ i4sin2θ,若复数z=z_2·z_1~(-1),试求复数z所对应的动点轨迹的普通方程。解:∵z=z_2·z_1~(-1)=(1 4cos2θ i4sin2θ)·(cosθ isinθ)~(-1)=(1 4cos2θ i4sin2θ)[cos(-θ) isin(-θ)]=5cosθ i·3sinθ, 设复数z=x yi(x,y∈R),根据复数相等的     

中能重离子在铁氧材料中的辐照效应

本文系统地评述了中有重离子在铁氧体材料中辐照效应的国际国内研究概况，并指出了利用兰州重离子研究装置（HIRFL）可进一步开展的工作。     

光纤布喇格光栅的理论分析

本文从耦合模理论出发推导了光纤布喇格光栅的最大反射系数和反射主峰带宽的表达式,以此为基础具体分析了相移光栅,导出了一些有重要意义的结果。     

超声仿真模块获国家首批颁发生产准许证

由全国医用超声设备标准化分技委委员、中国科学院声学所副研究员牛凤岐主持研制和开发的人体组织超声仿真模块(仿组织超声体模),已于不久前获得了国家医药管理局首批颁发的生产准许证。国产超声仿真模块,作为图像型超声诊断设备强制检定和质量检测的首要规定工作仪器,关系到全国近10万台临床