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

2024 International Conference on Smart Computing, IoT and Machine Learning, SIML 2024

作者： Ardiansyah, Deden Mustafid Mantoro, Teddy Universitas Diponegoro Doctoral Program of Information Systems School of Postgraduate Central Java Semarang Indonesia Universitas Pakuan Vocational School Computer Engineering Department West Java Bogor Indonesia Sampoerna University Media-Tech-Lab Computer Science Department DKI Jakarta Indonesia

ISBN: (纸本)9798350364101

The energy control of a Wireless Sensor Network (WSN) often leads to an unbalanced state between the battery storage system, energy extraction through photovoltaic systems energy, and energy utilization in the WSN. These disparities result in suboptimal wireless sensor network performance. The reliance on batteries is a major factor contributing to this problem. The Q-Learning Energy Management System (Q-EMS) is designed to address these challenges and improve energy management strategies. The Q-EMS algorithm used a learning process resulting in optimal actions for sensor nodes in different situations. The rewards or punishments nodes receive determine their decisions, which are determined by the Q-EMS algorithm. The Q-learning model approach is aimed at reducing energy consumption and supply in WSNs. Energy supply is categorized into battery-based, transfer-based, and harvesting, while energy consumption can be classified into task-cycle, mobility-based, and data-driven. The development of the Q Learning algorithm model has three scenarios: determining energy needs for WSN, effective energy harvesting strategy, and effective energy transfer. As a result, effective energy demand, harvesting and transfer using the Q-learning algorithm are balanced. However, it needs to be studied in more depth using real data in the field. In future research, I will use real data and optimize the use of the Q-Learning algorithm. © 2024 IEEE.

关键词： Energy management systems

来源：评论

学校读者我要写书评

暂无评论

Towards Automated Functional Equation Proving: A Benchmark Dataset and A Domain-Specific In-Context Agent

arXiv

引用

arXiv 2024年

作者： Buali, Mahdi Hoehndorf, Robert Computer Science Program Computer Electrical and Mathematical Sciences & Engineering Division King Abdullah University of Science and Technology Thuwal23955 Saudi Arabia

Automated Theorem Proving (ATP) faces significant challenges due to the vast action space and the computational demands of proof generation. Recent advances have utilized Large Language Models (LLMs) for action selection in ATP, but these methods often require substantial computational resources. This study introduces the Functional Equation Automated Solver (FEAS), an agent that builds on the COPRA in-context learning framework within the Lean environment. FEAS innovates by refining prompt generation and response parsing mechanisms, integrating domain-specific heuristics for functional equations, and introducing the FunEq dataset—a rigorously curated collection of functional equation problems categorized into three difficulty levels. The agent’s performance is evaluated against established baselines using this dataset, demonstrating improvements in theorem proving accuracy, particularly with the integration of functional equation-specific heuristics. Our results highlight the effectiveness of FEAS in generating and formalizing high-level proof strategies into Lean proofs, emphasizing the potential of tailored approaches in domain-specific ATP challenges. © 2024, CC BY.

关键词： Theorem proving

来源：评论

学校读者我要写书评

暂无评论

Camera-Only Perception System for Traffic Jam Assistance

Camera-Only Perception System for Traffic Jam Assistance

引用

2023 International Automatic Control Conference, CACS 2023

作者： Huang, Xiao-Wei Chen, Xiu-Zhi Chen, Yen-Lin National Taipei University of Technology Master Program in Artificial Intelligence Technology Taipei Taiwan National Taipei University of Technology Department of Computer Science and Information Engineering Taipei Taiwan

ISBN: (纸本)9798350306354

Traditional perception systems for TJA (Traffic Jam Assistance) are mostly implemented by fusing images with radar or lidar. As computer vision techniques become more powerful, cameras can almost replace the need for radar and lidar in perception tasks, which reduces the hardware cost of the system. In this research, we propose a camera-only perception system for TJA, which is able to provide the information of the vehicles ahead and the drivable area. The proposed system has been evaluated through real-world scenario sequences, and proved that it achieves high robustness, which is highly possible to be adopted for TJA development. © 2023 IEEE.

关键词： Cameras

来源：评论

学校读者我要写书评

暂无评论

Robust Object Detection Model for UAV Application

Robust Object Detection Model for UAV Application

引用

2023 International Automatic Control Conference, CACS 2023

作者： Ku, Chun Chen, Xiu-Zhi Chen, Yen-Lin National Taipei University of Technology Master Program in Artificial Intelligence Technology Taipei Taiwan National Taipei University of Technology Department of Computer Science and Information Engineering Taipei Taiwan

ISBN: (纸本)9798350306354

Not only common issues on object detection task need to be deal with, for Unmanned Aerial Vehicle (UAV) applications, small object is one of the critical problems that needs to be solved. YOLOv7 is a powerful network architecture that provides high efficiency and accuracy object detection results. This paper adopts YOLOv7 as an object detection model for two different kinds of targets, one is vehicle, and the other is ocean flotsam. By training the model with open datasets and fine-tuning the model with self-collected datasets, we prove through sequences collected from real-world scenarios that YOLOv7 is able to provide robust and accurate object detection results, including vehicles and ocean flotsam, with real-time efficiency. Based on such experimental result, we confirmed that YOLOv7 can be the baseline for object detection model development. © 2023 IEEE.

