中科大软院系统建模期末考试.zip

[{"title":"（ 89 个子文件 39.38MB ） 中科大软院系统建模期末考试.zip","children":[{"title":"uppaal-4.0.14","children":[{"title":"bin-Win32","children":[{"title":"verifyta.exe <span style='color:#111;'> 2.31MB </span>","children":null,"spread":false},{"title":"server.exe <span style='color:#111;'> 2.32MB </span>","children":null,"spread":false}],"spread":true},{"title":"lib","children":[{"title":"jdom.jar <span style='color:#111;'> 144.79KB </span>","children":null,"spread":false},{"title":"editor.jar <span style='color:#111;'> 68.32KB </span>","children":null,"spread":false},{"title":"swixml.jar <span style='color:#111;'> 43.05KB </span>","children":null,"spread":false},{"title":"model.jar <span style='color:#111;'> 161.01KB </span>","children":null,"spread":false},{"title":"jlfgr-1_0.jar <span style='color:#111;'> 111.89KB </span>","children":null,"spread":false},{"title":"jh.jar <span style='color:#111;'> 519.21KB </span>","children":null,"spread":false}],"spread":true},{"title":"bin-Linux","children":[{"title":"verifyta <span style='color:#111;'> 2.85MB </span>","children":null,"spread":false},{"title":"server <span style='color:#111;'> 2.86MB </span>","children":null,"spread":false}],"spread":true},{"title":"demo","children":[{"title":"fischer_symmetry.xml <span style='color:#111;'> 1.63KB </span>","children":null,"spread":false},{"title":"2doors.xml <span style='color:#111;'> 3.54KB </span>","children":null,"spread":false},{"title":"train-gate.xml <span style='color:#111;'> 4.38KB </span>","children":null,"spread":false},{"title":"interrupt.xml <span style='color:#111;'> 3.68KB </span>","children":null,"spread":false},{"title":"interrupt.q <span style='color:#111;'> 183B </span>","children":null,"spread":false},{"title":"2doors.q <span style='color:#111;'> 1.77KB </span>","children":null,"spread":false},{"title":"bridge.q <span style='color:#111;'> 522B </span>","children":null,"spread":false},{"title":"bridge.xml <span style='color:#111;'> 3.09KB </span>","children":null,"spread":false},{"title":"fischer_symmetry.q <span style='color:#111;'> 189B </span>","children":null,"spread":false},{"title":"fischer.q <span style='color:#111;'> 419B </span>","children":null,"spread":false},{"title":"train-gate.q <span style='color:#111;'> 1.32KB </span>","children":null,"spread":false},{"title":"fischer.xml <span style='color:#111;'> 1.57KB </span>","children":null,"spread":false}],"spread":false},{"title":"uppaal.jar <span style='color:#111;'> 564.18KB </span>","children":null,"spread":false},{"title":"man","children":[{"title":"man1","children":[{"title":"uppaal.1 <span style='color:#111;'> 1.05KB </span>","children":null,"spread":false}],"spread":true}],"spread":true},{"title":"readme.txt <span style='color:#111;'> 5.60KB </span>","children":null,"spread":false},{"title":"uppaal <span style='color:#111;'> 893B </span>","children":null,"spread":false}],"spread":true},{"title":"建模实验","children":[{"title":"lab2.q <span style='color:#111;'> 108B </span>","children":null,"spread":false},{"title":"atm.q <span style='color:#111;'> 211B </span>","children":null,"spread":false},{"title":"lab2.xml <span style='color:#111;'> 2.20KB </span>","children":null,"spread":false},{"title":"atm.xml <span style='color:#111;'> 4.66KB </span>","children":null,"spread":false},{"title":"atm_right.xml <span style='color:#111;'> 5.10KB </span>","children":null,"spread":false},{"title":"实验三.q <span style='color:#111;'> 182B </span>","children":null,"spread":false},{"title":"实验三.xml <span style='color:#111;'> 1.41KB </span>","children":null,"spread":false},{"title":"uppaal 状态迁移.doc <span style='color:#111;'> 9.00KB </span>","children":null,"spread":false}],"spread":true},{"title":"实验一ATM","children":[{"title":"ATM_20181210152459839.pdf <span style='color:#111;'> 172.40KB </span>","children":null,"spread":false},{"title":"uppaal-4.0.14-aca","children":[{"title":"uppaal-4.0.14","children":[{"title":"bin-Win32","children":[{"title":"verifyta.exe <span style='color:#111;'> 2.31MB </span>","children":null,"spread":false},{"title":"server.exe <span style='color:#111;'> 2.32MB </span>","children":null,"spread":false}],"spread":true},{"title":"lib","children":[{"title":"jdom.jar <span style='color:#111;'> 144.79KB </span>","children":null,"spread":false},{"title":"editor.jar <span style='color:#111;'> 68.32KB </span>","children":null,"spread":false},{"title":"swixml.jar <span style='color:#111;'> 43.05KB </span>","children":null,"spread":false},{"title":"model.jar <span style='color:#111;'> 161.01KB </span>","children":null,"spread":false},{"title":"jlfgr-1_0.jar <span style='color:#111;'> 111.89KB </span>","children":null,"spread":false},{"title":"jh.jar <span style='color:#111;'> 519.21KB </span>","children":null,"spread":false}],"spread":true},{"title":"bin-Linux","children":[{"title":"verifyta <span style='color:#111;'> 2.85MB </span>","children":null,"spread":false},{"title":"server <span style='color:#111;'> 2.86MB </span>","children":null,"spread":false}],"spread":true},{"title":"demo","children":[{"title":"fischer_symmetry.xml <span style='color:#111;'> 1.63KB </span>","children":null,"spread":false},{"title":"2doors.xml <span style='color:#111;'> 3.54KB </span>","children":null,"spread":false},{"title":"train-gate.xml <span style='color:#111;'> 4.38KB </span>","children":null,"spread":false},{"title":"atm.q <span style='color:#111;'> 211B </span>","children":null,"spread":false},{"title":"interrupt.xml <span style='color:#111;'> 3.68KB </span>","children":null,"spread":false},{"title":"interrupt.q <span style='color:#111;'> 183B </span>","children":null,"spread":false},{"title":"atm.xml <span style='color:#111;'> 4.66KB </span>","children":null,"spread":false},{"title":"2doors.q <span style='color:#111;'> 1.77KB </span>","children":null,"spread":false},{"title":"bridge.q <span style='color:#111;'> 522B </span>","children":null,"spread":false},{"title":"atm_right.xml <span style='color:#111;'> 5.10KB </span>","children":null,"spread":false},{"title":"bridge.xml <span style='color:#111;'> 3.09KB </span>","children":null,"spread":false},{"title":"fischer_symmetry.q <span style='color:#111;'> 189B </span>","children":null,"spread":false},{"title":"fischer.q <span style='color:#111;'> 419B </span>","children":null,"spread":false},{"title":"train-gate.q <span style='color:#111;'> 1.32KB </span>","children":null,"spread":false},{"title":"fischer.xml <span style='color:#111;'> 1.57KB </span>","children":null,"spread":false}],"spread":false},{"title":"uppaal.jar <span style='color:#111;'> 564.18KB </span>","children":null,"spread":false},{"title":"man","children":[{"title":"man1","children":[{"title":"uppaal.1 <span style='color:#111;'> 1.05KB </span>","children":null,"spread":false}],"spread":true}],"spread":true},{"title":"readme.txt <span style='color:#111;'> 5.60KB </span>","children":null,"spread":false},{"title":"uppaal <span style='color:#111;'> 893B </span>","children":null,"spread":false},{"title":"license.txt <span style='color:#111;'> 0B </span>","children":null,"spread":false}],"spread":true},{"title":"license.txt <span style='color:#111;'> 0B </span>","children":null,"spread":false}],"spread":true},{"title":"new-tutorial_2018121015230504.pdf <span style='color:#111;'> 756.16KB </span>","children":null,"spread":false},{"title":"ATM_20181210152247939","children":[{"title":"atm.q <span style='color:#111;'> 215B </span>","children":null,"spread":false},{"title":"atm.xml <span style='color:#111;'> 4.66KB </span>","children":null,"spread":false}],"spread":true},{"title":"uppaal-4.0.14-aca.zip <span style='color:#111;'> 5.60MB </span>","children":null,"spread":false},{"title":"Lab3_20181210152627620.ppt <span style='color:#111;'> 925.50KB </span>","children":null,"spread":false}],"spread":true},{"title":"系统建模与分析期中考试2018春_201853010959104.pdf <span style='color:#111;'> 429.42KB </span>","children":null,"spread":false},{"title":"uppaal-4.0.14-aca.zip <span style='color:#111;'> 5.60MB </span>","children":null,"spread":false},{"title":"信息物理融合系统调研.docx <span style='color:#111;'> 364.36KB </span>","children":null,"spread":false},{"title":"UPPAAL相关实验_20181224174931899 (1).ppt <span style='color:#111;'> 685.50KB </span>","children":null,"spread":false},{"title":"CPS调研-李志鹏-SA18225212.pdf <span style='color:#111;'> 393.58KB </span>","children":null,"spread":false},{"title":"《模型驱动开发》课程期中考试试题2018-2019（附参考答案）_201917125356833.pdf <span style='color:#111;'> 332.33KB </span>","children":null,"spread":false},{"title":"复习资料","children":[{"title":"建模考点.jpg <span style='color:#111;'> 1.77MB </span>","children":null,"spread":false},{"title":"3.0 UML(basic)_201812119328251.ppt <span style='color:#111;'> 3.37MB </span>","children":null,"spread":false},{"title":"建模总结_YH.pdf <span style='color:#111;'> 1.39MB </span>","children":null,"spread":false},{"title":"建模复习-概念题_YH.pdf <span style='color:#111;'> 547.67KB </span>","children":null,"spread":false},{"title":"系统建模与分析期中考试2018春_201853010959104.pdf <span style='color:#111;'> 429.42KB </span>","children":null,"spread":false},{"title":"系统建模.pdf <span style='color:#111;'> 955.19KB </span>","children":null,"spread":false},{"title":"Review_201917125135648 (1).ppt <span style='color:#111;'> 7.04MB </span>","children":null,"spread":false},{"title":"微信图片_20190113152024.png <span style='color:#111;'> 27.84KB </span>","children":null,"spread":false},{"title":"《模型驱动开发》课程期中考试试题2018-2019（附参考答案）_201917125356833.pdf <span style='color:#111;'> 332.33KB </span>","children":null,"spread":false},{"title":"2018上学期建模考试回忆.jpg <span style='color:#111;'> 92.05KB </span>","children":null,"spread":false},{"title":"状态机（状态图和活动图）简化.pdf <span style='color:#111;'> 374.60KB </span>","children":null,"spread":false}],"spread":false},{"title":"license.txt <span style='color:#111;'> 0B </span>","children":null,"spread":false}],"spread":true}]