메인내용

컴퓨터 시스템이 정확을 기하고 고장에 대비하기 위하여 계속적으로 다양한 시험을 하고 감시를 하는 작업. 대표적인 시험은 패리티 시험과 승인할 수 없는 문자 시험이다. 자기 테이프의 경우 데이터를 자기 테이프에 기록할 때 정확히 기록되었는지를 확인하기 위하여 기록된 데이터를 다시 읽어서 확인하며, 자기 테이프를 사용하기 전에는 반드시 조작원이 컴퓨터의 스위치 조작을 옳게 하였는지를 전자적으로 시험한다.

상세한 항목들과 그것들의 요약을 함께 처리할 때 확인하기에 매우 효율적인 방법. 각각의 상세한 항목들은 음으로 누적되고 요약들은 양으로 누적된다. 만약 둘 다 옳다면 영 결과는 균형이다.

착신 측의 트렁크에 복구 감시 기능이 없는 경우에 발신 측에서 트렁크를 포착한 후에 착신 측 트렁크의 기동을 수백 ms 정도 지연시키는 기능.

새로운 시스템을 개발하기 위한 일련의 작업 공정. 하드웨어, 소프트웨어 또는 방법과 절차 등을 포함하는 시스템 요구 분석, 시스템 설계(기본 설계와 상세 설계), 시스템 구현, 시험 및 평가, 문서화 및 품질 보증 등의 공정(phase)이 포함된다.

통신망에서 중계 회선의 사용 효율을 높이기 위하여 통신이 설정될 시점에 대역을 할당함으로써 통신하지 않을 때의 대역 무효 사용을 줄이는 기능. 음성 전송이나 데이터 통신을 하고 있을 때만 데이터를 보내는 ODF나 회선 장애 시 예비 전용 회선 경로 또는 종합 정보 통신망(ISDN)에 우회하는 회선 백업 기능과 같은 것이 대표적 기능이다. 또한 대향(對向)하는 시분할 다중 장치(TDM) 간의 접속 유형이나 회선 내의 음성/데이터의 대역 분할 유형을 월/일/시간대 등으로 나누어서 절체하는 기능을 가진 것도 있다.

해독되지 않은 미적분학으로서 알파벳과 공리(axiom)라는 단어의 집합 및 추론의 법칙에 관계되는 유한 집합으로 구성된 것. 집합론, 불 대수, 포스트(post) 시스템, 배커스(Backus) 정규 형식 등이 있다. 형식 체계는 프로그램 작성 언어의 구문과 어의를 명시하기 위해 사용되며, 구문적 번역과 컴파일러의 검증, 언어의 복잡성 연구에도 사용된다.