切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Bigraph反应系统中类型表述理论的研究进展
Bigraph反应系统中类型表述理论的研究进展
来源 :广州大学学报:自然科学版 | 被引量 : 0次 | 上传用户:u20051026
【摘 要】
:
在Bigraph反应系统中,赋类以及归纳类型的研究是Bigraph理论本身以及其应用于实践中的关键环节.文章详细介绍了Bigraph反应系统中赋类与归纳类型的相关研究进展,分析了它们各
【作 者】
:
吴怀广
石永生
【机 构】
:
郑州轻工业大学计算机与通信工程学院
【出 处】
:
广州大学学报:自然科学版
【发表日期】
:
2019年3期
【关键词】
:
Bigraph反应系统
赋类
归纳类型
Bigraphical reactive systems
sorting
inductive type
【基金项目】
:
国家自然科学基金资助项目(61672470).
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在Bigraph反应系统中,赋类以及归纳类型的研究是Bigraph理论本身以及其应用于实践中的关键环节.文章详细介绍了Bigraph反应系统中赋类与归纳类型的相关研究进展,分析了它们各自的表述能力和局限.同时,给出了Bigraph理论中与类型表述相关的研究问题.
其他文献
双歧杆菌的分子生物学鉴定方法的比较
利用实验室设计的双歧杆菌特异性引物,采用降落聚合酶链式反应(Polymerase Chain Reaction,PCR)的方法对供试菌株的16S r DNA进行扩增,比较细菌分别通用引物和双歧杆菌特异性引
期刊
双歧杆菌
聚合酶链式反应
分子生物学
鉴定
bifidobacterium
Polymerase Chain Reaction(PCR)
molecular
中国认证人员国家注册委员会迎接国际同行评审
中国认证人员国家注册委员会迎接国际同行评审巴世珍随着全球对国际互认的关注,国际承认制度的进程也日益加快,1997年将签署质量认证国际承认协议,我国正积极准备争取首批加入QSAR(质量体
期刊
中国认证人员国家注册委员会
审核员
质量体系
承认制度
同行评审
国家认可委员会
入学资格
质量认证
国际评审
培训制度
带电进行现场检测电压电流表的方法的探讨
带电进行现场检测电压电流表的方法的探讨曹加利(哲里木盟技术监督局)一、问题的提出长期以来,配电盘上的电压、电流表(一般为1.5级仪表)的检定,是要把仪表从配电盘上卸下来进行检测,即
期刊
电压电流表
现场检测
电压表
转换开关
配电盘
哲里木盟
检测人员
计量器具
仪表端子
检测仪表
Phi-4方程新的行波精确解
使用行波约化,Phi-4方程utt -uxx +m^2u+λu^3=0 化成复方程(c^2-1)(w′)2+m^2w^2+λ/2w^4+μ=0 . 采用复方法,得到新的亚纯通解,包括椭圆函数解及其退化形式.对比相关结果,文章的结果
期刊
Phi-4方程
微分方程
亚纯函数
椭圆函数
Phi-4 equation
differential equation
meromorphic function
一类化-力耦合问题的双尺度渐近分析
化学、力学耦合问题在实际中有广泛应用,文章研究一类化-力耦合问题的双尺度渐近分析.通过构造恰当的单胞函数,对周期区域中化-力耦合静态问题构造了双尺度渐近展开式,得到了均匀
期刊
化-力耦合
双尺度方法
均匀化常数
chemo-mechanical coupling
two-scale method
homogenization cons
二维反应扩散方程波前解的存在性
对于具有时空时滞的一维反应扩散系统中波前解的存在性,已有文献利用单调迭代技术结合适当的上下解和非标准排序的方法来证明.由于物种一般生存在高维的环境中,文章将这些方法推
期刊
二维反应扩散方程
非局部效应
波前解
two-dimensional reaction-diffusion systems
nonlocal effect
tr
DNA Tile计算简述
自1953年Watson和Crick首次提出DNA双螺旋结构以来,DNA作为遗传物质、信息载体和纳米材料被广泛研究,并成为多个领域的研究对象,如基因工程、DNA酶、生物信息学、信息存储、D
期刊
DNATile
DNATile程式自组装
DNATile计算
DNA Tile
DNA Tile arithmetic assembly
DNA Tile co
“伊利人”的胸怀
“伊利人”的胸怀陈玉芳,李强“妈妈,你尝尝这伊利二代雪糕,真好吃”“阿姨,伊利的新产品桔味冰淇淋更好吃”孩子们手拿着雪糕、冰淇淋,向大人们夸耀着。是啊!“伊利”雪糕、冰淇淋
期刊
伊利人
冷冻食品
产品质量
冰淇淋
股份有限公司
质量保证体系
质量意识
名牌产品
管理办法
开发新产品
Sasakian空间形式的C-全实子流形
研究Sasakian空间形式中具平行平均曲率向量的C-全实子流形M^n,得到一个Simon s公式以及M^n的第二基本形式的模长平方S如果满足:①S≤1/4a(n+1)(c+3),n>2;②S<1/4(n+1)(c+3),
期刊
SASAKIAN空间形式
平均曲率向量
C-全实子流形
Sasakian space form
mean curvature vector
C-totally
联合打假效果明显
联合打假效果明显常国忠元宝山区技术监督局和农机局于7月份联合开展了农机市场大检查和“打假”活动。共查出劣质农机配件3489台件,“三无”产品6848台件,总标值120多万元,收到了明显效果,基
期刊
联合打假
农机配件
技术监督局
跟踪报道
存在问题
效果明显
农机市场
现场处理
展览活动
扶优治劣
与本文相关的学术论文