国家自然科学基金(11201112)
- 作品数：19 被引量：29H指数：3
- 相关作者：姚卫禹长龙王菊芳沈冲郭彦平更多>>
- 相关机构：河北科技大学渭南师范学院美国加州大学更多>>
- 发文基金：国家自然科学基金河北省自然科学基金河北省教育厅科研基金更多>>
- 相关领域：理学文化科学生物学更多>>
- Heyting代数中同余关系的简化被引量：2
- 2012年
- 给出了Heyting代数中同余关系的一种简单定义,这种定义并不改变全体滤子和全体同余关系之间的一一对应性,并且借助滤子证明了这种定义是Heyting代数作为泛代数的同余关系的简化。最后证明了全体滤子之集作为完备格同构于全体同余关系之集。
- 杨静梅冯爽姚卫
- 关键词：HEYTING代数滤子同余关系
- 闭正则模糊拟阵单点收缩子拟阵的基有序性质被引量：1
- 2021年
- 该文研究了模糊拟阵的单点收缩子拟阵的基有序性质;在闭正则模糊拟阵的单点延拓的基有序基础上,研究了闭正则模糊拟阵单点收缩子拟阵的基有序的若干性质,得到了闭正则模糊拟阵的单点收缩子拟阵的基有序性质是保持的,并举例说明了闭正则模糊拟阵的单点收缩子拟阵的基有序性质.
- 李尧龙
- 关键词：模糊拟阵
- Alexandrov空间的公理体系
- 2017年
- 为了研究Alexandrov空间的内部公理体系和序方面的特征,利用点集拓扑学和Locale理论中的已有结论,将各结构限制到Alexandrov空间的框架中,得到Alexandrov空间的等价刻画。研究结果表明Alexandrov空间在范畴意义下同构于Alexandrov邻域系统、Alexandrov闭包算子、Alexandrov内部算子、Alexandrov导算子等,T_0的Alexandrov空间同构于偏序集、对偶等价于完全生成格。Alexandrov空间可以用邻域系统、闭包算子、内部算子、导算子,特殊化序和无点化序进行等价刻画。
- 张山山李扉姚卫
- 关键词：邻域系统闭包算子内部算子导算子
- 高等学校“学生评教”体系的合理性研究被引量：7
- 2014年
- 高等学校"学生评教"体系是学校教学活动的重要组成部分,关系到广大教师和学校整体教学水平的发展和提高,更关系到学校的长远发展。各高校"学生评教"体系是否合理和如何完善,一直是一个难以回答而又无法回避的问题。本文将针对学生评教的历史和现状、评教体系和网络评教系统中存在的问题以及相关的解决方法作一探讨,为合理构建评教体系和完善评教系统提供理论支持。
- 苏连青姚卫周长杰
- 关键词：网络评教
- 非线性(p,q)-差分方程非局部问题的正解被引量：1
- 2021年
- 为了完善非线性量子差分方程边值问题的基本理论,研究了二阶非线性(p,q)-差分方程非局部问题的可解性。首先,计算线性(p,q)-差分方程边值问题的Green函数,研究Green函数的性质;其次,运用Banach压缩映像原理和Guo-Krasnoselskii不动点定理,获得二阶三点非线性(p,q)-边值问题正解的存在性和唯一性定理;再次,给出线性(p,q)-差分方程非局部问题的Lyapunov不等式;最后,给出2个实例,证明所得结果是正确的。结果表明,在赋予非线性项f一定的增长条件下,非线性(p,q)-差分方程非局部问题正解具有存在性和唯一性。研究结果丰富了量子差分方程可解性的理论,对(p,q)-差分方程在数学、物理等领域的应用提供了重要的理论依据。
- 禹长龙韩获德王菊芳邢厚民
- 关键词：非局部问题正解
- 基于滤子收敛的分离公理的等价刻画
- 2012年
- 在拓扑空间中,滤子是用来描述收敛的主要工具之一,也是用来研究收敛空间的主要工具。本文对拓扑空间中的滤子,定义了三个新的滤子■,*和△,并用它们刻画了拓扑空间中的T0,T1,T2,正则,完全正则和正规等分离性。
- 沈冲姚卫
- 关键词：滤子分离公理
- Q-同态范畴及其与Q-模范畴的同构
- 2015年
- 本文主要研究Q-模范畴.首先,证明一个完备格上的保任意并映射构成的集合在映射的复合运算和逐点序下构成一个Quantale.其次,借助Q-同态映射,定义一个新的范畴,即Q-同态范畴,并证明其与Q-模范畴同构.
- 沈冲姚卫
- 关键词：QUANTALE
- 闭正则模糊拟阵的单点延拓被引量：3
- 2015年
- 定义了闭正则模糊拟阵的单点系列延拓与单点平行延拓,研究了闭正则模糊拟阵的单点系列延拓与单点平行延拓的若干性质,得到了闭正则模糊拟阵的单点系列延拓与单点平行延拓还是闭正则模糊拟阵,给出了闭正则模糊拟阵与截拟阵延拓之间的关系.
- 李尧龙
- 关键词：模糊拟阵
- 基于拟幂等的交换单位Quantale的模糊Domain被引量：1
- 2013年
- 基于一个拟幂等的交换单位Quantale,用模糊集的方法重新研究了量化Domain理论,主要定义了模糊DCPO上的模糊Scott拓扑,建立了满层的L-滤子的Scott收敛理论,证明了模糊DCPO范畴的笛卡尔闭性。虽然所得结论和已有文献中的基本一样,但是证明过程却有很大不同。结果表明,拟幂等的交换单位Quantale是用模糊集方法研究量化Domain的最宽泛的格。
- 姚卫李颜
- 短效不育剂对成年害鼠控制的建模与分析
- 2013年
- 建立短效不育剂控制下害鼠种群的动态模型,模型中害鼠分为成体和幼体,不育控制只对成体起作用.对模型的性态以及不育率、恢复率等参数对种群发展的影响进行分析.结果表明:较高的不育率会达到更好的控制效果,使种群规模较小,甚至灭绝;不育剂的短效性限制了不育剂在控制害鼠上的作用,也限制了控制的效果;不育控制不改变种群的稳定年龄分布.
- 王荣欣
- 关键词：数学模型
