退出
我的积分:
中文文献批量获取
外文文献批量获取
马良荔; 陈杰; 汪丽华;
中国人民解放军91960部队;
中国人民解放军海军工程大学;
中国载人航天工程办公室;
模糊; 有色Petri网; 形式化方法;
机译:模糊时空本体和基于模糊Petri网的形式化构造
机译:有色Petri网:用于并行系统形式化建模和验证的图形语言
机译:基于有色Petri网的模块化安全策略的形式化规范与验证
机译:基于层次有色Petri网的Mamdani模糊推理机建模
机译:高级Petri网的形式化建模和分析技术。
机译:基于有色Petri网形式主义的多发性硬化症研究计算方法
机译:有色petri网 - 一种分布式系统设计与分析的语用形式化方法
机译:用有色petri网建模环境系统。
机译:模糊推理规则的重排方法和装置,模糊推理规则的编码方法和装置,根据模糊推理规则的模糊推理处理方法和装置,规则的重排方法和装置,编码方法和装置的规则,规则的推理处理方法及装置
机译:模糊kontoro-ra,模糊推理设备,huajiiru-ru管理设备,模糊kontoro-ru方法,模糊推理方法和huajiiru-ru管理方法
机译:基于模糊Petri网的机器人认知情感表达装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。