Modelos para previsão de carga a curto prazo através de redes neurais artificiais com treinamento baseado na teoria da informação

O conhecimento prévio do valor da carga é de extrema importância para o planejamento e operação dos sistemas de energia elétrica. Este trabalho apresenta os resultados de um estudo investigativo da aplicação de Redes Neurais Artificiais do tipo Perceptron Multicamadas com treinamento baseado na Teoria da Informação para o problema de Previsão de Carga a curto prazo. A aprendizagem baseada na Teoria da Informação se concentra na utilização da quantidade de informação (Entropia) para treinamento de uma rede neural artificial. Dois modelos previsores são apresentados sendo que os mesmos foram desenvolvidos a partir de dados reais fornecidos por uma concessionária de energia. Para comparação e verificação da eficiência dos modelos propostos um terceiro modelo foi também desenvolvido utilizando uma rede neural com treinamento baseado no critério clássico do erro médio quadrático. Os resultados alcançados mostraram a eficiência dos sistemas propostos, que obtiveram melhores resultados de previsão quando comparados ao sistema de previsão baseado na rede treinada pelo critério do MSE e aos sistemas previsores já apresentados na literatura.

Aprendizagem de eletromagnetismo via programação e computação simbólica

Relatamos a experiência de utilizar programação em Maple como ferramenta de aprendizagem do estudante num curso básico de teoria eletromagnética. Acreditamos que este relato possa ser útil a quem desejar utilizar o computador como instrumento pedagógico no ensino de Física.

Aplicações do fluxo de Ricci à teoria da relatividade geral: estudo dos buracos negros

The flow of Ricci is an analytical tool, and a similar equation for heat geometry, a diffusive process which acts on a variety of metrics Riemannian and thus can be used in mathematics to understand the topology of varieties and also in the study geometric theories. Thus, the Ricci curvature plays an important role in the General Theory of Relativity, characterized as a geometric theory, which is the dominant term in the Einstein field equations. The present work has as main objectives to develop and apply Ricci flow techniques to general relativity, in this case, a three-dimensional asymptotically flat Riemannian metric as a set of initial data for Einstein equations and establish relations and comparisons between them.

Análise do efeito de entropia em computação quântica: simulações em ambiente paralelo

Pós-graduação em Ciência da Computação - IBILCE

Metodologia para reconhecimento de perfil cognitivo: uma abordagem computacional pautada pela teoria das inteligências múltiplas.

A área da Tecnologia da Informação no Brasil sofre um problema latente com a falta de planejamento e atrasos constantes em projetos, determinando para os profissionais vinculados a ela um ambiente altamente desmotivador para a condução de seus trabalhos. Supõe-se que o que possa corroborar para tal problema seja a formação educacional deficitária dos indivíduos que atuam neste segmento, principalmente aqueles relacionados a cargos executivos e que estejam exercendo atividades de gestão. De acordo com teóricos como Edgard Morin (2004), em se tratando de educação fundamental, média ou superior os aspectos educacionais podem ser considerados deficitários justamente porque, ao segmentar o conhecimento, eles promovem uma alienação do indivíduo, eliminando sua capacidade criativa e reflexiva. Seria interessante, portanto, que ao avaliar a capacidade cognitiva de uma pessoa, a inteligência a ser mensurada não seja abordada através de um único espectro de conhecimento, mas através de muitos deles. A teoria das Inteligências Múltiplas, desenvolvida por Howard Gardner vem de encontro a essa necessidade, pois de acordo com o autor, a inteligência de um indivíduo deve ser mensurada através de uma gama de nove espectros: Linguística, Musical, Lógico-Matemática, Espacial, Corporal Cinestésica, Interpessoal, Intrapessoal, Naturalista e Existencial. Isto posto, este trabalho aborda uma metodologia computacional para classificação e descoberta de padrões em indivíduos, sejam esses alunos ou profissionais graduados, de uma determinada área. Além da metodologia, foi proposto um estudo de caso, considerando cursos superiores relacionados à área de Computação no Brasil.

Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B

Event-B is a formal method for modeling and verification of discrete transition systems. Event-B development yields proof obligations that must be verified (i.e. proved valid) in order to keep the produced models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the satisfiability of logic formulas considering a background theory (or combination of theories). SMT solvers not only handle large firstorder formulas, but can also generate models and proofs, as well as identify unsatisfiable subsets of hypotheses (unsat-cores). Tool support for Event-B is provided by the Rodin platform: an extensible Eclipse based IDE that combines modeling and proving features. A SMT plug-in for Rodin has been developed intending to integrate alternative, efficient verification techniques to the platform. We implemented a series of complements to the SMT solver plug-in for Rodin, namely improvements to the user interface for when proof obligations are reported as invalid by the plug-in. Additionally, we modified some of the plug-in features, such as support for proof generation and unsat-core extraction, to comply with the SMT-LIB standard for SMT solvers. We undertook tests using applicable proof obligations to demonstrate the new features. The contributions described can potentially affect productivity in a positive manner.

