 |
作战机器人
Man-Wearable Control Units for Military Robotics
http://www.defensetechbriefs.com/content/view/1388/36/
自去年夏天以来，美军在伊拉克投入了安装了机枪的作战机器人. 但由于这种武器不会分辨敌军和友军,也不会分辨军人和平民,至今还没有使用. 下面是照片：
http://www.defensetechbriefs.com/images/thumbnails/features/2009/0209feat1a_10ff311e1c38520245f0e96da499fcee.png
http://www.defensetechbriefs.com/images/thumbnails/features/2009/0209feat1b_10ff311e1c38520245f0e96da499fcee.png
Infrastructure for Development of Secure, Reliable Software
用形式化方法验证军用软件
[url]http://www.defensetechbriefs.com/content/view/1399/34/[/url]
康纳尔大学为开发可靠的军用软件建立基础平台(infrastructure).这些软件用于分布式实时应用方面,它们软件难以描述也很难懂.新系统支持correct by construction, secure by construction. 该系统由一组软件开发工具组成.核心部分是一个由形式化算法组成的库.系统拥有32个处理器,68G的内存和1200G的硬盘以支持知识搜索.
Robert Constable, Christoph Kreitz, Bart Selman, Stuart Allen, Richard Eaton, Lori Lorigo, Wojciech Moczydlowski, Evan Moran, and Radhika Lakshmanan |
|
|
