Tags populares：
Virtualização segurança DNS verificação formal análise de alcance IA erros do compilador conflito de macro extensão web framework de desenvolvimento Gráficos de Bitmap Todos os tags

Localizando Fontes de RFI usando Correções de Campo Próximo: Um Estudo para Cosmologia de 21cm na Era da Reionização

2025-02-27

Pesquisadores desenvolveram um novo método para localizar fontes de interferência de radiofrequência (RFI), particularmente aquelas de objetos de campo próximo como aviões, usando correções de campo próximo. Este método combina o phasing de campo distante, correções de campo próximo e formação de feixe para localizar precisamente a posição 3D dos emissores de RFI, maximizando a coerência dos sinais curvos de campo próximo. Isso é mais eficiente do que o método tradicional de sinalização, preservando mais dados utilizáveis e aumentando as chances de detectar o sinal de 21cm durante a Era da Reionização. Os resultados demonstram uma estimativa eficaz da altitude dos emissores de RFI, revelando diferenças de desempenho em diferentes condições observacionais, lançando as bases para uma remoção mais precisa de RFI no futuro.

Leia mais
(www.cambridge.org)
Tecnologia Interferência de Radiofrequência Cosmologia de 21cm Era da Reionização

Corrigindo a Prova de Bird para o Crivo de Eratóstenes: Uma Prova sobre Listas Infinitas

2025-02-08

Este artigo corrige uma prova errônea de Richard Bird em seu livro *Thinking Functionally with Haskell* sobre o Crivo de Eratóstenes. Bird apresenta uma implementação circular baseada em listas, mas sua dica de prova é falha. Os autores fornecem uma prova de correção completa introduzindo novos lemas e recorrendo a um enfraquecimento do Postulado de Bertrand. A conexão entre este algoritmo e a visão de David Turner de "Programação Funcional Total" também é explorada.

Leia mais
(www.cambridge.org)
Desenvolvimento crivo de eratostenes prova de algoritmo

Deconstruindo Árvores de Fenwick com Programação Funcional

2025-01-25

Este artigo mergulha na implementação de árvores de Fenwick (também conhecidas como árvores indexadas binárias). Começando com a árvore de segmentos mais facilmente compreensível, o autor usa programação funcional e raciocínio equacional para derivar a implementação de árvores de Fenwick, revelando a lógica por trás de suas operações bit a bit aparentemente misteriosas. Ao usar habilmente um Haskell EDSL para operar em números binários de complemento de dois infinitos, o artigo finalmente explica o segredo da implementação eficiente de árvores de Fenwick e prova a complexidade de tempo logarítmica de suas operações de atualização e consulta de intervalo.

Leia mais
(www.cambridge.org)
Desenvolvimento árvore de Fenwick árvore de segmentos

Adultos com TDAH no Reino Unido têm redução de expectativa de vida de 6 a 9 anos

2025-01-24

Um estudo de coorte pareada usando dados de atenção primária do Reino Unido revela um déficit significativo na expectativa de vida para adultos diagnosticados com TDAH. Analisando dados de mais de 9,5 milhões de indivíduos em 792 consultórios gerais entre 2000 e 2019, os pesquisadores descobriram uma redução de 6,78 anos para homens e 8,64 anos para mulheres em comparação com a população geral. Essa expectativa de vida mais curta provavelmente é atribuída a fatores de risco modificáveis e necessidades de apoio não atendidas para TDAH e condições de saúde mental e física concomitantes. As descobertas destacam uma necessidade crítica não atendida de melhor apoio e tratamento para adultos com TDAH.

Leia mais
(www.cambridge.org)
Tecnologia Expectativa de vida Mortalidade

Cavalgada Espectral: Sacrifício de Cavalos do Período da Idade do Ferro Antiga Descoberto na Sibéria do Sul

2025-01-15
Cavalgada Espectral: Sacrifício de Cavalos do Período da Idade do Ferro Antiga Descoberto na Sibéria do Sul

Escavações na tumba de Tunnug 1, na Tuva, Sibéria do Sul, datada do final do século IX a.C., revelaram os restos mortais de pelo menos 18 cavalos e um humano, dispostos de maneira que lembra os 'cavaleiros espectrais' sacrificiais descritos por Heródoto em rituais fúnebres citas do século V a.C. A descoberta de arreios de cavalo liga ainda mais a descoberta às primeiras culturas equestres da Mongólia. A datação por radiocarbono confirma a idade da tumba, colocando esses rituais no início do período cita. Isso desafia os entendimentos anteriores sobre as origens citas e destaca as primeiras trocas culturais na estepe eurasiana.

Leia mais
(www.cambridge.org)
Tecnologia Cultura cita Sacrifício de cavalos

Massacre da Idade do Bronze Antiga Descoberto em Somerset, Reino Unido

2024-12-18
Massacre da Idade do Bronze Antiga Descoberto em Somerset, Reino Unido

Escavações em Charterhouse Warren, em Somerset, Reino Unido, revelaram um chocante massacre da Idade do Bronze Antiga. Pelo menos 37 homens, mulheres e crianças foram brutalmente assassinados e esquartejados, seus restos mortais desmembrados descartados em um poço natural de 15 metros de profundidade. Marcas de corte e traumas por força contundente nos ossos indicam um ato deliberado de violência extrema, possivelmente incluindo canibalismo. Esta descoberta oferece uma visão única sobre a violência pré-histórica na Grã-Bretanha, desafiando os entendimentos anteriores sobre a estabilidade social durante este período e incentivando investigações adicionais sobre as motivações e o contexto social do evento.

Leia mais
(www.cambridge.org)
Diversos Idade do Bronze Antiga Canibalismo