15 result(s)
Page Size: 10, 20, 50
Export: bibtex, xml, json, csv
Order by:

CNR Author operator: and / or
more
Typology operator: and / or
Language operator: and / or
Date operator: and / or
more
Rights operator: and / or
2008 Journal article Restricted

Model driven development of railway systems using diversity
Banci M., Gnesi S., Fantechi A., Lombardi G.
In this paper we discuss how we have introduced elements of diversity in the experimental model driven development process of a railway signalling system. The experience has been done inside a larger industrial project undertaken to evaluate the feasibility of employing formal modelling and automatic code generation in the development of a new generation of railway signalling systems hosted by an innovative fault-tolerant platform. Diversity has been introduced where an analysis of the safety measures employed against design faults has revealed possible weakness of the development process.Source: Computer systems science and engineering 23 (2008): 329–335.

See at: CNR ExploRA Restricted | www.crlpublishing.co.uk Restricted


2008 Other Unknown

Modellazione di sistemi ferroviari
Banci M., Fantechi A., Gnesi S., Lombardi G.
No abstract avaible

See at: CNR ExploRA


2007 Conference article Restricted

Model Driven Development and Code Generation: An Automotive Case Study
Banci M., Fantechi A., Gnesi S., Lombardi G.
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived and to be formalized at a high abstraction level. Several languages and formalisms have been proposed to this aim; UML diagrams are also used to this purpose. Starting from such an abstract description, still much work is needed to derive a working application, with a model-driven development process that needs to introduce and formalize many details. In this paper we report an experience in deriving an executable formal model from a high level specifications, originally given following a mainly architectural UML approach. The development process is illustrated on an automotive case study. A state of the art code generation tool is then applied to produce a prototype implementation of the analyzed system.Source: 3th International SDL Forum, pp. 19–34, Paris, FRANCE, SEP 18-21, 2007
DOI: 10.1007/978-3-540-74984-4_2

See at: academic.microsoft.com Restricted | dblp.uni-trier.de Restricted | fmt.isti.cnr.it Restricted | link.springer.com Restricted | link.springer.com Restricted | CNR ExploRA Restricted | rd.springer.com Restricted | www.scopus.com Restricted | www.springerlink.com Restricted


2002 Journal article Restricted

Experience of applying statistical control techniques to the function test phase of a large Telecommunications system
Bertolino A., Marchetti E., Mirandola R., Lombardi G., Peciola E.
The software test process of a large teleconnnunications system is presented. The feasibility of introducing statistical process control techniques to one crucial software test phase, natnely the function test is explored. This phase has been identified as a strategic one for meeting the commitments to customers with respcct to quality objectives. Analysis of past released products revealed that a higli percentage of the failures exprienced in operation corresponded to software faults that could have been discovered during the function test phase. A brief description of the statistical estimators investigated (Classical vs. Bayesian) is provided. along with a few examples of their usc over rcul sets of data. Far from bcing aimed at identifying new statistica1 models, the focus of this work is rather about putting measurement in practice: easy and effettive steps to iinprove the status of control over the test proccss in a smooth, bottom-up approach arc suggested.Source: IEE proceedings. Software (Online) 149 (2002): 93–101. doi:10.1049/ip-sen:20020546
DOI: 10.1049/ip-sen:20020546

See at: IEE Proceedings - Software Restricted | IEE Proceedings - Software Restricted | IEE Proceedings - Software Restricted | IEE Proceedings - Software Restricted | CNR ExploRA Restricted


1994 Other Unknown

Introduzione al concetto di cameraman intelligente
Lombardi G., Palamidese P.
An abstract is not available.

See at: CNR ExploRA


1989 Other Open Access OPEN

Strumenti per la parallelizzazione di applicazioni. Caso di studio: IBM PARALLEL FORTRAN
Baraglia R., Laforenza D., Lazzareschi P., Lombardi G., Perego R.
La presente nota riporta le modalità di parallelizzazione di codici scientifici e ele esperienze acquisite nella conversione di applicazioni da sequenziale a parallelo. La nota fa specifico riferimento all'ambiente parallelo shared-memory IBM 3090 multiprocessore ed allo IBM Parallel Fortran PRPQ (program number 5799-CTX). Sono descritte le funzioni di parallelizzazione automatica fornite dal compilatore (parallelismo implicito) nonchè le estensioni al linguaggio Fortran ed ai servizi di libreria per permettere la codifica di specifici costrutti paralleli (parallelismo esplicito). Sono specificate le modalità di compilazione ed esecuzione di programmi paralleli sia utilizzando il sistema operativo MVS che il sistema CMS. Infine sono presentati alcuni criteri per la conversione di applicazioni di sequenziali a parallelo e i principali indici per la valutazione delle prestazioni dei programmi.

