美国国防部

2023-11-13收录

信息

中文名
美国国防部
展开
总部
美国弗吉尼亚州阿灵顿县
展开
官网
http://www.defense.gov/
展开
外文名
United States Department of Defense
展开
成立时间
1947年9月
展开
办公地
五角大楼
展开

简介

美国国防部(英语:United States Department of Defense,简称DOD或DoD)是美国联邦行政部门之一,主要负责统合国防与陆海空军(美军),其总部大楼位于五角大楼,因此人们也常用五角大楼作为美国国防部的代称。国防部的行政首长是国防部长,依照美国法律由文官担任。美国国防部设有三个军事部门:陆军部、海军部与空军部,涵盖除海岸警卫队外的所有美国军事力量。除此之外,美国国防部亦设有若干国防幕僚与研究单位,同时管辖各军校。当地时间2021年1月21日,美国参议院军事委员会经过投票表决,确认拜登提名的劳埃德·奥斯汀(Lloyd Austin)为国防部部长。

作品

Ada是一种表现能力很强的通用程序设计语言,它是美国国防部为克服软件开发危机,耗费巨资,历时近20年研制成功的。它被誉为第四代计算机语言的成功代表。与其他流行的程序设计语言不同,它不仅体现了许多现代软件的开发原理,而且将这些原理付诸实现。因此,Ada语言的使用可大大改善软件系统的 清晰性、 可靠性、 有效性、可维护性。
530
ACNC —— Ada 语言实现的 G 代码解析器和 CNC 控制器 构建指令 G代码查看器 在同一目录中下载和安装 GNAT 和 GtkAda 包 启动 GPS(GNAT 程序设计工作室) 打...
530其他开发相关
Muen 是 Ada 语言实现的高可靠分离内核(微内核)操作系统。 概述 Muen Separation Kernel是世界上第一个被正式证明在源代码级别不包含运行时错误的开源微内核。它是由瑞士...
500操作系统
PolyORB 是用于构建面向对象分布式系统的多态可重用基础架构。 PolyORB 提供了一个统一的解决方案,依靠中间件标准来构建分布式应用程序。 PolyORB 是一个开发工具套件和一个运行时...
530分布式应用/网格
当前共4个项目