Towards formal verification of analog mixed signal designs using SPICE circuit simulation traces

An extension to a formal verification approach of hybrid systems is proposed to verify analog and mixed signal (AMS) designs. AMS designs can be formally modeled as hybrid systems and therefore lend themselves to the formal analysis and verification techniques applied to hybrid systems. The proposed approach employs simulation traces obtained from an actual design implementation of AMS circuit blocks (for example, in the form of SPICE netlists) to carry out formal analysis and verification. This enables the same platform used for formally validating an abstract model of an AMS design, to be also used for validating its different refinements and design implementation; thereby, providing a simple route to formal verification at different levels of implementation. The feasibility of the proposed approach is demonstrated with a case study based on a tunnel diode oscillator. Since the device characteristic of a tunnel diode is highly non-linear with a negative resistance region, dynamic behavior of circuits in which it is employed as an element is difficult to model, analyze and verify within a general hybrid system formal verification tool. In the case study presented the formal model and the proposed computational techniques have been incorporated into CheckMate, a formal verification tool based on MATLAB and Simulink-Stateflow Framework from MathWorks.

Admissible fundamental operators(star)

Let F and G be two bounded operators on two Hilbert spaces. Let their numerical radii be no greater than one. This note investigates when there is a Gamma-contraction (S, P) such that F is the fundamental operator of (S, P) and G is the fundamental operator of (S*, P*). Theorem 1 puts a necessary condition on F and G for them to be the fundamental operators of (S, P) and (S*, P*) respectively. Theorem 2 shows that this necessary condition is also sufficient provided we restrict our attention to a certain special case. The general case is investigated in Theorem 3. Some of the results obtained for Gamma-contractions are then applied to tetrablock contractions to figure out when two pairs (F1, F2) and (G(1), G(2)) acting on two Hilbert spaces can be fundamental operators of a tetrablock contraction (A, B, P) and its adjoint (A*, B*, P*) respectively. This is the content of Theorem 3. (C) 2015 Elsevier Inc. All rights reserved.

Efectos de tres tipos de empaques y tres ambientes sobre la calidad fisiológica de la semilla de cebolla (Allium cepa L.) variedad sebaqueña mejorada

Se almacenó semilla de cebolla (Allium cepa L.) variedad "Sebaqueña" mejorada con el objetivo de determinar el efecto de tres condiciones ambientales (Cuarto Frío, Sébaco y Managua) y tres tipos de envases (lata hermética, lata semi-hermética y sacos de algodón) sobre la viabilidad de la semilla, así como el período en el que la calidad de la semilla se mantendrá agronómicamente aceptable. Durante el período de almacenamiento se llevaron registros de los factores ambientales (Temperatura y humedad relativa), al igual, se efectuaron pruebas de vigor y germinación en laboratorio en laboratorio. Se determinó que la alta humedad relativa (73%) en el ambiente de Cuarto Frío provocaron el deterioro rápido de las semillas en envases abiertos y las altas temperaturas (34°c) y elevada humedad relativa (75%) en el ambiente de Managua. Se observó que el ambiente que presentó mejores condiciones para el almacenamiento de las semillas fue Sébaco con temperaturas promedio de 27° C y humedad relativa media de 67% durante el período de almacenamiento; además, se observó que en envase hermético se conserva mejor el vigor y la viabilidad de la semilla en las tres condiciones ambientales establecidas teniendo un promedio de germinación mayor de 75% a los meses después de iniciado el almacenamiento en los envases.

El uso de la figura de Viriato en la pedagogía franquista

Resumen: El presente artículo versa sobre la utilización de la figura de Viriato durante el periodo dictatorial franquista. Se produce una verdadera transfiguración del jefe lusitano por la asimilación al régimen dictatorial. Es importante conocer la pedagogía franquista ya que ha modificado en gran medida al personaje lusitano. Así mismo se conocerá cómo ha ido evolucionando la figura de Viriato a lo largo de la dictadura, ofreciendo una imagen diferente a su comprensión en la realidad democrática.

Efecto de densidad de siembra y malezas sobre el nivel poblacional de Dalbulus maidis (Del y W) en dos variedades de maíz en Nicaragua

