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

27th IEEE International Conference on Intelligent Transportation Systems, ITSC 2024

作者： Li, Haodong Yin, Jiateng Tang, Tao D'Ariano, Andrea You, Mengxing Beijing Jiaotong University State Key Laboratory of Advanced Rail Autonomous Operation Beijing100044 China Roma Tre Universily Department of Civi Computer Science and Aeronautical Technologies Engineering Rome0018511 Italy Nanchang Rail Transit Group Co. Ltd. Jiangxi330038 China

ISBN: (纸本)9798331505929

Train platooning, which allows multiple train units to be virtually coupled into a platoon with very short following distances, has become an emerging technology in railway industry. Our study investigates the energy-efficient operation of train platoons to reduce the energy consumption of trains while satisfying time-varying passenger demands in practice. Specifically, we construct a mixed integer programming (MIP) model in order to simultaneously optimize the timetable and speed profiles of train platoons in an urban rail transit line. The aim of the developed MIP model is to minimize the total energy consumption of trains as well as the waiting time of traveling passengers, while satisfying the practical constraints, such as the train movement constraints, passenger loading constraints for different train platoons, etc. In order to solve the MIP model more efficiently, we develop a hybrid iterative algorithm that combines a Deep Q-Network (DQN) and an MIP solver, in which the DQN generates energy-efficient speed profiles for different types of platoons and the MIP solver then determines the optimal train schedule. Finally, we conduct real-world case studies on the Beijing subway Yizhuang line to verify the effectiveness of our approach. The results indicate that the energy-efficient operation of train platoons can achieve a better tradeoff between service quality and system energy consumption. © 2024 IEEE.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Multi-fidelity Bayesian optimization with multiple information sources of input-dependent fidelity 24

Multi-fidelity Bayesian optimization with multiple informati...

引用

Proceedings of the Fortieth Conference on Uncertainty in Artificial Intelligence

作者： Mingzhou Fan Byung-Jun Yoon Edward Dougherty Nathan Urban Francis Alexander Raymundo Arróyave Xiaoning Qian Department of Electrical & Computer Engineering Texas A&M University College Station Texas Department of Electrical & Computer Engineering Texas A&M University College Station Texas and Computational Science Initiative Brookhaven National Laboratory Upton New York Computational Science Initiative Brookhaven National Laboratory Upton New York Argonne National Laboratory Lemont Illinois Department of Materials Science & Engineering Texas A&M University College Station Texas and Department of Mechanical Engineering Texas A&M University College Station Texas Department of Electrical & Computer Engineering Texas A&M University College Station Texas and Computational Science Initiative Brookhaven National Laboratory Upton New York and Department of Computer Science & Engineering Texas A&M University College Station Texas

By querying approximate surrogate models of different fidelity as available information sources, Multi-Fidelity Bayesian Optimization (MFBO) aims at optimizing unknown functions that are costly if not infeasible to evaluate. Existing MFBO methods often assume that approximate surrogates have consistently high/low fidelity across the input domain. However, approximate evaluations from the same surrogate can have different fidelity at different input regions due to data availability and model constraints, especially when considering machine learning surrogates. In this work, we investigate MFBO when multi-fidelity approximations have input-dependent fidelity. By explicitly capturing input dependency for multi-fidelity queries in Gaussian Process (GP), our new input-dependent MFBO (iMFBO) with learnable noise models better captures the fidelity of each information source in an intuitive way. We further design a new acquisition function for iMFBO and prove that the queries selected by iMFBO have higher quality than those by naive MFBO methods, with the derived sub-linear regret bound. Experiments on both synthetic and real-world data demonstrate its superior empirical performance.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Model Identification and Control of Evapotranspiration for Irrigation Water Optimization

引用

computers, Materials & Continua 2022年第1期70卷 1749-1767页

作者： Wafa Difallah Fateh Bounaama Belkacem Draoui Khelifa Benahmed Abdelkader Laaboudi Department of Exact Sciences Normal Higher School of Bechar08000Algeria Laboratory of Energetic in Arid Zones Faculty of TechnologyTahri Mohammed University of Bechar08000Algeria Department of Mathematics and Computer Science Faculty of Exact SciencesTahri Mohammed University of Bechar08000Algeria Algerian Institute for Research in Agronomy Experimental Station of Adrar01000Algeria

