Binary octahedral group

Binær oktaedrisk gruppe: I matematikk er den binære oktaedriske gruppen , navnet 2O eller ⟨2,3,4⟩, en bestemt ikke-abelsk gruppe av orden 48. Det er en utvidelse av den chirale oktaedriske gruppen O eller (2,3,4) av orden 24 ved en syklisk gruppe av orden 2, og er forhåndsbildet til den oktaedriske gruppen under 2: 1 som dekker homomorfisme av den spesielle ortogonale gruppen av spinngruppen. Det følger at den binære oktaedriske gruppen er en diskret undergruppe av Spin (3) av ordre 48.
Binær offsetbærermodulering: Binær offset carrier modulering ble utviklet av John Betz for å tillate interoperabilitet av satellittnavigasjonssystemer. Den brukes for tiden i det amerikanske GPS-systemet, det indiske IRNSS-systemet og i Galileo og er en firkantet sub-carrier-modulasjon, der et signal multipliseres med en rektangulær sub-carrier av frekvensen lik eller større enn chiphastigheten. Etter denne sub-bærermultiplikasjonen er signalets spektrum delt i to deler, derfor er BOC-modulering også kjent som en split-spectrum-modulasjon. Deres største fordeler er at man kan forme spekteret for å tillate intersystemkompatibilitet og bedre teoretisk oppnåelige sporingsegenskaper på grunn av høyere frekvenser hvis de blandes ned til det komplekse basebåndet. På den annen side ble det satt opp et stort utvalg av forskjellige implementeringer / instantiations, noe som gjorde det vanskelig å få hele bildet. Det må utvises forsiktighet, siden tidlige publikasjoner som behandler dette emnet vanligvis ikke inkluderer samsvarende filtre for pulsforming, så vel som konseptet med kompleks gaussisk støy - som ofte ikke behandles riktig - for å gi en matematisk konsistent basisbåndbeskrivelse, som modellerer fysikk riktig. Dvs. hvis disse standardene ikke behandles riktig, er teoretiske resultater ikke pålitelige. Dette er uavhengig av media og fagfellevurderingen og personen som publiserte den.
Binær offsetbærermodulering: Binær offset carrier modulering ble utviklet av John Betz for å tillate interoperabilitet av satellittnavigasjonssystemer. Den brukes for tiden i det amerikanske GPS-systemet, det indiske IRNSS-systemet og i Galileo og er en firkantet sub-carrier-modulasjon, der et signal multipliseres med en rektangulær sub-carrier av frekvensen lik eller større enn chiphastigheten. Etter denne sub-bærermultiplikasjonen er signalets spektrum delt i to deler, derfor er BOC-modulering også kjent som en split-spectrum-modulasjon. Deres største fordeler er at man kan forme spekteret for å tillate intersystemkompatibilitet og bedre teoretisk oppnåelige sporingsegenskaper på grunn av høyere frekvenser hvis de blandes ned til det komplekse basebåndet. På den annen side ble det satt opp et stort utvalg av forskjellige implementeringer / instantiations, noe som gjorde det vanskelig å få hele bildet. Det må utvises forsiktighet, siden tidlige publikasjoner som behandler dette emnet vanligvis ikke inkluderer samsvarende filtre for pulsforming, så vel som konseptet med kompleks gaussisk støy - som ofte ikke behandles riktig - for å gi en matematisk konsistent basisbåndbeskrivelse, som modellerer fysikk riktig. Dvs. hvis disse standardene ikke behandles riktig, er teoretiske resultater ikke pålitelige. Dette er uavhengig av media og fagfellevurderingen og personen som publiserte den.
Binær drift: I matematikk er en binær operasjon eller dyadisk operasjon en beregning som kombinerer to elementer for å produsere et annet element. Mer formelt er en binær operasjon en operasjon av arity to.
Binær drift: I matematikk er en binær operasjon eller dyadisk operasjon en beregning som kombinerer to elementer for å produsere et annet element. Mer formelt er en binær operasjon en operasjon av arity to.
Binær drift: I matematikk er en binær operasjon eller dyadisk operasjon en beregning som kombinerer to elementer for å produsere et annet element. Mer formelt er en binær operasjon en operasjon av arity to.
Binær drift: I matematikk er en binær operasjon eller dyadisk operasjon en beregning som kombinerer to elementer for å produsere et annet element. Mer formelt er en binær operasjon en operasjon av arity to.
Binær drift: I matematikk er en binær operasjon eller dyadisk operasjon en beregning som kombinerer to elementer for å produsere et annet element. Mer formelt er en binær operasjon en operasjon av arity to.
Binær motstand: En binær opposisjon er et par relaterte termer eller begreper som er motsatt i betydningen. Binær opposisjon er språksystemet og / eller tanken der to teoretiske motsetninger defineres strengt og avregnes mot hverandre. Det er kontrasten mellom to gjensidig eksklusive termer, som av og på, opp og ned, venstre og høyre. Binær opposisjon er et viktig begrep for strukturisme, som ser slike forskjeller som grunnleggende for alle språk og tanker. I strukturismen blir en binær opposisjon sett på som en grunnleggende arrangør av menneskelig filosofi, kultur og språk.
Binær motstand: En binær opposisjon er et par relaterte termer eller begreper som er motsatt i betydningen. Binær opposisjon er språksystemet og / eller tanken der to teoretiske motsetninger defineres strengt og avregnes mot hverandre. Det er kontrasten mellom to gjensidig eksklusive termer, som av og på, opp og ned, venstre og høyre. Binær opposisjon er et viktig begrep for strukturisme, som ser slike forskjeller som grunnleggende for alle språk og tanker. I strukturismen blir en binær opposisjon sett på som en grunnleggende arrangør av menneskelig filosofi, kultur og språk.
Objektkodeoptimerer: En objektkodeoptimerer , noen ganger også kjent som en postpass-optimalisering, eller for små koder, kikkhulloptimerer, tar utdataene fra et kildespråk-kompileringstrinn - objektkoden eller binærfilen - og prøver å erstatte identifiserbare deler av koden. med erstatningskode som er mer algoritmisk effektiv.
Objektkodeoptimerer: En objektkodeoptimerer , noen ganger også kjent som en postpass-optimalisering, eller for små koder, kikkhulloptimerer, tar utdataene fra et kildespråk-kompileringstrinn - objektkoden eller binærfilen - og prøver å erstatte identifiserbare deler av koden. med erstatningskode som er mer algoritmisk effektiv.
Objektkodeoptimerer: En objektkodeoptimerer , noen ganger også kjent som en postpass-optimalisering, eller for små koder, kikkhulloptimerer, tar utdataene fra et kildespråk-kompileringstrinn - objektkoden eller binærfilen - og prøver å erstatte identifiserbare deler av koden. med erstatningskode som er mer algoritmisk effektiv.
Objektkodeoptimerer: En objektkodeoptimerer , noen ganger også kjent som en postpass-optimalisering, eller for små koder, kikkhulloptimerer, tar utdataene fra et kildespråk-kompileringstrinn - objektkoden eller binærfilen - og prøver å erstatte identifiserbare deler av koden. med erstatningskode som er mer algoritmisk effektiv.
Binært alternativ: Et binært alternativ er et økonomisk eksotisk alternativ der utbetalingen enten er noe fast pengebeløp eller ingenting i det hele tatt. De to hovedtyper av binære opsjoner er det binære alternativet cash-or-nothing og binært alternativet asset-or-nothing. Førstnevnte betaler noe fast beløp kontant hvis opsjonen utløper i pengene mens sistnevnte betaler verdien av den underliggende sikkerheten. De er også kalt alt-eller-ingenting alternativer, digitale alternativer, og fast avkastning alternativer (Frøs).
Binært alternativ: Et binært alternativ er et økonomisk eksotisk alternativ der utbetalingen enten er noe fast pengebeløp eller ingenting i det hele tatt. De to hovedtyper av binære opsjoner er det binære alternativet cash-or-nothing og binært alternativet asset-or-nothing. Førstnevnte betaler noe fast beløp kontant hvis opsjonen utløper i pengene mens sistnevnte betaler verdien av den underliggende sikkerheten. De er også kalt alt-eller-ingenting alternativer, digitale alternativer, og fast avkastning alternativer (Frøs).
Binært alternativ: Et binært alternativ er et økonomisk eksotisk alternativ der utbetalingen enten er noe fast pengebeløp eller ingenting i det hele tatt. De to hovedtyper av binære opsjoner er det binære alternativet cash-or-nothing og binært alternativet asset-or-nothing. Førstnevnte betaler noe fast beløp kontant hvis opsjonen utløper i pengene mens sistnevnte betaler verdien av den underliggende sikkerheten. De er også kalt alt-eller-ingenting alternativer, digitale alternativer, og fast avkastning alternativer (Frøs).
Binært alternativ: Et binært alternativ er et økonomisk eksotisk alternativ der utbetalingen enten er noe fast pengebeløp eller ingenting i det hele tatt. De to hovedtyper av binære opsjoner er det binære alternativet cash-or-nothing og binært alternativet asset-or-nothing. Førstnevnte betaler noe fast beløp kontant hvis opsjonen utløper i pengene mens sistnevnte betaler verdien av den underliggende sikkerheten. De er også kalt alt-eller-ingenting alternativer, digitale alternativer, og fast avkastning alternativer (Frøs).
Binært alternativ: Et binært alternativ er et økonomisk eksotisk alternativ der utbetalingen enten er noe fast pengebeløp eller ingenting i det hele tatt. De to hovedtyper av binære opsjoner er det binære alternativet cash-or-nothing og binært alternativet asset-or-nothing. Førstnevnte betaler noe fast beløp kontant hvis opsjonen utløper i pengene mens sistnevnte betaler verdien av den underliggende sikkerheten. De er også kalt alt-eller-ingenting alternativer, digitale alternativer, og fast avkastning alternativer (Frøs).
Binær motstand: En binær opposisjon er et par relaterte termer eller begreper som er motsatt i betydningen. Binær opposisjon er språksystemet og / eller tanken der to teoretiske motsetninger defineres strengt og avregnes mot hverandre. Det er kontrasten mellom to gjensidig eksklusive termer, som av og på, opp og ned, venstre og høyre. Binær opposisjon er et viktig begrep for strukturisme, som ser slike forskjeller som grunnleggende for alle språk og tanker. I strukturismen blir en binær opposisjon sett på som en grunnleggende arrangør av menneskelig filosofi, kultur og språk.
Binærbestilt komprimering for Unicode: Binary Ordered Compression for Unicode ( BOCU ) er et MIME-kompatibelt Unicode-komprimeringsskjema. BOCU-1 kombinerer UTF-8s brede anvendelighet med kompaktiteten til Standard Compression Scheme for Unicode (SCSU). Denne Unicode-kodingen er designet for å være nyttig for komprimering av korte strenger, og opprettholder kodepunktrekkefølgen. BOCU-1 er spesifisert i en Unicode teknisk merknad.
Binær motstand: En binær opposisjon er et par relaterte termer eller begreper som er motsatt i betydningen. Binær opposisjon er språksystemet og / eller tanken der to teoretiske motsetninger defineres strengt og avregnes mot hverandre. Det er kontrasten mellom to gjensidig eksklusive termer, som av og på, opp og ned, venstre og høyre. Binær opposisjon er et viktig begrep for strukturisme, som ser slike forskjeller som grunnleggende for alle språk og tanker. I strukturismen blir en binær opposisjon sett på som en grunnleggende arrangør av menneskelig filosofi, kultur og språk.
Adder (elektronikk): En adder er en digital krets som utfører tillegg av tall. I mange datamaskiner og andre typer prosessorer brukes addere i aritmetiske logiske enheter eller ALU . De brukes også i andre deler av prosessoren, der de brukes til å beregne adresser, tabellindekser, økning og reduksjon av operatører og lignende operasjoner.
Fase-shift-tasting: Phase-shift keying ( PSK ) er en digital modulasjonsprosess som formidler data ved å endre (modulere) fasen til et konstant frekvensreferansesignal. Moduleringen oppnås ved å variere sinus- og cosinusinngangene på et presist tidspunkt. Det brukes mye for trådløse LAN, RFID og Bluetooth-kommunikasjon.
Patch (databehandling): En oppdatering er et sett med endringer i et dataprogram eller tilhørende data designet for å oppdatere, fikse eller forbedre det. Dette inkluderer å fikse sikkerhetsproblemer og andre feil, med slike oppdateringer som vanligvis kalles feilrettinger eller feilrettinger . Oppdateringer skrives ofte for å forbedre funksjonaliteten, brukervennligheten eller ytelsen til et program.
Binær fase: I materialkjemi er en binær fase eller binær forbindelse en kjemisk forbindelse som inneholder to forskjellige elementer. Noen binære faseforbindelser er molekylære, f.eks. Karbontetraklorid (CCl 4 ). Mer typisk refererer binærfase til utvidede faste stoffer. Kjente eksempler sinksulfid, som inneholder sink og svovel, og wolframkarbid, som inneholder wolfram og karbon.
Fase-shift-tasting: Phase-shift keying ( PSK ) er en digital modulasjonsprosess som formidler data ved å endre (modulere) fasen til et konstant frekvensreferansesignal. Moduleringen oppnås ved å variere sinus- og cosinusinngangene på et presist tidspunkt. Det brukes mye for trådløse LAN, RFID og Bluetooth-kommunikasjon.
Fasediagram: Et fasediagram i fysisk kjemi, ingeniørfag, mineralogi og materialvitenskap er en type diagram som brukes for å vise forhold der termodynamisk forskjellige faser forekommer og eksisterer sammen ved likevekt.
Dobbel planet: I astronomi er en dobbel planet et binært system der begge objektene er planeter, eller planetmasseobjekter, som deler en orbitalakse utenfor begge planetkroppene.
Dobbel planet: I astronomi er en dobbel planet et binært system der begge objektene er planeter, eller planetmasseobjekter, som deler en orbitalakse utenfor begge planetkroppene.
Binær syklus: En binær syklus i termodynamikk er en kraftgenereringsmetode som bruker to kretser, høy temperatur en og lavere temperatur en. Når det brukes i et geotermisk kraftverk, gjør dette det mulig å bruke kjøligere geotermiske reservoarer enn 182 ° C (360 ° F) som er nødvendig for tørr damp- og flashdampanlegg.
Overfør binært DNA-system: Et overførings-DNA ( T-DNA ) binært system er et par plasmider som består av en T-DNA-binærvektor og et vir- hjelper-plasmid . De to plasmidene brukes sammen til å produsere genetisk modifiserte planter. De er kunstige vektorer som er avledet fra det naturlig forekommende Ti-plasmidet som finnes i bakteriearter av slekten Agrobacterium , slik som A. tumefaciens . Den binære vektoren er en skyttelvektor , såkalt fordi den er i stand til å replikere i flere verter.
Radix-punkt: I matematikk og databehandling er et radikspunkt eller radikstegn et symbol som brukes i visningen av tall for å skille hele tallverdien fra dens brøkdel. På engelsk og mange andre språk er heltallet til venstre for radikspunktet, og brøkdelen til høyre for det.
Punktgrupper i tre dimensjoner: I geometri er en punktgruppe i tre dimensjoner en isometurgruppe i tre dimensjoner som etterlater opprinnelsen fast, eller tilsvarende en isometurgruppe i en sfære. Det er en undergruppe av den ortogonale gruppen O (3), gruppen av alle isometrier som lar opprinnelsen være fast, eller tilsvarende, gruppen av ortogonale matriser. O (3) i seg selv er en undergruppe av den euklidiske gruppen E (3) av alle isometrier.
Binær syklus: En binær syklus i termodynamikk er en kraftgenereringsmetode som bruker to kretser, høy temperatur en og lavere temperatur en. Når det brukes i et geotermisk kraftverk, gjør dette det mulig å bruke kjøligere geotermiske reservoarer enn 182 ° C (360 ° F) som er nødvendig for tørr damp- og flashdampanlegg.
Binær syklus: En binær syklus i termodynamikk er en kraftgenereringsmetode som bruker to kretser, høy temperatur en og lavere temperatur en. Når det brukes i et geotermisk kraftverk, gjør dette det mulig å bruke kjøligere geotermiske reservoarer enn 182 ° C (360 ° F) som er nødvendig for tørr damp- og flashdampanlegg.
Binær relasjon: I matematikk er en binær relasjon over sett X og Y en delmengde av det kartesiske produktet ; det vil si at det er et sett med ordnede par ( x , y ) som består av elementene x i X og y i Y. Det koder det vanlige begrepet relasjon: et element x er relatert til et element y , hvis og bare hvis paret ( x , y ) tilhører settet med ordnede par som definerer den binære relasjonen . En binær relasjon er det mest studerte spesielle tilfellet n = 2 av en n -ary-relasjon over sett X 1 , ..., X n , som er en delmengde av det kartesiske produktet	I matematikk er en binær relasjon over sett X og Y en delmengde av det kartesiske produktet
Binært prefiks: Et binært prefiks er et enhetsprefiks for multipler av enheter i databehandling, dataoverføring og digital informasjon, spesielt biten og byten, for å indikere multiplikasjon med en styrke på 2.
Tidslinje for binære prefikser: Denne tidslinjen med binære prefikser lister opp hendelser i utviklingen, utviklingen og bruken av måleenheter for informasjon, bit og byte, som er av betydning for definisjonen av binære prefikser av International Electrotechnical Commission (IEC) i 1998.
Binært prefiks: Et binært prefiks er et enhetsprefiks for multipler av enheter i databehandling, dataoverføring og digital informasjon, spesielt biten og byten, for å indikere multiplikasjon med en styrke på 2.
Binær prioritering: Binær prioritering er en sorteringsalgoritme som prioriterer oppgaver.
Binær protokoll: En binær protokoll er en kommunikasjonsprotokoll som bruker alle verdiene til en byte, i motsetning til tekstbasert protokoll som bare bruker verdier som tilsvarer menneskelesbare tegn i ASCII-koding. Binære protokoller er ment å bli lest av en maskin i stedet for et menneske. Binære protokoller har fordelen av terseness, som oversettes til overførings- og tolkningshastighet.
Binær protokoll: En binær protokoll er en kommunikasjonsprotokoll som bruker alle verdiene til en byte, i motsetning til tekstbasert protokoll som bare bruker verdier som tilsvarer menneskelesbare tegn i ASCII-koding. Binære protokoller er ment å bli lest av en maskin i stedet for et menneske. Binære protokoller har fordelen av terseness, som oversettes til overførings- og tolkningshastighet.
Binær pulsar: En binær pulsar er en pulsar med en binær følgesvenn, ofte en hvit dverg eller nøytronstjerne. Binære pulsarer er en av få gjenstander som gjør det mulig for fysikere å teste generell relativitet på grunn av de sterke gravitasjonsfeltene i deres omgivelser. Selv om den binære følgesvennen til pulsaren vanligvis er vanskelig eller umulig å observere direkte, kan dens tilstedeværelse trekkes fra tidspunktet for pulsen fra selve pulsaren, som kan måles med ekstraordinær nøyaktighet av radioteleskoper.
Binær pulsar: En binær pulsar er en pulsar med en binær følgesvenn, ofte en hvit dverg eller nøytronstjerne. Binære pulsarer er en av få gjenstander som gjør det mulig for fysikere å teste generell relativitet på grunn av de sterke gravitasjonsfeltene i deres omgivelser. Selv om den binære følgesvennen til pulsaren vanligvis er vanskelig eller umulig å observere direkte, kan dens tilstedeværelse trekkes fra tidspunktet for pulsen fra selve pulsaren, som kan måles med ekstraordinær nøyaktighet av radioteleskoper.
Binær kvadratisk form: I matematikk er en binær kvadratisk form en kvadratisk homogen polynom i to variabler	I matematikk er en binær kvadratisk form en kvadratisk homogen polynom i to variabler
Invariant av en binær form: I matematisk invariant teori er en invariant av en binær form et polynom i koeffisientene til en binær form i to variabler x og y som forblir invariante under den spesielle lineære gruppen som virker på variablene x og y .
Binær vinkelmåling: Begrepene binær vinkelmåling ( BAM ) og binært vinkelmålesystem ( BAMS ) refererer til visse metoder for å representere og manipulere vinkler ved hjelp av binær fastpunktsregning. Enheten for vinkelmåling som brukes i disse metodene kan kalles binær radian ( brad ) eller binær grad .
Binær vinkelmåling: Begrepene binær vinkelmåling ( BAM ) og binært vinkelmålesystem ( BAMS ) refererer til visse metoder for å representere og manipulere vinkler ved hjelp av binær fastpunktsregning. Enheten for vinkelmåling som brukes i disse metodene kan kalles binær radian ( brad ) eller binær grad .
Binære data: Binære data er data hvis enhet bare kan ta to mulige tilstander, tradisjonelt merket som 0 og 1 i samsvar med det binære tallsystemet og boolsk algebra.
Binær recompiler: En binær recompiler er en kompilator som tar kjørbare binære filer som inndata, analyserer strukturen deres, bruker transformasjoner og optimaliseringer, og sender ut nye optimaliserte kjørbare binærfiler.
Binær recompiler: En binær recompiler er en kompilator som tar kjørbare binære filer som inndata, analyserer strukturen deres, bruker transformasjoner og optimaliseringer, og sender ut nye optimaliserte kjørbare binærfiler.
Grå kode: Den reflekterte binære koden ( RBC ), også kjent som den reflekterte binære ( RB ) eller gråkoden etter Frank Gray, er en bestilling av det binære tallsystemet slik at to påfølgende verdier skiller seg bare i en bit.
Binær regresjon: I statistikk, spesifikt regresjonsanalyse, estimerer en binær regresjon et forhold mellom en eller flere forklarende variabler og en binær variabel med en enkelt utgang. Generelt er sannsynligheten for de to alternativene modellert, i stedet for bare å angi en enkelt verdi, som i lineær regresjon.
Binær relasjon: I matematikk er en binær relasjon over sett X og Y en delmengde av det kartesiske produktet ; det vil si at det er et sett med ordnede par ( x , y ) som består av elementene x i X og y i Y. Det koder det vanlige begrepet relasjon: et element x er relatert til et element y , hvis og bare hvis paret ( x , y ) tilhører settet med ordnede par som definerer den binære relasjonen . En binær relasjon er det mest studerte spesielle tilfellet n = 2 av en n -ary-relasjon over sett X 1 , ..., X n , som er en delmengde av det kartesiske produktet	I matematikk er en binær relasjon over sett X og Y en delmengde av det kartesiske produktet
Binær relasjon: I matematikk er en binær relasjon over sett X og Y en delmengde av det kartesiske produktet ; det vil si at det er et sett med ordnede par ( x , y ) som består av elementene x i X og y i Y. Det koder det vanlige begrepet relasjon: et element x er relatert til et element y , hvis og bare hvis paret ( x , y ) tilhører settet med ordnede par som definerer den binære relasjonen . En binær relasjon er det mest studerte spesielle tilfellet n = 2 av en n -ary-relasjon over sett X 1 , ..., X n , som er en delmengde av det kartesiske produktet	I matematikk er en binær relasjon over sett X og Y en delmengde av det kartesiske produktet
Binær relasjon: I matematikk er en binær relasjon over sett X og Y en delmengde av det kartesiske produktet ; det vil si at det er et sett med ordnede par ( x , y ) som består av elementene x i X og y i Y. Det koder det vanlige begrepet relasjon: et element x er relatert til et element y , hvis og bare hvis paret ( x , y ) tilhører settet med ordnede par som definerer den binære relasjonen . En binær relasjon er det mest studerte spesielle tilfellet n = 2 av en n -ary-relasjon over sett X 1 , ..., X n , som er en delmengde av det kartesiske produktet	I matematikk er en binær relasjon over sett X og Y en delmengde av det kartesiske produktet
Binær relasjon: I matematikk er en binær relasjon over sett X og Y en delmengde av det kartesiske produktet ; det vil si at det er et sett med ordnede par ( x , y ) som består av elementene x i X og y i Y. Det koder det vanlige begrepet relasjon: et element x er relatert til et element y , hvis og bare hvis paret ( x , y ) tilhører settet med ordnede par som definerer den binære relasjonen . En binær relasjon er det mest studerte spesielle tilfellet n = 2 av en n -ary-relasjon over sett X 1 , ..., X n , som er en delmengde av det kartesiske produktet	I matematikk er en binær relasjon over sett X og Y en delmengde av det kartesiske produktet
Programvarelager: Et programvarelager , eller "repo" for kort, er et lagringssted for programvarepakker. Ofte lagres også en innholdsfortegnelse, sammen med metadata. Et programvarelager administreres vanligvis av kildekontroll eller lagringsledere. Package Managers tillater installering og oppdatering av repositoriene kontra å måtte gjøre dette manuelt.
Binært nummer: Binært tall er et tall uttrykt i base-2-tallsystemet eller binært tallsystem , en metode for matematisk uttrykk som bare bruker to symboler: typisk "0" (null) og "1" (ett).
Oppløsning (logikk): I matematisk logikk og automatisert teorem bevising, er oppløsning en regel for slutning som fører til en tilbakevisning fullstendig teorem-bevisende teknikk for setninger i proposisjonslogikk og førsteordens logikk. For proposisjonslogikk fungerer systematisk anvendelse av resolusjonsregelen som en beslutningsprosedyre for formel utilfredshet, og løser det boolske tilfredsstillelsesproblemet. For førsteordenslogikk kan oppløsning brukes som grunnlag for en semi-algoritme for utilfredsstillende problem med førsteordenslogikk, noe som gir en mer praktisk metode enn en som følger av Gödel's fullstendighetssetning.
Binær regresjon: I statistikk, spesifikt regresjonsanalyse, estimerer en binær regresjon et forhold mellom en eller flere forklarende variabler og en binær variabel med en enkelt utgang. Generelt er sannsynligheten for de to alternativene modellert, i stedet for bare å angi en enkelt verdi, som i lineær regresjon.
Binær responsmodell med kontinuerlige endogene forklarende variabler: Gitt en probit modell y = 1 [y *> 0] der y * = x 1 β + zδ + u, og u ~ N (0,1) , uten å miste allmenheten, kan z representeres som z = x 1 θ 1 + x 2 θ 2 + v . Når u er korrelert med v , vil det være et spørsmål om endogenitet. Dette kan være forårsaket av utelatte variabler og målefeil. Det er også mange tilfeller der z delvis bestemmes av y og endogenitetsproblem oppstår. For eksempel, i en modell som evaluerer effekten av forskjellige pasientfunksjoner på deres valg av om de skal til sykehus, er y valget og z er mengden medisin en respondent tok, så er det veldig intuitivt at respondenten oftere går til sykehus, er det mer sannsynlig at hun tok mer medisin, derav oppstår endogenitetsproblemer. Når det er endogene forklaringsvariabler, vil estimatoren generert av vanlig estimeringsprosedyre være inkonsekvent, så vil den tilsvarende estimerte gjennomsnittlige partielle effekten (APE) også være inkonsekvent.
Binær regresjon: I statistikk, spesifikt regresjonsanalyse, estimerer en binær regresjon et forhold mellom en eller flere forklarende variabler og en binær variabel med en enkelt utgang. Generelt er sannsynligheten for de to alternativene modellert, i stedet for bare å angi en enkelt verdi, som i lineær regresjon.
Binær regresjon: I statistikk, spesifikt regresjonsanalyse, estimerer en binær regresjon et forhold mellom en eller flere forklarende variabler og en binær variabel med en enkelt utgang. Generelt er sannsynligheten for de to alternativene modellert, i stedet for bare å angi en enkelt verdi, som i lineær regresjon.
Usenet: Usenet er et verdensomspennende distribuert diskusjonssystem tilgjengelig på datamaskiner. Det ble utviklet fra den generelle Unix-til-Unix Copy (UUCP) oppringingsnettverksarkitekturen. Tom Truscott og Jim Ellis unnfanget ideen i 1979, og den ble etablert i 1980. Brukere leser og legger ut meldinger i en eller flere kategorier, kjent som nyhetsgrupper. Usenet ligner på mange anledninger et oppslagstavlesystem (BBS) og er forløperen til internettfora som ble mye brukt. Diskusjoner er trådet, som med webfora og BBS, selv om innlegg lagres på serveren sekvensielt.
Binær recompiler: En binær recompiler er en kompilator som tar kjørbare binære filer som inndata, analyserer strukturen deres, bruker transformasjoner og optimaliseringer, og sender ut nye optimaliserte kjørbare binærfiler.
Binær recompiler: En binær recompiler er en kompilator som tar kjørbare binære filer som inndata, analyserer strukturen deres, bruker transformasjoner og optimaliseringer, og sender ut nye optimaliserte kjørbare binærfiler.
Binært kjøretidsmiljø for trådløs: Binary Runtime Environment for Wireless er en applikasjonsutviklingsplattform opprettet av Qualcomm, opprinnelig for CDMA-mobiltelefoner (code division multiple access) med tredjepartsapplikasjoner som mobilspill. Det tilbys i noen funksjonstelefoner, men ikke i smarttelefoner. Utviklet i 1999, som en plattform for trådløse applikasjoner på CDMA-baserte mobiltelefoner, debuterte den i september 2001. Som en programvareplattform som kan laste ned og kjøre små programmer for å spille spill, sende meldinger og dele bilder, er den største fordelen med Brew MP er at applikasjonsutviklerne enkelt kan portere applikasjonene sine mellom alle Brew MP-enheter ved å tilby et standardisert sett med applikasjonsprogrammeringsgrensesnitt. Programvare for Brew MP-aktiverte telefoner kan utvikles i C eller C ++ ved hjelp av det gratis nedlastbare Brew MP programvareutviklingssettet (SDK). Brew runtime-biblioteket er en del av den trådløse enhetens firmware eller operativsystem for å tillate programmerere å utvikle applikasjoner uten å måtte kode for systemgrensesnittet eller forstå trådløse applikasjoner. Brew er beskrevet som et pseudo-operativsystem, men ikke et ekte mobiloperativsystem. Brew er ikke en virtuell maskin som Java ME, men kjører naturlig kode.
Binær-safe: En binærsikker funksjon er en som behandler inngangen som en rå strøm av byte og ignorerer alle tekstaspekter den måtte ha. Begrepet brukes hovedsakelig i PHP-programmeringsspråket for å beskrive forventet atferd når du overfører binær data til funksjoner som har hovedansvaret for tekst- og strengmanipulering, og brukes mye i den offisielle PHP-dokumentasjonen.
Fastpunktsregning: I databehandling refererer fast punkt til en metode for å representere brøk (ikke-heltall) tall ved å lagre et fast antall sifre i brøkdelen. Dollarmengder lagres for eksempel ofte med nøyaktig to brøkdeler, som representerer øre. Mer generelt kan begrepet referere til å representere brøkverdier som heltallmultipler av noen fast liten enhet, f.eks. En brøkdel av timer som et heltallmultipel med ti minutters intervaller. Faste punktrepresentasjon står ofte i kontrast til den mer kompliserte og beregningskrevende flytpunktsrepresentasjonen.
Vitenskapelig notasjon: Vitenskapelig notasjon er en måte å uttrykke tall som er for store eller for små til å være praktisk skrevet i desimalform. Det kan refereres til som vitenskapelig form eller standard indeksform , eller standardform i Storbritannia. Denne basen ti-notasjonen brukes ofte av forskere, matematikere og ingeniører, delvis fordi den kan forenkle visse aritmetiske operasjoner. På vitenskapelige kalkulatorer er det vanligvis kjent som "SCI" ​​-visningsmodus.
Binær søkealgoritme: I datavitenskap er binært søk , også kjent som halvintervallssøk , logaritmisk søk eller binær kotelett , en søkealgoritme som finner posisjonen til en målverdi i en sortert matrise. Binært søk sammenligner målverdien med det midtre elementet i matrisen. Hvis de ikke er like, elimineres den halvdelen som målet ikke kan ligge i, og søket fortsetter på den gjenværende halvdelen, og tar igjen midtelementet for å sammenligne med målverdien, og gjentar dette til målverdien er funnet. Hvis søket ender med at den resterende halvdelen er tom, er ikke målet i matrisen.
Binær søkealgoritme: I datavitenskap er binært søk , også kjent som halvintervallssøk , logaritmisk søk eller binær kotelett , en søkealgoritme som finner posisjonen til en målverdi i en sortert matrise. Binært søk sammenligner målverdien med det midtre elementet i matrisen. Hvis de ikke er like, elimineres den halvdelen som målet ikke kan ligge i, og søket fortsetter på den gjenværende halvdelen, og tar igjen midtelementet for å sammenligne med målverdien, og gjentar dette til målverdien er funnet. Hvis søket ender med at den resterende halvdelen er tom, er ikke målet i matrisen.
Binært søketre: I informatikk er et binært søketre ( BST ), også kalt et ordnet eller sortert binært tre , et rotfestet binært tre hvis interne noder hver lagrer en nøkkel som er større enn alle nøklene i nodens venstre undertrær og mindre enn de i høyre undertreet. Et binært tre er en type datastruktur for lagring av data som tall på en organisert måte. Binære søketrær tillater binært søk for rask oppslag, tillegg og fjerning av dataelementer, og kan brukes til å implementere dynamiske sett og oppslagstabeller. Rekkefølgen av noder i en BST betyr at hver sammenligning hopper over omtrent halvparten av gjenværende tre, slik at hele oppslaget tar tid proporsjonalt med den binære logaritmen til antall elementer som er lagret i treet. Dette er mye bedre enn den lineære tiden som kreves for å finne elementer etter nøkkel i en (usortert) matrise, men langsommere enn de tilsvarende operasjonene på hashtabeller. Flere varianter av det binære søketreet er studert.
Binært søketre: I informatikk er et binært søketre ( BST ), også kalt et ordnet eller sortert binært tre , et rotfestet binært tre hvis interne noder hver lagrer en nøkkel som er større enn alle nøklene i nodens venstre undertrær og mindre enn de i høyre undertreet. Et binært tre er en type datastruktur for lagring av data som tall på en organisert måte. Binære søketrær tillater binært søk for rask oppslag, tillegg og fjerning av dataelementer, og kan brukes til å implementere dynamiske sett og oppslagstabeller. Rekkefølgen av noder i en BST betyr at hver sammenligning hopper over omtrent halvparten av gjenværende tre, slik at hele oppslaget tar tid proporsjonalt med den binære logaritmen til antall elementer som er lagret i treet. Dette er mye bedre enn den lineære tiden som kreves for å finne elementer etter nøkkel i en (usortert) matrise, men langsommere enn de tilsvarende operasjonene på hashtabeller. Flere varianter av det binære søketreet er studert.
Selvbalanserende binært søketre: I informatikk er et selvbalanserende binært søketre et hvilket som helst nodebasert binært søketre som automatisk holder høyden liten i møte med vilkårlige innsettinger og slettinger.
Semafor (programmering): Innen datavitenskap er en semafor en variabel eller abstrakt datatype som brukes til å kontrollere tilgang til en felles ressurs ved flere prosesser og unngå kritiske seksjonsproblemer i et samtidig system som et multitasking-operativsystem. En triviell semafor er en vanlig variabel som endres avhengig av programmeringsdefinerte forhold.
Bitstream: En bitstrøm , også kjent som binær sekvens , er en sekvens av biter.
Seriell binær adder: Seriell binær adder eller bit-seriell adder er en digital krets som utfører binær tillegg bit for bit. Den serielle fulladderen har tre single-bit-innganger for tallene som skal legges til og bæres inn. Det er to single-bit-utganger for summen og gjennomføringen. Innføringssignalet er det tidligere beregnede gjennomføringssignalet. Tillegget utføres ved å legge til hver bit, laveste til høyeste, en per klokkesyklus.
Ubestilt par: I matematikk er et uordnet par eller parsett et sett med formen { a , b }, dvs. et sett som har to elementer a og b uten noen spesiell sammenheng mellom dem, hvor { a , b } = { b , a }. I kontrast har et ordnet par ( a , b ) a som sitt første element og b som sitt andre element, som betyr ( a , b ) ≠ ( b , a ).
Bitvis betjening: I dataprogrammering opererer en bitvis operasjon på en bitstreng, en bitmatrise eller et binært tall på nivået med de enkelte bitene. Det er en rask og enkel handling, grunnleggende for aritmetiske operasjoner på høyere nivå og direkte støttet av prosessoren. De fleste bitvise operasjoner presenteres som tooperandinstruksjoner der resultatet erstatter en av inngangsoperandene.
Hamming vekt: Hamming-vekten til en streng er antall symboler som er forskjellige fra null-symbolet i alfabetet som brukes. Det tilsvarer altså Hamming-avstanden fra all-null-strengen av samme lengde. For det mest typiske tilfellet, en streng med biter, er dette antallet 1 i strengen, eller sifersummen av den binære representasjonen av et gitt tall og ℓ ₁ normen til en bitvektor. I dette binære tilfellet kalles det også populasjonstall, antall poeng , sidelengs sum eller bit summasjon .
Hamming vekt: Hamming-vekten til en streng er antall symboler som er forskjellige fra null-symbolet i alfabetet som brukes. Det tilsvarer altså Hamming-avstanden fra all-null-strengen av samme lengde. For det mest typiske tilfellet, en streng med biter, er dette antallet 1 i strengen, eller sifersummen av den binære representasjonen av et gitt tall og ℓ ₁ normen til en bitvektor. I dette binære tilfellet kalles det også populasjonstall, antall poeng , sidelengs sum eller bit summasjon .
Hamming vekt: Hamming-vekten til en streng er antall symboler som er forskjellige fra null-symbolet i alfabetet som brukes. Det tilsvarer altså Hamming-avstanden fra all-null-strengen av samme lengde. For det mest typiske tilfellet, en streng med biter, er dette antallet 1 i strengen, eller sifersummen av den binære representasjonen av et gitt tall og ℓ ₁ normen til en bitvektor. I dette binære tilfellet kalles det også populasjonstall, antall poeng , sidelengs sum eller bit summasjon .
Digital signal: Et digitalt signal er et signal som brukes til å representere data som en sekvens av diskrete verdier; til enhver tid kan det bare ta på seg ett av et endelig antall verdier. Dette står i kontrast til et analogt signal, som representerer kontinuerlige verdier; til enhver tid representerer det et reelt tall innenfor et kontinuerlig verdiområde.
Filformat: Et filformat er en standard måte at informasjon blir kodet for lagring i en datafil. Den spesifiserer hvordan biter brukes til å kode informasjon i et digitalt lagringsmedium. Filformater kan være enten proprietære eller gratis og kan være upubliserte eller åpne.
Binære silisium-hydrogenforbindelser: Binære silisium-hydrogenforbindelser er mettede kjemiske forbindelser med den empiriske formelen Si x H y . Alle inneholder tetraedrisk silisium og terminale hydrider. De har bare Si – H og Si – Si enkeltbindinger. Bindingslengdene er 146,0 pm for en Si-H-binding og 233 pm for en Si-Si-binding. Strukturene til silanene er analoger av alkanene, og begynner med silan, SiH 4 , analogen av metan, fortsetter med disilan Si 2 H 6 , analogen av etan, etc. De er hovedsakelig av teoretisk eller akademisk interesse.
Binær rompartisjonering: Innen datavitenskap er binær rompartisjonering ( BSP ) en metode for å rekursivt dele et rom i to konvekse sett ved å bruke hyperplaner som partisjoner. Denne underdelingsprosessen gir opphav til en representasjon av objekter i rommet i form av en tredatastruktur kjent som et BSP-tre .
Binær rompartisjonering: Innen datavitenskap er binær rompartisjonering ( BSP ) en metode for å rekursivt dele et rom i to konvekse sett ved å bruke hyperplaner som partisjoner. Denne underdelingsprosessen gir opphav til en representasjon av objekter i rommet i form av en tredatastruktur kjent som et BSP-tre .
Binær rompartisjonering: Innen datavitenskap er binær rompartisjonering ( BSP ) en metode for å rekursivt dele et rom i to konvekse sett ved å bruke hyperplaner som partisjoner. Denne underdelingsprosessen gir opphav til en representasjon av objekter i rommet i form av en tredatastruktur kjent som et BSP-tre .
Binær splitting: I matematikk er binær splitting en teknikk for å fremskynde numerisk evaluering av mange typer serier med rasjonelle termer. Spesielt kan den brukes til å evaluere hypergeometriske serier på rasjonelle punkter.
Binær splitting: I matematikk er binær splitting en teknikk for å fremskynde numerisk evaluering av mange typer serier med rasjonelle termer. Spesielt kan den brukes til å evaluere hypergeometriske serier på rasjonelle punkter.
Binær splitting: I matematikk er binær splitting en teknikk for å fremskynde numerisk evaluering av mange typer serier med rasjonelle termer. Spesielt kan den brukes til å evaluere hypergeometriske serier på rasjonelle punkter.
Eksponensiering ved å kvadre: I matematikk og dataprogrammering er eksponentiering av kvadrering en generell metode for rask beregning av store positive heltallskrefter til et tall, eller mer generelt av et element i en semigruppe, som et polynom eller en kvadratmatrise. Noen varianter blir ofte referert til som kvadrat-og-multipliser- algoritmer eller binær eksponentiering . Disse kan være av ganske generell bruk, for eksempel i modulær aritmetikk eller strømforsyning av matriser. For semigrupper der additivnotasjon ofte brukes, som elliptiske kurver som brukes i kryptografi, blir denne metoden også referert til som dobbelt-og-legg til .
Binær stjerne: En binær stjerne er et stjernesystem som består av to stjerner som kretser rundt deres felles barycenter. Systemer med to eller flere stjerner kalles flerestjernesystemer . Disse systemene, spesielt når de er fjernere, ser ofte ut for det blotte øye som et enkelt lyspunkt, og blir deretter avslørt som flere på andre måter.
Binær stjerne: En binær stjerne er et stjernesystem som består av to stjerner som kretser rundt deres felles barycenter. Systemer med to eller flere stjerner kalles flerestjernesystemer . Disse systemene, spesielt når de er fjernere, ser ofte ut for det blotte øye som et enkelt lyspunkt, og blir deretter avslørt som flere på andre måter.
Binær stjerne: En binær stjerne er et stjernesystem som består av to stjerner som kretser rundt deres felles barycenter. Systemer med to eller flere stjerner kalles flerestjernesystemer . Disse systemene, spesielt når de er fjernere, ser ofte ut for det blotte øye som et enkelt lyspunkt, og blir deretter avslørt som flere på andre måter.
Binær stjerne: En binær stjerne er et stjernesystem som består av to stjerner som kretser rundt deres felles barycenter. Systemer med to eller flere stjerner kalles flerestjernesystemer . Disse systemene, spesielt når de er fjernere, ser ofte ut for det blotte øye som et enkelt lyspunkt, og blir deretter avslørt som flere på andre måter.
Binær stjerne: En binær stjerne er et stjernesystem som består av to stjerner som kretser rundt deres felles barycenter. Systemer med to eller flere stjerner kalles flerestjernesystemer . Disse systemene, spesielt når de er fjernere, ser ofte ut for det blotte øye som et enkelt lyspunkt, og blir deretter avslørt som flere på andre måter.
Binære stjerner i skjønnlitteratur: Et betydelig antall science fiction-verk har utforsket de fantasifulle mulighetene til binære eller flerestjernesystemer. Mange ekte stjerner i nærheten av solen hører hjemme i denne kategorien.
String (informatikk): I dataprogrammering er en streng tradisjonelt en sekvens av tegn, enten som en bokstavelig konstant eller som en slags variabel. Sistnevnte kan tillate at elementene blir mutert og lengden endres, eller det kan være fikset. En streng blir generelt sett på som en datatype og implementeres ofte som en array-datastruktur av byte som lagrer en sekvens av elementer, typisk tegn, ved hjelp av en eller annen tegnkoding. Streng kan også betegne mer generelle matriser eller andre sekvensdatatyper og strukturer.
Endelig delingsregel: I matematikk er en endelig underavdelingsregel en rekursiv måte å dele en polygon eller annen todimensjonal form i mindre og mindre biter. Underinndelingsregler er på en måte generaliseringer av vanlige geometriske fraktaler. I stedet for å gjenta nøyaktig samme design om og om igjen, har de små variasjoner i hvert trinn, slik at de får en rikere struktur og samtidig opprettholder den elegante stilen på fraktaler. Underinndelingsregler har blitt brukt i arkitektur, biologi og informatikk, så vel som i studiet av hyperbolske manifolder. Erstatningsfliser er en godt studert type underavdelingsregel.
Binært nummer: Binært tall er et tall uttrykt i base-2-tallsystemet eller binært tallsystem , en metode for matematisk uttrykk som bare bruker to symboler: typisk "0" (null) og "1" (ett).
Subtraktor: I elektronikk kan en subtraktor utformes ved å bruke samme tilnærming som en hugger. Den binære subtraksjonsprosessen er oppsummert nedenfor. Som med en adder, i det generelle tilfellet av beregninger på flerbittall, er tre biter involvert i å utføre subtraksjonen for hver bit av forskjellen: minuend, subtrahend og et innlån fra forrige bitordreposisjon. Utgangene er forskjellen bit og låne bit . Subtraktoren forstås best ved å vurdere at subtrahend og begge lånebitene har negative vekter, mens X- og D-bitene er positive. Operasjonen utført av subtraktoren er å omskrive som summen .
Binær symmetrisk kanal: En binær symmetrisk kanal er en vanlig kommunikasjonskanalmodell som brukes i kodingsteori og informasjonsteori. I denne modellen ønsker en sender å sende litt, og mottakeren vil motta litt. Biten blir "snudd" med en "krysssannsynlighet" på p , og blir ellers mottatt riktig. Denne modellen kan brukes på varierte kommunikasjonskanaler som telefonlinjer eller lagring av diskstasjoner.
Binær synkron kommunikasjon: Binær synkron kommunikasjon er en IBM-tegnorientert, halvdupleks lenkeprotokoll, kunngjort i 1967 etter introduksjonen av System / 360. Den erstattet den synkrone send-mottak-protokollen (STR) som ble brukt med andre generasjons datamaskiner. Hensikten var at vanlige regler for koblingsadministrasjon kunne brukes med tre forskjellige tegnkodinger for meldinger. Seks-bits transkode så bakover til eldre systemer; USASCII med 128 tegn og EBCDIC med 256 tegn så fremover. Transcode forsvant veldig raskt, men EBCDIC- og USASCII-dialektene til Bisync fortsatte i bruk.
Binært system: Et binært system er et system med to astronomiske legemer som er nær nok til at deres gravitasjonsattraksjon får dem til å bane hverandre rundt et barycenter (se også animerte eksempler) . Mer restriktive definisjoner krever at dette felles massesenteret ikke ligger innenfor det indre av noen av objektene, for å utelukke de typiske planet – satellitt-systemene og planetariske systemene.
Binært system: Et binært system er et system med to astronomiske legemer som er nær nok til at deres gravitasjonsattraksjon får dem til å bane hverandre rundt et barycenter (se også animerte eksempler) . Mer restriktive definisjoner krever at dette felles massesenteret ikke ligger innenfor det indre av noen av objektene, for å utelukke de typiske planet – satellitt-systemene og planetariske systemene.
Binært system (tvetydighet): Binært system kan referere til: Binært nummersystem, base-2 internt "maskinspråk" til datamaskiner Binær opposisjon, et bipolært skille i filosofi, strukturisme og kritisk teori Binært system (astronomi), et system av to himmellegemer på en innbyrdes bane Binær asteroide Binær stjerne Kontakt binær Kontakt binær (asteroide) Dobbel planet I kjemi, et system som involverer to trinn, prosesser eller stoffer Blanding Azeotrope Binary System, en musikkduo med rockemusikeren Roger Miller Binary Systems (Aberdeen) er et grafisk design selskap med base i Aberdeen, Skottland
Binært nummer: Binært tall er et tall uttrykt i base-2-tallsystemet eller binært tallsystem , en metode for matematisk uttrykk som bare bruker to symboler: typisk "0" (null) og "1" (ett).
Byte: Byten er en enhet med digital informasjon som oftest består av åtte biter. Historisk sett var byten antall biter som ble brukt til å kode et enkelt tegntekst i en datamaskin, og av den grunn er det den minste adresserbare minneenheten i mange dataarkitekturer. For å tydeliggjøre byte med vilkårlig størrelse fra den vanlige 8-biters definisjonen, refererer nettverksprotokolldokumenter som Internet Protocol til en 8-bit byte som en oktett. Disse bitene i en oktett telles vanligvis med nummerering fra 0 til 7 eller 7 til 0, avhengig av bitendigheten. Den første biten er nummer 0, noe som gjør den åttende bit nummer 7.
Byte: Byten er en enhet med digital informasjon som oftest består av åtte biter. Historisk sett var byten antall biter som ble brukt til å kode et enkelt tegntekst i en datamaskin, og av den grunn er det den minste adresserbare minneenheten i mange dataarkitekturer. For å tydeliggjøre byte med vilkårlig størrelse fra den vanlige 8-biters definisjonen, refererer nettverksprotokolldokumenter som Internet Protocol til en 8-bit byte som en oktett. Disse bitene i en oktett telles vanligvis med nummerering fra 0 til 7 eller 7 til 0, avhengig av bitendigheten. Den første biten er nummer 0, noe som gjør den åttende bit nummer 7.
Binær klassifisering: Binær klassifisering er oppgaven med å klassifisere elementene i et sett i to grupper på grunnlag av en klassifiseringsregel. Typiske problemer med binær klassifisering inkluderer: Medisinsk testing for å avgjøre om en pasient har en viss sykdom eller ikke; Kvalitetskontroll i industrien, avgjør om en spesifikasjon er oppfylt; Ved henting av informasjon bestemmer du om en side skal være i resultatsettet for et søk eller ikke.
Binær tetrahedral gruppe: I matematikk er den binære tetraedriske gruppen , betegnet 2T eller ⟨2,3,3⟩, en bestemt ikke -abelisk gruppe i rekkefølge 24. Det er en utvidelse av tetrahedralgruppen T eller (2,3,3) i orden 12 med en syklisk gruppe av orden 2, og er forhåndsbildet til den tetraedriske gruppen under 2: 1 som dekker homomorfisme Spinn (3) → SO (3) av den spesielle ortogonale gruppen av spinngruppen. Det følger at den binære tetraedriske gruppen er en diskret undergruppe av Spin (3) i rekkefølge 24. Den komplekse refleksjonsgruppen kalt 3 (24) 3 av GC Shephard eller 3 [3] 3 og av Coxeter, er isomorf til den binære tetraedriske gruppen.
Binær motstand: En binær opposisjon er et par relaterte termer eller begreper som er motsatt i betydningen. Binær opposisjon er språksystemet og / eller tanken der to teoretiske motsetninger defineres strengt og avregnes mot hverandre. Det er kontrasten mellom to gjensidig eksklusive termer, som av og på, opp og ned, venstre og høyre. Binær opposisjon er et viktig begrep for strukturisme, som ser slike forskjeller som grunnleggende for alle språk og tanker. I strukturismen blir en binær opposisjon sett på som en grunnleggende arrangør av menneskelig filosofi, kultur og språk.
Binær flislegging: I geometri er den binære fliser en flislegging av det hyperbolske planet, som ligner en firetre over Poincaré-halvplanmodellen av det hyperbolske planet. Det ble først studert i 1974 av Károly Böröczky.
Binær klokke: En binær klokke er en klokke som viser klokkeslettet i binært format. Opprinnelig viste slike klokker hvert desimaltall av sexagesimal tid som en binær verdi, men for tiden eksisterer også binære klokker som viser timer, minutter og sekunder som binære tall. De fleste binære klokker er digitale, selv om det eksisterer analoge varianter. Ekte binære klokker eksisterer også, som indikerer tiden ved å halvere dagen suksessivt, i stedet for å bruke timer, minutter eller sekunder. Lignende klokker, basert på gråkodet binær, finnes også.
Binær-til-tekst-koding: En binær-til-tekst-koding er koding av data i ren tekst. Mer presist er det en koding av binære data i en sekvens av utskrivbare tegn. Disse kodingene er nødvendige for overføring av data når kanalen ikke tillater binære data eller ikke er 8-biters ren. PGP-dokumentasjon bruker begrepet " ASCII rustning " for koding med binær til tekst når det refereres til Base64.
Binær oversettelse: I databehandling er binær oversettelse en form for binær rekompilering hvor sekvenser av instruksjoner blir oversatt fra et kildeinstruksjonssett til målinstruksjons settet. I noen tilfeller, for eksempel instruksjonssett-simulering, kan målinstruksjonssettet være det samme som kildeinstruksjonssettet, og gi test- og feilsøkingsfunksjoner, slik som instruksjonssporing, betingede bruddpunkter og deteksjon av hot spot.
Binær oversettelse: I databehandling er binær oversettelse en form for binær rekompilering hvor sekvenser av instruksjoner blir oversatt fra et kildeinstruksjonssett til målinstruksjons settet. I noen tilfeller, for eksempel instruksjonssett-simulering, kan målinstruksjonssettet være det samme som kildeinstruksjonssettet, og gi test- og feilsøkingsfunksjoner, slik som instruksjonssporing, betingede bruddpunkter og deteksjon av hot spot.