退出
我的积分:
中文文献批量获取
外文文献批量获取
刘显明; 李师贤; 李文军; 潘理;
中山大学计算机科学系,广东,广州,510275;
江西省电力信息通讯公司,江西,南昌,330077;
价格时间Petri网; 价格时间自动机; 状态空间计算;
机译:改进时间流Petri网模型的状态空间计算
机译:发布和预先初始化的秒表Petri网:形式语义和状态空间计算
机译:时间陪替氏网络的状态空间计算与分析
机译:基于时间语义的Petri网状态空间计算
机译:经济状况的定量分析。多个时间序列的状态空间表示的一种应用。
机译:视觉运动控制的空间计算的时间演变
机译:状态空间计算和时间petri网分析
机译:用连续状态空间计算马尔可夫更新程序的近似解。
机译:优化执行时间以实现面向状态或面向流程的模型(例如Petri网或机器)的过程
机译:一种过程优化方法,包括分析过程定义以发现控制序列依赖性,然后将控制序列逐步转换为相应的Petri网络,然后在另一步骤中分析Petri网络
机译:用于根据一种状态下的一种状态来确定一种状态下的合法时间的工具,包括标记有24小时的外部磁盘和分为24个时区的内部同心磁盘
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。