论文部分内容阅读
二元关系的传递性有时不好判断,通过对二元关系传递性定义的深入分析,给出了传递性判断的等价定义及定理,利用该等价定义及定理可以较快地实现二元关系传递性的判定。
二元关系中传递性的若干研究
【摘 要】
：
二元关系的传递性有时不好判断,通过对二元关系传递性定义的深入分析,给出了传递性判断的等价定义及定理,利用该等价定义及定理可以较快地实现二元关系传递性的判定。
【机 构】
：
安徽工业大学计算机学院
【出 处】
：
苏州科技学院学报：自然科学版
【发表日期】
：
2011年2期
【基金项目】
：
安徽省教育厅自然科学基金资助项目（KJ2009B074Z）, 计算机软件新技术国家重点实验室开放课题基金资助项目（KFKT2010B02）
其他文献
根据极限分析上限原理，建立了孔隙水压力作用下三级边坡的对数螺旋线破坏机制，并对其稳定性进行了分析。计算了其外部重力做功功率、孔隙水压力做功功率以及内部能量耗散功率方
目的研究血小板活化和血管内皮损伤标志物在脑卒中启动中的作用。方法300只SD大鼠分为模型组、假手术组和正常对照组,其中假手术组再分为假手术和假手术＋内皮损伤组;模型组再
以市售膨润土为原料,采用先铝化再滴碱的方法制备了柱撑蒙脱石,并探讨了浆固含量、反应时间、pH值和反应温度等因素的影响。结果表明,蒙脱石柱撑后层间距可增大至1.905 nm。X
用热分解和电沉积联合的方法制备了Ti/SnO2-Sb2O3/Fe-PbO2电极,并采用SEM、ICP和阳极极化曲线对所制备的电极进行了表征。以氨氮为目标污染物,考察了该电极的电催化氧化性能
我院药理科的前身是1966年成立的止血粉、医用人工皮研究小组;1974年改名为药理室,作为临床医学实验科的一部分;1983年独立成科,是全国,全军医院中较早建立的临床药理单位之
目的观察药物干预后高血压脑损害的超微结构及其脑组织中Klotho基因和微炎症因子——血管细胞粘附分子1和细胞间粘附分子1的表达状况。方法选取22周龄雄性自发性高血压模型鼠
为减小船舶与输电线路大跨越工程碰撞概率，保障工程水域船舶通航安全，应用船舶操纵理论和数学建模方法，在分析失控船舶处于风、流作用运动规律的基础上，建立了船舶失控漂移模型；基
目的明确合并糖代谢异常的不稳定型心绞痛患者单核细胞趋化蛋白1水平与不稳定性斑块的关系。方法连续选取本院冠状动脉造影和冠状动脉内超声明确诊断的不稳定型心绞痛患者86
研究了特征造型软件SolidWorks在CAI系统设计中的理论和应用。结合SolidWorksAPISDK和OLE技术、COM技术及相关的二次曲面的数学表达，开发了机械制图CM系统。提出了基于SolidWo
采用GAUSSIAN程序包,在B3LYP/6-311＋＋G＊＊水平下,对胞核嘧啶及其7种氢键二聚体进行了结构优化和能量分析。使用AIM2000程序,在分子中的原子理论框架下对这些体系进行了详尽的电子