位置：成果数据库 > 期刊 > 期刊详情页
基于CTL和Petri网的约束一致性验
  • 期刊名称：计算机工程与应用，23期，pp.52-57, 2006.
  • 时间：0
  • 相关项目：受干扰系统辨识、控制及在复杂热力系统应用的研究
作者： 张斌，罗贵明
同期刊论文项目
受干扰系统辨识、控制及在复杂热力系统应用的研究
期刊论文 29 会议论文 4
同项目期刊论文
基于加权最小二乘法的最优适应控
一种基于两点RLS最优自适应电力
并行软件模型检测
新型自适应控制算法及在电力系统中的应用
Nonoscillation criteria for qu
Applications of improved least
Empirical frequency-domain opt
UML模型检测方法的研究.
基于多部访问结构的理想的秘密共
模型与实例设计模式，在工作流管
Existence and uniqueness of pe
Convergence of Recursive Ident
一种有效的基于LTL和Petri网的模
基于门限方案的理想多方访问结构
EFOP 参数估计方法的递推算法
基于最小二乘法的最优自适应电力
Identification for MIMO Wiener
Optimal adaptive controller fo
Quasi-periodic solutions in no
Unboundedness of solutions of
Discrete Time Optimal Adaptive
高功率、高效率线阵半导体激光器的阳极氧化制备方法
多单元半导体激光器的高亮度光纤耦合输出
High Performance SLED Fabricated by Pulsed Anodic Oxidation
阳极氧化法制备超辐射发光管实验研究
模型与实例设计模式在工作流管理系统设计中的应用
Convergence of Recursive Identification for ARMAX Process with Increasing Variances
Discrete Time Optimal Adaptive Control for Linear Stochastic Systems