shopkeeper/korean_wiki_content_only_120125 huggingface dataset:
ASTM 재료 사양은 일반적으로 특정 재료 구성을 나타내는 다양한 등급 또는 유형을 다룬다. 가장 일반적으로 사용되는 것들은 다음과 같다.
수소를 사용하는 설비에서는 구리 및 스테인리스 스틸 대롱은 공장에서 미리 세척(ASTM B 280) 및 계장 등급으로 인증되어야 한다. 이는 수소의 특정 특성 때문이다. 즉, 산소, 산소 공급원 또는 오염 물질이 있는 경우 폭발하고, 원자 크기 때문에 누출되며, 특히 압력 하에서 금속의 취화를 유발한다.
강도 계산.
실리콘고무 대롱의 인장 강도가 10 MPa이고 외경이 8 mm, 벽 두께가 2 mm일 때 최대 압력은 다음과 같이 계산할 수 있다.
파열 압력은 5 MPa이다.
안전 계수를 사용할 경우:
대롱은 모터 및 기타 장비의 냉각을 돕는 열 교환 시스템의 필수 구성 요소이다. 산업 응용 분야에서는 내압 대롱을 사용하여 가스와 액체를 압력 하에서 안전하게 보관하여 공기 누출이나 오작동을 방지한다. 또한 초음파로 작동하는 장치는 전기장에 노출될 때 진동을 생성할 수 있는 특수 유형의 얇은 벽 대롱을 자주 사용한다. 마지막으로, 대롱 구성 요소는 실리콘 고무 폼 단열재 및 폴리에틸렌 폼 단열재와 같은 주택 단열재에서 효율적인 에너지 절약을 제공한다.
구조용 강관(Hollow structural section, HSS)은 속이 비어있는 단면을 가진 프로파일의 한 종류이다. 이 프로파일은 원형, 정사각형 또는 직사각형 단면을 가질 수 있으며, 타원형과 같은 다른 모양도 이용 가능하다.
유럽이나 EN 10210 또는 EN 10219 표준을 따르는 다른 국가에서는 HSS라는 용어가 사용되지 않는다. 대신 세 가지 기본 모양은 원형, 정사각형, 직사각형 중공 단면을 의미하는 CHS, SHS, RHS로 참조된다. 예를 들어, CHS 200 x 10은 외경이 200mm이고 벽 두께가 10mm인 원형 중공 단면을 의미한다.
다른 제품과의 비교.
HSS는 때때로 중공 구조용 강철로 잘못 언급되기도 한다. 직사각형 및 정사각형 HSS는 일반적으로 튜브 강철 또는 박스 단면이라고도 불린다. 원형 HSS는 때때로 강관으로 잘못 불리기도 하는데, 실제 파이프는 HSS와 치수 및 등급이 다르다. (HSS 치수는 프로파일의 외부 치수를 기준으로 하며, 파이프도 외부 공차에 맞춰 제조되지만 다른 표준을 따른다.) HSS의 모서리는 벽 두께의 약 두 배인 반경을 가지며 크게 둥글다. 벽 두께는 단면 전체에 걸쳐 균일하다.
구조물에서의 사용.
HSS, 특히 직사각형 단면은 부재가 여러 방향으로 하중을 받는 용접 강철 프레임에 일반적으로 사용된다. 정사각형 및 원형 HSS는 두 개 이상의 단면 축을 따라 균일한 기하학적 구조를 가지므로 균일한 강도 특성을 가지며, 이러한 다축 하중에 매우 효율적인 모양을 가지고 있다. 이로 인해 기둥에 좋은 선택이다. 또한 비틀림에 대한 저항도 뛰어나다.
HSS는 들보로도 사용될 수 있지만, 와이드 플랜지 또는 형강 모양은 많은 경우 이 용도에 더 효율적인 구조적 모양이다. 그러나 HSS는 횡 비틀림 좌굴에 대한 우수한 저항성을 가지고 있다.
직사각형 HSS의 평평한 정사각형 표면은 시공을 용이하게 하며, 노출된 구조물에서 건축 미학을 위해 선호되기도 한다. 타원형 HSS는 동일한 미학적 이유로 노출된 구조물에서 점점 더 인기를 얻고 있다.
오늘날 HSS는 일반적으로 연강, A500 등급 C로 제공된다. HSS에 사용 가능한 다른 강철 등급은 A847 (내후성강), A1065 (SAW 공정으로 제작된 최대 50인치 정사각형의 대형 단면), 그리고 최근에 승인된 A1085 (A500보다 강도가 높고 공차가 더 빡빡함)이다. 유럽에서는 일반적으로 S235 강철이 사용된다.
정사각형 HSS는 파이프와 동일한 방식으로 만들어진다. 제조 과정에서 평평한 강판은 점차적으로 원형으로 변형되어 가장자리가 용접할 준비가 된다. 그런 다음 가장자리가 함께 용접되어 모관을 형성한다. 제조 과정에서 모관은 일련의 성형 스탠드를 통과하여 원형 HSS(모관)를 최종 정사각형 또는 직사각형 모양으로 만든다. 대부분의 미국 제조업체는 ASTM A500 또는 새로 채택된 ASTM A1085 표준을 준수하며, 캐나다 제조업체는 ASTM A500과 CSA G40.21을 모두 따른다. 유럽 중공 단면은 일반적으로 EN 10210 표준에 따른다.
채워진 HSS.
HSS는 내화 등급과 견고성을 향상시키기 위해 종종 콘크리트로 채워진다. 이 경우, 이 제품은 매사추세츠주 월섬의 발명가 존 랠리(John Lally)의 이름을 따서 랠리 기둥이라고 불린다. (발음은 종종 롤리 기둥으로 잘못 불린다.) 예를 들어, 주차장 주변의 차단벽(볼라드)은 범퍼 높이까지 콘크리트로 채워지는 경우가 많다. 이것은 볼라드의 압축강도를 추가하는 저렴한 방법이며(교체 비용을 고려할 때), 보기 흉한 국부적인 움푹 들어감을 방지하는 데 도움이 될 수 있지만, 일반적으로 볼라드의 전반적인 구조적 특성을 크게 증가시키지는 않는다.
터널링 실드(tunnelling shield)는 크고 인공적인 터널을 굴착할 때 사용되는 보호 구조물이다. 연약하고 액체 상태이거나 불안정한 지반을 굴착할 때, 떨어지는 자재나 붕괴로 인해 작업자와 프로젝트 자체에 잠재적인 건강 및 안전 위험이 발생할 수 있다. 터널링 실드는 임시 지지 구조물로 사용될 수 있다. 일반적으로 터널 구간이 굴착된 후 영구적인 지지 구조물로 보강될 때까지 단기간 동안 제자리에 있다. 영구 구조물은 시대에 따라 벽돌, 콘크리트, 주철 또는 강철로 만들어질 수 있다. 현대의 실드는 일반적으로 원통형이지만, 마크 이점바드 브루넬이 설계한 최초의 "실드"는 실제로는 세 개의 층과 층당 열두 개의 섹션, 그리고 단단한 하중 지지 상부 표면을 가진 크고 직사각형의 비계와 같은 철 구조물이었다. 이 구조물은 실드 앞에서 터널을 파는 동안 작업자들이 붕괴로부터 보호받도록 했다.
최초의 성공적인 직사각형 터널링 실드는 마크 이점바드 브루넬이 개발하여 1818년 1월 코크레인 경과 함께 특허를 받았다. 브루넬과 그의 아들 이점바드 킹덤 브루넬은 1825년부터 템스 터널을 굴착하는 데 이를 사용했다(터널은 1843년까지 개통되지 않았다). 브루넬은 조선소에서 일하면서 물에 잠긴 목재를 뚫는 효율성을 관찰한 선박좀이라는 연체동물의 껍데기에서 영감을 받아 자신의 설계를 했다고 전해진다. 이 실드는 모즐리, 선스 &amp; 필드 오브 램버스, 런던에서 제작되었으며, 이들은 터널 배수를 위한 증기 펌프도 제작했다.
1840년, 사이언티픽 아메리칸(Scientific American) 저널의 편집장인 앨프레드 엘리 비치는 원형 디자인이 브루넬의 직사각형 디자인보다 우수할 것이라고 처음으로 제안했다. 1868년 비치는 원형 실드를 제작했으며, 그 그림은 그의 공기압 터널 시스템 아이디어에 대한 뉴욕 뉴스 기사에 실렸다. 이 디자인은 브루넬의 실드 격자와 나사 잭에 기반을 두었으며, 작업면이 수동으로 진행됨에 따라 앞으로 밀려나갔다.
1864년 피터 W. 발로우는 원형 단면을 가진 디자인 특허를 신청했다. 이론적으로 이것은 실드를 만들고 주변 토양을 지지하는 데 더 쉽게 만들었지만, 실제로는 이 디자인을 사용하여 제작된 실드는 없었다. 1864년 발로우 특허는 1868년에 더 개선되어 임시 특허를 받았지만, 발로우가 얼마 후 사망하여 비준되지 않았다.
브루넬의 원래 디자인은 제임스 헨리 그레이트헤드에 의해 크게 개선되었고, 그는 여러 실드 디자인에 대한 세 가지 특허를 받았다. 또한 그는 분사 콘크리트 그라우트 개념을 발명하여 주입된 콘크리트로 토공사를 안정화하고, 유압으로 보강 그라우트를 건설된 라이닝과 원형 터널 벽 사이의 공동에 주입하는 그라우트 팬을 발명했다.
그레이트헤드는 1869년 런던 중심부의 템스강 아래 타워 지하철 건설에서 원통형 터널링 실드를 처음으로 사용했다. 그레이트헤드 실드는 직경 이었다. 마찬가지로 앨프레드 엘리 비치는 1870년 3월 1일에 자신의 터널을 대중에게 개방했다.
그레이트헤드는 1884년 시티 &amp; 사우스 런던 철도(오늘날 런던 지하철노던선의 일부) 건설에도 직경 의 터널을 만들면서 실드를 사용했다. 그의 실드는 1898년에 개통된 워털루 &amp; 시티 철도의 직경 주행 터널 건설에도 사용되었다. 시티역(현재 뱅크역으로 알려짐)의 역 터널은 당시 세계에서 가장 큰 직경의 터널링 실드로, 에 달했다.
무어게이트역 아래 폐기된 터널에는 런던 지하철 심층 노선 굴착에 사용된 원래 그레이트헤드 실드가 여전히 남아 있다.
대부분의 터널링 실드는 여전히 그레이트헤드의 디자인에 느슨하게 기반을 두고 있다.
수동 실드 터널링.
초기 실드 터널링에서는 실드가 굴착 작업을 수행하고 실드를 앞으로 이동시키는 노동자들을 보호하는 역할을 했으며, 점진적으로 터널 벽의 미리 건설된 섹션으로 대체되었다. 런던 지하철의 초기 심층 터널은 이러한 방식으로 건설되었다. 실드는 작업면을 각 작업자가 굴착할 수 있는 겹치는 부분으로 나누었다.
현대 터널굴착기.
터널굴착기(TBM)는 실드(큰 금속 실린더)와 후방 지지 메커니즘으로 구성된다.
실드의 전면에는 회전하는 절단 바퀴가 있다. 절단 바퀴 뒤에는 굴착된 토양이 슬러리와 혼합되거나(슬러리 TBM) 그대로 남겨지는(흙 압력 균형 또는 EPB 실드) 챔버가 있으며, 이는 TBM 유형에 따라 다르다. TBM 유형의 선택은 토양 조건에 따라 달라진다. 토양(또는 슬러리와 혼합된 토양) 제거 시스템도 존재한다.
챔버 뒤에는 완성된 터널 부분에 의해 지지되는 유압 잭 세트가 있으며, 이는 TBM을 앞으로 밀어내는 데 사용된다. 일정 거리(대략 )가 굴착되면, 이렉터(Erector)를 사용하여 새로운 터널 링이 건설된다. 이렉터는 프리캐스트 콘크리트 세그먼트를 들어 올려 원하는 위치에 배치하는 회전 시스템이다.
실드 뒤, 완성된 터널 내부에는 TBM의 일부인 여러 지지 메커니즘이 있다: 흙 제거, 해당하는 경우 슬러리 파이프라인, 제어실, 프리캐스트 세그먼트 운반용 레일 등.
라이닝.
터널 라이닝은 터널의 벽이다. 일반적으로 링을 형성하는 프리캐스트 콘크리트 세그먼트로 구성된다. 런던 지하철 터널에서는 전통적으로 주철 라이닝이 사용되었고, 다른 곳에서는 강철 라이너가 때때로 사용되었다. 프리캐스트 성형 라이닝 섹션을 사용하는 개념은 새로운 것이 아니며, 1874년 제임스 헨리 그레이트헤드에 의해 처음 특허를 받았다.
일본의 실드.
일본에는 이중-O-튜브 또는 DOT-터널과 같은 여러 혁신적인 실드 터널링 접근 방식이 있다. 이 터널은 두 개의 겹치는 원처럼 보인다. 또한 사실상 어떤 모양으로든 터널을 굴착하는 데 사용할 수 있는 컴퓨터화된 팔을 가진 실드도 있다.
대한민국소방의 드론(Drones in the Fire Service of South Korea)은 대한민국의 소방 조직이 화재·구조·구급 및 각종 재난 현장에서 운용하는 무인비행장치(드론) 체계를 말한다. 2010년대 초 도입 이후 「항공안전법」 체계와 소방청 훈령인 '소방 무인비행장치 운용규정'을 바탕으로 표준규격, 관제·영상전송, 조종자 양성, 임무 전술이 단계적으로 확립되었다.
소방 드론은 가시광선·열화상·가스감지 등 탑재체를 사용해 정찰·상황판단·의사결정 지원을 수행하고, 확성기·서치라이트·투하장치 등 임무장비를 통해 대피 유도와 물자 전달까지 지원한다. 소방청은 2019년 '소방드론 표준규격' 개발을 추진하여 기체 성능, 영상전송, 운용 안전요건 등 공통 사양을 제시하였다. 2020년대 들어 전국 배치 드론 수와 출동 실적은 지속 증가하여 2024년 운용 건수는 4,623건에 달했다.
법·제도.
한국의 소방 드론은 「항공안전법」에 따른 '초경량비행장치 조종자 증명' 제도, 국토교통부 고시·훈령, 소방청 훈령과 지방자치단체 지침의 다층 구조 안에서 운용된다. 드론 조종은 법 제125조 및 시행규칙 제306조에 근거하며, 조종자 등급·시험 절차는 한국교통안전공단 세칙으로 운영된다. 또한 국토교통부는 드론 실증과 비가시권(BVLOS) 완화를 위한 '드론 특별자유화구역', 'K-드론시스템(저고도 UTM)'을 확대하여 재난 현장 연계성을 높이고 있다.
조직과 운용 체계.
소방청은 운용규정에 기초하여 전담부서 지정, 조종자 자격·임무, 보험 가입 의무화 등을 표준화하였다. 시·도 본부는 영상관제 시스템과 LTE/5G 기반 실시간 전송 체계를 확충하고 있으며, 대구·경기 등은 출동 차량과 드론 영상을 통합 관제한다.
장비와 센서.
표준규격(안)은 기체 형태·구조, 최대이륙중량, 풍속저항, 비행시간, 통신거리 등 핵심 성능과 열화상·광학징비, 서치라이트·확성기·투하장치 등 임무장비 기준을 포함한다. 일부 본부는 유해화학가스 탐지, AI 객체인식 관제차량 등을 도입해 탐지·분석 능력을 보강하였다. 소방공학 분야에서는 로봇팔·그리퍼를 장착한 구조보조 드론 등 현장 작업 대체 기술이 제안되었다.
임무 영역.
소방 드론의 대표적 임무는 (1) 화재 감시·확산 예측, (2) 산악·수난 수색, (3) 붕괴·매몰 현장 정찰, (4) 침수·급류 대응 관측, (5) 대형 행사·집회 안전관리, (6) 고립자 물품 투하 및 대피 유도 등이다. 서울은 2016~2021년 화재 167회·구조 127회 등 사고현장 294회 운용을 집계하였다. 2022년 3월 노컷뉴스는 "열화상 카메라가 부착된 드론이 불길 방향 예측과 잔불 제거에 기여했다"며 현장 활용도를 상세히 전했다.
교육·훈련과 자격.
드론 조종은 「항공안전법」에 따른 조종자 증명 취득이 요구된다. 한국교통안전공단은 무인멀티콥터 등 11개 종목 자격시험을 운영하며, 학과·실기 기준을 공시한다. 소방학교는 시뮬레이터·실기장을 갖춘 자체 교육과정을 운영하고, 중앙·지방 소방학교와 합동 연수로 현장 적용 능력을 높인다.
전술·운용 기법.
소방 드론 운용은 '이륙 전 법령 검토·비행계획 수립 → 현장 정찰·열화상 스캔 → 실시간 영상 관제(119상황실·지휘관) → 대피 유도·물자 투하·통신중계 → 잔불 확인·손실 기록' 절차로 표준화된다. LTE/5G 기반 영상전송과 임시 통신중계로 의사결정 속도를 높이며, 통신재난 복구 실험에서도 드론의 신속성(복구시간 약 1/4)은 확인되었다.
드론 운용은 공역·전파·개인정보, 야간·강풍 임무 안전, 배터리 지속시간과 통신 음영, 다부처 협업 절차 등 과제가 병존한다. 운용규정은 보험 의무화로 위험을 관리하나, BVLOS 완화·임무형 표준매뉴얼 정합성, 지방 간 장비·인력 편차 해소가 요구된다.
튀르키예 국철 E23000계 전동차는 현대로템에서 제작하여 2009년부터 납품된 전동차이다.
튀르키예 국철 E23000계 전동차는 E8000계 전동차와 E14000계 전동차의 대체용으로 제작되었다. 구조는 3량 1편성이다.
현재 튀르키예 국철에서 앙카라 통근 노선용으로 운행되고 있으며, 이즈반 A.Ş.에서 이즈미르 통근 노선 이즈반용으로 임대하고 있다. 이후 이즈반 A.Ş.에서 주문한 모든 E22100계 전동차가 운행에 들어가고, E23000계는 앙카라로 다시 운송될 예정이다.
하비에르 멘데스()는 다음 사람을 가리킨다.
록히드 T-33 슈팅스타(Lockheed T-33) 또는 T-버드는 미국의 아음속 제트 훈련기이다. 록히드에서 생산했으며 1948년에 첫 비행을 했다. T-33은 개발 중 TP-80C/TF-80C로 시작하여 이후 T-33A로 지정된 록히드 P-80/F-80을 기반으로 개발되었다. 미국 해군은 처음에는 TO-2로, 그 다음에는 TV-2로 사용했으며, 1962년 이후에는 T-33B로 지정되었다. T-33의 마지막 운용국인 볼리비아 공군은 44년간의 운용 끝에 2017년 7월에 이 기종을 퇴역했다.
T-33은 록히드 P-80/F-80을 기반으로 동체를 3피트(1m) 이상 늘리고 두 번째 좌석, 계기 및 비행 제어 장치를 추가하여 개발되었다. 처음에는 P-80/F-80의 변형인 TP-80C/TF-80C로 지정되었다.
록히드 P-80의 설계 작업은 1943년에 시작되어 1944년 1월 8일에 첫 비행을 했다. 벨 P-59에 이어 P-80은 미국 육군 항공대에서 완전한 비행대대 서비스를 시작한 최초의 제트 전투기가 되었다. 더 발전된 제트기가 도입되면서 F-80은 제트 조종사 훈련이라는 또 다른 역할을 맡게 되었다. 2인승 T-33 제트는 프로펠러 항공기 조종 자격이 있는 조종사를 훈련하기 위해 설계되었다.
원래 TF-80C로 지정된 T-33은 1948년 3월 22일 록히드 시험 비행 조종사 토니 르비어가 조종하여 첫 비행을 했다. 록히드에서의 생산은 1948년부터 1959년까지 이루어졌다. 미국 해군은 1949년부터 T-33을 지상 기반 훈련기로 사용했다. TV-2로 지정되었으나 1962년에 T-33B로 재지정되었다. 해군은 일부 전 미국 공군 P-80C를 TO-1로 운용했으며, 약 1년 후 TV-1으로 변경했다. P-80/T-33 계열의 항공모함 운용 가능 버전은 록히드에 의해 개발되었고, 이는 결국 1950년대 후반부터 1970년대까지 운용된 T2V-1/T-1A 시스타로 이어졌다. 두 대의 TF-80C 시제품은 전천후 2인승 전투기 변형의 시제품으로 개조되었으며, 이는 F-94 스타파이어가 되었다. 총 6,557대의 T-33이 생산되었으며, 이 중 5,691대는 록히드에서, 210대는 가와사키에서, 656대는 캐나데어에서 라이선스 생산되었다.
미국 공군 및 미국 해군.
2인승 T-33은 고급 훈련기로 적합하다는 것이 입증되었으며, 드론 지휘 및 표적 견인과 같은 임무에 사용되었다. 코에 카메라가 설치되고 후방 조종석에 추가 장비가 장착된 RT-33A로 알려진 정찰 버전도 생산되었다. 주로 수출용으로 제작되었지만, 미국 공군은 1961년부터 베트남 공화국과 라오스 상공의 비밀 비행을 위해 이 기종의 단일 표본을 사용했으며, 이 비행은 FIELD GOAL이라는 암호명으로 불렸다. 이는 이 역할에서 더 유능한 맥도널 RF-101 부두 항공기로 교체될 때까지 계속되었다.
미 공군은 1960년대 초 공군 훈련 사령부에서 T-33을 최전선 조종사 훈련 임무에서 단계적으로 퇴출하기 시작했는데, 이는 세스나 T-37과 노스럽 T-38 탤론 항공기가 학부 조종사 훈련(UPT) 프로그램에서 이를 대체하기 시작했기 때문이다. T-33은 피터슨 비행장(현재 콜로라도 스프링스의 피터슨 공군 기지)에서 공군사관학교 사관후보생을 훈련하는 데 사용되었다. T-37은 1975년에 사관학교 훈련에서 T-33을 대체했다. 고급 훈련에 사용된 마지막 T-33은 1967년 2월 8일 앨라배마주 크레이그 공군 기지에서 교체되었다. 미국 해군에서도 TV-1(1962년에 T-33으로 재명명됨)의 유사한 교체가 이루어졌는데, 노스 아메리칸 T-2 버카이 및 더글러스 TA-4 스카이호크 II와 같은 더 발전된 항공기가 도입되었기 때문이다. 미 공군과 미 해군 버전의 T-33은 1970년대와 1980년대에도 유틸리티 항공기 및 숙련도 훈련기로 계속 사용되었으며, 이전 미 해군 항공기 중 일부는 해군 항공기에서 발사되는 공대공 미사일 테스트와 해군 함정에서 발사되는 함대공 미사일 테스트를 위한 실물 크기 공중 표적으로 소모되었다.
몇 대의 T-33은 미국 공군 맥도널 F-101 부두, 컨베어 F-102 델타 대거, 컨베어 F-106 델타 다트 부대에 배정되었으며, 유사하게 장비를 갖춘 주 방위군 항공우주 방어 사령부 소속 부대에 숙련도 훈련기 및 훈련용 "적기" 항공기로 사용되었다. 다른 항공기는 나중에 전술 공군 사령부에 넘어갔고, 전술 공군은 마지막 NT-33 변형이 1997년 4월에 퇴역할 때까지 주 방위군 F-106 및 맥도널-더글러스 F-4 팬텀 II 부대를 유사한 역할로 보유했다.
다른 국가의 군사적 사용.
T-33은 약 25개국의 군대에서도 사용되었으며, 소규모 공군에서는 훈련기로 계속 운용되고 있다. 캐나데어는 캐나다 왕립 공군(RCAF)-캐나다군에서 CT-133 실버스타로 운용하기 위해 656대의 T-33을 라이선스 생산했으며, 가와사키 중공업은 일본에서 210대를 생산했다. 다른 운용국으로는 T-33을 광범위하게 사용한 브라질, 튀르키예, 태국이 있다.
일부 T-33은 사격 훈련용으로 두 정의 기관총을 유지했으며, 일부 국가에서는 T-33이 전투에 사용되기도 했다. 쿠바 혁명공군 및 반항공군은 피그스만 침공 중에 T-33을 사용하여 수송선 두 척을 격침시키는 등 여러 격추를 기록했다.
인도네시아 공군은 1973년에 19대의 비무장 T-33A를 도입하여 아에로 L-29 델핀 훈련기를 보충했다. 여러 대의 항공기는 나중에 두 정의 기관총, 폐기된 Il-28 폭격기에서 가져온 조준경, 퇴역한 B-25 미첼에서 가져온 폭탄 랙으로 재무장되었다. 재무장된 T-33은 1976년 동티모르주에 배치되어 반란 진압 작전에 투입되었다. 인도네시아 공군은 1980년에 T-33을 퇴역했다.
주로 해외 국가에서 사용하기 위해 생산된 정찰기 버전인 RT-33A는 코에 카메라가 설치되었고 후방 조종석에 추가 장비가 장착되었다. T-33은 1980년대까지도 통화 훈련기, 드론 견인, 전투 및 전술 시뮬레이션 훈련, "해킹" 항공기, 전자 대책, 그리고 전쟁 훈련 및 테스트 플랫폼으로 계속 비행했다.
1980년대에는 T-33을 보잉 스카이폭스로 개조하고 현대화하려는 시도가 있었지만, 주문 부족으로 프로젝트가 취소되었다. T-33의 기체는 스카이폭스에서 약 70%가 유지되었지만, 두 대의 개릿 에어리서치 TFE731-3A 터보팬 엔진으로 동력을 공급받았다.
1990년대 후반, 볼리비아 공군 소속 T-33 Mk-III와 T-33 SF-SC 18대가 캐나다로 보내져 켈로나 플라이트크래프트에서 현대화되었다. 새로운 항공전자가 설치되었고, 동체와 날개에 대한 상세한 검사 및 보수가 이루어졌다. 대부분의 항공기는 2001년 초에 돌아왔으며 2017년 7월 31일 공식적으로 퇴역할 때까지 운용되었다.
1996년 6월 21일, 그리스 공군 소속 T-33A-5-LO(훈련기 TR-602) 한 대가 이오안니스 쿠라초글루 편대장의 조종하에 저고도 고G 기동을 통해 아테네 FIR을 침범한 튀르키예 F-16C를 성공적으로 요격했다.
제한된 수의 T-33이 개인 소유였으며, 두 대는 보잉에서 추격기로 사용되었다. 2010년에는 보잉 소유의 T-33 한 대가 보잉 787의 첫 비행 중 추격기로 사용되었다. 2018년 3월 16일 보잉 737 MAX-7의 첫 비행에도 T-33 추격기가 등장했다. 2020년 1월 25일 보잉 777-9의 첫 비행에도 T-33 추격기가 등장하여 KBFI에서 이륙하여 KPAE에서 777-9를 만났고, KMWH에 잠시 정차한 후 다시 이륙하여 777-9를 추격하여 KBFI로 돌아오는 길에 레이니어 산 주변을 비행한 후 착륙했다. 2020년 12월 4일, 보잉은 66년간의 운용 끝에 T-33 추격기를 퇴역했다. 보잉에서 운용하던 두 대의 T-33은 단일 노스럽 T-38 탤론으로 교체되었다. 배우이자 조종사인 마이클 돈은 T-33을 소유하고 있었는데, 그는 농담으로 그것을 자신의 "스타쉽"이라고 불렀다.
캐나다제 항공기 운용국에 대해서는 캐나데어 CT-133 실버스타를 참조하시오.
수많은 T-33이 박물관 및 기념 전시물로 보존되었다.
주목할 만한 사고 및 사건.
1951년 1월 28일:
제2차 세계 대전 에이스 도미닉 살바토레 젠타일은 메릴랜드주 포레스트빌에서 T-33A-1-LO 슈팅스타 훈련기, AF 일련번호 49-0905를 추락시켜 사망했다. 젠타일은 전투 임무 중 20대의 공중 격추를 기록했다.
레나 엘리자베스 비터(Rena Elizabeth Bitter)는 미국의 외교관으로, 라오스 주재 미국 대사(2016–2020)와 미국 국무부 영사국 차관보(Assistant Secretary for Consular Affairs, 2021–2025)를 지냈다. 2021년 4월 조 바이든 행정부가 영사국 차관보로 지명하였고 같은 해 8월 미국 상원이 구두표결로 인준하였다.
비터는 텍사스에서 성장하였다. 힐크레스트 고등학교를 졸업한 뒤 노스웨스턴 대학교에서 1986년 학사 학위를, 서던메소디스트 대학교 데드먼 로스쿨에서 1991년 법학박사(JD)를 취득하였다.
노스웨스턴 대학교(학사, 1986)와 서던메소디스트 대학교 데드먼 로스쿨(JD, 1991)을 졸업하였다.
초기 외교 경력 (1994–2012).
1994년에 국무부에 입부하였다. 본부에서는 2000–2001년 장관실 집행비서실(Executive Secretariat) 보좌관, 2001–2002년 국무장관 특별보좌관을 지냈고, 국무부 운영센터 부국장·국장을 2009–2012년에 역임하였다. 재외공관에서는 멕시코시티와 보고타 근무를 거쳐 런던에서 비이민비자과장, 암만에서 영사과장을 맡았다.
라오스 대사 (2016–2020).
2016년 7월 상원 외교위원회 인사청문회에 출석한 후, 같은 해 11월 1일 신임장을 제정하고 비엔티안에서 임무를 시작하였다. 2016년 11월 28일 라오스 정보문화관광부 장관과 예방면담을 갖는 등 양자 협력을 추진하였다. 임무는 2020년 1월 26일 종료되었다.
영사국 차관보 (2021–2025).
2021년 4월 지명과 8월 인준을 거쳐 2021년 8월 12일 취임하였다. 재임 중 여권 발급 수요 급증과 비자 적체에 대응하여 2023 회계연도 예산·인력 계획과 정보시스템 현대화를 의회에 보고하였다. 2024년 9월 온라인 여권 갱신(Online Passport Renewal) 재개 시범사업을 발표하였다. 임기는 2025년 1월 20일 종료되었다.
영사 서비스 혁신과 디지털 전환.
재임 기간 여권·비자 수요 급증에 대응해 수수료 재원 기반의 조직 운영과 인력 확충, 정보시스템 현대화를 병행하였다. 온라인 여권 갱신 시범사업을 다시 시작하여 대면 창구 부담을 완화하려 하였다. 인도와의 영사대화를 통해 대기시간 단축과 업무 공조를 논의하였다.
위기 대응과 운영센터 경험.
국무부 운영센터에서 2009–2012년 부국장·국장을 맡아 전 세계 사건 대응과 정보 종합을 지휘하였다. 2012년 첼시 매닝 관련 군사재판에서 운영센터의 대응 태스크포스 구성 경위를 증언하였다.
국제 협력과 다자 현안.
인도에서 양자 영사대화를 이끌었고 2024년 2월 현지 영사 업무 현황을 점검하였다.
정책적 관점과 행정 철학.
영사국을 고객 중심(public-facing, customer-centric) 서비스 기관으로 규정하고, 수수료 기반 재정의 안정성과 사이버 보안·노후 IT 현대화를 핵심 과제로 제시하였다.
스페인어·아랍어·베트남어를 구사한다.
디지털 제어 또는 디지털 컨트롤(digital control)은 제어이론의 한 분야로, 컴퓨터를 디지털 시스템 컨트롤러로 사용하는 것이다.
요구 사항에 따라 디지털 제어 시스템은 마이크로컨트롤러, ASIC, 표준 데스크톱 컴퓨터의 형태를 취할 수 있다.
디지털 컴퓨터는 이산 시스템이므로 라플라스 변환은 Z변환으로 대체된다. 디지털 컴퓨터는 유한한 정밀도를 가지므로(양자화 참조), 계수, 아날로그-디지털 변환, 디지털-아날로그 변환 등의 오류가 원치 않거나 계획되지 않은 효과를 생성하지 않도록 특별한 주의가 필요하다.
1940년대 초 최초의 디지털 컴퓨터가 만들어진 이후 디지털 컴퓨터의 가격은 상당히 하락하여 제어 시스템의 핵심 요소가 되었다. 이는 소프트웨어를 통해 쉽게 구성하고 재구성할 수 있고, 추가 비용 없이 메모리 또는 저장 공간의 한계까지 확장할 수 있으며, 프로그램 매개변수가 시간에 따라 변경될 수 있고(적응 제어 참조), 디지털 컴퓨터는 축전기, 유도자 등보다 환경 조건에 훨씬 덜 영향을 받기 때문이다.
디지털 컨트롤러 구현.
디지털 컨트롤러는 일반적으로 피드백 시스템에서 플랜트와 종속적으로 연결된다. 나머지 시스템은 디지털이거나 아날로그일 수 있다.
일반적으로 디지털 컨트롤러는 다음을 요구한다.
출력 프로그램.
프로그램은 다양한 형태를 취하고 많은 기능을 수행할 수 있다.
컨트롤러가 아날로그 컨트롤러로 구현될 때는 안정할 수 있지만, 큰 샘플링 간격으로 인해 디지털 컨트롤러로 구현될 때는 불안정할 수 있다. 샘플링 중에 앨리어싱은 차단 매개변수를 수정한다. 따라서 샘플 속도는 보상된 시스템의 과도 응답 및 안정성을 특성화하며, 불안정성을 유발하지 않도록 컨트롤러 입력의 값을 충분히 자주 업데이트해야 한다.
주파수를 z 연산자에 대입할 때, 일반적인 안정성 기준은 이산 제어 시스템에도 여전히 적용된다. 나이퀴스트 기준은 z-도메인 전달 함수뿐만 아니라 복소 값 함수에도 일반적으로 적용된다. 보드 안정성 기준도 유사하게 적용된다.
유리 기준은 특성 다항식에 대한 이산 시스템의 안정성을 결정한다.
s-영역에서의 디지털 컨트롤러 설계.
디지털 컨트롤러는 s-영역(연속)에서도 설계될 수 있다. 터스틴 변환은 연속 보상기를 해당 디지털 보상기로 변환할 수 있다. 샘플링 간격이 감소함에 따라 디지털 보상기는 해당 아날로그 컨트롤러의 출력에 접근하는 출력을 달성할 것이다.
터스틴 변환 추론.
터스틴은 지수 함수 formula_2의 파데(1,1) 근사이다.
그리고 그 역은
디지털 제어 이론은 아날로그 시스템의 아날로그(시간 및 진폭에서 연속) 역학을 제어할 컴퓨터 시스템(마이크로컨트롤러, 마이크로프로세서)에 구현될 이산 시간, (또는) 양자화된 진폭 (또는) (이진) 코딩된 형태의 전략을 설계하는 기술이다. 이러한 고려 사항에서 고전적인 디지털 제어의 많은 오류가 식별되고 해결되었으며 새로운 방법이 제안되었다.
z-영역에서의 디지털 컨트롤러 설계.
디지털 컨트롤러는 z-영역(이산)에서도 설계될 수 있다. 펄스 전달 함수 (PTF) formula_5는 적절한 ADC 및 DAC와 인터페이스될 때, 그리고 지정된 샘플 시간 formula_6에 대해 연속 공정 formula_7의 디지털 관점을 나타내며 다음과 같이 얻어진다.
여기서 formula_9는 선택된 샘플 시간 formula_6에 대한 z-변환을 나타낸다. 주어진 사양을 달성하기 위해 디지털 컨트롤러 formula_11를 직접 설계하는 여러 가지 방법이 있다. 단위 음성 피드백 제어하의 0형 시스템의 경우, 마이클 쇼트와 동료들은 주어진 (일계수) 폐루프 분모 다항식 formula_12에 대한 컨트롤러를 합성하고 PTF 분자 formula_13의 (스케일링된) 영점을 보존하는 비교적 간단하지만 효과적인 방법으로 다음 설계 방정식을 사용하는 것을 보여주었다.
여기서 스칼라 항 formula_15는 컨트롤러 formula_11가 적분 동작을 나타내고 폐루프에서 단위 정상 상태 이득이 달성되도록 보장한다. 기준 입력 formula_17의 z-변환에서 공정 출력 formula_18의 z-변환으로의 결과 폐루프 이산 전달 함수는 다음과 같이 주어진다.
공정 시간 지연은 공정 PTF 분자 formula_13에서 선행 계수가 0으로 나타나기 때문에, 위의 합성 방법은 연속 플랜트에 그러한 지연이 존재하는 경우 본질적으로 예측 컨트롤러를 생성한다.
동역학계에서 쌍안정성(bistability)은 시스템이 두 개의 안정 평형 상태를 가짐을 의미한다. 쌍안정 구조는 두 상태 중 어느 하나에 놓여 있을 수 있다. 쌍안정 기계 장치의 예로는 전등 스위치가 있다. 스위치 레버는 "켜짐" 또는 "꺼짐" 위치에 놓이도록 설계되었으며, 그 사이에는 놓이지 않는다. 쌍안정적 거동은 기계적 연결 장치, 전자 회로, 비선형 광학 시스템, 화학 반응, 생리 및 생물학적 시스템에서 발생할 수 있다.
보존력장에서 쌍안정성은 위치 에너지가 두 개의 국소 최솟값을 가지며, 이들이 안정 평형점이라는 사실에서 비롯된다. 이러한 정지 상태는 동일한 위치 에너지를 가질 필요는 없다. 수학적 논증에 따르면, 불안정 평형점인 국소 최댓값은 두 최솟값 사이에 위치해야 한다. 정지 상태에서 입자는 가장 낮은 에너지 상태에 해당하기 때문에 최솟값 평형 위치 중 하나에 있을 것이다. 최댓값은 그들 사이의 장벽으로 시각화될 수 있다.
시스템은 장벽을 통과하기에 충분한 활성화 에너지를 받으면 하나의 최소 에너지 상태에서 다른 상태로 전환될 수 있다 (화학적 경우의 활성화 에너지와 아레니우스 방정식을 비교). 장벽에 도달한 후, 시스템이 감쇠를 가지고 있다고 가정하면, 완화 시간이라고 불리는 시간 내에 다른 최소 상태로 완화될 것이다.
쌍안정성은 디지털 회로 장치에서 이진법 데이터를 저장하는 데 널리 사용된다. 이는 컴퓨터와 일부 유형의 반도체 메모리의 기본 구성 요소인 플립플롭의 본질적인 특성이다. 쌍안정 장치는 하나의 비트 이진 데이터를 저장할 수 있으며, 한 상태는 "0"을 나타내고 다른 상태는 "1"을 나타낸다. 또한 완화 발진기, 멀티바이브레이터, 슈미트 트리거에서도 사용된다.
광학 쌍안정성은 입력에 따라 두 개의 공명 투과 상태가 가능하고 안정적인 특정 광학 장치의 속성이다.
쌍안정성은 생화학 시스템에서도 발생할 수 있으며, 여기서 구성 화학 농도와 활성으로부터 디지털 스위치와 같은 출력을 생성한다. 이러한 시스템에서는 종종 이력 현상과 관련이 있다.
동역학 시스템 분석의 수학적 언어에서 가장 간단한 쌍안정 시스템 중 하나는 다음과 같다.
이 시스템은 formula_2 모양의 곡선을 따라 구르는 공을 설명하며, 세 개의 평형점을 가진다: formula_3, formula_4, formula_5. 중간 지점 formula_6은 한계 안정이며 (formula_4은 안정적이지만 formula_8은 formula_4으로 수렴하지 않는다), 다른 두 지점은 안정적이다. 시간 경과에 따른 formula_10의 변화 방향은 초기 조건 formula_11에 따라 달라진다. 초기 조건이 양수(formula_12)이면, 해 formula_10는 시간이 지남에 따라 1에 가까워지지만, 초기 조건이 음수(formula_14)이면, formula_10는 시간이 지남에 따라 -1에 가까워진다. 따라서 동역학은 "쌍안정적"이다. 시스템의 최종 상태는 초기 조건에 따라 formula_3 또는 formula_17이 될 수 있다.
쌍안정 영역의 출현은 모델 시스템에 대해 이해될 수 있다.
이 시스템은 분기 매개변수 formula_19과 함께 초임계 피치포크 분기를 겪는다.
생물학 및 화학 시스템에서.
쌍안정성은 세포 주기 진행 과정에서의 의사 결정, 세포 분화, 및 세포자살과 같은 세포 기능의 기본 현상을 이해하는 데 핵심적이다. 또한 암 발병 초기 사건과 관련된 세포 항상성 상실, 프리온 질병, 그리고 새로운 종의 기원(종분화)과도 관련되어 있다.
쌍안정성은 초민감 조절 단계가 있는 양성 피드백 루프에 의해 생성될 수 있다. 예를 들어 X가 Y를 활성화하고 Y가 X를 활성화하는 단순한 모티프와 같은 양성 피드백 루프는 본질적으로 출력 신호를 입력 신호에 연결하며, 양성 피드백 루프가 '전부 아니면 전무' 의사 결정을 가진 스위치를 생성할 수 있기 때문에 세포 신호 전달에서 중요한 조절 모티프로 주목받았다. 연구에 따르면 제노푸스 난모세포 성숙, 포유류 칼슘 신호 전달, 출아 효모의 극성 등 수많은 생물학적 시스템이 서로 다른 시간 척도(느린 시간과 빠른 시간)를 가진 여러 양성 피드백 루프를 통합하고 있음이 밝혀졌다. 서로 다른 시간 척도를 가진 여러 개의 연결된 양성 피드백 루프("이중 시간 스위치")를 가지면 (a) 조절 증가: 독립적으로 변경 가능한 활성화 및 비활성화 시간을 가진 두 개의 스위치; (b) 노이즈 필터링이 가능하다.
쌍안정성은 특정 매개변수 값 범위에서만 생화학 시스템에서 발생할 수 있으며, 이 매개변수는 종종 피드백의 강도로 해석될 수 있다. 몇 가지 전형적인 예에서, 시스템은 매개변수 값이 낮을 때는 하나의 안정적인 고정점만을 가진다. 새들-노드 분기는 매개변수의 임계값에서 안정적인 고정점과 불안정한 고정점 쌍을 생성한다. 불안정한 해는 더 높은 매개변수 값에서 초기 안정적인 해와 또 다른 새들-노드 분기를 형성하여 더 높은 고정 해만 남게 할 수 있다. 따라서 두 임계값 사이의 매개변수 값에서 시스템은 두 개의 안정적인 해를 가진다. 유사한 특징을 보이는 동역학 시스템의 예는 다음과 같다.
여기서 formula_21는 출력이고, formula_22은 입력으로 작용하는 매개변수이다.
쌍안정성은 더욱 견고하게 수정될 수 있으며, 반응물 농도의 상당한 변화를 허용하면서도 "스위치와 같은" 특성을 유지할 수 있다. 시스템의 활성제와 억제제 모두에 대한 피드백은 시스템이 광범위한 농도를 견딜 수 있도록 한다. 세포 생물학에서 이에 대한 예는 활성화된 CDK1(사이클린 의존성 키나아제 1)이 활성제인 Cdc25를 활성화하는 동시에 억제제인 Wee1을 비활성화하여 세포가 유사분열로 진행하도록 하는 것이다. 이 이중 피드백이 없으면 시스템은 여전히 쌍안정적이지만, 이처럼 광범위한 농도를 견딜 수는 없을 것이다.
쌍안정성은 초파리(Drosophila melanogaster)의 배아 발달에서도 설명되었다. 예를 들어 전방-후방 및 등-복부 축 형성 및 눈 발달이 있다.
생물학적 시스템에서 쌍안정성의 주요 예는 발달에 중요한 역할을 하는 분비 신호 분자인 소닉 헤지호그 (Shh)이다. Shh는 사지芽 조직 분화 패턴화 등 발달의 다양한 과정에서 기능한다. Shh 신호 네트워크는 쌍안정 스위치로 작동하여 세포가 정확한 Shh 농도에서 갑자기 상태를 전환할 수 있게 한다. gli1 및 gli2 전사는 Shh에 의해 활성화되며, 이들의 유전자 산물은 자체 발현 및 Shh 신호 하위 목표에 대한 전사 활성제로 작용한다. 동시에 Shh 신호 네트워크는 Gli 전사 인자가 억제제 (Ptc)의 강화된 전사를 활성화하는 음성 되먹임 루프에 의해 제어된다. 이 신호 네트워크는 동시에 작동하는 양성 및 음성 피드백 루프의 정교한 민감성이 쌍안정 스위치를 생성하는 데 어떻게 도움이 되는지 보여준다.
쌍안정성은 세 가지 필수 조건이 충족될 때만 생물학적 및 화학 시스템에서 발생할 수 있다. 즉, 양성 피드백, 작은 자극을 걸러내는 메커니즘, 그리고 무한한 증가를 방지하는 메커니즘이다.
쌍안정 화학 시스템은 완화 동역학, 비평형열역학, 확률 공명, 그리고 기후 변화를 분석하기 위해 광범위하게 연구되었다. 쌍안정 공간 확장 시스템에서는 국부 상관 관계의 시작과 이동 파동의 전파가 분석되었다.
쌍안정성은 종종 이력 현상을 동반한다. 인구 수준에서 쌍안정 시스템의 많은 실현을 고려할 경우 (예: 많은 쌍안정 세포 (종분화)), 일반적으로 두 봉우리 분포를 관찰한다. 개체군 전체의 앙상블 평균은 단순히 부드러운 전환처럼 보일 수 있으므로, 단일 세포 해상도의 가치를 보여준다.
특정 유형의 불안정성은 모드 호핑(modehopping)으로 알려져 있으며, 이는 주파수 공간에서의 쌍안정성이다. 여기서 궤적은 두 개의 안정적인 극한 주기 사이를 오갈 수 있으며, 따라서 푸앙카레 단면 내에서 측정할 때 일반적인 쌍안정성과 유사한 특성을 보인다.
기계 시스템에서.
기계 시스템 설계에 적용되는 쌍안정성은 "오버 센터(over centre)"라고 더 일반적으로 불린다. 즉, 시스템에 작업을 가하여 최고점을 지나 움직이게 하면 메커니즘이 "오버 센터"되어 두 번째 안정적인 위치로 이동한다. 그 결과는 토글형 작동이다. 시스템에 임계값 미만의 작업이 가해져 "오버 센터"로 보내기에 충분하지 않으면 메커니즘 상태에 변화가 없다.
용수철은 "오버 센터" 동작을 달성하는 일반적인 방법이다. 단순한 두 위치 래칫형 메커니즘에 부착된 용수철은 두 기계적 상태 사이를 클릭하거나 토글할 수 있는 버튼 또는 플런저를 만들 수 있다. 많은 볼펜과 롤러볼 펜의 수축식 펜은 이러한 유형의 쌍안정 메커니즘을 사용한다.
오버 센터 장치의 더 일반적인 예는 일반적인 전기 벽 스위치이다. 이 스위치들은 토글 핸들이 중심점을 지나 일정 거리를 이동하면 "켜짐" 또는 "꺼짐" 위치로 단단히 딸깍하고 고정되도록 설계되는 경우가 많다.
래칫 및 폴은 비가역적 움직임을 생성하는 데 사용되는 다중 안정적인 "오버 센터" 시스템의 정교화된 형태이다. 폴은 전진 방향으로 돌릴 때 오버 센터된다. 이 경우 "오버 센터"는 래칫이 안정적이고 주어진 위치에 "잠겨" 있다가 다시 앞으로 클릭될 때까지를 의미하며, 래칫이 역방향으로 회전할 수 없는 것과는 관련이 없다.
진핵생물의 전사()는 진핵세포가 DNA에 저장된 유전 정보를 운반 가능한 상보적 RNA 복제본의 단위로 복사하는 데 사용하는 정교한 생물학적 과정이다. 유전자 전사는 진핵세포와 원핵세포 모두에서 일어난다. 모든 종류의 RNA 전사를 개시하는 원핵생물의 RNA 중합효소와는 달리, 진핵생물(사람 포함)의 RNA 중합효소는 세 가지 변이가 있으며, 각각 다른 종류의 유전자를 전사한다. 진핵세포는 전사와 번역 과정을 분리하는 핵을 가지고 있다.
디지털 논리에서 해저드(hazard)는 동기 회로와 비동기 회로 모두에서 시스템의 결함이나 외부 영향으로 인해 발생하는 바람직하지 않은 현상이다. 논리 해저드는 입력 변수의 변화가 논리 요소(NOT 게이트, AND 게이트, OR 게이트 등)로 인한 지연으로 인해 출력을 올바르게 변경하지 못하는 문제의 한 형태이다. 이로 인해 논리가 기능을 제대로 수행하지 못한다. 가장 일반적인 세 가지 해저드 유형은 일반적으로 정적, 동적 및 함수 해저드라고 한다.
해저드는 논리 회로가 결국 원하는 기능으로 안정화되기 때문에 일시적인 문제이다. 따라서 동기 설계에서는 다른 클록 도메인에서 사용되거나 시스템 외부로 라우팅되기 전에 회로의 출력을 레지스터하는 것이 표준 관행이므로 해저드가 문제가 되지 않는다. 그러나 그렇지 않은 경우 해저드는 다른 연결된 시스템에 영향을 미칠 수 있으므로 반드시 제거해야 한다.
정적 해저드.
정적 해저드는 신호가 일정하게 유지될 것으로 예상될 때 신호 상태가 연속해서 두 번 변경되는 현상이다. 하나의 입력 신호가 변경되면 출력이 올바른 값으로 안정화되기 전에 순간적으로 변경된다. 정적 해저드에는 두 가지 유형이 있다.
곱의 합(Sum Of Products) 표현식에 기반한 제대로 구성된 2단계 AND-OR 논리에서는 정적-0 해저드가 발생하지 않는다(그러나 정적-1 해저드는 여전히 발생할 수 있다). 반대로 합의 곱(Product Of Sums) 표현식의 OR-AND 구현에서는 정적-1 해저드가 발생하지 않는다(그러나 정적-0 해저드는 여전히 발생할 수 있다).
정적 해저드를 제거하는 가장 일반적으로 사용되는 방법은 중복 논리(논리 표현식의 합의 항)를 추가하는 것이다.
정적 해저드의 예시.
AND 게이트 등 물리적 논리 요소에 지연이 발생하는 불완전한 회로를 고려해 보자.
간단한 회로는 다음 함수를 수행한다.
시작 다이어그램을 보면 지연이 발생하지 않으면 회로가 정상적으로 작동할 것이라는 것을 알 수 있다. 그러나 두 개의 게이트는 정확히 똑같이 제조되지 않는다. 이러한 불완전성으로 인해 첫 번째 AND 게이트의 지연은 그 반대편 게이트와 약간 다를 것이다. 따라서 입력이 111에서 011로 변경될 때, 즉 A가 상태를 변경할 때 오류가 발생한다.
이제 해저드가 대략 어떻게 발생하는지 알았으므로, 이 문제를 해결하는 방법에 대한 더 명확한 그림과 해결책을 얻기 위해 카노 맵을 살펴보자.
허프만(Huffman)이 증명한 정리는 중복 루프 'BC'를 추가하면 해저드가 제거될 것이라고 말한다.
수정된 함수는 다음과 같다.
이제 불완전한 논리 요소가 있더라도 A가 상태를 변경할 때 예시에서 해저드 징후가 나타나지 않을 것임을 알 수 있다. 이 이론은 모든 논리 시스템에 적용될 수 있다. 컴퓨터 프로그램이 이 작업의 대부분을 처리하지만 간단한 예시에서는 수동으로 디버깅하는 것이 더 빠르다. 입력 변수가 많으면(예: 6개 이상) 카노 맵에서 오류를 '보는' 것이 매우 어려워진다.
동적 해저드.
동적 해저드는 신호가 한 번만 상태를 변경할 것으로 예상될 때 신호 상태가 연속해서 여러 번 변경되는 일련의 현상이다. 동적 해저드는 단일 입력 변경의 결과로 출력이 한 번 이상 변경될 가능성이다.
동적 해저드는 출력으로 가는 다른 경로가 있는(입력에서) 더 큰 논리 회로에서 종종 발생한다. 각 경로의 지연이 다르면 필요한/예상 출력과 다른 출력 값이 변경될 가능성이 있음이 빠르게 명확해진다.
예: 논리 회로는 출력 상태를 1에서 0으로 변경해야 하지만, 대신 1에서 0으로 변경된 다음 1로 변경되고 마지막으로 올바른 값인 0으로 안정된다. 이것이 동적 해저드이다.
일반적으로 동적 해저드는 해결하기가 더 복잡하지만, 회로에서 모든 정적 해저드가 제거되면 동적 해저드는 발생할 수 없다는 점에 유의해야 한다.
기능 해저드.
정적 및 동적 해저드와 달리 기능 해저드는 둘 이상의 입력에 적용된 변경으로 인해 발생하는 해저드이다. 이를 제거하기 위한 특정 논리적 해결책은 없다. 정말 신뢰할 수 있는 한 가지 방법은 입력이 동시에 변경되는 것을 방지하는 것이지만, 일부 경우에는 적용할 수 없다. 따라서 각 경로에서 지연이 동일하도록 회로를 신중하게 설계해야 한다.
가역 컴퓨팅(reversible computing)은 계산 과정의 모든 단계가 시간 가역적인 컴퓨팅 모델이다. 이는 계산의 출력이 주어지면 입력을 완벽하게 재구성할 수 있음을 의미한다. 한 상태에서 다른 상태로 결정론적으로 진행하는 시스템에서 가역성을 위한 핵심 요구 사항은 각 상태와 그 후속 상태 간의 일대일 대응이다. 가역 컴퓨팅은 비전통적인 컴퓨팅 접근 방식으로 간주되며 양자 컴퓨팅과 밀접하게 관련되어 있는데, 양자 컴퓨팅에서는 양자 역학의 원리가 본질적으로 가역성을 보장한다(양자 상태가 측정되거나 "붕괴"되지 않는 한).
가역성.
이 목적에 특히 관심이 있는 두 가지 주요하고 밀접하게 관련된 가역성 유형이 있다. 물리적 가역성과 논리적 가역성이다..
어떤 과정이 물리적 엔트로피 증가를 초래하지 않으면 물리적으로 가역적이라고 한다. 이는 등엔트로피적이다. 이상적으로 이 속성을 나타내는 회로 설계 방식이 있는데, 이를 전하 회복 논리, 단열 회로, 또는 단열 컴퓨팅이라고 한다(자세한 내용은 단열과정 참조). 비록 실제로는 비정상 물리 과정이 정확히 물리적으로 가역적이거나 등엔트로피적일 수 없지만, 시스템의 진화를 설명하는 물리 법칙이 정확히 알려져 있고 알려지지 않은 외부 환경과의 상호 작용으로부터 충분히 잘 격리된 시스템에서는 완벽한 가역성에 얼마나 가깝게 접근할 수 있는지에 대한 알려진 한계는 없다.
가역 컴퓨팅을 구현하기 위한 기술 연구의 동기는, 이 기술들이 컴퓨터의 계산 에너지 효율 (즉, 소모된 에너지 단위당 수행되는 유용한 연산)을 근본적인 폰 노이만-란다우어 한계인 비가역 비트 연산당 의 에너지 소모를 넘어 개선할 수 있는 유일한 잠재적인 방법을 제공한다는 점이다.
란다우어 한계는 2000년대 컴퓨터의 에너지 소비량보다 수백만 배 낮았고, 2010년대에는 수천 배 낮았다. 가역 컴퓨팅 옹호자들은 이러한 에너지 소비의 상당 부분이 아키텍처 오버헤드로 인한 것이라고 주장한다. 이러한 오버헤드는 컴퓨터를 작동시키는 데 필요한 전선, 트랜지스터, 메모리와 같은 비계산 부분과 관련된 에너지 비용이다. 그들은 현재 기술이 가역 컴퓨팅 원리를 채택하지 않고서는 훨씬 더 큰 에너지 효율을 달성하기 어렵다고 믿는다.
IBM에서 근무하던 중 롤프 란다우어가 처음 주장했듯이, 계산 과정이 물리적으로 가역적이기 위해서는 논리적으로도 가역적이어야 한다. 란다우어의 원리는 알려진 정보 n비트의 무의식적인 삭제가 항상 열역학적 엔트로피에서 의 비용을 발생시킨다는 관찰이다. 이산적이고 결정론적인 계산 과정은 오래된 계산 상태를 새로운 상태로 매핑하는 전이 함수가 단사 함수일 때 논리적으로 가역적이라고 한다. 즉, 출력 논리 상태가 계산 연산의 입력 논리 상태를 고유하게 결정한다.
비결정론적 (확률적이거나 무작위적인 의미에서) 계산 과정의 경우, 이전 상태와 새 상태 간의 관계는 일가 함수가 아니며, 물리적 가역성을 얻기 위해 필요한 조건은 약간 더 약한 조건이다. 즉, 계산이 앞으로 진행됨에 따라 가능한 초기 계산 상태의 주어진 앙상블 크기가 평균적으로 감소하지 않아야 한다.
물리적 가역성.
란다우어의 원리(그리고 사실상 열역학 제2법칙)는 일반적인 해밀턴 역학 정식화와 보다 구체적으로 양자역학의 단일 시간-진화 연산자에 반영된 기본 물리학의 가역성의 직접적인 논리적 귀결로 이해될 수도 있다.
따라서 가역 컴퓨팅의 구현은 원하는 계산 작업을 수행하기 위한 메커니즘의 물리적 역학을 특성화하고 제어하는 방법을 배우는 것에 해당하며, 이는 수행되는 각 논리 연산당 메커니즘의 완전한 물리적 상태에 대한 총 불확실성이 무시할 수 있는 양만큼 축적되도록 정밀하게 제어하는 것이다. 다시 말해, 기계 내에서 계산 작업을 수행하는 데 관련된 활성 에너지의 상태를 정확하게 추적하고, 이 에너지의 대부분이 열의 형태로 소멸되도록 허용하는 대신 후속 작업을 위해 재사용될 수 있는 조직된 형태로 회수되도록 기계를 설계한다.
이 목표를 달성하는 것은 컴퓨팅을 위한 초정밀 신형 물리 메커니즘의 설계, 제조 및 특성화에 상당한 난관을 제시하지만, 현재로서는 이 목표가 궁극적으로 달성될 수 없다고 생각할 근본적인 이유는 없다. 언젠가 내부적으로 수행하는 각 유용한 논리 연산에 대해 1비트 가치보다 훨씬 적은 물리적 엔트로피를 생성하고 kT ln 2 에너지보다 훨씬 적은 에너지를 열로 소모하는 컴퓨터를 만들 수 있을 것이다.
오늘날 이 분야는 상당한 학술 문헌을 보유하고 있다. 물리학자, 전기 공학자, 컴퓨터 과학자들이 다양한 가역 장치 개념, 논리 회로, 전자 회로, 프로세서 아키텍처, 프로그래밍 언어 및 응용 알고리즘을 설계하고 분석했다.