共查询到20条相似文献，搜索用时 140 毫秒
1.
《绵阳师范学院学报》2015,(8):39-43
粗糙集是建立在信息系统上的等价关系的基础上,信息系统上每个属性子集构成论域上的一个等价关系.任意给定论域的一个对象集合,它们关于哪个等价关系是等价的?这个问题是实际应用时需要考虑的.本文通过把信息系统转化为一个形式背景,由概念格中形式概念的外延的上近似给出上面问题的解答. 相似文献
2.
设胄是集合A上的二元关系,要判定R在爿上是否是等价关系,一般来讲,只能从定义出发,当R包含的序偶较多时,从定义出发又比较难于判定。为此,从关系矩阵出发,给出一种判定方法,并讨论等价关系的矩阵性质。 相似文献
3.
论述了二元关系R的自反、对称、传递、相容、半序与等价关系的闭包运算的有关性质 ,同时给出R的相容闭包、半序闭包与等价闭包 . 相似文献
4.
通过给定的单模式构造出相应的模式匹配自动机,集成单模式匹配自动机而得到多模式非确定型有穷自动机（NFA）。将非确定型自动机转化为确定型自动机,在状态集上引入等价关系,对该确定型有穷自动机进行极小化,得到与原自动机功能等价的极小化自动机,从而使之能确定其中任意一个模式的所有匹配位置。 相似文献
5.
研究了正则双序集上的完全半单半群同余,给出了这类同余的等价刻画,用≤表示正则双序集上的自然偏序,证明了是任意正则双序集上的最小完全半单半群同余. 相似文献
6.
等价关系是离散数学的一个重点问题,而等价关系的判定是一个难点。对于某个关系来说,判定它是否等价的过程比较繁琐。文中给出了判断等价关系的一个充要条件及用关系矩阵判断的方法,并在计算机上实现了具体算法。 相似文献
7.
等价关系是离散数学的一个重点知识,具有自反性、对称性与传递性的关系是等价关系的定义.由经典教材的一个习题出发,引入持续性和欧几里得性的定义,得到关系的上述性质之间的联系.从而给出等价关系的其它两种定义. 相似文献
8.
本文主要论述了二元关系R的自反,对称,传递,相容,半序与等价关系的闭包运算的有关性质,同时给出了R的相容闭包,半序闭包和等价闭包。 相似文献
9.
伊磊 《伊犁师范学院学报》2005,(3):41-42,89
介绍了等价关系与子群的关系,并由此推导出同余关系与不变子群的等价定理,从而进一步加深对等价关系、同余关系、子群、不变子群以及商群的理解. 相似文献
10.
张艳春 《宿州教育学院学报》2012,15(6):167-169
等价关系是离散数学的一个重要内容,而等价关系的判定则一直是一个难点。对于某个二元关系来说,判定其是否等价的过程比较繁琐。文中给出了判断等价关系的一个充要条件及用关系矩阵判断的方法,并在计算机上实现了具体算法。 相似文献
11.
证明了集合上的等价关系与由此产生的商集所确定的等价关系的同一性;证明了集合的划分与它确定的等价关系所产生的商集的同一性． 相似文献
12.
Jerome’ s Vulgate set the norms for translation aiming at linguistic equivalence between the SLT and the TLT,from which came the Jerome Model,though his views towards translating did not follow the prescribed order,as different text-specific factors were involved in his theory building.To the contrary,Horace demonstrated a much more differentiated approach in his awareness of negotiation or sometimes collision between as many roles as can play in translation,such as translator/interpreter,clients,patronage,languages.Hence the Horace model focuses on text-pragmatic equivalence as the context under which translating is to take place is taken into account. 相似文献
13.
设X为有限集,E为X上的等价关系.I X为X上的对称逆半群,令I E*(X)={f∈I X:(x,y)∈E(f(x),f(y)∈E)}.探讨I E*(X)的一类全新子半群:I E*(X)中E类保序变换半群,研究了它的Green关系. 相似文献
14.
在有理整值多项式上建立了等价关系，从而将深度有限的无限长序列与有理整值多项式的等价类建立了一一对应，通过分析等价类计算序列的深度分布，构造了一个码C到C的映射D，利用D的性质和线性空间的基础知识给出了线性循环码的深度分布的计算方法. 相似文献
16.
首先介绍模态逻辑的两种语义:克里普克模型和非良基集合模型,表明这两种语义的相互可推演性,证明非良基模型,描述互模拟等价的克里普克模型类;接着,从模型的视角讨论集合上的互模拟与模态等价的关系;最后,运用互模拟和集合翻译等概念讨论非良基集合与模态逻辑的关系,证明:"一个集合论公式在集合上的互模拟下是不变的当且仅当它等价于一个模态公式的标准集合论翻译"。 相似文献
17.
王永安 《西安文理学院学报》2009,12(4):6-10
在原子公式之集为有限集Sn={p1,…,pn}时,二值命题逻辑的全体公式之集用F（Sn）表示.文中在F（Sn）中提出了基本推理链的概念,统计了不同长度的基本推理链的条数（在公式之间的逻辑等价或可证等价的意义下）.同时给出了用基本推理链的概念来刻划A→B为定理的一个充要条件. 相似文献
18.
May Hamdan 《Educational Studies in Mathematics》2006,62(2):127-147
This study reports on how students can be led to make meaningful connections between such structures on a set as a partition,
the set of equivalence classes determined by an equivalence relation and the fiber structure of a function on that set (i.e.,
the set of preimages of all sets {b} for b in the range of the function). In this paper, I first present an initial genetic
decomposition, in the sense of APOS theory, for the concepts of equivalence relation and function in the context of the structures
that they determine on a set. This genetic decomposition is primarily based on my own mathematical knowledge as well as on
my observations of students’ learning processes. Based on this analysis, I then suggest instructional procedures that motivate
the mental activities described in the genetic decomposition. I finally present empirical data from informal interviews with
students at different stages of learning. My goal was to guide students to become aware of the close conceptual correspondence
and connections among the aforementioned structures. One theorem that captures such connections is the following: a relation
R on a set A is an equivalence relation if and only if there exists a function f defined on A such that elements related via R (and only those) have the same image under f. 相似文献
19.
同余关系是相等关系的推广,而同余关系又是一个等价关系,基于这一点,利用同余这一工具,把粗糙集理论应用到R_0-代数中去,将粗糙集中的上、下近似概念推广到R_0-代数中,并讨论了R_0-代数中的粗糙集的性质. 相似文献
20.
丢掉任意的大小限制,就回到结构的前集合论观点,由此得到点图的一个类对应物:点系统概念。定义点系统之间的观察等价性概念有不同设想,利用结构打开思想是一个更具现实性的选择。打开概念真正刻画了有关一个集合的所有的东西,也就是它的元素;如果两个对象(集合,类或者点系统)的所有打开是一致的,那么这两个对象是观察等价的。打开具有相对极大性,它们聚合了一个集合及其元素在第α层可以得到的所有信息。模态语句与相应的打开真正地刻画了相同的信息,这就使观察等价性关系和到α层的等价关系很容易根据模态语句来表达。 相似文献