📚 标准化模型技术资料

📦 资源总数:5246
💻 源代码:6064

📚 标准化模型全部资料 (5246个)

MC34063的SPICE模型,用来作设计低成本开关电源的仿真。...

📅

提出了Strand空间模型中证明安全协议的一个新思路,它从安全密钥的概念出发,参照基于理想概念的 证明方法,得出证明所需的预备结论,从而对协议的秘密属性与认证属性进行证明。此外,还给出了一个针对 ...

📅

PEPA模型性能分析工具,对模型进行遍历性检查并求解PEPA模型的稳态概率分布。...

📅