资源列表
[数学计算/工程计算] lijijuzheng
说明:邻接矩阵,大家可以看看,变得比较简洁,而且运行的不错-Adjacency matrix, we can see, has become more concise, and well run<yuanming> 在 2025-07-05 上传 | 大小:1kb | 下载:0
[数学计算/工程计算] shuzhizhuanfan
说明:数值转化,大家可以看看,变得比较简洁,而且运行的不错-Numerical transformation, we can see, has become more concise, and well run<yuanming> 在 2025-07-05 上传 | 大小:1kb | 下载:0
[数学计算/工程计算] QtCalculator
说明:手机平台上使用的计算器源码,QT编码,简易计算器-Calculator for moilephone,base in QT<Neo King> 在 2025-07-05 上传 | 大小:16kb | 下载:0
[数学计算/工程计算] system_monitor
说明:用于系统行为验证。给出系统运行的观测数据,给定一个用MTL形式化语言描述的表达式,运行结果为该系统行为在此形式化表达式上的鲁棒值。-it is a tool for the computation of the robustness of a propositional temporal logic specification with respect to a discrete time signal.<刘新玲> 在 2025-07-05 上传 | 大小:999kb | 下载: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-07-05 上传 | 大小:384kb | 下载:0