Ahn9807의 사용자 기여

11:542023년 3월 24일 (금) 11:54 차이 역사 +18 새글 분류:통계 해석 새 문서: 분류: 수학 최신
11:532023년 3월 24일 (금) 11:53 차이 역사 +1,599 새글 카이제곱 검정 새 문서: 분류: 통계 해석 == 개요 == '''카이제곱 검정'''(chi-squared test) 은 카이제곱 분포에 기초한 통계적 방법으로, 관찰된 빈도가 기대되는 빈도와 의미있게 다른지의 여부를 검증하기 위해 사용되는 검증방법이다. 자료가 빈도로 주어졌을 때, 특히 명목척도 자료의 분석에 이용된다. 카이제곱 값은 χ2 = Σ (관측값 - 기댓값)2 / 기댓값 으로 계산한다....
11:532023년 3월 24일 (금) 11:53 차이 역사 +3,202 새글 사다리꼴 공식 새 문서: 분류:수치 해석 == 개요 == 함수의 정적분을 해석적인 방식으로 구하는 것이 아니라 구간을 아주 작게 분할해서 근사값을 구하는 방법중 하나로써, 함수의 구간을 사다리꼴 형식으로 나눈다. == 정의 == 닫힌구간 <math>[t_0,t_N]</math> 위의 적분 가능 함수 :<math>f\colon [t_0,t_N]\to \mathbb R</math> 및 수열 :<math>t_0 \le t_1 \le \dotsc \le t_{N-1} \le t_N</math> 이 주어졌다고 하자.... 최신
11:522023년 3월 24일 (금) 11:52 차이 역사 +18 새글 분류:수치 해석 새 문서: 분류: 수학 최신
11:522023년 3월 24일 (금) 11:52 차이 역사 +3,033 새글 심슨법 새 문서: 분류:수치 해석 == 개요 == 수치해석에서 해석적으로 적분 가능한 함수를 심슨법에서는 2차 함수로 근사하여 적분한다. == 단구간에서의 적분 == 심프슨 공식은 <math>P(x)</math>라는 이차방정식을 이용해 <math>f(x)</math>의 근사값을 구한다. 이때 <math>P(x)</math>는 ''a'', ''b'', 그리고 둘의 중간값 <math>m = \textstyle \frac{a+b}2</math>에서 <math>f(x)</math>와 같은 값을 갖는 근사... 최신
11:522023년 3월 24일 (금) 11:52 차이 역사 +3,539 새글 이분법 새 문서: 분류: 수치 해석 == 개요 == 수학에서 이분법은 근이 반드시 존재하는 폐구간을 이분한 후, 이 중 근이 존재하는 하위 폐구간을 선택하는 것을 반복하여서 근을 찾는 알고리즘이다. 간단하고 견고하며 해의 대략적 위치를 안다면 일정 오차 내에 있는 1개의 해는 무조건 도출이 가능하나, 상대적으로 느린 방식이다. 이분법은 근이 존재한다는 것 자체를 전제로... 최신
11:512023년 3월 24일 (금) 11:51 차이 역사 +583 새글 수치 적분 새 문서: 분류:수치 해석 == 개요 == 수치 적분이란 해석적으로 적분가능한 함수를 컴퓨터를 이용하여 수치적으로 적분하는 것을 말한다. == 분류 == === 뉴턴-코우트 (Newton-Cotes) === 구간을 같은 간격으로 분할한다. # 중점법 # 사다리꼴 공식 # 심슨 적분법 === Chebyshev === 간격이 같지 않은 구간과 일정한 가중 계수를 이용한 공식이다. === 가우스 공식 === 간격이 같... 최신
11:512023년 3월 24일 (금) 11:51 차이 역사 +14,732 새글 가우스 소거법 새 문서: 분류:수치 해석 선형대수학에서, '''가우스 소거법'''은 연립일차방정식을 풀이하는 알고리즘이다. 풀이 과정에서, 일부 미지수가 차츰 소거되어 결국 남은 미지수에 대한 선형 결합으로 표현되면서 풀이가 완성된다. 가우스 소거법은 보통 행렬을 사용하며, 첨가 행렬을 그와 풀이가 같은 더 간단한 행렬로 변환하여 풀이를 완성한다. 가우스 소... 최신
11:492023년 3월 24일 (금) 11:49 차이 역사 +1,859 새글 Shell sort 새 문서: 분류:정렬 == 개요 == 삽입 정렬은 정렬의 편차가 매우 심하다. 좋은 경우 n 만에 수행 하지만 최악의 경우 n^2 이 수행된다. 이 단점을 보완하기 위해서, 배열을 "어느정도" 정렬된 상태로 만들고 삽입 정렬을 시행하는 방식이다. Divide and Conquer의 한 방식으로 우선 배열을 정해진 개수만큼 나눈뒤, 삽입정렬을 수행하고 다시 합치면서 삽입정렬을 수행해 나간다.... 최신
06:132023년 3월 24일 (금) 06:13 차이 역사 +6,728 새글 EBPF verifier 새 문서: 분류: EBPF == 개요 == eBPF프로그램의 안정성은 두 가지 단계를 통해서 확보된다. 첫번째로는 DAG체크를 통해서 루프를 허용하지 않는 것이며, CFG체크이다. CFG는 도달할 수 없는 코드가 eBPF에 있는지를 검사한다. 두번째 단계는 첫번째 Instruction에서 모든 가능한 경로를 탐색하는 것이다. 이는 모든 명령어를 실제 가상의 Verifier내부에서 시뮬레이션 하여서 레... 최신
04:022023년 3월 24일 (금) 04:02 차이 역사 +9 미디어위키:Liberty-Navbar 편집 요약 없음

