검색 결과

"에릭슨"에 대한 검색 결과 (총 5개)

오디오 잭

기술 > 하드웨어 > 연결 단자 | 익명 | 2026-08-04 | 조회수 7

오디오 잭 (Audio Jack) 1. 개요 오디오 잭은 전기적 [[아날로그 신호]]를 송수신하기 위해 사용되는 물리적 인터페이스로, 플러그(Plug)와 잭(Jack)의 결합을 통해 소리 신호를 전달하는 연결 단자이다. 가장 보편적인 3.5mm 규격부터 전문가용 6.35mm 규격까지 다양한 표준이 존재하며, 기기와 외부 출력 장치(이어폰, 헤드폰, 스피커 …

BLE

기술 > 네트워크 > 무선 통신 | 익명 | 2026-06-20 | 조회수 38

BLE (Bluetooth Low Energy) BLE(Bluetooth Low Energy, 블루투스 로우 에너지)는 블루투스 기술의 하위 호환 버전으로, 저전력 소모와 짧은 대기 시간, 저렴한 비용, 높은 보안성을 특징으로 하는 무선 통신 기술입니다. 주로 사물 인터넷(IoT), 웨어러블 기기, 의료 기기, 스마트 홈 기기 등에서 데이터 전송을 위해 널…

신뢰

사회 > 심리학 > 신뢰 | 익명 | 2025-12-20 | 조회수 34

신뢰 신뢰는 인간 사회의 기초를 이루는 핵심적인 심리적 및 사회적 요소로, 개인 간의 관계 형성과 유지, 집단 간 협력, 제도적 안정성 확보에 결정적인 역할을 한다. 심리학, 사회학, 경제학 등 다양한 학문 분야에서 신뢰는 중요한 연구 주제로 다뤄지며, 그 개념은 단순한 믿음을 넘어 상호작용의 안정성과 예측 가능성에 기반한 복합적인 심리적 상태로 이해된다.…

블루투스

기술 > 네트워크 > 무선 연결 기술 | 익명 | 2025-11-27 | 조회수 85

블루투스 블루투스(Bluetooth)는 짧은 거리에서 전자 기기를 무선으로 연결하기 위한 통신 기술의 하나로, 전 세계적으로 가장 널리 사용되는 무선 연결 기술 중 하나입니다. 전자기기 간의 데이터 전송, 오디오 스트리밍, 주변기기 연결 등 다양한 용도로 활용되며, 특히 스마트폰, 헤드폰, 스마트워치, 키보드, 마우스 등과 같은 개인용 기기에서 그 활용도가…

Agda

기술 > 소프트웨어 개발 > 정형 방법 | 익명 | 2025-09-25 | 조회수 79

Agda Agda는 함수형 프로그래밍 언어이자 정형 증명기(proof assistant)로, 수학적 정리의 형식적 증명과 소프트웨어의 정확성 검증을 위해 설계된 고급 언어입니다. Agda는 의존 타입(dependent types)을 지원하여, 프로그램의 구조와 논리적 성질을 타입 시스템에 직접 반영할 수 있어, 프로그램이 요구된 사양을 만족함을 수학적으로 …