点数信息
www.dssz.net
注册会员
|
设为首页
|
加入收藏夹
您好,欢迎光临本网站!
[请登录]
!
[注册会员]
!
首页
移动开发
云计算
大数据
数据库
游戏开发
人工智能
网络技术
区块链
操作系统
模糊查询
热门搜索:
源码
Android
整站
插件
识别
p2p
游戏
算法
更多...
在线客服QQ:632832888
当前位置:
资源下载
搜索资源 - 逻辑验证
下载资源分类
移动开发
开发技术
课程资源
网络技术
操作系统
安全技术
数据库
行业
服务器应用
存储
信息化
考试认证
云计算
大数据
跨平台
音视频
游戏开发
人工智能
区块链
在结果中搜索
所属系统
Windows
Linux
FreeBSD
Unix
Dos
PalmOS
WinCE
SymbianOS
MacOS
Android
开发平台
Visual C
Visual.Net
Borland C
CBuilder
Dephi
gcc
VBA
LISP
IDL
VHDL
Matlab
MathCAD
Flash
Xcode
Android STU
LabVIEW
开发语言
C/C++
Pascal
ASM
Java
PHP
Basic/ASP
Perl
Python
VBScript
JavaScript
SQL
FoxBase
SHELL
E语言
OC/Swift
文件类型
源码
程序
CHM
PDF
PPT
WORD
Excel
Access
HTML
Text
资源分类
搜索资源列表
JSValidation-----强大而灵活的表单客户端验证框架
JSValidation是强大灵活的客户端验证框架。在应用服务器或者开发框架不提供验证的情况下,例如,普通的JSP, ASP, PHP等开发,以及一些不提供验证支持的开发框架,如Tapestry, Velocity等,JSValidation提供了一种灵活的解决方案。与其他验证方式相比,它最大的优点在于独立与易于集成。纯Javascr ipt结构,可以很容易的集成到现有的应用中而不论现有的应用是基于什么语言。将所有的表单验证集中管理,使得维护应用更加容易。简便的XML配置,易于扩充的验证方式(
所属分类:
Javascript
发布日期:2007-07-31
文件大小:26624
提供者:
appleboy6074967
简易电子琴(数字逻辑与数字系统课程设计报告)
摘 要 随着基于CPLD的EDA技术的发展和应用领域的扩大与深入,EDA技术在电子信息、通信、自动控制用计算机等领域的重要性日益突出。作为一个学电子信息专业的学生,我们必须不断地了解更多的新产品信息,这就更加要求我们对EDA有个全面的认识。本程序设计的是简易电子琴的设计。采用EDA作为开发工具,VHDL语言为硬件描述语言,MAX + PLUS II作为程序运行平台,所开发的程序通过调试运行、波形仿真验证,初步实现了设计目标。本程序使用的硬件描述语言VHDL,可以大大降低了硬件数字系统设计的入门
所属分类:
C
发布日期:2009-05-22
文件大小:225280
提供者:
chflh
表单验证 Validator v4.0
表单验证 Validator v4.0 表单的验证一直是Web开发头痛的问题,表单验证类 Validator就是为解决这个问题而写的,旨在使设计者从纷繁复杂的表单验证中解放出来,把精力集中于UI设计与业务逻辑上。 Validator早期版本是基于Javascr ipt技术的伪静态类和HTML Element的自定义属性,可以对页面中的表单项输入进行相应的验证,允许同一页面中同时验证多个表单。 Validator v4.0考虑了绝大多数情况下的应用可能,几乎能“应对千变万化的业务规则”,集成4种
所属分类:
Web开发
发布日期:2009-05-22
文件大小:125952
提供者:
jonewin
数字逻辑(实验报告)
数字逻辑实验报告 要求:在maxplus2环境中,设计RS触发器的逻辑电路图,并对其功能特性进行验证 数字电路 数字逻辑实验报告 在maxplus2环境中,设计RS触发器的逻辑电路图,并对其功能特性进行验证
所属分类:
专业指导
发布日期:2009-06-17
文件大小:112640
提供者:
bringpp
客户端统一验证JavaScript函数库及示例源码
1.引言 几乎所有的Web项目开发都需要客户端验证,尤其是Javascr ipt的使用,JS结合Html和CSS占据了网页展现市场,不管采用什么技术我们在网页看到的东西最终生成都是这些代码所表示含义。 Web应用如此广泛,其中客户端与服务端交互时所消耗的资源及响应时间,频繁的刷新页面使得人机交互体验极为不好,而对每个页面使用客户端处理技术无疑又加大项目开发周期,脚本调试及修改维护的工作量将占用大量的开发时间,验证控件须对每个控件的元素进行设置且会对页面整体的布局带来影响,占据着页面布局空间的位
所属分类:
Javascript
发布日期:2009-08-21
文件大小:25600
提供者:
chutao
客户端统一验证JavaScript函数库及示例源码
1.引言 几乎所有的Web项目开发都需要客户端验证,尤其是Javascr ipt的使用,JS结合Html和CSS占据了网页展现市场,不管采用什么技术我们在网页看到的东西最终生成都是这些代码所表示含义。 Web应用如此广泛,其中客户端与服务端交互时所消耗的资源及响应时间,频繁的刷新页面使得人机交互体验极为不好,而对每个页面使用客户端处理技术无疑又加大项目开发周期,脚本调试及修改维护的工作量将占用大量的开发时间,验证控件须对每个控件的元素进行设置且会对页面整体的布局带来影响,占据着页面布局空间的位
所属分类:
Javascript
发布日期:2009-08-24
文件大小:53248
提供者:
chutao
MDIO接口逻辑设计及其FPGA验证
详细描述了MDIO接口模块IP核的设计,介绍了该IP核的系统结构以及各个子模块的详细设计方法,对此IP核进行了仿真验证,最后进行了FPGA测试,功能和性能达到了要求,最终通过了IP审核流程并已成功应用于以太网接口芯片中。
所属分类:
硬件开发
发布日期:2009-09-17
文件大小:2097152
提供者:
arlie
面向计算机科学的数理逻辑系统建模与推理
面向计算机科学的数理逻辑系统建模与推理,(英文版) 介绍的内容包括逻辑表达,模型检测,程序验证等
所属分类:
专业指导
发布日期:2009-11-13
文件大小:2097152
提供者:
yuxizi1987
门电路逻辑功能测试实验
1. 验证常用TTL集成门电路. 2. 掌握各种门电路的逻辑符号. 3. 了解集成电路的外引线排列及其使用方法. 4. 熟悉TDH-1型数字实验箱的使用
所属分类:
专业指导
发布日期:2010-03-24
文件大小:95232
提供者:
baoqiuqiu
Verilog 设计与验证——逻辑验证与Testbench 编写
Verilog 设计与验证——逻辑验证与Testbench 编写
所属分类:
硬件开发
发布日期:2011-05-11
文件大小:338944
提供者:
lzonly
逻辑验证与testbench编写
介绍testbench的编写规则,举例说明如何对设计芯片进行逻辑验证
所属分类:
软件测试
发布日期:2012-11-29
文件大小:338944
提供者:
vianpeng
定理证明器Coq的理论扩展与在组合逻辑验证中的应用_王前
定理证明器Coq的理论扩展与在组合逻辑验证中的应用 王前
所属分类:
讲义
发布日期:2016-06-12
文件大小:1048576
提供者:
jiangdmdr
使用jquery.validate自定义方法实现"手机号码或者固话至少填写一个"的逻辑验证
主要介绍了使用jquery.validate自定义方法实现"手机号码或者固定电话"的逻辑验证,解决了手机号码或者固定电话字至少填写一个的验证问题,分享给大家
所属分类:
其它
发布日期:2020-10-25
文件大小:35840
提供者:
weixin_38652147
测试检验电路时序的FPGA逻辑验证分析仪
随着FPGA技术的广泛使用,越来越需要一台能够测试验证FPGA芯片中所下载电路逻辑时序是否正确的仪器。目前,虽然Agilent、Tektronix 等大公司生产的高端逻辑分析仪能够实现FPGA电路的测试验证功能,但此类仪器价格高昂,一般要十万、数十万人民币。所以,研究开发价格适中且具有逻辑分析仪和FPGA电路的测试验证功能的仪器是非常有价值的。
所属分类:
其它
发布日期:2020-10-24
文件大小:105472
提供者:
weixin_38612437
电子测量中的测试检验电路时序的FPGA逻辑验证分析仪
随着FPGA技术的广泛使用,越来越需要一台能够测试验证FPGA芯片中所下载电路逻辑时序是否正确的仪器。目前,虽然Agilent、Tektronix 等大公司生产的高端逻辑分析仪能够实现FPGA电路的测试验证功能,但此类仪器价格高昂,一般要十万、数十万人民币。所以,研究开发价格适中且具有逻辑分析仪和FPGA电路的测试验证功能的仪器是非常有价值的。 本文所介绍的基于虚拟仪器技术的逻辑验证分析仪,采用FPGA技术来实现仪器硬件部分的主要设计,应用图形化编程语言LabVIEW来实现仪器的测试软件设
所属分类:
其它
发布日期:2020-11-16
文件大小:136192
提供者:
weixin_38623442
使用jquery.validate自定义方法实现”手机号码或者固话至少填写一个”的逻辑验证
最近项目开发中遇到这样的需求“手机号码或者固话至少填写一个”,如下图所示: 项目采用的jquery.validate.js验证组件,目前组件不支持这种“或”逻辑的验证,于是就自己定义一个 jQuery.validator.addMethod("phone", function(value, element) { var mobile = $("#mobile").val();// 手机号码 var telephone = $("#telephone").val();/
所属分类:
其它
发布日期:2020-12-10
文件大小:33792
提供者:
weixin_38528463
vue中使用element-ui进行表单验证的实例代码
element-ui 中验证 一、简单逻辑验证(直接使用rules) 实现思路 •html中给el-form增加 :rules=”rules” •html中在el-form-item 中增加属性 prop=”名称” •js中直接在data中定义rules:{} •html部分 <el-input class=inp v-model=form.
所属分类:
其它
发布日期:2020-12-29
文件大小:56320
提供者:
weixin_38731239
form-backend-validation:使用后端逻辑验证表单的简便方法-源码
使用后端逻辑验证表单的简便方法 如果您可以只使用后端来验证前端的表单,那不是很好吗? 该程序包提供了一个Form类来执行此操作。 它可以将自身发布到已配置的端点并管理错误。 该类旨在与Laravel后端一起使用。 查看以查看有关如何使用它的详细示例。 该软件包的代码基于上中的“。 支持我们 我们投入了大量资源来创建。 您可以通过来支持我们。 非常感谢您从家乡寄给我们一张明信片,其中提及您使用的是哪个包装。 您可以在上找到我们的地址。 我们将所有收到的明信片发布在。 安装 您可以通过ya
所属分类:
其它
发布日期:2021-02-06
文件大小:17408
提供者:
weixin_42103587
宽带电力线载波通信系统物理层的逻辑验证
针对宽带电力线载波通信系统物理层的功能特性,分析了物理层逻辑验证所面临的挑战,提出了一种基于Systemverilog的逻辑验证平台。验证平台采用分层设计,结合面向对象技术,实现平台部件的重用性和扩展性。验证还引入工厂模式,提高了验证平台的灵活性和执行速度。验证采用随机和定向相结合的方式以保证验证的全面覆盖。利用DPI-C接口集成比特精确的算法仿真模型来实现随机验证,提高功能覆盖率。利用MATLAB算法仿真平台的数据作为有噪环境下的定向测试,使功能覆盖率达到100%,达到了验证目的。
所属分类:
其它
发布日期:2021-01-12
文件大小:1048576
提供者:
weixin_38656374
Elevator-Controller---SMV-Source-Code:利用状态的电梯控制器的一种实现。 使用分支时间逻辑验证代码-Verification code source code
Elevator-Controller---SMV-Source-Code:利用状态的电梯控制器的一种实现。 使用分支时间逻辑验证代码
所属分类:
其它
发布日期:2021-03-24
文件大小:2048
提供者:
weixin_42116650
«
1
2
3
4
5
6
7
8
9
10
...
50
»