eess artigos | Gist.Science

Formal Verification of Energy Conservation in Discrete Cyber-Physical Fluid Networks: An Algorithmic Proof Methodology Utilizing Mathematical Induction

Este artigo propõe um framework de verificação formal que utiliza indução matemática para mapear redes de fluidos discretas e acíclicas em grafos direcionados, permitindo um algoritmo eficiente de O(V+E) para detectar anomalias de conservação de energia em sistemas ciber-físicos, reduzindo significativamente a complexidade computacional em comparação com solvers numéricos tradicionais.

Syed Eirfan Atthar2026-08-25

⚡ engenharia elétrica

Synthesizing Physiological Stress Facial Expressions for Medical Simulation Mannequins Using AI-Driven Facial Action Units

Este artigo apresenta um pipeline de código aberto, impulsionado por IA, que sintetiza expressões faciais realistas de estresse fisiológico (dor, engasgo e tosse) em manequins médicos 3D usando o Sistema de Codificação de Ações Faciais, demonstrando que animações dinâmicas apenas visuais melhoram significamente a precisão do reconhecimento entre estudantes de enfermagem em comparação com apresentações audiovisuais.

Ahmad Ridwan Fauzi, Trini Handayani2026-08-25

⚡ engenharia elétrica

Trans-SAC: Gamification Design for Sustained User Engagement in Residential Demand Response

Este artigo propõe o Trans-SAC, um novo framework de Resposta à Demanda dinâmico e consciente da gamificação que integra a modelagem de fadiga psicológica com a previsão de engajamento baseada em Transformer e o aprendizado por reforço Soft Actor-Critic para sustentar a participação do usuário a longo prazo e a eficiência econômica através do ajuste dinâmico das dificuldades e recompensas das tarefas.

Tianxiao Peng2026-08-25

⚡ engenharia elétrica

Sim-to-Real Transfer Learning for Real-Time Melt Pool Geometry Prediction in Directed Energy Deposition

Este artigo apresenta um framework de aprendizado de transferência Sim-to-Real que aproveita uma CNN híbrida de múltiplas entradas pré-treinada em simulações baseadas em física e ajustada com dados experimentais limitados para alcançar a predição precisa e em tempo real da largura e profundidade da poça de fusão em Deposição de Energia Direcionada, superando assim a barreira de longa data da medição indireta de profundidade para controle de malha fechada.

Youmna Mahmoud, Nikhil Muralidhar, Chaitanya Krishna Vallabh, Souran Manoochehri2026-08-25

⚡ engenharia elétrica

Quantum Capacitance and High-κ Dielectric Engineering in Black Phosphorus MOSFETs: A Unified Analytical Framework for Electrostatic Scaling

Este artigo apresenta uma estrutura analítica unificada em Python que integra a capacitância quântica com a engenharia de dielétricos de alta constante dielétrica (high-κ) para demonstrar que os MOSFETs de fósforo negro com porta de ZrO₂ oferecem controle eletrostático e métricas de desempenho superiores em comparação às alternativas de SiO₂ e HfO₂.

Ayushi Sharma2026-08-25

⚡ engenharia elétrica

Cryotwin: Sensitivity Analysis, Validation, and Application of a Melting Probe Performance Model

Este artigo apresenta o desenvolvimento, a análise de sensibilidade e a validação na Antártida do Cryotwin, um framework de gêmeo digital que apresenta um modelo semianalítico avançado que prevê e otimiza com precisão o desempenho de perfuração térmica da sonda de fusão IceCraft para futuras explorações de luas geladas.

Dipankul Bhattacharya, Dirk Heinen, Julia Kowalski2026-08-25

⚡ engenharia elétrica

Does Residual Non-Parameterizability Predict When Learned Residual Control Helps? A Controlled Negative Benchmark on a Simulated Manipulator

Este estudo de benchmark controlado em um manipulador simulado demonstra que controladores residuais aprendidos subperformam consistentemente o controle adaptativo composto clássico em várias condições e que a métrica de não-parametrizabilidade residual falha em prever quando abordagens baseadas em aprendizado seriam benéficas.

Dikshant Dikshant2026-08-25

⚡ engenharia elétrica

Evaluating the Sustainability of Maintenance in Manufacturing Plants: A Complex Network Theory Approach

Este artigo propõe uma nova estrutura de avaliação para a sustentabilidade da manutenção de plantas de manufatura que integra o modelo MELP com a teoria de redes complexas para quantificar as interações entre indicadores ambientais, econômicos e sociais, aprimorando assim os modelos tradicionais com características de centralidade de rede e demonstrando robustez por meio de análise de sensibilidade.

Lijiang Deng2026-08-25

⚡ engenharia elétrica

Smart Grid Stability Analysis Using Machine Learning and a Cost-Sensitive Stacked Ensemble Classifier

Este artigo propõe um classificador de ensemble empilhado sensível ao custo que supera modelos individuais de aprendizado de máquina, alcançando 98,34% de acurácia na classificação da estabilidade de redes inteligentes utilizando um conjunto de dados de referência da UCI para permitir o monitoramento em tempo real eficaz e o alerta precoce de condições instáveis.

Mukesh Kumar, Bharat Bhushan Jain, vikas sharma2026-08-25

⚡ engenharia elétrica

Comparative Research on Calculation Methods of Near-Field Electromagnetic Field Strength for Medium-Wave Antennas and Multi-Antenna Superposition Analysis

Este artigo compara vários métodos de cálculo da intensidade do campo eletromagnético em campo próximo para antenas de ondas médias, estabelece um modelo de distribuição de corrente para derivar as intensidades de campo a partir de pontos de monitoramento de campo distante e analisa os desvios entre os cálculos teóricos e as medições de campo para apoiar a avaliação ambiental e o controle preciso da poluição.

li wang, minglongyang, huazhang2026-08-25

← Anterior Próximo →