El maíz (zea mays) en Nicaragua representa una de los alimentos de mayor consumo popular, siendo actualmente cultivado en las diferentes regiones agrícolas del país. En Nicaragua han sido reportadas como los mayores problemas en la producción de maíz la enfermedad del achaparramiento y el gusano cogollero, Spodoptera frugiperda. Patógenos del tipo espiro plasma y mico plasma se conoces como causantes de la enfermedad del achaparramiento del maíz y ambos puedes se r transmitidos por el insecto vector conocido como la chicharrita del maíz, Dalbulus maidis (Del & W). Con el objetivo de estudios el efecto de la densidad de las plantas y la presencia y ausencia de malezas sobre el nivel poblacional de D. maidis en una variedad tolerante y una susceptible a la enfermedad del achaparramiento, se realizó un experimento durante el periodo comprendido entre los meses de noviembre 1987 y marzo 1988. Los resultados indicaron que los factores en el estudio no mostraron efecto estadísticamente significativos sobre el nivel poblacional de D. maidis, cuando estos fueron considerados por separados no obstantes, en el tratamiento número siete La intención de lata densidad de plantas, variedad tolerante y presencia de malezas hasta los 28 DDS obtuvo el promedio más bajo de D. maidis por planta, el mayor rendimiento de grano por área y el mayor rendimiento de grano por área y el mayor porcentaje de plantas sanas, aun cuando esta diferencia no resulto estadísticamente significativa entre los tratamientos sotos estudiados, se observó el efecto positivo de la presencia de malezas hasta los 28 DDs en la instalación.

Efecto de diferentes métodos de almacenamiento sobre la viabilidad de la semilla de soya (Glycine Max (L) Merr), variedad "cristalina"

Se sometió a prueba de almacenamiento semilla de soya variedad “cristalina” en bodegas con distinto ambiente, embaladas en diferentes empaques con los objetivos de determinar las posibles causas que deterioran la semilla de soya en condiciones de almacenamiento natural y artificial existentes en nuestro país, comparar tres ambientes de bodegas y tres empaques en la conservación de la viabilidad de la semilla y determinar el periodo de almacenamiento que permita mantener la semilla agronómicamente aceptable durante el periodo de almacenamiento se registraron los factores ambientales y se realizaron análisis de semilla en el laboratorio. Se determinó que las condiciones ambientales de alta temperatura en la bodega Nº3 /EMPROSEM) con promedio de 32.5ºC y alta humedad relativa en bodega Nº1 (ESTELI) con promedio de 77% y la lata humedad inicial de la semilla en todas las bodegas , (13.9%) fueron los factores que provocaron el rápido deterioro de la semilla por ataque principalmente de hongos de almacén además se logró determinar Nº2 (EMPROSEN) con ambiente artificial que la semilla se conserva por encima del 80% de germinación por más tiempo (pero no lo que se necesita de un ciclo a otro). También se observó que el empaque de papel kraff asfaltado conserva mejor la calidad de la semilla por otra parte se comprobó que esta semilla es susceptible al deterioro en almacenamiento natural, de aquí que se sugiere continuar los estudios sobre este tema.

Projeto político-pedagógico para o Centro de Formação, Treinamento e Aperfeiçoamento da Câmara dos Deputados

Apresenta um estudo descritivo sobre os elementos e estratégias metodológicas para a elaboração de um Projeto Político-Pedagógico - PPP - para o Centro de Formação, Treinamento e Aperfeiçoamento da Câmara dos Deputados. Aborda aspectos teóricos, legais e conceituais relativos a um PPP numa instituição de ensino, mesmo que corporativa.

The Computer Input/Output Subsystem Education in an undergraduate introductory course: a Multiperspective Study

240 p.

Maitasunean eta errespetuan hezten: 0-3 urte bitartekoen harmonia

LABURPENA: Aurrerapen zientifikoek aurrera egin ahala, lehen haurtzarorako begirada eraldatu egin da, bereziki garapen motorraren alorrean. Haurtxoa izaki pasibo bezala ikusten zuten ikuskerek, subjektuaren konpetentzia goiztiarren aurrean begiruneko jarrerak gartu dituzte. Lan honetan kalitatezko hezkuntza eredu instituzionalizatua garatu zuen Emmi Pikler-en ekarpenak aztertuko ditugu. Eredu honek printzipio pedagogiko zehatz batzuen arabera jaioberria eta haurtxo txikia ikusteko beste era bat eta hezitzaile bezala zaintzen dugun ume bakoitzarekiko betetzen dugun rolaren eraldaketa proposatzen du. Honek hezitzailearen jardunbide tradizionala birplanteatzera bultzatzen gaitu, haurrenganako maitasuna eta begirunea oinarritzat duen hezkuntza sistema bat eraiki ahal izateko.

Noren alde heztera zoaz? Etika hegemonikoa versus gizartea

