新疆维吾尔自治区自然科学基金(2011211A051)
- 作品数：13 被引量：15H指数：3
- 相关作者：汤建钢耿俊聂晓艳董敏朱向东更多>>
- 相关机构：伊犁师范学院喀什师范学院更多>>
- 发文基金：新疆维吾尔自治区自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术理学文化科学更多>>
- 范畴K-Cat若干性质的研究
- 2013年
- K-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴K-Cat中的余等值子和余积性质,揭示了范畴K-Cat与范畴Set中余等值子之间的关系,刻画了范畴K-Cat与范畴Set中余积之间的联系,同时证明了范畴K-Cat存在拉回。
- 耿俊邓勇
- 关键词：余积
- 范畴Ω-Cat的完备性被引量：5
- 2012年
- Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴Ω-Cat中的等值子和乘积,给出了范畴Ω-Cat中乘积的有点式和无点式刻画,证明了范畴Ω-Cat是完备范畴。
- 耿俊汤建钢聂晓艳
- 关键词：Ω-范畴
- 范畴Ω-Cat的极限和余极限被引量：2
- 2012年
- Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文给出了范畴Ω-Cat中极限和余极限的定义,同时研究了范畴Ω-Cat与范畴Set之间极限和余极限的关系。
- 耿俊汤建钢聂晓艳
- 关键词：Ω-范畴
- 可满足性问题的粘贴系统
- 2012年
- 粘贴系统是在粘贴模型的基础上,以形式语言中的有关理论为工具,建立的一种抽象分子计算系统.目前关于这方面的研究已经取得了一些结果,对分子计算机的研究有一定的指导意义.本文就粘贴系统给出了可满足性问题的一种DNA计算模型.
- 朱向东汤建钢
- 关键词：DNA计算
- 高等代数课程教学要义探析被引量：1
- 2012年
- 给出高等代数教学中3个问题的创新示范,说明改革传统教学方式,体现核心知识价值在高等代数教学中的重要意义.同时,在这种理念的指导下,提出了高等代数教学中采用问题导向教学法,在教材中充实反映知识背景与应用的教学内容,课堂教学中注重逐步培养学生的抽象思维能力和数学思维,引导学生进行反思与总结,适时、适量地利用多媒体教学等高等代数课程教学改革措施.实践表明,这些措施有利于降低高等代数课教学内容的高度抽象性和概括性对学生学习的影响,提高教学效果.
- 耿俊邓勇
- 关键词：高等代数课堂教学教学构想
- 分数阶微分方程边值问题解的存在性被引量：2
- 2012年
- 利用schauder不动点定理的理论给出非线性分数阶微分方程边值问题解的存在性.
- 朱向东汤建钢邱中蔚
- 关键词：分数阶微分方程边值问题格林函数
- DNA正则语言与DNA正则文法的对应关系
- 2013年
- 以生物学的相关知识为背景,在国内外对DNA计算与DNA计算机研究的基础上,利用DNA分子链具有的Watson-Crick互补结构和其巨大的并行性这两大生物特征所呈现的数学特征,在经典自动机的基础上定义了DNA自动机、DNA正则语言及DNA正则文法,并证明DNA正则语言与DNA正则文法的对应关系.
- 王安平汤建钢
- 基于粘贴系统的Watson-Crick正则文法及自动机被引量：1
- 2012年
- 通过介绍DNA计算中的相关知识,利用DNA语言和粘贴模型及粘贴系统构造Watson-Crick正则文法,简单介绍了Watson-Crick自动机.
- 赵洋汤建钢
- 关键词：DNA计算文法
- 图的最小顶点覆盖的粘贴DNA计算模型被引量：3
- 2013年
- 本文在对经典粘贴模型以及全信息化的粘贴DNA计算模型的基本方法进行充分讨论的基础上,提出一种用粘贴DNA计算模型解决图的最小顶点覆盖问题的新方案,将数学问题的求解同并行生物操作有效结合.
- 聂晓艳耿俊汤建钢
- 关键词：DNA计算粘贴模型最小顶点覆盖问题
- 求解最大完全子图的一种DNA算法被引量：3
- 2012年
- 最大完全子图是图论中一个重要的问题。粘贴和删除模型是DNA计算的两个基本计算模型。利用改进的粘贴和删除模型给出求解最大完全子图的DNA算法。
- 董敏汤建钢
- 关键词：DNA计算粘贴模型
