Simulación de Sucesos Discretos. Prácticas en casos reales con R. Competición de estudiantes de simulación

La Simulación de Sucesos Discretos (SSD)es una metodología que permite aplicar los procedimientos de simulación estocástica, para representar un sistema en el que las variables aleatorias que lo componen están relacionadas entre si. En esta monografía se recogen distintos casos reales en los que puede aplicarse SSD junto con su implementación en R y resultados finales.

Sistemas integrables discretos, polinomios matriciales ortogonales y problemas de Riemann-Hilbert

El propósito de esta tesis doctoral es el estudio de la conexión, mediante el problema de Riemann-Hilbert, entre sistemas discretos y la teoría de polinomios matriciales ortogonales. La investigación de los modelos integrables se originó en la Mecánica Clásica, en relación a la resolución de las ecuaciones de Newton [2]. Los trabajos de Liouville, Hamilton, Jacobi y otros sentaron las bases de los sistemas integrables como prototipos modelos resolubles por cuadraturas, v.g., por integración directa [7]. Hay una cantidad importante de investigación dedicada a los aspectos geométricos de los sistemas clásicos integrables y superintegrables [66], [82], especialmente en relación a la separación de variables de la ecuación de Hamilton-Jacobi [75]. Fue la aplicación, en la segunda mitad del siglo pasado, de la transformada espectral inversa para la resolución del problema de Cauchy de la ecuación de Korteweg-de Vries [42, 43] la que marcó el inicio de una nueva etapa en este campo, el del estudio de sistemas integrables con un número infinito de grados de libertad, que generalmente se expresan en términos de jerarquías de ecuaciones no lineales en derivadas parciales. Particularmente reseñable, por su aplicación en la hidrodinámica y en la óptica cuántica, es la aparición de las soluciones a un número de solitones arbitrario. En las últimas tres décadas ha habido un importante interés por el estudio de modelos discretos, v.g., sistemas dinámicos de nidos en un retículo de puntos, y expresados en términos de ecuaciones no lineales en diferencia parciales. Muchas de las técnicas encontradas en el mundo continuo se extendieron a este nuevo contexto discreto. Hay dos razones fundamentales para este interés...

Simulación de la propagación del malware: modelos continuos vs. modelos discretos

La gran mayoría de modelos matemáticos propuestos hasta la fecha para simular la propagación del malware están basados en el uso de ecuaciones diferenciales. Dichos modelos son analizados de manera crítica en este trabajo, determinando las principales deficiencias que presentan y planteando distintas alternativas para su subsanación. En este sentido, se estudia el uso de los autómatas celulares como nuevo paradigma en el que basar los modelos epidemiológicos, proponiendo una alternativa explícita basada en ellos a un reciente modelo continuo.

El filosofo : ocupacion de nobles y discretos contra la cortesana ociosidad : sobre los libros de cielo y mundo, meteoros, paruos naturales, ethica, economica, politica de Aristoteles y esfera de Sacro Bosco ... /

Mode of access: Internet.

Efecto del momento de fertilización, posición de la yema y sustratos en tres clones de quequisque (Xanthosoma sagittifolium (L) Schott) propagados a través de la técnica de reproducción acelerada de semillas

