# Types and Programming Languages ## 개요 『**Types and Programming Languages**(이하 *TAPL*)』은 컴퓨터공학, 특히 프로그래밍 언어 이론과 형식 시스템(formal systems) 분야에서 가장 영향력 있는 학술 서적 중 하나이다. 저자인 **벤자민 C. 피어스**(Benjamin C. Pi...
검색 결과
"FET"에 대한 검색 결과 (총 114개)
# 시간 기반 거리 ## 개요 **시간 기반 거리**(Time-to-Collision Distance, 이하 TTC 기반 거리 또는 단순히 시간 기반 거리)는 자동차의 **충돌 예측 알고리즘**에서 핵심적인 개념 중 하나로, 두 차량 또는 차량과 장애물 사이의 **충돌까지 남은 시간**을 기반으로 안전성을 평가하는 방식입니다. 이는 단순한 물리적 거리보...
# 듀티 사이클 ## 개요 **듀티 사이클**(Duty Cycle)은 전력전자 및 제어 공학 분야에서 널리 사용되는 핵심 제어 파라미터 중 하나로, 주기적인 신호에서 **고전압 상태**(ON 상태)가 지속되는 시간의 비율을 나타냅니다. 일반적으로 퍼센트(%) 또는 소수 형태로 표현되며, 주로 펄스 폭 변조(PWM, Pulse Width Modulatio...
# React ## 개요 React(리액트)는 **페이스북(현 메타)에서 개발**한 오픈소스 JavaScript 라이브러리로, 사용자 인터페이스(UI)를 **구성 요소(Component)** 단위로 선언적으로 만들 수 있게 해준다. 2013년에 처음 공개된 이후 현재는 웹·모바일·데스크톱 등 다양한 플랫폼에서 사용되며, **React Native*...
# 캐시 히트율 ## 개요 **캐시 히트율**(Cache Hit Ratio)은 캐시 시스템의 성능을 평가하는 핵심 지표 중 하나로, 요청된 데이터가 캐시에 존재하여 빠르게 제공될 수 있었던 비율을 의미합니다. 이 비율이 높을수록 시스템은 원본 저장소(예: 메인 메모리, 디스크, 데이터베이스)에 접근하는 횟수가 줄어들어 응답 속도가 향상되고, 시스템 전체...
# The Mandalorian **The Mandalorian**은 미국의 디즈니+(Disney+) 스트리밍 서비스를 위해 제작된 과학 소설(SF) 장르의 텔레비전 드라마 시리즈로, 조지 루카스가 창조한 **스타워즈**(Star Wars) 프랜차이즈의 정식 후속 작품 중 하나이다. 2019년 11월 12일에 첫 방영을 시작한 이래, 시리즈는 스타워즈 팬...
# 캐싱 시스템 ## 개요 캐싱 시스템(Caching System)은 반복적으로 사용되는 데이터를 빠르게 접근할 수 있는 고속 저장 장치에 임시로 보관함으로써 시스템의 성능과 응답 속도를 향상시키는 기술입니다. 특히 데이터 과학 및 디지털 트윈(Digital Twin)과 같은 실시간 데이터 처리가 중요한 분야에서 캐싱은 핵심 인프라 요소로 작용합니다. ...
# BSM: 후측방 사각지대 감지 시스템 ## 개요 **BSM**(Blind Spot Monitoring, 후측방 사각지대 감지 시스템)은 자동차의 운전 중 후측방에 위치한 다른 차량을 감지하여 운전자가 안전하게 차선 변경을 할 수 있도록 도와주는 첨단 운전자 보조 시스템(ADAS: Advanced Driver Assistance Systems) 중 하...
# 메틸페니데이트 ## 개요 **메틸페니데이트**(Methylphenidate)는 중추신경계 자제로, 주로주의력결핍과잉행동장애**(ADHD, Attention-Deficit/Hyperactivity Disorder)와 **ナル콜레프시**(낮잠병)의 치료에 사용되는 약물이다. 1950년대 후반에 개발되어 현재까지 전 세계적으로 널리 처방되고 있으며, 특히...
# 7nm 공정 ## 개요 **7nm 공정**(7나노미터 공정)은 반도체 제조에서 트랜지스터의 게이트 길이 또는 특정 특징 치수(feature size)를 기준으로 명명된 **첨단 마이크로프로세서 제조 공정 기술**을 의미합니다. 이는 반도체 소자의 미세화 수준을 나타내는 지표로, 7nm는 약 7나노미터(10억 분의 1미터)의 스케일에서 트랜지스터를 설...
# 방사선 윤리적 책임 ## 개요 방사선 의학은 진단 및 치료에 있어 중요한 도구로 널리 활용되며, X선, CT 촬영, 방사선 치료 등 다양한 분야에서 환자의 생명과 건강에 직접적인 영향을 미친다. 그러나 방사선은 그 특성상 인체에 잠재적인 해를 끼칠 수 있는 이중성(dual nature)을 지니고 있어, 의료인은 기술적 능력뿐 아니라 **윤리적 책임*...
# 태양광 인버터 ## 개요 태양광 인버터(Solar Inverter)는 태양광 발전 시스템의 핵심 구성 요소 중 하나로, 태양전지 패널에서 생성되는 **직류**(Direct Current, DC)를 가정이나 산업용 기기에서 사용할 수 있는 **교류**(Alternating Current, AC)로 변환하는 장치입니다. 태양광 패널은 빛에너지를 전기 에...
# 투명성 vs. 안전성 ## 개요 인공지능(AI) 기술의 급속한 발전은 사회 전반에 걸쳐 혁신을 가져왔지만, 동시에 **투명성**(transparency)과 **안전성**(safety) 사이의 근본적인 갈등을 드러냈다. AI 시스템이 의사결정, 의료진단, 범죄예측, 채용 등 민감한 분야에 적용되면서, 그 작동 원리를 이해할 수 있어야 한다는 **투명성...
# 레이저 ## 개요 **레이저**(Laser, Light Amplification by Stimulated Emission of Radiation)는 자극 방출을 통해 빛을 증폭시켜 생성하는 광학 기기이다. 일반적인 빛과 달리 레이저는 **단일 파장**(단색성), **낮은 확산성**(지향성), **높은 위상 일관성**(간섭성)을 가지며, 이러한 특성 ...
# 사각지대 정보 시스템 ## 개요 **사각지대 정보 시스템**(Blind Spot Information System, 이하 BSIS)은 자동차 주행 중 운전자의 시야에 들어오지 않는 영역, 즉 **사각지대**(Blind Spot)에 다른 차량이나 장애물이 존재할 경우 이를 운전자에게 경고하여 사고를 예방하는 첨단 운전자 보조 시스템(ADAS, Adva...
# Personal Air Vehicle ## 개요 **Personal Air Vehicle**(개인용비행체, 이하 PAV)는 개인이 소유하거나 이용할 수 있도록 설계된 소형 항공기로, 도심 항공 모빌리티(Urban Air Mobility, UAM)의 핵심 기술 중 하나로 주목받고 있다. PAV는 전통적인 항공기와 달리 자동화·전기화·수직이착륙(VTOL...
# 차선 유지 보조 ## 개요 **차선 유지 보조**(Lane Keeping Assist, LKA)는 자동차가 차선을 이탈하지 않도록 도와주는 첨단 운전자 보조 시스템(ADAS, Advanced Driver Assistance Systems)의 일종입니다. 이 시스템은 차량이 도로상의 차선을 인식하고, 운전자가 의도하지 않게 차선을 벗어날 경우 자동으로...
# 전방 충돌 경고 ## 개요 **전방 충돌 경고**(Forward Collision Warning, FCW)는 자동차의 전방에 위치한 차량, 보행자, 또는 장애물과의 충돌 위험이 감지될 경우 운전자에게 경고를 제공하는 첨단 운전자 보조 시스템(ADAS: Advanced Driver Assistance Systems) 중 하나입니다. 이 시스템은 사고를...
# Advanced Driver Assistance Systems ## 개요 **Advanced Driver Assistance Systems**(ADAS), 즉 첨단 운전자 보조 시스템은 자동차의 안전성과 운전 편의성을 높이기 위해 개발된 일련의 전자 제어 기술을 의미합니다. ADAS는 레이더, 라이더(LiDAR), 카메라, 초음파 센서 등의 다양한 ...
# 보존 정리 ## 개요 **보존 정리**(Preservation Theorem), 또는 **형식 보존**(type preservation), 때때로 **진전과 보존**(Progress and Preservation)의 일부로 언급되는 개념은 프로그래밍 언어의 **형식 시스템**(타입 시스템)에서 매우 중요한 성질 중 하나입니다. 이 정리는 "형식이 지...