3.4 Using Advanced Types for Modeling: Case Study
3.4.1 Dependent Types and Linear Types
RealiceajustesrelacionadosconlasconexionesderedyBLUETOOTH. Utiliceelmenúenpantalla(OSD)queapareceneneltelevisorpararealizarlos ajustes. Pulse enelmandoadistanciaparaverlapantalladeinicio,seleccione Network/Bluetoothconloscursoresdelmandoadistanciay,acontinuación, pulseENTER.
Seleccione el elemento con los botones de cursor / / / del mando a distanciaypulseENTERparaconfirmarsuselección.
Utiliceloscursores / para cambiar los valores predeterminados. • Pararegresaralapantallaanterior,pulse .
• Parasalirdelosajustes,pulse .
Contenido ≫ Conexiones ≫ Reproducción ≫ Configuración≫
Network
• CuandolaLANestáconfiguradaconunDHCP,ajuste"DHCP"en"Enable" paraconfigurarlosajustesautomáticamente.(“Enable”eselvalor predeterminado.)ParaasignardireccionesIPfijasacadacomponente,debe ajustar"DHCP"como"Disable"yasignarunadirecciónaestaunidaden"IP Address",ademásdeajustarlainformaciónrelacionadaconsuLAN,comola Subnet Mask y Gateway.Elemento de
ajuste Valor predeterminado Detalles del ajuste
Wi-Fi Off(Wired) Conecte la unidad a la red a través del router inalámbricoLAN. "On":ConexiónLANinalámbrica "Off(Wired)":ConexiónLANporcable • Cuandoalterneentre"On"y"Off(Wired)",pare elserviciodered.Además,cuandoseesté realizandolareproduccióndegrupo,deberá cancelardichareproducciónunavezy,a continuación,cambiarelajuste.
Wi-Fi Setup - PuedeconfigurarlosajustesdelaLANinalámbrica pulsandoENTERcuandosemuestra"Start". Wi-Fi Status - Semostrarálainformacióndepuntodeacceso
conectado.
"SSID":ElSSIDdelpuntodeaccesoconectado. "Signal":Laintensidaddelaseñaldelpuntode acceso conectado.
"Status":Estadodelpuntodeaccesoconectado. MAC Address - EstaesladirecciónMACdeestaunidad.
Estevaloresespecificodelcomponenteyno puedemodificarse. DHCP Enable "Enable":Configuraciónautomáticamediante DHCP "Disable":ConfiguraciónmanualsinDHCP • Siselecciona"Disable",defina"IPAddress", "SubnetMask","Gateway"y"DNSServer" manualmente. IP Address 0.0.0.0 Muestra/defineladirecciónIP. Elemento de
ajuste Valor predeterminado Detalles del ajuste
Subnet Mask 0.0.0.0 Muestra/definelamáscaradesubred. Gateway 0.0.0.0 Muestra/definelapuertadeenlace. DNS Server 0.0.0.0 Muestra/defineelservidorDNSprincipal. ProxyURL - Muestra/defineelURLdelservidorproxy. Proxy Port 8080 Muestra/defineelnúmerodelpuertodelservidor
proxyalintroducir"ProxyURL". Friendly Name
PioneerVSX-LX103XXXXXX Cambie el nombre de esta unidad mostrado en otros dispositivos conectados a la red por un nombrequepuedareconocerfácilmente. 1.PulseENTERparamostrarlapantallaEdit. 2.Seleccioneuncarácterosímboloconlos cursoresypulseENTER. Repitaparaintroducirunmáximode31 caracteres. "A/a":Cambiaentremayúsculasyminúsculas. (Tambiénsealternaentremayúsculasy minúsculaspulsandoMODEenelmandoa distancia.) "←""→":Mueveelcursorenladireccióndela flecha. “ ”:Eliminauncaráctersituadoalaizquierda del cursor. “ ”:Insertaunespacio. • AlpulsarCLEARenelmandoadistanciase borran todos los caracteres introducidos. 3.Cuandohayaterminado,seleccione"OK"con
loscursoresypulseENTER. Seguardaráelnombreintroducido.
Contenido ≫ Conexiones ≫ Reproducción ≫ Configuración≫
Elemento de
ajuste Valor predeterminado Detalles del ajuste AirPlay
Password - Puede establecer una contraseña de hasta 31 caracteres,detalmaneraquesololosusuarios registradospuedanusarAirPlay®. 1.PulseENTERparamostrarlapantallaEdit. 2.Seleccioneuncarácterosímboloconlos cursoresypulseENTER. Repitaparaintroducirunmáximode31 caracteres. "A/a":Cambiaentremayúsculasyminúsculas. (Tambiénsealternaentremayúsculasy minúsculaspulsandoMODEenelmandoa distancia.) "←""→":Mueveelcursorenladireccióndela flecha. “ ”:Eliminauncaráctersituadoalaizquierda del cursor. “ ”:Insertaunespacio.
• Para seleccionar si enmascarar la contraseña con ""omostrarlaentextosinformato, pulse +Fav en el mando a distancia. • AlpulsarCLEARenelmandoadistanciase
borran todos los caracteres introducidos. 3.Cuandohayaterminado,seleccione"OK"con
loscursoresypulseENTER. Seguardarálacontraseñaintroducida.
Elemento de
ajuste Valor predeterminado Detalles del ajuste
UsageData No Conelfindemejorarlacalidaddenuestros productosyservicios,puedequerecopilemos información sobre su uso de la red. Seleccione "Yes" si acepta que recopilemos dicha información. Seleccione "No" si no quiere que recopilemos dicha información.
• Puededefiniresteajustetrasconfirmarla Política de Privacidad. Cuando seleccione "UsageData"ypulseENTER,semostrarála PolíticadePrivacidad.(Lamismapantallase mostraráúnicamenteunavezmientrasconfigure laconexióndered).Siaceptaquerecopilemos esainformación,esteajustetambiénpasará aser"Yes".Tengaencuentaquesiaceptala Política de Privacidad pero selecciona "No" para esteajuste,lainformaciónnoserecopilará. Network Check - Podrácomprobarlaconexióndelared.
PulseENTERcuandoaparezca"Start". • Espereunmomentosi"Network"noestádisponibleparasuselección.Aparecerá
cuando se inicie la función de red.
Bluetooth
Elemento de
ajuste Valor predeterminado Detalles del ajuste
Bluetooth On SeleccionesiseutilizarálafunciónBLUETOOTH. "On":Habilitalaconexiónconundispositivo habilitadocontecnologíainalámbricaBLUETOOTH medianteelusodelafuncióndeBLUETOOTH. Seleccione"On"tambiénalrealizarvariosajustes BLUETOOTH. "Off":CuandonoseutilicelafunciónBLUETOOTH.
Contenido ≫ Conexiones ≫ Reproducción ≫ Configuración≫
Elemento de
ajuste Valor predeterminado Detalles del ajuste Auto Input
Change On Laentradadelaunidadcambiaráautomáticamentea"BLUETOOTH"cuandolaconexiónalaunidad se realice desde un dispositivo habilitado con tecnologíainalámbricaBLUETOOTH. "On":Laentradapasarádeinmediatoa ser"BLUETOOTH"cuandoseconecteun dispositivohabilitadocontecnologíainalámbrica BLUETOOTH. "Off":Lafunciónsedeshabilitará. • Silaentradanocambiaautomáticamente,ajuste en"Off"ycámbielamanualmente.
Auto Reconnect On Estafunciónvuelveaconectarautomáticamente aldispositivohabilitadocontecnologíainalámbrica BLUETOOTHconectadoporúltimavezcuandose cambialaentradaa"BLUETOOTH". "On":Cuandosevaausarestafunción "Off":Cuandonosevaausarestafunción • Puedequeestonofuncioneconalgunos dispositivoshabilitadoscontecnología inalámbricaBLUETOOTH. Pairing
Information - Puede inicializar la información de emparejamiento guardadaenestaunidad. AlpulsarENTERcuandosemuestre"Clear",se inicializarálainformacióndeemparejamiento almacenada en esta unidad.
• Estafunciónnoinicializalainformaciónde emparejamiento en el dispositivo habilitado contecnologíainalámbricaBLUETOOTH. Al emparejar la unidad de nuevo con el dispositivo,asegúresedeborrarlainformación de emparejamiento del dispositivo habilitado contecnologíainalámbricaBLUETOOTHde antemano. Para obtener información sobre cómoborrarlainformacióndeemparejamiento, consulte el manual de instrucciones del dispositivohabilitadocontecnologíainalámbrica BLUETOOTH.
Elemento de
ajuste Valor predeterminado Detalles del ajuste
Device - Muestra el nombre del dispositivo habilitado con tecnologíainalámbricaBLUETOOTHconectadoa la unidad.
• Elnombrenosemostrarácuando"Status"sea "Ready"y"Pairing".
Status - Muestra el estado del dispositivo habilitado con tecnologíainalámbricaBLUETOOTHconectadoa la unidad. "Ready":Noemparejado. "Pairing":Emparejado "Connected":Correctamenteconectado • Espereunmomentosi"Bluetooth"noestádisponibleparasuselección.Aparecerá cuandoseinicielafunciónBLUETOOTH.
Contenido ≫ Conexiones ≫ Reproducción ≫ Configuración≫
AV Adjust
Puedeconfigurarrápidamentelosajustesqueutiliceconfrecuencia,comoel tono,etc.
Puede llevar a cabo ajustes en la pantalla del televisor durante la reproducción dealgúncontenido.Pulse en el mando a distancia para visualizar el menú AVAdjust.Tengaencuentaquelapantalladeltelevisornomostraráninguna imagencuandoelselectordeentradaseajustecomo"CD","TV","PHONO", "FM"o"AM".Enconsecuencia,deberáseguirlapantalladelaunidadprincipal cuando realice las operaciones.
AV Adjust Tone Level MCACC Other Bass Treble BD/DVD
Seleccione el elemento con los botones de cursor / del mando a distancia y pulseENTERparaconfirmarsuselección. Utiliceloscursoresparacambiarlosajustes. • Pararegresaralapantallaanterior,pulse . • Parasalirdelosajustes,pulse .
Tone
Bass:Intensifiqueomodereelrangodegravesdelaltavoz. Treble:Intensifiqueomodereelrangodeagudosdelaltavoz. • No puede ajustarse si el modo de audición es Direct o Pure Direct. Level
Center: Ajusteelniveldelaltavozcentralmientrasseestéescuchandoalgún sonido.
Subwoofer: Ajuste el nivel del altavoz del subwoofer mientras se esté escuchandoalgúnsonido.
Contenido ≫ Conexiones ≫ Reproducción ≫ Configuración≫
• Silaunidadentraenmododeespera,losajustesrealizadosserestaurarána su estado anterior.
MCACC
MCACC EQ:Habiliteoinhabilitelafuncióndelecualizadorquecorrigela distorsión causada por el ambiente acústico de la habitación.
• No puede ajustarse si el modo de audición es Pure Direct.
Manual EQ Select:Enlapantalladeinicio,seleccionelosvalores"Preset1" a"Preset3"configuradosen"MCACC"-"ManualMCACC"-"EQAdjust".Se aplicalamismaconfiguracióndecampodesonidoatodoslosrangoscuandose estableceen"Off".
• No puede ajustarse si el modo de audición es Pure Direct.
Phase Control:Corrigelaperturbacióndefaseenelrangobajoparaintensificar losgraves.Estopermitelograrunareproduccióndegravespotente,fielalsonido original.
• No puede ajustarse si el modo de audición es Pure Direct.
Theater Filter:Ajustalabandadesonidoprocesadaparamejorarsurangode agudosyhacerlamásadecuadaparaelsistemadecineencasa.
• No puede ajustarse si el modo de audición es Direct o Pure Direct.
Other
Sound Delay:Sielvídeovapordetrásdelaudio,puederetrasarelaudiopara corregirladiferencia.Sepuedenestablecerdiferentesajustesparacadaselector de entrada.
• No puede seleccionarse si el modo de audición es Pure Direct y la señal de entradaesanalógica.
Sound Retriever: Mejore la calidad del audio comprimido. Se mejora el sonido delareproduccióndearchivoscomprimidosconpérdidascomo,porejemplo,los archivosMP3.Elajustesepuedeestablecerporseparadoparacadaselector deentrada.Esteajusteesefectivoparaseñalesdeunmáximode48kHz.La configuraciónnoesefectivaenlasseñalesdesecuenciadebits.
• No puede ajustarse si el modo de audición es Direct o Pure Direct.
DRC:Hacequelossonidospequeñosseoiganconfacilidad.Resultaútilcuando es necesario bajar el volumen mientras se mira una película por la noche. Puede disfrutar del efecto únicamente cuando se reproducen fuentes de entrada de la serie Dolby y DTS.
• No puede ajustarse si el modo de audición es Direct o Pure Direct. • Esteajustenopodráutilizarseenlossiguientescasos.
– Si"LoudnessManagement"estádefinidoen"Off"cuandosereproduzca DolbyDigitalPlusoDolbyTrueHD
– CuandolaseñaldeentradaesDTS:Xy"DialogControl"noes0dB
Center Spread: Ajuste la amplitud del campo de sonido del canal frontal durante la reproducción en el modo de escucha Dolby Audio - DSur. Para extender el anchodelcampodesonidohacialaderechaylaizquierda,definaen"On".Para concentrarelsonidoenelcentro,definaen"Off".
• Dependiendodelaconfiguracióndelosaltavoces,seaplicará"Off".
Dialog Control:Puedeincrementarelvolumendelaporcióndediálogodel audiohasta6dB,enpasosde1dB,deformaquepuedaescuchareldiálogo fácilmenteenunentornoruidoso.
• EstonopodrádefinirseparacontenidosdistintosaDTS:X.