El presente estudio se realizó con el objetivo de determinar el efecto que ejercen la posición de la yema, el momento de fertilización y sustrato sobre la velocidad de brotación y el crecimiento de las plantas de los genotipos de quequisque (Xanthosoma sagittifolium (L.) Schott): Blanco (Bco), Masaya (My) y Nueva Guinea (NG) propagados a través de la técnica de reproducción acelerada de semillas - CRAS, además se pretendió contribuir en la definición de una metodología para la propagación rápida y masiva de plantas a través de esta técnica. Los estudios se llevaron a cabo en canteros con dimensiones de 4.75 m de largo por 1.3 m de ancho, con una capa de 5 cm de hormigón rojo y otra de 15 crn de arena y en bolsas de polietileno para vivero (0.91 kg). Se establecieron tres ensayos bifactoriales siguiendo el arreglo de diseños completos al azar (DCA): posición de la yema (hacia abajo y hacia arriba); momento de fertilización (sin fertilización -testigo-; con fertilizaciones a los 15 dds, 30 dds y 45 dds; a los 30 y 45 dds; y a los O, 15, 30 y 45 dds); y sustratos (arena, humus, suelo; 1:1 humus-suelo; 1:1:2 arena-humus-suelo). Se evaluaron las variables altura de planta (cm), grosor del pseudotallo (cm), número de hojas y área foliar (cm2 . A los datos numéricos de las variables se les realizó un análisis de varianza (ANDEVA). Las yemas colocadas hacia abajo registraron una velocidad de brotación estadísticamente superior (8.15 cm) a la registrada por las yemas colocadas hacia arriba (5.92 cm), independientemente del genotipo. El quequisque Bco, sin importar la posición de la yema, brotó más rápido (8.36 cm) que los otros genotipos; el genotipo My lo hizo más lentamente (5.16 cm). Los genotipos donde se fertilizó a los 30 y 45 dds obtuvieron resultados estadísticamente superiores en todas las variables (Bco 23.21, My 15.23 y NG 22.86 cm de altura). El testigo (sin fertilización) obtuvo los resultados más discretos (Bco 8.71, My 13.83 y NG 14.25 cm de altura). Ningún genotipo prevaleció en todas las variables evaluadas, sin embargo, el genotipo NG registró los resultados más sobresalientes. Las combinaciones más destacadas en las interacciones genotipo - fertilización fueron el clon Bco y NG fertilizadas a los 30 y 45 dds (23.21 y 22.86 cm de altura respectivamente); el testigo y la fertilización aplicada a los O, 15, 30 y 45 dds en combinación con los tres genotipos reportaron los resultados más bajos. Las plantas de los genotipos Bco (27.98 cm de altura) y My (25.65 cm de altura) desarrolladas en humus registraron valores estadísticamente superiores. En los sustratos arena (Bco 9.82 y My 11.59 cm de altura) y suelo (Bco 16.29 y My 3.20 cm de altura) se obtuvieron plantas con los valores más bajos en las variables evaluadas. En las interacciones, el genotipo Blanco reportó los mayores valores (altura 19.5 cm, grosor 1.13 cm y área foliar 122 cm 2 coincidiendo con los dos ensayos anteriores

Producción de plantas libres de virus y morfogénesis indirecta a partir del cultivo de meristemo de tres genotipos de quequisque (Xanthosoma saggittifolium (L) Schott

Se establecieron dos ensayos con el objetivo de determinar en que condición de cultivo se induce: 1) mayor cantidad de plantas libres del DMV diagnosticado con la prueba ELISA; 2) mayor cantidad de callos y plantas regeneradas a partir de callos en tres genotipos de quequisque. Ambos ensayos se iniciaron utilizando meristemos como explantes. Los ensayos se establecieron en esquema de diseño DCA bifactorial: a) genotipos de quequisque, Masaya (My), Nueva Guinea (NG) y Blanco (Bco); b) 5 variantes medios de cultivos. Se realizaron 3 pruebas ELISA a plantas de los tres genotipos que presentasen síntomas del DMV en el campo, a plantas del campo seleccionadas al azar y a plantas provenientes del cultivo de meristemos. En el ensayo de saneamiento del DMV se empleó en el medio MS suplido con combinaciones de AIA y 6-BAP, y para el ensayo de producción de callos se utilizaron combinaciones de 2,4-D y 6-BAP. La regeneración de plantas a partir de callos se logró en el medio MS sencillo. El desarrollo de los explantes en el primer ensayo se cuantificó utilizando escalas arbitrarias para el color y el crecimiento. En el segundo ensayo se utilizó una escala para medir el desarrollo. A los datos de cada variable se realizó un ANDEVA y la prueba de rangos múltiples Tukey, al α= 0.05, cuando hubo diferencias estadísticas entre tratamientos. Cien porciento de las muestras de hojas de plantas de los 3 genotipos que presentaban síntomas del DMV en el campo, resultaron positivas. Las plantas del campo de los genotipos My, NG y Bco elegidas al azar, registraron 88.32, 98.70 y el 90.00% de infección con el DMV; en cambio las plantas in vitro registraron 93.7, 100 y 100% libres de DMV en los mismos genotiposrespectivamente. A los 90 días de establecido el primer ensayo, el medio MS sin reguladores de crecimiento resultó estadísticamente superior con 84% de explantes creciendo y 8% plantas formadas. El medio MS + 1 mgl-16-BAP + 1 mgl-1 AIA registró los valores más discretos con 53% de explantes sin crecer y 41% plantas creciendo. El genotipo My fue superior en todos los medios con 90% de explantes creciendo y 7% plantas formadas. El genotipo Bco registró los más bajos valores con 58% de explantes sin crecer y 5% plantas formadas. Las variables color y crecimiento reportaron similar comportamiento. El medio de cultivo testigo fue estadísticamente superior con 64% de explantes color verde, 30% amarillo y 6% necróticos. El genotipo My sobresalió con 40% de explantes amarillos y 60% verdes. Los genotipos NG y Bco tuvieron comportamientos similares. En el ensayo de producción de callos, tres tratamientos resultaron estadísticamente superiores: el genotipo NG en el medio MS + 3 mgl-12,4-D (60% de explantes formando callos) y el genotipo Masaya en los medios MS+ 5 mg l-12,4-D y MS + 3 mg l-12,4-D (26.7 y 40% callos formados, respectivamente). No se registraron diferencias estadísticas entre los genotipos (16, 17 y 17% callos formados). El medio de cultivo MS + 3 mg l-12,4-D indujo la formación de 4% callos y 44% plantas. El medio de cultivo testigo (MS sin reguladores de crecimiento) resultó en 47% explantes sin crecer y ningún callo formado. Después de los 60 días del trasplante de los callos a un medio sin hormonas, los genotipos Masaya, Nueva Guinea y Blanco reportaron que el 94, 83 y 58 % regeneraron yemas respectivamente.

