[계리직 컴퓨터일반] 18년 1회차 기출문제 정답·해설 페이지

설명하는 입·출력 장치는 채널(Channel)이다.
채널은 CPU로부터 입·출력 지시만 받으면 자신의 명령어(채널 프로그램)를 실행해 입·출력을 독립적으로 처리하는 전용 프로세서로, 하나의 명령으로 여러 블록을 연속 전송할 수 있다.
버스(Bus): CPU·메모리·장치 사이에서 데이터와 신호를 전달하는 공용 전송 통로일 뿐, 명령어를 실행하는 프로세서가 아니다.
스풀링(Spooling): 느린 입·출력 데이터를 디스크에 모아 두었다가 처리하는 운영체제 기법으로, 하드웨어 장치가 아니다.
DMA(Direct Memory Access): CPU 개입 없이 장치와 메모리 사이에서 데이터를 직접 전송하지만, 자체 명령어를 실행하는 독립 프로세서는 아니며 보통 한 번 지시에 한 블록을 전송한다.

㉠에는 SET, ㉡에는 BETWEEN이 들어간다.
UPDATE 문은 UPDATE 테이블 SET 열 = 값 WHERE 조건 형식이며, 범위 조건 'A 이상 B 이하'는 BETWEEN A AND B로 쓴다.
SET, IN: IN은 나열한 값 목록 중 하나와 일치하는지 검사하므로 'IN 100000 AND 3000000'은 범위 조건이 되지 않는다.
VALUES, IN: VALUES는 INSERT 문에서 삽입할 값을 지정하는 키워드로 UPDATE 문에 쓰지 않는다.
VALUES, BETWEEN: 범위 조건은 맞지만 값 변경에 VALUES를 쓸 수 없다.

옳지 않은 설명은 게이트웨이가 네트워크 계층에서 동일 프로토콜 네트워크를 연결한다는 내용이다.
게이트웨이는 주로 전송 계층 이상(응용 계층까지)에서 동작하며, 서로 다른 프로토콜을 쓰는 네트워크 사이에서 프로토콜을 변환해 연결하는 장치이다. 네트워크 계층에서 경로를 선택해 네트워크를 잇는 장치는 라우터이다.
허브: 여러 단말을 하나의 LAN에 접속시키는 중계 장치로 옳다.
리피터: 물리 계층에서 감쇠된 신호를 재생·증폭해 전송 거리를 늘리므로 옳다.
브리지: 데이터 링크 계층에서 MAC 주소를 기준으로 같은 방식의 LAN 구간을 연결하므로 옳다.

㉠은 디자인 패턴이다.
디자인 패턴은 자주 반복되는 설계 문제에 대해 검증된 해결 구조를 일반화해 정리한 설계 모음으로, 설계를 재사용해 개발 효율을 높인다.
요구사항 정의서: 시스템이 갖춰야 할 기능·비기능 요구를 기술한 문서로, 설계 해법을 분류·정리한 것이 아니다.
소프트웨어 개발 생명주기: 계획부터 유지보수까지 개발 전 과정을 단계로 나눈 것이다.
소프트웨어 프로세스 모델: 폭포수·나선형처럼 개발 활동의 순서와 진행 방식을 정의한 모형이다.

약한 순서는 자료 → 제어 → 공통 → 내용 결합도(ㄷ - ㄴ - ㄹ - ㄱ)이다.
결합도는 약한 것부터 자료 < 스탬프 < 제어 < 외부 < 공통 < 내용 순이다. 자료 결합도는 필요한 데이터만 인수로 주고받아 가장 바람직하고, 내용 결합도는 다른 모듈의 내부를 직접 참조해 가장 나쁘다.
ㄷ - ㄹ - ㄱ - ㄴ: 제어 결합도가 공통·내용 결합도보다 강한 것으로 놓아 순서가 틀렸다.
ㄹ - ㄴ - ㄷ - ㄱ: 공통 결합도를 가장 약하게, 자료 결합도를 제어 결합도보다 강하게 놓았다.
ㄹ - ㄷ - ㄱ - ㄴ: 공통 결합도를 가장 약하게 놓고 내용 결합도보다 제어 결합도를 강하게 놓았다.

ㄱ, ㄴ, ㄷ 모두 옳지 않은 설명이다.
세 진술은 각각 힙 정렬의 복잡도, 0/1 배낭 문제의 난이도, NP와 P의 포함 관계를 잘못 서술하고 있다.
ㄱ(힙 정렬): 최선·평균·최악 모두 $O(n\log n)$이며 $O(n^2)$가 아니다.
ㄴ(0/1 배낭): NP-완전 문제로, 다항시간에 푸는 알고리즘은 아직 알려져 있지 않다(동적 계획법 풀이는 용량에 따른 의사 다항시간이다).
ㄷ(NP 문제): P는 NP에 포함되므로 정렬·탐색처럼 다항시간에 해결되는 NP 문제가 존재한다.

