搜索：athena
找到约 5 项符合「athena」的查询结果
结果 5
https://www.eeworm.com/dl/639/242275.html
文件格式
个音乐文件:BGM文件夹 Mp3dec.asi Mssfast.m3d 全部复制到E:RO 然后下载ATHENA:ftp://61.134.36.39/athena/AthenaTxt-C15
个音乐文件:BGM文件夹 Mp3dec.asi Mssfast.m3d 全部复制到E:\RO
然后下载ATHENA:ftp://61.134.36.39/athena/AthenaTxt-C151.rar
把它安装在RO里
https://www.eeworm.com/dl/925200.html
技术资料
一种安全协议分析算法研究
研究分析了Athena 自动协议形式化分析算法的原理。该算法能够分析协议的各种安全属性，它基于扩展了的串空间模型，利用了消息间的因果关系，并且结合了定理证明和模型检测方法，能有效地分析安全协议
https://www.eeworm.com/dl/839422.html
技术资料
集成电路设计制造中EDA工具实用教程
《集成电路设计制造中EDA工具实用教程》共17章，分为三个部分。第一部分介绍半导体工艺和半导体器件仿真工具，分别介绍了Synopsys公司的TSUPREM4/MEDICI，ISE TCAD和Silvaco公司的Athena/Atlas等TCAD工具及其使用，并以ESD静电放电防护器件的设计及验证为实例介绍这些软件工具的应用。第二部分介绍了模 ...
https://www.eeworm.com/dl/846077.html
技术资料
半导体工艺和器件仿真软件SilvacoTCAD实用教程 [唐龙谷 编著] 2014年版
为了满足半导体工艺和器件及其相关领域人员对计算机仿真知识的需求，帮助其掌握当前先进的计算机仿真工具，特编写《半导体工艺和器件仿真软件Silvaco TCAD实用教程》。《半导体工艺和器件仿真软件Silvaco TCAD实用教程》以SilvacoTCAD2012为背景，由浅入深、循序渐进地介绍了SilvacoTCAD器件仿真基本概 ...