전체 글181 Perceptron Perceptron 1957년 Frank Rosenblatt 가 제안한 인공 신경망의 초기 형태 여러 입력에서 하나의 결과를 출력하는 알고리즘 퍼셉트론은 아래와 같이 4 가지 주요한 부분으로 구성됩니다. 입력 값 가중치(Weights) 및 편향(Bias) 순 합계(Net sum) 활성화 함수(Activation function) 퍼셉트론은 데이터를 두 부분, 즉이진 분류하는데 사용되기 때문에 선형 이진 분류기(linear binary classifiers)라고 불리고, 레이어 수에 따라 단층 퍼셉트론(single-layer perceptron)과 다층 퍼셉트론(multi-layer perceptron)으로 구분됩니다. Multi-Layer Perceptron MLP는 feed-forward artific.. 2023. 9. 2. Symbolic Execution (심볼릭 실행) CMU 강의 노트를 참고하여 작성하였습니다. Symbolic Execution (심볼릭 실행) 심볼릭 실행(symbolic execution)은 프로그램을 추상적으로 실행하는 방법으로, 하나의 추상 실행(abstract execution)이 코드를 통해 특정 실행 경로를 공유하는 프로그램의 여러 가능한 입력을 포함합니다. 실행(execution)은 이러한 입력을 기호적(symbolically)으로 처리하고, 해당 입력 값을 대표하는 기호 상수(symbolic constants)로 표현되는 결과를 "반환"합니다. 테스트는 하나의 특정 입력(specific input)에 대해 구체적(concretely)으로 프로그램을 실행하고, 결과를 확인하는 것입니다. 이와 대조적으로, 심볼릭 실행(symbolic exe.. 2023. 9. 2. KLEE 사용법 KLEE KLEE 설치 KLEE 는 docker image 를 제공하고 있습니다. $ docker search klee 위 커맨드를 이용하여 docker image 를 검색하면 다음과 같이 결과를 확인할 수 있습니다. (docker search 커맨드 중 pemission denied 에러가 발생하면 다음 페이지 참고) KLEE 를 사용할 수 있는 docker image 가 검색되고, 아래 커맨드를 이용하여 KLEE 를 설치합니다. $ docker pull klee/klee KLEE Container 실행 $ docker run --rm -ti --ulimit='stack=-1:-1' klee/klee Note the --ulimit option sets an unlimited stack size ins.. 2023. 9. 2. 매미 탈피 과정 매미 탈피 과정 우화(羽化‧곤충이 유충 또는 약충이나 번데기에서 탈피하여 성충이 되는 일)를 위해 땅 밖으로 나온다. 탈피를 해서 날개를 성공적으로 피고 잘 말릴수 있는 곳을 찾아 이동을 한다. 매미들은 탈피에 적당한 장소를 찾으면 몸을 단단히 고정한 후 탈피를 시작한다. 탈피를 하는데 1시간 30분 정도 걸리고, 아래 사진은 날개를 거의 다 말렸을 때의 모습입니다.. 2023. 9. 2. 때죽나무 (Japanese snowbell) 때죽나무 (Japanese snowbell) 때죽나무 이름의 유래는 크게 2가지가 있다. 가을에 땅을 향하여 매달리는 수많은 열매의 머리(종자껍질)가 약간 회색으로 반질반질해서 마치 스님이 떼로 몰려있는 것 같다하여 ‘떼중나무’로 부르다가 때죽나무로 변경되었다. 열매 찧은 물로 물고기를 ‘떼’로 ‘죽’여 잡았다고 해서 때죽나무라고 불렀다. 우리나라에서는 때죽나무로 불리우지만, 영어 이름은 snowbell이다. Snowbell이라는 이름처럼 나무 전체가 눈을 뒤집어 쓴 듯 종처럼 생긴 꽃을 피운다. 이는 꽃이 핀 모습을 보면 쉽게 이해할 수 있다. 이미지 출처: 링크 2023. 9. 2. 이전 1 ··· 20 21 22 23 다음
