论文部分内容阅读
证明了下在则ＨＦＩ代数类与格Ｈ蕴涵代数类是范畴等价的。
正则HFI代数与格H蕴涵代数的关系
【摘 要】
：
证明了下在则ＨＦＩ代数类与格Ｈ蕴涵代数类是范畴等价的。
【机 构】
：
湖北黄冈师范高等专科学校数学系
【出 处】
：
四川师范大学学报：自然科学版
【发表日期】
：
1998年2期
【基金项目】
：
湖北省重点科研项目
其他文献
用量子化学从头计算UMP2(full)方法研究F和Cl 原子与甲烷分子和臭氧之间的反应机理,优化了反应物、产物、中间体和过渡态的几何构型,在Gaussian-3(G3)和G3MP2水平计算了它们
<正>天体运动问题是高考的重点内容之一。近几年对这类题目考查的频率很高,无论是全国卷,还是独立命题省市的高考卷,几乎年年必考,但年年各不相同,真可谓是千变万化。其实这
基于Baeriswyl-Bishop模型,对PtCl络合物开链中的激子及其在静电场中的行为进行了数值研究,结果发现激子的光吸收峰在1.55 eV附近,这与Y. Wada等(Synth Met,2001,1～3:397.)最
目的:考察白芷总香豆素对川芎嗪药代动力学影响及其HDI机理研究。方法:大鼠灌胃给药法研究白芷总香豆素对川芎嗪在大鼠体内药代动力学影响;采用人肝微粒体法和CYP450酶试剂盒
随着网络技术和多媒体技术的日臻成熟,教学的网络化、多媒体化已成为现代教育的一大特征。网络教学以其独有的优势,引起了众多研究者的关注,网络环境下的各种教学模式不断被
针对传统建模方法精度不高的特点,提出剩余电量安全裕度的概念,用来定量描述电动汽车充电可能性。为了定量分析电动汽车的日充电需求和配电网的常规日负荷之间的关系,提出置
证明了一致凸Ｂａｎａｃｈ空间中非扩张映射带误差的Ｉｓｈｉｋａｗａ迭代过程在一定条件下强或弱收敛到了不动点，所得结果推广了近期的相关结果。
介绍了微软的Windows Media 9．0技术，讨论了在网络教学系统中采用Windows Media 9．0技术对流媒体课件的生成、管理、点播以及服务进行的设汁，最后给出了在网络教学系统中实现流媒
信息化教学是当今教学的新形态,高等职业院校教师在信息技术素养、信息化教学设计与组织、信息化教学研究和学习与发展方面达到相应的水平,才能胜任现代高等职业教育的教师角
IPv4中路由表庞大、子网间通信的瓶颈效应等问题,在IPv6中应该得到解决.分析产生问题的根源,在于划分网络和分配IP地址的方法已经不适合Internet的发展现状.提出在IPv6下按通