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

arXiv 2024年

作者： McMahan, Jeremy Wu, Young Chen, Yudong Zhu, Xiaojin Xie, Qiaomin Dept. of Computer Sciences University of Wisconsin-Madison United States Dept. of Industrial and Systems Engineering University of Wisconsin-Madison United States

We study security threats to Markov games due to information asymmetry and misinformation. We consider an attacker player who can spread misinformation about its reward function to influence the robust victim player's behavior. Given a fixed fake reward function, we derive the victim's policy under worst-case rationality and present polynomial-time algorithms to compute the attacker's optimal worst-case policy based on linear programming and backward induction. Then, we provide an efficient inception ("planting an idea in someone's mind") attack algorithm to find the optimal fake reward function within a restricted set of reward functions with dominant strategies. Importantly, our methods exploit the universal assumption of rationality to compute attacks efficiently. Thus, our work exposes a security vulnerability arising from standard game assumptions under misinformation. © 2024, CC BY.

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

Analysis of Defect Associated with Powder Bed Fusion with Deep Learning and Explainable AI 15

Analysis of Defect Associated with Powder Bed Fusion with De...

引用

15th International Conference on Knowledge and Smart Technology, KST 2023

作者： Pratap, Ayush Sardana, Neha Utomo, Sapdo John, A. Karthikeyan, P. Hsiung, Pao-Ann Indian Institute of Technology Dept. of Metallurgical and Materials Engineering Ropar Rupnagar India National Chung Cheng University Grad. Ins. Ambient Intelligence and Smart Systems Chiayi County Taiwan National Chung Cheng University Dept. of Computer Science and Information Engineering Chiayi County Taiwan

ISBN: (纸本)9781665477123

Research into the detection, classification, and prediction of internal defects using surface morphology data of parts created via powder bed fusion-type additive manufacturing has become a hot topic in the previous decade thanks to the development of deep learning. However, there is no other evidence to evaluate the model other than accuracy and metrics. In this paper, a novel data set is compiled from various literature and other sources to evaluate the black box model using explainable artificial intelligence (XAI). The data set contains three major powder bed fusion defects: gas porosity, lack of fusion, and balling. The anomaly was initially found using convolutional neural networks (CNN) and transfer learning. Based on test data, a model comparison was performed to determine the best accuracy and an F1 score. VGG16 has outperformed all other models in terms of accuracy, with an F1 score of 98.6 percent. Further, the model has been compared with the existing state-of-the-art model for classification in the domain of powder bed fusion defects. Finally, VGG16 was employed to interpret and explain the test data set. The LIME explanations revealed that the feature predicted by the model was present in conjunction with the fault. As a result, we are confident that the proposed model with XAI would considerably improve the fairness and trustworthiness of the output result in the powder bed fusion field. This can also aid in the automation of additive manufacturing in the realm of Industry 4.0. © 2023 IEEE.

关键词： computer vision

来源：评论

学校读者我要写书评

暂无评论

Computational Thinking and AI Literacy: A Gender-Based Analysis Among Early Learners

Computational Thinking and AI Literacy: A Gender-Based Analy...

引用

IEEE Education engineering (EDUCON)

作者： Andrea E. Cotino-Arbelo Jezabel Molina-Gil Carina S. González-González Dept. of Computer and Systems Engineering Women Research Studies Institute (of the University of La Laguna) La Laguna Spain

ISBN: (数字)9798331539498

ISBN: (纸本)9798331539504

