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

2024 International Conference on Advancement in Renewable Energy and Intelligent systems, AREIS 2024

作者： Sen, Rajat Sandeep Amalkrishna, M. Prithviraj, R. Jose, Sharon Prashant Joseph, Neena Thomas, Renjith Sjcet Palai Department of Ai & Ds Kerala Kottayam India

ISBN: (纸本)9798350387230

Today, LLMs are everywhere. It is making human internet life a lot easier than ever. Every day new sophisticated models are released. But these models are not good enough to become personal assistants like the Jarvis from the Sci-fi movie IronMan. This paper proposes a way to enable any LLM to execute complex requirements in real-world applications. By leveraging state-of-the-art Large Language models, we can create a simple action model that can understand the environment around them. Eventually, these models can help or assist humans in real-time applications. The Sequential Function Calling Tool Chain System aims to bridge the gap between human language understanding and computer programming. © 2024 IEEE.

关键词： computer systems programming

来源：评论

学校读者我要写书评

暂无评论

A USER-TUNABLE MACHINE LEARNING FRAMEWORK FOR STEP-WISE SYNTHESIS PLANNING

arXiv

引用

arXiv 2025年

作者： Prakash, Shivesh Jacobsen, Hans-Arno Prasad, Viki Kumar Department of Computer Science University of Toronto 40 St George St TorontoONM5S 2E4 Canada The Edward S. Rogers Sr. Department of Electrical & Computer Engineering University of Toronto 10 King’s College Rd TorontoONM5S 3G8 Canada Data Sciences Institute University of Toronto 700 University Ave 10th floor TorontoONM7A 2S4 Canada

We introduce MHNPATH, a machine learning-driven retrosynthetic tool designed for computer-aided synthesis planning. Leveraging modern Hopfield networks and novel comparative metrics, MHNPATH efficiently prioritizes reaction templates, improving the scalability and accuracy of retrosynthetic predictions. The tool incorporates a tunable scoring system that allows users to prioritize pathways based on cost, reaction temperature, and toxicity, thereby facilitating the design of greener and cost-effective reaction routes. We demonstrate its effectiveness through case studies involving complex molecules from ChemByDesign, showcasing its ability to predict novel synthetic and enzymatic pathways. Furthermore, we benchmark MHNPATH against existing frameworks, replicating experimentally validated "gold-standard" pathways from PaRoutes. Our case studies reveal that the tool can generate shorter, cheaper, moderate-temperature routes employing green solvents, as exemplified by compounds such as dronabinol, arformoterol, and lupinine. © 2025, CC BY-SA.

关键词： computer systems programming

来源：评论

学校读者我要写书评

暂无评论

Exploring Inevitable Waypoints for Unsolvability Explanation in Hybrid Planning Problems

arXiv

引用

arXiv 2025年

作者： Sajid Sarwar, Mir Md Ray, Rajarshi School of Mathematical and Computational Sciences Indian Association for the Cultivation of Science Kolkata India

Explaining unsolvability of planning problems is of significant research interest in Explainable AI Planning. A number of research efforts on generating explanations of solutions to planning problems have been reported in AI planning literature. However, explaining the unsolvability of planning problems remains a largely open and understudied problem. A widely practiced approach to plan generation and automated problem solving, in general, is to decompose tasks into sub-problems that help progressively converge towards the goal. In this paper, we propose to adopt the same philosophy of sub-problem identification as a mechanism for analyzing and explaining unsolvability of planning problems in hybrid systems. In particular, for a given unsolvable planning problem, we propose to identify common waypoints, which are universal obstacles to plan existence, in other words, they appear on every plan from the source to the planning goal. This work envisions such waypoints as sub-problems of the planning problem and the unreachability of any of these waypoints as an explanation for the unsolvability of the original planning problem. We propose a novel method of waypoint identification by casting the problem as an instance of the longest common subsequence problem, a widely popular problem in computer science, typically considered as an illustrative example for the dynamic programming paradigm. Once the waypoints are identified, we perform symbolic reachability analysis on them to identify the earliest unreachable waypoint and report it as the explanation of unsolvability. We present experimental results on unsolvable planning problems in hybrid domains. © 2025, CC BY.

关键词： computer systems programming

来源：评论

学校读者我要写书评

暂无评论

Offset-Free MPC for Resource Sharing on a Nonlinear SCARA Robot⁎

引用

IFAC-PapersOnLine 2018年第20期51卷 265-272页

作者： Bianchi, M. van der Maas, A. Maljaars, E. Heemels, W.P.M.H. Department of Mechanical Engineering Control System Technology Group Eindhoven University of Technology Eindhoven5600MB Netherlands Department of Information Engineering Computer Science and Mathematics Center of Excellence DEWS University of L'Aquila L'Aquila67100 Italy

