这是旨在复兴Alchemy2项目的尝试。
Alchemy 2.0包含原始Alchemy系统中的以下算法：
判别权重学习（投票感知器，共轭梯度和牛顿法）
生殖体重学习
结构学习
命题MAP / MPE推断（包括内存有效）
命题和惰性概率推理算法：MC-SAT，Gibbs采样和模拟回火
提升信念传播
支持本机和链接功能
块推论和学习具有互斥和穷举值的变量
EM（用于在学习过程中处理未知真值的地面原子）
不可分割公式的说明（即，不应分解为单独子句的公式）
支持连续的功能和领域
在线推论
决策理论
Alchemy 2.0的关键新功能是提升了推理算法（精确的和基于采样的）。 具体来说，它包括以下推理算法：
概率定理证明（提升加权模型计数）
重要性重要性提升
提升吉布斯采样
通过使用Alchemy，您同意接受license.txt中的许可协议
src /包含源代码和一个makefi
2023-12-12 19:42:48
1.92MB
1
(Z)-2-(5-氨基-1,2,4-噻二唑-3-基)-2-乙氧亚胺基乙酸是制备第5代头孢菌素头孢洛林酯的重要中间体,归纳总结了其合成方法。
2023-12-10 17:16:48
1.06MB
1
在两希格斯二重峰模型的框架中，一个希格斯二重峰可能与费米子具有与标准模型相同的相互作用，而另一希格斯二重峰仅具有μ-τ轻子味违反相互作用。 假设Yukawa矩阵是实且对称的，我们施加了各种相关的理论和实验约束，并且发现τ衰变中的μ介子g-2和轻子风味普遍性的过量可以在两者之间的小质量分裂区域同时解释。 重电荷奇偶校验（CP）-希格斯（Higgs）和CP奇数希格斯（mA> mH）。 在大型强子对撞机上进行的多轻子事件搜索可以显着减小额外希格斯质量范围，并且要求mH大于560 GeV。
2023-12-10 09:36:14
1.17MB
1
ASAM MCD-2 MC Specification V1.7 在其他资源的基础上添加了书签功能，更方便快速阅读定位
2023-12-08 16:17:12
1.78MB
1
Goby红队专版:集成1500个poc和exp ，覆盖普通版本所有功能，开箱即用
使用方式: 解压后双击goby.exe运行即可
注意事项: 最新的漏洞不可以在线更新，可自行添加poc和exp
重要的事情说三遍
不要用于非法或未授权测试！
不要用于非法或未授权测试！
不要用于非法或未授权测试！
自行判断可刑性！
2023-12-07 12:28:10
108.24MB
1
stm32cubemx V6.9.2 版本，STM32开发辅助软件，不用email 直接下载
VScode
2023-12-05 00:45:29
534.19MB
1