Zhi Han
MathWorks
Followers: 0 Following: 0
http://zhihanpublic.wordpress.com/
Professional Interests: Simulink, hybrid system, verification, simulation
Estadística
3 Archivos
CLASIFICACIÓN
N/A
of 302.210
REPUTACIÓN
N/A
CONTRIBUCIONES
0 Preguntas
0 Respuestas
ACEPTACIÓN DE RESPUESTAS
0.00%
VOTOS RECIBIDOS
0
CLASIFICACIÓN
4.259 of 21.631
REPUTACIÓN
347
EVALUACIÓN MEDIA
2.40
CONTRIBUCIONES
3 Archivos
DESCARGAS
22
ALL TIME DESCARGAS
3380
CLASIFICACIÓN
of 180.202
CONTRIBUCIONES
0 Problemas
0 Soluciones
PUNTUACIÓN
0
NÚMERO DE INSIGNIAS
0
CONTRIBUCIONES
0 Publicaciones
CONTRIBUCIONES
0 Público Canales
EVALUACIÓN MEDIA
CONTRIBUCIONES
0 Temas destacados
MEDIA DE ME GUSTA
Feeds
Enviada
Satisfiability solver
A satisfiability solver using the classical Davis-Putnam algorithm.
alrededor de 10 años hace | 1479 descargas |
Enviada
Multiple simulations in 2-D
Simulating a 2-D system for multiple initial points
alrededor de 10 años hace | 896 descargas |
Enviada
CheckMate demos
Demos for checkmate hybrid system verification tool.
casi 19 años hace | 1005 descargas |