Lanak planteatzen duen galdera, hezitzaileek bere eginbeharraren inguruan hausnartzera bideratuta dago. Egungo sistema kapitalistaren barruan hezkuntzak duen erabilera desestali nahian, bizi dugun egoera aztertu egin da eta erabiltzen diren kontrol mekanismoak. Egoera honen aurrean, behar den hezkuntza erantzuna zabaldu nahi da, Paulo Freireren pedagogia eragilearen (problematizatzailearen) ildoan. Horretarako, aspektu teoriko nagusiak zehaztu dira eta ikuspegi kritikoa praktikan jartzeko esperientziak aurkeztu. Gure pedagogia erresistentziaren pedagogia izan behar du, egun kapitalismoak isiltasunera eta deshumanizaziora bultzatzen dituen pertsona horiek hitza berreskura dezaten. Lan hau beraz, ekarpen didaktikoa da hezitzailearen eginbehar konplexu eta arduratsuan laguntzeko, bere erantzukizun soziala gain har dezan.

Jarduera Autonomoa: 2 urteko gelan

Laburpena: Emmi-Pikler eta Pikler-Lóczy Institutuaren hezkuntza eredu arrakastatsua oinarritzat harturik, 2 urteko haurren jarduera autonomoaren bilakaera behatu da. Jarduera autonomoari lekua eskaintzen ez zitzaion ekintza batean lekua utziz, hezitzaileok esku hartze zuzena txikituz eta haurrei lekua eginez. Jantokira joateko atontze unean brusa jantzi, botoiak lotu eta adurretakoa janzteko izan duten gaitasuna behatu da. Azterturiko arlo guztietan haurrek izandako bilakaera positiboa eta sortu den lankidetza giroa ikusirik jarduera autonomoak fruituak eman dituela esan dezakegu. Hezitzaile eta helduon esku dago haurrak jarduera autonomora bidean lagundu eta berau garatzeko baldintza egokiak sortzea, lorpenak aitortzea, etengabeko feedback positiboan. Haurrek ezarritako helburu eta erritmo desberdinak onartuz.

A regulação política da sexualidade no âmbito da família por saberes e instituições médicas brasileiras : 1838-1940

Esta tese tem como objeto a regulação política da sexualidade no âmbito da família por saberes e instituições médicas brasileiras (1838-1940). Orienta-se pelo interesse em analisar continuidades e descontinuidades na construção de objetos, estratégias e táticas políticas direcionados para a regulação higiênica e eugênica do casamento e da sexualidade infantil. De inspiração foucaultiana, inscreve-se no campo da história dos saberes e está subsidiada por um conjunto heterogêneo de documentos (teses, artigos de periódicos, livros, anais etc.) circunscritos, majoritariamente, ao campo da medicina. Analisa a constituição de uma defesa higiênica dos casamentos no pensamento médico novecentista, voltada para remanejamentos das figuras de esposa e marido na nova configuração de família que começava a se esboçar no Brasil, contrastando-a com a regulação católica da moral sexual colonial. Em seguida, descreve a visibilidade higiênica que a medicina dará a infância no século XIX, problematizando especificamente o interesse pelo tema da masturbação, que articula simultaneamente a família, centrada na figura da mãe, e a escola na convocação de zelar pela criança. Partindo das contradições sociais que se apresentaram na construção do projeto liberal nacional a partir da década de 1870, discute a apropriação do discurso da degenerescência pelo saber médico-psiquiátrico brasileiro, que propiciou uma leitura da brasilidade marcada pelo excesso sexual e pela condição degenerada da miscigenação, a fim de pensar as condições de possibilidade para a emergência do projeto de eugenia matrimonial institucionalizado nas primeiras décadas do século XX e toma como táticas a campanha pela compulsoriedade do exame pré-nupcial, o combate aos casamentos consanguíneos, o controle do contágio venéreo e o aconselhamento sexual dos casais. Analisa a campanha de educação sexual, cuja pretensão de instituir uma sciencia sexual no Brasil, de legitimidade controversa, tinha como horizonte viabilizar uma profilaxia sexual que mitigasse a produção da criminalidade, das perversões sexuais e das doenças nervosas, bem como os desajustes familiares, a partir da fabricação de um novo objeto, qual seja, a sexualidade infantil, no qual incidirá uma nova pedagogia. Nesse particular, aponta particularidades discursivas da difusão das idéias freudianas entre higienistas brasileiros. Finalmente, sinaliza a constituição da higiene mental da criança como um novo domínio para a psiquiatria brasileira, que tomou a intensa circulação afetiva intrafamiliar como ponto de ancoragem para um projeto de normalização social, ainda centrado na eugenia, mas já atravessado por uma psicologia da adaptação.

Comparación de las políticas de marketing aplicadas por la misma empresa en países y análisis de las causas de las diferencias: el caso de Coca Cola

