耿俊
- 作品数:11 被引量:10H指数:2
- 供职机构:四川大学数学学院更多>>
- 发文基金:新疆维吾尔自治区自然科学基金国家自然科学基金更多>>
- 相关领域:理学自动化与计算机技术文化科学更多>>
- 范畴Ω-Cat的函数空间及其性质被引量:1
- 2014年
- Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴Ω-Cat的Ω-值函数空间,得出了Ω-值函数空间函子与Ω-值积函子互为伴随函子,证明了范畴Ω-Cat是Cartesian闭范畴。
- 耿俊汤建钢
- 关键词:Ω-范畴伴随函子
- 范畴Ω-Cat的极限和余极限被引量:2
- 2012年
- Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文给出了范畴Ω-Cat中极限和余极限的定义,同时研究了范畴Ω-Cat与范畴Set之间极限和余极限的关系。
- 耿俊汤建钢聂晓艳
- 关键词:Ω-范畴
- L集诱导的L关系性质的研究被引量:1
- 2010年
- 引入了L集的概念,给出了L集诱导的L关系的定义,进一步研究了L关系具有的性质.
- 耿俊汤建钢
- 高等代数课程教学要义探析被引量:1
- 2012年
- 给出高等代数教学中3个问题的创新示范,说明改革传统教学方式,体现核心知识价值在高等代数教学中的重要意义.同时,在这种理念的指导下,提出了高等代数教学中采用问题导向教学法,在教材中充实反映知识背景与应用的教学内容,课堂教学中注重逐步培养学生的抽象思维能力和数学思维,引导学生进行反思与总结,适时、适量地利用多媒体教学等高等代数课程教学改革措施.实践表明,这些措施有利于降低高等代数课教学内容的高度抽象性和概括性对学生学习的影响,提高教学效果.
- 耿俊邓勇
- 关键词:高等代数课堂教学教学构想
- 范畴Ω-Cat的极限和余极限
- Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文给出了范畴Ω-Cat中极限和余极限的定义,同时研究了范畴Ω-Cat与范畴Set之间极限和余极限的关系。
- 耿俊汤建钢聂晓艳
- 关键词:Ω-范畴
- 文献传递
- 范畴K-Cat若干性质的研究
- 2013年
- K-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴K-Cat中的余等值子和余积性质,揭示了范畴K-Cat与范畴Set中余等值子之间的关系,刻画了范畴K-Cat与范畴Set中余积之间的联系,同时证明了范畴K-Cat存在拉回。
- 耿俊邓勇
- 关键词:余积
- 范畴Ω-Cat的完备性被引量:5
- 2012年
- Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴Ω-Cat中的等值子和乘积,给出了范畴Ω-Cat中乘积的有点式和无点式刻画,证明了范畴Ω-Cat是完备范畴。
- 耿俊汤建钢聂晓艳
- 关键词:Ω-范畴
- 图的最小顶点覆盖的粘贴DNA计算模型被引量:3
- 2013年
- 本文在对经典粘贴模型以及全信息化的粘贴DNA计算模型的基本方法进行充分讨论的基础上,提出一种用粘贴DNA计算模型解决图的最小顶点覆盖问题的新方案,将数学问题的求解同并行生物操作有效结合.
- 聂晓艳耿俊汤建钢
- 关键词:DNA计算粘贴模型最小顶点覆盖问题
- 基于Ω-范畴的定向与逆向函子伴随性的研究
- 2014年
- Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文给出了范畴RΩ(X)之间的Zadeh型定向函子与Zadeh型逆向函子的定义,同时证明了Zadeh型定向函子与Zadeh型逆向函子互为一对伴随函子。
- 耿俊寇辉
- 关键词:Ω-范畴伴随性
- 基于粘贴系统求解无向图最短路径问题的DNA计算模型
- 2012年
- 提出了用粘贴系统求解赋权无向图中固定端点最短路径的DNA算法。该算法首先将无向图中每条边用两条方向相反的有向边代替,将无向图转化为有向图,同时利用粘贴系统的巨大并行性得到两端点间的所有路径,最后通过探针、电泳等分子生物技术手段获得最短路径,并通过实例说明算法的可行性。
- 聂晓艳耿俊汤建钢
- 关键词:DNA计算最短路径问题