扫一扫
关注中图网
官方微博
>
关于“刘关俊”检索到 共5种现货商品
出版社：
- 科学出版社(2)
- 科学出版社(2)
- 同济大学出版社(1)
- 同济大学出版社(1)
- 高等教育出版社(1)
- 高等教育出版社(1)
- 广西师范大学出版社(1)
- 广西师范大学出版社(1)
- 高等教育出版社(1)
- 高等教育出版社(1)
- 广西师范大学出版社(1)
- 广西师范大学出版社(1)
- 科学出版社(2)
- 科学出版社(2)
- 同济大学出版社(1)
- 同济大学出版社(1)
售价：
-
-
Petri网的元展:一种并发系统模型检测方法
¥66.3(6.7折)定价:¥99.0本书以Petri网这一刻画并发系统的数学模型为基础，提出了一种偏序结构的验证系统行为正确性的方法：元展。主要内容包括：系统性界定了行为正确性判定的复杂度，给出了构造元展的算法，提出了利用元展验证死锁、活锁、健壮性、兼容性的充分必要条件，提出了利用元展检测线性时序逻辑、计算树逻辑的算法，同时介绍了所开发的模型检测工具，并且将一些应用实例来展示所提方法的有效性...
-
Petri网活性与应用/同济博士论丛
¥44.9(6.6折)定价:¥68.0本书以Petri 网活性为主线，开展了Petri 网（子类）的活性判定、基于Petri 网的资源分配系统死锁预防策略、基于Petri 网的交互式系统活性与兼容性分析等三方面的研究...
-
荀子选译-汉泰对照
¥36.0(6.2折)定价:¥58.0《荀子》是战国末年著名唯物主义思想家、文学家荀况的著作，是儒家学派的重要典籍，是研究荀况思想和先秦各派学说的重要材料。其内容多涉及立身行事、人情世故，广泛地反映社会现实。所以，读《荀子》不但可以了解古人的学术思想，也有益于我们个人良好修养的塑造。 《荀子选译》（汉泰对照）为《荀子选译》的泰语译本。全书精心翻译这本儒家学派的重要典籍，汉泰对照，并配绘精美插图，为泰语人群阅读《荀子》提供一个优质读本，实现了中华文化的良好传播...
-
基于PETRI网的计算树逻辑模型检测
¥75.6(7折)定价:¥108.0本书介绍了基于Petri网的计算数逻辑模型检测方法，主要内容分为以下三个部分：一、基于原型Petri网的计算树逻辑（CTL）模型检测，结合OBDD技术提出了一种更高效的验证方法以缓解它的状态爆炸问题；二、对多智能体系统的正确性验证，提出了带有认知的Petri网，模拟多智能体系统，然后结合OBDD技术提出了一种更高效的验证计算树认知逻辑（CTLK）的方法；三、对实时系统的正确性验证，提出了点区间优先级时间Petri网，模拟抢占式实时系统
