论文部分内容阅读
在完备格中引入了四种二元运算,即蕴涵运算,反蕴涵运算,伪蕴涵运算和伪反蕴涵运算,它们分别对应四类伴随关系,其中两类伴随关系分剐对应于Heyting代数与反Heyting代数,并且我们还讨论了关于四种二元运算的部分性质及其关系.
完备格中四种蕴涵运算与伴随关系
【摘 要】
：
在完备格中引入了四种二元运算,即蕴涵运算,反蕴涵运算,伪蕴涵运算和伪反蕴涵运算,它们分别对应四类伴随关系,其中两类伴随关系分剐对应于Heyting代数与反Heyting代数,并且我
【机 构】
：
四川大学数学学院,伊犁师范学院数学系
【出 处】
：
模糊系统与数学
【发表日期】
：
2004年期
其他文献
镝铁合金中稀土总量的测定采用草酸盐重量法,以盐酸溶解,用过氧化氢氧化二价铁,在pH1.5~2.0条件下用草酸沉淀稀土分离铁,沉淀经高温灼烧后生成稀土氧化物,称量测定稀土总量。
目的 探讨去甲斑蝥酸钠(SNCTD)对耐顺铂人肺腺癌细胞系A549/DDP的逆转作用及可能分子机制.方法 (1)采用CCK法筛选出SNCTD对A549/DDP的无毒浓度(即对细胞抑制率＜10%的药物浓度)
提出一种桁架结构自动生成的方法。该方法在给定节点、外部荷载和材料属性的条件下,应用Delaunay三角剖分法实现桁架几何结构的自动生成,根据平衡矩阵的秩判断桁架几何结构的稳定性,应用满应力法对几何结构进行尺寸优化,得到满足工程需求的桁架结构。联合应用VC和MATLAB编程软件实现了桁架的自动生成与可视化。实际应用表明此方法在处理桁架结构自动生成的问题上具有可行性和有效性。
在乙醇蒸气中以硝酸锆为原料,用浸渍晶化法合成了一系列Zr-SBA-15介孔分子筛,并采用XRD、N2吸附-脱附、元素分析和吡啶吸附红外光谱法对其进行了表征.表征结果显示,Zr-SBA-15
针对大型组态软件存在应用成本高、图形界面系统专用性较差等缺陷,构建了一种小型组态软件图形界面系统.该系统采用Visual Basic为开发工具,通过改进和构造ActiveX控件的方法
为了回收废旧B炸药中的RDX,采用超临界萃取技术对B炸药进行了处理,探讨了工艺条件对萃取效果的影响,确定了最佳工艺条件,并且对萃取前后的样品进行了纯度、红外和扫描电镜测
目的 探讨利用磁共振 (MR)精确测量胎儿肾脏体积的可行性.方法 对5只兔的双肾行MR扫描,测量后解剖取肾测量实际体积,计算MR测量误差率,确定最佳扫描方位;1例31孕周引产胎儿双
采用直接动力学方法,对乙腈与甲基的反应进行了理论研究.在BHandHLYP/6-311G(d,p)和MP2/6-311G(d,p)水平下获得,稳定点的几何结构、振动频率及最小能量路径(MEP),在G3(MP2)和
使用基于密度泛函理论的第一性原理方法,优化了闪锌矿结构的CrxZn1-xSe(x=0.000,0.125,0.250和0.375)的2×2×2超胞的几何结构,计算了其自旋极化的态密度和能带结构、离子磁
本文用Monte Carlo模拟方法从微观角度研究了脱氧反应速率对F-T合成反应的影响。结果表明当CO_2生成速率增加时,催化剂表面H物种的覆盖度随之增加,提高F-T反应的活性,降低C_2