说明:解说B样条插值的使用,有曲线和曲面,在国外网站上下载的,很好-Explain the use of B-spline interpolation, there are curves and surfaces, in foreign Web site to download, very good <张俊峰> 在 2024-11-18 上传
| 大小:384kb | 下载:0
说明:用形式化语言LTL(linear temporal logic)离线测试系统。程序SystemMonitor采用系统运行在线测试,本程序采用离线测试。输入为系统运行数据和LTL表达式,输出为该系统的鲁棒特征值。本程序采用了动态程序设计方法。对从事系统验证工作的开发人员和研究人员非常有帮助。-Its very useful for researchers and programmers who are working on system <刘新玲> 在 2024-11-18 上传
| 大小:384kb | 下载:0