La maurofilia en la poesía épica medieval

Resumen: El hispanista francés Georges Cirot fue el primero en emplear el término “maurofilia literaria” (maurophilie littéraire) en 1938 para referirse a la representación del valor y la nobleza de los moros en la literatura española del siglo XVI. Pero como señaló Ramón Menéndez Pidal (1957, 202), ya en los siglos XIV y XV los castellanos se habían sentido atraídos por los musulmanes de Granada, por su exótica civilización, su lujo en el vestir, la espléndida ornamentación de sus edificios y su modo de cabalgar, armarse y combatir. Francisco Márquez Villanueva (1984, 117-118) indicó que aunque la literatura maurófila del siglo XVI fue elaborada bajo el signo avanzado del humanismo cristiano, cuyas características fueron “el inconformismo y la sensibilidad para toda suerte de realidades en divergencia del mundo oficial”, las raíces de la maurofilia literaria se encuentran en el viejo romancero fronterizo y morisco elaborado en el siglo XV. En su opinión, el Romancero fue la patria de la “maurofilia pura” y es donde encontramos un cuadro de referencias temáticas “hecho de toponimia y onomástica, armas, indumentaria, policromía y cabalgadas” tendiente a caracterizar al moro como un ser refinado y superior. Para María Rosa Lida (1960, 355), en cambio, la imagen caballeresca del moro se remonta a don Juan Manuel, pues en sus obras aparecen las cortes musulmanas como “centros de molicie refinada y suntuosa”. En efecto, en el Libro de los estados se afirma el valor del moro como guerrero y en el Conde Lucanor aparecen una serie de reyes moros magnánimos y discretos. Sin embargo, el árabe como personaje sabio o “ejemplar” figura ya en una de las fuentes del Conde Lucanor, la Disciplina clericalis, obra compuesta a principios del siglo XII por el judío converso Pedro Alfonso. Por otra parte, el análisis de la representación de los moros en textos épicos, Avengalvón en el Poema de mio Cid y Almanzor en la Los siete infantes de Lara, nos permite descubrir un importante e insoslayable antecedente de la maurofilia de los últimos siglos de la Edad Media

