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

Frontiers in Education (FIE) Conference

作者： Konstantin Läufer Gunda Mertin George K. Thiruvathukal Department of Computer Science Software and Systems Laboratory Loyola University Chicago Institute for Software Engineering and Programming Languages University of Lübeck

ISBN: (数字)9798350351507

ISBN: (纸本)9798350363067

Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions $(\text{TLA}^{+})$ , into computer science education, targeting undergraduate juniors/seniors and graduate students. Many safety-critical systems and services crucially depend on correct and reliable behavior. Formal methods can play a key role in ensuring correct and safe system behavior, yet remain underutilized in educational and industry contexts. Aims: We aim to (1) qualitatively assess the state of formal methods in computer science programs, (2) construct level-appropriate examples that could be included midway into one's undergraduate studies, (3) demonstrate how to address successive “failuresy” through progressively stringent safety and liveness requirements, and (4) establish an ongoing framework for assessing interest and relevance among students. Methods: We detail our pedagogical strategy for embedding $\text { TLA }^{+}$ into an intermediate course on formal methods at our institution. After starting with a refresher on mathematical logic, students specify the rules of simple puzzles in $\text { TLA }^{+}$ and use its included model checker (known as TLC) to find a solution. We gradually escalate to more complex, dynamic, event-driven systems, such as the control logic of a microwave oven, where students will study safety and liveness requirements. We subsequently discuss explicit concurrency, along with thread safety and deadlock avoidance, by modeling bounded counters and buffers. Results: Our initial findings suggest that through careful curricular design and choice of examples and tools, it is possible to inspire and cultivate a new generation of software engineers proficient in formal methods. Conclusions: Our initial efforts suggest that 84% of our students had a positive experience in our formal methods course. Our future plans include a longitudi

关键词： computer science Open Access Model checking System recovery Software Safety Logic Reliability Proposals Software engineering

来源：评论

学校读者我要写书评

暂无评论

Integrated Platform for Spin-Photon Interfaces in Silicon

Integrated Platform for Spin-Photon Interfaces in Silicon

引用

2024 Conference on Lasers and Electro-Optics, CLEO 2024

作者： Song, Hanbin Zhang, Xueyue Zhi, Yiyang Komza, Lukasz Sipahigil, Alp Department of Materials Science and Engineering University of California Berkeley BerkeleyCA94720 United States Materials Sciences Division Lawrence Berkeley National Laboratory BerkeleyCA94720 United States Department of Electrical Engineering and Computer Sciences University of California Berkeley BerkeleyCA94720 United States Department of Physics University of California Berkeley BerkeleyCA94720 United States

We demonstrate optical initialization and readout of electron spins of a single T center in a silicon nanophotonic waveguide. We present progress for coherent control of the waveguide single spin for silicon spin-phot... 详细信息

ISBN: (纸本)9781957171395

关键词： Electron optics

来源：评论

学校读者我要写书评

暂无评论

Frequency multiplexed emission from cavity-enhanced T centers

Frequency multiplexed emission from cavity-enhanced T center...

引用

CLEO: Fundamental Science, CLEO:FS 2024 - Part of Conference on Lasers and Electro-Optics, CLEO 2024

作者： Komza, Lukasz Zhang, Xueyue Tang, Yu-Lung Song, Hanbin Sipahigil, Alp Department of Physics University of California Berkeley BerkeleyCA94720 United States Materials Sciences Division Lawrence Berkeley National Laboratory BerkeleyCA94720 United States Department of Electrical Engineering and Computer Sciences University of California Berkeley BerkeleyCA94720 United States Department of Materials Science and Engineering University of California Berkeley BerkeleyCA94720 United States

To enable efficient s pin-photon interfaces with T centers, cavity-enhanced emission is essential. We build an integrated photonics platform demonstrating cavity-enhanced emission from multiple T centers across distin... 详细信息

ISBN: (纸本)9781957171395

关键词： Photonic integrated circuits

来源：评论

学校读者我要写书评

暂无评论

One-port CSRR Structure for Dielectric Characterization of Lossy Materials

One-port CSRR Structure for Dielectric Characterization of L...

引用

European Conference on Microwave

作者： Matko Martinic Maede Chavoshi Dominique Schreurs Tomislav Markovic Bart Nauwelaers Department of Electrical Engineering WaveCore Division KU Leuven Belgium Department of Electronics Microelectronics Computer and Intelligent Systems Faculty of Electrical Engineering and Computing University of Zagreb Croatia