关键词： Object detection

来源：评论

学校读者我要写书评

暂无评论

High-quality Mid-infrared Chalcogenide Ring Resonator

High-quality Mid-infrared Chalcogenide Ring Resonator

引用

CLEO: science and Innovations in CLEO 2024, CLEO: S and I 2024 - Part of Conference on Lasers and Electro-Optics

作者： Lu, Bright Xu, Bo Krueper, Greg Zohrabi, Mo Gopinath, Juliet T. Park, Wounjhang Department of Electrical Computer and Energy Engineering University of Colorado BoulderCO80309 United States Department of Physics University of Colorado BoulderCO80309 United States Materials Science and Engineering Program University of Colorado BoulderCO80309 United States

We report Ge23Sb7S70 chalcogenide ring resonators with up to 8 × 104 quality factors operating around 3.6 µm wavelength fabricated through e-beam lithography. Their rib waveguide geometry can be engineered to support close-to-zero dispersion modes needed for mid-infrared microcomb generation. © Optica Publishing Group 2024

关键词： Infrared devices

来源：评论

学校读者我要写书评

暂无评论

Trends, Opportunities, and Challenges in Detecting Depressive Disorders Through Mobile Devices: A Review 2

Trends, Opportunities, and Challenges in Detecting Depressiv...

引用

2nd International Conference on computer System, Information Technology, and Electrical engineering, COSITE 2023

作者： Elwirehardja, Gregorius Natanael Isnan, Mahmud Perbangsa, Anzaludin Samsinga Muchtar, Kahlil Pardamean, Bens Computer Science Department School of Computer Science Bina Nusantara University Jakarta11480 Indonesia Mahmud Isnan Bioinformatics and Data Science Research Center Bina Nusantara University Jakarta11480 Indonesia Information System Department School of Information Systems Bina Nusantara University Jakarta11480 Indonesia Department of Electrical and Computer Engineering Universitas Syiah Kuala Banda Aceh23111 Indonesia Computer Science Department BINUS Graduate Program-Master of Computer Science Bina Nusantara University Jakarta11480 Indonesia

ISBN: (纸本)9798350343069

Depressive Disorders (DD) is one of the most prevalent mental disorders in the world that may lead to suicide cases. To prevent the latter, ubiquitous early detection systems may be effective. Recent studies have since researched the development of such systems by exploiting several forms of data, including video, audio, Ecological Momentary Assessments (EMA), and passive sensing data using sensors embedded in mobile devices. To summarize the trends, opportunities, and existing challenges in this field, this study reviewed 15 papers to answer four research questions. EMA was the most popular data to be used in this task, but other approaches, such as using video, audio, and typing behaviors, may be considered due to the subjectivity of EMA. These data were typically recorded using smartphones and analyzed using Machine Learning (ML). However, most of the developed systems had yet to be implemented. Overall, it was concluded that further studies may need to explore usages of more objective data in multimodal approaches as well as consider using Mobile Cloud Computing (MCC) to deploy these systems to provide more effective and efficient diagnoses. Future studies must also take into account the existing challenges of the data and infrastructures, such as the weaknesses of several data types, limitations of mobile devices, as well as the challenges of diagnosis approaches. © 2023 IEEE.

关键词： Machine learning

来源：评论

学校读者我要写书评

暂无评论

Density Functional Theory Study of Surface Stability and Phase Diagram of Orthorhombic CsPbI3

arXiv

引用

arXiv 2024年

作者： Li, Kejia Wang, Mengen Department of Electrical and Computer Engineering and Materials Science and Engineering Program SUNY BinghamtonNY13902 United States

CsPbI3 has been recognized as a promising candidate for optoelectronic device applications. To further improve the efficiency of the devices, it is imperative to better understand the surface properties of CsPbI3, which affect charge carrier transport and defect formation properties. In this study, we perform density functional theory calculations to explore the stability of the (001), (110), and (100) surfaces of orthorhombic CsPbI3, considering different stoichiometries and surface reconstructions. Our results show that, under the chemical potentials confined by the thermodynamically stable region of bulk CsPbI3, the CsI-terminated surfaces of (001) and (110) and the stoichiometric surface of (100) are stable. Among these three surfaces, the CsI-terminated (110) surface has the lowest surface energy and no mid-gap states, which benefits the transport properties of the material. © 2024, CC BY-NC-SA.

关键词： Stoichiometry

来源：评论

学校读者我要写书评

暂无评论

Application of Chaotic Encryption and Decryption in Wireless Transmission From Sensory Toolholders on Machine Tools

引用

IEEE Sensors Journal 2023年第11期23卷 11453-11468页