Uma aplicação do método fuzzy-electre-topsis para seleção de serviços de computação em nuvem

This work presents an application of a hybrid Fuzzy-ELECTRE-TOPSIS multicriteria approach for a Cloud Computing Service selection problem. The research was exploratory, using a case of study based on the actual requirements of professionals in the field of Cloud Computing. The results were obtained by conducting an experiment aligned with a Case of Study using the distinct profile of three decision makers, for that, we used the Fuzzy-TOPSIS and Fuzzy-ELECTRE-TOPSIS methods to obtain the results and compare them. The solution includes the Fuzzy sets theory, in a way it could support inaccurate or subjective information, thus facilitating the interpretation of the decision maker judgment in the decision-making process. The results show that both methods were able to rank the alternatives from the problem as expected, but the Fuzzy-ELECTRE-TOPSIS method was able to attenuate the compensatory character existing in the Fuzzy-TOPSIS method, resulting in a different alternative ranking. The attenuation of the compensatory character stood out in a positive way at ranking the alternatives, because it prioritized more balanced alternatives than the Fuzzy-TOPSIS method, a factor that has been proven as important at the validation of the Case of Study, since for the composition of a mix of services, balanced alternatives form a more consistent mix when working with restrictions.

Älykkään suunnittelun teoria : Tutkimus kansanomaisen psykologian ja biologian yhteydestä kreationistiseen ajatteluun

Tutkimuksen kohteena on (uus)kreationistinen älykkään suunnittelun (Intelligent Design) teoria. Tutkimus on luonteeltaan teoreettinen ja lukeutuu kognitiivisen uskonnontutkimuksen alaan. Näkökulmana on tarkastella älykkään suunnittelun teorian mukaista ajattelua ihmisen intuitiivisena taipumuksena ymmärtää luontoa ja luonnossa esiintyviä mekanismeja. Esimerkkinä intuitiivisesta päättelystä tarkastellaan erityisesti kansanomaisen psykologian (folk psychology) ja kansanomaisen biologian (folk biology) mukaista ajattelua. Tutkimuksessa kysytään: ilmeneekö älykkään suunnittelun teoriassa mahdollisesti kansanomaisen psykologian ja biologian mukaista ajattelua? Ensimmäiseksi käsitteellistetään älykkään suunnittelun teoria ja esitellään tutkimuksen aineisto. Esille tulevat yhteydet Yhdysvaltojen uskonnolliseen ilmapiiriin, kristillisten kreationististen suuntausten jatkumoon sekä evoluutioteoriaan. Aineisto koostuu älykkään suunnittelun teoriaa kehitelleen Michael J. Behen todistajanlausunnosta Doverin oikeudenkäynnissä, jossa arvioitavana oli älykkään suunnittelun teorian mahdollinen tieteellisyys ja uskonnollisuus. Tutkimuksen teoreettisessa viitekehyksessä määritellään tarkemmin, minkälaisiin ajattelutapoihin kansanomaisella, tieteellisellä ja uskonnollisella ajattelulla tutkimuksessa viitataan. Tämän jälkeen esitellään teoreettiset työvälineet - kansanomaisen psykologia ja biologia. Teoriaosuudessa tarkennetaan myös kansanomaisen, tieteellisen ja uskonnollisen ajattelun suhdetta intuitiiviseen ja intuitionvastaiseen ajatteluun, sekä määritellään kolmas termi epäintuitiivisuus. Teoriaosuus perustuu pääasiassa kognitiivisen uskonnontutkimuksen alaan lukeutuvien tutkijoiden, kuten Scott Atranin, Pascal Boyerin, Robert N. McCauleyn ja Ilkka Pyysiäisen julkaisuihin. Tutkimuksessa tarkastellaan myös evoluutioteorian ymmärtämistä tutkineen E. Margaret Evansin tutkimuksia. Analyysissä teoreettisia huomioita havainnollistetaan aineistosta löydettyjen esimerkkien kautta. Teoriaohjaavan sisällönanalyysin kautta Behen todistajanlausunnosta nostetaan esille erityisesti kansanomaisen psykologian ja biologian mukaiset ajattelun tavat. Analyysissä tarkastellaan, mitä tutkimuslöydösten avulla voidaan selittää älykkään suunnittelun teorian edustamasta kreationistisesta ajattelusta. Tutkimustuloksena esitetään, että älykkään suunnittelun teoria mukailee monilta osin sekä kansanomaista psykologiaa että kansanomaista biologiaa. Älykkään suunnittelun teoriassa muodostetaan intuitiivinen ideakokonaisuus maailmasta/ eliökunnasta ja sen aiheuttaneesta intuitionvastaisesta toimijasta. Mahdolliset epäintuitiiviset elementit, kuten luonnonvalinta ja kristillinen teologia, ovat teoriassa olemattomat. Tutkimuksessa osoitetaan, että kreationistista ajattelua voidaan perustellusti tarkastella ihmiselle intuitiivisena taipumuksena ymmärtää luontoa.

