检索结果-内蒙古大学图书馆

arXiv 2025年

作者： Das, Soham Paternain, Santiago Chamon, Luiz F.O. Eksin, Ceyhun Department of Industrial and Systems Engineering Texas A&M University College StationTX United States Department of Electrical Computer and Systems Engineering Rensselaer Polytechnic Institute TroyNY United States Center for Applied Mathematics Ecole Polytechnique Palaiseau France

We propose the concept of a Lagrangian game to solve constrained Markov games. Such games model scenarios where agents face cost constraints in addition to their individual rewards, that depend on both agent joint actions and the evolving environment state over time. Constrained Markov games form the formal mechanism behind safe multiagent reinforcement learning, providing a structured model for dynamic multiagent interactions in a multitude of settings, such as autonomous teams operating under local energy and time constraints, for example. We develop a primal-dual approach in which agents solve a Lagrangian game associated with the current Lagrange multiplier, simulate cost and reward trajectories over a fixed horizon, and update the multiplier using accrued experience. This update rule generates a new Lagrangian game, initiating the next iteration. Our key result consists in showing that the sequence of solutions to these Lagrangian games yields a nonstationary Nash solution for the original constrained Markov *** Codes 93A16, 91A15 (Primary) 91A26, 49N15 (Secondary) © 2025, CC BY-NC-SA.

关键词： Lagrange multipliers

来源：评论

学校读者我要写书评

暂无评论

Chat2Code: A Chatbot for Model Specification and Code Generation, The Case of Smart Contracts

Chat2Code: A Chatbot for Model Specification and Code Genera...

引用

Software Services engineering (SSE) IEEE International Conference on

作者： Ilham Qasse Shailesh Mishra Björn þór Jónsson Foutse Khomh Mohammad Hamdaqa Department of Computer Science Reykjavik University Reykjavik Iceland School of Computer and Communication Sciences Ecole Polytechnique Federale de Lausanne Lausanne Switzerland Department of Computer and Software Engineering Polytechnique Montreal Montreal Canada

The potential of automatic code generation through Model-Driven engineering (MDE) frameworks has yet to be realized. Beyond their ability to help software professionals write more accurate, reusable code, MDE frameworks could make programming accessible for a new class of domain experts. However, domain experts have been slow to embrace these tools, as they still need to learn how to specify their applications' requirements using the concrete syntax (i.e., textual or graphical) of the new and unified domain-specific language. Conversational interfaces (chatbots) could smooth the learning process and offer a more interactive way for domain experts to specify their application requirements and generate the desired code. If integrated with MDE frameworks, chatbots may offer domain experts with richer domain vocabulary without sacrificing the power of agnosticism that unified modelling frameworks provide. In this paper, we discuss the challenges of integrating chatbots within MDE frameworks and then examine a specific application: the auto-generation of smart contract code based on conversational syntax. We demonstrate how this can be done and evaluate our approach by conducting a user experience survey to assess the usability and functionality of the chatbot framework. The paper concludes by drawing attention to the potential benefits of leveraging Language Models (LLMs) in this context.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Reversible Three-Phase Transformer Model for Energization Transients Based on Topological Remnant Flux Calculation 4

A Reversible Three-Phase Transformer Model for Energization ...

引用

4th Annual IEEE Kansas Power and Energy Conference, KPEC 2023

作者： Rezaei-Zare, Afshin Mostafaei, Mohsen Gras, Henry Martinez-Duro, Manuel Mahseredjian, Jean York University Dept. of Electrical Engineering and Computer Science TorontoONM3J 1P3 Canada Ecole Polytechnique de Montreal Dept. of Electrical Engineering MontrealQCH3T 1J4 Canada Electricite de France R&d Palaiseau91120 France

ISBN: (纸本)9798350335408

As a component in power systems, the power transformer plays an important role. Hence, precise modeling can provide useful information about transformer behavior in steady-state and transient conditions. Due to some limitations of available transformer modeling methods, especially in transients, a reversible three-phase transformer model is presented in this paper based on topological remnant flux calculation. In this model, the equivalent magnetic circuit is based on the duality principle. This concept facilitates the connection of an equivalent magnetic circuit to the leakage inductances. The two important factors for transformer energization modeling are air-core inductance and remnant fluxes in different core parts. The calculation of air-core inductance is explained in the paper comprehensively. The simulation results of the proposed topological model for a real 96 MVA, 410/6.8 kV power transformer with a shell-type core in EMTP software shows a nice match between simulated inrush currents with considering remnant flux and the measured ones. © 2023 IEEE.

关键词： Power transformers

来源：评论

学校读者我要写书评

暂无评论

60 GHz Perforated Dielectric Resonator Antenna Fed By Substrate Integrated Waveguide

60 GHz Perforated Dielectric Resonator Antenna Fed By Substr...

引用

Antennas and Propagation Society International Symposium

作者： Ehsan Rahmati Daniel N. Aloi Mohammad S. Sharawi Electrical Engineering Department Polytechnique Montréal Montréal QC Canada Electrical and Computer Engineering Department Oakland University Rochester MI USA

