可验证
共 26 篇文章
可验证 相关的电子技术资料，包括技术文档、应用笔记、电路设计、代码示例等，共 26 篇文章，持续更新中。
基于FPGA的RISC CPU设计
适用于嵌入式系统开发与计算机架构研究，基于FPGA实现的RISC CPU设计，具备清晰的指令集结构和可验证的逻辑电路，适合教学与实验验证场景。
16×16点阵(滚动显示)PROTEUS仿真资料
这份16×16点阵(滚动显示)PROTEUS仿真资料，专为电子工程师和学生设计，旨在帮助您快速掌握LED点阵屏的编程与控制技巧。通过使用广泛认可的PROTEUS仿真软件，您可以直观地看到代码执行效果，无需实际硬件即可验证您的设计方案。非常适合于学习嵌入式系统开发、数字电路设计等领域。本资源包含完整的项目文件及示例代码，支持多种滚动模式设置，是初学者入门或进阶开发者调试的理想选择。现在就免费下载，开
51双机通信兼验证波特率发生器
51双机通信,并可验证T1作为串口波特率发生器的条件.
一个新的Ad hoc安全组密钥管理方案
本文基于可验证的门限秘密共享技术，提出一种分布式的可验证组密钥管理方案。该方案具有不依赖于网络拓扑结构的变化，在恶劣的网络攻击环境中仍能有效的更新组通信密钥。<BR>关键词：ad-hoc 网络；组密钥
RFID标签组中的可验证门限秘密共享方案
无线射频识别(RFID)标签具有隐蔽、方便、高效等优点，可以作为秘密存储的新载体。该文针对如何在RFID 标签组中实现秘密共享的问题，提出适用于RFID 系统的可验证门限秘密共享方案，对其进行安全性分
一种可验证的多秘密共享方案
YCH方案是一个基于二元单向函数和Shamir(t,n)门限方案的有效多秘密共享方案，但其不具有可验证性。该文基于YCH方案、RSA密码体制和离散对数问题，提出一个可验证的多秘密共享方案，使YCH方案
基于群签名的远程测量系统安全协议
在我们设计的远程测量系统中，多个基于ARM 的嵌入式系统位于测量点，管理员可<BR>通过网络对其进行访问。为实现系统的安全访问，设计了基于群签名的远程测量系统访问协议。本协议采用可验证的、无可信中心的
一种健壮的计算安全的分布式密钥分发方案
对基于Decisional Diffie-Hellmen 假设计算安全的分布式密钥分发方案进行改进，在其基础上利用可验证秘密共享和知识证明，提出一种健壮的计算安全的分布式密钥分发方案，以抵抗主动攻击，
一种安全的公开可验证门限多秘密共享方案
基于大整数分解以及离散对数问题的难解性，使用非交互的零知识证明协议，以Shamir共享体制为基础提出一种公开可验证的门限多秘密共享方案。分发者给每个参与者分发子秘密的有效性可以被任何人验证。在恢复秘密
Android操作系统
Android操作系统移植，本系统在2440开发板上可验证
向量空间接入结构上信息论安全的可验证秘密分享
<p>可验证秘密分享在诸如对机密信息的安全保存与合法利用、密钥托管、面向群体的密码学、多</p><p>方安全计算、接入控制及电子商务等许多方面都有着广泛的应用.该文对向量空间接人结构上的可验证秘密</p><p>分享进行了研究.提出了这类接入结构上的一个信息论安全的高效可验证秘密分享协议.新提出的协议不仅</p><p>具有较高的信息速率，而且计算和通信代价都远远的低于已有的广义可验证秘密分享协议。<
一种基于DAA的强匿名性门限签名方案
<p>摘 要：针对目前大多数门限签名方案不能实现签名成员匿名或匿名效果比弱的问题，该文提出了一种带有子密钥</p><p>分发中心的强匿名性(n, t)门限签名方案。方案主要基于可信计算组织在其v1.2 标准中采用的直接匿名认证(Direct</p><p>Anonymous Attestation, DAA)方案，以及零知识证明和Feldman 门限秘密共享等技术实现。相较已有方案，该方</p><p
数字IC设计--方法、技巧与实践
<p>《数字IC设计--方法、技巧与实践》</p><p>目录</p><p>前言</p><p>第1章：背景知识</p><p>集成电路工艺、分类和设计方法的演进,集成电路工艺介绍,集成电路的分类,集成电路设计方法的演进,目前面临的问题和发展方向,物理综合技术,设计重用和SoC设计,片上网络,FPGA动态可重构技术,提高设计的抽象层次,本书的内容和范围</p><p>第2章：芯片设计流程和工具</p><p
基于 S32K148 的 T-BOX/GP-ECU 参考设计硬件使用手册
<p>基于 S32K148 的 T-BOX/GP-ECU 参考设计采用 NXP 最新的通用汽车电子微控制器S32K1xx 系列的最大资源型号-S32K148，充分利用其片内集成的丰富硬件外设资源和软件开发套件，为用户提供了开箱即可验证的汽车 T-BOX 解决方案的参考设计评估平台。</p><p>其具有如下功能和特性：</p><p> 核心 MCU 为 FS32K148UJT0VLQT, 片内集成可
STM32F1开发指南(精英版)-寄存器版本_V1.0
<p> 这是STM32F1开发指南(精英版)-寄存器版本开发手册，主要用于正点原子的精英开发板的学习和研究。</p><p> 本手册将结合《STM32 参考手册》和《Cortex-M3 权威指南》两者的优点，并从寄存器级 别出发，深入浅出，向读者展示 STM32 的各种功能。总共配有
msn控件 可验证 可接受信息 可发送信息 msn8协议 win32
msn控件 可验证 可接受信息 可发送信息 msn8协议 win32
异步FIFO的实现
异步FIFO的实现，可综合，可验证]
keywords:almost_full,full,almost_empty,empty
此小程序可验证卡布列克数的正确性,具有良好的输入输出界面
此小程序可验证卡布列克数的正确性,具有良好的输入输出界面
DataLoad v4[1].2汉化版 这是一个向oracle应用系统导入数据的一个软件
DataLoad v4[1].2汉化版 这是一个向oracle应用系统导入数据的一个软件，不用进行后台操作，还可验证导入数据的正确性.RAR
老虎吃兔子是一个典型的非线性系统
老虎吃兔子是一个典型的非线性系统，当老虎数量多的时候，兔子就容易被吃，兔子数量减少，兔子数量较少，老虎捕兔困难，老虎就饿死，老虎数量减少后，兔子繁殖加快，从而使得兔子数量增加，老虎捕食又变得容易了。利用C语言编程、利用４阶龙格－库塔法就可验证老虎与兔子的非线性生态现象。