Water conservation starts from rationalizing irrigation,as it is the largest consumer of this vital *** the critical and urgent nature of this issue,several works have been *** idea of most researchers is to develop irrigation management systems tomeet the water needs of plants with optimal use of this *** fact,irrigation water requirement is only the amount of water that must be applied to compensate the evapotranspiration ***-Monteith equation is the most common formula to evaluate reference evapotranspiration,but it requiresmany factors that cannot be available in many *** leads to a trend towards behavior model *** identification with control is one of the most promising applications in this *** idea behind this proposal depends on three stages:First,the estimation of reference evapotranspiration(ET0)by a linear ARX model,where temperature,relative humidity,insolation duration and wind speed are used as inputs,and ET0 estimated by Penman-Monteith equation as *** results show that the values estimated by thismethodwere in good agreement with the measured *** second part of this paper is tomanage the quantity of *** this purpose,two controllers are used for testing,lead-lag and *** adjust the first controller and optimize the choice of its parameters,Nelder-Mead algorithm is *** the last part,a comparative study is done between the two used controllers.

关键词： Evapotranspiration water identification optimization irrigation control

来源：评论

学校读者我要写书评

暂无评论

Using Swarm Intelligence Algorithms for Optimization in IoT Applications 10

Using Swarm Intelligence Algorithms for Optimization in IoT ...

引用

10th IEEE Jubilee International Conference on Computational Cybernetics and Cyber-Medical Systems, ICCC 2022

作者： Roshanzamir, Mohamad Nematollahi, Mohammad Ali Darbandy, Mohammad Tayarani Roshanzamir, Mahdi Alizadehsani, Roohallah Shoeibi, Afshin Ahmadian, Davood Fasa University Faculty of Engineering Department of Computer Engineering Fasa74617-81189 Iran Fasa University Faculty of Science Department of Computer Sciences Fasa74617-81189 Iran Islamic Azad University Taft School of Architecture Taft*** Iran University of Tabriz Department of Electrical and Computer Engineering Tabriz Iran Victoria Australia K. N. Toosi University of Technology FPGA Laboratory Faculty of Electrical Engineering Tehran Iran University of Tabriz Faculty of Mathematics Statistics and Computer Sciences Tabriz Iran

ISBN: (数字)9781665481779

ISBN: (纸本)9781665481779

Internet of Things (IoT) is considered as the next industrial revolution in the years ahead. Many devices will have been connected to the Internet and more and more devices were added to them. The number of these types of devices is increased rapidly. So, management of them needs advanced technologies. Optimization of different problems in IoT is an essential subject of many researches and Swarm Intelligence algorithms (SI) are one of the most successful methods in this field. They were inspired by the collective behavior of simple creatures which communicate directly and indirectly with each other. Although they are considered as simple agents, their collective behavior is smart. They can overcome most problems in their life using collective behavior. In this research, we investigated some of the most common optimization problems in IoT and the SI algorithms which are used to solve them. © 2022 IEEE.

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

Structural RC computer aided intelligent analysis and computational performance via experimental investigations

引用

Structural Engineering and Mechanics 2024年第3期90卷 253-261页

作者： Huang, Y.C. Lulios, TuMuli Chang, Chu-Ho Noor, M. Nasir Shao, Jen-Chung Chiu, Chien-Liang Lee, Tsair-Fwu Wang, Renata Information Technology Faculty Duy Tân University 254 Nguyen Van Linh Danang Viet Nam Princess Margaret Hospital Funafuti Island Private Mail Bag Tuvalu College of Electrical Engineering and Computer Science National Kaohsiung University of Science and Technology Kaohsiung Taiwan College of Maritime National Kaohsiung University of Science and Technology Kaohsiung Taiwan Department of Electronic Engineering National Kaohsiung University of Science and Technology Kaohsiung Taiwan Medical Physics and Informatics Laboratory of Electronics Engineering National Kaohsiung University of Science and Technology Kaohsiung Taiwan Information and Research Center of China 1/9 Road: 2 Block: D Section: 15 Dhaka1216 Bangladesh

