退出
我的积分:
中文文献批量获取
外文文献批量获取
刘关俊; 吴哲辉;
中国计算机学会;
哲学家进餐问题; Petri网模型; 抑止弧Petri网; 无饥饿解; 并发操作; 资源共享;
机译:使用Petri网和确定性有限自动机的无冲突路由问题的模型重构
机译:抑制剂-弧形Petri网的最大合法射击序列问题的可解性无权/加权无冲突Petri网
机译:面向活动的Petri网验证餐饮哲学家问题的解决方案
机译:进餐:人生过程中的饥饿感。
机译:饥饿和饱食感会驱使人们进食吗?在美国增加进餐次数并减少进餐之间的时间
机译:用Petri网分析法设计餐饮哲学家问题的仿真工具
机译:考虑马尔可夫过程的无脊椎动物功能反应的Hollings饥饿螳螂模型。第3部分:数学清算
机译:程序,列车服务适应Petri网模型生成设备,列车威慑安排支持设备,列车服务适应Petri网模型生成方法和列车威慑安排支持方法
机译:家禽进餐问题的改进
机译:密度均匀布置问题的最优解搜索方法和密度均匀布置问题的最优解搜索程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。