Modelado de sistemas concurrentes con OMNeT++

El objetivo del siguiente proyecto es proporcionar una herramienta para estudiar el rendimiento de sistemas multiprocesador. Para ello estos sistemas serán previamente modelados como redes de Petri y simulados mediante el entorno de simulación de sistemas de eventos discretos OMNeT++.

Problemas direto e inverso de processos de separação em leito móvel simulado mediante mecanismos cinéticos de adsorção

Diversas aplicações industriais relevantes envolvem os processos de adsorção, citando como exemplos a purificação de produtos, separação de substâncias, controle de poluição e umidade entre outros. O interesse crescente pelos processos de purificação de biomoléculas deve-se principalmente ao desenvolvimento da biotecnologia e à demanda das indústrias farmacêutica e química por produtos com alto grau de pureza. O leito móvel simulado (LMS) é um processo cromatográfico contínuo que tem sido aplicado para simular o movimento do leito de adsorvente, de forma contracorrente ao movimento do líquido, através da troca periódica das posições das correntes de entrada e saída, sendo operado de forma contínua, sem prejuízo da pureza das correntes de saída. Esta consiste no extrato, rico no componente mais fortemente adsorvido, e no rafinado, rico no componente mais fracamente adsorvido, sendo o processo particularmente adequado a separações binárias. O objetivo desta tese é estudar e avaliar diferentes abordagens utilizando métodos estocásticos de otimização para o problema inverso dos fenômenos envolvidos no processo de separação em LMS. Foram utilizados modelos discretos com diferentes abordagens de transferência de massa, com a vantagem da utilização de um grande número de pratos teóricos em uma coluna de comprimento moderado, neste processo a separação cresce à medida que os solutos fluem através do leito, isto é, ao maior número de vezes que as moléculas interagem entre a fase móvel e a fase estacionária alcançando assim o equilíbrio. A modelagem e a simulação verificadas nestas abordagens permitiram a avaliação e a identificação das principais características de uma unidade de separação do LMS. A aplicação em estudo refere-se à simulação de processos de separação do Baclofen e da Cetamina. Estes compostos foram escolhidos por estarem bem caracterizados na literatura, estando disponíveis em estudos de cinética e de equilíbrio de adsorção nos resultados experimentais. De posse de resultados experimentais avaliou-se o comportamento do problema direto e inverso de uma unidade de separação LMS visando comparar os resultados obtidos com os experimentais, sempre se baseando em critérios de eficiência de separação entre as fases móvel e estacionária. Os métodos estudados foram o GA (Genetic Algorithm) e o PCA (Particle Collision Algorithm) e também foi feita uma hibridização entre o GA e o PCA. Como resultado desta tese analisouse e comparou-se os métodos de otimização em diferentes aspectos relacionados com o mecanismo cinético de transferência de massa por adsorção e dessorção entre as fases sólidas do adsorvente.

Teoria geral da gramaticalização: introdução ao jogo e a suas regras

