刘妮
- 作品数：27 被引量：50H指数：4
- 供职机构：陕西师范大学更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金陕西省自然科学基金更多>>
- 相关领域：理学文化科学更多>>
- 高中化学课堂教学过程中学生参与研究
- 课堂是学生学习的主要场所,新课程理念和主体性教育原则要求我们要重视学生在课堂教学过程中的主体参与,重视学生在化学课堂上的感受和体验,本研究在参照大量关于课堂参与文献的基础上,将学生的课堂参与分为行为参与、情感参与和认知参...
- 刘妮
- 关键词：课堂教学情感参与
- 序半群的定向完备化
- 2016年
- 首先引入了序半群定向完备化的概念;其次证明了序半群的序理想之集和理想之集都是连续定向完备序半群,进而序半群的序理想之集和负序半群的理想之集是它们的定向完备化;最后得到了序半群范畴的几个满子范畴的反射子范畴。
- 张苗苗刘妮
- 关键词：序半群
- 连续Domain的特征与浓度被引量：21
- 2002年
- 引入了连续Domain的局部基和稠密子集的概念 ,在此基础上定义了连续Domain的特征及浓度 .给出了局部基的刻画 ,并讨论了连续Domain的特征、浓度与连续Domain带上Scott拓扑或Lawson拓扑时的拓扑空间的特征、浓度之间的关系 .证明了连续Domain的特征、浓度分别与它带上Scott拓扑时的拓扑空间的特征、浓度相等 ,它们分别小于连续Domain带上Lawson拓扑时的拓扑空间的特征、浓度 .
- 赵彬刘妮
- 关键词：连续DOMAIN局部基SCOTT拓扑LAWSON拓扑偏序集稠密子集
- 闭包算子与Topped交结构的序关系被引量：2
- 2010年
- 研究了同一集合上的几种闭包算子与相应的Topped(带有最大元的)交结构之间的序关系.在任意集合X上的全体闭包算子之集C(X)、Topped交结构之集I(X)、代数闭包算子之集AC(X)、代数Topped交结构之集AI(X)上分别定义了偏序,证明了C(X)、AC(X)、I(X)及AI(X)都是完备格,并且C(X)与I(X)对偶同构,AC(X)与AI(X)对偶同构.得到了集合X上的全体拓扑闭包算子之集TC(X)与全体拓扑Topped交结构之集TI(X)对偶同构,拟阵闭包算子之集MC(X)与拟阵Topped交结构之集MI(X)(拟阵闭集族)对偶同构.
- 刘妮
- 关键词：闭包算子完备格
- Z-半代数格及Z-半Scott拓扑
- 2015年
- 在Z-双小于关系的基础上定义了Z-紧元并依此引入了Z-半代数格及强Z-代数格的概念,证明了一定条件下Z-半代数格的闭包算子的像还是Z-半代数格,强Z-代数格与其Z-紧元集的Z-理想集是同构的。最后,研究了Z-半连续格和Z-半Scott拓扑的基本性质。
- 李冰刘妮
- 拟阵之间的弱映射与秩弱映射
- 2007年
- 鉴于Welsh给出的拟阵弱映射与强映射关系不太自然,重新定义了拟阵之间的弱映射,并引入了秩弱映射和反射独立集的映射的概念.这就使得强映射总是弱映射,而且一个映射是秩弱映射当且仅当其扩张是弱映射.讨论了秩弱映射、反射独立集的映射以及反射闭集的映射之间的关系,利用这些映射给出了拟阵同构的等价刻画,说明了弱映射和秩弱映射也是合适的拟阵态射.
- 刘妮
- 关键词：拟阵秩函数
- 拟阵之间的强映射与秩强映射被引量：4
- 2006年
- 引入了拟阵间的秩强映射、反射闭集映射(RC映射)和强映射等概念,研究了它们的一些基本性质.证明了秩强映射和RC映射等价;一个映射是拟阵间的强映射当且仅当它是相应扩张拟阵间的秩强映射;以秩强映射或强映射为态射的拟阵范畴中的范畴同构都是拟阵同构.这些结果为进一步研究拟阵的范畴性质奠定了一定基础.此外,还修正了Welsh关于强映射的定义.
- 刘妮
- 关键词：拟阵
- 模糊C-连续格被引量：1
- 2014年
- 在模糊完备格上定义了模糊beneath关系、模糊beneath紧元,并引入了模糊C-连续格和模糊C-代数格的概念,证明了它们分别是分明C-连续格和C-代数格的一种推广。讨论了模糊C-连续格上模糊beneath关系的性质,并利用模糊Galois伴随给出了模糊C-连续格的一个等价刻画。
- 冯娟娟刘妮
- 对合Quantale代数上的同余关系
- 2016年
- 引入对合Q-代数及其上的核映射、同余关系等概念,得到了对合Q-代数上的同余关系与核映射是一一对应的,研究了对合Q-代数同余与对合Q-代数同态之间的关系,最后给出了对合Q-代数乘积上的同余关系的一个重要性质。
- 蔺杰刘妮
- Quantale中的L-模糊滤子及其相关性质被引量：1
- 2013年
- 基于完备格L,在Quantale中引入了L-模糊滤子的概念,并研究了L-模糊滤子的基本性质.在L是闭集格的条件下,得到了Quantale中的L-模糊滤子的等价刻画;在L是空间式Frame且Q是幂等左半可换Quantale的条件下,证明了LQ上的生成滤子映射是Quantale核映射,进而全体L-模糊滤子构成的Quantale FilL(Q)是LQ的幂等的商Quantale;在Quantale中定义了L-模糊滤子拓扑,并得到了Quantale同态关于相应的L-模糊滤子拓扑连续的结论.
- 单晓伟刘妮
- 关键词：QUANTALE连续映射
