816 resultados para ANTLR, Framework .NET, ingegneria del software, FormulaG, interpreti, linguaggi formali, WPF
Resumo:
Web-based distributed modelling architectures are gaining increasing recognition as potentially useful tools to build holistic environmental models, combining individual components in complex workflows. However, existing web-based modelling frameworks currently offer no support for managing uncertainty. On the other hand, the rich array of modelling frameworks and simulation tools which support uncertainty propagation in complex and chained models typically lack the benefits of web based solutions such as ready publication, discoverability and easy access. In this article we describe the developments within the UncertWeb project which are designed to provide uncertainty support in the context of the proposed ‘Model Web’. We give an overview of uncertainty in modelling, review uncertainty management in existing modelling frameworks and consider the semantic and interoperability issues raised by integrated modelling. We describe the scope and architecture required to support uncertainty management as developed in UncertWeb. This includes tools which support elicitation, aggregation/disaggregation, visualisation and uncertainty/sensitivity analysis. We conclude by highlighting areas that require further research and development in UncertWeb, such as model calibration and inference within complex environmental models.
Resumo:
Georgi Tuparov - In the paper basic problems related to implementation of topic “Development and publishing of web pages” are discussed. The topic is part of 8-th grade syllabus in IT for Bulgarian schools. A framework for comparison of software tools for implementation of learning objectives and outcomes is performed. The learning content and several groups of software tools are analysed, according to proposed comparison framework.
Resumo:
Obbiettivo della tesi è sviluppare un metodo che valuti la probabilità di rottura arginale nella stesura delle mappe di pericolosità e di rischio alluvione. Ad oggi le mappe di pericolosità, redatte dagli enti regionali, considerano solo la probabilità di superamento dell’argine da parte del livello idrico (overtopping) e non il cedimento dello stesso a causa dell’instabilizzazione dovuta all’innalzamento del livello del fiume. Per la presente tesi si è scelto come caso di studio la rottura dell’argine destro del fiume Secchia del 19 gennaio 2014, presso la frazione di San Matteo, comune di Modena. Questo caso di rottura arginale è particolarmente interessante, poiché dopo l’accaduto la regione Emilia-Romagna ha predisposto una commissione tecnica per valutare le cause dell'evento. La commissione ha quindi predisposto una serie di indagini i cui dati saranno di fondamentale importanza nella presente tesi. Utilizzando, infatti, questo caso di cedimento arginale come esempio si è potuto innanzitutto ricostruire il fenomeno che ha provocato il fallimento dell’argine e ricalcolare il rischio inondazione sulle zone allagate considerando la probabilità di fallimento del sistema arginale. Per fare ciò, si sono inizialmente eseguite varie modellazioni idrauliche, sul corpo arginale, per stabilire gli spostamenti della tavola d’acqua e i valori di pressione interstiziale dei pori al variare dei tiranti idrici utilizzando il software SEEP/W. Successivamente si è utilizzato SLOPE/W allo scopo di verificate le probabilità di cedimento dell'argine in relazione alle modellazioni idrauliche effettuate con SEEP/W. Una volta ricavate le probabilità di rottura alle varie quote idriche con SLOPE/W, le si è riportate su un foglio di calcolo Excel e ricavata la curva di fragilità dell'argine e calcolato le probabilità di accadimento degli eventi alluvionali. Dopo di ciò attraverso l’utilizzo del software CA2D si sono modellate le mappe di alluvione per i vari eventi e con l’ausilio di Qgis si sono ricavate le mappe di pericolosità e calcolato il rischio sugli edifici interessati.
Resumo:
In questo elaborato ,sono descritte le fasi di realizzazione del software di simulazione di scheduling di processi periodici per sistemi operativi real-time, realizzato per questa tesi.
Resumo:
El origen y naturaleza de la investigación refieren al filme de vanguardia mudo como forma plástica y recurso técnico adjunto a los nuevos medios mecánicos de principios del siglo veinte – léase, fotografía, fotomontaje, cine, impresión offset - y sus correspondencias creativas y metodológicas con la vanguardia del software informático y nuevos medios digitales. En este sentido, la propuesta conceptual y formal señala este campo de correspondencias y combinatorias como plataforma de análisis crítico y proyectual, antes que un sistema homogéneo de interpretación y sistematización del ámbito de interés. El filme de vanguardia deriva de las mediaciones sociales, científicas y políticas de las vanguardias artísticas en arte, diseño y arquitectura de las primeras décadas de la era industrial. A este respecto, los filmes seleccionados se realizaron durante el período mudo; es decir, no hay diálogos ni banda sonora incorporada al material fílmico. Sin embargo, en estricto rigor, tampoco es correcto identificarlos a tábula rasa con la denominada estética muda; puesto que esta obra refiere otra interfaz, otro vector y botón de búsqueda de los pioneros de la nueva visión mecánica...
Resumo:
La coexistence des services de francisation au Québec pour les personnes immigrantes adultes a fait l'objet de divers enjeux liés notamment au passage des apprenants d'un lieu de formation à un autre (Québec, MICC, 2011a). Dans le but de répondre à ces enjeux et d’harmoniser l'offre de services gouvernementaux en matière de francisation des adultes, le ministère de l'Immigration et des Communautés culturelles (MICC) a élaboré en collaboration avec le ministère de l'Éducation, du Loisir et du Sport (MELS), une innovation pédagogique, soit un référentiel commun québécois composé de deux instruments : l’Échelle québécoise des niveaux de compétence en français des personnes immigrantes adultes et le Programme-cadre de français pour les personnes immigrantes adultes au Québec. Le but de notre étude était de mieux comprendre l'implantation du référentiel commun québécois, de faire état des représentations du personnel enseignant en francisation vis-à-vis de cette innovation pédagogique et d’identifier les principaux facteurs qui structurent son implantation. Pour atteindre ces objectifs de recherche, nous avons mené une étude qualitative dans laquelle nous nous sommes appuyée sur le modèle d'implantation de Vince-Whitman (2009) qui identifie douze facteurs facilitant l’implantation d’une politique et d’une pratique. Nous avons accédé aux représentations de douze enseignantes et enseignants en francisation qui œuvrent au MICC et au MELS lors d’entretiens de groupe en leur permettant de s'exprimer sur leurs pratiques pédagogiques et sur leurs impressions du référentiel commun québécois. À l’aide du logiciel QSF NVivo 8, nous avons analysé le contenu des propos de nos participants de recherche. Nos résultats démontrent que le manque appréhendé de ressources – humaines, matérielles et financières, et un manque de temps, de formation et de collaboration professionnelle pourraient représenter des obstacles et nuire à une éventuelle implantation du référentiel commun québécois. À la lumière de ces résultats, nous proposons un cadre de référence composé de sept facteurs d’implantation d’une innovation pédagogique afin de mieux rendre compte d’une réalité spécifique et contemporaine, celle de l'implantation du référentiel commun québécois pour la francisation des immigrants adultes scolarisés. Les écrits scientifiques et nos résultats de recherche démontrent que de diverses formes de soutien, principalement du matériel pédagogique approprié et suffisant, peuvent constituer un facteur-clé dans la réussite de l’implantation d’une innovation pédagogique.
Resumo:
El artículo analiza la figura del prosumidor desde los estudios visuales a partir de la combinación de la teoría de los actos de habla y los nuevos medios. El objetivo es evaluar si la distinción entre productores y consumidores, estrategias y tácticas de Michel de Certeau continúa siendo operativa en las interfaces gráficas de la cultura global de la información de Scott Lash. Para ello distingue dos tipos de performatividad de los actos de habla: la performatividad top-down del software, y la bottom-up de los juegos del lenguaje y las formas de vida. Estos tipos se aplican al análisis del discurso de los eslóganes que aparecen en los sitios web de las iniciativas “open” y de economía colaborativa, ya que las primeras están dedicadas a la producción de bienes inmateriales y las segundas a la producción de bienes materiales. El desarrollo muestra cómo los dos tipos de performatividad transforman el análisis textual de los estudios literarios y cinematográficos en una metodología capaz de investigar acciones materiales, humanas y no humanas. Las conclusiones describen el surgimiento de nuevas convenciones narrativas de poder y control ajenas a la ficción que apuntan a una “DIY society”.
Resumo:
Con la crescita in complessità delle infrastrutture IT e la pervasività degli scenari di Internet of Things (IoT) emerge il bisogno di nuovi modelli computazionali basati su entità autonome capaci di portare a termine obiettivi di alto livello interagendo tra loro grazie al supporto di infrastrutture come il Fog Computing, per la vicinanza alle sorgenti dei dati, e del Cloud Computing per offrire servizi analitici complessi di back-end in grado di fornire risultati per milioni di utenti. Questi nuovi scenarii portano a ripensare il modo in cui il software viene progettato e sviluppato in una prospettiva agile. Le attività dei team di sviluppatori (Dev) dovrebbero essere strettamente legate alle attività dei team che supportano il Cloud (Ops) secondo nuove metodologie oggi note come DevOps. Tuttavia, data la mancanza di astrazioni adeguata a livello di linguaggio di programmazione, gli sviluppatori IoT sono spesso indotti a seguire approcci di sviluppo bottom-up che spesso risulta non adeguato ad affrontare la compessità delle applicazione del settore e l'eterogeneità dei compomenti software che le formano. Poichè le applicazioni monolitiche del passato appaiono difficilmente scalabili e gestibili in un ambiente Cloud con molteplici utenti, molti ritengono necessaria l'adozione di un nuovo stile architetturale, in cui un'applicazione dovrebbe essere vista come una composizione di micro-servizi, ciascuno dedicato a uno specifica funzionalità applicativa e ciascuno sotto la responsabilità di un piccolo team di sviluppatori, dall'analisi del problema al deployment e al management. Poichè al momento non si è ancora giunti a una definizione univoca e condivisa dei microservices e di altri concetti che emergono da IoT e dal Cloud, nè tantomento alla definzione di linguaggi sepcializzati per questo settore, la definzione di metamodelli custom associati alla produzione automatica del software di raccordo con le infrastrutture potrebbe aiutare un team di sviluppo ad elevare il livello di astrazione, incapsulando in una software factory aziendale i dettagli implementativi. Grazie a sistemi di produzione del sofware basati sul Model Driven Software Development (MDSD), l'approccio top-down attualmente carente può essere recuperato, permettendo di focalizzare l'attenzione sulla business logic delle applicazioni. Nella tesi viene mostrato un esempio di questo possibile approccio, partendo dall'idea che un'applicazione IoT sia in primo luogo un sistema software distribuito in cui l'interazione tra componenti attivi (modellati come attori) gioca un ruolo fondamentale.
Resumo:
Questo progetto è stato sviluppato durante un periodo di ricerca presso il Dipartimento di Ingegneria Civile del Trinity College e continuato presso l’Università di Bologna. Il progetto ha l’obiettivo di analizzare le soluzioni per l’ampliamento, la sostituzione degli impianti e l’ottimizzazione energetica di un tipico edificio residenziale Irlandese, una end of terrace in mattoni costruita negli anni ’20, collocata a Blackrock (Dublino). Diversi studi sostengono che lo stock abitativo irlandese è il peggiore del nord Europa per quanto riguarda la performance energetica. Questa tesi consta di una prima parte di studio del contesto e delle tecniche costruttive tradizionali irlandesi; è presente un capitolo di approfondimento sulle leggi riguardanti le costruzioni e gli incentivi forniti dal governo irlandese per interventi di retrofit energetico. Il terzo capitolo è un’analisi dell'esistente, con disegni del rilievo geometrico, immagini dell’edificio originale, termogrammi e dati riguardanti l’attuale performance energetica. Vengono poi mostrate diverse ipotesi di progetto e, una volta determinata la disposizione degli spazi interni, vengono considerate due soluzioni simili, ma costruite con pacchetti costruttivi diversi. Nel Progetto A l’involucro dell’addizione ha una struttura in muratura, nel Progetto B la struttura è in X-lam. Le performance energetiche delle due proposte vengono confrontate tramite una simulazione attuata grazie all'utilizzo del software dinamico IES-VE. Viene valutata l’applicazione di energie rinnovabili, quali l’energia solare e eolica e l’apporto che queste possono dare al bilancio energetico. Infine viene fatta un’analisi dei costi, valutando possibili suddivisioni dei lavori e ipotizzando un piano di ritorno dell’investimento, anche in combinazione con l’applicazione di energie rinnovabili. Alla fine del progetto si trova una valutazione quantitativa dei miglioramenti dell’edificio e un’analisi critica dei limiti del progetto.
Resumo:
Partendo da un’analisi dei problemi che si incontrano nella fase di conceptual design, si presentano le diverse tecniche di modellazione tridimensionale, con particolare attenzione al metodo subdivision e agli algoritmi che lo governano (Chaikin, Doo – Sabin). Vengono poi proposti alcuni esempi applicativi della modellazione free form e skeleton, con una successiva comparazione, sugli stessi modelli, delle sequenze e operazioni necessarie con le tradizionali tecniche di modellazione parametrica. Si riporta un esempio dell’utilizzo del software IronCAD, il primo software a unire la modellazione parametrica e diretta. Si descrivono le limitazioni della modellazione parametrica e di quella history free nella fase concettuale di un progetto, per arrivare a definire le caratteristiche della hybrid modeling, nuovo approccio alla modellazione. Si presenta brevemente il prototipo, in fase di sviluppo, che tenta di applicare concretamente i concetti dell’hybrid modeling e che vuole essere la base di partenza per una nuova generazione di softwares CAD. Infine si presenta la possibilità di ottenere simulazioni real time su modelli che subiscono modifiche topologiche. La simulazione real time è permessa dalla ridefinizione in forma parametrica del problema lineare elastico che viene successivamente risolto mediante l’applicazione congiunta delle R – Functions e del metodo PGD. Seguono esempi di simulazione real time.
Resumo:
Attraverso lo studio di serie temporali di coordinate è possibile studiare l'entità degli spostamenti, nel tempo, di punti materializzati sulla Terra. In particolare, si incentra l'attenzione sull'analisi della stazione permanente GNSS DCRU collocata presso la base italo-francese Concordia, così da valutare il campo di velocità di deflusso superficiale del ghiaccio in una porzione di plateau dell’Antartide orientale sede della perforazione profonda in ghiaccio del progetto European Project for Ice Coring in Antarctica (EPICA) . Tale stazione è stata inserita in una rete di inquadramento dell'IGS e ha acquisito dati satellitari dal 2005 a oggi, raccolti giornalmente in file RINEX. Tramite l'utilizzo del software Bernese versione 5.2 è stato possibile ottenere dai file RINEX i file SINEX contenenti le soluzioni giornaliere, che costituiscono la serie temporale, e le relative varianze e covarianze. Avvalendosi del programma Tsview implementato per GGMatlab si sono poi valutate le componenti principali che caratterizzano una serie temporale, quali il trend, le componenti stagionali ed i rumori che giocano, talvolta, un ruolo importante nella valutazione dell'incertezza legata alle misure. Infine si è cercato di dare un'interpretazione fisica ai risultati che sono tutt'ora oggetto di studio. In questa tesi, quindi, si delinea un quadro generale delle procedure e delle problematiche da affrontare, sia per ottenere dall'acquisizione satellitare le soluzioni giornaliere costituenti la serie temporale, sia per analizzare la serie stessa.
Resumo:
El presente trabajo de graduación denominado Software Educativo de álgebra para el Noveno Año de Educación General Básica 2, está basado en los contenidos de la reforma curricular ecuatoriana de álgebra para el noveno año. Se ha diseñado una página web y un texto guía el cual contiene la base teórica de: Potenciación, Radicación, Ecuaciones e Inecuaciones; con sus respectivos enunciados, leyes, teoremas, fórmulas, y ejercicios resueltos. Se pretende que el software educativo, haga el papel de profesor virtual. Para la creación del software se utilizaron los programas: MACROMEDIA FLASH 8 y MICROSOFT FRONTPAGE 2003, mediante los cuales he diseñado y publicado en la página web animaciones que contienen la resolución de ejercicios, problemas y aplicación de teorías. Para la estructura general de la página web, se utilizaron plantillas preestablecidas que facilitan el manejo de menús y marcos. Las animaciones flash que se encuentran en la página web, ayudarán a despertar el interés de los estudiantes en prestar atención y sobre todo a desarrollar capacidades, destrezas, competencias y creatividad en el estudio de Álgebra.
Resumo:
El Sistema de Evaluación de Proficiencias en Educación Superior -SERESpermite: a) La valoración integral de suficiencia del saber, del hacer y del ser, de los estudiantes durante cada una de las etapas en la formación profesional en Ingeniería; y, b) La gestión de conocimiento que puede aplicarse, sistémica y sistemáticamente, en los procesos de docencia, investigación y extensión. El SERES es un producto de investigación que está en fase de prueba y ha sido desarrollado por el Centro de Innovación y Desarrollo para la Investigación en Ingeniería del Software -CIDLIS- en el marco del proyecto: «Modelo de Gestión de Conocimiento y Calidad en Educación Superior» -MGCES- de la E3T de la Universidad Industrial Santander. Este sistema anida tres subsistemas: El modelo organizacional, el modelo funcional y el modelo neuronal. SERES es parte del modelo neuronal. El SERES está estructurado para funcionar integralmente en los diversos cursos de un programa de ingeniería, sean estos básicos o avanzados, con el requisito de formalizarlos en actividades estructuradas de práctica, investigación formativa y seguimiento y control, sustentadas en un plan de calidad, fundamentado en el trabajo disciplinado individual y en equipo, la autoevaluación, la coevaluación, la evaluación y la heteroevaluación. La evaluación de competencias en SERES es una deducción lógica del modelado del perfil profesional (saberes), el perfil ocupacional (competencias para hacer) y el perfil cultural (valores como persona, ciudadano e ingeniero). Dicho modelo se despliega en guías de contenido, evaluación y gestión de conocimiento en cada uno de los cursos de un programa de formación. A partir de dichas guías, se definen los contenidos sobre el sabe, el hacer y el ser, disponibles, luego, para los profesores, en el desarrollo de sus prácticas docentes. Como cierre de este proceso de aprendizaje se establece la valoración de los productos de la enseñanza y del desempeño y la competencia de los alumnos. Este patrón de valoración cuantitativa y cualitativa es el instrumento principal de SERES, con el que sustentan las evidencias de cumplimiento de estándares de calidad, los objetivos de aprendizaje y el logro de las competencias del alumno.
Resumo:
Determinar la frecuencia de los factores de riesgo para el desarrollo de Diabetes Mellitus tipo 2 presentes en los Choferes Profesionales del Cantón Cuenca, durante septiembre de 2009 a mayo de 2010. Material y métodos: Se realizó un estudio descriptivo en 485 profesionales del volante pertenecientes al Sindicato de Choferes del Cantón Cuenca. Se utilizó la encuesta validada por la Universidad de Harvard (Estados Unidos), denominada Cuidar su salud del Siteman Center; los datos se obtuvieron mediante entrevista directa y fueron analizados con la ayuda del software SPSS y Excel. Resultados . De los pacientes analizados, la media de edad fue de 45 años. El sobrepeso representó el 51.3% y la obesidad el 25%; la población sedentaria alcanzó un porcentaje del 45.2% y el antecedente familiar de diabetes en parientes de primer grado de consanguinidad fue del 37.5%. El 24.98% se clasificó como de muy alto riesgo para desarrollar diabetes mellitus 2, según la escala del Siteman Center. Conclusiones: El riesgo moderado y alto para desarrollo de diabetes mellitus 2 se clasificaron como los más frecuentes según la escala aplicada. El sobrepeso y en antecedente familiar en parientes de primer grado, fueron los factores de riesgo con más alto porcentaje encontrados en el estudio. AU
Resumo:
Para la creación del software Campus Virtual de la Universidad El Salvador (CAVIUES), se determinó la utilización de un estilo de administración de proyectos iterativo e incremental, con suficientes puntos de verificación como para poder tomar en cuenta las necesidades de cambios en el desarrollo del sistema, sin desviaciones mayores a planes realizados con sumo detalle, cuidado y dificultad, seleccionando así un método ágil que presenta la característica primordial de adaptarse para dar respuesta pronta y eficaz a los inevitables cambios. Así, se eligió al Microsoft Solutions Framework (MSF) como modelo de proceso que dirigirá el orden de las actividades del proyecto1. Este proporciona un sistema de modelos, principios, y pautas para dar soluciones a empresas que diseñan y desarrollan de una manera que se asegure de que todos los elementos de un proyecto, tales como gente, procesos, y herramientas, puedan ser manejados con éxito. De esta manera, para el análisis y determinación de requerimientos y posterior diseño del Sistema CAVIUES, se ha utilizado la notación del Lenguaje Unificado de Modelado (UML, por sus siglas en inglés, Unified Modelling Language), el cual constituye el lenguaje de modelado de sistemas de software más conocido en la actualidad; aún cuando todavía no es un estándar oficial, está apoyado en gran manera por el OMG (Object Management Group). Es un lenguaje estándar para la especificación, visualización, construcción y documentación de artefactos de sistemas de Software, muy bueno para la modelación de negocios y otros sistemas.