See at: CNR ExploRA Open Access


1989 Other Open Access OPEN

Graphics technology for chemistry applications
Lombardi G., Palamidese P.
No abstract available

See at: CNR ExploRA Open Access


1983 Other Restricted

Calcoli numerici: raccolta di esercizi d'esame
Lombardi G., Rebaudo R.
In questo testo sono stati raccolti alcuni dei temi d'esame proposti alle prove scritte del corso di "Calcoli Numerici" della Facoltà di Ingegneria. I temi sono stati scelti tra quelli ritenuti più significativi dal punto di vista didattico e, a questo scopo, talvolta sono stati modificati rispetto al testo originale. Di molti di essi si sono semplicemente riportate le conclusioni e una breve traccia. Sono stati, inoltre, aggiunti esercizi ritenuti significativi per gli argomenti trattati nel corso.

See at: CNR ExploRA Restricted


1983 Other Unknown

Matrici ad albero
Lombardi G., Rebaudo R.
A class of bordered diagonal matrices, here called tree-matrices, is investigated. For any such matrix, a similar matrix is found in the class of diagonal matrix modified by a matrix of rank one, and viceversa. A Sturm sequence for the characteristic equation is found for real symmetric tree-matrices. Some of previous results are extended to k-tree matrices and the Woodbury formula is used to find the inverse. In addition, examples are given to be used as test matrices.

See at: CNR ExploRA


1977 Other Open Access OPEN

Solution of the problem 76-20, on the extreme eigenvalues of a NXN matrix
Capovani M., Lombardi G.
No abstract available

See at: CNR ExploRA Open Access


1976 Journal article Restricted

Utilizzazione di proprietà delle matrici per lo studio dei polinomi ultrasferici
Capovani M., Ghelardoni G., Lombardi G.
A system of orthogonal polinomials can be generated by a three-term recurrence relationship so that with each polinomial a certain tridiagonal matrix can be associated. Making use only of matrix properties that, besides being tridiagonal, are symmetric, positive definite, non negative and, in particular, oscillatory, some properties, partly well known, of the zeros of the ultraspherical polinomials are found and highly efficent method is proposed to compute such zeros.Source: Rendiconti di matematica 6 (1976): 57–69.

See at: CNR ExploRA Restricted


1975 Other Unknown

Algoritmi per il calcolo di formule gaussiane di quadratura
Capovani M., Ghelardoni G., Lombardi G.
Si propone un metodo per il calcolo dei nodi e dei pesi di formule Gaussiane di quadratura. Si presentano anche due sottoprogrammi, uno che calcola gli zeri dei polinomi di Jacobi ed i pesi delle corrispondenti formule Gaussiane associate ( nel caso di polinomi ultrasferici c'è la possibilità di ridurre il problema ad uno di ordine [n/2] ) e uno che calcola gli zeri ed i pedi nel caso di polinomi di Laguerre generalizzati e di Hermite. Sono riportati confronti con metodi proposto da A.H.Stroud, D.H.Secrest e da G.H.Golub, J.H.Welsch.

See at: CNR ExploRA


1975 Journal article Restricted

Diramazioni di soluzioni di equazioni differenziali ordinarie non lineari
Ghelardoni G., Lombardi G.
In questa nota vengono studiate proprietà delle soluzione non banali w(x) (0<=x<=1) del problema non lineare w"+ ?w=g(w) w'2, w(0)=w (1)=0, dove ? è reale e g(w) è intera; sono studiati in dettaglio alcuni casi corrispondenti a scelte particolari di g.Source: Calcolo (Testo stamp.) 11 (1975): 483–507. doi:10.1007/BF02575788
DOI: 10.1007/bf02575788

See at: CALCOLO Restricted | CALCOLO Restricted | CALCOLO Restricted | CALCOLO Restricted | CALCOLO Restricted | CNR ExploRA Restricted


1973 Conference article Open Access OPEN

Diramazioni di soluzioni di equazioni differenziali ordinarie non lineari
Ghelardoni G., Lombardi G.
nessun sommario disponibileSource: Convegno UMI: Rapporti tra ricerca matematica pura e ricerca matematica applicata, pp. 213–217, Siena, Italy, 1973

See at: CNR ExploRA Open Access


1970 Contribution to book Restricted

The stability problem for couette flow: a finite difference approach
Ghelardoni G., Lombardi G.
Taylor vortices are studied using finite difference approximations. Details of the numerical scheme of solution are given. Mention is made of convergence difficulties which are sometimes encountered and of the procedure with which the difficulties can be overcome. Results, particular~ iu the case of counter-rotating cilynders, are shown in a number of graphs.Source: , pp. 43–52, 1970

See at: CNR ExploRA Restricted