聂晓艳
- 作品数：5 被引量：8H指数：2
- 供职机构：伊犁师范学院更多>>
- 发文基金：新疆维吾尔自治区自然科学基金国家自然科学基金更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 范畴Ω-Cat的极限和余极限被引量：2
- 2012年
- Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文给出了范畴Ω-Cat中极限和余极限的定义,同时研究了范畴Ω-Cat与范畴Set之间极限和余极限的关系。
- 耿俊汤建钢聂晓艳
- 关键词：Ω-范畴
- 范畴Ω-Cat的完备性被引量：5
- 2012年
- Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴Ω-Cat中的等值子和乘积,给出了范畴Ω-Cat中乘积的有点式和无点式刻画,证明了范畴Ω-Cat是完备范畴。
- 耿俊汤建钢聂晓艳
- 关键词：Ω-范畴
- 图的最小顶点覆盖的粘贴DNA计算模型被引量：3
- 2013年
- 本文在对经典粘贴模型以及全信息化的粘贴DNA计算模型的基本方法进行充分讨论的基础上,提出一种用粘贴DNA计算模型解决图的最小顶点覆盖问题的新方案,将数学问题的求解同并行生物操作有效结合.
- 聂晓艳耿俊汤建钢
- 关键词：DNA计算粘贴模型最小顶点覆盖问题
- 几类NP-完全问题的DNA计算模型与计算DNA数学模型的研究
- DNA计算是以DNA分子和生化反应为基础的一种新型计算方法。DNA计算的巨大并行性与高度存储能力,吸引了许多来自不同领域学者的关注。到目前为止,已经有许多成果证明了DNA计算的可行性,同时这也表明了DNA计算在解决NP-...
- 聂晓艳
- 关键词：DNA计算NP-完全问题
- 文献传递
- 基于粘贴系统求解无向图最短路径问题的DNA计算模型
- 2012年
- 提出了用粘贴系统求解赋权无向图中固定端点最短路径的DNA算法。该算法首先将无向图中每条边用两条方向相反的有向边代替,将无向图转化为有向图,同时利用粘贴系统的巨大并行性得到两端点间的所有路径,最后通过探针、电泳等分子生物技术手段获得最短路径,并通过实例说明算法的可行性。
- 聂晓艳耿俊汤建钢
- 关键词：DNA计算最短路径问题