07:142023년 3월 23일 (목) 07:14 차이 역사 +125 Strata: A Cross Media File System →Design 태그: 시각 편집: 전환됨
07:132023년 3월 23일 (목) 07:13 차이 역사 +4,562 새글 Strata: A Cross Media File System 새 문서: 분류: 시스템 논문 == 개요 == Strata는 다양한 스토리지 하드웨어의 Need를 맞추기 위해서 Log를 유저레벨에서 작성하고 커널에서 Digest하는 방식을 제시하여 성능 향상을 이룬 논문이다. == Motivation == 서버에서 사용하는 스토리지 디바이스의 Diversification이 점차 심해지는 상황에서 이들의 요구를 만족시키면서 빠른 속도를 보장하는 File system이 없었다. 현재 서버...

06:432023년 3월 22일 (수) 06:43 차이 역사 +2,955 새글 High Velocity Kernel File Systems with Bento 새 문서: 분류: 시스템 논문 Samantha Miller, Kaiyuan Zhang, Mengqi Chen, Ryan Jennings, Thomas Aderson 19th USENIX Conference on File and Storage Technologies (FAST 21) == 개요 == 벤토는 리눅스 커널 파일시스템을 작성하면서 Error-prone할 수 있는 커널 코드 수정을 Rust를 통해서 쉽고 빠르고, 안전하게 작성 할 수 있도록 한 프레임 워크를 제한하였다. == Motivation == 새로운 하드웨어가 계속 해서 쏟아지...
05:532023년 3월 22일 (수) 05:53 차이 역사 +44 새글 파일:Bento Figure 1.png 편집 요약 없음 최신
03:392023년 3월 22일 (수) 03:39 차이 역사 +31 새글 Shadow page table Shadow paging 문서로 넘겨주기 최신 태그: 새 넘겨주기
03:392023년 3월 22일 (수) 03:39 차이 역사 +1,803 새글 Hardware-based virtualization 새 문서: 분류: 가상화 == 개요 == 하드웨어 기반 가상화 (Hardware-based virtualization)이란 하드웨어의 도움을 통해서 가상의 컴퓨팅 환경을 가상머신에 제공하는 방법을 의미한다. Intel-VT 혹은 AMD-V와 같은 기술이 대표적으로서, CPU내부적으로 가상의 vCPU를 만들 수 있는 기능을 제공함으로서, 기존의 Binary translation이나 Para virtualization과 같은 OS의 수정이 없는 Full vi... 최신