출력값은 200이다.
101을 2진수로 나타내면 1100101이다. 오른쪽으로 2비트 시프트(a>>2)하면 하위 2비트가 버려져 11001, 즉 25가 된다.
이를 왼쪽으로 3비트 시프트(<< 3)하면 $25\times 2^3=200$이다.
0: 시프트 후에도 1이 남으므로 0이 될 수 없다.
404: 101을 2비트 왼쪽 시프트한 값(101×4)으로, 연산 순서와 방향을 잘못 본 결과이다.
600: 어떤 단계에서도 나오지 않는 값이다.

옳은 것은 ㄱ, ㄷ이다.
대칭키 방식은 암호화·복호화에 같은 키를 쓰고 연산이 단순해 공개키 방식보다 빠르다. 공개키 방식은 공개키와 개인키 서로 다른 두 키를 쓴다.
ㄱ: 대칭키 방식의 정의 그대로이므로 옳다.
ㄴ: 사용자 증가에 따라 키 수가 급증(n명이면 n(n−1)/2개)해 관리 부담이 큰 것은 대칭키 방식이다. 공개키 방식은 사용자당 키 쌍 하나면 된다.
ㄷ: 대칭키 방식이 공개키 방식보다 암호화 속도가 빠르므로 옳다.
ㄹ: 같은 키를 공유해 통신하는 것은 대칭키 방식의 특징이다.

삽입은 불가하며, 원인은 개체 무결성 위반이다.
개체 무결성은 기본키 속성은 NULL 값을 가질 수 없다는 제약이다. 삽입하려는 튜플은 기본키인 학번이 NULL이므로 이 제약을 어긴다.
삽입 가능 - 무결성 제약조건 만족: 기본키가 NULL이므로 제약조건을 만족하지 않는다.
삽입 불가 - 관계 무결성 위반: 이 상황을 가리키는 표준 무결성 제약이 아니며, 원인은 기본키의 NULL이다.
삽입 불가 - 참조 무결성 위반: 참조 무결성은 외래키가 참조하는 테이블의 기본키 값에 존재해야 한다는 제약으로, 이 문항에는 외래키가 없다.

표현 결과는 1100 0000 0011 0000 0000 0000 0000 0000이다.
2.75를 2진수로 바꾸면 10.11이고, 정규화하면 $1.011\times 2^1$이다. 음수이므로 부호 비트는 1이다.
지수부는 바이어스 127을 더해 $1+127=128$, 즉 10000000이다.
가수부는 정규화된 수의 소수점 아래 011 뒤에 0을 채운 23비트이다.
부호 1 + 지수 10000000 + 가수 0110…0을 4비트씩 끊으면 1100 0000 0011 0000 …이 된다.
1000 0000 0000 … 1011: 지수부·가수부 형식을 쓰지 않고 정수 비트를 끝에 붙인 형태이다.
1000 0000 1011 0000 …: 지수부가 00000001로, 바이어스 127을 더하지 않고 지수 1을 그대로 넣은 형태이다.
1010 0000 0110 0000 …: 지수부가 01000000(64)으로, 바이어스를 더한 지수 128(10000000)과 맞지 않는다.

㉠은 가상 메모리(Virtual Memory)이다.
가상 메모리는 보조기억장치를 주기억장치처럼 활용해 프로그램이 물리 메모리 크기와 무관한 논리 주소 공간을 쓰게 하고, 실행 시 주소 변환으로 실제 위치를 찾는다.
레지스터: CPU 내부의 소용량 초고속 기억장치로, 주기억장치 크기 한계를 해결하는 기법이 아니다.
정적 메모리: 전원이 있는 동안 재충전 없이 값을 유지하는 SRAM 계열 메모리 소자를 가리키며, 주소 참조 기법이 아니다.
플래시 메모리: 전원이 꺼져도 내용이 유지되는 비휘발성 반도체 기억장치이다.

출력값은 12이다.
i는 1, 3, 5, 7, 9로 모두 홀수라 i%2는 항상 참이다. 따라서 i%3이 0(거짓)인 경우만 continue를 피해 sum에 더해진다.
3의 배수인 3과 9만 더해져 $3+9=12$가 출력된다.
6: 반복 범위의 홀수 가운데 3의 배수는 3과 9 두 개이므로 합이 6이 될 수 없다.
25: 1부터 9까지 홀수를 모두 더한 값으로, continue 조건을 무시한 결과이다.
55: 1부터 10까지 모두 더한 값으로, 증가값 2와 continue 조건을 모두 무시한 결과이다.

설명하는 방법론은 애자일 개발 방법론이다.
애자일 선언은 프로세스와 도구보다 개인과 상호작용을 중시하며, 짧은 주기의 반복 개발로 동작하는 소프트웨어를 자주 출시하는 것을 목표로 한다.
구조적 개발 방법론: 기능을 하향식으로 분해하고 절차·문서 중심으로 순차 개발한다.
객체지향 개발 방법론: 데이터와 기능을 객체로 묶어 모델링하는 것이 핵심으로, 소통과 잦은 출시를 특징으로 하지 않는다.
컴포넌트 기반 개발 방법론: 재사용 가능한 컴포넌트를 조립해 시스템을 만드는 데 초점을 둔다.