This research explores a new finite element model for the free vibration analysis of bi-directional functionally graded (BDFG) beams. The model is based on an efficient higher-order shear deformation beam theory that incorporates a trigonometric warping function for both transverse shear deformation and stress to guarantee traction-free boundary conditions without the necessity of shear correction factors. The proposed two-node beam element has three degrees of freedom per node, and the inter-element continuity is retained using both C1 and C0 continuities for kinematics variables. In addition, the mechanical properties of the (BDFG) beam vary gradually and smoothly in both the in-plane and out-of-plane beam’s directions according to an exponential power-law distribution. The highly elevated performance of the developed model is shown by comparing it to conceptual frameworks and solution procedures. Detailed numerical investigations are also conducted to examine the impact of boundary conditions, the bi-directional gradient indices, and the slenderness ratio on the free vibration response of BDFG beams. The suggested finite element beam model is an excellent potential tool for the design and the mechanical behavior estimation of BDFG structures. © 2024 Techno-Press, Ltd.

关键词： Boundary conditions

来源：评论

学校读者我要写书评

暂无评论

Transferring fashion to surveillance with weak labels

引用

Neural Computing and Applications 2023年第18期35卷 13021-13035页

作者： Zheng, Qi He, Zheng Liang, Chao Chen, Jun Lin, Chia-Wen Tao, Dapeng National Engineering Research Center for Multimedia Software School of Computer Science Wuhan University Wuhan430072 China Hubei Key Laboratory of Multimedia and Network Communication Engineering Wuhan University Wuhan430072 China Collaborative Innovation Center of Geospatial Technology Wuhan430079 China Department of Electrical Engineering National Tsing Hua University Hsinchu Taiwan School of Information Science and Engineering Yunnan University Yunnan Kunming650504 China

In this paper, we address the problem of automatic clothing parsing in surveillance images using the information from user-generated tags, such as "jeans" and "T-shirt." Although clothing parsing has achieved great success in the fashion domain, it is quite challenging to parse target under practical surveillance conditions due to the presence of complex environmental interference, such as that from low resolution, viewpoint variations and lighting changes. Our method is developed to capture target information from the fashion domain and apply this information to a surveillance domain by weakly supervised transfer learning. Most target tags convey strong location information (e.g., "T-shirt" is always shown in the upper region), which can be used as weak labels for our transfer method. Both quantitative and qualitative experiments conducted on practical surveillance datasets demonstrate the effectiveness of the proposed surveillance data enhancing method. © 2020, Springer-Verlag London Ltd., part of Springer Nature.

关键词： Monitoring

来源：评论

学校读者我要写书评

暂无评论

Air Traffic Optimization in Training Environment: A Comparison Between Genetic Algorithms and Simulated Annealing

Air Traffic Optimization in Training Environment: A Comparis...

引用

International Conference on computer and Applications (ICCA)

作者： Rafik Amara Maamar Bougherara Brahim Gouraya Mostefa Belhadj Aissa LTIR Laboratory Faculty of Electronics and Computational Science USTHB University Algiers Algeria Computer Science Department Ecole Normale Supérieure de Kouba Algiers Algeria LIM Laboratory Bouira University Algeria

ISBN: (数字)9798350367560

ISBN: (纸本)9798350367577

One of the main stages in the training of an air traffic controller: practical work. The trainee must apply all theoretical knowledge concerning the separation rules decreed by ICAO to resolve a traffic situation presenting a certain number of conflicts generated by a group of aircraft (A/C). At the end of his performance, the solution proposed by the trainee is compared to that of the instructor or that generated by a control simulator. For a trainee wishing to train in the absence of an instructor or simulator, it is useful to offer them a simple tool that can provide an optimized solution. Thus, the use of metaheuristics in this tool is recommended and the challenge revolves around two main objectives, eliminating the risk of collisions between A/C while minimizing changes to initial flight plans. Regarding previous work, where genetic algorithms and simulated annealing were used to the problem, we present a comparison an analyse of the results obtained for both principals objectives by this two algorithms through a series of tests on exercises inspired by real practical work.

关键词： Training Metaheuristics Simulated annealing Space exploration Air traffic control Aircraft Genetic algorithms Geographic information systems