In this study, a one-port structure developed around a complementary split ring resonator (CSRR) is presented for the dielectric characterization of high-loss materials. A novel high-quality method is proposed based on impedance matching of the CSRR structure. Impedance matching was achieved by tuning the length of the transmission line between the CSRR cell and an open circuit. In this work, the fabricated device was tested using various concentrations of water-ethanol mixtures. Finally, the complex permittivity was extracted by determining the input impedance of the device at the frequency at which the minimum $\vert S_{11}\vert$ occurs in the frequency range from 2.175 GHz to 2.225 GHz. The results show excellent agreement with the complex permittivity obtained using a commercially available dielectric probe set.

关键词：

来源：评论

学校读者我要写书评

暂无评论

InfaSafe: A Comprehensive, Non-invasive Infant Monitoring System

InfaSafe: A Comprehensive, Non-invasive Infant Monitoring Sy...

引用

IEEE International Conference on Electro-Information Technology

作者： Lukas Klicker Alex Maliwat Joanna Findura Xinrui Yu Mikhail Gromov Jafar Saniie Department of Electrical and Computer Engineering Embedded Computing and Signal Processing (ECASP) Research Laboratory Illinois Institute of Technology Chicago IL USA

ISBN: (数字)9798350330649

ISBN: (纸本)9798350330656

InfaSafe emerges as a novel approach to infant health monitoring, uniquely positioned at the convergence of advanced artificial intelligence and edge computing. This system is designed not as a definitive solution but as an advanced platform for comprehensive data archiving, offering valuable insights into the complex and elusive nature of Sudden Unexpected Infant Death (SUID). InfaSafe utilizes AI algorithms for real-time pose estimation, breathing surveillance, and cry analysis, all within an edge computing framework that facilitates prompt and efficient data handling. This paper explores the development and capabilities of InfaSafe, underscoring its role in providing crucial, real-time insights and alerts for caregivers and its potential to contribute significantly to our understanding of neonatal health and SUID. The focus is on leveraging technological advancements to gather comprehensive data, which can be instrumental in shaping future research and interventions in neonatal care.

关键词： Temperature sensors Temperature measurement Pediatrics Temperature distribution Prototypes Real-time systems Thermal analysis

来源：评论

学校读者我要写书评

暂无评论

A Flat Dual-Polarized Millimeter-Wave Luneburg Lens Antenna Using Transformation Optics with Reduced Anisotropy and Impedance Mismatch

arXiv

引用

arXiv 2024年

作者： Su, Yuanyan Li, Teng Hong, Wei Chen, Zhi Ning Skrivervik, Anja K. Switzerland State Key Laboratory of Millimeter Waves Southeast University China Electrical and Computer Engineering Department National University of Singapore Singapore

In this paper, a compact wideband dual-polarized Luneburg lens antenna (LLA) with reduced anisotropy and improved impedance matching is proposed in Ka band with a wide 2D beamscanning capability. Based on transformation optics, the spherical Luneburg lens is compressed into a cylindrical one, while the merits of high gain, broad band, wide scanning, and free polarization are preserved. A trigonometric function is employed to the material property of the flattened Luneburg lens with reduced anisotropy, thus effectively alleviates the strong reflection, the high sidelobes and back radiation with a free cost on the antenna weight and volume. Furthermore, a light thin wideband 7×1 metasurface phased array is studied as the primary feed for the LLA. The proposed metantenna, shorted for metamaterial-based antenna, has a high potential for B5G, future wireless communication and radar sensing as an onboard system. © 2024, CC BY.

关键词： Lens antennas

来源：评论

学校读者我要写书评

暂无评论

A Design and Implementation of Water Heater Model Plant with Temperature Estimation Model for IOT Studies 7

A Design and Implementation of Water Heater Model Plant with...

引用

7th International Conference on Vocational Education and electrical engineering, ICVEE 2024

作者： Pradhana, Anak Agung Surya Funabiki, Nobuo Kotama, I Nyoman Darma Desnanjaya, I Gusti Made Ngurah Radhitya, Made Leo Mahajaya, Nyoman Sarasuartha Okayama University Graduate School of Environmental Life Natural Science and Technology Okayama Japan Okayama University Department of Electrical and Communication Engineering Okayama Japan Institute of Business and Technology Indonesia Department of Computer System Engineering Denpasar Indonesia Institute of Business and Technology Indonesia Department of Informatic Technology Denpasar Indonesia Institut Teknologi Dan Bisnis Stikom Departement of Magister Information Systems Denpasar Indonesia

ISBN: (纸本)9798331505103

This study presents the development of an Internet of Things (IoT) system for a water heater model, focusing on enhancing reliability during sensor malfunctions that could disrupt operations. Using the SEMAR IoT platform, the system efficiently collects and analyzes data, while the integration of the Holt-Winter algorithm ensures accurate temperature estimates, even with unreliable or missing sensor data. The algorithm successfully auto-calibrates sensors, predicts temperature at specific time intervals based on real sensor behavior, and fills in missing data during sensor failures. Tests show strong correlations between estimated and actual temperatures, allowing uninterrupted operation. This solution offers a flexible, cost-effective alternative to traditional redundancy, ensuring system reliability during sensor failures. Future research will explore alternative predictive models and conduct real-world testing to validate the system's resilience under complex conditions. © 2024 IEEE.

