可计算性

可计算性技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。

资源总数
500

可计算性 全部资料 500 份

基于Abadi-Rowgaway 的形式化加密的计算合理性定理，论文提出和证明了密码协议形式化分析的计算合理性定理。通过对群密钥分配协议的分析，说明本文的定理对协议的可选择攻击具有较强的分析能力，论文

2023-11-19 4 可计算性

本文详细分析了一个主从式柔性机械臂计算机控制系统的硬件组成、功能、及软件实现。该控制系统运行可靠，可以实现多种控制算法，用它作为柔性机械臂振动主动控制的实验装置是合适的。关键词：计算机

2024-02-11 7 可计算性

MB89161是日本富士通公司推出的高集成度8位单片微型计算机, 它不仅能满足 8位数据的传送和控制,而且还能执行 16位数据的传送和监测。文中主要介绍了它的特点、内部功能、工作原理和实际应用电路。

2024-05-03 1 可计算性

本书介绍了功率半导体器件的原理、 结构、 特性和可靠性技术， 器件部分涵盖了当前电力电子技术中使用的各种类型功率半导体器件， 包括二极管、 晶闸管、 MOSFET、 IGBT和功率集成器件等。 此外， 还包含了制造工艺、 测试技术和损坏机理...

2021-11-07 116 可计算性