排序方式: 共有5条查询结果,搜索用时 0 毫秒
1
1.
计伟 《贵阳金筑大学学报》2012,(1):9-11
主要是对参与人的被选方案集作些规定以及不具传递性的偏好作一些限制,得到了一些效用函数表示结果,统一和推广了许多已知结果。 相似文献
2.
生产者与消费者系统(PCS)是一个经典的进程同步问题,Hocine等学者运用抽象状态机(ASMs)对该问题进行了时序规约。文中主要使用TLA语言对PCS给出了一个时序规约模型,并且利用模型检测工具TLC对PCS进行检测。同时对系统的活性和互斥性也进行了检测,检测结果都满足系统规约。ASMs主要采用转移规则来规约PCS模型,中间的转移过程是无法知道的,TLA能同时规约出PCS的执行过程和系统属性。 相似文献
3.
通过对2008年欧洲杯决赛阶段比赛进行观察、统计、分析,对进攻性跑位的特征、类别、作用、原则等进行探讨与分析,指明进攻性跑位的要点,为今后的足球训练以及比赛提供了重要的理论依据。 相似文献
4.
生产者与消费者系统(PCS)是一个经典的进程同步问题,Hocine等学者运用抽象状态机(ASMs)对该问题进行了时序规约.文中主要使用TLA语言对PCS给出了一个时序规约模型,并且利用模型检测工具TLC对PCS进行检测.同时对系统的活性和互斥性也进行了检测,检测结果都满足系统规约.ASMs主要采用转移规则来规约PCS模型,中间的转移过程是无法知道的,TLA能同时规约出PCS的执行过程和系统属性. 相似文献
5.
计伟 《贵阳学院学报(自然科学版)》2012,7(1)
主要是对参与人的被选方案集作些规定以及不具传递性的偏好作一些限制,得到了一些效用函数表示结果,统一和推广了许多已知结果。 相似文献
1