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

搜索资源列表

  1. 具有可检查性的安全外包基于属性的加密

  2. 具有可检查性的安全外包基于属性的加密
  3. 所属分类:其它

    • 发布日期:2021-03-19
    • 文件大小:507904
    • 提供者:weixin_38739950
  1. 自动生成定向测试的面向学习的属性分解

  2. 基于SAT的边界模型检查(BMC)有望用于自动生成定向测试。由于状态空间爆炸问题,基于SAT的BMC不适合处理具有较大SAT实例或较大范围的复杂属性。在本文中,我们提出了一个框架,该框架可通过利用基于决策顺序的分解子属性学习来自动降低SAT伪造的复杂性。我们的框架做出了三项重要的贡献:i)针对复杂属性伪造提出了面向学习的分解技术,ii)利用对分解后的子属性的学习提出了一种有效的方法来加速复杂属性伪造,iii)结合了两者的优点属性分解和属性聚类以减少总体测试生成时间。使用软件和硬件基准测试的实验结
  3. 所属分类:其它

    • 发布日期:2021-03-18
    • 文件大小:1048576
    • 提供者:weixin_38621365
  1. data-structures-time-analyze-cpp:使用C ++进行项目检查,以检查对数据结构(如数组,链表,堆栈,队列)的操作时间-源码

  2. 数据结构时间分析C ++ 检查数据结构上的操作时间的程序,例如: 大批 列表 堆 队列 使用程序 在配置文件中设置属性: 选择带有示例数据和数据量的文件 保存结果时选择文件 输入一系列任务以通过程序进行测试 config.ini语法 . . . 任务语法 , , , , 示例config.ini data.csv 1000000 results.csv array 1 1000 2 10 stack 5 200 5 1 list 1 100000
  3. 所属分类:其它

    • 发布日期:2021-03-18
    • 文件大小:7168
    • 提供者:weixin_42099070
  1. 基于概率模型检查的工作站集群故障修复方法

  2. 为了分析工作站集群中的组件模块和维护单元模块,提出了一种基于概率模型检查的工作站集群故障修复方法。 在提出的方法中,当工作站等待维修时引入了队列模型,并根据组件功能的重要性分配了不同的优先级。 通过扩展的连续时间马尔可夫链建立系统的形式化模型,通过连续随机逻辑描述系统的属性,并通过PRISM对故障修复模块进行验证。 实验结果表明,该方法可以大大减少维护过程所需的时间,提高了系统的维护效率和容错能力。
  3. 所属分类:其它

    • 发布日期:2021-03-14
    • 文件大小:393216
    • 提供者:weixin_38711333
  1. 基于 RDD关键度的Spark检查点管理策略

  2. Spark默认容错机制 由程序员设置检查点,并 利 用 弹 性 分 布 式 数 据 集 (resilientdistributeddataset,RDD)的血统(lineage)进行计算.在应用程序复杂度高、迭代次数多以及数据量较大时,恢复过程需要耗费大量的计算开销.同时,在执行恢复任务时,仅考虑数据本地性选择节点,并未考虑节点的计算能力,这都会导致恢复时间增加,无法最大化发挥集群的性能.因此,在建立 Spark执行模型、检查点模型 和 RDD 关键度模型的 基础上,提出一种基于关 键度的检查点
  3. 所属分类:其它

    • 发布日期:2021-03-11
    • 文件大小:393216
    • 提供者:weixin_38638647
  1. QA-System:实施质量检查体系。 这是NLPCC-ICCPOL共享任务“开放域问题解答”的代码。-源码

  2. 质量检查系统 实施质量检查体系。 这是NLPCC-ICCPOL共享任务“开放域问题解答”的代码。 任务包括两部分: kbqa和dbqa ,前者是在给定知识库的情况下实施QA系统,而后者则需要从问题的给定文档中选择句子作为答案。 对于dbqa任务,我们使用LSTM层对问题进行编码,并使用另一个LSTM层对答案进行编码,然后计算这两个向量之间的角度。 如果答案和问题成对,我们希望这两个向量方向相同,否则让它们彼此垂直。 最后,对于新的一对问答,请根据其隐藏表示的角度对它们进行分类。 我们将Ker
  3. 所属分类:其它

    • 发布日期:2021-03-11
    • 文件大小:3145728
    • 提供者:weixin_42102933
  1. SystemProperties:Adobe Air本机扩展系统属性-源码

  2. 系统属性 ================ Adobe Air本机扩展系统属性(Android / IOS) 如果您喜欢我提出的认捐,请: SystemProperties类可以提供一些Adobe无法获得的缺少的属性。 还可以检查IOS是否可以与其他程序一起打开URL。 setNetworkActivityIndi​​catorVisibility 用法(徽章): if(SystemProperties.isBadgeSupported()) SystemProperties.g
  3. 所属分类:其它

    • 发布日期:2021-03-11
    • 文件大小:830464
    • 提供者:weixin_42135073
  1. type:常见类型,类型防护罩和检查器-源码

  2. 配套 基于有用软件包。 包裹 描述 状态 自述文件 变化检测 提高应用程序性能。 进行中 棱镜 Prism荧光笔模块。 进行中 财产 处理属性的功能。 进行中 ui 基于用户界面。 进行中 类型 常见的类型,类型卫士和检查器。 | 角包装/类型 常见的类型,类型卫士和检查器。 // Guard functions. import { guardArray , guardFunction , guardNumber , guardObject , guardObjectKey
  3. 所属分类:其它

    • 发布日期:2021-03-09
    • 文件大小:162816
    • 提供者:weixin_42134240
  1. web-namespace-registry:用于自定义元素,数据属性,自定义属性和css属性的名称空间的注册表-源码

  2. Web命名空间注册表 用于自定义元素,数据属性,自定义属性和CSS属性的名称空间的注册表 检查是否使用名称空间 添加自己的框架 开叉,扩展registry.v1.json并发出拉取请求。
  3. 所属分类:其它

    • 发布日期:2021-03-08
    • 文件大小:4096
    • 提供者:weixin_42143221
  1. kind2:基于多引擎SMT的自动模型检查器,可确保Lustre程序的安全性-源码

  2. 种类2 是基于Lustre程序安全性的多引擎,基于SMT的并行并行自动模型检查器。 种类2是命令行工具。 它以注有被证明为不变的属性的Lustre文件作为输入(请参见 ),并输出所有输入中正确的属性,以及伪造的那些属性的输入序列。 为了简化外部工具的处理,种类2可以将结果以JSON和XML格式 (请参阅 )。 默认情况下,种类2运行用于边界模型检查(BMC)的过程,用于k归纳的两个过程(一个用于k = 2的固定值,另一个用于增加k的值),几个用于不变生成的过程以及一个过程同时对所有属性的I
  3. 所属分类:其它

    • 发布日期:2021-03-06
    • 文件大小:2097152
    • 提供者:weixin_42126399
  1. Liberty Mutual Group: Property Inspection Prediction 利宝互助保险集团:财产检查预测-数据集

  2. 百多年来,作为财富100强公司之一,利宝互助保险提供了广泛的保险产品和服务,以满足客户不断变化的需求。为了确保利宝互助保险集团的家庭保险政策组合与他们的业务目标一致,许多新投保的房产都会接受房屋检查。这些检查检查了房产的关键属性,包括地基、屋顶、窗户和壁板等。检查的结果有助于利宝互助保险公司确定该财产是否是他们想要的保险财产。在这个挑战中,您的任务是使用财产信息数据集预测危险或已存在损害的转换数量。这将使利宝互助保险公司能够更准确地识别需要额外检查以确定其可保性的高风险房屋。 Liberty
  3. 所属分类:其它

  1. OpenRobotDatabase:开放式机器人数据库-简称“ ORD”-本质上是yaml文件的集合,列出了您通常在机器人数据表中找到的机器人的属性。 我出于新闻目的将其公开,希望它对某人有帮助-源码

  2. 开放式机器人数据库(ORD) 开放式机器人数据库(简称“ ORD”)本质上是yaml文件的集合,列出了您通常在机器人数据表中找到的机器人的属性。 有很多列出了不同的机器人,以及它们的有效负载能力,最大可达性,笛卡尔速度或可重复性。 但是,我还想添加其他信息,并想查询,过滤和这些信息。 因此,我坐下来创建了这些yaml文件,希望通过此存储库与社区共享,以用于新闻目的,希望这些数据对某人有所帮助。 储存库组织 yaml文件组织在两个目录中。 脚本test_yaml.py检查所有文件中的数据格式是否
  3. 所属分类:其它

    • 发布日期:2021-03-04
    • 文件大小:254976
    • 提供者:weixin_42146230
  1. nicer-image-names:Magento扩展名,可从产品属性构建目录图像文件名,以便它们具有简洁的描述性名称-源码

  2. 此Magento 1扩展程序是孤立的,不受支持的,不再维护。 如果使用它,您将有效地为自己的项目采用代码。 更好的图像名称 根据产品属性构建图像文件名,以便它们具有简洁的描述性图像名。 事实 版本:检查 扩展密钥:Netzarbeiter_NicerImageNames Magento Connect上的扩展:- Magento Connect 1.0扩展密钥:- Magento Connect 2.0扩展密钥:- 描述 这个小扩展名从产品属性构建图像文件名,从而使客户可以保存图像,然
  3. 所属分类:其它

    • 发布日期:2021-03-01
    • 文件大小:22528
    • 提供者:weixin_42102933
  1. Watch.JS:监视任何对象或属性的更改-源码

  2. Watch.js 1.4.2 :warning: 该项目不再维护,要进行更积极的开发,请检查 关于 Watch.JS是一个小型库,具有很多可能性。 您可能知道,“观察者”设计模式涉及在观察到的对象发生更改时执行某些功能。 存在执行此操作的其他库,但是使用Watch.JS,您将不必更改开发方式。 查看示例,以了解将Watch.JS添加到代码中有多么简单。 与所有严肃的浏览器兼容:P 适用于:IE 9 +,FF 4 +,SF 5 +,WebKit,CH 7 +,OP 12 +,BESEN,Nod
  3. 所属分类:其它

    • 发布日期:2021-02-28
    • 文件大小:75776
    • 提供者:weixin_42101056
  1. 快速检查:自动进行基于属性的Rust测试(具有收缩功能)-源码

  2. 快速检查 QuickCheck是一种使用随机生成的输入进行基于属性的测试的方法。 此板条箱具有随机生成和收缩整数,浮点数,元组,布尔值,列表,字符串,选项和结果的功能。 QuickCheck的所有需求都是一个属性函数-然后它将随机生成该函数的输入,并为每组输入调用该属性。 如果属性失败(无论是由于运行时错误(如索引越界还是不满足您的属性)),输入都会“缩小”以查找较小的反例。 列表和数字的缩小策略使用二进制搜索来快速覆盖输入空间。 (它应该与使用的策略相同)。 MIT或双重许可。 文献资料
  3. 所属分类:其它

    • 发布日期:2021-02-28
    • 文件大小:36864
    • 提供者:weixin_42138376
  1. 量子马尔可夫链:混合系统的描述,等价性以及模型检查线性时间属性

  2. 量子马尔可夫链:混合系统的描述,等价性以及模型检查线性时间属性
  3. 所属分类:其它

    • 发布日期:2021-02-26
    • 文件大小:548864
    • 提供者:weixin_38694343
  1. Industry-Dropdown-Cookie:这会检查URL并根据用户是否进入Thankyou URL来设置cookie,因此删除了selectelement,该selectelement阻止用户无需选择元素即可继续进行结帐,从而避免了

  2. 行业下降的Cookie 这将检查URL并根据用户是否进入Thankyou URL来设置cookie,因此删除了select元素,该选择元素阻止用户无需选择元素即可继续进行结帐,从而避免多次选择。 内容 CustomerTagchecker.liquid这通过一次检查来检查客户是否具有标签,以检查客户是否具有标签,然后循环检查客户是否被标记为以下任何行业的标签:拥有一个流程,在该流程中,客户标记了他们选择的任何行业,然后通过查看订单属性来触发该流程,如果有订单具有行业订单属性,则该流程会标记所订
  3. 所属分类:其它

    • 发布日期:2021-02-26
    • 文件大小:3072
    • 提供者:weixin_42164685
  1. siero-bot:TAIHEN DESU! 这是一款适用于Discord的Granblue Fantasy机器人。 记录您的火花,滚动模拟gacha,检查时间表等-源码

  2. Siero是Granblue Fantasy团队的Discord机器人。 她可以帮助您保存火花,模拟gacha等。 用法 有关更多如何使用Siero的信息,请参见 。 安装 Wiki还包含有关如何在本地计算机上运行Siero的。 贡献 在为项目做贡献之前,请阅读并理解》。 执照 Siero已获得GNU通用公共许可证3.0的许可。 简而言之,这意味着您可以自由地在您自己的项目中使用,修改或分发此代码,只要您对代码进行适当的属性设置并且派生项目是开源的即可。 您可以在文件中了解更多信息。
  3. 所属分类:其它

    • 发布日期:2021-02-26
    • 文件大小:155648
    • 提供者:weixin_42103128
  1. 检查计量方案可观察性和不良数据处理能力的新数值算法

  2. 本文提供了一种统一的方法,用于通过状态估计来优化用于电力系统在线监测的测量位置。 所提出的方法可能适用于混合测量系统,通过使用数值算法进行可观察性检查,关键测量和关键对识别,保留了状态估计的可观察性和坏数据处理能力。 首先,定义节点注入基数测量和测量类别。 根据以上定义,可以求解系数矩阵。 对系数矩阵的列向量的分析可以确定每个测量类别。 此外,每个测量类别包含的编号可以确定不良数据处理能力。 可以通过测量类型的数量来检查可观察性。 IEEE39总线系统和IEEE118总线系统说明了所提出的方法。
  3. 所属分类:其它

    • 发布日期:2021-02-25
    • 文件大小:395264
    • 提供者:weixin_38702110
  1. 基于决策形式上下文的概念格属性约简理论

  2. 概念格理论是用于知识表示和知识发现的有效工具,已成功地应用于许多领域。 知识发现的重点之一是知识减少。 基于经典形式上下文的约简理论,提出了决策形式上下文的定义及其约简理论,对概念格的约简理论进行了扩展。 本文分别定义了决策形式语境的强一致性和弱一致性。 对于强烈一致的决策形式语境,检查了一致集的判断定理,并给出了简化方法。 对于弱一致性决策形式上下文,定义了隐含映射,并研究了它的约简。 最后,讨论了弱一致性决策形式上下文的约简与蕴涵映射的约简之间的关系。
  3. 所属分类:其它

    • 发布日期:2021-02-22
    • 文件大小:269312
    • 提供者:weixin_38669091
« 1 2 34 5 6 7 8 9 10 ... 50 »