模型机综合设计——带进位运算指令的实现1、通过使用软件HKCPT的联机方式实现和脱机方式实现。 2、通过微单步、单拍调试，分析微指令时序和数据流程。
上传时间： 2014-01-18
上传用户：qq1604324866
模型机综合设计——不带进位的与或运算指令的实现 1、通过使用软件HKCPT的联机方式实现和脱机方式实现。 2、通过微单步、单拍调试，分析微指令时序和数据流程。
上传时间： 2015-11-08
上传用户：zhoujunzhen
提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的 证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对 Yahalom．BAN协议安全性的证明实例，从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三 方认证协议的证明，并且它还使得证明过程简洁而直观。
上传时间： 2015-11-08
上传用户：jeffery
PEPA模型性能分析工具，对模型进行遍历性检查并求解PEPA模型的稳态概率分布。
上传时间： 2013-12-27
上传用户：徐孺
本文件夹中的Model目录下包含了系统的数据库模型图和系统建模图，分别使用PowerDesigner
上传时间： 2014-01-06
上传用户：小码农lz
这是一本很好的系统辨识英文书。里面系统介绍了系统辨识的各种算法
上传时间： 2015-11-09
上传用户：cuibaigao
:分析了VxWorks 下的USB 驱动程序模型的结构以及功能,详细说明USB 主机驱动协议栈,并将软件设计分为 Client Driver ,USBD 和HCD 三层。由于对于开发USBD 和Client Driver 已有很多研究和讨论,但对HCD 的研究比较缺乏, 为了提供全面可行的开发基于VxWorks 的USB 驱动程序的技术方案,详细地阐述了USB 主控制器OHCI 驱动程序的功 能、OHCI 驱动程序中的核心功能链表功能,为USB 在嵌入式系统开发中的应用提供技术参考。
上传时间： 2015-11-10
上传用户：myworkpost
头盔,3d max的模型文件,比较经典的.
上传时间： 2013-12-12
上传用户：ynwbosss
冬季北方室内空气交换问题的数学模型详细设计
上传时间： 2014-01-22
上传用户：frank1234
这是国标《导航地理数据模型及交换格式》对于学习电子地图数据结构很有帮助
上传时间： 2014-06-02
上传用户：亚亚娟娟123