This paper presents the design and study of a high gain and wideband perforated dielectric resonator antenna (DRA) fed by a low loss substrate integrated waveguide (SIW) feeding technology at the frequency range of 54–65 GHz. The applied perforated technique improves the bandwidth and the excitation of a higher order mode enhances the antenna gain. The designed antenna shows a peak gain of 8.6 dBi and 18.5% impedance bandwidth. Therefore, it is capable of covering multiple standards as well as have a single element high gain. The proposed DRA can be a good candidate for short-range wireless communications at millimeter wave bands.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Centimeter-Wave Electronically Scanned Array for Future 6G Applications

Centimeter-Wave Electronically Scanned Array for Future 6G A...

引用

European Conference on Antennas and Propagation, EuCAP

作者： Mohamed Mamdouh M. Ali Mostafa O. Shady Syed M. Sifat Khelifa Hettak Larbi Talbi Ke Wu Department of Electrical Engineering Faculty of Engineering Assiut University Assiut Egypt Department of Electrical and Computer Engineering University of Quebec in Outaouais Gatineau QC Canada R&D Department Scientific Microwave Corporation Montreal QC Canada Dept. of Electrical Computer and Biomedical Engineering Toronto Metropolitan University Toronto ON Canada Department of Electrical Engineering Polytechnique Montreal Montreal QC Canada

ISBN: (数字)9788831299107

ISBN: (纸本)9798350366327

This work presents an electronically controlled reconfigurable scanned array utilizing reflective phase shifters, designed for future 6G applications. Operating within the centimeter-wave (cmWave) frequency band (13–17 GHz), the electronically scanned array (ESA) demonstrates excellent performance. The system comprises a 2 × 2 horn antenna array interconnected with four digitally controlled variable reflect-type phase shifters, each constructed using a 90° hybrid coupler with a movable short-circuit. Additionally, the assembly includes E-H feeding networks, facilitating uniform signal distribution to the antenna array. Simulation results of the complete ESA exhibit outstanding performance, showcasing continuous mainlobe scanning in elevation and azimuth planes. The proposed ESA achieves a matching level below -15 dB with a stable gain of 14 ± 2 dBi over the operating bandwidth.

关键词： Phased arrays 6G mobile communication Azimuth Simulation Horn antennas Spaceborne radar Phase shifters Couplers Reflector antennas Radar antennas

来源：评论

学校读者我要写书评

暂无评论

FPGA-Based FDNE Models for the Accurate Real-Time Simulation of Power Systems in Aircrafts

FPGA-Based FDNE Models for the Accurate Real-Time Simulation...

引用

International Conference on Renewable Energy Research and Applications (ICRERA)

作者： Fahimeh Hajizadeh Loïc Alavoine Tarek Ould-Bachir Frédéric Sirois Jean Pierre David Department of Electrical Engineering Polytechnique Montréal Montreal QC Canada Department of Computer and Software Engineering MOTCE Laboratory Polytechnique Montréal Montreal QC Canada

The advancements in aircraft technology, particularly the increased electrification of aircraft, have introduced complexities in designing and integrating electrical systems. Hardware-in-the-loop (HIL) simulation is recognized as a crucial tool in the aerospace industry, utilizing Field-Programmable Gate Arrays (FPGAs) for their high-speed data processing and low latency. This paper presents a method for accurate real-time simulation of cable harnesses in modern aircrafts, employing Frequency-Dependent Network Equivalent (FDNE) models and FPGAs. The implementation methodology and results of the FPGA-based HIL simulation are presented and discussed. Various equivalent models with different data types are evaluated to determine achievable time-step and resource consumption. Results show the effectiveness of the proposed method in achieving sub-microsecond time-step.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Krylov Cubic Regularized Newton: A Subspace Second-Order Method with Dimension-Free Convergence Rate

arXiv

引用

arXiv 2024年

作者： Jiang, Ruichen Raman, Parameswaran Sabach, Shoham Mokhtari, Aryan Hong, Mingyi Cevher, Volkan Department of Electrical and Computer Engineering The University of Texas Austin United States Amazon Web Services United States Faculty of Data and Decision Sciences Technion Israel Institute of Technology Department of Electrical and Computer Engineering University of Minnesota United States LIONS IEM STI Ecole Polytechnique Fédérale de Lausanne Switzerland

Second-order optimization methods, such as cubic regularized Newton methods, are known for their rapid convergence rates;nevertheless, they become impractical in high-dimensional problems due to their substantial memory requirements and computational costs. One promising approach is to execute second-order updates within a lower-dimensional subspace, giving rise to subspace second-order methods. However, the majority of existing subspace second-order methods randomly select subspaces, consequently resulting in slower convergence rates depending on the problem’s dimension d. In this paper, we introduce a novel subspace cubic regularized Newton method that achieves a dimension-independent global convergence rate of O ( mk1 + k12 ) for solving convex optimization problems. Here, m represents the subspace dimension, which can be significantly smaller than d. Instead of adopting a random subspace, our primary innovation involves performing the cubic regularized Newton update within the Krylov subspace associated with the Hessian and the gradient of the objective function. This result marks the first instance of a dimension-independent convergence rate for a subspace second-order method. Furthermore, when specific spectral conditions of the Hessian are met, our method recovers the convergence rate of a full-dimensional cubic regularized Newton method. Numerical experiments show our method converges faster than existing random subspace methods, especially for high-dimensional problems. Copyright © 2024, The Authors. All rights reserved.

