Visibility recovery on images acquired in attenuating media. Application to underwater, fog, and mammographic imaging

136 p.

On Nonnegative Solutions of Fractional q-Linear Time-Varying Dynamic Systems with Delayed Dynamics

This paper is devoted to the investigation of nonnegative solutions and the stability and asymptotic properties of the solutions of fractional differential dynamic linear time-varying systems involving delayed dynamics with delays. The dynamic systems are described based on q-calculus and Caputo fractional derivatives on any order.

Proposta de Protocolo para Projeto de Engenharia de Reatores Anaeróbios de Fluxo Ascendente com Manta de Lodo.

Esta dissertação apresenta a metodologia para o Projeto de Engenharia de Reatores Anaeróbios de Fluxo Ascendente com Manta de Lodo para tratamento de esgoto sanitário. A metodologia desenvolvida apresenta os parâmetros de cálculo e os condicionamentos técnicos físicos envolvidos no projeto e construção da unidade de tratamento. O trabalho contém uma proposta de protocolo para o projeto, construção e operação do Reator UASB.

Uma proposta para introdução de noções de Cálculo no ensino médio

A presente dissertação tem o objetivo de propor a reinclusão de elementos de Cálculo no ensino médio, pois no passado o Cálculo fazia parte do currículo e foi abolido após uma reforma no ensino da matemática. O trabalho apresenta os resultados de um levantamento estatístico sobre os índices de reprovação na disciplina Cálculo Diferencial e Integral I nos períodos mais recentes da Universidade do Estado do Rio de Janeiro (UERJ) e, também, uma pesquisa quantitativa com quarenta professores de matemática com o objetivo de analisar a viabilidade do projeto e os problemas a serem enfrentados. Por fim, a dissertação conta com uma série de atividades comentadas sobre o tema de limites, que é o foco do trabalho. Tais atividades podem ser incluídas já no 1 ano do ensino médio, paralelamente ao conteúdo de funções, e visam proporcionar aos estudantes o contato com elementos de Cálculo em uma linguagem acessível, e orientar o professor nesta tarefa

Cálculo no ensino médio: uma proposta para o ensino de derivada na primeira série

Este trabalho traz uma proposta de atividades, a serem desenvolvidas em sala de aula, com o objetivo de introduzir o conceito de derivadas para os alunos da primeira série do Ensino Médio. Antes das atividades, estão presentes algumas breves pesquisas. O histórico da presença de tópicos do Cálculo Diferencial e Integral no Ensino Médio no Brasil, assim como a análise de alguns livros didáticos, serve para mostrar como o assunto já foi e está sendo tratado no país. Também são exibidos aspectos sobre o Ensino Médio na Alemanha e nos Estados Unidos, países onde o cálculo está presente na Escola Secundária, embora de formas bastante diferentes. Um capítulo sobre a preparação adequada para as aulas também foi incluído, uma vez que a simples inserção da derivada poderia causar problemas de tempo para o cumprimento do cronograma e não trazer os resultados esperados. São necessários algum grau de adequação dos conteúdos ministrados e de cooperação com professores de Física. As atividades visando o ensino dos conceitos iniciais de derivada são motivadas por um problema físico de movimento. O foco é dado na intuição e na visualização de gráficos, para que haja uma melhor compreensão dos conceitos envolvidos. A utilização de um software de geometria dinâmica é requerida em boa parte do tempo, como importante ferramenta de apoio pedagógico

Distribution, demography, and discard mortality of crabs caught as bycatch in an experimental pot fishery for toothfish (Dissostichus eleginoides) in the South Atlantic

Between March 2000 and April 2001 two commercial fishing vessels fished for toothfish (Dissostichus eleginoides) off South Georgia using pots. A significant number of lithodid crabs (three species of Paralomis spp.) were caught as bycatch. Paralomis spinosissima occurred in shallow water, generally shallower than 700 m. Paralomis anamerae, not previously reported from this area and therefore representing a considerable southerly extension in the reported geographic range of this species, had an intermediate depth distribution from 400 to 800 m. Paralomis formosa was present in shallow waters but reached much higher catch levels (and, presumably, densities) between 800 and 1400 m. Differences were also noted in depth distribution of the sexes and size of crabs. Depth, soak time, and area were found to significantly influence crab catch rates. Few crabs (3% of P. spinosissima and 7% of P. formosa) were males above the legal size limit and could therefore be retained. All other crabs were discarded. Most crabs (>99% of P. formosa, >97% of P. spinosissima, and >90% of P. anamerae) were lively on arrival on deck and at subsequent discard. Mortality rates estimated from re-immersion experiments indicated that on the vessel where pots were emptied directly onto the factory conveyor belt 78–89% of crabs would survive discarding, whereas on the vessel where crabs were emptied down a vertical chute prior to being sorted, survivorship was 38–58%. Of the three, P. anamerae was the most vulnerable to handling onboard and sub-sequent discarding. Paralomis spinosissima seemed more vulnerable than P. formosa.

