메인내용

관계 데이터베이스에서 관계(표) 속성 간의 종속성의 일종. A, B가 각각 관계 R의 속성이고 B가 A에 함수 종속(A→B)인 경우, A의 임의의 부분 집합에 대하여 B의 어떤 값도 A의 부분 집합의 값에 대응하지 않으면 B는 A에 전함수 종속이라고 한다.

보통 송수화기를 내려놓은 상태로, 가입자 또는 회선의 상태에 따라서 발신 측에서는 절단 신호이고 착신 측에서는 종화 신호가 되는 신호.

멀티미디어 데이터 전송에서 영상 신호와 음성 신호의 동기 재생을 위한 시간 정보. 영상 신호와 음성 신호를 엠펙(MPEG) 스트림으로 압축하여 전송할 경우, 영상 신호의 압축 및 복원에 소요되는 시간이 음성 신호에 비해 매우 커서 재생 시 영상과 음성의 불일치 현상이 일어나다. 이를 해결하기 위해 송신측이 수신측에서 영상이나 음성 신호를 복호화하여 재생할 시간을 지정하여 보내준다. 이 정보는 각 시퀀스의 헤더에 실어 보내며, 압축 전송 시, 시스템에서 사용하는 기준 시간 정보인 PCR(program clock reference)와의 차이값으로 시간을 표시한다.

시스템, 기기, 부품 등의 아이템이 사용 개시 후의 비교적 빠른 시기에 설계, 제조상의 결함 또는 사용 환경이나 조건의 부적합으로 생기는 장애.

①보안 정책을 수학적으로 명확하게 기술하는 것. 명확하게 하기 위해서는 이러한 모형은 시스템의 초기 상태, 한 상태에서 다른 상태로의 시스템 진행 방법 및 시스템의 안전한 상태의 정의를 반드시 표현해야 한다. 태스크 제어 블록(TCB)의 토대로 받아들이기 위해서 모형은 시스템의 초기 상태가 안전한 상태의 정의를 만족하고 모형이 요구하는 모든 가정을 유지한다면 시스템의 모든 후속 단계는 안전할 것이라는 것에 대한 형식화 증명이 되어야 한다. 일부의 형식화 모형 기법은 상태 천이 모형, 표시 의미 모형(denotational semantics model) 및 대수 명세 모형을 포함한다. ②정보 보호 정책을 수학적으로 엄격하게 정의한 것. 모형은 시스템의 최초 상태와 한 상태에서 다른 상태로의 변경을 표현해야 하고, 시스템의 안전한 상태를 정의해야 한다. TCB의 기반으로 사용되기 위해서는 시스템의 최초 상태가 안전하다는 것과 최초 상태에서 변경된 모든 상태 역시 안전한 상태임을 형식화 증명을 통해서 보여야 한다. ③정보 시스템 개발에 적용된 보안 정책을 애매모호하지 않고 보안에 위배되지 않음을 보이기 위하여 수학적 개념을 기반으로 하는 형식화 표기법으로 기술한 검증된 모형.

발음체가 음을 전파하는 매질(공기, 물 등)에 미치는 압력과 그들 매질의 체적 속도(단위 시간에 이동하는 매질의 양, 즉 이동 속도에 면적을 곱한 값)와의 복소수비(複素數比). 음향 임피던스를 , 압력을 , 체적 속도를 로 표시하면 ＝/가 된다. 이때 압력과 체적 속도의 위상은 같지 않으므로 전기 회로의 임피던스와 마찬가지로 음향 임피던스도 복소수이다. 단위는 압력이 N/m2, 체적 속도가 m3/s이므로 음향 임피던스는 N/S/m5으로 표시한다.