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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

1,801 篇 会议
92 篇 期刊文献
86 册 图书

馆藏范围

1,979 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,384 篇 工学
- 1,157 篇 计算机科学与技术...
- 664 篇 软件工程
- 176 篇 控制科学与工程
- 144 篇 电气工程
- 130 篇 信息与通信工程
- 33 篇 电子科学与技术（可...
- 27 篇 生物工程
- 25 篇 机械工程
- 21 篇 建筑学
- 20 篇 仪器科学与技术
- 19 篇 土木工程
- 18 篇 动力工程及工程热...
- 17 篇 生物医学工程（可授...
- 17 篇 安全科学与工程
- 16 篇 材料科学与工程（可...
- 16 篇 化学工程与技术
- 13 篇 核科学与技术
366 篇 理学
- 237 篇 数学
- 60 篇 系统科学
- 52 篇 物理学
- 39 篇 生物学
- 39 篇 统计学（可授理学、...
- 19 篇 化学
207 篇 管理学
- 124 篇 管理科学与工程(可...
- 102 篇 图书情报与档案管...
- 71 篇 工商管理
34 篇 法学
- 31 篇 社会学
29 篇 医学
- 21 篇 基础医学(可授医学...
- 21 篇 临床医学
14 篇 经济学
- 13 篇 应用经济学
11 篇 教育学
9 篇 农学
5 篇 文学
2 篇 军事学

主题

341 篇 multi agent syst...
68 篇 multi-agent syst...
59 篇 programming
55 篇 artificial intel...
53 篇 software enginee...
41 篇 logic programmin...
34 篇 optimization
34 篇 control systems
30 篇 application soft...
30 篇 linear programmi...
28 篇 object oriented ...
28 篇 real time system...
28 篇 computer communi...
25 篇 dynamic programm...
24 篇 software enginee...
23 篇 computer program...
22 篇 software systems
21 篇 java programming...
20 篇 conferences
19 篇 computer archite...

机构

9 篇 univ utrecht nl-...
8 篇 utrecht universi...
6 篇 univ turin dipar...
5 篇 univ bath dept c...
5 篇 univ liverpool d...
4 篇 delft univ techn...
4 篇 univ liverpool d...
4 篇 imperial college...
4 篇 new mexico state...
3 篇 national institu...
3 篇 univ london impe...
3 篇 department of co...
3 篇 univ liverpool l...
3 篇 university of li...
3 篇 sorbonne univers...
3 篇 kings coll londo...
3 篇 delft university...
3 篇 rwth aachen univ...
3 篇 umea univ umea
3 篇 university of an...

作者

21 篇 bordini rafael h...
16 篇 dastani mehdi
13 篇 ricci alessandro
11 篇 boissier olivier
7 篇 fisher michael
7 篇 baldoni matteo
7 篇 son tran cao
7 篇 meyer john-jules...
6 篇 van riemsdijk m....
6 篇 costantini stefa...
6 篇 braubach lars
6 篇 van der torre le...
5 篇 dix juergen
5 篇 novak peter
5 篇 arye nehorai
5 篇 baroglio cristin...
5 篇 hübner jomi f.
5 篇 lamersdorf winfr...
5 篇 dignum frank
5 篇 pontelli enrico

语言

1,925 篇 英文
33 篇 其他
21 篇 中文
1 篇 乌克兰文

检索条件"任意字段=5th International Workshop on Programming Multi-Agent Systems"

共 1979 条记录，以下是51-60 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Optimizing Task Allocation in Heterogeneous agent Manufacturing systems 25th

Optimizing Task Allocation in Heterogeneous Agent Manufactur...

引用

25th international Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2024

作者： Yu, Qi Di, Kai Jiang, Yichuan Chen, Dan School of Cyber Science and Engineering Southeast University Jiangsu Nanjing211189 China School of Computer Science and Engineering Southeast University Jiangsu Nanjing211189 China College of Electronics and Information Engineering Beibu Gulf University Guangxi Qinzhou535000 China

ISBN: (纸本)9789819642069

With the increasing integration of AGVs (Automated Guided Vehicles) and Robot Arms in manufacturing systems, traditional scheduling approaches that handle them separately often lead to inefficiencies and poor coordination. To overcome these limitations, we proposes a concise method based on temporal logic and hybrid dynamic programming to optimize the scheduling of heterogeneous agent systems. By accurately modeling the state transitions and timing constraints of both AGVs and Robot Arms, and applying a hybrid dynamic programming framework, the method achieves global optimization in task allocation. the results show significant improvements in task completion time over conventional methods, offering a streamlined solution for multi-agent scheduling in intelligent manufacturing environments. © the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Global optimization

来源：评论

学校读者我要写书评

暂无评论

Learning in Hybrid Active Inference Models 5th

Learning in Hybrid Active Inference Models

引用

5th international workshop on Active Inference

作者： Collis, Poppy Singh, Ryan Kinghorn, Paul F. Buckley, Christopher L. Univ Sussex Sch Engn & Informat Brighton E Sussex England VERSES Res Lab Los Angeles CA USA

ISBN: (纸本)9783031771378;9783031771385

An open problem in artificial intelligence is how systems can flexibly learn discrete abstractions that are useful for solving inherently continuous problems. Previous work in computational neuroscience has considered this functional integration of discrete and continuous variables during decision-making under the formalism of active inference [13,29]. However, their focus is on the expressive physical implementation of categorical decisions and the hierarchical mixed generative model is assumed to be known. As a consequence, it is unclear how this framework might be extended to the learning of appropriate coarse-grained variables for a given task. In light of this, we present a novel hierarchical hybrid active inference agent in which a high-level discrete active inference planner sits above a low-level continuous active inference controller. We make use of recent work in recurrent switching linear dynamical systems (rSLDS) which learn meaningful discrete representations of complex continuous dynamics via piecewise linear decomposition [22]. the representations learnt by the rSLDS inform the structure of the hybrid decision-making agent and allow us to (1) lift decision-making into the discrete domain enabling us to exploit information-theoretic exploration bonuses (2) specify temporally-abstracted sub-goals in a method reminiscent of the options framework [34] and (3) 'cache' the approximate solutions to low-level problems in the discrete planner. We apply our model to the sparse Continuous Mountain Car task, demonstrating fast system identification via enhanced exploration and successful planning through the delineation of abstract sub-goals.

关键词： hybrid state-space models decision-making piecewise affine systems

来源：评论

学校读者我要写书评

暂无评论

9th international workshop on Engineering multi-agent systems, EMAS 2021

9th International Workshop on Engineering Multi-Agent System...

引用

9th international workshop on Engineering multi-agent systems, EMAS 2021

ISBN: (纸本)9783030974565

the proceedings contain 21 papers. the special focus in this conference is on Engineering multi-agent systems. the topics include: Concept Description and Definition Extraction for the ANEMONE System;Implementing Ethical Governors in BDI;implementing Durative Actions with Failure Detection in Gwendolen;a Practical Framework for General Dialogue-Based Bilateral Interactions;TPO: A Type System for the Architecture of agent Societies;engineering Explainable agents: An Argumentation-Based Approach;Seamless Integration and Testing for MAS Engineering;autonomous Economic agent Framework;Analysis of the Execution Time of the Jason BDI Reasoning Cycle;formal Verification of a Map Merging Protocol in the multi-agent programming Contest;Smart Cyber-Physical System-of-systems Using Intelligent agents and MAS;developer Operations and Engineering multi-agent systems;PanSim + Sim-2APL: A Framework for Large-Scale Distributed Simulation with Complex agents;preface;an Appraisal Transition System for Event-Driven Emotions in agent-Based Player Experience Testing;BDI for Autonomous Mobile Robot Navigation;streamB: A Declarative Language for Automatically Processing Data Streams in Abstract Environments for agent Platforms;Attention Guidance agents with Eye-Tracking: A Use-Case Based on the MATBII Cockpit Task;an Epistemic Logic for Modular Development of multi-agent systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

multi-Time Step Distribution System Recovery Method Based on Fault Information Acquisition After Natural Disasters 5

Multi-Time Step Distribution System Recovery Method Based on...

引用

5th IEEE international Electrical and Energy Conference, CIEEC 2022

作者： Tang, Sijia Chen, Chen Xi'an Jiaotong University The School of Electrical Engineering Xi'an710049 China

ISBN: (数字)9781665411042

ISBN: (纸本)9781665411042

With the increasing frequency and intensity of extreme events, the operation of power systems is seriously threatened. In the context of emerging resilient power grid, it is very important to improve the rapid recovery ability of power grid through resilient technology for the extreme disaster recovery of distribution systems. this paper proposes a multi-time step distribution system recovery method based on fault information acquisition after the blackout due to a natural disaster. the distribution system adopts a distributed multiagent coordination scheme for the communication requirements, and through the recovery scheme to generate a series of control actions to guide local distributed generations (DG) dynamically form microgrids to facilitate power supply continuity. In this paper, the problem is expressed as a mixed-integer linear programming (MILP) model to maximize the critical load pickup while satisfying self-sufficiency, topology, and operational constraints, and its effectiveness is evaluated via the modified IEEE 13-node test feeder. © 2022 IEEE.

关键词： multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Integrated Dynamic Modeling and Reinforcement Learning for Position Prediction and Search and Rescue of Deep-Sea Submersibles 5

Integrated Dynamic Modeling and Reinforcement Learning for P...

引用

5th international Conference on Computers, Information Processing and Advanced Education, CIPAE 2024

作者： Peng, Chunlin Hu, Zhongfan Qu, Yiran Sichuan University Chengdu China

ISBN: (纸本)9798331527662

In this paper, a combination of dynamic and stochastic perturbation models is proposed for the deep-sea submersible position prediction problem. the position prediction model is established by studying the main forces of the submersible, such as propulsion, water friction, and seabed friction, as well as the influence of ocean currents on its operation. For the selection of rescue equipment, the AHP method is applied to assess the importance of the equipment, and the equipment combinations of the main vessel and the rescue vessel are determined by integer linear programming. Further, reinforcement learning is used to optimize the search and rescue path selection and maximize the probability of successful search and rescue. the paper also considers the possibility of extending the model to other tourist destinations by introducing current models and velocity sensors to address the response in case of multi-submersible operations and failures. © 2024 IEEE.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Trust Modelling and Verification Using Event-B 5

Trust Modelling and Verification Using Event-B

引用

5th international workshop on Formal Methods for Autonomous systems, FMAS 2023

作者： Fathabadi, Asieh Salehi Yazdanpanah, Vahid University of Southampton United Kingdom

Trust is a crucial component in collaborative multiagent systems (MAS) involving humans and autonomous AI agents. Rather than assuming trust based on past system behaviours, it is important to formally verify trust by modelling the current state and capabilities of agents. We argue for verifying actual trust relations based on agents' abilities to deliver intended outcomes in specific contexts. To enable reasoning about different notions of trust, we propose using the refinement-based formal method Event-B. Refinement allows progressively introducing new aspects of trust - from abstract to concrete models incorporating knowledge and runtime states. We demonstrate modelling three trust concepts and verifying associated trust properties in MAS. the formal, correctness-by-construction approach allows to deduce guarantees about trustworthy autonomy in human-AI partnerships. Overall, our contribution facilitates rigorous verification of trust in multiagent systems. © 2023 Open Publishing Association. All rights reserved.

关键词： multi agent systems

来源：评论

学校读者我要写书评

暂无评论

5th international workshop on Software Verification and Formal Methods for ML-Enables Autonomous systems, FoMLAS 2022 and 15th international workshop on Numerical Software Verification, NSV 2022

5th International Workshop on Software Verification and Form...

引用

5th international workshop on Software Verification and Formal Methods for ML-Enables Autonomous systems, FoMLAS 2022 and 15th international workshop on Numerical Software Verification, NSV 2022

ISBN: (纸本)9783031212215

the proceedings contain 11 papers. the special focus in this conference is on Software Verification and Formal Methods for ML-Enables Autonomous systems. the topics include: Neural Network Precision Tuning Using Stochastic Arithmetic;MLTL multi-type (MLTLM): A Logic for Reasoning About Signals of Different Types;a Cascade of Checkers for Run-time Certification of Local Robustness;CEG4N: Counter-Example Guided Neural Network Quantization Refinement;minimal multi-Layer Modifications of Deep Neural Networks;differentiable Logics for Neural Network Training and Verification;neural Networks in Imandra: Matrix Representation as a Verification Choice;self-correcting Neural Networks for Safe Classification;formal Specification for Learning-Enabled Autonomous systems;verified Numerical Methods for Ordinary Differential Equations.

关键词：

来源：评论

学校读者我要写书评

暂无评论

HOL4P4: Semantics for a Verified Data Plane 5

HOL4P4: Semantics for a Verified Data Plane

引用

5th international workshop on P4 in Europe (EuroP4) Part of 18th international Conference on Emerging Networking Experiments and Technologies (ACM CoNEXT)

作者： Alshnakat, Anoud Lundberg, Didrik Guanciale, Roberto Dam, Mads Palmskog, Karl KTH Royal Inst Technol Stockholm Sweden Saab AB Jarfalla Sweden

ISBN: (纸本)9781450399357

We introduce a formal semantics of P4 for the HOL4 interactive theorem prover. We exploit properties of the language, like the absence of call by reference and the copy-in/copy-out mechanism, to define a heapless small-step semantics that is abstract enough to simplify verification, but that covers the main aspects of the language: interaction with the architecture via externs, table match, and parsers. Our formalization is written in the Ott metalanguage, which allows us to export definitions to multiple interactive theorem provers. the exported HOL4 semantics allows us to establish machine-checkable proofs regarding the semantics, properties of P4 programs, and soundness of analysis tools.

关键词： P4 programming language semantics interactive theorem proving formal verification

来源：评论

学校读者我要写书评

暂无评论

5th international Conference on Higher Education Learning Methodologies and Technologies Online, HELMeTO 2023

5th International Conference on Higher Education Learning Me...

引用

5th international Conference on Higher Education Learning Methodologies and Technologies Online, HELMeTO 2023

ISBN: (纸本)9783031673504

the proceedings contain 52 papers. the special focus in this conference is on Higher Education Learning Methodologies and Technologies Online. the topics include: Get in (multi)touch with the Tangent;internationalisation Experience on a Digital Platform and Its Impact on Self-efficacy: the Results on a Sample of Initial Teacher Education Students;digital multisensory Storytelling as Educational-Didactic Methodology for Emotional Literacy;automated Online Assessment and Cloud-Based programming: Advancing Computer Engineering Education;Leveraging Explainable AI Methods and Tools for Educational Data;botBid - From Botany to Big Data: Combining Citizen Science and Innovative Teaching Methodologies;detecting the Usage of Large Language Models Exploiting Generative Adversarial Networks;ontology for Constructively Aligned, Collaborative, and Evolving Engineer Knowledge-Management Platforms;augmented Didactic: the Potential of Gesture in Mobile Learning to Enhance Learning;digital Twins and E-Learning: Navigating Challenges and Opportunities;emotions in Practice: Studying Lectures and Seminars in On-Line and Offline Education;performing Art-Based Methodology for Empathetic Transposition into Online Learning Experiences;improving Student Online Interactions and Teacher’s Ability to Manage them with the Quick Chat Moodle Plugin;promoting Meaningful Learning in Topology Supported by Undergraduate Students’ Video Creations;the Feedback in a Formative Assessment Path: Development of Communicative Skills in a workshop Online;online Resources for Training Pre-service Primary School Teachers in Mathematics;mathematics Interpretative Tasks and Formative Assessment: A Digital Device for Teachers Training;Cybersecurity for Teens (CS4T) – A Project by Ludoteca of Registro .it;Learning CyberSecurity with Story-Driven CTF Challenges: CyberTrials 2023;superCyberKids: Enhancing Cybersecurity Education in K-12 through Digital Game-Based Learning;Empowering Higher Education with ChatGPT: Inn

关键词：

来源：评论

学校读者我要写书评

暂无评论

Calculation of the Optimum Parameters of Electrical Energy Storage and Generating Sources in Autonomous Local Electrical systems 5

Calculation of the Optimum Parameters of Electrical Energy S...

引用

5th IEEE international Conference on Modern Electrical and Energy System, MEES 2023

作者： Hussienat, Lina H. Myrhorod, Denys Mykhailo, Syvenko Buinyi, Roman Bezruchko, Viacheslav Halko, Serhii Al Balqa Applied University Department of Technical Science Al Salt Jordan State Biotechnological University Department of Electricity and Energy Management Kharkiv Ukraine State Biotechnological University Department of Electricity Supply and Energy Management Kharkiv Ukraine Chernihiv Polytechnic National University Department of Electrical Power Engineering Chernihiv Ukraine Dmytro Motornyi Tavria State Agrotechnological University Department of Electrical Engineering and Electromechanics Melitopol Ukraine

ISBN: (纸本)9798350359787

the paper presents the issue of determining the most the optimal parameters for electrical energy storage and generating equipment in autonomous local electrical systems (ALES). the substantiation of the role of energy storage devices in the presence of renewable energy sources in autonomous local electrical systems with a stochastic mode of operation is given. the main provisions of the used model of electrical systems are given. the dependence of the parameters of the energy storage device depending on the composition of generating capacities has been studied. the implementation of the problem of determining the parameters of electric energy storage devices by the method of purposeful simulation is considered. the results of the multi-criteria choice of power and energy intensity of the electric energy storage are substantiated. A mathematical model has been developed for determining the optimal parameters of electric energy storage devices for autonomous local electrical systems using mixed integer programming with optimization and taking into account economic indicators. the main provisions of the model used are considered. the dependences of the parameters of electric energy storage devices on the composition of the generation of autonomous local electrical systems have been studied. © 2023 IEEE.

关键词： Renewable energy

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共198页 << < 2 3 4 5 6 7 8 9 10 11 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：