Modelagem sedimentar de sistemas deltaicos altamente eficientes: aplicação para o preenchimento sedimentar do terciário superior da bacia de Bengala, porção nordeste da Índia

A bacia de Bengala, localizada a Nordeste da Índia tem uma história evolutiva extraordinária, diretamente controlada bela fragmentação do Gondwana. O início da formação desta bacia é considerada como sendo relacionada ao final do evento da quebra, datado em 126 Ma quando a Índia separou do continente Antártico e da Austrália. Desde então, a placa continental Indiana viajou do pólo sul a uma velocidade muito rápida (16 cm/a) chocando-se com o hemisfério norte e fundindo-se com a Placa Eurasiana. Durante a viagem passou por cima de um hot spot, onde hoje estão localizadas as ilhas Seicheles, resultando em um dos maiores derrames de lava basáltica do mundo, conhecido como Deccan Trap. Na região onde a bacia de Bengala foi formada, não houve aporte significativo de sedimentos siliciclásticos, resultando na deposição de uma espessa plataforma carbonática do Cretáceo tardio ao Eoceno. Após este período, devido a colisão com algumas microplacas e a amalgamação com a Placa Eurasiana, um grande volume sedimentar siliciclástico foi introduzido para a bacia, associado também ao soerguimento da cadeia de montanhas dos Himalaias. Atualmente, a Bacia de Bengala possui mais de 25 km de sedimentos, coletados neste depocentro principal. Nesta dissertação foram aplicados conceitos básicos de sismoestratigrafia na interpretação de algumas linhas regionais. As linhas sísmicas utilizadas foram adquiridas recentemente por programa sísmico especial, o qual permitiu o imageamento sísmico a mais de 35km dentro da litosfera (crosta continental e transicional). O dado permitiu interpretar eventos tectônicos, como a presença dos Seawards Dipping Reflectors (SDR) na crosta transicional, coberto por sedimentos da Bacia de Bengala. Além da interpretação sísmica amarrada a alguns poços de controle, o programa de modelagem sedimentar Beicip Franlab Dionisos, foi utilizado para modelar a história de preenchimento da bacia para um período de 5,2 Ma. O nível relativo do nível do mar e a taxa de aporte sedimentar foram os pontos chaves considerados no modelo. Através da utilização dos dados sísmicos, foi possível reconhecer dez quebras de plataformas principais, as quais foram utilizadas no modelo, amarrados aos seus respectivos tempos geológico, provenientes dos dados dos poços do Plioceno ao Holoceno. O resultado do modelo mostrou que a primeira metade modelada pode ser considerada como um sistema deposicional retrogradacional, com algum picos transgressivos. Este sistema muda drasticamente para um sistema progradacional, o qual atuou até o Holoceno. A seção modelada também mostra que no período considerado o total de volume depositado foi em torno de 2,1 x 106 km3, equivalente a 9,41 x 1014 km3/Ma.

Desajuste interno e desadaptação marginal de sistemas restauradores estéticos usados em restaurações inlays indiretas

O objetivo é comparar o ajuste interno e marginal cervical de dois sistemas de compósito e um de cerâmica prensada. O Material e Métodos foi elaborado a partir de um modelo mestre metálico com preparo para inlay MOD, 15 troquéis de gesso tipo IV foram obtidos e distribuídos randomicamente em três grupos (n=5), a saber: Grupo Empress, Grupo Sinfony e Grupo Z350. Após a confecção das restaurações, cada peça foi posicionada no modelo mestre e fotografada nas faces mesial e distal para através de um programa de computador fazer a análise da desadaptação marginal cervical. Depois, a peça foi cimentada no modelo mestre usando silicone de adição de ultrabaixa viscosidade para preencher o espaço entre as restaurações e o preparo. Após a remoção das inlays, cada réplica foi pesada em balança de precisão para posterior obtenção de seu volume. Nos Resultados temos a interface paredes do preparo/paredes da restauração: houve diferença estatística entre o grupo Empress, que apresentou volume até 137% maior que os demais grupos, que foram considerados iguais entre si. Área de desadaptação marginal cervical: Houve diferença entre todos os grupos com o grupo Empress apresentando os maiores valores, seguido pelo grupo Sinfony e pelo grupo Z350. Os grupos Empress e o Sinfony apresentaram respectivamente áreas de desadaptação 450% e 200% maiores que o grupo Z350. Maior distância entre as bordas da restauração e as margens do preparo os grupos Empress e Sinfony foram iguais estatisticamente e diferentes do grupo Z350 que apresentou os menores valores. Entretanto, o grupo Empress apresentou uma desadaptação linear 43% maior que o grupo Sinfony. Concluímos que quanto ao desajuste interno, o grupo Empress apresentou os maiores valores no volume da interface dente/restauração, com diferença estatística significativa (P<0,05) em relação aos demais grupos. Para o cálculo da área, a desadaptação marginal foi menor no grupo Z350, seguido dos grupos Sinfony e Empress, todos mostrando diferença estatística significativa entre si (P<0,05). Considerando a medida linear, a desadaptação marginal foi menor no grupo Z350, indicando diferença estatística significativa (P<0,05) deste para os demais grupos.

