退出
我的积分:
中文文献批量获取
外文文献批量获取
蒋昌俊; 疏松桂; 郑应平;
山东矿业学院计算机系,泰安,271019;
中国科学院自动化研究所,北京,100080;
约束并发机制; Petri网模型; 逻辑特性; 随机品质; 分析; 评估; 调度;
机译:随机扰动下具有信号时间逻辑约束的收缩层模型预测控制
机译:一类行为约束下具有1个监控位置的Petri网主管的设计
机译:用约束规划和Petri网技术分析反应行为模型
机译:结合广义随机Petri网和PERT网络进行并发过程的性能评估
机译:并发和非并发逻辑程序的高级Petri网语义。
机译:逻辑和混合模型的性能评估用于分析玉米和高粱多样性面板中的二元性状
机译:马氏调制泊松流量下基于随机Petri网的基于阈值的ATM信元调度策略性能评估
机译:具有公平约束的petri网线性时态逻辑性质模型检验。
机译:逻辑电路的时序约束模型的生成方法,逻辑电路的时序约束模型的生成程序以及使用时序约束模型的时序驱动布局方法
机译:程序,列车服务适应Petri网模型生成设备,列车威慑安排支持设备,列车服务适应Petri网模型生成方法和列车威慑安排支持方法
机译:从带注释的UML设计模型中得出随机性能评估模型的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。