【摘 要】
：
直接根据现有离散数学教材中二元关系反对称性的定义,来判定二元关系的反对称性,有时比较困难.文中通过对教材中二元关系反对称性定义的深入分析,将定义中的条件"对于(A)a,b
论文部分内容阅读
直接根据现有离散数学教材中二元关系反对称性的定义,来判定二元关系的反对称性,有时比较困难.文中通过对教材中二元关系反对称性定义的深入分析,将定义中的条件"对于(A)a,b∈A,当<a,b>∈R且<b,a>∈R时,有a=b"改为"对于(A)<a,b>∈R且a≠b,没有<b,a>∈R",得出一种等价的定义形式.利用该等价定义可以较好地实现二元关系反对称性的判定.
其他文献
目前，中国已经成为国际反倾销的最大受害国，对中国的出口贸易造成了很大的损失，我们必须采取针锋相对的应对策略，抑制反倾销的上升势头，改善中国的对外贸易环境。应对反倾销策略有
浮选生产过程涉及许多变量以及存在严重的非线性,很难建立精确的数学模型,它的监控一直是困扰控制技术人员的难题.文中设计开发了一个用于选厂自动控制的浮选泡沫图像识别系
空间数据引擎是实现空间数据库的核心。以空间数据引擎的标准与功能为分析起点,以其空间数据存储模型、图层管理为分析重点,并结合数据库管理系统与客户端应用程序,对空间数据库技术的理论体系进行了较为全面的论述。通过在"重庆市土壤信息系统"中的实现与应用,证明了空间数据库技术在土壤信息系统中运用的可行性。
Lotus Domino 和 WebSphere Application Server 都是构建企业级分布式应用的平台,它们互操作的许多方法最终产生了一个功能强大的组合,为应用整合提供了可能,为用户提供一个
由于变电站远程维护系统设计和开发非常复杂,因此笔者的研究目的是用UML来构建变电站远程维护系统软件模型.针对变电站远程维护系统的开发难点,重点采用了UML5类图中的用例图