用PB实现的交互式自定义模型生成工具,能够用户自定义模型，保存模型，运行模型，修改模型
上传时间： 2013-12-26
上传用户：日光微澜
排队论仿真与计算程序包括各种排队模型的设计仿真与计算测试程序内容是很难的程序
上传时间： 2015-11-08
上传用户：阳光少年2016
模型机综合设计——带进位运算指令的实现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
上传用户：徐孺
航空客运订票的业务活动包括：查询航线、客票预订和办理退票等。航空客运订票系统，使上述业务可以借助计算机来完成
上传时间： 2015-11-09
上传用户：colinal
本文件夹中的Model目录下包含了系统的数据库模型图和系统建模图，分别使用PowerDesigner
上传时间： 2014-01-06
上传用户：小码农lz
:分析了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
