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

搜索资源列表

  1. 大连驰敖集团办公自动化系统源码

  2. 大连驰敖集团办公自动化系统源码 2.1 产品描述 叙述该项软件开发的意图、应用目标、作用范围以及其他应向读者说明的有关该软件开发的背景材料。解释被开发软件与其他有关软件之间的关系。如果本软件产品是一项独立的软件，而且全部内容自含，则说明这一点。如果所定义的产品是一个更大的系统的一个组成部分，则应说明本产品与该系统中其他各组成部分之间的关系，为此可使用一张方框图来说明该系统的组成和本产品同其他各部分的联系和接口。 2.2 产品功能 本条是为将要完成的软件功能提供一个摘要。例如，对于一个记帐程序来

  3. 所属分类：Web开发

    • 发布日期：2012-08-27
    • 文件大小：16777216
    • 提供者：fangmiya7258

  1. 大连驰敖集团办公自动化系统源码

  2. 大连驰敖集团办公自动化系统源码 2.1 产品描述 叙述该项软件开发的意图、应用目标、作用范围以及其他应向读者说明的有关该软件开发的背景材料。解释被开发软件与其他有关软件之间的关系。如果本软件产品是一项独立的软件，而且全部内容自含，则说明这一点。如果所定义的产品是一个更大的系统的一个组成部分，则应说明本产品与该系统中其他各组成部分之间的关系，为此可使用一张方框图来说明该系统的组成和本产品同其他各部分的联系和接口。 2.2 产品功能 本条是为将要完成的软件功能提供一个摘要。例如，对于一个记帐程序来

  3. 所属分类：C#

    • 发布日期：2013-08-27
    • 文件大小：16777216
    • 提供者：qiang1129

  1. verilog语言xilinx FPGA检测1101序列整个工程文件包含源码

  2. 是使用xilinx FPGA xc7a35tcsg324-1开发板进行验证，如果不同开发板的话改一下最后的约束文件即可，噢对。。是vivado编译的，嗯，其他的应该没啥了，序列是靠按键手动输入，带清零功能

  3. 所属分类：硬件开发

    • 发布日期：2020-11-10
    • 文件大小：617472
    • 提供者：weixin_49338632

  1. Dual_port_Ram-源码

  2. 我尝试使用基于系统Verilog的UVM通过约束随机验证来验证双端口ram，在此我还检查了设计的功能正确性并提取了覆盖率指标。 我尝试寻找的一些功能如下： 在不同的受约束地址中执行读写操作，并检查是否相同。 检查覆盖后是否在内存中更新值。 读后写在相同的地址位置。 在相同的地址位置进行写入，然后进行读取。 检查RAM边界大小的读取和写入。 连续读取和写入相同的地址（addrA） 去检查： 1）当数据被写入相同的地址即addrA，addrB时的行为 承保范围： 1）查看随机化是

  3. 所属分类：其它

    • 发布日期：2021-03-26
    • 文件大小：8192
    • 提供者：weixin_42117485

  1. optimism-源码

  2. 乐观 Rails中缺少的用于实时远程表单验证的嵌入式解决方案。 {％hint style =“ success”％}借助和Rails 6.1（感谢 ，Optimism v0.4.1现在支持Ruby 3.0.0。 :party_popper: {％endhint％} 为什么要乐观？ 是MIT许可的瑰宝，如果用户将无效数据输入到您的应用程序中，则可以轻松地向他们提供即时的建设性反馈。 Optimism不会在界面顶部转储错误列表，而是直接在各个输入元素旁边或下方提供特定的说明。 你可以试试 :b

  3. 所属分类：其它

    • 发布日期：2021-03-20
    • 文件大小：98304
    • 提供者：weixin_42138716

  1. auth-oauth-user.js:OAuth客户端的Octokit身份验证策略-源码

  2. auth-oauth-user.js 用于OAuth用户身份验证的Octokit身份验证策略 重要提示： octokit/auth-oauth-user需要应用程序的client_secret ，不得公开。如果您正在寻找可在客户端（浏览器，IoT，CLI）上使用的OAuth用户身份验证策略，请查看 。请注意， octokit/auth-oauth-user-client需要后端。唯一的例外是 ，它不需要client_secret ，但是由于CORS约束而不能在浏览器中使用。 目录 特征 来自令牌

  3. 所属分类：其它

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

  1. -Software-development-challenge:挑战（占期末成绩的25％）-源码

  2. 软件开发挑战 挑战（占期末成绩的25％） 基于真实数据集的小挑战。这将是个人作品，包括美学部分和预测部分。 截止日期：2021年4月1日星期四23:59 描述 ： 预测部分： 对于这一部分，你将使用数据 （见 ）来预测4月2日（星期五）凌晨00:01至09:00之间通过的自行车数量： 在Moodle中上载一个.pdf文件（“验证”部分），其约束条件为：大小 = 11），描述了您的方法。在此处添加您的（整数）预测（有关此信息，请参见在心情中给出的framacalc）。您可以使用其他来源的信息，但是

  3. 所属分类：其它

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

  1. consistent_depth:我们从单眼视频（例如手持手机视频）中估计密集，无闪烁，几何上一致的深度-源码

  2. [SIGGRAPH 2020]一致的视频深度估计 [] [] [ ] 我们提出了一种算法，用于为单眼视频中的所有像素重建密集的，几何上一致的深度。我们利用传统的“从运动构造”重建来对视频中的像素建立几何约束。与经典重建中的临时先验不同，我们使用基于学习的先验，即为单个图像深度估计训练的卷积神经网络。在测试时，我们会对该网络进行微调，以满足特定输入视频的几何约束，同时保留其在视频中受约束程度较小的部分合成合理的深度细节的能力。我们通过定量验证表明，与以前的单眼重建方法相比，我们的方法可实现更高

  3. 所属分类：其它

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

  1. Validating-mails-using-filter-method:如果给出了电子邮件列表，则按照给定的约束以升序打印电子邮件列表-源码

  2. 验证邮件使用过滤方法 如果给出了电子邮件列表，则按照给定的约束以升序打印电子邮件列表

  3. 所属分类：其它

    • 发布日期：2021-03-18
    • 文件大小：15360
    • 提供者：weixin_42127020

  1. webDevProject-源码

  2. webAppProject 项目。 指导方针 没有魔幻数字 数据库-约束使用正确 验证-在创建/更新所有资源时都会对其进行验证，如果发生错误，则会使用最新输入预先填写表单。 错误处理-处理错误并向用户显示描述性错误消息。 GUI-组件的放置是合乎逻辑的，并且用户了解如何在桌面上使用它们 HTML＆CSS-正确使用 安全-最多存在2个安全漏洞。 三层架构-三层架构的2种错误用法 OAuth 2.0和OpenID Connect-2实施细节与规格不同。 Docker-只需运行命令即可启动

  3. 所属分类：其它

    • 发布日期：2021-03-17
    • 文件大小：12582912
    • 提供者：weixin_42117037

  1. venue-reservation-system-源码

  2. 场地预订系统 使用的技术：SpringJDBC，集成测试 IDE：Eclipse 数据库：PostgreSQL 通过配对编程并利用DAO模式设计并实现了场地预定系统。 该应用程序通过控制台界面与用户进行交互，从而使他们可以搜索并保留各种场所的可用空间。 根据可用空间实施了约束，用户收到了包含场地空间详细信息以及所计算的预订总费用的确认信。 开发了用于验证的集成测试。

  3. 所属分类：其它

    • 发布日期：2021-03-16
    • 文件大小：98304
    • 提供者：weixin_42116921

  1. sonic:线性大小的通用和可更新结构化参考字符串的零知识SNARK-源码

  2. [1]是具有通用和可更新的结构参考字符串（SRS）的通用算术电路可满足性的zk-SNARK协议，由提出 [2]大小线性缩放。 尽管需要对SRS进行可靠的设置，但SRS可以得到不断增强，并且Sonic只需为所有电路进行一次设置即可。 Sonic允许证明者证明给定约束系统的隐藏证人的知识。 它针对[3]中使用的二元多项式方程定义了约束系统。 用法 Sonic协议可以分为三个步骤：设置，验证和验证。 由于SRS的通用性，设置阶段仅需要运行一次。 此实现使用BLS12-381椭圆曲线。 sonicP

  3. 所属分类：其它

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

  1. QSimOpt-源码

  2. 专案 导数自由优化 对角Hessian的自适应采样信任区域优化-导数自由（ASTRO-DF） 我们考虑了无约束随机优化问题，其中目标函数值只能通过蒙特卡洛模拟来观察。 我们假设派生信息不能通过蒙特卡洛模拟直接获得。 我们用对角Hessian近似值表示ASTRO-DF，其中迭代地构造和优化了随机局部模型。 值得注意的特征是，我们可以将随机欠定的二次模型构造为具有O（d）个函数求值数的随机局部模型。 SimOpt库 交通灯问题 目的是作为离散事件模拟研究城市交通信号控制问题。 我们探索了基于网络的

  3. 所属分类：其它

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

  1. FPGA可编程数字延迟定时器：1.实施了可综合的RTL设计，并检查了Altera MAX 10 FPGA板上的功能。 2.开发了SystemVerilog（OOPS）Testbench架构，以约束随机化验证设计-源码

  2. 可编程数字延迟计时器 实施了可综合的RTL设计，并检查了Altera MAX 10 FPGA板上的功能。 2.开发了SystemVerilog（OOPS）Testbench架构，以约束随机化验证设计

  3. 所属分类：其它

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

  1. 智商-源码

  2. 输入查询语言（IQL） 输入查询语言（IQL）是一种接受字符串并创建可约束对话框的查询语言。 IQL语法用于在相对较少的代码行中生成各种类型的对话框。 每个对话框均包含根据提供的一组约束验证用户输入的组件。 这是IQL支持的组件和对话框的列表。 有关IQL组件，对话框，约束以及如何使用的更多详细信息，请阅读。 成分 细绳 'User Details' Single( 'Please provide your personal details') name 'Full Name:' St

  3. 所属分类：其它

    • 发布日期：2021-02-16
    • 文件大小：14680064
    • 提供者：weixin_42138139

  1. 形式验证-源码

  2. 形式验证 约束验证API实践。 这是The Odin Project课程的一部分。

  3. 所属分类：其它

    • 发布日期：2021-02-15
    • 文件大小：403456
    • 提供者：weixin_42150745

  1. 约束验证-源码

  2. 约束验证 集成ActiveModel :: Validations，ActionView和浏览器提供的约束验证API 当前针对railsmain或rails >= 6.2.0.alpha ActionView和辅助功能 当前元素构造的Action View默认配置不会创建可访问的表单和字段。 其中一些工作探索了Action View的一些可能扩展，这些扩展可以改善Rails的可访问性。 ActionView和约束验证API 除了构建更易于访问的表单和字段之外，Action View扩

  3. 所属分类：其它

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

  1. SolutionValidator：C. Krebs，J。Ehmke，H。Koch在论文中描述的用于加载约束的解决方案验证器-源码

  2. 3LVRPTW-解决方案验证器 C. Krebs，J。Ehmke，H。Koch在“ 3D车辆路径问题的高级加载约束”中描述的载荷约束的解决方案验证器 最初用C ++编写

  3. 所属分类：其它

    • 发布日期：2021-02-11
    • 文件大小：1048576
    • 提供者：weixin_42125867

  1. valium：使用浏览器的验证API进行React的表单验证-源码

  2. val 使用和自定义React的表单验证器。 目录 演示版 在现场演示 HTML5约束验证API？ 是的：Valium不会提供许多您必须学习的详细方法来验证您的输入，而是将： 让您根据需要完全呈现输入元素 检查这些输入中的（ required ， minLength ， maxLength ， pattern ，...） 为您提供验证状态，以便您可以进行渲染 甚至更多：Valium扩展了以下约束： 它接受一些自定义约束（ allowedValues或disallowedValues列表

  3. 所属分类：其它

    • 发布日期：2021-02-09
    • 文件大小：1048576
    • 提供者：weixin_42153615

  1. parsec-libraries：使用Parsec简化Web服务部署的工具-源码

  2. Parsec图书馆和公用事业 除了的核心程序包外，Parsec还提供了其他支持库和实用程序，它们完全有助于减少构建Web服务的工作量。 以下是可用的库： 视差验证（输入验证） Parsec验证库定义了Parsec Java Web应用程序中输入验证的标准方法。 它还支持Web应用程序根据业务逻辑验证用户输入的要求。 Parsec约束验证器 约束验证器库包含有用的批注列表，这些批注可在构建Web应用程序时使用。 Parsec配置 通过Parsec Config库，您可以根据不同的环境或配置

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：500736
    • 提供者：weixin_42151772
« 12 3 4 5 6 7 »