对现有的各种公平交换协议进行了分类.利用公开可验证秘密共享原理、群加密方案，提出一个新的基于离线半可信第三方的多方公平交换协议，离线第三方只在意外情况下才介人协议且其只能解密半个密钥分量，既保证了交换数据的机密性又实现了交易的真正公平，且交换的拓扑关系也对外(包括第三方)保密. ...
/dl/211467.html
上传时间： 2022-09-15
上传用户：wloves
针对遗传算法易陷入早熟收敛和全局搜索能力差等缺点,提出一种基于可拓理论的小生境遗传算法.算法首先构造了遗传编码物元和可拓遗传算子,然后通过可拓聚类方法实现小生境群体的划分,结合适应度共享技术和聚类代表个体保存策略,维持稳定多样的小生境.仿真实验表明,该算法能可靠、快速地收敛到全局最优解,有效避免早熟收敛,其 ...
/dl/208327.html
标签： 适应 共享 生境 遗传 算法 研究聚类 适应度共享 代表个体 早熟收敛
上传时间： 2021-11-07
上传用户：chenkayin
通过对两个认证加密方案中第三方验证的分析和改进，说明了在设计一个公开验证认证加密方案中的第三方验证时，为了防止来自接收者的攻击，加入接收者的身份信息和将消息与签名验证关联都是十分必要的。
/dl/201841.html
上传时间： 2021-01-05
上传用户：dcfgis
本文在分析国内外可重构系统的研究及应用现状的基础上提出了一种基于FPGA的可重构软测量系统并介绍了相关的软/硬件设计与仿真验证分析。问题的介绍与讨论围绕一个四层的BP(BackPropagation)型误差反传多层前馈神经网络作为典型的数学模型来展开。设计中依据成熟的BP算法公式，采用自上而下的模块化设计方法，逐个模块地一一 ...
/dl/203479.html
上传时间： 2021-02-05
上传用户：sunxi
三菱Q系列公共指令本手册 “MELSEC-Q/L 编程手册 ( 公共指令篇 )”介绍进行 QCPU、LCPU 编程时需要的公共指令有关内容。 公共指令指的是，除智能功能模块专用指令、PID 控制用指令、SFC 用指令、ST 用指令、套接字通信功能用指令、 触发记录指令、LCPU 的定位功能专用指令·计数器功能专用指令以外的其它指令。 在使用之前 ...
/dl/209309.html
标签： 可编程控制器
上传时间： 2022-02-03
上传用户：小虫子0405
针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业务需求,分别给出业务流程设计模型到自动机模型和自动机模型到Promela描述的转换算法,并通 ...
/dl/210767.html
标签： 业务 流程 形式化 设计 验证限自动机 模型检测 线性时序逻辑
上传时间： 2022-09-08
上传用户：philis
近年来,科技论文发表数量与日俱增,科研人员需要阅读文献的数量也随之迅速增长.如何快速而有效地阅读一篇科技论文,逐渐成为一个重要的研究课题.另一方面,在阅读科技论文时,理解与其相关的重要参考文献可帮助读者更好地理解文章的内容.然而,如何从众多的参考文献中快速找到最重要、最相关的几篇,如何避免在阅读过程中迷失在文 ...
/dl/211256.html
标签： 文本 摘要 引用 关系 辅助 文献 阅读文本可视分析
上传时间： 2022-09-13
上传用户：ling631220
近年来，GPS技术迅速发展，并随着3G时代的到来，其应用领域日益广阔，需求量与日俱增。与此同时，随着电路系统设计越来越复杂，上市时间日益缩短，集成电路设计方法面临重大变革。因此采用新型方法学来设计GPS接收系统是必要的。 本文基于GPS原理，采用可复用的IP技术和软硬协同设计技术，设计了一种高性能的GPS SOC接收系 ...
/dl/201157.html
上传时间： 2021-01-01
上传用户：wsn1dy
CIPH9804是一种可编程顺序控制芯片,它具有八路时序信号输出端,每路时序信号均可由键盘设置为0-65535秒的有效输出.文中介绍了它的功能和使用方法,给出了它的实际应用电路以及CIPH9804在交
/dl/201179.html
上传时间： 2021-01-01
上传用户：zhangchengtan
详细阐述一种采用PIC16C55 单片机实现可控数字语音延迟器的设计方案，同时提供控制电路图及软件算法流程图。
/dl/201225.html
上传时间： 2021-01-01
上传用户：chy2612
