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

搜索资源列表

  1. delphi边界检查工具

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

  3. 所属分类：Delphi

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

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

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

  3. 所属分类：C#

  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. Scale-Field-Engineering-Interview-Technical-Check：Sofia Javed提交的Scale现场工程采访技术检查-源码

  2. 规模现场工程访谈技术检查 Sofia Javed-规模现场工程采访技术检查客户： ObserveSign 规模项目名称：交通标志检测 概述： ObserveSign要求Scale根据特定准则注释大量图像。 Scale完成了任务，但是注释中可能存在一些错误。 该脚本获取与项目名称“ Traffic Sign Detection”关联的所有已完成任务，并运行一系列功能，以查看注释是否根据客户的指导原则正确完成。 具体来说，此脚本运行五项质量检查： 复选框大小检查每个完成的任务中边框的大小。

  3. 所属分类：其它

    • 发布日期：2021-02-13
    • 文件大小：5120
    • 提供者：weixin_42128141

  1. cbmc：C绑定模型检查器-源码

  2. 关于 CBMC是用于C和C ++程序的绑定模型检查器。 它支持C89，C99，大多数C11和gcc和Visual Studio提供的大多数编译器扩展。 它还使用Scoot支持SystemC。 它允许验证数组边界（缓冲区溢出），指针安全性，异常和用户指定的断言。 此外，它可以检查C和C ++与其他语言（例如Verilog）的一致性。 通过展开程序中的循环并将结果方程式传递到决策程序来执行验证。 有关完整信息，请访问 。 有关CProver包含的各种工具以及如何使用它们的概述，请参见 。 版本号

  3. 所属分类：其它

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

  1. 息肉定位：使用单发多盒检测器在结肠镜检查视频中进行息肉定位-源码

  2. 有关设置环境，请阅读SETUP.md 息肉定位和检测 这项工作是在EEML暑期学校（2019年）期间介绍的。在 查找随附的海报。 对于我们的定位和检测任务，我们使用了ColonCVC数据集和ETIS-Larib数据集。 1.息肉本地化 这里的任务是训练完全卷积网络（FCN-8）为息肉创建分割蒙版，然后在其周围绘制一个边界框。 要训​​练FCN-8，请运行main.py 要评估/测试模型，请运行predict_masks.py 2.息肉检测 这里的任务是训练物体检测网络。 我们使用SSD（单发M

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：153092096
    • 提供者：weixin_42156940
« 12 3 4 5 6 7 8 9 10 ... 22 »