다양한 CS 교육 자료에서이 용어를 여러 번 접했습니다. L2 CS162 (UC 버클리) : 메모리 매핑 된 I / O L4 CS162 (UC 버클리) : 메모리 매핑 파일 L24 CS61 (UC 버클리) : "메모리 매핑 된 I / O": CPU 주소 공간에 매핑 된 장치 제어 / 데이터 레지스터 인터넷 검색 …
두 개의 컴퓨팅 모델이 각각 다른 모델을위한 범용 시뮬레이터를 인코딩 할 수있는 경우에는 완전한 것으로 표시 될 수 있습니다. 각각의 추론 규칙 (있는 경우 공리)의 인코딩이 다른 규칙으로 표시되는 경우 두 개의 논리가 함께 완료된 것으로 표시 될 수 있습니다. 계산이 가능해지면서 튜링 완성도와 교회 튜링 논문에 대한 자연스러운 아이디어가 …
프로세서가 한 번에 하나만 실행할 수 있다면 어떻게 음악을 지속적으로 재생할 수 있고 다른 작업을 계속 실행할 수 있습니까? 인터럽트 시스템을 이해하고 있지만 CPU가 연속적으로 오디오를 처리하여 불안하거나 지연되지 않도록해야합니까? 기본 구현에 대해 묻고 있습니다.이 질문은 멀티 스레딩과 관련이 있습니까? 1 코어, 1 스레드 CPU는이 멀티 태스킹을 어떻게 달성 할 …
다음 문제점 설명을 고려하십시오. 초기 숫자가 주어지면, 당신과 당신의 친구는 교대로 완벽한 정사각형을 뺍니다. 제로에 도착하는 첫 번째 승리. 예를 들면 다음과 같습니다. 초기 상태 : 37 플레이어 1 빼기 16. 상태 : 21 플레이어 2 빼기 8. 상태 : 13 플레이어 1 빼기 4. 상태 : 9 플레이어 2 …
대략적으로, 방향이없는 그래프는 각 가장자리 (v, w)에 대해 항상 가장자리 (w, v)가있는 직접 그래프와 매우 유사합니다. 이는 방향이없는 그래프를 방향이 지정된 그래프의 하위 집합으로 볼 수 있음을 나타냅니다 (가장자리 추가 / 삭제는 일치하는 쌍으로 만 수행 할 수 있다는 추가 제한이있을 수 있음). 그러나 교과서는 일반적으로이 처리를 따르지 않으며 방향이없는 …
나는 아마도 오 탐지 (false positive)를 갖는 그래프 동형에 대한 접근 방식을 설명하고 그것이 작동하지 않음을 나타내는 문헌이 있는지 궁금합니다. 두 개의 인접 행렬 감안 , 동형 검사의시피 순 방법은 각 행에 대한 여부를 확인하는 의 , 로우가 의 행의 순열 붙이고, . 문제는 약간 더 엄격 합니다. 모든 행에 …
여기 문제가 있습니다 : 많은 사람들을 나타내는 노드와 연결된 그래프가 있습니다. 각 노드 / 사람은 주제에 대한 의견을 가지고 있습니다 : 예 : 트럼프 대 클린턴, 종이 책 대 유치원 등 목표는 특정 순서로 노드의 특정 서브 세트를 선택하여 그래프의 모든 노드가 동일한 의견을 공유하도록하는 것입니다. 개인 A의 친구 대부분이 …
평소와 같이 유한 상태 머신을 고려하지만 모든 전환마다 숫자를 더하거나 빼서 정수 카운터를 업데이트 할 수도 있습니다. 말하자면, 형태의 전이 함수 새로운 상태로 이동한다 , 및 추가 카운터로 (그래서에게 긍정적일 , 음수 또는 0).δ( q, a ) = ( p , k )δ(q,a)=(p,k)\delta(q,a) = (p,k)피pp케이kkk ∈ Zk∈Zk \in \mathbb{Z}케이kk 최종 …
나는 타입 이론과 의존적 프로그래밍에 비교적 익숙하지 않다. 건축 미적분학 (CoC) 및 기타 순수 유형 시스템을 연구하고 있습니다. 특히 컴파일러 시스템의 증명 보존 중간 표현으로 사용하는 데 관심이 있습니다. 나는 이해 재귀 유형 표현할 수 있습니다 (공동)을 , 계산 하여, 유일한 타입의 생성자로. 그들은 유도에 의해 빌드 증거로 사용할 수 …
나는 오늘 알고리즘 분석이 계산 모델에 따라 다르다는 것을 배웠습니다 . 내가 생각하지 못했거나 들어 본 적이없는 것입니다. User @chi 가 더 자세히 설명 한 예 는 다음과 같습니다. 예를 들어 , 주어진 x i를 반환 합니다. RAM에서는 어레이 액세스가 일정한 시간이기 때문에 O ( 1 ) 로 해결할 수 …
나는 양자 컴퓨팅에 대해 스스로를 가르치려고 노력하고 있으며 선형 대수학에 대해 잘 이해하고 있습니다. 나는 나쁘지 않은 NOT 게이트를 통과했지만 Hadamard 게이트에 도착했습니다. 그리고 나는 붙어있다. 주로 내가 조작을 "이해"하는 동안, 그들이 실제로 무엇을하는지, 왜 그렇게하고 싶은지 이해하지 못한다. 예를 들어,하다 마드 게이트는 가면 합니다. 이것은 무엇을 의미 하는가? NOT …
논문의 일부로 작성중인 Haskell 프로그램의 일부에 대한 증거를 제공하고 싶습니다. 그러나 지금까지 좋은 참고 자료를 찾지 못했습니다. 그레이엄 허튼의 입문 책 하스켈 프로그램 ( Google 도서는 다음과 같은 프로그램에 대해 추론을위한 몇 가지 기술을 하스켈-접촉을 배우면서) 본인은 - 어떤 방정식 추론 겹치지 않는 패턴 사용 목록 유도 13 장에 있지만 …
나는이 질문을하는 데 올바른 용어를 알지 못하므로 대신 많은 단어로 설명 할 것입니다. Background , 우리는 같은 페이지에 있습니다 : 프로그램에는 종종 캐시가 포함되어 있습니다-시간 / 메모리 균형. 일반적인 프로그래머의 실수는 업스트림 소스 / 전례 중 하나를 변경 한 후 캐시 된 값을 업데이트하는 것을 잊는 것입니다. 그러나 데이터 흐름 …