John Searlen teoria tietoisuudesta

Tutkielmassa esitellään ja arvioidaan John Searlen teoriaa tietoisuudesta. Tietoisuus (consciousness) on Searlen mukaan tärkein mielenfilosofinen käsite. Searle ei määrittele käsitettä tarkasti, vaan tyytyy esittämään sitä kuvaavia esimerkkejä ja analogioita. Tietoisuuden keskeisimmiksi ominaisuuksiksi Searlen teoriassa näyttävät muodostuvan intentionaalisuus (intentionality), subjektiivisuus (subjectivity) ja kausaalinen vaikutus käyttäytymiseen (mental causation). Näihin ominaisuuksiin liittyvät myös Searlen painavimmat tietoisuudesta esittämät argumentit. Argumenttien analysointi on tutkielman tärkein tavoite. Searlen yhteysperiaatteen (Connection Principle) mukaan intentionaalisia tiloja voi olla vain olennolla, jolla voi olla tietoisia intentionaalisia tiloja, ja jokainen alitajuinen intentionaalinen tila on ainakin potentiaalisesti tietoinen. Toisin sanoen intentionaalisuuden ja tietoisuuden välillä vallitsee välttämätön yhteys seuraavasti: on loogisesti välttämätöntä, että jokainen intentionaalinen tila voi ainakin periaattessa päästä tietoisuuteen.Tutkielmassa kuitenkin osoitetaan, että yhteysperiaateeseen on syytä suhtautua epäillen. Searlen yhteysperiaatteen puolesta esittämä argumentti näyttää nimittäin sisältävän dilemman. Jos erottelu intrinsiseen ja näennäiseen intentionaalisuuteen tulkitaan Searlen tavoin, syyllistytään sen olettamiseen, mikä pitäisi todistaa; jos taas erottelu tulkitaan toisin kuin Searle, argumentti ei tue yhteysperiaatetta. Searlen mukaan mentaaliset tilat ovat aina jonkun mentaalisia tiloja. Tästä väitteestä Searle pyrkii johtamaan toisen, paljon radikaalimman väitteen: mielen ilmiöt kuuluvat omaan ontologiseen kategoriaansa, subjektiivisten mentaalisten tilojen kategoriaan. Searlen käsitystä tukee Thomas Nagelin esittämä, hyvin samansisältöinen argumentti. Yksimielisyys ei kuitenkaan ole erehtymättömyyden tae, sillä Paul Churchlandin kritiikki näyttää pahasti horjuttavan Searlen subjektiivisuusargumentin uskottavuutta. Churchland väittää Searlen syyllistyvän intensionaaliseen virhepäätelmään. Yksittäisen henkilön episteemisen pääsyn rajoittuneisuudesta ei Churchlandin mukaan voida tehdä mitään ontologisia johtopäätöksiä, koska tiedetyksi tuleminen ei ole objektin aito ominaisuus. Vastaväite näyttää olevan kohtalokas Searlen subjektiivisuusargumentille. Subjektiivisuuden ongelma näyttää olevan perustava metafyysinen vedenjakaja, joka jakaa mielenfilosofiset teoriat toisaalta materialistisiin, toisaalta dualistisiin. Searle uskoo, että mieli-ruumis -ongelma (mind-body problem) on ratkaistavissa ilman, että tarvitsee valita kumpaakaan. Ratkaisu sisältyy kahteen Searlen näennäisesti yhteensopimattomaan teesiin. Ensimmäisen teesin mukaan mentaaliset tilat ovat todellisia ilmiöitä, eikä niitä voida redusoida mihinkään muuhun tai eliminoida määrittelemällä ne uudestaan. Toisen teesin mukaan aivojen operaatiot aiheuttavat mentaaliset tilat ja mentaaliset tilat ovat aivojen piirteitä. Teeseistä jälkimmäinen osoittautuu ongelmalliseksi syistä, jotka Jaegwon Kim on esittänyt. Jos mentaaliset tilat olisivat aivojen ominaisuuksia, ei mielen ja aivojen välinen suhde voisi olla kausaalinen, koska kausaatiossa (causation) on aina kyse kahden erillisen entiteetin tai tapahtuman välisestä relaatiosta, jossa suhteen osapuolien välillä on oltava ajallista etäisyyttä. Toiseksi Searlen vertaus tietoisuuden ja aivojen suhteesta kappaleen kiinteyden ja sen mikrorakenteen suhteeseen epäonnistuu, koska tietoisuus ja kiinteys kuuluvat Searlen teoriassa eri ontologisiin kategorioihin, eikä niitä siten voi ongelmattomasti rinnastaa. Searlen analogia kiinteyteen murtuu myös siksi, että kappaleen mikrorakenne ei yksinkertaisesti aiheuta sen kiinteyttä. Tietoisuus ei siis voi olla samanaikaisesti aivojen ominaisuus ja aivojen kausaalisen toiminnan seuraus. Tutkielmassa päädytään puolustamaan kantaa, että Searlen argumentit eivät ole vakuuttavia ja että Searle ei ole onnistunut eksplikoimaan teoriaa, joka välttäisi dualismiin ja materialismiin liittyvät tunnetut ongelmat. Kysymys mikä on mielen suhde ruumiiseen, jää siten avoimeksi. Avainsanat: intentionaalisuus, mentaalinen, mieli-ruumis -ongelma, Searle, subjektiivisuus, tietoisuus

