Generador d'horaris d'un centre docent

El projecte intenta resoldre el problema que suposa organitzar l'horari escolar en els centres docents. S'usa el Visual Bàsic per aconseguir, omplir i mostrar el contingut d’una base de dades feta amb Microsoft Access. Per generar el resultat, s'utilitza el llenguatge de programació lògica Prolog, el qual en ser un llenguatge declaratiu i utilitzant una llibreria de restriccions que permet fer modificacions d’una forma molt versàtil, aconsegueix un entorn de programació ideal per atacar aquest tipus de problema. Amb una interacció del Visual Bàsic amb el Prolog es pot mostrar d’una manera elegant i fàcil d’entendre el resultat obtingut

Restaural, sistema de gestió de comandes per restaurants

El projecte consisteix en un sistema informatitzat per restaurants centralitzat en un servidor que permet recollir comandes als clients a través de PDA’s i de pantalles tàctils situades a la barra per enviar-les als corresponents llocs d’ elaboració: -Terminal de la cuina on s’elaboraran tots els menjars. -Terminal de la bodega on es serviran els vins i caves. -Terminal barra on es serviran els licors, refrescos (entre d’altres productes totalment configurables). -Terminal de postres on es reben les línies de comanda relacionades amb els postres. L’objectiu acadèmic del projecte serà adquirir coneixement a nivell de disseny i gestió de dades, així com la comunicació de diversos dispositius en temps real. S’utilitzarà la tecnologia .net, concretament el llenguatge de programació visual c# .net. i com a gestor de bases de dades el mysql 5.0.19. A més, es treballa amb la metodologia UML, utilitzant també diversos patrons. Per fer del sistema un sistema centralitzat en un servidor s’utilitzarà la comunicació per terminal service de windows el qual ens brinda la possibilitat d’establir diverses sessions d’usuaris concurrents. Cada sessió estarà destinada a un cambrer, per tant, hi haurà una sessió per PDA

Mòdul de gestió de magatzems segons el model d'organització física de "magatzem caòtic"

Creació d'una 'aplicació de gestió comercial i comptable partint de la ja existent en l’empresa Ph Systems S.L., seguint per tant la tecnologia utilitzada en aquesta aplicació, desenvolupada en Visual Basic 6 i utilitzant uns objectes i llibreries propis per facilitat l’enllaç dels formularis amb les taules de la base de dades utilitzant tant connexions ODBC com connexions OLE DB. El gestor de base de dades seleccionat per realitzar el projecte serà Oracle, que és el que actualment s’utilitza per les dades de l’aplicació de gestió d’estocs. Tasques a realitzar: Anàlisi dels requeriments del sistema. Disseny dels diferents mòduls de la futura aplicació. Obtenir una base de dades ben definida partint de la ja existent. Implementació dels mòduls de la futura aplicació. Els objectius d’aprenentatge d’aquest projecte són els següents: Millora del coneixement de la gestió d’una base de dades Oracle Millora en l’aprenentatge del llenguatge de programació Visual Basic 6

L' Ensenyament per tasques: programació d'una assignatura de traducció de l'alemany a l'espanyol

In this work we present a proposal for a course in translation from German into Spanish following the task based approach as known in second language acquisition. The aim is to improve the translation competence of translation students. We depart from the hypothesis that some students select inapropiate translation strategies when faced with certain translation problems leading them to translation errors. In order to avoid these translation errors originated by wrong application of such strategies we propose a didactic method which helps to prevent them by a) raising awareness of the different subcompetences required while translating, b) improving the ability to identify translation problems and relate them to the different subcompetences and c) enhancing the use of the most adequate strategy according to the characteristics of each problem. With regard to translation and how translation competence is acquired our work follows the communicative approach to translation theory as defended among others by Hatim & Mason (1990), Lörscher (1992) and Kiraly (1995), where translation is seen as a communicative activity which can be analized from a psycholinguistic perspective. In this sense we give operative definitions for what we understand by “translation problem”, “translation strategy”, “translation error”, “translation competence” and “translation”. Our approach to didactics adapts recent developments in Second Language Teaching within the communicative paradigm as is the task based approach by Nunan (1989) acquisition to translation. Fitting the recquirements of this pedagogic approach we present a planning for a translation course which is compatible with present translation studies.

Eina gràfica per la creació d'autòmats per a la representació del llenguatge natural

Aquest projecte tracta la implementació d’una eina gràfica multiplataforma de creació i edició de gramàtiques electròniques per representar el Llenguatge Natural. És una eina per lingüistes i projectes com Spanish FrameNet Project amb la quan poden representar fàcilment transductors en un format més visual, les transicions es representen en forma de “caixes”, i guardar els resultats. S’han implementat varies opcions per crear una eina còmode i personalitzable per l’usuari amb funcionalitats enfocades a les seves necessitats com importar/exportar autòmats des d’una Expressió Regular. Es tracta l’implementació de tots els components que s’han necessitat per crear la GUI així com la seva funcionalitat.

El llenguatge dels mitjans

El TFC tracta d'analitzar el llenguatge a partir d'una mostra de 77 minuts de programació televisiva, dedicant un interès especial a les marques d'oralitat.