While women remain underrepresented in STEM fields, our study reveals insights from an overlooked frontier: preschool classrooms. Despite decades of global initiatives aimed at increasing female participation in technology fields, gender-interest stereotypes continue to discourage girls from pursuing computer science careers. Our research challenges these barriers by implementing an innovative educational program integrating Computational Thinking (CT) and Artificial Intelligence (AI) literacy. Using a quasi-experimental pretest-posttest design with $N=114$ preschoolers, we assessed the impact of hands-on activities in algorithms, debugging, and control structures through the TechCheck questionnaire. Our findings challenge prevailing assumptions: while initial CT skills showed no gender disparity (boys M=58.8, girls M=53.95, p=,445), post-intervention results revealed girls significantly outperforming boys (girls M=66.11, boys M=51.61, $p=,022$ ). On the contrary, AI literacy assessments showed complete gender parity (p=,995). These results suggest that early childhood education could be the key to dismantling gender barriers in computer science, demonstrating that when learning environments are equitable, girls not only match but can exceed traditional performance expectations. This study opens new pathways for understanding how early educational interventions can reshape the future of gender equity in STEM fields, beginning with our youngest learners.

关键词： computer science Visualization Educational programs Gender equity engineering profession computer architecture Cultural differences Reliability Artificial intelligence engineering education

来源：评论

学校读者我要写书评

暂无评论

A Variable Step-Size Hybrid Adaptive Nonlinear Filter for Solar Radiation Prediction

A Variable Step-Size Hybrid Adaptive Nonlinear Filter for So...

引用

International Conference on systems and Informatics (ICSAI)

作者： Y. Xiao L. Ma K. Khorasani Dept. of Management & Information Systems Prefectural University of Hiroshima Hiroshima Japan Dept. of Electrical & Computer Engineering Concordia University Montreal Canada

ISBN: (数字)9798331510138

ISBN: (纸本)9798331510145

In this paper, a new hybrid adaptive nonlinear filter (HANF) scheme with variable step sizes (VSS) is proposed for solar radiation prediction. Our methodology consists of a Volterra filter and a functional link artificial neural network (FLANN) filter. The Volterra filter with the first- and second-order kernels is included, that is capable of expressing both linearity and nonlinearity. The FLANN filter can handle the nonlinearity that may be expressed by higher-order exponential terms that the Volterra filter with a limited number of kernels is unable to deal with. The VSSs are introduced in the two filters to allow the HANF to enjoy desirable tracking capability such that the time-varying nonlinearity underlying the nonlinear phenomena can be detected and tracked. The proposed VSS-HANF is applied to a real hourly solar radiation time sequence to confirm its improved prediction performance as compared to its counterpart with fixed step sizes.

关键词： Accuracy Finite impulse response filters Adaptive filters Weather forecasting Linearity Nonlinear filters Artificial neural networks Solar radiation Kernel Informatics

来源：评论

学校读者我要写书评

暂无评论

Composite metamorphic relations for integration testing 22

Composite metamorphic relations for integration testing

引用

8th International Conference on computer Technology Applications, ICCTA 2022

作者： Iakusheva, Sofia Khritankov, Anton Phystech School of Applied Mathematics and Informatics Moscow Institute of Physics and Technology Russia Faculty of Computer Science Dept. of Software Engineering Hse University Russia

ISBN: (纸本)9781450396226

Metamorphic testing is a testing method for problems without test oracles. Integration testing allows for detecting errors in complex systems that may not be found during the testing of their components. In this paper, we propose a novel approach that applies metamorphic testing in integration testing. The main idea is to develop a composite metamorphic relation for the system represented as an acyclic graph. This relation is a logical function of metamorphic relations for the parts of the system (vertices of the graph). It takes into account the features of the parts. Also, it can simplify the search for failure by identifying the subsystem with error. In this paper's theoretical part, we describe an algorithm of relation design. Then, we apply our method to a bioinformatics system for comparative genetic analysis of tissues using production tools. This experiment proves our method can be applied to real-life pipelines and find errors in them. © 2022 ACM.

关键词： Integration testing

来源：评论

学校读者我要写书评

暂无评论

An Ising Machine-Based Hybrid Optimization Method Using Constraint Conversion and Correction

An Ising Machine-Based Hybrid Optimization Method Using Cons...

引用

IEEE International Conference on Consumer Electronics (ICCE)