Análise de quadrigramas na escrita em inglês como língua estrangeira: um estudo baseado em corpus

O presente estudo tem como objetivo geral traçar um perfil das escolhas léxico-gramaticais da escrita em inglês de um grupo de aprendizes brasileiros na cidade do Rio de Janeiro, ao longo dos anos de 2009 a 2012, através da análise de sua produção de quadrigramas (ou blocos de quatro itens lexicais usados com frequência por vários aprendizes) em composições escritas como parte da avaliação final de curso. Como objetivo específico, a pesquisa pretendeu analisar se os quadrigramas produzidos estavam dentre aqueles que haviam sido previamente ensinados para a execução da redação ou se pertenceriam a alguma outra categoria, isto é, quadrigramas já incorporados ao uso da língua ou quadrigramas errôneos usados com abrangência pela população investigada. Para tal, foram coletadas composições escritas por aprendizes de mesmo nível de proficiência de várias filiais de um mesmo curso livre de inglês na cidade do Rio de Janeiro. Em seguida, essas composições foram digitadas e anotadas para constituírem um corpus digital facilmente identificável em termos do tipo e gênero textual, perfil do aprendiz, filial e área de origem do Rio de Janeiro. O estudo faz uso de preceitos e métodos da Linguística de Corpus, área da Linguística que compila grandes quantidades de textos e deles extrai dados com o auxílio de um programa de computador para mapear uso, frequência, distribuição e abrangência de determinados fenômenos linguístico ou discursivo. O resultado demonstra que os aprendizes investigados usaram poucos quadrigramas ensinados e, coletivamente, preferiram usar outros que não haviam sido ensinados nas aulas específicas para o nível cursado. O estudo também demonstrou que quando o gênero textual faz parte de seu mundo pessoal, os aprendizes parecem utilizar mais quadrigramas previamente ensinados. Isto pode querer dizer que o gênero pode influenciar nas escolhas léxico-gramaticais corretas. O estudo abre portas para se compreender a importância de blocos léxico-gramaticais em escrita em L2 como forma de assegurar fluência e acuracidade no idioma e sugere que é preciso proporcionar maiores oportunidades de prática e conscientização dos aprendizes quanto ao uso de tais blocos

Das máquinas de ensinar aos netbooks: tradição, inovação e tradução

Este estudo tem como objetivo focalizar o Programa Um Computador por Aluno (PROUCA), buscando observar nas práticas pedagógicas de uma escola da rede municipal do Rio de Janeiro os processos de ressignificação e recontextualização, empreendidos naquele espaço. O PROUCA é desenvolvido em âmbito mundial, mas chegou à escola do município do Rio de Janeiro somente em 2010, enquanto a rede estadual já contava com o mesmo em algumas unidades escolares há mais tempo. Embasando-me em autores como McLaren (2000), Geertz (2008), André (2010), dentre outros, desde meados de 2010 e até o final do ano de 2012, foi desenvolvida uma pesquisa de cunho etnográfico na primeira escola do município do Rio de Janeiro a receber o PROUCA. No que se refere aos aspectos metodológicos, além da observação sistemática do cotidiano da Escola Conecta, foram utilizados recursos como conversas informais, entrevistas gravadas e transcritas, fotografias, participação em atividades da escola, além da coleta de informações em bibliografias específicas e consulta das matérias divulgadas pelo site oficial do PROUCA e do site do One Laptop per Child (OLPC), projeto que inspirou o PROUCA. Busco apoio em alguns dos aportes teórico-analíticos da Teoria do Discurso (TD) de Ernesto Laclau (2006, 2010, 2011, 2013) no sentido de fornecer subsídios interpretativos para significantes que aparecem nos discursos que circulavam nos espaços de realização da pesquisa, relacionando-os ao uso das tecnologias. No contato com a Escola, pude observar as dificuldades e as estratégias desenvolvidas para se colocar em prática e utilizar estes equipamentos tanto pelos/as alunos/as quanto pelos/as professores/as e os problemas relacionados à produção de um currículo escolar que atenda à atual política de resultados. Tais propostas apresentam-se vinculadas à idéia de inovação pedagógica e tentando entender como esta inovação de fato se deu, focalizei o caso do PROUCA e seu discurso de inclusão digital, entendendo-o como um discurso híbrido que tenta se fixar como inovador