来源：评论

学校读者我要写书评

暂无评论

Building Guardrails for Large Language Models

arXiv

引用

arXiv 2024年

作者： Dong, Yi Mu, Ronghui Jin, Gaojie Qi, Yi Hu, Jinwei Zhao, Xingyu Meng, Jie Ruan, Wenjie Huang, Xiaowei Department of Computer Science University of Liverpool United Kingdom State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences China WMG University of Warwick Warwick United Kingdom Institute of Digital Technologies Loughborough University London United Kingdom

As Large Language Models (LLMs) become more integrated into our daily lives, it is crucial to identify and mitigate their risks, especially when the risks can have profound impacts on human users and societies. Guardrails, which filter the inputs or outputs of LLMs, have emerged as a core safeguarding technology. This position paper takes a deep look at current open-source solutions (Llama Guard, Nvidia NeMo, Guardrails AI), and discusses the challenges and the road towards building more complete solutions. Drawing on robust evidence from previous research, we advocate for a systematic approach to construct guardrails for LLMs, based on comprehensive consideration of diverse contexts across various LLMs applications. We propose employing sociotechnical methods through collaboration with a multi-disciplinary team to pinpoint precise technical requirements, exploring advanced neural-symbolic implementations to embrace the complexity of the requirements, and developing verification and testing to ensure the utmost quality of the final product. Copyright © 2024, The Authors. All rights reserved.

关键词： Computational linguistics

来源：评论

学校读者我要写书评

暂无评论

What limits limits?

引用

National science Review 2021年第1期8卷 11-14页

作者： Yong-Chun Liu Kun Huang Yun-Feng Xiao Lan Yang Cheng-Wei Qiu State Key Laboratory of Low-Dimensional Quantum Physics Department of Physics Frontier Science Center for Quantum Information Tsinghua University Department of Optics and Optical Engineering University of Science and Technology of China State Key Laboratory for Mesoscopic Physics and Frontiers Science Center for Nano-optoelectronics School of Physics Peking University Department of Electrical and Systems Engineering Washington University Department of Electrical and Computer Engineering National University of Singapore

There are fundamental rules and principles setting the limits of physical systems. It triggers an interesting thought—can we break the limits under specific circumstances? A realistic system can only provide limited functionalities because its performance is physically constrained by some fundamental principles.‘Breaking the limit’, which usually implies that the capability of a system could be enhanced significantly,

关键词：

来源：评论

学校读者我要写书评

暂无评论

Unsupervised Fact-Checking via Recursively Verifying Presuppositions

IEEE Transactions on Audio, Speech and Language Processing

引用

IEEE Transactions on Audio, Speech and Language Processing 2025年 33卷 2189-2199页

作者： Xiucheng Lyu Runcong Zhao Jiazheng Li Bin Liang Min Yang Lin Gui Ruifeng Xu School of Computer Science and Technology Harbin Institute of Technology (Shenzhen) Shenzhen China Guangdong Provincial Key Laboratory of Novel Security Intelligence Technologies Shenzhen China Department of Informatics King’s College London London U.K. Department of Computer Science and Engineering Chinese University of Hong Kong Hong Kong SAR China Shenzhen Institutes of Advanced Technology Chinese Academy of Sciences Shenzhen China Peng Cheng Laboratory Shenzhen China

Presuppositions are implicit assumptions that interlocutors take for granted. Verifying presuppositions is crucial for reasoning-based fact-checking that aims to reason about True or False, but existing pipelines have overlooked it. We first raise this critical issue with the community and propose a system that addresses the generation, verification, and reasoning of presuppositions through a recursive question-answering process. Importantly, our system automatically determines which knowledge entails which presuppositions, making it an unsupervised system for evidence retrieval, fact-checking, and justification production. We conduct a comprehensive experiment on the FEVER, Vitamin C, and FEVEROUS-S datasets. Our system outperforms competitive baselines, including LLM, and achieves state-of-the-art unsupervised performance. We highlight this critical issue to encourage further research on reasoning-based fact-checking.

关键词： Cognition Training Speech processing Pipelines Electronic mail Production Semantics Tree traversal Security Reliability

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：