排序方式: 共有20条查询结果,搜索用时 312 毫秒
1.
2.
3.
随着机器人应用在越来越多的领域,人们对其安全性的要求越来越高,作为机器人的核心,控制系统设计的可靠性对整个系统的安全至关重要;针对一种模块化设计的机器人控制系统架构,利用xMAS(eXecutable MicroArchitecture Specification,可执行微架构描述)模型在定理证明器ACL2中对其功能正确性进行验证,首先对Xmas在ACL2中的形式化理论做了阐述,然后对该机器人控制系统中的加速度传感器数据采集模块建立xMAS模型,提取关键属性并进行验证;将xMAS模型和定理证明器ACL2相结合,可以很好地解决机器人控制系统的验证问题,为机器人控制系统的形式化验证提供一个有效的方法参考。 相似文献
4.
5.
6.
7.
8.
9.
目前远程视频监控系统已经成为计算机监控系统的重要分支。国内外现有的远程监控系统大多基于光纤.而光纤如果遇到机械冲击、碰撞等都会造成光缆断缆或断芯.光缆断裂后,很难快速修复,且修复设备复杂.普通用户根本无法进行焊接修复.再加上光端机价格较高.这些都限制了光纤远程监控系统的应用和普及。为此,人们找到了价格相对便宜、维护十分简单的极低比特率双绞线解决方案。文中以基于MODEM专线方式的远程视频监控系统为例,介绍经济、实用且具有广播能力的远程网络摄像机系统。 相似文献
10.
CCD图像传感器是目前科学成像领域主流的固体成像器件。一般而言, 当成像系统中使用CCD器件时, 首先需要测量它的一些性能指标, 这是判断该CCD器件是否满足整个系统性能要求的重要依据。对CCD成像器件性能的测试方法进行了探讨, 涉及的参数包括增益、噪声、电荷转移效率、线性和满阱电荷等。研究重点是如何应用扩展像素边界反应方法及同位素X射线方法检测CCD的电荷转移效率, 以及利用X射线方法测量器件的增益。最后以理论研究为基础, 发展并提出了一套切实可行的CCD器件检测方法, 同时基于E2V公司4K×4K芯片CCD203_82进行了性能测试实验, 实验结果也验证了本文提出的测试方法的可行性和可靠性。 相似文献