关键词： Newton-Raphson method

来源：评论

学校读者我要写书评

暂无评论

Fairness and Sparsity within Rashomon sets: Enumeration-Free Exploration and Characterization

arXiv

引用

arXiv 2025年

作者： Langlade, Lucas Ferry, Julien Laberge, Gabriel Vidal, Thibaut Ecole nationale des ponts et chaussées Paris France CIRRELT & SCALE-AI Chair in Data-Driven Supply Chains Department of Mathematics and Industrial Engineering Polytechnique Montréal Canada Department of Computer Engineering and Software Engineering Polytechnique Montréal Canada

We introduce an enumeration-free method based on mathematical programming to precisely characterize various properties such as fairness or sparsity within the set of "good models", known as Rashomon set. This approach is generically applicable to any hypothesis class, provided that a mathematical formulation of the model learning task exists. It offers a structured framework to define the notion of business necessity and evaluate how fairness can be improved or degraded towards a specific protected group, while remaining within the Rashomon set and maintaining any desired sparsity level. We apply our approach to two hypothesis classes: scoring systems and decision diagrams, leveraging recent mathematical programming formulations for training such models. As seen in our experiments, the method comprehensively and certifiably quantifies trade-offs between predictive performance, sparsity, and fairness. We observe that a wide range of fairness values are attainable, ranging from highly favorable to significantly unfavorable for a protected group, while staying within less than 1% of the best possible training accuracy for the hypothesis class. Additionally, we observe that sparsity constraints limit these trade-offs and may disproportionately harm specific subgroups. As we evidenced, thoroughly characterizing the tensions between these key aspects is critical for an informed and accountable selection of models. Copyright © 2025, The Authors. All rights reserved.

关键词： Self-supervised learning

来源：评论

学校读者我要写书评

暂无评论

Online Microwave Assisted Coalescence of Binary Water Drops in Crude Oil

Online Microwave Assisted Coalescence of Binary Water Drops ...

引用

2022 International Conference on electrical and Computing Technologies and Applications, ICECTA 2022

作者： Adeyemi, Idowu Kharoua, Nabil Meribout, Mahmoud Alhammadi, Khalid Khezzar, Lyes Khalifa University Department of Mechanical Engineering P.O. Box 127788 Abu Dhabi United Arab Emirates Ecole Nationale Polytechnique de Constantine Department of Mechanical Engineering Constantine Algeria Khalifa University Department of Electrical Engineering and Computer Science P.O. Box 127788 Abu Dhabi United Arab Emirates

ISBN: (数字)9781665456005

ISBN: (纸本)9781665456005

In this study, the online microwave heating and coalescence of water droplets in crude oil was examined numerically. The online flow velocities of the emulsions are 10 and 50mm/s. Moreover, the effect of microwave power including 100, 500, 1000, 2000 and 5000W/m on coalescence performance parameters were assessed. In addition, microwave frequencies of 915MHz and 2.45GHz were studied. The coalescence time and microwave energy were lower at 10mm/s. The coalescence time and energy which were 220ms and 55.88J at 50mm/s was lowered to 100ms and 25.4J at 10mm/s. This phenomenon can be associated with the flow fluctuations at increased velocities which inhibited the coalescence dynamics. This study provides insights on the behavior of online microwave heating and coalescence for water-in-crude oil emulsions. © 2022 IEEE.

关键词： Coalescence

来源：评论

学校读者我要写书评

暂无评论

CERTIFIED ROBUSTNESS UNDER BOUNDED LEVENSHTEIN DISTANCE

arXiv

引用

arXiv 2025年

作者： Rocamora, Elias Abad Chrysos, Grigorios G. Cevher, Volkan LIONS École Polytechnique Fédérale de Lausanne Switzerland Department of Electrical and Computer Engineering University of Wisconsin-Madison United States

Text classifiers suffer from small perturbations, that if chosen adversarially, can dramatically change the output of the model. Verification methods can provide robustness certificates against such adversarial perturbations, by computing a sound lower bound on the robust accuracy. Nevertheless, existing verification methods incur in prohibitive costs and cannot practically handle Levenshtein distance constraints. We propose the first method for computing the Lipschitz constant of convolutional classifiers with respect to the Levenshtein distance. We use these Lipschitz constant estimates for training 1-Lipschitz classifiers. This enables computing the certified radius of a classifier in a single forward pass. Our method, LipsLev, is able to obtain 38.80% and 13.93% verified accuracy at distance 1 and 2 respectively in the AG-News dataset, while being 4 orders of magnitude faster than existing approaches. We believe our work can open the door to more efficient verification in the text domain. © 2025, CC BY.

关键词： Adversarial machine learning

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：