메인내용

수동식 통화에서 통화가 종료된 후 요금 또는 통화 도수를 발신자에게 알리는 것.

이동 통신 단말기가 데이터를 전송할 수 있는 최고 속도. 3G(WCDMA) 망에서 최고 전송 속도는 14.4Mbps, 4G(LTE-Advanced) 망에서는 최대 1Gbps이다. ITU-R의 IMT-2020(5G) 성능 요구 사항 중 하나로 포함되었고, 최고 전송 속도(Peak Data Rate)는 하향 20Gbps, 상향 10 Gbps 수준으로 제시된다.

시스템이나 시스템 구성 요소(component) 또는 소프트웨어 프로그램의 시험을 위한 계획을 세우고 설계 구현하여 이를 실행하고 최종적으로 시험 실행 결과를 평가하고 제어(control)하는 일련의 과정. 일반적으로 소프트웨어 생명 주기(software life cycle)와 병행하여 수행되며, 시스템 개발의 착수 및 요구 분석 단계에서 시험 계획 수립이 이루어지고, 시스템 개발의 설계 단계에서 시험 설계가 이루어지는 것이 바람직하다. 시스템 구현 단계에서 시험 계획과 설계에 따라 시험을 수행하고 시험 진행 상황을 관리한다. 시험 설계가 늦어질 경우 시스템에 대한 시험 일정이 늦어지거나 시험이 부실하게 진행될 수 있으므로 시스템 개발 전반부에서 시험이 계획되고 충분한 시험 설계 과정을 거치는 것은 매우 중요하다.

팩스 통신에 사용되는 단말 장치. 송신 측에서는 송신 화면을 주사시켜 화소로 분해한 다음 각 화소의 명암을 광전관으로 전기 신호로 변환시켜 전송하고, 수신 측에서는 신호에 따라 각 화소의 명암을 기록하여 송신 원화와 같은 수신 화면을 얻는다. 수신 기록 방식으로서 사진 전송에는 사진 화학적 기록 방식, 모사 전송에는 방전 기록 방식, 전해 기록 방식, 전자 프린터 기록 방식 등이 이용된다.

객체 사이의 관계를 나타내는 논리 또는 형식 체계. 명제 논리의 모든 요소를 포함하고 보다 효율적인 지식 표현이 가능하다. 명제 논리와 마찬가지로 지식 표현 및 추론에 사용된다. 술어 논리에서 객체는 상수나 변수 혹은 함수로, 관계는 술어로 표현된다. 객체의 집합이 가지는 특성은 변수와 한정 기호(quantifier)로 표시된다. 하나의 술어로 구성되는 원자(atomic) 문장은 참 혹은 거짓 중 하나의 값을 가지고, 연산자로 연결되어 복합 문장을 구성한다. 다음은 술어 논리에서 지식 표현 예시이다. 변수: x 상수: Socrates 술어: Human(·), Mortal(·) 소크라테스는 사람이다: Human(Socrates) 모든 사람은 (언젠가) 죽는다: ∀Human(x) → Mortal(x) 소크라테스는 죽는다: Mortal(Socrates)술어 논리의 기원은 고대 그리스의 아리스토텔레스까지 거슬러 올라간다. 19세기 말부터 20세기 초반까지 프리드리히 루트비히 고틀로프 프레게(Friedrich Ludwig Gottlob Frege), 버트런드 러셀(Bertrand A. W. Russell), 쿠르트 괴델(Kurt Goedel) 및 알프레트 타르스키(Alfred Tarski) 등에 의해 구체화되었다. 술어 논리는 기호 기반 인공 지능에서 사용하는 지식 표현 및 추론의 모체가 되었다. 그 대표적인 예로 존 로빈슨(John A. Robinson)이 1965년 제안한 해결법(resolution method) 및 이에 기반한 프로그래밍 언어인 프롤로그(PROLOG) 등을 들 수 있다. 프롤로그(PROLOG)는 IBM에서 개발한 인공 지능 기반 질의응답 시스템인 왓슨(Watson)의 자연어 처리에 활용되었다.

동적인 연결 해제가 허용되지 않는 연결 상태.