Manual de teoria: Microbiologia veterinaria II

El Manual de Teoría de Microbiología II tiene como principal objetivo reunir la mayor información básica de los contenidos establecidos en el programa de la asignatura, de esta forma los estudiantes adquieran los conocimientos necesarios. Les aporta además la forma estructurada para el aprendizaje, lo cual le posi- bilita un método de estudio y establecer las interrelaciones necesarias para un estudio sistemático. Como texto básico podrá después utilizar textos con mayor información teniendo de antemano los conocimientos previos y necesarios. La información reunida en el presente Manual de Microbiología II es el resultado de la recopilación de la información de autores y especialistas, solo nos correspondió sobre las experiencias de los que nos precedieron reunir y estructurar los contenidos. Es necesario establecer para su estudio un pensamiento lógico y de constante interrelación y a la vez de integración hacia el desarrollo de un pensamiento independiente y creativo. Es muy importante establecer un estudio sistemático y el uso de la síntesis y a la vez emplear un método científico, elevada avidez por saber y profundizar para adquirir la formación de un profesional preparado y capacitado para asumir las responsabilidades en el cumplimiento de sus compromisos sociales.

Aplicabilidade da teoria do desvio de poder no controle da constitucionalidade de atos legislativos : contornos, limites e superação pela teoria dos princípios

Consultoria Legislativa - Área VIII - Área de Direito Administrativo e de Administração Pública.

Declaração judicial de inconstitucionalidade das leis distritais da 5.ª legislatura : uma análise à luz da teoria dos diálogos constitucionais

O trabalho promove um estudo exploratório-analítico sobre as leis distritais da 5.ª Legislatura declaradas inconstitucionais pelo Poder Judiciário, sob o enfoque de sua tramitação legislativa e das características dessas leis. São utilizados conhecimentos acerca dos limites jurídicos opostos ao legislador distrital, do modelo distributivista de comportamento parlamentar, associado a práticas políticas clientelistas, e da concepção da jurisdição constitucional à luz da teoria dos diálogos constitucionais, pela qual a adequada interpretação da Constituição Federal e da Lei Orgânica do Distrito Federal estabelece-se a partir do diálogo dos Poderes da República entre si e com a sociedade civil, e não pela última palavra a ser declarada pelos tribunais judiciários. Com a análise dos dados coletados, pretende-se identificar as principais causas, as características e os autores do fenômeno da declaração judicial de inconstitucionalidade das leis distritais, a fim de possibilitar uma melhor compreensão da comunidade sobre esse complexo tema.

Teoria e prática da atuação das frentes parlamentares : o caso da Frente Parlamentar Mista de Educação em 2011

Descreve o papel e a atuação da Frente Parlamentar Mista de Educação na 54º Legislatura, em 2011. As metas propostas pela Frente e os resultados efetivamente alcançados são examinados à luz das conexões eleitorais que orientam as ações parlamentares, da teoria da escolha racional, da lógica da ação coletiva e da teoria da visibilidade. A preocupação central do estudo é verificar a que serve e a quem serve a criação, ainda que não institucionalizadas, de estruturas corporativas no âmbito do Congresso Nacional, especialmente, no presente caso, de uma Frente Parlamentar que atua de forma discreta, porém vigorosa.