作者： Kinya Iwata Masashi Tawada Nozomu Togawa Dept. of Computer Science and Communications Engineering Waseda University Green Computing Systems Research Organization Waseda University

ISBN: (数字)9798331521165

ISBN: (纸本)9798331521172

This paper proposes an Ising machine-based hy-brid optimization method to solve combinatorial optimization problems, which consists of an approximate formulation process, an annealing process with an Ising machine, and a correction process. The approximate formulation and correction aim to improve the performance of the Ising machine. Computational experiments were conducted on the multi-dimensional knapsack problem (MKP) using an Ising machine. We compare the results with those of the proposed method and the conventional method and demonstrate the effectiveness of the proposed approach.

关键词： Annealing Optimization methods Consumer electronics

来源：评论

学校读者我要写书评

暂无评论

Generalized Stochastic Petri Net Based Simulation of IoT Supported Dynamic Navigation in Teaching Building Evacuation

Generalized Stochastic Petri Net Based Simulation of IoT Sup...

引用

2022 International Conference on Cyber-Physical Social Intelligence, ICCSI 2022

作者： Strobing, Jordan Granit, Meghan Wang, Jiacun Zhao, Lin Monmouth University Dept. of Computer Science and Software Engineering NJ United States School of Safety Science and Engineering Xi'an Univ. of Sci. and Tech Xi'an China

ISBN: (数字)9781665498357

ISBN: (纸本)9781665498357

Emergency management and evacuation efficiency is important to ensure the safety of faculty and students in college. Teaching buildings are typically of multiple stories. When classes are in session, a teaching building may have a large number of students inside. In case of an event like a fire, people have to be evacuated as soon as possible. Due to panic, people may not use good judgement to choose optimal evacuation path, which can further cause congestion in a path to an exit. This study attempts to leverage the recent advances in information technology to dynamically guide evacuees. We use generalized stochastic Petri nets (GSPN) to model the evacuation process in a teaching building. The layout of the building, sizes of classrooms and hallways, number of people in each room, and people's decision pattern in choosing a direction to move are all parameters of the model. With simulation we can estimate the evacuation time-span. Moreover, by observing the state of GSPN model, we can analyze the congestion status of each simulated pathway, and based on that we can dynamically notify people to select the right path that lead them to an exit with the least amount of time. © 2022 IEEE.

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

Robust Active and Reactive Power Control by using Single-Phase Grid connected H-Bridge Inverter

Robust Active and Reactive Power Control by using Single-Pha...

引用

International Smart Grid Workshop and Certificate Program (ISGWCP)

作者： Resul Coteli Korhan Kayisli Ruhi Zafer Caglayan Dept. of Energy Systems Engineering Technology Faculty Firat University Elazig Turkiye Dept. of Electrical- Electronic Engineering Engineering Faculty Gazi University Ankara Turkiye Dept. of Computer Engineering Engineering Faculty TED University Ankara Turkiye

ISBN: (数字)9798350361612

ISBN: (纸本)9798350361629

In a single-phase power network, inverters can be used to control the active and reactive power between sources. This task can be achieved by proper control of the current of the single-phase inverter. The current controllers using dq-frame components have a wide application area because of their superior features such as zero steady-state error and using the DC quantities. In this study, the active and reactive power between sources in a single-phase power system consisting of an AC voltage source and a DC voltage source are controlled via dq-frame based super twisting sliding mode (ST-SMC) current controller. For this aim, a Matlab/Simulink model is constructed. The model includes single phase H-bridge inverter, DC voltage source, AC voltage source, AC load, LCL filter and control unit. Two super twisting sliding mode controllers are used to control d and q-axis currents. Decoupling terms are added to output of each controller for independent control of active and reactive power. The simulation studies are performed to demonstrate the controller's ability to provide/absorb active and reactive power. To demonstrate the ability to provide/absorb active power, the d-axis current command is set to 10 A up to 2 s from the start of the simulation, and then, it is set to – 10 A between 2 s to 4 s. To demonstrate the ability to provide/absorb reactive power, the q-axis current command is set to 10 A up to 2 s from the start of the simulation, and then, it is set to – 10 A between 2 s to 4 s. The simulation results show that the controller provides/absorbs the desired active and reactive power quickly and without steady-state error.