L'Estudiant com a eix de la programació docent. Una experiència basada en les expectatives dels estudiants

Des de l’inici del segle XX diversos autors amb diversos punts de vista sobre la pedagogia van assenyalar la importància d’aprendre a partir de l’ensenyament del “saber fer” o competències, en l’actual llenguatge introduït pel conveni de Bolonya el 1999. Aquesta comunicació vol discutir primer les dificultats del cos docent per adequar-se als canvis generacionals i, al mateix temps, vol fer una reflexió sobre fins a quin punt la proposta de models alternatius en l’actualitat és vàlida. Aquestes dues qüestions es tractaran a través l’explicació d’una experiència docent innovadora, en l’àmbit de l’urbanisme, amb un grup d’estudiants del segon any dels estudis d’Arquitectura. Aquest esdeveniment s’explicarà a partir d’una anàlisi de l’alumnat feta també mitjançant d’un qüestionari que es va passar per conèixer les seves perspectives abans que comencés el curs. Després s’explicaran els objectius, la divisió de les tasques, els resultats esperats, els resultats assolits i els resultats no esperats però positius. L’avaluació del curs va ressaltar que la programació d’un curs a partir de les necessitats dels estudiants comporta una gran participació del professorat en el moment de desenvolupar la tasca docent i que va més enllà de la implicació que comporta la clàssica docència magistral. Al mateix temps, l’èxit positiu va ser motiu també d’una reflexió sobre els factors que hi van contribuir

Recursos ad hoc: les NTIC com a eina per a la programació i/o acció didàctica

Amb aquest estudi pretenem que els nostres estudiants assoleixin els següents objectius: Conèixer recursos en línia que ofereixin recursos musicals per al treball específic de llenguatge musical i d’expressió vocal propis de l’àrea de música; aprofundir i millorar, a partir d’aquests recursos, els plantejaments interdisciplinaris del currículum d’educació infantil i primària

Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSP

This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to he used directly within the CSP part of the specification. In addition to specification, we also discuss refinement and verification in this model. The common semantic basis enables a unified method of refinement to be used, based upon CSP refinement. To enable state-based techniques to be used fur the Object-Z components of a specification we develop state-based refinement relations which are sound and complete with respect to CSP refinement. In addition, a verification method for static and dynamic properties is presented. The method allows us to verify properties of the CSP system specification in terms of its component Object-Z classes by using the laws of the the CSP operators together with the logic for Object-Z.

Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.

Wind-CSP short-term coordination by MILP approach

This paper is on the maximization of total profit in a day-ahead market for a price-taker producer needing a short-term scheduling for wind power plants coordination with concentrated solar power plants, having thermal energy storage systems. The optimization approach proposed for the maximization of profit is a mixed-integer linear programming problem. The approach considers not only transmission grid constraints, but also technical operating constraints on both wind and concentrated solar power plants. Then, an improved short-term scheduling coordination is provided due to the more accurate modelling presented in this paper. Computer simulation results based on data for the Iberian wind and concentrated solar power plants illustrate the coordination benefits and show the effectiveness of the approach.

Self-Scheduling for energy and spinning reserve of wind/CSP plants by a MILP approach

This paper is on the self-scheduling for a power producer taking part in day-ahead joint energy and spinning reserve markets and aiming at a short-term coordination of wind power plants with concentrated solar power plants having thermal energy storage. The short-term coordination is formulated as a mixed-integer linear programming problem given as the maximization of profit subjected to technical operation constraints, including the ones related to a transmission line. Probability density functions are used to model the variability of the hourly wind speed and the solar irradiation in regard to a negative correlation. Case studies based on an Iberian Peninsula wind and concentrated solar power plants are presented, providing the optimal energy and spinning reserve for the short-term self-scheduling in order to unveil the coordination benefits and synergies between wind and solar resources. Results and sensitivity analysis are in favour of the coordination, showing an increase on profit, allowing for spinning reserve, reducing the need for curtailment, increasing the transmission line capacity factor. (C) 2014 Elsevier Ltd. All rights reserved.

Wind-CSP short-term coordination by Milp approach

This paper is on the maximization of total profit in a day-ahead market for a price-taker producer needing a short-term scheduling for wind power plants coordination with concentrated solar power plants, having thermal energy storage systems. The optimization approach proposed for the maximization of profit is a mixed-integer linear programming problem. The approach considers not only transmission grid constraints, but also technical operating constraints on both wind and concentrated solar power plants. Then, an improved short-term scheduling coordination is provided due to the more accurate modelling presented in this paper. Computer simulation results based on data for the Iberian wind and concentrated solar power plants illustrate the coordination benefits and show the effectiveness of the approach.

Optimal generation scheduling of wind-CSP systems in day-ahead electricity markets

This paper presents a coordination approach to maximize the total profit of wind power systems coordinated with concentrated solar power systems, having molten-salt thermal energy storage. Both systems are effectively handled by mixed-integer linear programming in the approach, allowing enhancement on the operational during non-insolation periods. Transmission grid constraints and technical operating constraints on both systems are modeled to enable a true management support for the integration of renewable energy sources in day-ahead electricity markets. A representative case study based on real systems is considered to demonstrate the effectiveness of the proposed approach. © IFIP International Federation for Information Processing 2015.