검색 결과

둘러보기로 이동 검색으로 이동
  • ...ow analysis)은 컴퓨터 프로그램에서 다양한 지점에서 계산된 가능한 값들의 집합에 대한 정보를 모으는 기법이다. 프로그램의 [[제어 흐름 그래프]](CFG)는 프로그램의 이러한 값들에서 변수에 저장되기 위해서는 어떤 값이 전파돼야 하는지를 결정하는데 사용된다. 모은 프로그램의 데이터 흐름 분석을 수행하는 간단한 방법은 제어 흐름 그래프의 각 정점에 대해 데이터 흐름 방정식을 세우고, 전체 연립 방정식이 수렴할 때까지, 즉 고정점에 도달할 때까지 각 정점에서 ...
    14 KB (335 단어) - 2022년 11월 15일 (화) 10:01
  • ...password}}, '''TOTP''')는 현재 시간을 고유성의 원천으로 사용하여 [[일회용 비밀번호]] (OTP)를 생성하는 [[컴퓨터 알고리즘]]이다. [[HMAC 기반 일회용 비밀번호 알고리즘]] (HOTP)의 확장으로 [[국제 인터넷 표준화 기구]] (IETF) 표 [[분류:컴퓨터 접근 제어]] ...
    6 KB (395 단어) - 2025년 3월 14일 (금) 03:54
  • ...ose computing on Graphics Processing Units}}, '''GPU 상의 범용 계산''')는 일반적으로 [[컴퓨터 그래픽스]]를 위한 계산만 맡았던 [[그래픽 처리 장치]](GPU)를, 전통적으로 [[중앙 처리 장치]](CPU)가 맡았던 응용 프로그 GPU는 [[3차원 컴퓨터 그래픽스]]의 가속에 설계의 목적을 두고 있다. 때문에 매우 제한적인 경우에 한하여 일반적인 연산에 GPU를 사용할 수 있다. 대표적으 ...
    18 KB (464 단어) - 2025년 3월 13일 (목) 11:26
  • 다른 기계학습과 같이-데이터로부터 학습하는- 신경망은 일반적으로 규칙기반 프로그래밍으로 풀기 어려운 [[컴퓨터 비전]] 또는 [[음성 인식]]과 같은 다양한 범위의 문제를 푸는데 이용된다. ...9|pmid=13602029|issue=6}}</ref> (1958) [[퍼셉트론]] 즉, 간단한 덧셈과 뺄셈을 하는 이층구조의 학습 컴퓨터 망에 근거한 패턴 인식을 위한 알고리즘을 만들었다. 계산학 표기법과 함께 로벤블라트는 또한 기본적인 퍼셉트론에 대한 회로가 아닌예를 들 ...
    61 KB (2,389 단어) - 2025년 3월 13일 (목) 11:46
  • 고전적인 [[오류 검출 정정|오류 정정]]은 [[여유도]]를 사용한다. 비효율적이지만 가장 간단한 접근 방식은 반복 부호이다. 아이디어는 정보를 여러 번 저장하고 나중에 이 사본이 일치하지 않는 것으로 밝혀지면 다수결을 실시하는 것이다. ...공하지만 논리 큐비트에 저장된 정보에 대한 정보는 제공하지 않다. 그렇지 않으면 측정으로 인해 이 논리 큐비트와 [[양자 컴퓨팅|양자 컴퓨터]]의 다른 큐비트의 [[양자 중첩]]이 파괴되어 이를 방지할 수 있다. 양자 정보를 전달하는 데 사용되지 않는다. ...
    40 KB (2,077 단어) - 2024년 12월 20일 (금) 03:13
  • ...철학]], [[w:Quantum information|양자 정보 이론(Quantum information)]] 및 [[양자 중력]]의 접근 방식을 결합한다.<ref name="H&PvsReimers2014">{{저널 인용|제목=Reply to seven commentarie ...환원 이론은 의식이 세포 미세소관에서 집합적으로 형성된 [[큐비트]]에 의해 수행되는 [[계산 가능성 이론|계산 불가능한]] [[양자 컴퓨터|양자 처리]]에 기반한다고 가정한다. 큐비트는 미세소관의 격자 전체에 걸쳐 나선형 경로에서 [[양자 중첩|중첩]]된 공명 고리를 형성하 ...
    53 KB (3,467 단어) - 2025년 3월 14일 (금) 08:42
  • ...[[회전 안정화]] 기술을 사용하여 [[고이득 안테나]]가 계속 [[지구]]를 향하게 움직임을 조정했다. 탐사선의 추진기들은 행성들을 접근 통과한 후에는 [[원뿔 주사]]를 통해 지구를 향하기 위해서만 작동되었고,<ref>{{웹 인용| title = Weebau Spacef ...이저]] 탐사선들도 파이어니어와 비슷하게 먼 우주로 나갔지만, 회전 안정화를 사용하지 않았다. 지구와의 통신을 유지하기 위한 [[자세 제어]]를 위해서 [[단일추진제 로켓|추진기]]를 계속 발사해야 했다. 보이저 탐사선의 자세 제어를 위해 사용되었던 추진기로 인해 속도 변화 ...
    53 KB (3,561 단어) - 2025년 3월 13일 (목) 21:58
  • ...FSM) 또는 '''유한 오토마톤'''(finite automaton, FA; 복수형: 유한 오토마타 finite automata)는 컴퓨터 프로그램과 전자 논리 회로를 설계하는 데에 쓰이는 수학적 모델이다. 간단히 '상태 기계'라고 부르기도 한다. 유한 오토마타는 디지털 컴퓨터에 대한 추상적 모델로서, 19세기 중반 다양한 분야의 과학자들이 협력하여 인간의 사고 과정을 컴퓨터 또는 다른 이론적 모델을 통해 표현해 내고자 하는 데서 연구의 기원을 찾을 수 있다.<ref>{{웹 인용 ...
    76 KB (2,217 단어) - 2024년 5월 2일 (목) 09:52
  • ...019.06.036|issn=0370-2693|성3=Piao|이름3=Yun-Song}}</ref> 등은 [[양자 중력]]에 대한 일부 접근 방식에 의하여, 또한 스칼라화된 중성자별 또는 블랙홀, [[웜홀]] 등은 대체 중력 이론에서 나온다. ...동 지점은 좁아진다. 다수의 거울이 자유롭게 움직일 수 있는 초기 구성에서 모든 거울이 작동 위치에 도달하도록 하는 것은 [[제어이론|제어 시스템]]의 어려운 숙제이다. 간섭계에서 조절이 가능한 모든 부분을 조정하려면 일련의 복잡한 단계가 요구된다. 작동 지점에 도달하면 최 ...
    123 KB (6,823 단어) - 2025년 3월 14일 (금) 10:14