옳지 않은 최소화는 $AB+A\overline{B}+\overline{A}B=A$이다.
$AB+A\overline{B}=A(B+\overline{B})=A$이므로 식은 $A+\overline{A}B$가 되고, 이는 흡수·분배 법칙에 의해 $A+B$로 정리된다. 따라서 결과는 A가 아니다.
$A(A+B)=A$: 흡수 법칙으로, $AA+AB=A+AB=A(1+B)=A$이다.
$A+\overline{A}B=A+B$: 분배 법칙으로 $(A+\overline{A})(A+B)=A+B$이다.
$A(\overline{A}+B)=AB$: $A\overline{A}+AB=0+AB=AB$이다.

옳지 않은 설명은 연결리스트가 희소행렬 표현에 비효율적이다는 내용이다.
희소행렬은 대부분 원소가 0이므로, 0이 아닌 원소만 노드로 저장하는 연결리스트가 오히려 메모리를 절약해 효율적이다. 배열로 표현하면 0인 칸까지 모두 공간을 차지한다.
배열 중간 삽입: 뒤쪽 원소를 모두 이동해야 하므로 연결리스트보다 비용이 커 옳다.
임의 위치 접근: 배열은 인덱스로 바로 접근하지만 연결리스트는 처음부터 순차 탐색해야 하므로 옳다.
메모리 사용량: 연결리스트는 원소마다 포인터(링크) 공간이 추가로 필요해 같은 원소 수의 배열보다 크므로 옳다.

평균응답시간은 5이다.
선입선출은 도착 순서대로 실행하므로 실행 순서는 P1(0~2) → P2(2~4) → P3(4~7) → P4(7~16)이다.
응답시간(종료 − 도착)은 P1 2, P2 2, P3 4, P4 12이다.
$\dfrac{2+2+4+12}{4}=\dfrac{20}{4}=5$
3: 응답시간 합이 12일 때의 값으로, 실제 합 20과 맞지 않는다.
4: 응답시간 합이 16일 때의 값으로, 실제 합 20과 맞지 않는다.
6: 응답시간 합이 24일 때의 값으로, 실제 합 20과 맞지 않는다.

옳은 설명은 IP가 패킷의 주소 부분을 처리해 목적지까지 전달되도록 한다는 내용이다.
IP는 네트워크 계층 프로토콜로 주소 지정과 라우팅을 담당하며, 신뢰성 보장 없이 최선 노력(best effort) 방식으로 패킷을 전달한다.
TCP 연결 방식: TCP는 연결 설정 후 전송하는 연결형 프로토콜이므로 비연결형이라는 설명은 틀리다.
TCP 계층: TCP는 네트워크 계층이 아니라 전송 계층에 속한다.
재전송 요청: 오류·손실 패킷의 재전송은 TCP가 담당하며, IP는 비신뢰성 프로토콜이라 이 기능이 없다.

설명하는 용어는 퍼셉트론(Perceptron)이다.
퍼셉트론은 1957년 로젠블라트가 제안한 인공 뉴런 모델로, 입력에 가중치를 곱해 합한 뒤 활성화 함수로 출력을 정한다. 이를 여러 층으로 쌓은 다층 퍼셉트론이 딥러닝의 기반이 된다.
빠른 정렬(Quick Sort): 피벗을 기준으로 분할하는 정렬 알고리즘으로, 호어(Hoare)가 고안했다.
맵리듀스(MapReduce): 대용량 데이터를 분산 병렬 처리하는 프로그래밍 모델이다.
디지털 포렌식(Digital Forensics): 디지털 기기의 증거를 수집·분석하는 수사 기법이다.

뷰의 장점으로 옳지 않은 것은 뷰에 대한 연산에 제약이 없다는 설명이다.
뷰는 기본 테이블에서 유도된 가상 테이블이므로, 조인·집계·DISTINCT 등으로 정의된 뷰는 삽입·삭제·갱신 연산에 제약이 따른다. 이것은 뷰의 대표적인 단점이다.
논리적 독립성: 기본 테이블 구조가 바뀌어도 뷰 정의만 고치면 응용을 유지할 수 있어 옳다.
보안: 사용자에게 필요한 열·행만 뷰로 보여 주어 접근을 제어할 수 있어 옳다.
다양한 요구 지원: 사용자별로 필요한 형태의 뷰를 제공해 데이터 관리를 단순화하므로 옳다.

설명하는 기법은 동적 계획법(Dynamic Programming)이다.
동적 계획법은 최적 부분 구조를 가진 문제에서 작은 부분 문제의 최적해를 먼저 구해 저장하고, 이를 조합해 전체 문제의 최적해를 구한다.
탐욕적 알고리즘: 매 단계에서 그 순간 가장 좋아 보이는 선택을 확정해 나가는 기법으로, 부분 문제들의 최적해를 모아 결합하는 방식이 아니다.
재귀 프로그래밍: 함수가 자기 자신을 호출하는 구현 방식으로, 최적해를 구하는 설계 기법 자체를 가리키지 않는다.
근사 알고리즘: 최적해 대신 최적해에 가까운 해를 효율적으로 구하는 기법이다.