资源列表
[数学计算/工程计算] refangcheng
说明:一维热传导方程的求解,包括显式和隐式,及其对比-One-dimensional heat conduction equations, including explicit and implicit, and the contrast<rnhua> 在 2025-06-06 上传 | 大小:382kb | 下载:0
[数学计算/工程计算] LTLrobust
说明:用形式化语言LTL(linear temporal logic)离线测试系统。程序SystemMonitor采用系统运行在线测试,本程序采用离线测试。输入为系统运行数据和LTL表达式,输出为该系统的鲁棒特征值。本程序采用了动态程序设计方法。对从事系统验证工作的开发人员和研究人员非常有帮助。-Its very useful for researchers and programmers who are working on system control and verification. it i<刘新玲> 在 2025-06-06 上传 | 大小:384kb | 下载:0