El trabajo consiste en analizar el Marketing Mix (4P’s) de Coca-Cola y comparar sus políticas en otros países. La primera política analizada es el producto, que comienza hablando del envase y sus diferentes tipos. Se ha diferenciado la lata y el idioma, ya que son las partes más características. Por otro lado, se ha analizado el sabor. Se han escogido tres productos y analizado las diferencias que poseen entre sí en distintos países. La distribución se ha separado en 5 puntos. Primero, la distribución en España y los cambios que ha sufrido en los últimos años, así como las consecuencias de estos. El segundo, la distribución en Argentina, seguido de EEUU y China así como, algunos casos excepcionales en el resto del mundo, que tienen una metodología muy particular y característica en la forma de distribución. En cuanto al precio, se ha van a analizar los factores que se estudian a la hora de imponer el precio tales como el PIB y cuáles son los aspectos más relevantes en la toma de decisiones. Y por último la comunicación, donde se muestran diferentes ejemplos a lo largo de toda la vida de Coca-Cola donde se ha visto presente la marca.

Sexualidade, corpo e saúde masculinos: transformações e permanências nos discursos de homens e da revista Mens Health.

O estudo analisa os discursos de homens e da revista Mens Health acerca do corpo, saúde e sexualidade. Para a construção dos discursos dos homens, realizamos entrevistas semi-estruturadas com 19 homens leitores e nove não leitores. E dois eventos de grupos focais que reuniram 11 homens no total. Foi entrevistado também o editor da revista. Os principais conceitos norteadores deste trabalho foram os de gênero, sexualidade, poder e masculinidades hegemônicas e subalternas. Evidenciou-se que a revista está fortemente atrelada à sociedade de consumo ao estimular a inserção dos homens em um mercado de produtos e serviços até então estranhos a esse gênero. E que suas concepções sobre saúde estão relacionadas a de bem-estar e de individualização que se articulam com os discursos hegemônicos que vêm dando sentido às concepções de saúde e doença atualmente. A publicação investe fortemente na ideia de um corpo musculoso que proporcionará ganhos sociais, sexuais e profissionais aos sujeitos, nem sempre atrelado às questões de saúde. Ela ratifica a heterossexualidade do leitor projetado, expondo o corpo feminino e o sexo heterossexual e silenciando sobre outras formas de sexualidade. Por isso consideramos que a revista se vincula a uma concepção tradicional da masculinidade. Seus discursos, no entanto, não são monolíticos ou isentos de contradição, e também manifestam nuances relativas a um modelo mais contemporâneo de masculinidade, como quando apresenta a ideia de uma nova pedagogia da sexualidade e a valorização dos cuidados estéticos e de saúde com o corpo, aspectos considerados pouco próximos da masculinidade tradicional. Com relação aos discursos dos homens, evidenciou-se que a classe social e a geração são as variáveis mais importantes nas suas concepções sobre corpo, saúde e sexualidade masculina. Que, entre os não leitores, de modo geral, há evidências mais fortes de flexibilização com relação aos padrões mais tradicionais entre os homens mais jovens e/ou de classes mais altas. Enquanto os homens com idade acima dos 30 anos e das classes populares estão mais atrelados às concepções tradicionais. Entre os leitores, observou-se uma grande reflexividade com relação aos discursos da revista demonstrando que eles vêm se apropriando de forma importante dos discursos da revista e ressignificando suas concepções e práticas sobre os três temas da pesquisa a partir desses discursos. E, assim como os discursos da revista, os discursos dos homens, leitores ou não, também apresentaram aspectos contraditórios, ora demonstrando mais afiliação a um novo modelo de masculinidade, ora ao modelo mais tradicional.

Sob o símbolo da cruz: questão social, família e educação nas relações entre Estado e Igreja no Brasil (1930-1945)

Considerando a influência significativa do pensamento católico no cenário educacional e político brasileiro, esta pesquisa tem como objetivo desenvolver uma reflexão sobre as relações entre Igreja e Estado, situadas sob o primeiro governo Vargas (1930-1945) e, em particular, sob o Estado Novo, no que concerne às questões educacionais e sociais, e à atenção dispensada à família, compreendida como instituição imprescindível no processo de conformação da nação. Sob essa perspectiva, esse estudo se propõe a analisar as concepções católicas identificando os pontos de aproximação entre os interesses da Igreja e do Estado, que possam sugerir o estabelecimento de uma relação de aliança entre ambos, em prol de um projeto de reconstrução da nação, com base em princípios da doutrina cristã. Este estudo teve como base fundamental as representações católicas disseminadas a partir da revista A Ordem e a Revista Brasileira de Pedagogia, periódicos de expressiva relevância no âmbito católico.