Search results for "programming."
showing 10 items of 3035 documents
From UML State Machine Diagram into FPGA Implementation
2013
Abstract In the paper a method of using the Unified Modeling Language diagrams for specification of digital systems, especially logic controllers, is presented. The proposed method is based mainly on the UML state machine diagrams and uses Hierarchical Concurrent Finite State Machines (HCFSMs) as a temporary model. The paper shows a way to transform the UML diagrams to the form that is acceptable by reconfigurable FPGAs (Field Programmable Gate Arrays). The UML specification is used to generate an effective program in Hardware Description Languages (HDLs), especially Verilog.
A Notation for Modeling Jason-Like BDI Agents
2012
The design and development of a large Multi Agent System (MAS) is a complex and difficult activity where a proper modeling notation may offer a significant contribution to the formulation of the best solution. The support provided by a specific CASE tool can significantly contribute to make the chosen approach technically valid and it is also a fundamental element of a feasible development strategy. The present work reports a UML profile and the related graphical notation for describing a MAS based on the Jason meta model. Moreover a specific CASE tool has been developed for supporting MASs design and automatic code generation. The proposed notation is shown in details using a classical exa…
Transformations Between UML Diagrams
2003
The Unified Modeling Language (UML) provides various diagram types for describing a system from different perspectives or abstraction levels. Hence, UML diagrams describing the same system are dependent and strongly overlapping. In this paper we study how this can be exploited for specifying transformation operations between different diagram types. We discuss various general approaches and viewpoints of model transformations in UML. The source and target diagram types for useful transformations are analyzed and given categories. The potentially most interesting transformation operations are discussed in detail. It is concluded that the transformation operations can automate a substantial p…
Reduction of UML Class Diagrams
2002
One and the same “real world” can be modeled by different UML class diagrams, which in such a case can be considered “intuitively equivalent”. A formalization of this “intuitive equivalence” of class diagrams is proposed. An algorithm is constructed that for two class diagrams determines if they model the same “real world”. This algorithm can be used in CASE tools to compare alternative models of a system, and for diagram “compression” to facilitate understanding of large diagrams.
Oltre il canone nazionale. Le voci che parlano in catalano
2020
Riassunto: Nella nuova Europa della generazione, o delle generazioni, Erasmus, in questa Europa che vogliamo cosmopolita, ci aspetta il racconto di una letteratura meno parziale, meno sottomessa al principio egemonico degli stati-nazione, una letteratura che ci permetta di recuperare, soprattutto, le voci forti ed emozionanti di autori che il fiume del processo storico ha lasciato in un’ansa laterale, dove piccole comunita hanno potuto continuare a coltivarne e proteggerne la memoria, non senza il rischio di partecipare, con la loro cura identitaria, al processo di esclusione dal canone internazionale. Potremo, anche, guardare per la prima volta, o per la prima volta con adeguata consapevol…
Protocolo técnico para la fotografía de fuentes filológicas primarias
2014
con fines documentales, proyectado para garantizar la máxima fidelidad posible al motivo original representado. Tras una descripción detallada del material necesario, seleccionado específicamente en función de las necesidades particulares de la fotografía de textos manuscritos o impresos, se desarrolla un procedimiento adaptado a las nuevas circunstancias de la fotografía digital, concebido en dos fases: la captación de la imagen en formato RAW, y su posterior edición. En este estudio se trata la primera parte, describiendo sistemáticamente, paso a paso, las decisiones técnicas relativas a los ajustes fotográficos de la toma en diferentes situaciones lumínicas, encaminadas a maximizar la ca…
Arredor do Rexurdimento. Apuntamentos xerais
2020
Resumo: Este é un estudo do actual estado da investigación sobre o Rexurdimento. A partir dunha bibliografía actualizada, analizamos a renacenza galega e facemos a nosa achega en canto á definición, cronoloxía, características centrais, contribución ao imaxinaio nacional colectivo e o valor da lingua como elemento central na construción da identidade e criterio filolóxico na literatura. Ademais, o estudo parte da relación entre o campo político e o cultural. Para isto tomamos de base, e de xeito principal, os estudos de Xoán González Millán, Antón Figueroa e Alejandro Alonso Nogueira. 
 
 
 Paraules clau: Rexurdimento, criterio filolóxico, lingua galega, imaxinario nacional c…
En lo que cabe and the limits of assertion
2019
El presente trabajo analiza la expresión en lo que cabe, construcción en proceso de fijación como operador discursivo que muestra cierta complejidad en su construcción y comportamiento macrosintácticos. Cumple algunos requisitos de los llamados operadores discursivos, pero coexiste con la construcción libre. Su valor es el de limitar una valoración y reducir la fuerza argumentativa de su alcance. Este contenido procedimental se desarrolla a partir del contenido semántico originario y de las funciones que cumple en el discurso. The present work analyzes the expression en lo que cabe, construction in process of fixation as discursive operator that shows certain complexity in its construction …
Apunts de teoria de Matemàtiques II (2013/2014)
2014
Apunts de teoria de l'assignatura Matemàtiques II dins dels estudis de grau en Economia, en administració i direcció d'empreses i en finances i comptabilitat. Notes of Theory of the subject "Matemàtiques II", in the studies of degree in Economics, degree in business administration and degree in finance and accounting. Aquest document substitueix al del mateix nom del curs 2011/2012 perquè conté algunes correccions d'errades. Aquest material ha rebut un dels incentius de la convocatòria 2011 per a la qualitat en l’elaboració de materials docents del Servei de Política Lingüística de la Universitat de València, servei que també ha revisat lingüísticament el text.
Identifying gene-environment interactions in schizophrenia: contemporary challenges for integrated, large-scale investigations
2014
European Community Recent years have seen considerable progress in epidemiological and molecular genetic research into environmental and genetic factors in schizophrenia, but methodological uncertainties remain with regard to validating environmental exposures, and the population risk conferred by individual molecular genetic variants is small. There are now also a limited number of studies that have investigated molecular genetic candidate gene-environment interactions (G x E), however, so far, thorough replication of findings is rare and G x E research still faces several conceptual and methodological challenges. in this article, we aim to review these recent developments and illustrate h…