Estudo de fluxos numéricos para modelos magneto-hidrodinâmicos utilizando o código Flash

A teoria magneto-hidrodinâmicos permite a estruturação de modelos computacionais, designados modelos MHDs, que são uma extensão da dinâmica dos fluidos para lidar com fluidos eletricamente carregados, tais como os plasmas, em que se precisa considerar os efeitos de forças eletromagnéticas. Tais modelos são especialmente úteis quando o movimento exato de uma partícula não é de interesse, sendo que as equações descrevem as evoluções de quantidades macroscópicas. Várias formas de modelos MHD têm sido amplamente utilizadas na Física Espacial para descrever muitos tipos diferentes de fenômenos de plasma, tais como reconexão magnética e interações de ventos estelares com diferentes objetos celestiais. Neste trabalho, o objetivo é analisar o comportamento de diversos fluxos numéricos em uma discretização de volumes finitos de um modelo numérico de MHD usando um esquema de malha entrelaçada sem separação direcional considerando alguns casos testes. Para as simulações, utiliza-se o código Flash, desenvolvido pela Universidade de Chicago, por ser um código de amplo interesse nas simulações astrofísicas e de fenômenos no espaço próximo à Terra. A metodologia consiste na inclusão de um fluxo numérico, permitindo melhoria com respeito ao esquema HLL.

基于TCP/ IP 协议的CSR离子泵电源远程监控软件系统设计

This paper discuss a Ion-pump Power Supply control system making use of RS232 series bus and Intranet.The system s hardware VAC800 is composed of MSP430F149 mixed-signal processors produced by TI and UA7000A network model.MSP430F149 has advantages of ultra-low-power and high-integration.The Ion-pump Power Supply control system has the characteristics of strong function,simple structure,high reliability,strong resistance of noise,no peripheral chip,etc.Visual studio 2005 is used to design the system s softwa...中文文摘：论述了通过RS-232总线和Intranet网络,来实现对远端的离子泵电源的监测与控制。系统硬件VAC800由TI公司的MSP430F149混合信号处理器和UA7000A网络模块构成。MSP430F149具有超低功耗和高集成度等优点,利用它构建的离子泵电源监控系统功能强大,结构简单,可靠性高,抗干扰能力强。系统软件采用visual studio 2005设计。本监控系统能够很好地完成对加速器离子泵电源监视与控制。

基于TCP/IP协议的CSR离子泵电源远程监控软件系统设计

论述了通过RS-232总线和Intranet网络,来实现对远端的离子泵电源的监测与控制。系统硬件VAC800由TI公司的MSP430F149混合信号处理器和UA7000A网络模块构成。MSP430F149具有超低功耗和高集成度等优点,利用它构建的离子泵电源监控系统功能强大,结构简单,可靠性高,抗干扰能力强。系统软件采用visual studio 2005设计。本监控系统能够很好地完成对加速器离子泵电源监视与控制。

支持场景方法的界面设计工具

