变迁约束相关论文
Petri网是一种广泛应用于描述异步并发现象的图形化建模和分析工具，Petri网的可达性判定问题是进行Petri网建模和分析的基础。判定P......
该文描述了可以存放动态数据的历史数据库.形式化地定义了两种约束:一般变迁约束和变迁约束,以用于描述这种影响,并给出了这种影响......
事件的协调控制是离散事件系统中一项重要的研究内容,同时包含资源约束和事件约束的混杂约束更是系统设计的难点问题。以DES系统的......
在分析各种可达分析方法求解变迁约束可达问题不足的基础上，采用约束程序的办法，针对变迁约束进行约束模型构造和算法研究．该约束模型......
新中国成立以来，我国研究生资助政策在特定的历史环境下经历了人民助学金为主的单轨阶段、奖学金与助学金的并轨阶段、奖学金与贷学......