关键词： Reactive power Reactive power control Simulation Inverters Mathematical models Steady-state Smart grids

来源：评论

学校读者我要写书评

暂无评论

LIDS: Lightweight Dynamic Scheduling Technique for 6G-enabled Massive LoRa based IoT systems

LIDS: Lightweight Dynamic Scheduling Technique for 6G-enable...

引用

2022 IEEE GLOBECOM Workshops, GC Wkshps 2022

作者： Kumbam, Akshitha Choudhury, Nikumani Nasralla, Moustafa M. Birla Institute of Technology & Science Dept. of Computer Science & Information Systems Pilani Hyderabad India Prince Sultan University Dept. of Communications & Networks Engineering Riyadh Saudi Arabia

ISBN: (纸本)9781665459754

The sixth-generation (6G) wireless communication networks are envisioned to deliver improved Quality of Services (QoS) such as data-rate, latency, localization, etc., compared to 5G services. This demand will mainly arise due to the massive Internet of Things (IoT) connections among billions of embedded devices. It is worth noting that these IoT devices are constrained in nature in terms of memory, computation and most importantly power. Low-power wireless computing necessitates a link-layer technology that considers the aforementioned IoT device requirements such as low-power, low data-rate, long-range and energy efficient reliable communications. Long Range Radio (LoRa) technology has recently become widely popular to facilitate low-power, long-range communication, while other similar technologies struggle to achieve long-range transmissions. The LoRA standard defines several PHY and MAC sub-layer specifications for Low-Power Wide Area Networks (LPWAN) that can be used to build several IoT applications. With 6G communications, an IoT application is expected to consist of hundreds of devices connected at a time, and this will need a proper scheduling mechanism among these devices for optimal performance. The LoRa standard does not define any scheduling mechanism and leaves it to the research community to explore. In this paper, we propose a distributed scheduling mechanism under the supervision of a common LoRa gateway. The proposed mechanism focuses on a Lightweight DynamicScheduling (LIDS) scheme to minimize loss in data transmissions through collisions. The proposed mechanism optimizes the power consumption to achieve the desired level of QoS requirements such as throughput and latency. © 2022 IEEE.

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

Design and Development of a Smart Tool for Distribution Transformer sizing Considering Plug-in Electric Vehicles Charging

Design and Development of a Smart Tool for Distribution Tran...

引用

Canadian Conference on Electrical and computer engineering (CCECE)

作者： Yussef Afifi Chantel Le Elias Louis Leontis Yuanrong Kyle Zheng Walid G. Morsi Dept. of Electrical Computer and Software Engineering Faculty of Engineering Ontario Tech University Oshawa Canada Faculty of Engineering Ontario Tech Universit Oshawa Canada

ISBN: (数字)9798350371628

ISBN: (纸本)9798350371635

The use of electric vehicles (EV) has exponentially grown within the past couple of years and it is expected to increase by 2050 causing a drastic increase in residential demand. Due to such an increase in demand, many existing distribution transformers servicing these residential homes may need either replacement or upgrade in their sizes to account for the home charging of these EVs. Choosing the correct economic transformer’s size helps electric utilities to benefit from such a significant capital investment. In this paper, a Smart Transformer Sizing Tool (STST) was developed to provide the correct economic size of transformers that ensure no overload as well as maintain the voltage quality. The results demonstrating the effectiveness of the proposed tool are presented and conclusions are drawn.

关键词： Economics Plug-in electric vehicles Heat engines Knowledge based systems Voltage Transformers Power industry

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：