具无穷时滞的分数阶抽象积分-微分方程S-渐近ω-周期弱解的存在性,王奇,王志杰,本文讨论了具无穷时滞的分数阶抽象积分-微分方程S-渐近ω-周期弱解的存在性问题,利用压缩映射原理得到了上述方程S-渐近ω-周期弱解的
2024-03-02 08:31:36 143KB 首发论文
1
Riemann-Liouville抽象分数阶松弛方程,梅占东,金瑞,本文研究抽象分数阶松弛方程。提出了Riemann-Liouville分数阶$(lpha,eta)$预解式的概念并得到了一些相关性质。结合这些性质和一般的Mittag-L
2024-03-01 15:22:28 202KB 首发论文
1
Abstract Dynamic Programming THIRD EDITION Dimitri P. Bertsekas
2022-12-10 09:28:38 7.46MB 书籍
1
麻雀 Sparrow是最新的静态分析器,旨在验证C源代码中不存在致命错误。 Sparrow是基于“抽象解释”框架进行设计的,并且在设计上进行了合理的分析。 Sparrow采用了许多成熟的静态分析技术,以实现可伸缩性,精度和用户便利性。 这是Sparrow的学术版本,不同于。 建置状态 Linux MAC OSX 麻雀依赖 要构建麻雀,您需要 > = 4.04.0 > = 1.2.2 > = 2.3.1 > = 1.7.3 > = 1.8.7 > = 0.9.10 > = 1.2.3 > = 0.1.3 > = 113.33 > = 4.1 (可选)您需要满足以下先决条件才能使用机器学习功能 Python > = 2.7 Scikit学习> = 0.18 使用OPAM安装Sparrow 安装Sparrow的最简单方法是使用OPAM 。 克隆源代码后,运
2022-12-06 16:13:31 244KB c static-analyzer abstract-interpretation OCaml
1
本文以适合高年级本科生和研究生的水平全面介绍了现代或抽象代数。
2022-10-24 20:17:00 123B 计算机科学
1
主要介绍了JAVA抽象类和抽象方法(abstract),结合实例形式分析了java抽象类及抽象方法相关定义、使用技巧与操作注意事项,需要的朋友可以参考下
2022-10-06 18:27:47 47KB JAVA 抽象类 抽象方法 abstract
1
RemObjects Data Abstract for Delphi - 6.0.39.777 full source (1)
2022-09-11 21:10:37 19MB RemObjects Data Abstract for
1
RemObjects Data Abstract for Delphi - 6.0.39.777 full source (2)
2022-09-11 21:10:17 19MB RemObjects Data Abstract for
1
抽象电线效果
2022-08-26 21:09:34 14.88MB unity assets unity3d vfx
1
Abstract Paintings Dataset 抽象绘画数据集.zip
2022-06-29 09:06:42 1.02GB 数据集