用户界面是交互式软件系统中重要组成部分。它在应用软件中平均占开发量 和运行时间的40%~50%[Myers 1989]。界面设计工具可以用可视化的方法支持用 户界面的快速设计、减少手动开发工作量来提高系统的开发效率。同时还能够根 据用户定制系统，满足了不同用户的个性化需求。图形用户界面是最广泛应用的 用户界面，针对图形用户界面的设计已有Visual Studio，Qt Designer等成熟的设计 工具。使用软件界面设计工具能够将软件的用户界面部分和应用逻辑部分分离， 使设计人员更专注于软件界面的交互方式和现实效果，而开发人员则更专注软件 的应用逻辑实现。使用设计工具开发还能够根据用户变化改变设计来满足用户多 种多样的需求。 场景的概念最初是由Kahn[Kahn 1962]提出的，之后由Carroll领导的团队提出 了基于场景设计的一般框架[Rosson 2001]。场景设计方法在描述用户使用软件的 交互行为和系统反馈上面有着很强的能力[Go 2004]。然而，以往基于场景的设计 方法都使用文字来描述场景，缺少相应用户界面设计工具的支持。 本文通过研究分析基于场景设计方法，设计并实现了支持场景设计方法的界 面设计工具。该工具将软件界面场景以图形形式展示给设计人员，辅助用户对软 件界面需求进行发掘，帮助设计人员开展界面设计。本文的主要工作有： 1、以基于场景方法为指导确立了以图形化形式对场景进行描述的基本流程。 通过对已有界面设计工具进行分析得出软件界面设计的一般过程，并研究分析了 基于场景设计方法在软件界面设计中的使用及其优势。 2、在概要设计角度介绍了场景树、状态迁移图和界面布局可视化描述方式对 场景方法的支持。并详细介绍了界面设计工具的整体架构，重点阐述了各个模块 间的不同功能及在界面设计过程所起的作用。 3、详细分析了设计工具生成软件界面文档的描述规范。针对基于场景设计的 各个阶段阐述了与之对应的软件界面设计步骤。最后简单介绍了使用生成的文档 来开发与应用逻辑相关代码的过程。 4、以个人信息管理系统作为应用实例介绍整个界面软件的设计过程。并在此 基础上介绍了几个使用设计工具进行设计的实际系统，最后对设计工具未来的应 用和改进进行了展望。

海底金属矿床充水条件及矿坑突水的断层效应研究

The Xinli mine area of Sanshandao mine is adjacent to the Bohai Sea and its main exploitable ore deposit occurs in the undersea rock mass. The mine is the biggest undersea gold mine of China after production. The mine area faces a latent danger of water bursting, even sudden seawater inrush. There is no mature experience in undersea mining in China so far. The vein ore deposit is located in the lower wall of a fault; its possible groundwater sources mainly include bittern, Quaternary pore water and modern seawater. To ensure the safety of undersea mining, to survey the flooding conditions of the ore deposit using proper measures and study the potential seawater inrush pattern are the key technical problems. With the Xinli mine area as a case study, the engineering geological conditions of the Xinli mine area are surveyed in situ, the regional structural pattern and rock mass framework characteristics are found out, the distribution of the structural planes are modeled by a Monte Carlo method and the connectivity coefficients of rock mass structural planes are calculated. The regional hydro-geological conditions are analyzed and the in-situ hydro-geological investigation and sampling are performed in detail, the hydrochemistry and isotopes testing and groundwater dynamic monitoring are conducted, the recharge, runoff, discharge conditions are specified and the sources of flooding are distinguished. Some indices are selected from the testing results to calculate the proportion of each source in some water discharge points and in the whole water discharge of the Xinli mine area. The temporal and spatial variations of each water source of the whole ore deposit flooding are analyzed. According to the special project conditions in the Xinli mine area, the permeability coefficient tensors of the rock mass in Xinli mine area are calculated based on a fracture geometry measurement method, in terms of the connectivity and a few hydraulic testing results, a modified synthetic permeability coefficient are calculated. The hydro-geological conceptual and mathematical model are established，the water yield of mine is predicted using Visual Modflow code. The spreading law of surrounding rock mass deformation and secondary stress are studied by numerical analysis; the intrinsic mechanism of the faults slip caused by the excavation of ore deposit is analyzed. The results show that the development of surrounding rock mass deformation and secondary stress of vein ore deposit in the lower wall of a fault, is different from that in a thick-big ore deposit. The secondary stress caused by the excavation of vein ore deposit in the lower wall of a fault, is mainly distributed in the upper wall of the fault, one surface subsidence center will occur. The influences of fault on the rock mass movement, secondary stress and hydro-geological structures are analyzed; the secondary stress is blocked by the fault and the tensile stress concentration occurs in the rock mass near the fault, the original water blocking structure is destructed and the permeable structure is reconstructed, the primary structural planes begin to expand and newborn fissures occur, so the permeability of the original permeable structure is greatly enhanced, so the water bursting will probably occur. Based on this knowledge, the possible water inrush pattern and position of the Xinli mine area are predicted. Some computer programs are developed using object-oriented design method under the development platform Visual Studio.Net. These programs include a Monte Carlo simulation procedure, a joint diagrammatizing procedure, a structural planes connectivity coefficient calculating procedure, a permeability tensor calculating procedure, a water chemical formula edit and water source fixture conditions calculating procedure. A new computer mapping algorithm of joint iso-density diagram is raised. Based on the powerful spatial data management and icon functions of Geographic Information System, the pit water discharge dynamic monitoring data management information systems are established with ArcView.

