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

搜索资源列表

  1. delphi边界检查工具

  2. delphi辅助边界检查工具,喜欢delphi的朋友一定要试用下

  3. 所属分类：Delphi

    • 发布日期：2009-11-16
    • 文件大小：17825792
    • 提供者：gogotook

  1. Labview经典程序算法

  2. 许多的labview常用算法FIR滤波器 边界检查 多谐波发生器 双边傅里叶变换 谐波失真 最小二乘拟合等。。

  3. 所属分类：其它

    • 发布日期：2010-06-28
    • 文件大小：2097152
    • 提供者：blackhorse5

  1. C# 读取文本文档内容 并显示为线 检查边界

  2. C# 读取文本文档内容 并显示为线 检查边界错误点 C# 读取文本文档内容 并显示为线 检查边界错误点 C# 读取文本文档内容 并显示为线 检查边界错误点 C# 读取文本文档内容 并显示为线 检查边界错误点 C# 读取文本文档内容 并显示为线 检查边界错误点 C# 读取文本文档内容 并显示为线 检查边界错误点

  3. 所属分类：C#

  1. cpp-checkedcC语言扩展增加了边界检查

  2. Checked C 是微软研究院的一个项目，对C语言进行了扩展，增加了边界检查。

  3. 所属分类：其它

    • 发布日期：2019-08-16
    • 文件大小：445440
    • 提供者：weixin_39840387

  1. 井筒检查钻孔在阳煤五矿花荷裕风井施工中应用

  2. 根据阳煤集团五矿贵石沟井南翼通风系统改造方案,需在南翼二区大巷与五、交采区东边界交汇处新建一对进回风井(花荷峪进回风井),通过施工井筒检查孔提前查明了井筒附近地层属含水小的含水层,第四系地层平均厚4.00 m,含1~2层细砂土,工程地质条件差,井筒施工该层段时应制定专项措施,加固井筒围岩,基岩风化带以下地层工程地质条件相对较好。为井筒施工设计提供了详实的地质资料,确保了风井可以顺利施工。

  3. 所属分类：其它

    • 发布日期：2020-05-05
    • 文件大小：130048
    • 提供者：weixin_38658568

  1. 拉边界到大块

  2. 出于始终如一地为一般凸面应用Ryu-Takayanagi处方的能力以及张量网络中纠缠和几何之间的关系的动力，我们引入了一种新颖的协变体对象-全息切片。 通过考虑边界状态下短距离信息的连续去除来找到全息切片。 因此，它提供了一系列粗粒度全息状态的整体对偶的自然解释。 切片具有许多理想的属性，可为其边界解释提供一致性检查。 这些包括面积和纠缠熵的单调性，唯一性以及无法探测到较晚的黑洞视界。 另外，全息切片在纠缠阴影后面照亮了物理现象，因为锚定到粗粒度边界的最小面积的极值表面可能会探测纠缠阴影。 这使

  3. 所属分类：其它

    • 发布日期：2020-05-04
    • 文件大小：784384
    • 提供者：weixin_38677234

  1. 历时平均零能量状态，弱宇宙检查和AdS / CFT对偶

  2. 我们研究了弯曲时空中强耦合条件下一类共形场理论（CFT）的时空平均零能条件（ANEC）。 通过应用AdS / CFT对偶，我们发现了违反3 + 1和4 + 1维边界理论的时空ANEC的全息模型。 在我们的模型中，整体时空是渐近的AdS真空气泡解决方案，既没有因果关系也没有奇异点。 我们的气泡解的共形边界是渐近平坦的，并且在某种意义上是因果的，因为连接边界上任何两个点的“最快零点测地线”必须完全位于边界上。 相反，我们表明，如果时空未能具有这种因果的固有性质，则在整体中一定存在裸奇点。

  3. 所属分类：其它

    • 发布日期：2020-04-16
    • 文件大小：296960
    • 提供者：weixin_38712899

  1. 位移算子和边界中心电荷的约束

  2. 边界共形场理论在纯粹与边界相关联的应力张量的迹线异常中具有几个附加项。 我们根据位移算子的两点和三点相关函数，将相应的边界中心电荷约束在三维共形场理论中。 我们通过将轨迹异常与相关函数中与尺度相关的接触项进行比较来提供一般推导。 我们推测出三维的a型边界电荷与边界附近的应力张量两点函数之间的关系。 我们检查了几种免费理论的结果。

  3. 所属分类：其它

    • 发布日期：2020-04-05
    • 文件大小：171008
    • 提供者：weixin_38741996

  1. 两个循环中的amplituhedra和NMHV符号字母的边界

  2. 在此[3]的续集中，我们对与确定平面N = 4 $$ \ mathcal {N} = 4 $$的超级Yang-Mills理论中一般两环幅度的分支点有关的振幅面的边界进行分类。 我们解释了与外壳图的连接，这是一个有用的交叉检查。 我们通过求解相关配置的Landau方程来确定所有两环NMHV振幅的分支点，从而得出所有此类振幅的符号字母的猜想。

  3. 所属分类：其它

    • 发布日期：2020-03-30
    • 文件大小：696320
    • 提供者：weixin_38558054

  1. 跨越边界:延迟绑定

  2. 比起不具有此项编译时检查功能的动态类型语言来说，静态类型语言更加稳定且具有更佳的性能。然而静态类型语言存在一个严重的局限性：前期绑定。一些动态类型语言（如Ruby、Smalltalk和Self）允许延迟绑定，它们可以实现另一个层次的编程功能。本文使用 Ruby、Smalltalk和一个叫做Self的Smalltalk的派生语言的编程例子探讨了延迟绑定的好处。

  3. 所属分类：其它

    • 发布日期：2020-03-04
    • 文件大小：57344
    • 提供者：weixin_38614391

  1. 基于污点分析的C程序中的Carraybound：static数组边界检查。

  2. 基于污点分析的C程序中的Carraybound：static数组边界检查。

  3. 所属分类：其它

    • 发布日期：2021-03-21
    • 文件大小：510976
    • 提供者：weixin_38704835

  1. object_localisation:一个Computer Vision项目（LOK_1），用于使用边界框标记对象，使其尽可能接近拟合-源码

  2. 对象本地化 :package: :magnifying_glass_tilted_right: 一个Computer Vision项目（LOK_1），用于使用边界框标记对象，使其尽可能接近。 设定指南 :hammer_and_wrench: 在Linux / Mac上设置本地开发环境： 将项目成功设置为模板存储库后，请检查python是否可用python3 --version和python3 -m pip --version 。这两个语句都应返回版本号！ 设置python环境以在本地安装所有必

  3. 所属分类：其它

    • 发布日期：2021-03-19
    • 文件大小：1073741824
    • 提供者：weixin_42099302

  1. typex:[TOOL，CLI]-筛选和检查Go类型的结构，接口及其传递性依存关系。 将结构类型导出为TypeScript值对象或裸类型表示形式-源码

  2. Typex 检查类型及其传递依赖项。 将结果导出为Typescr ipt值对象（或类型）声明。 安装 go get -u github.com/dtgorski/typex 概要 CLI命令typex过滤并显示跨包边界的类型结构，接口及其关系。 它生成一个类型层次树，其中包含对已过滤类型至关重要的传递依赖项的其他引用。 作为附加功能， typex将结果树导出为表示值对象或裸类型的投影。 例子 转到类型层次结构布局 $ typex -f=Rune io/... ├── error interfa

  3. 所属分类：其它

    • 发布日期：2021-03-12
    • 文件大小：28672
    • 提供者：weixin_42169971

  1. CallStranger:Callstranger的漏洞检查器（CVE-2020-12695）-源码

  2. 呼叫陌生人 该脚本由YunusÇadırcı（ ）创建，用于检查CallStranger（CVE-2020-12695）漏洞。 攻击者可以使用此漏洞进行以下操作： 绕过DLP渗出数据 使用数百万个面向Internet的UPnP设备作为放大的反射TCP DDoS / SYN Flood的源 从面向Internet的UPnP设备扫描内部端口此脚本仅模拟数据渗透。 您可以在 上找到详细信息。 用于基本UPnP通信的略微修改版本 CallStranger漏洞 在数十亿个UPNP设备中发现的Call

  3. 所属分类：其它

    • 发布日期：2021-03-08
    • 文件大小：1048576
    • 提供者：weixin_42127783

  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. datastructure-algorithm：继Java语言和Go语言的数据结构与算法之后的新一版，加入了很多边界检查，加入泛型，真正可以在项目中运用的代码-源码

  2. 数据结构与算法 继Java语言和Go语言的数据结构与算法之后的新一版（应该不会出Go语言版本的了）。对数据结构都加入了泛型支持，提供了相应的遍历器，比较器接口。非常全面的边界检查。是真正可以运用在项目里的数据结构 Java版本：Go版本：

  3. 所属分类：其它

    • 发布日期：2021-02-26
    • 文件大小：67584
    • 提供者：weixin_42161497

  1. LowFat：使用低脂指针进行精益CC ++边界检查-源码

  2. LowFat：使用低脂指针检查精益C / C ++边界 LowFat是一种基于低脂指针的x86-64新边界检查系统。 LowFat旨在检测对象越界错误（OOB错误），例如缓冲区溢出（或下溢），这些错误是崩溃，安全漏洞和其他程序异常行为的常见根源。 与其他边界检查系统相比，LowFat被设计为具有较低的开销，尤其是内存。 低脂指针的基本思想是将边界信息（大小和基数）直接编码为指针本身的本机位表示形式。 然后可以在运行时检索此边界信息，并在访问指针时对其进行检查，从而防止出现OOB错误。 与现有的

  3. 所属分类：其它

    • 发布日期：2021-02-26
    • 文件大小：66060288
    • 提供者：weixin_42099942

  1. 红绿灯控制系统的边界模型检查

  2. 红绿灯控制系统的边界模型检查

  3. 所属分类：其它

    • 发布日期：2021-02-25
    • 文件大小：992256
    • 提供者：weixin_38692202

  1. Transportation-ResNet-10-Classes-Recognization-Pytorch：在ResNet中训练我们自己的运输数据集，以获得特定的运输对象分类模型。 该模型可与LiDAR边界框跟踪进一步结合-源码

  2. T-Resnet：10类运输-识别-火炬 OSU-CITR行人检测项目 （张浩霖和杨东方） 最新版本：2019/11/19 这是PDF报告 环境 pytorch 1.2 pytorch-gpu 1.2 opencv 3+ 火炬网麻木python2.7 + 火炬视觉视觉matplotlib scikit学习 在conda中安装Torchnet： ://blog.csdn.net/weixin_43264516/article/details/83187775 请在python2.7中重建它！

  3. 所属分类：其它

    • 发布日期：2021-02-22
    • 文件大小：718274560
    • 提供者：weixin_42152298

  1. 基于边界值不变量的对抗样本检测方法

  2. 目前，深度学习成为计算机领域研究与应用最广泛的技术之一，在图像识别、语音、自动驾驶、文本翻译等方面都取得良好的应用成果。但人们逐渐发现深度神经网络容易受到微小扰动图片的影响，导致分类出现错误，这类攻击手段被称为对抗样本。对抗样本的出现可能会给安全敏感的应用领域带来灾难性的后果。现有的防御手段大多需要对抗样本本身作为训练集，这种对抗样本相关的防御手段是无法应对未知对抗样本攻击的。借鉴传统软件安全中的边界检查思想，提出了一种基于边界值不变量的对抗样本检测防御方法，该方法通过拟合分布来寻找深度神经网络

  3. 所属分类：其它

    • 发布日期：2021-01-20
    • 文件大小：941056
    • 提供者：weixin_38674415
« 12 3 4 5 6 7 8 9 10 ... 22 »