您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. ASP非单调推理的各种求解器 以及程序范例

  2. 包含ASP非单调推理的各种求解器(注意,不是网页制作的ASP!) clasp claspD clingo iclingo dlv gringo lparse smodels 以及几个程序范例
  3. 所属分类:C#

    • 发布日期:2010-08-22
    • 文件大小:2097152
    • 提供者:harrysummer
  1. smodels工具

  2. windows下可以运行的smodels
  3. 所属分类:其它

    • 发布日期:2012-09-30
    • 文件大小:1048576
    • 提供者:fan2qin
  1. 异国BSM搜索的简化模型

  2. 简化模型是解释当前LHC搜索超出标准模型(BSM)的模型的成功方法。 到目前为止,简化的模型集中于具有横向能量(MET)标记缺失的拓扑。 但是,在某些BSM理论中,会出现其他更为奇特的签名。 如果带电粒子在对撞机时间尺度上具有长寿命(在SUSY参数空间的某些部分中就是这种情况),则会导致非常不同的签名。 我们提出了计算机模型SModelS的扩展,其中包括简化的重稳定带电粒子(HSCP)模型。 作为一种物理应用,我们研究了含有长寿命staus的CMSSM stau共strip灭带,这为锂问题提供了
  3. 所属分类:其它

    • 发布日期:2020-04-09
    • 文件大小:1048576
    • 提供者:weixin_38722317
  1. 通过搜索长寿命粒子来约束新物理:SModelS的实现

  2. 我们向SModelSv1.2中介绍了重稳定电荷粒子(HSCP)和R-强子签名的实现。 我们包括来自8 TeV LHC和13 TeV LHC的简化模型结果,并展示了它们对由暗物质激发的两种新物理场景的影响:惰性双峰模型和gravitino暗物质场景。 对于前者,我们发现对于惰性二重态中的小质量分裂,暗物质质量高达580 GeV的灵敏度,而缺少的能量搜索无法约束宇宙学首选参数空间的任何重要部分。 对于格拉维蒂诺暗物质场景,我们表明HSCP和R-强子搜索都提供了重要的限制,从而限制了再加热温度的可行范
  3. 所属分类:其它

    • 发布日期:2020-04-02
    • 文件大小:1048576
    • 提供者:weixin_38665814
  1. Observer-based fuzzy control for nonlinear fractional-order systems via fuzzy T-S models: The 1<α<2 case

  2. Observer-based fuzzy control for nonlinear fractional-order systems via fuzzy T-S models: The 1<α<2 case
  3. 所属分类:其它

    • 发布日期:2021-02-11
    • 文件大小:527360
    • 提供者:weixin_38697063