Preguntas etiquetadas con numerical-analysis

13
Resumen de desbordamiento seguro

Supongamos que se me dan enteros de ancho fijo (es decir, caben en un registro de ancho w ), a 1 , a 2 , ... a n de modo que su suma a 1 + a 2 + ⋯ + a n = S también cabe en un registro de ancho .nnnwwwa1,a2,…ana1,a2,…ana_1, a_2, \dots a_na1+a2+⋯+an=Sa1+a2+⋯+an=Sa_1 + a_2 + \dots + a_n = Swww Me...

13
Redondeo de punto flotante

¿Se puede multiplicar un número de punto flotante IEEE-754 <1 (es decir, generado con un generador de números aleatorios que genera un número> = 0.0 y <1.0) por algún número entero (en forma de punto flotante) para obtener un número igual o mayor que ese entero debido al redondeo? es...

11
Inferir tipos de refinamiento

En el trabajo, se me ha encomendado la tarea de inferir cierta información sobre un lenguaje dinámico. Reescribo secuencias de declaraciones en letexpresiones anidadas , así: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x...

8
Detección de desbordamiento en suma

Supongamos que me dan una serie de nortenorten enteros de ancho fijo (es decir, caben en un registro de ancho www), una1,una2, ...unanorteuna1,una2,...unanortea_1, a_2, \dots a_n. Quiero calcular la sumaS=una1+ ... +unanorteS=una1+...+unanorteS = a_1 + \ldots + a_n en una máquina con aritmética de...