搜索结果
找到约 5,525 项符合
航空模型 的查询结果
按分类筛选
其他 模型机综合设计——不带进位的与或运算指令的实现 1、通过使用软件HKCPT的联机方式实现和脱机方式实现。 2、通过微单步、单拍调试
模型机综合设计——不带进位的与或运算指令的实现
1、通过使用软件HKCPT的联机方式实现和脱机方式实现。
2、通过微单步、单拍调试,分析微指令时序和数据流程。
其他 提出了Strand空间模型中证明安全协议的一个新思路
提出了Strand空间模型中证明安全协议的一个新思路,它从安全密钥的概念出发,参照基于理想概念的
证明方法,得出证明所需的预备结论,从而对协议的秘密属性与认证属性进行证明。此外,还给出了一个针对
Yahalom.BAN协议安全性的证明实例,从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三
方认证协议的 ...
文章/文档 该程序是一个航空订票系统的软件
该程序是一个航空订票系统的软件,为航空管理员提供方便,为旅客提供航空定票录入. 查询.咨询.
订票. 退票. 修改航班信息等功能。
编译器/解释器 PEPA模型性能分析工具
PEPA模型性能分析工具,对模型进行遍历性检查并求解PEPA模型的稳态概率分布。
交通/航空行业 航空客运订票的业务活动包括:查询航线、客票预订和办理退票等。航空客运订票系统
航空客运订票的业务活动包括:查询航线、客票预订和办理退票等。航空客运订票系统,使上述业务可以借助计算机来完成
软件设计/软件工程 本文件夹中的Model目录下包含了系统的数据库模型图和系统建模图
本文件夹中的Model目录下包含了系统的数据库模型图和系统建模图,分别使用PowerDesigner
软件设计/软件工程 :分析了VxWorks 下的USB 驱动程序模型的结构以及功能,详细说明USB 主机驱动协议栈,并将软件设计分为 Client Driver ,USBD 和HCD 三层。由于对于开发USBD 和Cl
:分析了VxWorks 下的USB 驱动程序模型的结构以及功能,详细说明USB 主机驱动协议栈,并将软件设计分为
Client Driver ,USBD 和HCD 三层。由于对于开发USBD 和Client Driver 已有很多研究和讨论,但对HCD 的研究比较缺乏,
为了提供全面可行的开发基于VxWorks 的USB 驱动程序的技术方案,详细地阐述了USB 主控制器OHCI 驱动程序的 ...
其他 头盔,3d max的模型文件,比较经典的.
头盔,3d max的模型文件,比较经典的.
其他 冬季北方室内空气交换问题的数学模型详细设计
冬季北方室内空气交换问题的数学模型详细设计
文件格式 这是国标《导航地理数据模型及交换格式》对于学习电子地图数据结构很有帮助
这是国标《导航地理数据模型及交换格式》对于学习电子地图数据结构很有帮助