论文部分内容阅读
在Bigraph反应系统中,赋类以及归纳类型的研究是Bigraph理论本身以及其应用于实践中的关键环节.文章详细介绍了Bigraph反应系统中赋类与归纳类型的相关研究进展,分析了它们各自的表述能力和局限.同时,给出了Bigraph理论中与类型表述相关的研究问题.
Bigraph反应系统中类型表述理论的研究进展
【摘 要】
：
在Bigraph反应系统中,赋类以及归纳类型的研究是Bigraph理论本身以及其应用于实践中的关键环节.文章详细介绍了Bigraph反应系统中赋类与归纳类型的相关研究进展,分析了它们各
【机 构】
：
郑州轻工业大学计算机与通信工程学院
【出 处】
：
广州大学学报:自然科学版
【发表日期】
：
2019年3期
【基金项目】
：
国家自然科学基金资助项目(61672470).
其他文献
利用实验室设计的双歧杆菌特异性引物,采用降落聚合酶链式反应（Polymerase Chain Reaction,PCR）的方法对供试菌株的16S r DNA进行扩增,比较细菌分别通用引物和双歧杆菌特异性引
使用行波约化，Phi-4方程utt -uxx ＋m^2u＋λu^3=0 化成复方程（c^2-1）（w′）2＋m^2w^2＋λ/2w^4＋μ=0 . 采用复方法,得到新的亚纯通解,包括椭圆函数解及其退化形式.对比相关结果,文章的结果
化学、力学耦合问题在实际中有广泛应用，文章研究一类化-力耦合问题的双尺度渐近分析．通过构造恰当的单胞函数，对周期区域中化-力耦合静态问题构造了双尺度渐近展开式，得到了均匀
对于具有时空时滞的一维反应扩散系统中波前解的存在性，已有文献利用单调迭代技术结合适当的上下解和非标准排序的方法来证明．由于物种一般生存在高维的环境中，文章将这些方法推
自1953年Watson和Crick首次提出DNA双螺旋结构以来,DNA作为遗传物质、信息载体和纳米材料被广泛研究,并成为多个领域的研究对象,如基因工程、DNA酶、生物信息学、信息存储、D