11:162023년 3월 21일 (화) 11:16 차이 역사 0 잔글 Memory mapped I/O 편집 요약 없음
11:142023년 3월 21일 (화) 11:14 차이 역사 −25 잔글 Memory mapped I/O 편집 요약 없음
11:142023년 3월 21일 (화) 11:14 차이 역사 +1,830 새글 Memory mapped I/O 새 문서: 분류: CPU 분류: 주변장치 == 개요 == Memory mapped I/O는 메인 메모리와 입출력 장치를 위해서 사용하는 역역이 같은 경우를 말한다. PIO처럼 전용 Instruction을 사용하는 방식과는 다르게 MMIO에서는 입출력 장치의 메모리와 레지스터가 마치 메모리의 특정영역에 있는 것처럼 생각할 수 있다. 예를 들어서 메모리의 0xFF에 접근하면 입출력 장치의 특정 레지스터값이...
10:392023년 3월 21일 (화) 10:39 차이 역사 0 잔글 Extended page table 편집 요약 없음
10:382023년 3월 21일 (화) 10:38 차이 역사 +37 새글 EPT Extended page table 문서로 넘겨주기 최신 태그: 새 넘겨주기
10:362023년 3월 21일 (화) 10:36 차이 역사 0 잔글 반가상화 편집 요약 없음
10:362023년 3월 21일 (화) 10:36 차이 역사 +30 새글 Paravirtualization 반가상화 문서로 넘겨주기 최신 태그: 새 넘겨주기
10:352023년 3월 21일 (화) 10:35 차이 역사 +30 새글 Full virtualization 전가상화 문서로 넘겨주기 최신 태그: 새 넘겨주기
10:352023년 3월 21일 (화) 10:35 차이 역사 +1,274 Hardware virtualization 편집 요약 없음 최신
10:232023년 3월 21일 (화) 10:23 차이 역사 +515 새글 Hardware virtualization 새 문서: 분류: 가상화 == 개요 == 하드웨어 가상화는 다양한 운영체제를 하나의 하드웨어 위에서 돌리기 위해서 하드웨어를 가상화하는 것을 말한다. 가상화는 물리적인 컴퓨터의 특징을 가상화하여서 추상화된 하나의 하드웨어로 운영체제가 인식할 수 있도록 한다. 이를 통해서 사용자는 다양한 운영체제를 마치 여러개의 하드웨어위에서 돌리는 것처럼 하나의 하드웨...
04:032023년 3월 21일 (화) 04:03 차이 역사 +129 새글 특수:Badtitle/NS500:Asdfasdf 새 블로그 글을 만들었습니다. 최신
04:002023년 3월 21일 (화) 04:00 차이 역사 +129 새글 특수:Badtitle/NS500:Asdf 새 블로그 글을 만들었습니다. 최신
03:352023년 3월 21일 (화) 03:35 차이 역사 +31 새글 축차 탐색 Linear search 문서로 넘겨주기 최신 태그: 새 넘겨주기
03:352023년 3월 21일 (화) 03:35 차이 역사 +363 새글 Linear search 새 문서: 분류: 탐색 ==개요== 축차 탐색은 배열에 저장된 데이터를 앞에서부터 하나씩 차례로 검사하다가 원하는 부분이 발견되면 그 시점에서 탐색을 중지하는 간단한 탐색법이다. == 알고리즘== #배열의 처음부터 시작한다. #만약 원하는 것이 발견되면 멈추고 그 값을 리턴한다. 최신
03:342023년 3월 21일 (화) 03:34 차이 역사 +1,471 새글 Bubble sort 새 문서: 분류: 정렬 == 개요 == 인접하는 두 항을 비교해서 뒷 항이 앞 항보다 작으면 두 항을 교환하는 과정을 반복한다. 쉽게 생각하면, 우선 제일 큰거 맨 위로 올리고, 그다음 큰거 맨 위로 올리를 모든 항이 정렬될 때까지 반복하는 것이다. == 예제 == 오름차순으로 정렬하는 거품정렬의 과정은 다음과 같다. '''55 07''' 78 12 42 초기값[파란색... 최신
03:342023년 3월 21일 (화) 03:34 차이 역사 0 정렬 편집 요약 없음 최신
03:332023년 3월 21일 (화) 03:33 차이 역사 +607 새글 Insertion sort 새 문서: 분류: 정렬 프레임없음|가운데 == 개요 == 부분 데이터 <math>a_i ~ a_n </math> 이 주어진 경우 그중에서 최소항을 찾아서 그 값과 <math>a_i</math> 와 교화하는 과정을 처음 부터 끝가지 시행하는 방식을 직접 선택법이라 한다. == 알고리즘 == i 가 0~n-1 인 상황에서, # 대상 항 i 를 0 부터 n-2 까지 옮기며 다음을 반복한다. # 대상 항을 최소값의 초기값... 최신
03:332023년 3월 21일 (화) 03:33 차이 역사 +2,053 새글 Shaker sort 새 문서: 분류: 정렬 섬네일|가운데 == 개요 == 버블 소트 에서 부분 데이터가 오름차순으로 정렬되어 있어도 무조건 비교를 반복함으로 효율이 떨어진다. 따라서 데이터의 원쪽부터 검사를 시작해서 마지막으로 교환한 것이 i 와 i + 1 의 위치라면 i + 1 ~ n - 1 까지는 데이터가 정렬되어 있는 것임으로 다음부터는 검사하지 않아도 된다. 따라서 마지... 최신
03:322023년 3월 21일 (화) 03:32 차이 역사 +1,066 새글 Selection sort 새 문서: 분류: 정렬 섬네일|가운데 == 개요 == 선택 정렬은 현재 소팅되어 있다 가정된 배열 에서 최소의 값을 집어 넣어서 정렬하는 방식이다. 좀더 풀어서 말하자면, 가장 작은 수를 select 한 다음 현재 배열에 넣는 작업이라고 생각하면 된다. 어찌보면, 인간이 사용하는 정렬 방식과도 닮았다. 우선 제일 작거나 큰거를 선택해서 그것을 먼저 정렬하... 최신
03:322023년 3월 21일 (화) 03:32 차이 역사 +1,660 새글 Merge sort 새 문서: 분류:정렬 섬네일|가운데 == 개요 == 폰 노인만에 의해서 개발된 Merge Sort 는 안정적으로 nlogn 만에 배열을 정렬할 수 있도록 해준다. 기본 원리는 배열을 일단 최소 단위까지 쪼갠후 최소 단위부터 조금씩 맏추면서 올라가는 방식이다. 분할 정복 알고리즘의 좋은 예시이다. 성능은 퀵 정렬보다 전반적으로 뒤떨어지고, 데이터 크기만한 메... 최신
03:322023년 3월 21일 (화) 03:32 차이 역사 +922 새글 정렬 새 문서: 분류: 정렬 == 개요 == 정렬 (sort)는 데이터를 특정 규칙에 따라 재배열하는 것을 말한다. 1, 5, 11 처럼 작은 수부터 나열한 것을 오름차순, 반대를 내림 차순이라 한다. 정렬에 필요한 시간은 주로 비교 횟수와 교환 횟수에 의해 정해진다. 이 횟수는 수열 데이터가 어떻게 나열되어 있는지와 기기에 따라 다르다. 그러나 이 횟수는 방식에 따라서 엄청난 차이가 존...
03:312023년 3월 21일 (화) 03:31 차이 역사 +317 새글 암호화 해시 함수 새 문서: 분류: 네트워크 보안 분류: 탐색 == 암호화 해시 함수 == 암호화 해시 함수는 해시 함수에 의해 보호되는 어떤 메시지를 대신할 다른 메시지를 찾아내는 일이 실행 불가능한 정도의 계산을 요구해야 한다. == 종류 == MD5 SHA-1 최신
03:312023년 3월 21일 (화) 03:31 차이 역사 +1,948 새글 해시 함수 새 문서: 분류: 네트워크 보안 분류: 탐색 == 개요 == '''해시 함수'''는 임의의 길이를 갖는 임의의 데이터에 대해 고정된 길이의 데이터로 매핑하는 함수를 말한다. 이러한 해시 함수를 적용하여 나온 고정된 길이의 값을 해시값이라고 한다. 이 값은 또한 해시 코드, 해시섬(sum), 체크섬[* 의미는 살짝 다르지만 해시가 체크섬과 동일한 목적으로 사용되는 경우도 많기는... 최신
03:302023년 3월 21일 (화) 03:30 차이 역사 +1,434 새글 Binary search 새 문서: 분류: 탐색 ==개요 == 이진 검색 알고리즘(binary search algorithm)은 오름차순으로 정렬된 리스트에서 특정한 값의 위치를 찾는 알고리즘이다. 처음 중간의 값을 임의의 값으로 선택하여, 그 값과 찾고자 하는 값의 크고 작음을 비교하는 방식을 채택하고 있다. 처음 선택한 중앙값이 만약 찾는 값보다 크면 그 값은 새로운 최댓값이 되며, 작으면 그 값은 새로운 최솟값... 최신
03:302023년 3월 21일 (화) 03:30 차이 역사 +641 새글 탐색 새 문서: 분류: 알고리즘 ==개요== 탐색이란 대량의 데이터로부터 필요한 데이터를 찾아내는 작업을 말한다, == 축차 탐색 == 데이터를 하나하나 차례로 비교하여 검사하는 탐색법이다. 축차 탐색 == 이분 탐색 == 미리 정렬되어 있는 테이블에서 목적 데이터를 탐색하는 경우에 유효한 방법이다. 이분 탐색 == 해시법 == 해시 테이블을 이용한 방식이다. 해시의 키가...
03:302023년 3월 21일 (화) 03:30 차이 역사 +24 새글 Recursive 재귀 문서로 넘겨주기 최신 태그: 새 넘겨주기
03:302023년 3월 21일 (화) 03:30 차이 역사 +38 재귀 편집 요약 없음
03:282023년 3월 21일 (화) 03:28 차이 역사 +2,679 새글 재귀 새 문서: 분류:알고리즘 == 개요 == 재귀적 구조란 자기자신을 정의할 때 자신보다 1차 낮은 부분집합을 사용하고, 또한 그 부분집합은 그보다 차수가 낮은 부분집합을 사용해서 정의하는 과정을 반복하는 구조다. 이러한 구조를 일반적으로 재귀라한다. 재귀를 사용하면 복잡한 알고리즘을 명료하게 기술할 수 있기 때문에 현대 프로그래밍 기법에서 중요한 제어구조의...
03:282023년 3월 21일 (화) 03:28 차이 역사 +24 새글 분류:정렬 새 문서: 분류: 알고리즘 최신
03:272023년 3월 21일 (화) 03:27 차이 역사 +1,843 새글 Quick sort 새 문서: 분류:정렬 섬네일|가운데 == 개요 == 퀵 소트란 나열된 수에서 적당한 값(축)을 기준으로 이보다 작거나 같은 값을 왼쪽에, 크거나 같은 값을 오른쪽에 오도록 재배열하는 것이다. 이렇게 만들어진 왼쪽, 오른쪽 부분수열에 대해 같은 과정을 반복하면 퀵정렬이 완성된다. 합병 정렬은 부분수열이 항상 같은 크기로 선정되지만, 퀵 소트는 그... 최신
03:272023년 3월 21일 (화) 03:27 차이 역사 +24 새글 Stack 스택 문서로 넘겨주기 최신 태그: 새 넘겨주기
03:272023년 3월 21일 (화) 03:27 차이 역사 +18 스택 편집 요약 없음 최신
03:262023년 3월 21일 (화) 03:26 차이 역사 +4,306 새글 스택 새 문서: 분류: 자료 구조 == 개요 == '''스택'''은 제한적으로 접근할 수 있는 나열 구조이다. 그 접근 방법은 언제나 목록의 끝에서만 일어난다. 끝먼저내기 목록(Pushdown list)이라고도 한다. 스택은 한 쪽 끝에서만 자료를 넣거나 뺄 수 있는 선형 구조(LIFO - Last In First Out)으로 되어 있다. 자료를 넣는 것을 '밀어넣는다' 하여 '''푸쉬'''(push)라고 하고 반대로 넣어둔 자료를 꺼...

2023년 3월 24일 (금)

2023년 3월 23일 (목)

2023년 3월 22일 (수)

2023년 3월 21일 (화)