离散步长相关论文
信号自动机为一类实时系统建立了比时间自动机更适合的模型.文中针对信号自动机因无验证算法可用而不能用于实际的实时系统模型验......
提高程序收敛速度和最优解精度是优化算法研究的重要内容.结合南水北调东线江都站不同型号机组变频变速非线性优化模型,分析了动态......