Esta tese de doutorado parte da perspectiva inicial de que a gramaticalização se restringe a tratado sobre itens lexicais ou discursivos que se tornam itens gramaticais (o que a enquadraria dentro da Teoria da Variação, inserta esta dentro da Pesquisa Sociolinguística), mas segue em direção a um salto epistemológico que remodele aquela perspectiva, ampliando-a a patamar do qual ela pode ser observada como teoria autônoma, investigativa de fenômenos limítrofes e nem sempre discretos entre linguagem e língua, discurso e texto, descrição e prescrição, oralidade e escrita, léxico e gramática. Desse modo, propugna-se pela visão epistemológica do tema, conduzido, até aqui, de modo puramente ontológico, circunscrito a um (e apenas um) dos muitos espectros que se podem alcançar com a aludida ampliação àquele que vem sendo perquirido como tratado, porém que, segundo se pretende demonstrar, pode e deve ser expandido à malha de uma teoria geral, qual seja a Teoria Geral da Gramaticalização: trata-se, aqui, de seu objetivo geral. Para esse propósito, vale-se a tese de filósofos da linguagem que atuaram sobre essa faculdade ou capacidade humana de forma direta ou indireta desde os seus primórdios ocidentais (como Sócrates, Platão e Aristóteles), passando pelos pensadores mais incisivamente preocupados com os aspectos cognitivos e interativos da linguagem e da língua (como Hegel, Husserl, Saussure, Sapir, Bloomfield, Wittgenstein, Derrida, Chomsky, Labov, Charaudeau, Maingueneau, Ducrot, Coseriu), além de ser necessária a incursão à Gramaticografia mais estrita (como a empreendida por Dionísio da Trácia, Varrão, Arnault e Lancelot, Nebrija, Jerônimo Soares Barbosa, Eduardo Carlos Pereira, Said Ali, Bechara), e, naturalmente, a contribuição filosófica dos pesquisadores sobre a gramaticalização (como Meillet, Vendryès, Bréal, Kurilowicz, Traugott, Heine, Hopper, Lehmann). Uma vez que se tenha mostrado ser verossímil aceitar-se a gramaticalização como teoria autônoma, esta tese pretende legar-lhe o papel instrumental de metodologia auxiliar a muitas entre as que ora se empreendem quando se trata de pesquisas em campos cuja ocupação é a linguagem e a língua: trata-se, aqui, de seu objetivo específico. Para essa duplicidade de metas ou objetivos, será necessário compreender conceitos, categorias e protótipos oriundos da Filosofia da Ciência (Epistemologia), do contraste entre ciências da linguagem e outros ramos do saber, da imersão em Gramaticologia e Gramaticografia (e, em alguns aspectos, em Gramatização e Gramatologia) referentes à Língua Portuguesa, da defesa, enfim, de que o ensino da Gramática Formal (ou Normativa) do idioma privilegia a acepção reflexiva e ativa (plena) dos usos ou atos a que a linguagem só pode chegar por meio do domínio da língua em toda a sua tessitura epistemológica, que gera comunicação e expressividade, raciocínio e emotividade, indo da concretude do discurso ou da oralidade à abstração da entidade pouco ou nada material, que, por sua vez, é mais nitidamente representada pela escrita, seu estágio por assim dizer de forma ainda mais pura, conquanto não excludente da substancialidade com que dialoga de modo incessante no seu constante e dialético passado-futuro ou diversidade-homogeneidade (tese e antítese) de onde emerge o seu presente ou a sua unidade (síntese)

Análise de desempenho dos algoritmos Apriori e Fuzzy Apriori na extração de regras de associação aplicados a um Sistema de Detecção de Intrusos.