High-precision motion industrial systems must satisfy tight performance requirements. Both positioning accuracy and throughput demands are typically achieved through improvements in hardware, thereby raising the bill of materials. A cost saving alternative could be to strive for a reduction in the hardware components needed, in combination with advanced motion control, to still meet the desired specifications. Particularly, in this paper, the possibility is analyzed to allow for resource sharing among several actuators. This results in a switched system, for which we develop a real-time MPC algorithm for optimization of both the input and the switching signals. This implementation applies to a fairly general class of nonlinear systems and uses a novel offset-free formulation in velocity form for LTV prediction models, to realize good tracking performance under the resource sharing constraints. We provide a proof of concept for this MPC solution on a high fidelity model of an industrial SCARA robot, where it is proposed to use a single amplifier to serve two actuators. The MPC solution is compared to heuristically switched LTI controllers, and the potential of the proposed approach is shown in simulations. © 2018

关键词： computer systems programming

来源：评论

学校读者我要写书评

暂无评论

Optimal operation of electrical heating system with hybrid model predictive control

引用

IFAC-PapersOnLine 2018年第28期51卷 274-279页

作者： Löhr, Yannik Mönnigmann, Martin Automatic Control and Systems Theory Ruhr-Universität Bochum Bochum Germany

We present a hybrid model predictive control (MPC) approach for optimal operation of an electrical heating system. The system comprises two electrical heat generators, thermal and electrical energy storage systems and on-site photo-voltaic power generation. One of the heat generators can only be operated at discrete stages. The electrical and thermal part of the system are modeled as hybrid system with both continuous and binary inputs. We propose a hybrid MPC with time-varying cost function and constraints which explicitly considers binary inputs. The control performance is compared to a conventional, rule-based operation strategy. We were able to reduce the cost of operation and to increase the self-consumption with the proposed control approach. © 2018

关键词： Model predictive control computer systems programming Cost functions Distributed computer systems Electric heating Energy storage Heating equipment Hybrid systems Integer programming Photovoltaic cells Predictive control systems Advanced control Control applications Distributed energy storages Energy flow Energy systems Mixed integer programming

来源：评论

学校读者我要写书评

暂无评论

A ROS-integrated API for the KUKA LBR iiwa collaborative robot

引用

IFAC-PapersOnLine 2017年第1期50卷 15859-15864页

作者： Mokaram, Saeid Aitken, Jonathan M. Martinez-Hernandez, Uriel Eimontaite, Iveta Cameron, David Rolph, Joe Gwilt, Ian McAree, Owen Law, James Sheffield Robotics University of Sheffield United Kingdom Institute of Design Robotics and Optimisation University of Leeds United Kingdom Sheffield Robotics Sheffield Hallam University United Kingdom

The deployment of collaborative robotic systems in industry 4.0 raises the potential for complex human-robot interaction to create highly flexible processes. This brings a need for systems that can facilitate rapid programming and development of safe collaborative processes, without the need for extensive training. In this paper we introduce a novel Application programming Interface (API) for the KUKA Intelligent Industrial Work Assistant (iiwa) Lightweight Robot (LBR) that enables fast development and integration of devices, using the popular Robot Operating System (ROS), without compromising the inherent safety features of the robot. We describe the API, released as a freely available download, and provide an example application of its use to support a large-scale interactive participant experiment. As flexible manufacturing technologies become ever more connected and complex, it is important to ensure compatibility between networked devices and provide tools to support system integration based on common platforms. Our API is one such tool, and has been designed to support faster and easier system integration and development, providing particular support to scientists in creating experiments for studying human-robot collaboration. © 2017

关键词： Human robot interaction Accident prevention Application programming interfaces (API) computer systems programming Flexible manufacturing systems Human computer interaction Industrial robots Intelligent robots Mathematical programming Robot programming Robotics Collaborative process Collaborative robots Flexible manufacturing Human robot collaboration Networked devices Novel applications Robot operating systems (ROS) System integration

来源：评论

学校读者我要写书评

暂无评论

The REPOP Toolbox: Tackling Polynomial Optimization Using Relative Entropy Relaxations

引用

IFAC-PapersOnLine 2017年第1期50卷 11652-11657页

作者： Karaca, Orcun Darivianakis, Georgios Beuchat, Paul Georghiou, Angelos Lygeros, John Automatic Control Laboratory ETH Zurich Switzerland Desautels Faculty of Management McGill University Canada

