Informatyka

Pytania i odpowiedzi dla studentów, naukowców i praktyków informatyki

1
Co to jest nieświadoma pamięć RAM i jak działa?
Czy ktoś mógłby mi wyjaśnić, czym dokładnie jest pamięć RAM? Znalazłem następujące wyjaśnienie, które wydaje mi się dość jasne, ale chciałbym poznać aspekty techniczne: Szyfrowanie nie zawsze wystarcza do zapewnienia prywatności. Jeśli przeciwnik może obserwować twoje wzorce dostępu do zaszyfrowanej pamięci, nadal może dowiedzieć się poufnych informacji o tym, co …
1
Jaki jest najbardziej wydajny algorytm i struktura danych do utrzymywania informacji o podłączonych komponentach na wykresie dynamicznym?
Powiedzmy, że mam niedokierowany skończony wykres rzadki i muszę być w stanie efektywnie uruchamiać następujące zapytania: IsConnected(N1,N2)IsConnected(N1,N2)IsConnected(N_1, N_2) - zwraca jeśli istnieje ścieżka między i , w przeciwnym razieTTTN1N1N_1N2N2N_2FFF ConnectedNodes(N)ConnectedNodes(N)ConnectedNodes(N) - zwraca zestaw węzłów, które są osiągalne zNNN Można to łatwo zrobić przez wstępne obliczenie połączonych elementów wykresu. Oba zapytania …
1
Biorąc pod uwagę n ciągów, czy jeden z nich jest podciągiem innego?
Załóżmy, że otrzymaliśmy zbiór ciągów, . Chciałbym wiedzieć, czy którykolwiek z tych ciągów jest podciągiem dowolnego innego ciągu w kolekcji. Innymi słowy, chciałbym algorytm dla następującego zadania:nnnS.1, ... ,S.nS1,…,SnS_1,\dots,S_n Dane wejściowe:S.1, ... ,S.nS1,…,SnS_1,\dots,S_n Wyjście: takie, że jest podłańcuchem i , lub None, jeśli nie takie existja , ji,ji,jS.jaSiS_iS.jotSjS_ji ≠ ji≠ji\ne …
1
Jak działa termin na algorytm propagacji wstecznej?
Czy podczas aktualizacji wag sieci neuronowej za pomocą algorytmu propagacji wsteczne z terminem pędu należy zastosować szybkość uczenia się również do terminu pędu? Większość informacji, które mogłem znaleźć na temat używania pędu, ma równania wyglądające mniej więcej tak: W′i=Wi−αΔWi+μΔWi−1Wi′=Wi−αΔWi+μΔWi−1W_{i}' = W_{i} - \alpha \Delta W_i + \mu \Delta W_{i-1} gdzie …
3
Równoważność analizy przepływu danych, abstrakcyjna interpretacja i wnioskowanie o typie?
Odpowiedź Babou na ostatnie pytanie przypomina mi, że kiedyś myślę, że przeczytałem artykuł na temat równoważności (zarówno pod względem faktów, które można wywnioskować lub udowodnić, jak i złożoności czasowej działania algorytmu wnioskowania) analizy przepływu danych , abstrakcyjna interpretacja i wnioskowanie typu . W niektórych pod-przypadkach (jak między kontekstową analizą przepływu …
1
ćwiczenie baz_num_elts z Software Foundations
Jestem na następującym ćwiczeniu w zakresie podstaw oprogramowania : (** **** Exercise: 2 stars (baz_num_elts) *) (** Consider the following inductive definition: *) Inductive baz : Type := | x : baz -> baz | y : baz -> bool -> baz. (** How _many_ elements does the type [baz] …
9 coq 
1
Pisanie wielozadaniowego systemu operacyjnego dla procesora bez MMU
Myślałem o napisaniu hobby systemu operacyjnego dla niektórych procesorów ARM. Istnieje wiele popularnych komputerów jednopłytkowych z ARM MPU, więc po prostu chciałem kupić jeden z nich (wybierając jeden z bardziej otwartą dokumentacją). Byłem zaskoczony, gdy dowiedziałem się, że nawet płyty z naprawdę wystarczającą pamięcią nie mają MPU z modułem zarządzania …
1
Skutecznie znajdując maksymalny GCD parami zestawu liczb naturalnych
Rozważ następujący problem: Niech będzie skończonym podzbiorem liczb naturalnych.S={s1,s2,...sn}S={s1,s2,...sn}S = \{ s_1, s_2, ... s_n \} Niech | gdzie jest największy wspólny dzielnik z iG={G={G = \{ gcd(si,sj)gcd(si,sj)gcd(s_i, s_j)si,sj∈S,si,sj∈S,s_i, s_j \in S, si≠sj}si≠sj} s_i \neq s_j \}gcd(x,y)gcd(x,y)gcd(x,y)xxxyyy Znajdź element maksymalny w .GGG Problem ten można rozwiązać, biorąc największy wspólny dzielnik …
1
Jakie istnieją algorytmy rozwiązywania układów liniowych z liczbami naturalnymi?
Patrzę na następujący problem: Biorąc pod uwagę wymiarowe wektory liczb naturalnych i niektóre wektory wejściowe , czy jest liniową kombinacją z współczynnikami liczb naturalnych?nnnv1,…,vmv1,…,vmv_1, \ldots, v_muuuuuuviviv_i tzn. czy są jakieś gdzie ?t1,…,tm∈Nt1,…,tm∈Nt_1, \ldots, t_m \in \mathbb{N}u=t1v1+⋯+tmvmu=t1v1+⋯+tmvmu = t_1 v_1 + \dots + t_m v_m Oczywiście rzeczywistą wersję tego problemu można …
1
Rozkłady prawdopodobieństwa i złożoność obliczeniowa
To pytanie dotyczy przecięcia teorii prawdopodobieństwa i złożoności obliczeniowej. Jednym kluczowym spostrzeżeniem jest to, że niektóre rozkłady są łatwiejsze do wygenerowania niż inne. Na przykład problem Biorąc pod uwagę liczbę nnn, zwróć równomiernie rozłożoną liczbę jaii z 0 ≤ i &lt; n0≤i&lt;n0 \leq i < n. jest łatwy do rozwiązania. …
1
Jak zrekonstruować las drzew składniowych z wektora Earley?
Użycie wektora Earleya jako rozpoznającego jest dość proste: po osiągnięciu końca struny wystarczy sprawdzić, czy produkcja aksjomatyczna została rozpoczęta w pozycji 0. Jeśli masz przynajmniej jeden ciąg, łańcuch jest akceptowany. Użycie wektora Earleya do odtworzenia drzewa przetwarzania jest mniej oczywiste. Właściwie nie jestem w stanie ustalić, jak mogłaby działać procedura …
6
Czy maszyny Turinga zakładają kiedyś coś nieskończonego?
W poprzednim pytaniu Czym dokładnie jest algorytm? , Zapytałem, czy posiadanie „algorytmu”, który zwraca wartość funkcji opartej na tablicy wstępnie obliczonych wartości, jest algorytmem. Jedną z odpowiedzi, która zwróciła moją uwagę, była ta: Przykład silni wchodzi w inny model obliczeń, zwany obliczeniami nierównomiernymi. Maszyna Turinga jest przykładem jednolitego modelu obliczeniowego: …
2
Czy funkcje logiczne Turinga są kompletne?
Funkcja boolowska jest funkcją .fa: { 0 , 1}n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\} Podstawa logiczna jest znana jako Turing complete, ponieważ pozwala na odwrócenie dowolnej sekwencji lub pozostawienie jej bez zmian. To samo można powiedzieć o bramkach .( ∨ , ∧ )(∨,∧)(\vee,\wedge)s ∈ { 0 , 1 }s∈{0,1}s\in\{0,1\}X O …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.