Controlpec 1.0: controle financeiro simplificado para a fazenda de pecuária de corte.

A maioria dos produtores de gado de corte não realiza adequadamente o controle de receitas e despesas de sua atividade. Como a lucratividade da pecuária de corte tem se reduzido pela queda no preço de seus produtos e pela alta nos custos de produção, tal função tornou-se crucial para aqueles que querem se manter no negócio. Para atender essa demanda, a Embrapa Gado de Corte desenvolveu, em ambiente Excel, o Controlpec 1.0, uma ferramenta simples e de fácil utilização pelos produtores. Com base no movimento financeiro da fazenda são gerados relatórios que consolidam despesas, receitas e margens econômicas da atividade, tendo em conta o plano de contas definido pelo usuário. Os resultados são expostos para cada mês do ano e para todo o ano.

An integrated firewall policy validation tool.

Security policies are increasingly being implemented by organisations. Policies are mapped to device configurations to enforce the policies. This is typically performed manually by network administrators. The development and management of these enforcement policies is a difficult and error prone task. This thesis describes the development and evaluation of an off-line firewall policy parser and validation tool. This provides the system administrator with a textual interface and the vendor specific low level languages they trust and are familiar with, but the support of an off-line compiler tool. The tool was created using the Microsoft C#.NET language, and the Microsoft Visual Studio Integrated Development Environment (IDE). This provided an object environment to create a flexible and extensible system, as well as simple Web and Windows prototyping facilities to create GUI front-end applications for testing and evaluation. A CLI was provided with the tool, for more experienced users, but it was also designed to be easily integrated into GUI based applications for non-expert users. The evaluation of the system was performed from a custom built GUI application, which can create test firewall rule sets containing synthetic rules, to supply a variety of experimental conditions, as well as record various performance metrics. The validation tool was created, based around a pragmatic outlook, with regard to the needs of the network administrator. The modularity of the design was important, due to the fast changing nature of the network device languages being processed. An object oriented approach was taken, for maximum changeability and extensibility, and a flexible tool was developed, due to the possible needs of different types users. System administrators desire, low level, CLI-based tools that they can trust, and use easily from scripting languages. Inexperienced users may prefer a more abstract, high level, GUI or Wizard that has an easier to learn process. Built around these ideas, the tool was implemented, and proved to be a usable, and complimentary addition to the many network policy-based systems currently available. The tool has a flexible design and contains comprehensive functionality. As opposed to some of the other tools which perform across multiple vendor languages, but do not implement a deep range of options for any of the languages. It compliments existing systems, such as policy compliance tools, and abstract policy analysis systems. Its validation algorithms were evaluated for both completeness, and performance. The tool was found to correctly process large firewall policies in just a few seconds. A framework for a policy-based management system, with which the tool would integrate, is also proposed. This is based around a vendor independent XML-based repository of device configurations, which could be used to bring together existing policy management and analysis systems.

Foto-identificação de tartarugas marinhas (Chelonia mydas e Eretmochelys imbricata) na Reserva Biológica Marinha do Arvoredo (Santa Catarina, Brasil)

Dissertação de mest., Biologia Marinha (Ecologia e Conservação Marinha), Faculdade de Ciências e Tecnologia, Univ. do Algarve, 2012

Hábitos de leitura de alunos dos 2.º e 3.º ciclos do ensino básico na E.B. 2,3 Poeta Emiliano da Costa

Dissertação de mest., Promoção e Mediação da Leitura, Faculdade de Ciências Humanas e Sociais, Univ. do Algarve, 2012

A aprendizagem da função afim no 8º ano : uma proposta apoiada nas tecnologias e na educação financeira

Trabalho de projeto de mestrado, Educação (Área de especialidade em Didática da Matemática), Universidade de Lisboa, Instituto de Educação, 2015

Detecção de sectores cruzados e optimização de cobertura em redes LTE

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia de Electrónica e Telecomunicações