A extração de regras de associação (ARM - Association Rule Mining) de dados quantitativos tem sido pesquisa de grande interesse na área de mineração de dados. Com o crescente aumento das bases de dados, há um grande investimento na área de pesquisa na criação de algoritmos para melhorar o desempenho relacionado a quantidade de regras, sua relevância e a performance computacional. O algoritmo APRIORI, tradicionalmente usado na extração de regras de associação, foi criado originalmente para trabalhar com atributos categóricos. Geralmente, para usá-lo com atributos contínuos, ou quantitativos, é necessário transformar os atributos contínuos, discretizando-os e, portanto, criando categorias a partir dos intervalos discretos. Os métodos mais tradicionais de discretização produzem intervalos com fronteiras sharp, que podem subestimar ou superestimar elementos próximos dos limites das partições, e portanto levar a uma representação imprecisa de semântica. Uma maneira de tratar este problema é criar partições soft, com limites suavizados. Neste trabalho é utilizada uma partição fuzzy das variáveis contínuas, que baseia-se na teoria dos conjuntos fuzzy e transforma os atributos quantitativos em partições de termos linguísticos. Os algoritmos de mineração de regras de associação fuzzy (FARM - Fuzzy Association Rule Mining) trabalham com este princípio e, neste trabalho, o algoritmo FUZZYAPRIORI, que pertence a esta categoria, é utilizado. As regras extraídas são expressas em termos linguísticos, o que é mais natural e interpretável pelo raciocício humano. Os algoritmos APRIORI tradicional e FUZZYAPRIORI são comparado, através de classificadores associativos, baseados em regras extraídas por estes algoritmos. Estes classificadores foram aplicados em uma base de dados relativa a registros de conexões TCP/IP que destina-se à criação de um Sistema de Detecção de Intrusos.

Estudo e aplicação de amplificadores ópticos para suporte a redes banda larga

Esta tese tem como foco principal a análise dos principais tipos de amplificação óptica e algumas de suas aplicações em sistemas de comunicação óptica. Para cada uma das tecnologias abordadas, procurou-se definir o estado da arte bem como identificar as oportunidades de desenvolvimento científico relacionadas. Os amplificadores para os quais foi dirigido alguma atenção neste documento foram os amplificadores em fibra dopada com Érbio (EDFA), os amplificadores a semicondutor (SOA) e os amplificadores de Raman (RA). Este trabalho iniciou-se com o estudo e análise dos EDFA’s. Dado o interesse científico e económico que estes amplificadores têm merecido, apenas poucos nichos de investigação estão ainda em aberto. Dentro destes, focá-mo-nos na análise de diferentes perfis de fibra óptica dopada de forma a conseguir uma optimização do desempenho dessas fibras como sistemas de amplificação. Considerando a fase anterior do trabalho como uma base de modelização para sistemas de amplificação com base em fibra e dopantes, evoluiu-se para amplificadores dopados mas em guias de onda (EDWA). Este tipo de amplificador tenta reduzir o volume físico destes dispositivos, mantendo as suas características principais. Para se ter uma forma de comparação de desempenho deste tipo de amplificador com os amplificadores em fibra, foram desenvolvidos modelos de caixa preta (BBM) e os seus parâmetros afinados por forma a termos uma boa modelização e posterior uso deste tipo de amplificiadores em setups de simulação mais complexos. Depois de modelizados e compreendidos os processo em amplificadores dopados, e com vista a adquirir uma visão global comparativa, foi imperativo passar pelo estudo dos processos de amplificação paramétrica de Raman. Esse tipo de amplificação, sendo inerente, ocorre em todas as bandas de propagação em fibra e é bastante flexível. Estes amplificadores foram inicialmente modelizados, e algumas de suas aplicações em redes passivas de acesso foram estudadas. Em especial uma série de requisitos, como por exemplo, a gama de comprimentos de onda sobre os quais existem amplificação e os altos débitos de perdas de inserção, nos levaram à investigação de um processo de amplificação que se ajustasse a eles, especialmente para buscar maiores capacidades de amplificação (nomeadamente longos alcances – superiores a 100 km – e altas razões de divisão – 1:512). Outro processo investigado foi a possibilidade de flexibilização dos parâmetros de comprimento de onda de ganho sem ter que mudar as caractísticas da bomba e se possível, mantendo toda a referenciação no transmissor. Este processo baseou-se na técnica de clamping de ganho já bastante estudada, mas com algumas modificações importantes, nomeadamente a nível do esquema (reflexão apenas num dos extremos) e da modelização do processo. O processo resultante foi inovador pelo recurso a espalhamentos de Rayleigh e Raman e o uso de um reflector de apenas um dos lados para obtenção de laser. Este processo foi modelizado através das equações de propagação e optimizado, tendo sido demonstrado experimentalmente e validado para diferentes tipos de fibras. Nesta linha, e dada a versatilidade do modelo desenvolvido, foi apresentada uma aplicação mais avançada para este tipo de amplificadores. Fazendo uso da sua resposta ultra rápida, foi proposto e analisado um regenerador 2R e analisada por simulação a sua gama de aplicação tendo em vista a sua aplicação sistémica. A parte final deste trabalho concentrou-se nos amplificadores a semiconductor (SOA). Para este tipo de amplificador, os esforços foram postos mais a nível de aplicação do que a nível de sua modelização. As aplicações principais para estes amplificadores foram baseadas em clamping óptico do ganho, visando a combinação de funções lógicas essenciais para a concepção de um latch óptico com base em componentes discretos. Assim, com base num chip de ganho, foi obtido uma porta lógica NOT, a qual foi caracterizada e demonstrada experimentalmente. Esta foi ainda introduzida num esquema de latching de forma a produzir um bi-estável totalmente óptico, o qual também foi demonstrado e caracterizado. Este trabalho é finalizado com uma conclusão geral relatando os subsistemas de amplificação e suas aplicacações.

