科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
第一个书签之前
刘若天;
西安电子科技大学;
缓冲; 库所; 合成; 标签; Petri网; 可诊断性;
机译:使用验证器网络对有界和无界有标签Petri网进行实时诊断性分析
机译:基于行为概貌的Petri网过渡多集行为一致性分析
机译:基于验证器网络的Petri网可诊断性分析的新方法
机译:基于适用于诊断性分析的部分可观察到的Petri网的基础覆盖性图
机译:基于磷系链的不对称合成含1,3-抗二醇的亚基:在多标签肽C的全合成中的应用
机译:基于Petri网的萜类生物合成途径模型的仿真
机译:使用INTERNIsT-1 / QmR知识库重新制定的概率诊断2.诊断性能评估。 (重新公布新的可用性信息)。
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
机译:标签的制造方法,涉及使用来自用户的指令,基于组成的标签模型,用信息记录标签,其中信息由数据库,先前的标签和/或用户的知识或观察提供。
机译:根据分析参考的一致性分析来搜索结果,该参考组成了一份协议库,其中每个分析参考对应于协议并表示知识产权文件
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。