关键词： Temperature measurement

来源：评论

学校读者我要写书评

暂无评论

Voltage Profile Improvement in Unbalanced Distribution Networks for Probabilistic Generation and Consumption

Voltage Profile Improvement in Unbalanced Distribution Netwo...

引用

International Conference on Probabilistic Methods Applied to Power systems (PMAPS)

作者： Mohammed Bamatraf Oğuzhan Ceylan Ioana Pisica Aydoğan Özdemir Department of Electrical Eng. Istanbul Technical University Turkey Department of Management Information Systems Kadir Has University Turkey Department of Electrical and Computer Engineering Brunel University London UK Department of Electrical and Electronics Engineering Kadir Has University Turkey

ISBN: (数字)9798350372786

ISBN: (纸本)9798350372793

Due to their technical, economical, and environmental advantages, active distribution networks implement renewable energy resources (RERs) such as photovoltaic (PV) units in distribution networks DNs. However, some drawbacks may arise due to the intermittent nature of RERs, such as voltage fluctuations and increased system losses. This paper presents an optimization problem that is solved by sequential linear programming (SLP) to improve the voltage profile of the unbalanced distribution network. A probabilistic approach was applied to both the load profile and the active power generation of the PV units. SLP is applied to the modified IEEE 34 Bus Test system. The method optimizes the voltage deviations by changing the taps of the voltage regulators and the reactive power injected by the inverters of the PV systems and, in some cases, by switching a shunt capacitor. MATLAB simulations are done at different times of the day with different loads and PV outputs to compare base case and optimal case voltage profiles. The results show better voltage profiles after applying the presented approach.

关键词： Reactive power Regulators Voltage fluctuations Capacitors Distribution networks Switches Probabilistic logic

来源：评论

学校读者我要写书评

暂无评论

A Lightweight AI Model for Anomaly Detection in Wireless Networks

A Lightweight AI Model for Anomaly Detection in Wireless Net...

引用

Artificial Intelligence, Blockchain, and Internet of Things (AIBThings), IEEE International Conference on

作者： Thomas J. Kopcho Mostafa M. Fouda Cameron J. Krome Department of Computer Science Idaho State University Pocatello ID Department of Electrical and Computer Engineering Idaho State University Pocatello ID AI Data & Visualization Idaho National Laboratory Idaho Falls ID

ISBN: (数字)9798331529529

ISBN: (纸本)9798331529536

Detecting network anomalies is critical for wireless network security and reliability. Traditional AI methods often require substantial computational resources, particularly when deployed on cloud servers, leading to increased network load and latency. In contrast, deploying AI models directly on end devices enables real-time data processing at the source, facilitating faster anomaly detection and mitigation. We propose a lightweight hierarchical AI model where initial inferences are made by a simple model and outputs confidence scores. Using a modified TOPSIS-based method, we determine an optimal confidence score threshold. Inferences below this threshold are forwarded to a more complex model for accurate analysis, reducing overall computational demands while maintaining high detection performance. Our approach is tested on a 5 G network dataset, demonstrating competitive performance compared to other anomaly detection models.

关键词： Computational modeling Wireless networks Real-time systems Servers Security Reliability Artificial intelligence Anomaly detection Load modeling Testing

来源：评论

学校读者我要写书评

暂无评论

Fuzzy Control of a Hydrodynamic Process

Fuzzy Control of a Hydrodynamic Process

引用

International Symposium on INFOTEH-JAHORINA (INFOTEH)

作者： Igor Krčmar Petar Marić Velibor Đalić Aleksandar Rakić Bojan Derajić Faculty of Electrical Engineering University of Banja Luka Banja Luka BiH The Department of Signals and Systems School of Electrical Engineering University of Belgrade Belgrade Serbia Faculty of Electrical Engineering and Computer Science Technical University of Berlin Berlin Germany

Hydrodynamic processes, part of many industrial and urban infrastructure systems, usually lack accurate models, hence introducing ambiguity in a controller design procedure. Operators and control engineers provide significant knowledge about successful control of hydrodynamic systems. Fuzzy controller, suitable to exploit and incorporate available knowledge, is designed for control of a benchmark coupled tank system. Successful fuzzy controller must cope with slow dynamics of the process, dead zone of an actuator, and unipolar control signal, when employed in reference tracking tasks. The designed fuzzy controller implements fuzzy inference system with 15 rules, two inputs and one output, as well as three adjustable gain parameters. The proposed controller is successful in reference tracking tasks and disturbance suppression. Experiments, organised as reference tracking tasks and implemented as computer simulations, support the analysis.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：