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

搜索资源列表

  1. FDR中两环积分的数值评估

  2. 我们提出了一种在四维正则化/重归一化方法中对红外有限的一环和二环积分进行数值评估的方法，该方法以较小的质量作为调节器。 典型的积分表现出对该质量的对数依赖性，我们借助合适的减法项提取该质量，可以轻松地对其进行分析积分，直到显示出对数结构。 作为测试该方法的第一个物理应用程序，我们计算了QCD校正，该校正对标量和拟标量希格斯玻色子在无限上夸克质量以及ρ参数范围内的衰减成两个光子。

  3. 所属分类：其它

    • 发布日期：2020-04-23
    • 文件大小：446464
    • 提供者：weixin_38716423

  1. 对FDR中的&lt;math&gt; <mrow> <mi> H </ mi> <mo>→</ mo> <mi> gg </ mi> <

  2. 我将FDR（一种最近引入的针对量子场论（QFT）的四维方法）应用于对 H 的NLO QCD校正的计算。 →较大的最大质量限制中的→ g g 。 除了 α之外，计算还涉及QCD的所有关键要素，即紫外线，红外线和共线发散。

  3. 所属分类：其它

    • 发布日期：2020-03-23
    • 文件大小：295936
    • 提供者：weixin_38751014

  1. 四个维度的NNLO最终状态夸克对校正

  2. 我们描述了如何通过在正则化发散积分的定义中直接实施规范不变性和统一性来在FDR中计算NNLO最终状态夸克对校正。 我们提供了方法的细节，并展示了如何将虚拟和实际贡献合并在一起而无需显式或隐式地依赖于维度正则化。 例如，我们重新计算$$ {H} \ rightarrow b {\ bar {b}} + {jets} $$ H → b b <

  3. 所属分类：其它

    • 发布日期：2020-03-22
    • 文件大小：751616
    • 提供者：weixin_38531630

  1. The Unbiased Property of the Two-step Procedure Under Positive Dependence

  2. 正相依条件下两步检验过程的无偏性质，庄玮玮，杨建萍，在多重检验问题中，由 Benjamini 和 Hochberg 引入的假发现率（FDR）在过去的十多年里已经得到了广泛的使用。为了对不同的FDR控制的检验过

  3. 所属分类：其它

    • 发布日期：2019-12-29
    • 文件大小：260096
    • 提供者：weixin_38505158

  1. 温度对FDR测量土壤体积含水量的影响.pdf

  2. 温度对FDR测量土壤体积含水量的影响pdf,温度对FDR测量土壤体积含水量的影响966 冰 川 冻 土 32卷 表3ID所测土样体积含水量(20℃) Table 3 FDR measured soil volumetric water contents values(20C) 土样编号 土样1 土样2 土样3 土样4 土样5 土样6 土样7 土样8 体积含水量/%(v/v) 13.5 21.7 42.7 21.6 43.5 土样编号 土样9 土样10 土样1 土样12土样13土样14土样15土样

  3. 所属分类：其它

    • 发布日期：2019-09-14
    • 文件大小：310272
    • 提供者：weixin_38744375

  1. 通信与网络中的数据独立技术在CSP协议模型中的设计与实现

  2. 1996年，Lowe首先使用通信顺序进程CSP和模型检测技术分析NSPK(Needham-Schroeder Public Key)协议，并成功发现了协议中的一个中间人攻击行为。随后，Roscoe对CSP和FDR(Fallures-Divergence Refinenent)的组合做了进一步研究，认为CSP方法是形式分析安全协议的一条新途径。事实证明，CSP方法对于安全协议分析及发现安全协议攻击非常有效。但是类似FDR的模型检测通常受Nonce、Key等新鲜值大小的限制，而在实际执行中所需的数据

  3. 所属分类：其它

    • 发布日期：2020-11-18
    • 文件大小：244736
    • 提供者：weixin_38557757

  1. Casper/FDR和串空间在物联网通信协议中的形式化分析

  2. 通过应用实例研究了如何用Casper/FDR和串空间两种分析方法对通信协议进行形式化分析:用Casper/FDR对协议的有穷状态进行穷举验证,当发现协议漏洞时会自动给出攻击的迹,但是此方法会产生状态爆炸的问题;串空间方法正好可以解决状态爆炸问题,用串空间对协议的各种状态进行证明,但是如果发现了协议漏洞,该方法不能给出攻击者的迹。

  3. 所属分类：其它

    • 发布日期：2021-03-02
    • 文件大小：521216
    • 提供者：weixin_38688550

  1. 利用CSP方法对IEEE 802.11w形式化分析

  2. 运行在IEEE 802.11i基础上的IEEE 802.11w增加了对无线网络管理帧的保护,针对IEEE 802.11w协议的安全性问题,利用了通信顺序进程(CSP)对其进行形式化分析。对协议运行在恶意环境中,存在攻击者的情况下,利用CSP方法建立了攻击者和协议主体的CSP进程模型。使用模型检测工具故障发散改进器(FDR)进行仿真实验,对协议的认证和安全属性进行了校验,发现该协议存在中间人攻击情况,为提高IEEE 802.11w的安全性提供了帮助。

  3. 所属分类：其它

    • 发布日期：2021-03-02
    • 文件大小：864256
    • 提供者：weixin_38562026

  1. 物联网中安全通信协议的形式化分析

  2. 针对物联网通信协议安全性不足和使用非形式化方法进行分析时容易出现错误的问题,提出了一种物联网安全通信协议,建立了协议主体模型和攻击者模型,采用通信顺序进程CSP的形式化方法对协议模型进行了分析。该通信协议对传送的信息进行加密,采用的加密方式是散列函数结合异或运算。协议主体进行了相互认证,认证服务器为协议主体通信分配了会话密钥,解决了读写器非法扫描和信息安全传送的问题。利用故障发散改进检测器(FDR)对该协议模型CSP进程进行了检测,结果表明:该协议主体进行了相互认证,会话密钥是安全的,所提出的物

  3. 所属分类：其它

    • 发布日期：2021-03-02
    • 文件大小：686080
    • 提供者：weixin_38618315

  1. 钻石-源码

  2. DIAMOND：16S扩增子和shot弹枪宏基因组分析 使用R（版本3.5.0和3.6.1）进行统计分析 PERMANOVA（纯素中的adonis函数，版本2.5.6，10,000个排列）用于量化协变量对观察到的微生物β多样性方差的贡献 MaAsLin2用于确定单个微生物分类之间的关联，这些分类存在于≥10％的样本中 未配对的Wilcoxon（rstatix，版本0.3.0）和Kruskal-Wallis检验分别用于比较两个独立小组和> 2个独立小组。 卡方独立性检验和Fisher精确检

  3. 所属分类：其它

    • 发布日期：2021-02-10
    • 文件大小：7168
    • 提供者：weixin_42099858

  1. &nbsp;基于FDR码改进分组的SoC测试数据压缩方法

  2. 文章提出一种基于FDR码改进分组的SoC测试数据压缩方法。经过对原始测试集无关位的简单预处理，提高确定位0在游程中的出现频率。在FDR码的基础上，改进其分组方式，通过理论证明其压缩率略高于FDR编码，尤其是短游程的压缩率。用C语言编写程序模拟两种编码方法的软件实现程序，实验结果证明了改进分组的FDR编码方法的有效性和高压缩性。

  3. 所属分类：其它

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

  1. 基于CSP方法的移动自组织网络认证协议TAM的分析与改进

  2. 针对移动自组织网络认证协议应对安全威胁、满足安全目标的有效性问题，提出了采用基于通信顺序进程（CSP, communicating sequential process）和模型检测的协议分析方法，对移动自组织网络的代表性认证协议TAM进行分析、建模、检验并改进。首先采用CSP方法对TAM中参与者的通信行为建立模型、给出了安全目标的安全规范；然后利用模型检测工具FDR验证了TAM的CSP进程，结果表明TAM不满足认证性和机密性安全规范；最后对TAM进行了改进并检验，结果表明改进后的TAM满足安全目

  3. 所属分类：其它

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

  1. Sepsis-diagnosis-from-pairwise-single-cell-RNA-Continued-源码

  2. 从成对单细胞RNA进行败血症诊断 存储与此项目有关的所有相关代码。 数据预处理 -请检查“数据预处理”文件夹。 readdata.py包含数据预处理阶段的相关代码。 changefdrlimit.py在实验过程中更改Fdr阈值。 deleteSparseData.py会在实验期间更改稀疏阈值。 read_specgenes.py选择特定基因与其他生物标记进行比较。 模型训练 3s_series_trTran_CNN包含我们在课程中选择的模型的相关代码。 （Transformer + CNN，E

  3. 所属分类：其它

    • 发布日期：2021-03-29
    • 文件大小：325058560
    • 提供者：weixin_42160252