- 年份
- 2025(1)
- 2024(3)
- 2023(5)
- 2022(4)
- 2021(13)
- 2020(12)
- 2019(5)
- 2018(5)
- 2017(6)
- 2016(9)
- 更多...
- 核心收录
- 北京大学中文核心期刊目录(北大核心)(104)
- 中国科技论文与引文数据库(CSTPCD)(100)
- 中国科学引文数据库(CSCD)(93)
- 中国人文社会科学引文数据库(CHSSCD)(5)
- 中文社会科学引文索引(CSSCI)(1)
- 更多...
- 刊名
- 临床与实验病理学杂志(25)
- 医学文选(8)
- 移动通信(8)
- 机械科学与技术(7)
- 中国机械工程(5)
- 郧阳医学院学报(5)
- 农业工程学报(4)
- 包装与食品机械(3)
- 华中科技大学学报(自然科学版)(3)
- 数学杂志(3)
- 更多...
- 作者单位
- 华中科技大学(9)
- 三峡大学(3)
- 中北大学(3)
- 南京大学(3)
- 大连理工大学(3)
- 山东大学(3)
- 沈阳医学院(3)
- 西北工业大学(3)
- 西安交通大学(3)
- 东北林业大学(2)
- 更多...
- 语种
- 汉语(262)
- 关键词
- 切片(262)
- 5G(10)
- 染色(9)
- 组织(6)
- HE染色(4)
- 制作(4)
- 包埋(4)
- 反求工程(4)
- 病理(4)
- 组织学(4)
- 更多...
- 作者
- 凌亚伟(3)
- 张健(3)
- 张燕(3)
- 王珏(3)
- 程新宇(3)
- 陈英杰(3)
- 黄树槐(3)
- 余晓光(2)
- 余滢鑫(2)
- 党凯锋(2)
- 更多...
相关度
- 相关度
- 发表时间
每页显示10条
- 每页显示10条
- 每页显示20条
- 每页显示30条
已找到 262 条结果
- 5G传输网络安全现状CSTPCD
- 安全技术在5G智能电网中的应用CSTPCD
- 影响HE切片质量的原因及解决方法CSTPCD
- 姬姆萨染色改良法在胃幽门螺杆菌检查中的应用及其价值CSTPCD
- 基于PLC控制的大枣切片机设计与分析
- 基于STL格式的实体分割北大核心CSCD
- UML Statecharts的切片模型检验方法北大核心CSCDCSTPCD
- WMS服务的缓存策略研究CSTPCD
- 基于UG的CAD模型轮廓信息提取模块开发CSTPCD
- UML Statecharts的切片模型检验方法北大核心CSCDCSTPCD摘要:统一建模语言UML已被广泛应用于软件设计和开发中,而验证UML模型是否满足关键的性质需求成为一个重要问题.由于空间爆炸和语义的复杂性,对Statecharts进行模型检验受到软件规模和设计精化程度的制约.本文在用扩展层次自动机(EHA)结构化的表示UML Statecharts后,通过分析EHA中存在的层次、并发和事件同步等特征定义了一组依赖关系.对于由状态和迁移组成的切片准则,给出对EHA进行切片的算法.该算法能保证切片后的EHA与…查看全部>>