- 一种基于模型检查的嵌入式软件验证方法, 嵌入式软件广泛应用于不同领域,如消费电子、工业控制、汽车电子、移动通信等。嵌入式软件的可靠性保证十分关键。嵌入式软件中常见的错误包括状态机错误、时序错误、栈溢出/存储溢出等,在开发过程中对嵌入式软
- 关键字:
验证 方法 软件 嵌入式 模型 检查 基于
- 讨论了三维油藏可视化模型的建立和相应图形绘制软件的开发。对三维油藏地质数据自动提取可视面,用OpenGL完成三维油藏模型显示、剖切、变换等功能。该软件通过了实际油田数据的测试。
- 关键字:
OpenGL 可视化 模型
- 1 引言 视觉是人类认识世界的最重要的手段之一,人类获取的信息百分之八十以上都是通过视觉得到的。随着计算机技术、传感器技术的发展,使用摄像机与计算机模拟并实现部分生物视觉成为可能,并已在许多方面得
- 关键字:
方法研究 概述 定位 视觉 模型 单目 基于
- 摘要:访问控制是为了提高效益,增强竞争力,保障信息管理系统的安全而产生的一种信息安全技术。基于任务的访问控制模型(TBAC)是从应用的角度来解决安全问题,是基于主动式安全模型,以面向任务的观点来建立安全模型
- 关键字:
校图书馆 应用 模型 控制 任务 访问 基于
- 1 引言 一般机器人具有视觉、力触觉,而发射眼孔波的视觉机器人几乎未见报导。机器人视觉识别和发射眼孔波之后,按眼孔波信息,机器人力触觉传感器可以进行相应动作。用视觉进行识别,用眼孔波发射信息。 眼孔
- 关键字:
研究 模型 通信 视觉 功能
- 据悉,近日,南方医科大学珠江医院宣布,国家高科技研究发展(八六三)计划项目成果——医学图像三维重建可视化...
- 关键字:
扫描 采集 输入 三维 模型
- 摘要本文首先建立了单信道的软件无线电数学模型,分析比较了FPGA、ASIC以及DSP设计方式的优缺点,并深入研究...
- 关键字:
FPGA 无线电 模型
- 两种嵌入式系统设计模型研究,本文介绍了两种常见的嵌入式系统设计模型,并对这两种嵌入式系统设计模型进行了分析比较。
- 关键字:
研究 模型 设计 系统 嵌入式
- 从分析重入堆栈的原理与不足出发,通过把8051页变量与重八问题相联系,提出基于页的重入函数,并设计一种实时性和安全性较好的基于页的805l多任务模型。
- 关键字:
模型 任务 基于
模型介绍
您好,目前还没有人创建词条模型!
欢迎您创建该词条,阐述对模型的理解,并与今后在此搜索模型的朋友们分享。
创建词条
关于我们 -
广告服务 -
企业会员服务 -
网站地图 -
联系我们 -
征稿 -
友情链接 -
手机EEPW
Copyright ©2000-2015 ELECTRONIC ENGINEERING & PRODUCT WORLD. All rights reserved.
《电子产品世界》杂志社 版权所有 北京东晓国际技术信息咨询有限公司
京ICP备12027778号-2 北京市公安局备案:1101082052 京公网安备11010802012473