换一批- 最近
- 已收藏
- 排序
- 筛选
- 25
- 1
- 11
- 4
- 3
- 2
- 2
- 1
- 1
- 中文期刊
- 刊名
- 作者
- 作者单位
- 收录源
- 栏目名称
- 语种
- 医学主题词
- 出版状态
- 外文期刊
- 文献类型
- 刊名
- 作者
- 医学主题词
- 收录源
- 语种
- 学位论文
- 授予学位
- 授予单位
- 会议论文
- 主办单位
- 专 利
- 专利分类
- 专利类型
- 国家/组织
- 法律状态
- 申请/专利权人
- 发明/设计人
- 成 果
- 鉴定年份
- 学科分类
- 地域
- 完成单位
- 标 准
- 强制性标准
- 中标分类
- 标准类型
- 标准状态
- 来源数据库
- 法 规
- 法规分类
- 内容分类
- 效力级别
- 时效性
【中文期刊】 沈晓奕 杨德仁 《计算机与数字工程》 2019年47卷7期 1565-1570页
【摘要】 为了研究UML活动图模型中可中断活动区间、嵌套的层次活动图等高级构造子的形式化表示,依据进程代数理论,采用一种利用CSP转换UML活动图模型的方法.建立了UML活动图元模型捕获活动图语言的主要概念和属性并依据元模型的类图将建模语言的抽象语法...
- 概要：
- 方法：
- 结论：
【外文期刊】 Maria Luisa Guerriero ; Alexandra Pokhilko ; 等 《Journal of the Royal Society Interface》 2012年9卷TN.69期 744-756页
【关键词】 circadian clock;Arabidopsis thaliana;discrete stochastic model;
- 概要：
- 方法：
- 结论：
【外文期刊】 Gernert D. ; 《BioSystems》 2000年54卷3期 165-180页SCISCIEMEDLINE
- 概要：
- 方法：
- 结论：
【外文期刊】 Hanfeng Mu ; Xiao Feng ; 等 《Ecological engineering: The Journal of Ecotechnology》 2012年44卷 88-93页SCISCIEMEDLINE
- 概要：
- 方法：
- 结论：
【外文期刊】 Ferenc Jordan ; Marco Scotti ; 等 《Ecological complexity》 2011年8卷4期 357-363页SCISCIE
【关键词】 process algebra;blenX;complexity;
- 概要：
- 方法：
- 结论：
【外文期刊】 Bergstra, J. A. ; Middelburg, C. A. ; 《Journal of neurosurgical sciences》 2019年63卷3期 488-505页MEDLINE
【关键词】 Process algebra;Arbitrary interleaving;Strategic interleaving;
- 概要：
- 方法：
- 结论：
【外文期刊】 Sulis, William ; 《Neuropsychobiology》 2021年80卷2期 134-146页SCISCIEMEDLINE
【关键词】 Temperament;Mental illness;Continuum;
- 概要：
- 方法：
- 结论：
【外文期刊】 McCaig, C. ; Begon, M. ; 等 《Bulletin of Mathematical Biology: An International Journal》 2011年73卷4期 777-794页SCISCIEMEDLINE
【关键词】 Changing scale;Mean field equation derivation from process algebra;
- 概要：
- 方法：
- 结论：
【外文期刊】 Sanchez R ; Morgado E ; 等 《Journal of Mathematical Biology》 2005年51卷4期 431-457页SCISCIEMEDLINE
【关键词】 gene algebra;genetic code algebra;molecular evolution process;
- 概要：
- 方法：
- 结论：
【外文期刊】 Dijkman, Remco ; Gao, Juntao ; 等 《Ecological restoration》 2020年38卷1期 227-253页
- 概要：
- 方法：
- 结论：
加载中...
