(■)与三段论

如何用数理逻辑的观点表述三段论,这是值得我们探讨的问题,现就自己的肤浅体会叙述如下: 一、逻辑依据: 在推理中,三段论是重要的推理形式,应用很广泛。那么,什么是三段论推理的逻辑依据呢?这在形式逻辑中是通过三段论公理表达的。三段论公理的内容为“凡是肯定了(或否定了)     

可以三角化的矩阵

令σ是数域 F 上 n 维向量空间 V 的一个线性变换,则σ可以对角化的充分必要条件是:(i)σ的特征多项式的根都在 F 内;(ii)对于σ的特征多项式的每一根λ,特征子空间 V_λ的维数等于λ的重数那么条件(i)意味着什么呢?本文将证明它正是σ可以三角化(即存在 V 的一组基,使得σ在该基下的矩阵是三角形矩阵)的充分必要条件。为此先证明     

Fe2O3掩膜的制备研究

在制造半导体器件和集成电路时,为确定衬底材料上的图形,必须使用掩膜版。现有的掩膜材料主要有乳胶膜和铬膜。乳胶膜耐磨性差、易沾污且分辨率低;铬膜虽有较好的耐磨性,但铬作为一种金属反光很强,导致图形分辨率降低。另一方面,这两种膜都不透明,光刻时图形难以套准。Fe_2O_3膜是一种优良的掩膜材料,它具有很强的耐磨性和很高的分辨率,针孔少、透明、光刻时图形易对准。因此在70年代国内外就对Fe_2O_3膜进行了研     

Microelectrode Studies on the Pitting Corrosion Process of Stainless Steel

应用微电极法研究不锈钢点腐蚀发生发展过程，首次获得不锈钢夹杂物缺陷在阳极活化电位的活性溶解信息和点腐蚀发展过程蚀点生长和消止两个相互竞争、不断发展的动态行为，深化对夹杂物缺陷诱导点腐蚀的发生及点腐蚀发展过程机理的认识。实验表明，应用微电极技术研究点腐蚀过程可具有若干明显特点：ａ．由于界面双层电容和背景电流的大幅度降低，有利于检测点腐蚀发生和发展过程快速、信号微弱；ｂ．可考察夹杂物缺陷的电化学活性及其诱导点腐蚀成核的重要作用；ｃ．可研究单孔点腐蚀发展的动态行为及影响因素。     

关于丢番图方程x~3±27=py~2

利用初等方法得出了:p=3(3k+1)(3k+2)+1(k≡1,2(mod4))为奇素数时,丢番图方程x3+27=py2无正整数解;p=3k(k+1)+1≡1(mod8)(n≡k(mod 13))为奇素数时,丢番图方程x3-27=py2无正整数解.     

基于单腔光力学系统的连续变量量子导引研究

量子导引相较于其他量子纠缠类型的优势在于它具有天然的不对称性,可以实现单向、且一方设备不依赖的量子任务。本文研究了特殊条件下,即力学振子的频率刚好是腔的自由光谱区的一半时,由单泵浦的光力学系统中产生的三组份量子导引特性。研究结果表明：力学模对两个光模的导引要强于光模对力学模的导引,联合导引的能力要大于单个导引的能力,且通过调节失谐量或温度可以实现力学模和光模之间的单向导引和双向导引之间的转换。该研究对于实现更安全的量子通信和构建多频率系统混合的量子网络具有一定的参考价值。     

L—FUZZY拓扑的λ—截拓扑（IV）

本文研究Ｌ－ＦＵＺＺＹ拓扑空间中的仿紧性与λ－截拓扑的关系，直接证明了Ⅱ型强Ｆ仿紧性是λ－可截性质。     

托臂支架的承载力试验研究

为了研究托臂支架的实际承载性能,通过平衡加载试验机对两类托臂支架共8个足尺模型进行了承载力测试.采用静力加载方法,对比分析了加方管、附加支撑的不可调节托臂支架和2组可调节托臂支架的承载力、荷载-位移曲线以及承载力影响因素.试验结果表明:可调节托臂支架的承载力低于不可调节托臂支架.在不可调节托臂支架中,附加支撑的托臂支架...     

自聚焦透镜的薄透镜等效系统

本文分析了自聚焦透镜的成象特性,提出了用薄透镜系统等效自聚焦透镜的方法,这种方法给用几何作图法和解析法求解物象关系带来了很大方便。