Visible light communication systems for road safety applications

Esta tese apresenta um estudo exploratório sobre sistemas de comunicação por luz visível e as suas aplicações em sistemas de transporte inteligentes como forma a melhorar a segurança nas estradas. Foram desenvolvidos neste trabalho, modelos conceptuais e analíticos adequados à caracterização deste tipo de sistemas. Foi desenvolvido um protótipo de baixo custo, capaz de suportar a disseminação de informação utilizando semáforos. A sua realização carece de um estudo detalhado, nomeadamente: i) foi necessário obter modelos capazes de descrever os padrões de radiação numa área de serviço pré-definida; ii) foi necessário caracterizar o meio de comunicações; iii) foi necessário estudar o comportamento de vários esquemas de modulação de forma a optar pelo mais robusto; finalmente, iv) obter a implementação do sistema baseado em FPGA e componentes discretos. O protótipo implementado foi testado em condições reais. Os resultados alcançados mostram os méritos desta solução, chegando mesmo a encorajar a utilização desta tecnologia em outros cenários de aplicação.

Aplicação de algoritmos genéticos na optimização de secções de vigas de betão armado

A generalidade dos problemas de ordem prática no domínio do dimensionamento das estruturas incluem variáveis discretas. Os métodos matemáticos tradicionais apresentam dificuldades na procura dos óptimos globais em problemas não lineares discretos. Os algoritmos genéticos constituem uma heurística eficaz na optimização de sistemas estruturais que envolvem variáveis discretas e contínuas. No presente trabalho, descreve-se uma metodologia que visa a optimização da forma geométrica da secção, do dimensionamento e colocação das armaduras em vigas de betão armado, com recurso a algoritmos genéticos. Apresenta-se um exemplo de aplicação da metodologia proposta.

Linguística funcional e tradução

No âmbito da tradução nas suas múltiplas vertentes e face às diferentes abordagens que nem sempre se articulam de maneira inequívoca, é conveniente termos referências bem definidas. A linguística na linha de André Martinet1, que elabora sobre o funcionamento de um sistema linguístico de forma simples e nãonormativa, parece-nos fornecer uma excelente base para quem estuda e trabalha em tradução e, em geral, na área das Línguas. A abordagem em questão é aplicável aos fenómenos linguísticos, nomeadamente aos níveis fonológico e morfo-sintáctico. A ponte para abordagens de carácter semântico-pragmático pode estabelecer-se através do plano da axiologia - área intermédia entre sintaxe e semântica - em que conseguimos operar com elementos discretos, intimamente ligados aos processos da significação. Veremos, no esboço que se segue, como se pode, num primeiro momento, analisar um determinado fenómeno gramatical existente em dois sistemas linguísticos. Vamos concentrar-nos no conjuntivo em alemão e em português, tendo em linha de conta os princípios da linguística martinetiana.