Showing papers in "Calcolo in 1974"

Sulle formule di quadratura di Tschebyscheff

Abstract: Si dimostra che per il grado di precisione,N, della formula di quadratura di tipo Tschebyscheff: $$\int\limits_{ - 1}^1 {\left( {1 - x^2 } \right)^{\lambda - 1/2} f(x) dx} = K_n \sum\limits_{k = 1}^n {f(x_{n,k} )} + R_n (f), \lambda > 0$$ vale la seguente limitazione $$N \leqslant C(\lambda )n^{1/(2\lambda + 1)} $$ essendoC(λ) una funzione nota di λ. Si da, altresi, la soluzione completa del problema di Tschebyscheff per λ=1.

Are two contex-free languages translatable in a syntax-directed translation scheme?

Abstract: Syntax Directed Translation Schemes (SDTS's) are a formalism for describing the process of translation within a syntax directed compiler. In this scheme each production of the source context-free grammarG1 is coupled with a production of the object context-free grammarG2.

Concurrent detection of additive overflow and arithmetic errors in residue codes

Abstract: The problems of detecting overflow and single or multiple residue digit errors in Redundant Residue Numeber Systems are considered through an unified approach. It is shown that a single intermodular procedure allows concurrent detection of additive overflow and single residue digit error, even in the case where the error affects a number in overflow. In addition, it is shown that codes of adequate redundancy may allow detection of additive overflow and single bit error, provided that the residue digits are appropriately encoded. The discussion concerns both separate residue codes (i. e., codes being referred to as RRNS, where one or more redundant residues are added) and Product Codes.

Approssimazione della soluzione di una disequazione variazionale. Applicazione ad un problema di frontiera libera

Abstract: Si propone un metodo numerico per l'approssimazione della soluzione di una disequazione variazionale. Lo studio trae origine da [1] in cui viene dimostrato un teorema di esistenza e unicita e da [2] in cui viene indicato un procedimento con il quale si ottiene la soluzione come limite comune di due successioni monotone, una non crescente, l'altra non decrescente, i cui termini sono soluzioni di problemi ellittici debolmente non lineari. In [2] e anche indicato un procedimento iterativo per la risoluzione di questi problemi.

Su una classe di formule espliciteA-stabili per l'integrazione numerica di equazioni differenziali ordinarie

Abstract: Si dimostra che ogni formula lineare ak passiA-stabile definisce un metodo esplicito, in una particolare classe di metodi lineari ak passiA-stabili e a coefficienti variabili. A questa classe di metodi viene estesa la teoria della stabilita e convergenza dei metodi tradizionali a coefficienti costanti. Si applicano i risultati per ricavare alcune formule espliciteA-stabili che, impiegate insieme a opportuni correttori, danno luogo a metodi di predizione e correzioneA-stabili.

Error estimates for Gauss-Chebyshev and Clenshaw Curtis quadrature formulas

Abstract: For functionsf analytic in a circle we obtain bounds for the Chebyshev-Fourier coefficients off. These results are then used to obtain bounds for the errors of Gauss-Chebyshev quadratures, and the quadrature formula of Clenshaw and Curtis. Two examples are given to illustrate the error bounds.

Risoluzione numerica del problema della trave elastica vincolata

Abstract: Si presenta un metodo numerico per la determinazione approssimata della configurazione di equilibrio di una trave elastica incastrata agli estremi, costretta a rimanere al disopra di un corpo rigido e soggetta a carichi.

A note on Lerda and Majorani's minimum crossing algorithm

Abstract: An algorithm described by Lerda and Majorani for connecting N points with a path containing a minimum number of crossings with other, pre-existing paths is shown to give non-minimal results.

Un modello di λ-calcolo fortemente equivalente agli schemi ricorsivi

Abstract: Questo lavoro e orientato verso l'equivalenza forte fra programmi. Nella prima parte di esso si prendono in esame le chiamate di procedura nelCuch, oioe il linguaggio che contiene espressioni del λ-calcolo di Church e dei combinatori di Curry. E noto che questo linguaggio prevede chiamate di procedura «by name». Si dimostra qui che ilCuch, am pliato con la variante di Gross, e in grado di modellare qualuuque tipo di chiamata di procedura, in particolare quella «by value” Nella seconda parte si mostra come, all'interno delCuch, possono, essere modellate tutte le possibili regole di calcolo per le chiamate di procedure ricorsive, che vengono quindi completamente rese automatiche.

A data structure formalization through generating functions

Abstract: In this paper we exhibit a representation of the data structures allowing the automatic construction of the generating form of a family starting from its description by nieans of words.

On different kinds of indefinite

Abstract: Two indefinite elements are considered, a stronger one and a wenker one Their existence in a particular uniformly reflexive structure is shown.

Equivalenza tra grammatiche, sistemi di equazioni in variabili di linguaggio e serie formali

Abstract: Scopo di questo lavoro e ricercare condizioni di equivalenza di tre diversi modi per definire un lingnaggio: una grammatica non contestuale, un sistema di equazioni in variabili di linguaggio, un sistema di equazioni in variabili serie formali. Per raggiungere questo obbiettivo si introduce il ben noto concetto di serie formale; inoltre si dimostra l'esistenza e l'unicita della soluzione di un sistema di equazioni mediante il classico teorema del punto unito di Banach.

Closure operations on measures of computational complexity

Abstract: In this paper, after a suitable characterization of computational complexity measures, we analyze some closure operations defined on the class of all measures with respect to a given acceptable Godel numebering. Such a class is a distributive lattice without universal bounds. The problem of the invariance of the class of measures changing the Godel numbering is finally considered.

Variazione d'informazione associata a risposte non attendibili

Abstract: In questo lavoro viene proposta, nell'ambito della teoria dei questionari, una caratterizzazione deterministica dei concetti di questione e risposta. E inoltre introdotto il concetto di risposta non attendibile.

State estimation for linear deterministic distributed systems

Abstract: The paper considers linear distributed systems whose state belongs to a separable Banach space, namelyX. The statex of the system is assumed to be adequately approximated by its projectionxN on a certain finite dimensional subspaceXN (N given a priori), which is a member of a set of denumerable dense subspaces inX. A definition is given for the system's approximate observability. An algorithm is provided for computing an estimatexN^ forxN. An example of a diffusion system with homogeneous (Dirichlet) boundary condition and one point (noise-free) measurement transducer is considered. The problem of numerical instability is studied. The effect of a number of important factors on the estimation problem is investigated. An extensive computational experience is presented.

Some ideas on semantic memory in automatic learning of heuristics

Abstract: This paper is concerned with the problem of computer semantic memory, i. e. with the problem of representing general knowledge about, a given world. The sematic memory issue is raised in the context of machiue learning of heuristics and the connection with the problem of machine representation of knowledge is emphasized. The guidelines for the implementation of a sematic memory are presented and attention is given to the design of the processes for storing and retrieving information. The problem of knowledge representation is tackled in its, general form, so that the proposed semantic memory may be of interest also in other fields, like Natural Lauguage Understanding, Question Answering, Theorem Proving.

Sulle regioni di confidenza per i parametri dei modelli non lineari. II

Abstract: Nell'ambito della ricerca sperimentale si presenta il problema di stimare i parametri di un modello interpretativo teorico che ne dipende in modo non lineare. In concreto pero, come per il caso lineare, le stime puntuali, ottenute tipicamente secondo il principio dei minimi quadrati, possono avere, in se, scarso rilievo per la variabilita ad esse inerente a causa dell'errore sperimentale e vengono impiegate per la determinazione di insiemi di valori che hanno una prefissata probabilita di comprendere quelli degli incogniti parametri in studio (regioni di confidenza).

The generalized inverse in parametric programming

Abstract: In this paper we are concerned with parametric programming problems. The main results are two: the first one is an explicit representation of the general optimal solution of particular parametric programming problems; the second one is an unified approach to general parametric programming problems.

Un metodo alle direzioni alternate esplicito per la risoluzione numerica delle equazioni della diffusione

Abstract: Si presenta un metodo esplicito alle direzioni alternate per la risoluzione numerica delle equazioni a multigruppi della diffusione neutronica, dipendenti dal tempo, in domini bidimensionali. Questo metodo ha le proprieta di avere un errore locale dell'ordineO (h3) (doveh e il passo temporale) edi essere incondizionatamente stabile. L'efficacia di questo metodo e stata messa in evidenza attraverso alcune esperienze pratiche.

Grammatiche context-free su spazi metrici compatti

Abstract: The Rabins cut-point theorem gives some conditions on acceptance of a probabilistic langnage by a finite state automaton. In the present, paper we will generalize Rabin's results by studying the possibility of reducing a coutext-free or right-linear grammar with infinite non-terminal symbols to an equivalent grammar with a finite number of non-terminal symbols. We will show that reducibility is related to some topological properties of non-terminal symbols, which we will consider as a metric space.

Principio di estensionalità nel calcolo dei combinatori

Abstract: Viene presentato un modello che soddisfa gli assiomi del calcolo combinatorio ma nel quale non e evidentemente sempre verificato il cosidetto principio di estensionabilita forte, cioe non e sempre: $$\mathop \Lambda \limits_x Fx \equiv Gx \Rightarrow F = G.$$

Accelerazione della convergenza per metodi di risoluzione di equazioni differenziali ordinarie

Abstract: In questo lavoro si e elaborato un procedimento di accelerazione della convergenza che permette di raddoppiare l'ordine dei metodi multistep, per la risoluzione numerica dell'equazione differenziale ordinaria $$y' = f(x,y),y_0 = y(x_0 );{}_{x_0 }^x \in [a,b].$$

Computation of boundary controls

Abstract: It is proposed a method for computing boundary controls for systems governed by hyperbolic partial differential equations in two independent variables. Such method is then applied to a nolinear string equation to compute a boundary control capable of bringing the string to rest in finite time and the numerical results obtained are reported.

Diramazioni di soluzioni di equazioni differenziali ordinarie non lineari

Abstract: In questa nota vengono studiate proprieta delle soluzioni non banaliw(x) (0≤x≤1) del problema non linearew″+λw=g(w) w′ 2,w(0)=w(1)=0, dove λ e reale eg(w) e intera; sono studiati in dettaglio alcuni casi corrispondenti a scelte particolari dig.

Un algorithme combinatoire pour la résolution des problemes du type du permanent

Abstract: A general algorithm for solving the problems of type of the permanent of a matrix is proposed.

On efficiency measurement of algebraic data structures encodings

Abstract: Since the Second Symposium on Symbolic and Algebraic Manipulation (1971) with the development of many algebraic manipulation systems, there has been demand for an «efficiency measurement» for these systems Some of the frequently used systems, asAltran andCamal, provide for numerical encodings of polynomials and of rational functions This kind of representation for algebraic structures is particularly useful from the space saving point of view This paper introduces a methodology for comparing different kinds of encodings for monomials, and hence for polynomials This new methodological approach to the evaluation of the encodings uses four criteria, which are related both to static and dynamic aspects for algebraic data structures processing The set of monomials withn variables is considered as a vector space and its topology is discussed In order to exemplify our approach two particular encodings are considered According to the proposed criteria it will be shown how the so-called encoding by juxtaposition can be considered very good A direction for possible development is also presented

Processi di Markoff del primo ordine derivanti da processi di Markoff di ordine superiore

Abstract: Si studia quando un processo di Markoff del primo ordine si puo considerare derivato da un processo di markoff di ordine superiore a uno. Cio viene fatto essenzialmente utilizzando la nozione di grafo associato ad un processo di Markoff.

Note sulla derivata di un programma

Abstract: In questo lavoro si considerano schemi di programma di tipo «while» (come definiti, ad esempio, in [1], [2], [3]), interpretati su di un dominio di funzioni e predicati sui numeri reali. Si osserva che le funzioni (reali) computate da tali programmi sono rappresentabili mediante espressioni (non ricorsive) di tipo Algol le quali sono, in generale, troppo complicate per essere trattate con i metodi dell'analisi matematica classica.

Caratterizzazione dei reticoli continui per la teoria della computazione di Dana Scott

Abstract: La struttura dei reticoli continui, che sta alla base della teoria, viene studiata e se ne da una precisa caratterizzazione in termini di retrazioni di algebre di Boole. Viene inoltre presentato un teorema particolarmente utile per verificare la continnita di reticoli completi contennti in reticoli continui.

Pairwise sampling for the nonlinear interpolation of functions of very many variables

Abstract: The difficulty is first pointed out concerning the nonlinear interpolation of functions defined in a space of very many dimensions. There is a method using a sampling technique that works well fork≈10–20 (k=number of dimensions). The sampling errors, however, increase in powers ofk, so that fork greater than the above-quoted values the computation is no more feasible. This is due to the subtraction between two large sums of about the same magnitude, each of which suffers stochastic fluctuations accompanying samplings. To avoid this unfavorable effect, a pairwise sampling technique is considered where one draws two samples at a time when required, one from each of the two sums of terms. By this new avenue of approach, the probabilistic interpretation becomes much more straighforward than hitherto conceived and the reduction of standard errors is also remarkable especially for the cases of very many dimensions.