最新軍事技術－－作戰機器人等

作戰機器人
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