55 resultados para S-D logic
Resumo:
This paper has three sections. In the first one, I expose and discuss Davidson's semantic account of adverbial sentences: the basic idea is that these sentences involve quantification over events, and I defend that view from opposing perspectives like the theory of adverbs as predicate modifiers. In the second section I defend the claim that in english constructions following the scheme: ¿X did V by T-ings¿, we are referring to the same action of X; what is sometimes called ¿The Anscombe Thesis¿. Again I discuss competing theories only to conclude that the Anscombe Thesis is true. In the third section, however, it is shown that to assume as premisses these two theses -Davidson's account and the Anscombe Thesis- leads to a serious conflict. Alternative solutions are worked out and rejected. It is also argued that the only tenable solution depends on certain metaphysical assumptions. Finally, however, I will cast doubt on this solution.
Resumo:
La Universitat de Vic disposa, entre altres equips, d’una cèl·lula flexible de fabricació, del fabricant Festo, que simula un procés de formació de palets amb els productes que es disposen en un magatzem intermedi. Aquesta cèl·lula està composta de quatre estacions de muntatge diferenciades (càrrega de palets, càrrega de plaques, magatzem intermedi i transport). Cada una disposa d'un PLC SIEMENS S7-300 per la seva automatització, i tots aquests es troben interconnectats amb una xarxa industrial Profibus. L'objectiu d'aquest projecte és implantar el sistema SCADA Vijeo Citect pel control i supervisió de l'estació magatzem d'aquesta cèl·lula flexible de fabricació, establint també un intercanvi de dades entre l'SCADA i el Microsoft Access, per poder ser utilitzat per la docència. Aquest projecte s'ha desenvolupat en cinc fases diferents: 1. La primera fase s'ha dedicat a l'automatització pròpiament de l'estació magatzem a partir de l'autòmat programable Siemens S7-300 i complint amb les necessitats plantejades. 2. En la segona fase s'ha programat i establert la comunicació per l'intercanvi de dades (lectura i escriptura) entre el sistema SCADA Vijeo Citect i la base de dades de Microsoft Access. 3. En la tercera fase s'ha elaborat i programat l'entorn gràfic de supervisió i control del procés a partir del sistema SCADA Vijeo Citect. 4. En la quarta fase s'ha instal·lat un OPC Server en el PC i s'ha establert la comunicació entre el PLC i el sistema SCADA. 5. Finalment s'ha anat revisant i depurant les diferents programacions i comunicacions per tal de que el sistema funcioni com a un conjunt.
Resumo:
Voltage fluctuations caused by parasitic impedances in the power supply rails of modern ICs are a major concern in nowadays ICs. The voltage fluctuations are spread out to the diverse nodes of the internal sections causing two effects: a degradation of performances mainly impacting gate delays anda noisy contamination of the quiescent levels of the logic that drives the node. Both effects are presented together, in thispaper, showing than both are a cause of errors in modern and future digital circuits. The paper groups both error mechanismsand shows how the global error rate is related with the voltage deviation and the period of the clock of the digital system.
Resumo:
El autor estudia los elementos de comportamiento clásico, o crisipianos, en álgebras d-completas (introducidas por él mismo como el sustrato algebraico de las lógicas completas) y en álgebras de Sales (sustrato algebraico de las lógicas multivaloradas). Da caracterizaciones de estos elementos en ambos casos. Estudia la relación de dichos elementos con los espectros irreducible, primo y completamente irreducible. Además obtiene que el conjunto de elementos crisipianos de un álgebra de Sales es una subálgebra y es un álgebra de Abbott (o de implicación).
Resumo:
Tant en la meva etapa d’estudiant com en la meva curta vida laboral, he participat en el desenvolupament de varies aplicacions de gestió, tant d’escriptori com web, que majoritàriament sempre estaven dividides en tres capes però en dos nivells: la base de dades i l’aplicació, que contenia tant la lògica de negoci com la vista. Des de fa temps he tingut la curiositat i la necessitat d’intentar desenvolupar una aplicació de gestió que estigui distribuïda en tres o més nivells, separant el model de dades i la lògica de negoci de la vista. Crec que el treball de fi de carrera és idoni per desenvolupar-la. L’aplicació a desenvolupar anirà destinada a la gestió d’un servei d’informàtica, que s’encarrega de resoldre les incidències, inventariar i realitzar el manteniment preventiu dels equips informàtics d’una o de varies empreses. Es crearà una aplicació que contindrà el model de dades i la lògica de negoci. També es crearan dues aplicacions clients: una aplicació d’escriptori que donarà accés a totes i cadascuna de les funcionalitats del sistema i una aplicació web que oferirà un accés lleuger i des de qualsevol ubicació a les funcionalitats d’explotació del sistema. Per últim, també es crearà una altre aplicació web que s’encarregarà de generar els llistats sol•licitats per les dues aplicacions clients. D’aquesta manera també es centralitzarà la gestió dels llistats de les aplicacions del sistema. Per desenvolupar el sistema, s’utilitzarà la plataforma J2EE de Java, i es comptarà amb l’ajuda de marcs de treball com, per exemple, Oracle ADF o JasperReports. Com a conclusió general, puc assegurar que si es distribueixen les tres capes d’un sistema en tres nivells s’obtenen beneficis en l’administració, en el manteniment, en l’escalabilitat, en la flexibilitat i en la reutilització de les aplicacions. El principal inconvenient és el possible augment de lentitud en les aplicacions clients.
Resumo:
L'objectiu d'aquest estudi és doble: la de presentar els elements fonamentals a resoldre de cara a crear un magatzem col·laboratiu que solucioni els problemes creats per la manca d'espai per a les col·leccions existents i futures, així com presentar les característiques pràctiques d'un cas recent que l'autor coneix directament.
Resumo:
Totes les universitats públiques catalanes, entre d'altres institucions, fan servir el programari VTLS per a la gestió de les seves biblioteques. Per a aquesta funció, cada universitat disposa d'un sistema propi en què esta instal·lada localment la base de dades del seu catàleg. El CBUC posseeix el catàleg col·lectiu, resultat de la fusió de tots els fons. En base a aquest últim es realitza la catalogació per còpia i la consulta global de tots els fons simultàniament. Aquest sistema de col·laboració ha estat pioner des de fa molts anys a Espanya, seguint les principals tendències internacionals. Però, en aquests moments, raons tecnològiques i de funcionalitat fan inevitable un canvi de sistema, davant el qual els membres del CBUC estan oberts a noves solucions tècniques i organitzatives que els proporcionin nous avantatges funcionals i econòmics. Per això, el CBUC ha analitzat l'oportunitat d'obrir un nou marc de col·laboració que es fonamentaria en l'establiment d'una instal·lació única i comuna per allotjar el nou sistema informàtic. Un cop analitzats els diferents escenaris possibles, l'opció que es proposa és tenir una aplicació individual per a cada institució compartint un únic sistema informàtic. L'èxit d'experiències internacionals similars avalen una col·laboració com aquesta. És especialment representativa la finlandesa: totes les biblioteques universitàries feien servir des de fa anys el programari VTLS per gestionar-se i van evolucionar conjuntament cap a un nou sistema comú, integrant els disset servidors locals de cada institució en un únic sistema global per a totes (Linnea2). Aquesta col·laboració suposaria l'adquisició d'un únic sistema informàtic que s'instal·laria al CESCA per allotjar les aplicacions de les diferents institucions. Aquestes hi accedirien a través de l'Anella Científica. L'administració de les aplicacions la faria el CBUC. Els principals avantatges que aportaria aquesta solució són: · Increment substancial de la disponibilitat del sistema. · Estalvis econòmics importants (entre 1.742.000 i 2.149.000 euros en cinc anys).
Resumo:
Objectiu: Donar informació sobre els riscos del tabac, avaluar l’hàbit tabàquic i el compliment de la normativa vigent per part de la comunitat universitària a través d’una campanya de sensibilització. Metodologia: Prèviament a l’inici de les activitats es van dissenyar i passar unes enquestes per avaluar l’hàbit tabàquic als estudiants (a l’aula) i treballadors de l’Escola de Ciències de la Salut. Durant la setmana d’activitats, que coincidia amb el Dia Internacional de LLuita Antitabàquica, es va crear una taula informativa a càrrec dels estudiants de l’assignatura Atencions d’Infermeria a Addiccions i Toxicomanies, per tal d’informar de forma àmplia sobre el tabaquisme, conseqüències i tractaments. Al mateix temps i de forma passiva en uns monitors de TV es donava més informació, amb una material creat per aquesta campanya. Resultats: Els mitjans de comunicació van demostrar, des de l’inici de la campanya, un gran interès. Respecte a la participació per part de la comunitat universitària podem dir que va ser acceptable, al voltant de 1000 persones van passar per la taula informativa. El perfil dels estudiants que van contestar l’enquesta va ser dona (66.4%), alumne de fisioteràpia (49%), fumadors (regulars i ocasionals 52%). Dintre del grup de fumadors regulars per gèneres les dones fumen més 37%, front als homes 27.7%. Consum setmanal de cigarretes (regulars i ocasionals), presenta una mitjana de 59 (D.E=49). La majoria ha fet algun intent de deixar de fumar, 61%. Respecte al temps d’ abstinència un 69.9% no ha passat de 3 mesos i un 96% pensa que fumar en un espai tancat és perjudicial pels altres. Per últim, de tots el entrevistats la gran majoria (97.8%), declaren que fumen davant seu i a un 41.4 % els molesta. Conclusions: La Comissió fa una valoració positiva general, de com es van desenvolupar les diferents activitats. No obstant s’observa poca sensibilització per una part de la comunitat universitària respecte a la llibertat de viure.
Resumo:
Aquest informe presenta els resultats d'un estudi dels usuaris de les revistes electròniques de compra consorciada del CBUC que complementa els obtinguts en estudis previs d'anàlisi de les estadístiques d'ús de revistes electròniques. L'estudi es va realitzar a través d'una enquesta distribuïda entre els mesos de maig i juny de 2005 als prop de 15.000 professors de les universitats que formen part del CBUC, en la qual se'ls preguntava per l'ús i la valoració de la col·lecció de revistes electròniques i impreses disponibles a la seva institució. Es van rebre un total de 2.682 respostes, que representen una taxa de resposta situada al voltant del 18%.
Resumo:
Treball de recerca realitzat per un alumne d’ensenyament secundari i guardonat amb un Premi CIRIT per fomentar l'esperit científic del Jovent l’any 2005. L’objectiu fonamental ha estat la descripció i l’anàlisi lingüística de la parla dels nens petits, és a dir, dels nens de P-2 a P-5, mitjançant una aproximació eminentment pràctica amb un breu recolzament teòric. En una breu introducció teòrica es defineixen els termes lingüístics i les disciplines utilitzades en l’estudi, s’expliquen els diferents factors que intervenen en el procés de la parla, ja que el fet de parlar suposa haver arribat a un grau determinat de desenvolupament físic, motor, sensorial, cognitiu, etc. També s’esmenten les relacions entre llenguatge i pensament i les diverses teories que expliquen l’origen del llenguatge. I, per acabar, es fa una pinzellada a les característiques evolutives dels nens des del seu naixement fins que tenen cinc-sis anys. En la part pràctica, s’analitza la parla dels nens de P-2 a P-5 mitjançant el mètode de l’enquesta directa a una seixantena de nens i d’altres proves, fent referència a una sèrie d’aspectes lingüístics considerats importants per tal d’entendre l’evolució de la parla en cada edat com són els nivells morfològic, sintàctic, fonètic, lèxic, així com els elements de la comunicació no verbal.
Resumo:
Estudi aproximatiu a la síntesi en fase sòlida de la part glicosídica de la digitoxina, essencial per l’activitat biològica com a reguladora de les propietats farmacocinètiques, i per tant molt important per l’avenç de la química mèdica i bioinorgànica. La metodologia que s’ha seguit inclou: síntesi de la pentosa de partença adequada, a partir de la qual, es van obtindre les unitats de 2,6- didesoxiglicósids; síntesi dels suports polimèrics necessaris per la síntesi en fase sòlida dels compostos objectiu; estudi de diferent tipus de glicosil dadors i activador de tioglicosids, lactols i tricloroacetimidats per la reacció de glicosilació amb el linker. S’ha assolit comprensió i coneixement de la tecnologia associada a la síntesi en fase sòlida, que requereix procediment diferenciat de la síntesi en solució convencional.
Resumo:
Ever since the appearance of the ARCH model [Engle(1982a)], an impressive array of variance specifications belonging to the same class of models has emerged [i.e. Bollerslev's (1986) GARCH; Nelson's (1990) EGARCH]. This recent domain has achieved very successful developments. Nevertheless, several empirical studies seem to show that the performance of such models is not always appropriate [Boulier(1992)]. In this paper we propose a new specification: the Quadratic Moving Average Conditional heteroskedasticity model. Its statistical properties, such as the kurtosis and the symmetry, as well as two estimators (Method of Moments and Maximum Likelihood) are studied. Two statistical tests are presented, the first one tests for homoskedasticity and the second one, discriminates between ARCH and QMACH specification. A Monte Carlo study is presented in order to illustrate some of the theoretical results. An empirical study is undertaken for the DM-US exchange rate.