退出
我的积分:
中文文献批量获取
外文文献批量获取
叶剑虹; 宋文; 孙世新;
电子科技大学;
计算机科学与工程学院;
四川;
成都;
610054;
西华大学;
数学与计算机学院;
610039;
Petri网; 化简; 逻辑代数; 最大无圈子网;
机译:使用Petri网算法的修改栅极级逻辑电路逻辑模拟
机译:逻辑电路的故障诊断方法:基于外部输出响应的故障定位方法的发展
机译:逻辑电路故障诊断方法-基于外部输出响应的故障位置指示方法的开发-
机译:基于MPRM逻辑电路的极性基于MPRM逻辑电路,基于MPRMM逻辑电路
机译:基于等效验证的异步睡眠会议逻辑电路的正式验证方法
机译:基于有色Petri网形式主义的多发性硬化症研究计算方法
机译:基于CSM-NN:基于电流源模型的逻辑电路仿真 - 一种神经网络方法
机译:Qos-UniFrame:基于petri网的建模方法,用于确保分布式实时和嵌入式系统的Qos要求;会议论文
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
机译:程序,列车服务适应Petri网模型生成设备,列车威慑安排支持设备,列车服务适应Petri网模型生成方法和列车威慑安排支持方法
机译:一种过程优化方法,包括分析过程定义以发现控制序列依赖性,然后将控制序列逐步转换为相应的Petri网络,然后在另一步骤中分析Petri网络
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。