본문 바로가기

▶ 자연과학

2016. 09. 13. [Seminar] 차세대 비휘발성 메모리를 활용한 데이터베이스 성능향상 기법 일시: 2016. 09. 13. 12:50 ~ 13:45 장소: 서울대학교 302동 105호 강사: UNIST 컴퓨터공학과 교수 남범석 #define NVRAM non-volatile RAM // 차세대 비휘발성 메모리 ▶ Overview▷ merits> 연산 속도 비교> CPU ↔ DRAM by 80 GB/s, Memory Bus; DRAM은 휘발성 메모리이다.> CPU ↔ SSD by 1GB/s, PCI> CPU ↔ SSD by 600 MB/s, SATA> CPU ↔ HDD by 50 ~ 100 MB/s, SATA> NVRAM은 DRAM과 같은 속도를 유지하면서 SSD와 같은 지속성을 가짐> How?> DRAM: 8 byte or 64 byte로 처리 ↔ SSD 등 File system: 블록 단위(..
【Logic Design】 door_lock door_lock 추천글 : 【논리설계】 논리설계 목차 ▶ Implementation in software int door_lock(){ int Key; int Error = 0; static int c[3] = {3, 4, 2}; // S0; state 0 while (! KeyPressed()); Key = read_value(); if(v0 != c[0]) error = 1; if(Error == 1) return 0; // S1; state 1 while(! KeyPressed()); Key = read_value(); if(v1 != c[1]) error = 1; if(Error == 1) return 0; // S2; state 2 while(! KeyPressed()); Key = read_..
【Logic Design】 days_of_the_month days_of_the_month 추천글 : 【논리설계】 논리설계 목차 ▶ Implementation in software int days_of_the_month (int month, int leap_year_flag){ switch(month){ case 1: return 31; case 2: if(leap_year_flag == 1) return 29; else return 28; case 3: return 31; ... case 12: return 31; default: return 0; } } ▶ Truth table ▶ Logic design # d28 = (m0 xnor m1) · (m0 xnor m3) · leap_year_flag' # d29 = (m0 xnor m1) · (m0 xnor m..
【논리설계】 3강. 조합논리 3강. 조합논리(combinational logic) 추천글 : 【논리설계】 논리설계 목차 1. 논리회로 소자 [본문] 2. 논리회로 구현 [본문] 3. 논리회로 개선 1. 불 대수학 [본문] 4. 논리회로 개선 2. two-level simplification [본문] 1. 논리회로 소자 [목차] ⑴ Y를 출력, X, A, B를 입력이라고 가정 ⑴ 종류 1. 버퍼 게이트(buffer gate) : 전송 게이트라고도 함. Y = X ① 논리적 의미를 가지지 않으나 통신 분야 등에서 사용됨 ② 구현 1. BJT 트랜지스터를 통한 구현 (TTL, transistor-transistor logic) ○ vi = ON인 경우 : 트랜지스터 스위치가 ON이 되므로 vcc의 전압이 vo로 통함 ○ vi = OFF인..
【논리설계】 2강. 논리설계의 기초 2강. 논리설계의 기초 추천글 : 【논리설계】 논리설계 목차 1. Logic Circuit의 분류 [본문] 2. Implementation Strategy [본문] 1. Logic circuit의 분류 [목차] ⑴ 조합논리 회로(Combinational Logic Circuit) : storage가 없음 ⑵ 순차회로(Sequential Logic Circuit) : storage가 있음 2. Implementation Strategy [목차] ⑴ 1st. 진리표(Truth Table) ⑵ 2nd. Simplification strategy: Unity Theorem, 2-level simplification ⑶ 3rd. Encoding(≒ Naming) ① 특정 변수를 나타내는 이진 표현 ② 좋은 Enc..
【국가암호공모전】 (II-A 분야) 문제 07 (2016) 국가암호공모전 (II-A 분야) 문제 07 (2016) 추천글 : 【암호론】 암호론 목차1. 문제 [본문]2. 풀이 [본문] 1. 문제 [목차]제공되는 윈도우용 프로그램 verifier.exe에서 검증에 성공하는 ECDSA 전자서명을 생성하고, 그 방법에 대해 암호학적으로 설명하시오. (전자서명은 signer.exe를 이용하여 생성할 수도 있다. 해쉬함수는 SHA-1임)  소수 p > 3에 대하여, 유한체 Fp ≅ Z/pZ  위에서 정의되는 타원곡선은 4a3+27b2 ≢ 0 (mod p)을 만족하는 만족하는 계수들 a, b ∊ Fp를 가지는 방정식 f (x, y) = y2 - x3 - ax - b = 0의 해집합에 무한원점 ∞을 추가한 점집합 E = {(x, y) | f (x, y) = 0} ∪ {∞}으..
【국가암호공모전】 (II-A 분야) 문제 06 - 2부 (2016) 국가암호공모전 (II-A 분야) 문제 06 - 2부 (2016) 추천글 : 【암호론】 암호론 목차 2. 풀이 [본문] a. RSA 알고리즘 2. 풀이 [목차] 우선 Fermat factorization에 대해서 간단히 정리하도록 하자. a = [sqrt(n)] + 1; while(1){ b2 = a*a - n; if(SquareNumberCheck(b2) == 1) break; a ++; } printf("%d %d", &a, &b); 이때 n은 분명 두 소수의 곱이어서 n = a2-b2, a = (p+q)/2, b = (p-q)/2으로 표현된다는 사실을 상기할 수 있다. 이 방법은 p와 q의 차이가 작을수록 빛이 난다. 혹은 p와 q의 비율을 안다면 a의 초기값을 조절함으로써 똑같이 효율적으로 풀 수 ..
【국가암호공모전】 (II-A 분야) 문제 06 - 1부 (2016) 국가암호공모전 (II-A 분야) 문제 06 - 1부 (2016) 추천글 : 【암호론】 암호론 목차 1. 문제 [본문] 2. 풀이 [본문] a. RSA 알고리즘 1. 문제 [목차] 컴퓨터가 랜섬웨어에 감염되어 중요 파일(flag.hwp)이 flag.hwp.enc로 암호화되었다. 랜섬웨어의 동작을 분석하여 암호화된 파일의 내용을 복구하시오. [힌트] 소인수분해를 이용하여 RSA 암호를 분석할 때 Fermat factorization 등을 시도해 볼 수 있다. 2. 풀이 [목차] 필자는 위 문제에 대해 완전히 문외한이므로 A부터 Z까지 아주 기초적인 수준에서 분석할 필요가 있다. #define _CRT_SECURE_NO_WARNINGS 위 코드는 보안상에 문제로 Visual Studio 등에서 요구하는 명령이..

티스토리툴바