注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 自动排课系统 V1.1（源码）

  2. 这是一个中小学排课系统，采用模拟退火算法框架实现，排课效果好，速度快， C＃实现，在vs.net 2005编译通过。 模拟退火算法 　　模拟退火算法来源于固体退火原理，将固体加温至充分高，再让其徐徐冷却，加温时，固体内部粒子随温升变为无序状，内能增大，而徐徐冷却时粒子渐趋有序，在每个温度都达到平衡态，最后在常温时达到基态，内能减为最小。根据Metropolis准则，粒子在温度T时趋于平衡的概率为e-ΔE/(kT)，其中E为温度T时的内能，ΔE为其改变量，k为Boltzmann常数。用固体退火模

  3. 所属分类：其它

    • 发布日期：2008-01-17
    • 文件大小：238592
    • 提供者：wfoegl

  1. 小日本视频转换器

  2. TMPGEnc 是日本人堀浩行开发的一套老牌的高画质视频编码转换工具软件，在 Canopus ProCoder v2.0 Final 推出以前，一直是视频转换领域的画质冠军，支持 VCD、SVCD、DVD 以及所有主流媒体格式 (Windows Media、Real Video、Apple QuickTime、Microsoft DirectShow、Microsoft Video for Windows、Microsoft DV、Canopus DV、Canopus MPEG-1 和 MPE

  3. 所属分类：电子商务

    • 发布日期：2011-11-07
    • 文件大小：2097152
    • 提供者：nhbxsun

  1. 优化算法：在C ++中进行优化实验-源码

  2. 优化算法 这是一些优化问题的集合，这些问题本来就是我课程的一部分。 我现在的目标是扩展算法，提高代码模块化，添加更多测试，并添加数据分析和结果可视化。 状态：进行中（截至10/2020） 内容 定义标准基准功能 代表优化问题的目标 实现盲搜索/随机游走算法 需要问题实例作为目标 实现本地搜索算法 需要问题实例作为目标 实现差分进化算法 需要问题实例作为目标 实施NEH启发式解决流水车间排序问题 需要通过CSV文件输入FSS问题实例

  3. 所属分类：其它

    • 发布日期：2021-02-14
    • 文件大小：449536
    • 提供者：weixin_42146274

  1. essentia：C ++库，用于音频和音乐分析，描述和合成，包括Python绑定-源码

  2. 本质 Essentia是开放源C ++库，用于根据Affero GPL许可发布的音频分析和基于音频的音乐信息检索。 它包含大量可重用的算法，这些算法实现了音频输入/输出功能，标准的数字信号处理模块，数据的统计特性以及大量的频谱，时间，音调和高级音乐描述符。 该库还包装在Python中，并包括许多用于可用音乐描述符的预定义可执行提取器，这有助于其用于快速原型制作，并可以非常快速地进行研究实验。 此外，它包括一个Vamp插件，可与Sonic Visualiser一起使用以实现可视化目的。 Esse

  3. 所属分类：其它

    • 发布日期：2021-02-05
    • 文件大小：72351744
    • 提供者：weixin_42116705

  1. smack：SMACK软件验证程序和验证工具链-源码

  2. SMACK既是模块化软件验证工具链，又是独立的软件验证程序。 它可以用来验证其输入程序中的断言。 在默认模式下，对声明进行验证，直到达到循环迭代和递归深度的给定界限为止； 它还包含对无边界验证的实验支持。 SMACK处理C语言的复杂功能，包括动态内存分配，指针算术和按位运算。 在幕后，SMACK是从编译器流行的中间表示（IR）到中间验证语言（IVL）的翻译器。 采购LLVM IR会利用越来越多的编译器前端，优化和分析。 尽管我们正在努力提供对其他语言的支持，但当前SMACK仅通过编译器支持C语

  3. 所属分类：其它

    • 发布日期：2021-01-30
    • 文件大小：1048576
    • 提供者：weixin_42117267