모든 공개 기록

noriwiki에서 사용할 수 있는 모든 기록이 표시됩니다. 기록 종류나 사용자 이름(대소문자 구별) 또는 영향을 받는 문서(대소문자 구별)를 선택하여 범위를 좁혀서 살펴볼 수 있습니다.

2023년 3월 24일 (금) 11:54 Ahn9807 토론 기여님이 분류:통계 해석 문서를 만들었습니다 (새 문서: 분류: 수학)
2023년 3월 24일 (금) 11:53 Ahn9807 토론 기여님이 카이제곱 검정 문서를 만들었습니다 (새 문서: 분류: 통계 해석 == 개요 == '''카이제곱 검정'''(chi-squared test) 은 카이제곱 분포에 기초한 통계적 방법으로, 관찰된 빈도가 기대되는 빈도와 의미있게 다른지의 여부를 검증하기 위해 사용되는 검증방법이다. 자료가 빈도로 주어졌을 때, 특히 명목척도 자료의 분석에 이용된다. 카이제곱 값은 χ2 = Σ (관측값 - 기댓값)2 / 기댓값 으로 계산한다....)
2023년 3월 24일 (금) 11:53 Ahn9807 토론 기여님이 사다리꼴 공식 문서를 만들었습니다 (새 문서: 분류:수치 해석 == 개요 == 함수의 정적분을 해석적인 방식으로 구하는 것이 아니라 구간을 아주 작게 분할해서 근사값을 구하는 방법중 하나로써, 함수의 구간을 사다리꼴 형식으로 나눈다. == 정의 == 닫힌구간 <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> 이 주어졌다고 하자....)
2023년 3월 24일 (금) 11:52 Ahn9807 토론 기여님이 분류:수치 해석 문서를 만들었습니다 (새 문서: 분류: 수학)
2023년 3월 24일 (금) 11:52 Ahn9807 토론 기여님이 심슨법 문서를 만들었습니다 (새 문서: 분류:수치 해석 == 개요 == 수치해석에서 해석적으로 적분 가능한 함수를 심슨법에서는 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>와 같은 값을 갖는 근사...)
2023년 3월 24일 (금) 11:52 Ahn9807 토론 기여님이 이분법 문서를 만들었습니다 (새 문서: 분류: 수치 해석 == 개요 == 수학에서 이분법은 근이 반드시 존재하는 폐구간을 이분한 후, 이 중 근이 존재하는 하위 폐구간을 선택하는 것을 반복하여서 근을 찾는 알고리즘이다. 간단하고 견고하며 해의 대략적 위치를 안다면 일정 오차 내에 있는 1개의 해는 무조건 도출이 가능하나, 상대적으로 느린 방식이다. 이분법은 근이 존재한다는 것 자체를 전제로...)
2023년 3월 24일 (금) 11:51 Ahn9807 토론 기여님이 수치 적분 문서를 만들었습니다 (새 문서: 분류:수치 해석 == 개요 == 수치 적분이란 해석적으로 적분가능한 함수를 컴퓨터를 이용하여 수치적으로 적분하는 것을 말한다. == 분류 == === 뉴턴-코우트 (Newton-Cotes) === 구간을 같은 간격으로 분할한다. # 중점법 # 사다리꼴 공식 # 심슨 적분법 === Chebyshev === 간격이 같지 않은 구간과 일정한 가중 계수를 이용한 공식이다. === 가우스 공식 === 간격이 같...)
2023년 3월 24일 (금) 11:51 Ahn9807 토론 기여님이 가우스 소거법 문서를 만들었습니다 (새 문서: 분류:수치 해석 선형대수학에서, '''가우스 소거법'''은 연립일차방정식을 풀이하는 알고리즘이다. 풀이 과정에서, 일부 미지수가 차츰 소거되어 결국 남은 미지수에 대한 선형 결합으로 표현되면서 풀이가 완성된다. 가우스 소거법은 보통 행렬을 사용하며, 첨가 행렬을 그와 풀이가 같은 더 간단한 행렬로 변환하여 풀이를 완성한다. 가우스 소...)
2023년 3월 24일 (금) 11:49 Ahn9807 토론 기여님이 Shell sort 문서를 만들었습니다 (새 문서: 분류:정렬 == 개요 == 삽입 정렬은 정렬의 편차가 매우 심하다. 좋은 경우 n 만에 수행 하지만 최악의 경우 n^2 이 수행된다. 이 단점을 보완하기 위해서, 배열을 "어느정도" 정렬된 상태로 만들고 삽입 정렬을 시행하는 방식이다. Divide and Conquer의 한 방식으로 우선 배열을 정해진 개수만큼 나눈뒤, 삽입정렬을 수행하고 다시 합치면서 삽입정렬을 수행해 나간다....)
2023년 3월 24일 (금) 06:13 Ahn9807 토론 기여님이 EBPF verifier 문서를 만들었습니다 (새 문서: 분류: EBPF == 개요 == eBPF프로그램의 안정성은 두 가지 단계를 통해서 확보된다. 첫번째로는 DAG체크를 통해서 루프를 허용하지 않는 것이며, CFG체크이다. CFG는 도달할 수 없는 코드가 eBPF에 있는지를 검사한다. 두번째 단계는 첫번째 Instruction에서 모든 가능한 경로를 탐색하는 것이다. 이는 모든 명령어를 실제 가상의 Verifier내부에서 시뮬레이션 하여서 레...)
2023년 3월 23일 (목) 07:13 Ahn9807 토론 기여님이 Strata: A Cross Media File System 문서를 만들었습니다 (새 문서: 분류: 시스템 논문 == 개요 == Strata는 다양한 스토리지 하드웨어의 Need를 맞추기 위해서 Log를 유저레벨에서 작성하고 커널에서 Digest하는 방식을 제시하여 성능 향상을 이룬 논문이다. == Motivation == 서버에서 사용하는 스토리지 디바이스의 Diversification이 점차 심해지는 상황에서 이들의 요구를 만족시키면서 빠른 속도를 보장하는 File system이 없었다. 현재 서버...)
2023년 3월 22일 (수) 06:43 Ahn9807 토론 기여님이 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 == 새로운 하드웨어가 계속 해서 쏟아지...)
2023년 3월 22일 (수) 05:53 Ahn9807 토론 기여님이 파일:Bento Figure 1.png 파일을 올렸습니다
2023년 3월 22일 (수) 05:53 Ahn9807 토론 기여님이 파일:Bento Figure 1.png 문서를 만들었습니다
2023년 3월 22일 (수) 03:39 Ahn9807 토론 기여님이 Shadow page table 문서를 만들었습니다 (Shadow paging 문서로 넘겨주기) 태그: 새 넘겨주기
2023년 3월 22일 (수) 03:39 Ahn9807 토론 기여님이 Hardware-based virtualization 문서를 만들었습니다 (새 문서: 분류: 가상화 == 개요 == 하드웨어 기반 가상화 (Hardware-based virtualization)이란 하드웨어의 도움을 통해서 가상의 컴퓨팅 환경을 가상머신에 제공하는 방법을 의미한다. Intel-VT 혹은 AMD-V와 같은 기술이 대표적으로서, CPU내부적으로 가상의 vCPU를 만들 수 있는 기능을 제공함으로서, 기존의 Binary translation이나 Para virtualization과 같은 OS의 수정이 없는 Full vi...)
2023년 3월 21일 (화) 11:14 Ahn9807 토론 기여님이 Memory mapped I/O 문서를 만들었습니다 (새 문서: 분류: CPU 분류: 주변장치 == 개요 == Memory mapped I/O는 메인 메모리와 입출력 장치를 위해서 사용하는 역역이 같은 경우를 말한다. PIO처럼 전용 Instruction을 사용하는 방식과는 다르게 MMIO에서는 입출력 장치의 메모리와 레지스터가 마치 메모리의 특정영역에 있는 것처럼 생각할 수 있다. 예를 들어서 메모리의 0xFF에 접근하면 입출력 장치의 특정 레지스터값이...)
2023년 3월 21일 (화) 10:38 Ahn9807 토론 기여님이 EPT 문서를 만들었습니다 (Extended page table 문서로 넘겨주기) 태그: 새 넘겨주기
2023년 3월 21일 (화) 10:36 Ahn9807 토론 기여님이 Paravirtualization 문서를 만들었습니다 (반가상화 문서로 넘겨주기) 태그: 새 넘겨주기
2023년 3월 21일 (화) 10:35 Ahn9807 토론 기여님이 Full virtualization 문서를 만들었습니다 (전가상화 문서로 넘겨주기) 태그: 새 넘겨주기
2023년 3월 21일 (화) 10:23 Ahn9807 토론 기여님이 Hardware virtualization 문서를 만들었습니다 (새 문서: 분류: 가상화 == 개요 == 하드웨어 가상화는 다양한 운영체제를 하나의 하드웨어 위에서 돌리기 위해서 하드웨어를 가상화하는 것을 말한다. 가상화는 물리적인 컴퓨터의 특징을 가상화하여서 추상화된 하나의 하드웨어로 운영체제가 인식할 수 있도록 한다. 이를 통해서 사용자는 다양한 운영체제를 마치 여러개의 하드웨어위에서 돌리는 것처럼 하나의 하드웨...)
2023년 3월 21일 (화) 04:03 Ahn9807 토론 기여님이 특수:Badtitle/NS500:Asdfasdf 문서를 만들었습니다 (새 블로그 글을 만들었습니다.)
2023년 3월 21일 (화) 04:00 Ahn9807 토론 기여님이 특수:Badtitle/NS500:Asdf 문서를 만들었습니다 (새 블로그 글을 만들었습니다.)
2023년 3월 21일 (화) 03:35 Ahn9807 토론 기여님이 축차 탐색 문서를 만들었습니다 (Linear search 문서로 넘겨주기) 태그: 새 넘겨주기
2023년 3월 21일 (화) 03:35 Ahn9807 토론 기여님이 Linear search 문서를 만들었습니다 (새 문서: 분류: 탐색 ==개요== 축차 탐색은 배열에 저장된 데이터를 앞에서부터 하나씩 차례로 검사하다가 원하는 부분이 발견되면 그 시점에서 탐색을 중지하는 간단한 탐색법이다. == 알고리즘== #배열의 처음부터 시작한다. #만약 원하는 것이 발견되면 멈추고 그 값을 리턴한다.)
2023년 3월 21일 (화) 03:34 Ahn9807 토론 기여님이 Bubble sort 문서를 만들었습니다 (새 문서: 분류: 정렬 == 개요 == 인접하는 두 항을 비교해서 뒷 항이 앞 항보다 작으면 두 항을 교환하는 과정을 반복한다. 쉽게 생각하면, 우선 제일 큰거 맨 위로 올리고, 그다음 큰거 맨 위로 올리를 모든 항이 정렬될 때까지 반복하는 것이다. == 예제 == 오름차순으로 정렬하는 거품정렬의 과정은 다음과 같다. '''55 07''' 78 12 42 초기값[파란색...)
2023년 3월 21일 (화) 03:33 Ahn9807 토론 기여님이 Insertion sort 문서를 만들었습니다 (새 문서: 분류: 정렬 프레임없음|가운데 == 개요 == 부분 데이터 <math>a_i ~ a_n </math> 이 주어진 경우 그중에서 최소항을 찾아서 그 값과 <math>a_i</math> 와 교화하는 과정을 처음 부터 끝가지 시행하는 방식을 직접 선택법이라 한다. == 알고리즘 == i 가 0~n-1 인 상황에서, # 대상 항 i 를 0 부터 n-2 까지 옮기며 다음을 반복한다. # 대상 항을 최소값의 초기값...)
2023년 3월 21일 (화) 03:33 Ahn9807 토론 기여님이 Shaker sort 문서를 만들었습니다 (새 문서: 분류: 정렬 섬네일|가운데 == 개요 == 버블 소트 에서 부분 데이터가 오름차순으로 정렬되어 있어도 무조건 비교를 반복함으로 효율이 떨어진다. 따라서 데이터의 원쪽부터 검사를 시작해서 마지막으로 교환한 것이 i 와 i + 1 의 위치라면 i + 1 ~ n - 1 까지는 데이터가 정렬되어 있는 것임으로 다음부터는 검사하지 않아도 된다. 따라서 마지...)
2023년 3월 21일 (화) 03:32 Ahn9807 토론 기여님이 Selection sort 문서를 만들었습니다 (새 문서: 분류: 정렬 섬네일|가운데 == 개요 == 선택 정렬은 현재 소팅되어 있다 가정된 배열 에서 최소의 값을 집어 넣어서 정렬하는 방식이다. 좀더 풀어서 말하자면, 가장 작은 수를 select 한 다음 현재 배열에 넣는 작업이라고 생각하면 된다. 어찌보면, 인간이 사용하는 정렬 방식과도 닮았다. 우선 제일 작거나 큰거를 선택해서 그것을 먼저 정렬하...)
2023년 3월 21일 (화) 03:32 Ahn9807 토론 기여님이 Merge sort 문서를 만들었습니다 (새 문서: 분류:정렬 섬네일|가운데 == 개요 == 폰 노인만에 의해서 개발된 Merge Sort 는 안정적으로 nlogn 만에 배열을 정렬할 수 있도록 해준다. 기본 원리는 배열을 일단 최소 단위까지 쪼갠후 최소 단위부터 조금씩 맏추면서 올라가는 방식이다. 분할 정복 알고리즘의 좋은 예시이다. 성능은 퀵 정렬보다 전반적으로 뒤떨어지고, 데이터 크기만한 메...)
2023년 3월 21일 (화) 03:32 Ahn9807 토론 기여님이 정렬 문서를 만들었습니다 (새 문서: 분류: 정렬 == 개요 == 정렬 (sort)는 데이터를 특정 규칙에 따라 재배열하는 것을 말한다. 1, 5, 11 처럼 작은 수부터 나열한 것을 오름차순, 반대를 내림 차순이라 한다. 정렬에 필요한 시간은 주로 비교 횟수와 교환 횟수에 의해 정해진다. 이 횟수는 수열 데이터가 어떻게 나열되어 있는지와 기기에 따라 다르다. 그러나 이 횟수는 방식에 따라서 엄청난 차이가 존...)
2023년 3월 21일 (화) 03:31 Ahn9807 토론 기여님이 암호화 해시 함수 문서를 만들었습니다 (새 문서: 분류: 네트워크 보안 분류: 탐색 == 암호화 해시 함수 == 암호화 해시 함수는 해시 함수에 의해 보호되는 어떤 메시지를 대신할 다른 메시지를 찾아내는 일이 실행 불가능한 정도의 계산을 요구해야 한다. == 종류 == MD5 SHA-1 )
2023년 3월 21일 (화) 03:31 Ahn9807 토론 기여님이 해시 함수 문서를 만들었습니다 (새 문서: 분류: 네트워크 보안 분류: 탐색 == 개요 == '''해시 함수'''는 임의의 길이를 갖는 임의의 데이터에 대해 고정된 길이의 데이터로 매핑하는 함수를 말한다. 이러한 해시 함수를 적용하여 나온 고정된 길이의 값을 해시값이라고 한다. 이 값은 또한 해시 코드, 해시섬(sum), 체크섬[* 의미는 살짝 다르지만 해시가 체크섬과 동일한 목적으로 사용되는 경우도 많기는...)
2023년 3월 21일 (화) 03:30 Ahn9807 토론 기여님이 Binary search 문서를 만들었습니다 (새 문서: 분류: 탐색 ==개요 == 이진 검색 알고리즘(binary search algorithm)은 오름차순으로 정렬된 리스트에서 특정한 값의 위치를 찾는 알고리즘이다. 처음 중간의 값을 임의의 값으로 선택하여, 그 값과 찾고자 하는 값의 크고 작음을 비교하는 방식을 채택하고 있다. 처음 선택한 중앙값이 만약 찾는 값보다 크면 그 값은 새로운 최댓값이 되며, 작으면 그 값은 새로운 최솟값...)
2023년 3월 21일 (화) 03:30 Ahn9807 토론 기여님이 탐색 문서를 만들었습니다 (새 문서: 분류: 알고리즘 ==개요== 탐색이란 대량의 데이터로부터 필요한 데이터를 찾아내는 작업을 말한다, == 축차 탐색 == 데이터를 하나하나 차례로 비교하여 검사하는 탐색법이다. 축차 탐색 == 이분 탐색 == 미리 정렬되어 있는 테이블에서 목적 데이터를 탐색하는 경우에 유효한 방법이다. 이분 탐색 == 해시법 == 해시 테이블을 이용한 방식이다. 해시의 키가...)
2023년 3월 21일 (화) 03:30 Ahn9807 토론 기여님이 Recursive 문서를 만들었습니다 (재귀 문서로 넘겨주기) 태그: 새 넘겨주기
2023년 3월 21일 (화) 03:28 Ahn9807 토론 기여님이 재귀 문서를 만들었습니다 (새 문서: 분류:알고리즘 == 개요 == 재귀적 구조란 자기자신을 정의할 때 자신보다 1차 낮은 부분집합을 사용하고, 또한 그 부분집합은 그보다 차수가 낮은 부분집합을 사용해서 정의하는 과정을 반복하는 구조다. 이러한 구조를 일반적으로 재귀라한다. 재귀를 사용하면 복잡한 알고리즘을 명료하게 기술할 수 있기 때문에 현대 프로그래밍 기법에서 중요한 제어구조의...)
2023년 3월 21일 (화) 03:28 Ahn9807 토론 기여님이 분류:정렬 문서를 만들었습니다 (새 문서: 분류: 알고리즘)
2023년 3월 21일 (화) 03:27 Ahn9807 토론 기여님이 Quick sort 문서를 만들었습니다 (새 문서: 분류:정렬 섬네일|가운데 == 개요 == 퀵 소트란 나열된 수에서 적당한 값(축)을 기준으로 이보다 작거나 같은 값을 왼쪽에, 크거나 같은 값을 오른쪽에 오도록 재배열하는 것이다. 이렇게 만들어진 왼쪽, 오른쪽 부분수열에 대해 같은 과정을 반복하면 퀵정렬이 완성된다. 합병 정렬은 부분수열이 항상 같은 크기로 선정되지만, 퀵 소트는 그...)
2023년 3월 21일 (화) 03:27 Ahn9807 토론 기여님이 Stack 문서를 만들었습니다 (스택 문서로 넘겨주기) 태그: 새 넘겨주기
2023년 3월 21일 (화) 03:26 Ahn9807 토론 기여님이 스택 문서를 만들었습니다 (새 문서: 분류: 자료 구조 == 개요 == '''스택'''은 제한적으로 접근할 수 있는 나열 구조이다. 그 접근 방법은 언제나 목록의 끝에서만 일어난다. 끝먼저내기 목록(Pushdown list)이라고도 한다. 스택은 한 쪽 끝에서만 자료를 넣거나 뺄 수 있는 선형 구조(LIFO - Last In First Out)으로 되어 있다. 자료를 넣는 것을 '밀어넣는다' 하여 '''푸쉬'''(push)라고 하고 반대로 넣어둔 자료를 꺼...)
2023년 3월 21일 (화) 03:26 Ahn9807 토론 기여님이 Last in last out 문서를 만들었습니다 (새 문서: 분류: 자료 구조 == 개요 == 후입 선출(後入先出) 또는 LIFO(last in, first out)는 컴퓨터 과학과 대기 이론에서 어떠한 종류의 데이터 구조에 저장되어 있는 항목들이 처리되는 것을 말한다. LIFO 구조화 선형 목록에서, LIFO 요소는 맨 위의 항목만 추가하거나 제거할 수 있다. LIFO 구조는 작은 문을 가진 좁고 둘러싸인 승강기로 예를 들 수 있다. 승강기가 도착지에 다다...)
2023년 3월 21일 (화) 03:26 Ahn9807 토론 기여님이 FIFO 문서를 만들었습니다 (First in first out 문서로 넘겨주기) 태그: 새 넘겨주기
2023년 3월 21일 (화) 03:26 Ahn9807 토론 기여님이 First in first out 문서를 만들었습니다 (새 문서: 분류: 자료 구조 == 개요 == 선입 선출(先入先出, first in, first out, 줄여서 FIFO)은 시간과 우선 순위와 관련된 데이터를 정리하고 이용하는 방식을 줄여 말하는 것이다. 이러한 표현은 선입선처리 행위에 따라 순서대로 처리함으로써 기술을 처리하거나 수요 충돌을 관리하는 대기의 원칙을 말한다. 다시 말해, 먼저 온 것은 먼저 처리되고, 처리가 끝날 때까지 다음...) 태그: 시각 편집: 전환됨
2023년 3월 20일 (월) 12:34 Ahn9807 토론 기여님이 Popek and Goldberg 조건 문서를 만들었습니다 (새 문서: 분류: 가상화 == 개요 == Popek and Goldberg virtualization requirements (conditions)는 가상화가 이루어지기 위한 조건들을 의미한다. 특히 조건 2 - 가상화 정리는 현재에도 좋은 VMM 완변한 VMM을 설명하기 위해서 널리 사용되고 있다. == 조건 1 - 좋은 VMM 작동을 위한 조건 == VMM은 다음과 같은 세가지의 조건을 충족해야 좋은 VM이라고 할 수 있다. * Equivalence / Fidelity: VMM은 같은...)
2023년 3월 20일 (월) 10:24 Ahn9807 토론 기여님이 Binary translation 문서를 만들었습니다 (새 문서: 분류: 가상화 == 개요 == Binary translation은 GuestOS에서 트랩과 같은 방식으로 처리해야하는 Sensitive instruction들을 효과적으로 처리하기 위해서 GuestOS의 바이너리를 패치하는 방식을 말한다. 정적인 타임에 모두 편환하는 것이 아니라 동적인 타임에 변환함으로서, 변환 효율을 높이는 방식을 사용한다. Trap and emulate만을 사용하는 Classic한 방식보다 더 빠른 성능을 보...)
2023년 3월 20일 (월) 10:13 Ahn9807 토론 기여님이 Trap and emulate 문서를 만들었습니다 (새 문서: 분류: 가상화 == 개요 == Trap and emulate란 가상화를 위해서 특정 sensitive한 instruction들이 trap을 발생하게 하고 발생한 trap을 바탕으로 VMM에서 Emulate한 결과를 전송하여 하드웨어 가상화를 이루는 방법을 말한다. 그러나 전통적인 x86 아키텍쳐에서는 여러 특별한 문제로 인하여 트랩앤 에뮬리이터를 사용할 수 없다. 이는 Popek and Goldberg 조건을 만족시키지 못...)
2023년 3월 16일 (목) 11:58 Ahn9807 토론 기여님이 분류:오픈 소스 프로젝트 문서를 삭제했습니다 (내용: "분류: 전산과학". 유일한 편집자는 "Ahn9807" (토론))
2023년 3월 16일 (목) 11:56 Ahn9807 토론 기여님이 분류:오픈 소스 프로젝트 문서를 만들었습니다 (새 문서: 분류: 전산과학)
2023년 3월 16일 (목) 11:56 Ahn9807 토론 기여님이 Filesystem in userspace 문서를 만들었습니다 (새 문서: 분류: 파일 시스템 분류: 오픈 소스 프로그램 섬네일|가운데|대체글=FUSE structure overview|FUSE structure overview == 개요 == FUSE는 Non-root유저가 커널 코드의 수정없이 스스로의 파일시스템을 구현할 수 있도록 하는 Extension이다. Application이 Fuse가 마운트된 위치의 Write이나 Read와 같은 File system access 시스템 콜을 날리면, VFS는 Operation에 대한 Query를...)