I linguaggi di programmazione sono tradotti in tempo reale da che cosa?
doc-3744
I linguaggi di programmazione forniscono vari modi per specificare i programmi da eseguire. A differenza dei linguaggi naturali, i linguaggi di programmazione sono progettati per non lasciare ambiguità e per essere concisi. Sono lingue puramente scritte e sono spesso difficili da leggere ad alta voce. Generalmente vengono tradotti in codice macchina da un compilatore o assemblatore prima dell' esecuzione, oppure direttamente da un interprete al momento dell' esecuzione. A volte i programmi vengono eseguiti con un metodo ibrido delle due tecniche.
None
doc-14747
È stato dimostrato che ogni classe è stata inclusa rigorosamente nel prossimo. Ad esempio, la verifica quando si suppone che il comportamento dell' implementazione in esame possa essere indicato da una macchina deterministica a stato finito per alcune serie finite note di ingressi e uscite e con un certo numero noto di stati appartiene alla Classe I (e a tutte le classi successive). Tuttavia, se il numero di stati non è noto, allora appartiene solo a tutte le classi della classe II in poi. Se l' implementazione in esame deve essere una macchina deterministica a stato finito che non rispetta le specifiche di una singola traccia (e le sue continuazioni) e il suo numero di stati è sconosciuto, allora appartiene solo alle classi della classe III in poi. Il test di macchine temporali in cui le transizioni vengono attivate se gli ingressi sono prodotti entro un intervallo di tempo reale appartiene solo alle classi della classe IV, mentre il test di molti sistemi non-deterministici appartiene solo alla classe V (ma non tutti, e alcuni appartengono anche alla classe I). L' inclusione in Classe I non richiede la semplicità del modello di calcolo ipotizzato, in quanto alcuni casi di test che prevedono implementazioni scritte in qualsiasi linguaggio di programmazione, e implementazioni di test definite come macchine a seconda delle magnitudini continue, si sono rivelate essere in Classe I. Altri casi elaborati, come il quadro di prova da Matthew Hennessy sotto semantica mosto, e macchine temporali con timeout razionali, appartengono alla classe II.
None
doc-3745
I linguaggi macchina e i linguaggi di assemblaggio che li rappresentano (collettivamente chiamati linguaggi di programmazione a basso livello) tendono ad essere unici per un particolare tipo di computer. Ad esempio, un computer con architettura ARM (come ad esempio un PDA o un videogioco portatile) non è in grado di comprendere il linguaggio macchina di un computer Intel Pentium o AMD Athlon 64 che potrebbe trovarsi in un PC.
None
doc-10387
Un' implementazione software di simulazione di riferimento, scritta nel linguaggio C e successivamente nota come ISO 11172-5, è stata sviluppata (nel 1991-1996) dai membri del comitato ISO MPEG Audio per produrre file audio MPEG conformi ai bit (Layer 1, Layer 2, Layer 3). È stato approvato come progetto di relazione tecnica del comitato ISO/IEC nel marzo 1994 e pubblicato come documento CD 11172-5 nell' aprile 1994. È stato approvato come progetto di relazione tecnica (DTR/DIS) nel novembre 1994, ultimato nel 1996 e pubblicato come norma internazionale ISO/IEC TR 11172-5:1998 nel 1998. Il software di riferimento in lingua C è stato successivamente pubblicato come standard ISO liberamente disponibile. Lavorando in tempo non reale su un certo numero di sistemi operativi, è stato in grado di dimostrare la prima decodifica hardware in tempo reale basata su DSP dell' audio compresso. Altre implementazioni in tempo reale degli encoder MPEG Audio erano disponibili per la radiodiffusione digitale (radio DAB, DVB televisivo) verso ricevitori consumer e set top box.
None
doc-16364
In UTF-32 e UCS-4, un valore di codice a 32 bit serve come rappresentazione diretta di qualsiasi punto del codice di un carattere (anche se l' ambientazione, che varia tra le diverse piattaforme, influenza il modo in cui il valore del codice si manifesta come sequenza di ottetti). Nelle altre codifiche, ogni punto di codice può essere rappresentato da un numero variabile di valori di codice. L' UTF-32 è ampiamente utilizzato come rappresentazione interna del testo nei programmi (in contrapposizione al testo memorizzato o trasmesso), poiché ogni sistema operativo Unix che usa i compilatori gcc per generare software lo utilizza come codifica standard "wide character". Alcuni linguaggi di programmazione, come Seed7, utilizzano UTF-32 come rappresentazione interna per stringhe e caratteri. Le versioni recenti del linguaggio di programmazione Python (a partire da 2.2) possono anche essere configurate per utilizzare UTF-32 come rappresentazione per le stringhe Unicode, diffondendo efficacemente tale codifica in software codificati ad alto livello.
None
doc-3614
Una comunicazione verbale o orale efficace dipende da una serie di fattori e non può essere completamente isolata da altre importanti abilità interpersonali come la comunicazione non verbale, le capacità di ascolto e di chiarimento. Il linguaggio umano può essere definito come un sistema di simboli (a volte chiamati lessemi) e le grammatiche (regole) con cui i simboli vengono manipolati. La parola "lingua" si riferisce anche alle proprietà comuni delle lingue. L' apprendimento delle lingue avviene normalmente più intensamente durante l' infanzia. La maggior parte delle migliaia di lingue umane usano modelli sonori o gestuali per i simboli che consentono la comunicazione con gli altri intorno a loro. Le lingue tendono a condividere alcune proprietà, anche se ci sono eccezioni. Non esiste una linea definita tra una lingua e un dialetto. I linguaggi costruiti come l' esperanto, i linguaggi di programmazione e il formalismo matematico non si limitano necessariamente alle proprietà condivise dai linguaggi umani. La comunicazione è un processo bidirezionale e non solo unidirezionale.
None
doc-5237
Nell' empirismo estremo dei neopositivisti - almeno prima degli anni Trenta - ogni affermazione veramente sintetica deve essere riducibile ad un' affermazione ultima (o insieme di affermazioni finali) che esprima osservazioni o percezioni dirette. Negli anni successivi, Carnap e Neurath abbandonarono questo tipo di fenomenismo a favore di una ricostruzione razionale del sapere nel linguaggio di una fisica spazio-temporale oggettiva. Cioè, invece di tradurre le frasi relative agli oggetti fisici in dati di senso, tali frasi dovevano essere tradotte nelle cosiddette frasi di protocollo, per esempio,"X nel luogo Y e al tempo T osserva tali e tali". Le tesi centrali del positivismo logico (verificazionismo, distinzione analitico-sintetico, riduzionismo, ecc. è venuto sotto forte attacco dopo la seconda guerra mondiale da pensatori come Nelson Goodman, W.
None
doc-4166
Negli anni' 90, insieme all' aumento della programmazione orientata agli oggetti, si è assistito ad un aumento delle modalità di gestione dei dati nei vari database. Programmatori e progettisti hanno iniziato a trattare i dati dei loro database come oggetti. Vale a dire che se i dati di una persona fossero contenuti in una banca dati, gli attributi di tale persona, come l' indirizzo, il numero di telefono e l' età, sarebbero ora considerati appartenenti a tale persona invece di essere dati estranei. In questo modo le relazioni tra i dati possono essere relazioni con gli oggetti e i loro attributi e non con singoli campi. Il termine "mismatch impedenza oggetto-relazionale" descriveva l' inconveniente di tradurre tra gli oggetti programmati e le tabelle del database. I database di oggetti e i database relazionali agli oggetti tentano di risolvere questo problema fornendo un linguaggio orientato agli oggetti (a volte come estensioni di SQL) che i programmatori possono utilizzare in alternativa a SQL puramente relazionale. Sul lato della programmazione, le librerie note come mappature relazionali di oggetti (ORM) tentano di risolvere lo stesso problema.
None
doc-606
In effetti, Whitehead descrive qualsiasi entità come in un certo senso niente di più e niente di meno che la somma delle sue relazioni con altre entità - la sua sintesi e reazione al mondo che la circonda. Una cosa reale è proprio quella che costringe il resto dell' universo a conformarvisi in qualche modo; vale a dire, se teoricamente una cosa non ha fatto alcuna differenza a nessun' altra entità (cioè. non era collegata a nessun' altra entità), non si poteva dire che esistesse realmente. Le relazioni non sono secondarie rispetto a ciò che è una cosa, sono ciò che è la cosa.
None
doc-600
Whitehead non è stato impressionato da questa obiezione. Nelle note di uno dei suoi studenti per una classe 1927, Whitehead è stato citato dicendo:"Ogni uomo scientifico, al fine di preservare la sua reputazione deve dire che non gli piace la metafisica. Che cosa vuol dire è che non gli piace avere la sua metafisica criticata". Secondo Whitehead, scienziati e filosofi fanno ipotesi metafisiche su come funziona l' universo per tutto il tempo, ma tali ipotesi non sono facilmente visibili proprio perché rimangono inesplorate e indiscutibili. Mentre Whitehead ha riconosciuto che "i filosofi non possono mai sperare di formulare finalmente questi primi principi metafisici", egli ha sostenuto che le persone devono continuamente ripensare i loro presupposti di base su come funziona l' universo se la filosofia e la scienza devono fare un reale progresso, anche se tale progresso rimane permanentemente asintotico.
None
doc-15061
Entro il 1959, gli osservatori americani credevano che l' Unione Sovietica sarebbe stata la prima a far entrare un essere umano nello spazio, a causa del tempo necessario per prepararsi al primo lancio di Mercurio. Il 12 aprile 1961, l' URSS sorprese nuovamente il mondo lanciando Yuri Gagarin in un' unica orbita intorno alla Terra in un mestiere chiamato Vostok 1. Hanno soprannominato Gagarin il primo cosmonauta, tradotto approssimativamente da russo e greco come "marinaio dell' universo". Anche se aveva la possibilità di prendere il controllo manuale della sua navicella spaziale in caso di emergenza aprendo una busta che aveva in cabina che conteneva un codice che poteva essere digitato nel computer, è stato volato in modalità automatica come precauzione; la scienza medica a quel tempo non sapeva che cosa sarebbe successo a un uomo in assenza di peso dello spazio. Vostok 1 ha orbitato intorno alla Terra per 108 minuti e ha fatto il suo rientro sopra l' Unione Sovietica, con Gagarin espulsione dalla navicella spaziale a 7.000 metri (23.000 piedi), e atterraggio con paracadute. La Fédération Aéronautique Internationale (Federazione Internazionale di Aeronautica) ha accreditato a Gagarin il primo volo spaziale umano al mondo, sebbene le loro regole di qualificazione per i record aeronautici al momento richiedessero ai piloti di decollare e atterrare con le loro imbarcazioni. Per questo motivo, l' Unione Sovietica ha omesso dal loro FAI di presentare il fatto che Gagarin non atterrava con la sua capsula. Quando il deposito FAI per il secondo volo Vostok di Gherman Titov nell' agosto 1961 rivelò la tecnica di atterraggio con espulsione, la commissione FAI decise di indagare e concluse che la realizzazione tecnologica del volo spaziale umano consisteva nel lancio, nell' orbitante e nel ritorno in sicurezza, piuttosto che nel modo di atterraggio, e così rivedette le loro regole di conseguenza, mantenendo intatti i documenti di Gagarin e Titov.
None