Polynomial optimization is an active field of research which can be used in a broad range of applications including the synthesis of control policies for non-linear systems, and solution methods such as approximate dynamic programming. Finding the optimal solution of a generic polynomial optimization problem remains a computationally intractable problem. Several studies in the literature resort to hierarchical schemes that converge to the optimal solution, by employing appropriate convex relaxations of the original problem. In this direction, sum of squares methods have shown to be effective in addressing problems of low degree and dimension, with numerous MATLAB toolboxes allowing for efficient implementation. An alternative solution method is to cast the problem as a signomial optimization and solve it using a hierarchy of relative entropy relaxations. In contrast to sum of squares, this method can tackle problems involving high degree and dimension polynomials. In this paper, we develop the publicly available REPOP toolbox to address polynomial optimization problems using relative entropy relaxations. The toolbox is equipped with appropriate pre-processing routines that considerably reduce the size of the resulting optimization problem. In addition, we propose a convergent hierarchy which combines aspects from sum of squares and relative entropy relaxations. The proposed method offers computational advantages over both methods. © 2017

关键词： Polynomials computer systems programming Convex optimization Dynamic programming Entropy Linear systems MATLAB Optimal systems Relaxation processes Matlab toolboxes Polynomial methods Relative entropy relaxations Sum of squares

来源：评论

学校读者我要写书评

暂无评论

Model Predictive Control of an Automated Storage/Retrieval System

引用

IFAC-PapersOnLine 2016年第12期49卷 1335-1340页

作者： Nativ, Danielle J. Cataldo, Andrea Scattolini, Riccardo De Schutter, Bart Delft Center for Systems and Control Delft University of Technology Netherlands Department of Electronics Information and Bioengineering Politecnico di Milano Italy

Discrete-event systems occur often in the manufacturing field, but due to the characteristics of these systems Model Predictive Control (MPC) is not frequently used for them. This paper approaches MPC of an Automated Storage/Retrieval System (AS/RS) by using Mixed Logical Dynamical (MLD) modelling. Propositional calculus is used to transform the non-linear dynamic model equations and constraints of the AS/RS into the MLD form. We consider a performance index that makes sure that customer demand is satisfied as soon and as efficiently as possible. The MLD model and performance index are reformulated as an integer linear programming problem. A case study is performed on a laboratory stacker crane, and the simulations results illustrate the good performance of the control algorithm. © 2016

关键词： Discrete event simulation Automation Calculations computer systems programming Integer programming Manufacture Mathematical transformations Model predictive control Predictive control systems Self organizing storage Control applications Model based controls Predictive control Production process Warehouse automation

来源：评论

学校读者我要写书评

暂无评论

Python based internet tools in control education

引用

IFAC-PapersOnLine 2015年第29期48卷 43-48页

作者： Vergnaud, Alban Fasquel, Jean-Baptiste Autrique, Laurent LARIS University of Angers 62 avenue Notre Dame du Lac Angers49000 France

The general language and opensource Python, coupled with its scientific libraries, offers an interesting alternative to Matlab, Java, and C++ for the development of scientific applications. In this context, authors present the main features of the language, associated tools, architecture and the diversity of its scientific environment. Three applications related to control education are presented: programming from a web browser (for system identification and PID tuning) and embedded computing (for motors control). © 2015, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.

关键词： C++ (programming language) computer systems programming MATLAB Associated tool Control education Embedded computing Internet tools Open source PID tuning Python programming language Scientific applications

来源：评论

学校读者我要写书评

暂无评论

Integrating Lab-size Automation Plants into a Web-based E-learning Environment for Teaching C programming in Teams

引用

IFAC-PapersOnLine 2015年第29期48卷 295-300页

作者： Vogel-Heuser, Birgit Rehberger, Sebastian Gramss, Denise Mayer, Felix Institute of Automation and Information Systems Technische Universität München München Germany

Teaching computer science and particularly programming in the curriculum of a mechanical engineering bachelor poses a difficult task due to motivational factors of the students. In this paper we describe the measures we have taken to reduce barriers and motivate the freshmen students to deal with the subject by introduction of an e-learning course and further by offering an associated lab course with practical application of cyclic programming of a real-time system in teams. Further we present an adapted architecture how the lab course is enhanced to act as a remote lab. Finally we evaluate the impact of the course by measuring the success factors of different gender combined groups and give an outlook on future scenarios for lab courses to improve the learning experience and success of the students for both gender. © 2015, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.

关键词： E-learning C (programming language) computer aided instruction computer systems programming Interactive computer systems Laboratories Programmable logic controllers Real time systems Remote control Students Teaching C programming Control education E learning course Laboratory education Learning experiences Remote labs Success factors Web based e learning

来源：评论

学校读者我要写书评

暂无评论

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

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：