作者： Lin, Chi-Yuan Wu, Shu-Cing Kuo, Ping-Huan Huang, Meng-Jun Hong, Song-Wei Yau, Her-Terng National Chin-Yi University of Technology Department of Electronic Engineering Taichung411030 Taiwan National Chin-Yi University of Technology Prospective Technology of Electrical Engineering and Computer Science Program Taichung411030 Taiwan Chiayi62102 Taiwan National Chung Cheng University Department of Mechanical Engineering Chiayi62102 Taiwan

In recent years, several industries have increased their demand for processing precision, automatic detection, and visualization interfaces. Therefore, to keep pace with the fourth industrial revolution, machine tool operators install a large number of sensors on machine tools to obtain more precise physical quantities during processing and use a variety of sensors to obtain measurements in various situations. However, these additional sensors on machine tools result in complicated wire layouts, which exhibit negative effects on processing. Such problems lead to the birth of wireless data transmission, which is expected to become the new standard in the future. At present, there is more and more interactive integration between relevant embedded system and the machine tool, which allows information communication between each other in the wireless domain. However, generally, the majority of machine tool operators focus on optimizing the sensing conditions during processing, but they disregard the importance of information security. In the current era of the Internet of Things (IoT), information security is regarded as a crucial factor. For the wireless communication between the IoT equipment for each machine in the machining field, the transmitted data are almost exposed within public space directly due to the loss in constraint and protection of physical wiring. Therefore, such a process can easily be intercepted by other devices that capture information on relevant status of the machine or command messages received by the controller, where intentional individual may possibly control the operating mechanism and progress of entire plant. This leads to theft of relevant secrets in manufacturing technology for the subject company, or intentional shutdown, machine damage, and vicious blackmailing attacks. Therefore, introducing the mechanism of safety protection during wireless signal transmission is an inevitable technology to maintain the company interests and also the

关键词： Synchronization

来源：评论

学校读者我要写书评

暂无评论

Involution symmetry quantification using recurrences

引用

Physical Review E 2024年第2期110卷 024203-024203页

作者： Gabriel Marghoti Thiago de Lima Prado Sergio Roberto Lopes Yoshito Hirata Physics Department Degree Program in Computer Science Interdisciplinary Center for Science Technology and Innovation CICTI Departament of Physics - Telegraphenberg 14473 Potsdam Germany Institute of Systems and Information Engineering

Symmetries are ubiquitous in science, aiding theoretical comprehension by discerning patterns in mathematical models and natural phenomena. This work introduces a method for assessing the extent of symmetry within a time series. We explore both microscopic and macroscopic features extracted from a recurrence plot. By analyzing the statistics of small recurrence matrices, our approach delves into microscale dynamics, facilitating the identification of symmetric time series segments through diagonal macroscale structures on a recurrence plot. We validate our approach by successfully quantifying involution symmetries for three-dimensional dynamical models, specifically, order-2 rotational symmetry in the Lorenz '63 model, and inversion symmetry in the Chua circuit. Our quantifier also detects symmetry breaking in the modified Lorenz model for El Niño phenomenon. The method can be applied in a versatile manner, not only to three-dimensional trajectories but also to univariate time series. Symmetry quantification in time series is promising for enhancing dynamical system modeling and profiling.

关键词： Chaos Dynamical systems Time series analysis

来源：评论

学校读者我要写书评

暂无评论

CAMRI Loss: Improving the Recall of a Specific Class without Sacrificing Accuracy

CAMRI Loss: Improving the Recall of a Specific Class without...

引用

作者： Nishiyama, Daiki Fukuchi, Kazuto Akimoto, Youhei Sakuma, Jun Master's Program in Computer Science Degree Programs in Systems and Information Engineering Graduate School of Science and Technology University of Tsukuba Tsukuba-shi305-8577 Japan RIKEN Center for Advanced Intelligence Project Tokyo103-0027 Japan Department of Computer Science Faculty of Engineering Information and Systems University of Tsukuba Tsukuba-shi305-8577 Japan

In real world applications of multiclass classification models, misclassification in an important class (e.g., stop sign) can be significantly more harmful than in other classes (e.g., no parking). Thus, it is crucial to improve the recall of an important class while maintaining overall accuracy. For this problem, we found that improving the separation of important classes relative to other classes in the feature space is effective. Existing methods that give a class-sensitive penalty for cross-entropy loss do not improve the separation. Moreover, the methods designed to improve separations between all classes are unsuitable for our purpose because they do not consider the important classes. To achieve the separation, we propose a loss function that explicitly gives loss for the feature space, called class-sensitive additive angular margin (CAMRI) loss. CAMRI loss is expected to reduce the variance of an important class due to the addition of a penalty to the angle between the important class features and the corresponding weight vectors in the feature space. In addition, concentrating the penalty on only the important class hardly sacrifices separating the other classes. Experiments on CIFAR-10, GTSRB, and AwA2 showed that CAMRI loss could improve the recall of a specific class without sacrificing accuracy. In particular, compared with GTSRB's second-worst class recall when trained with cross-entropy loss, CAMRI loss improved recall by 9%. © 2023 The Institute of Electronics, Information and Communication Engineers.

关键词： Deep learning

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：