登录
首页 » C++ Builder » uppaal-4.0.13-aca

uppaal-4.0.13-aca

于 2013-11-18 发布 文件大小:5532KB
0 234
下载积分: 1 下载次数: 6

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • C_Easy_Ref
    Easy C reference for C beginner
    2010-10-23 13:50:46下载
    积分:1
  • job
    有m台不同的机器,n个不同的工件。每个工件有多道工序,每道工序由指定的机器在固定的时间内完成。一道工序一旦开始处理,就不能中断。每台机器一次只能处理一道工序。一个调度就是决定每台机器上工序的处理顺序,使得机器完成所有工件的时间最短。具体的,该问题就是要求在满足(1)、(2)两个约束条件的前提下,确定每台机器上工序的顺序,使加工的时间跨度(从开始加工到全部工件都加工完所需要的时间)达到最小。其中,(1)表示工件约束条件:对每个工件而言,机器对它的加工路线是事先确定的;(2)表示机器约束条件:对每台机器而言,一次只能对一道工序进行加工。()
    2007-09-18 23:30:48下载
    积分:1
  • feixianxing
    非线性整数规划的遗传算法Matlab程序
    2010-08-20 21:39:47下载
    积分:1
  • ServerSyncProvider
    microsoft synchronization sample for Oracle(Server side)
    2009-04-30 15:32:55下载
    积分:1
  • readdicomPicWithC++ByLee
    view dicom picture with C++
    2010-09-21 10:31:14下载
    积分:1
  • an263
    The reference design comprises a MATLAB bit accurate model of the CORDIC algorithm implemented in hardware and a GUI test environment. The test environment allows you to configure the CORDIC reference design and test conditions and to compare the results with the theoretical results.
    2010-06-03 19:55:06下载
    积分:1
  • LABOS1
    labos1 UTR 2007/08 programiranje robota-autica
    2009-06-21 02:29:22下载
    积分:1
  • ProjetoWebProva
    prova de sistemas web
    2014-01-31 12:05:55下载
    积分:1
  • lungbayesdemo
    在matlab软件上模拟肺肿瘤生长,吸烟是诱发肺肿瘤的主要原因。(Matlab software to simulate the growth of lung cancer, lung cancer induced by smoking is the main reason.)
    2010-11-17 12:21:07下载
    积分:1
  • sift-match
    SIFT -MATCH BY David Lowe USING C AND MATLAB(SIFT-MATCH BY David Lowe USING C AND MATLAB)
    2014-02-21 17:10:57下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载