Power absorption invariance for brownian spring forcing

In [5] it was shown that, for a standard quarter-car vehicle model and a road disturbance whose velocity profile is white noise of intensity A, the mean power dissipated in the suspension is equal to kA/2 where k is the tyre vertical stiffness. It is remarkable that the power dissipation turns out to be independent of all masses and suspension parameters. The proof in [5] makes use of a spectral formulation of white noise and is specific to linear systems. This paper casts the result in a more general form and shows that it follows from a simple application of Ito calculus. © 2012 IEEE.

Dynamics of quantum dissipation systems interacting with fermion and boson grand canonical bath ensembles: Hierarchical equations of motion approach

A hierarchical equations of motion formalism for a quantum dissipation system in a grand canonical bath ensemble surrounding is constructed on the basis of the calculus-on-path-integral algorithm, together with the parametrization of arbitrary non-Markovian bath that satisfies fluctuation-dissipation theorem. The influence functionals for both the fermion or boson bath interaction are found to be of the same path integral expression as the canonical bath, assuming they all satisfy the Gaussian statistics. However, the equation of motion formalism is different due to the fluctuation-dissipation theories that are distinct and used explicitly. The implications of the present work to quantum transport through molecular wires and electron transfer in complex molecular systems are discussed. (c) 2007 American Institute of Physics.

High uniformity of self-organized InAs quantum wires on InAlAs buffers grown on misoriented InP(001)

Highly uniform InAs quantum wires (QWRs) have been obtained on the In0.5Al0.5As buffer layer grown on the InP substrate 8 degrees off (001) towards (111) by molecular-beam epitaxy. The quasi-periodic composition modulation was spontaneously formed in the In0.5Al0.5As buffer layer on this misoriented InP (001). The width and period of the In-rich bands are about 10 and 40 nm, respectively. The periodic In-rich bands play a major role in the sequent InAs QWRs growth and the InAs QWRs are well positioned atop In-rich bands. The photoluminescence (PL) measurements showed a significant reduction in full width at half maximum and enhanced PL efficiency for InAs QWRs on misoriented InP(001) as compared to that on normal InP(001). (c) 2006 American Institute of Physics.

Trace theory

The concept of traces has been introduced for describing non-sequential behaviour of concurrent systems via its sequential observations. Traces represent concurrent processes in the same way as strings represent sequential ones. The theory of traces can be used as a tool for reasoning about nets and it is hoped that applying this theory one can get a calculus of the concurrent processes anologous to that available for sequential systems. The following topics will be discussed: algebraic properties of traces, trace models of some concurrency phenomena, fixed-point calculus for finding the behaviour of nets, modularity, and some applications of the presented theory.

带复杂数据结构的模型检测工具

模型检测是近二十几年来最成功的自动验证技术之一,而模型检测工具的开发是将模型检测和实际相结合的关键.为了有效地对涉及到复杂数据类型的并发传值系统进行模型检测,总结了以扩展的带赋值符号迁移图和模态图分别作为并发系统和逻辑公式的语义模型来实现模型检测工具的工作,特别是将复杂数据结构引入传值进程定义语言和带赋值符号迁移图.同时结合实际例子说明模型检测工具的有效性.

谓词μ演算和模态图的语义一致性

模态图是谓词μ演算的一种有效的图形表示形式。证明了谓词μ演算和模态图的语义一致性，详细讨论了谓词μ演算公式、嵌套谓词等式系和模态图之间的关系，并给出了一种优化的从线性公式到嵌套谓词等式系的转换算法。

面向传值进程的谓词μ-演算与FO(HML)的完备推演系统

National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office

π-演算互模拟判定算法的优化和实现

National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office