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

5th IEEE international Conference on Networking and Advanced systems, ICNAS 2021

作者： Chebout, Mohamed Sedik University of Oum El Bouaghi ReLaCS2 Laboratory Department of Mathematics and Computer Sciences Oum el Bouaghi Algeria

ISBN: (纸本)9781665428217

In multi-agent System (MAS), agents coordinate their behaviour aiming to achieve some collective goals. However, heterogeneous nature of agents and their autonomy make the coordination task exceedingly difficult and likewise the achievement of the ultimate system target. Consequently, it's unavoidable to proceed with monitoring techniques in order to analyze and understand the dynamic behaviour of such a system. JAVA agent DEvelopment framework (JADE) is a JAVA-based framework intensively used in academia to implement MAS. Aspect-Oriented programming (AOP) paradigm has proved its effectiveness to support software monitoring especially regarding MAS specificities. the combination of monitoring and AOP results in the appearance of a new technique known as Aspect-Oriented Monitoring (AOM). In this paper, we introduce AOM4JADE, an Aspect-Oriented Monitoring Approach for JADE-based multi-agent Applications. Proposed approach investigates three JADE foundations: FIPA-ACL-based agents' communication, agents' behaviours and agents' lifecycle. For each concept, we specify the integration of monitoring related aspects with JADE architecture using Aspect UML class diagram. © 2021 IEEE.

关键词： multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Reciprocity calibration for UAV cell-free MIMO systems 5

Reciprocity calibration for UAV cell-free MIMO systems

引用

5th international ACM Mobicom workshop on Drone Assisted Wireless Communications for 5G and Beyond, DroneCom 2022

作者： Jiang, Jing Yue, Zhiyu Zhen, Li Feng, Dan Xi'an University of Posts and Telecommunications ShaanXi Xi'an China

ISBN: (纸本)9781450395144

Unmanned aerial vehicle (UAV) communication in cell-free (CF) massive multi-input multi-output (mMIMO) system is a promising technique for fulfilling the growing demand of data throughput. the channels in uplink (UL) and downlink (DL) are non-reciprocal due to the radio frequency mismatches at transceivers. In order to enable the channel reciprocity-based operation, this paper proposes a user-centric based reciprocity calibration method for UAV CF mMIMO network. Since far APs would affect the calibration accuracy, APs are the user-centric based clustered while the large-scale fading coefficient is less than the predefined threshold. CPU (Central Processing Unit) performs the calibration with a cluster. We also derive the closed-form expressions of TDD reciprocity calibration. Our simulation results demonstrate that the proposed algorithm can obviously improve the system, since the channel non-reciprocity is mitigated effectively. © 2022 ACM.

关键词： Radio transceivers

来源：评论

学校读者我要写书评

暂无评论

Towards Verifiable multi-agent Interaction Pattern Specification

Towards Verifiable Multi-Agent Interaction Pattern Specifica...

引用

FME workshop on Formal Methods in Software Engineering (FormaliSE)

作者： Alberto Tagliaferro Livia Lestingi Matteo Rossi Politecnico di Milano Milan Italy

ISBN: (数字)9798400705892

ISBN: (纸本)9798350353662

Smart cyber agents play a crucial role in software-intensive systems by monitoring their physical surroundings and making impactful decisions. this paper addresses the challenge of specifying multi-agent patterns, which include interactions with human agents in possibly safety-critical environments. To this end, we introduce the foundations of a domain-agnostic and flexible Domain-Specific Language (DSL) called LIrAs. the language is designed to be accessible to users without programming expertise. LIrAs’ semantics are mapped to Deterministic Finite-state Automata, making specifications amenable to formal verification. the DSL is exemplified through an illustrative scenario from the service robotics *** CONCEPTS• Software and its engineering → Domain specific languages; Formal language definitions; • Computer systems organization → Embedded and cyber-physical systems.

关键词： Service robots Semantics Formal languages Organizations programming Software DSL

来源：评论

学校读者我要写书评

暂无评论

Dialogue Explanations for Rule-Based AI systems 5th

Dialogue Explanations for Rule-Based AI Systems

引用

Proceedings of the 5th international workshop on EXTRAAMAS 2023

作者： Xu, Yifan Collenette, Joe Dennis, Louise Dixon, Clare Department of Computer Science The University of Manchester Manchester United Kingdom

ISBN: (纸本)9783031408779

the need for AI systems to explain themselves is increasingly recognised as a priority, particularly in domains where incorrect decisions can result in harm and, in the worst cases, death. Explainable Artificial Intelligence (XAI) tries to produce human-understandable explanations for AI decisions. However, most XAI systems prioritize factors such as technical complexities and research-oriented goals over end-user needs, risking information overload. this research attempts to bridge a gap in current understanding and provide insights for assisting users in comprehending the rule-based system’s reasoning through dialogue. the hypothesis is that employing dialogue as a mechanism can be effective in constructing explanations. A dialogue framework for rule-based AI systems is presented, allowing the system to explain its decisions by engaging in "Why?" and "Why not?" questions and answers. We establish formal properties of this framework and present a small user study with encouraging results that compares dialogue-based explanations with proof trees produced by the AI System. © 2023, the Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

5th international Conference on Optimization and Learning, OLA 2022

5th International Conference on Optimization and Learning, O...

引用

5th international Conference on Optimization and Learning, OLA 2022

ISBN: (纸本)9783031220388

the proceedings contain 19 papers. the special focus in this conference is on Optimization and Learning. the topics include: Sweep Algorithms for the Vehicle Routing Problem with Time Windows;improving the Accuracy of Vehicle Routing Problem Approximation Using the Formula for the Average Distance Between a Point and a Rectangular Area;optimal Delivery Area Assignment for the Capital Vehicle Routing Problem Based on a Maximum Likelihood Approach;neural Order-First Split-Second Algorithm for the Capacitated Vehicle Routing Problem;GRASP-Based Hybrid Search to Solve the multi-objective Requirements Selection Problem;Comparing Parallel Surrogate-Based and Surrogate-Free multi-objective Optimization of COVID-19 Vaccines Allocation;decentralizing and Optimizing Nation-Wide Employee Allocation While Simultaneously Maximizing Employee Satisfaction;categorical-Continuous Bayesian Optimization Applied to Chemical Reactions;assessing Similarity-Based Grammar-Guided Genetic programming Approaches for Program Synthesis;maximum Information Coverage and Monitoring Path Planning with Unmanned Surface Vehicles Using Deep Reinforcement Learning;tuning ForestDisc Hyperparameters: A Sensitivity Analysis;multi-objective Hyperparameter Optimization with Performance Uncertainty;a New Algorithm for Bi-objective Problems Based on Gradient Information;adaptive Continuous multi-objective Optimization Using Cooperative agents;integer Linear programming Reformulations for the Linear Ordering Problem;SHAMan: A Versatile Auto-tuning Framework for Costly and Noisy HPC systems;cooperation-Based Search of Global Optima.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Application of Machine Algorithms for Classification and Formation of the Optimal Plan 5

Application of Machine Algorithms for Classification and For...

引用

5th international Conference on Computational Linguistics and Intelligent systems (COLINS)

作者： Boyko, Nataliya Hlynka, Rostyslav Lviv Polytech Natl Univ Prof St 1 UA-79013 Lvov Ukraine

the paper presents three methods for data classification and finding the optimal plan: the study of the quadratic programming problem, the double problem and the Support Vector Machine method. It is known that linear programming is used to solve resource allocation problems. Also, its purpose is widely used to determine the highest profit or lowest cost, inventory management, the formation of an optimal transportation plan or to determine research, and so on. An important approach to the application of linear programming problems is the use of the duality principle, which is methodologically related to the theory of systems of dependent inequalities. this aspect better explains the concept of duality in linear programming problems with general mathematical rigor.

关键词： Data Mining Mathematical programming Linear programming Nonlinear programming Quadratic programming Problem of the Quadratic programming Support Vector Machine

来源：评论

学校读者我要写书评

暂无评论

HarSaRK_multi_rs: A Hard Real-time Kernel for multi-core Microcontrollers in Rust Language 1

引用

5th international Conference on Smart Computing and Informatics, SCI 2021

作者： Vishnunaryan, K.I. Banda, Gourinath Indian Institute of Technology Indore Indore India

ISBN: (数字)9789811697050

ISBN: (纸本)9789811697043

Recent years have seen a huge explosion in the number of embedded systems. More and more of the embedded hardware is becoming multi-core and low-cost multi-core microcontrollers which have already become mainstream. Most of these embedded systems have real-time requirements and require a real-time kernel for the application development. this paper proposes HarSaRK-multi, a multi-core real-time kernel implemented in Rust (Klabnik and Nichols in the Rust programming Language. No Starch Press, USA, 2018 [14]). Rust is chosen for its type safety, memory safety and prevention of data races statically at compile time. the kernel maintains a low overhead while guaranteeing to be free from deadlocks. © 2022, the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 5th international workshop on Reading Music systems

arXiv

引用

arXiv 2023年

作者： Calvo-Zaragoza, Jorge Pacha, Alexander Shatri, Elona University of Alicante Spain TU Wien Austria Queen Mary University of London United Kingdom

the international workshop on Reading Music systems (WoRMS) is a workshopthat tries to connect researchers who develop systems for reading music, suchas in the field of Optical Music Recognition, with other researchers andpractitioners that could benefit from such systems, like librarians ormusicologists. the relevant topics of interest for the workshop include, butare not limited to: Music reading systems;Optical music recognition;Datasetsand performance evaluation;Image processing on music scores;Writeridentification;Authoring, editing, storing and presentation systems for musicscores;multi-modal systems;Novel input-methods for music to produce writtenmusic;Web-based Music Information Retrieval services;Applications andprojects;Use-cases related to written music. these are the proceedings of the 5th international workshop on Reading Musicsystems, held in Milan, Italy on Nov. 4th 2023. © 2023, CC BY.

关键词： Optical data processing

来源：评论

学校读者我要写书评

暂无评论

A Survey of the programming Paradigms used in programming Languages

A Survey of the Programming Paradigms used in Programming La...

引用

Communications, Information, Electronic and Energy systems (CIEES), international Conference on

作者： Dimitrichka Nikolaeva Daniela Petrova Dept. of Software and Internet Technologies Technical University – Varna Varna Bulgaria

ISBN: (数字)9798350352863

ISBN: (纸本)9798350352870

this article aims to explore and classify the programming paradigms (PPs) used in programming languages (PLs). It consists of four parts: a brief introduction, an experimental section analyzing 90 PLs created between 1957 and 2024 based on four criteria. the findings are presented in tables and graphs, including a catalog of PLs, a table mapping PLs to PPs and multi-paradigms, and charts showing the creation of PLs by year, relationships between PPs and PLs, and the use of multi-paradigms in PLs. the study reveals that the years 1980 and 1995 saw the highest number of PLs created. 73% of all considered PLs apply 2 or more styles, with the functional and imperative style being the most applied.

关键词： Surveys Computer languages Systematics Codes programming Software Software reliability C# languages Software development management Information systems

来源：评论

学校读者我要写书评

暂无评论

Distributed Component Interoperation and Execution for Norm-Based Real-time Compliance 8

Distributed Component Interoperation and Execution for Norm-...

引用

8th international Joint Conference on Rules and Reasoning, RuleML+RR-Companion 2024

作者： Mitsikas, theodoros Schäfermeier, Ralph Taheri, Yousef Tsushima, Kanae Hayashi, Hisashi Ganascia, Jean-Gabriel Bourgne, Gauvain Satoh, Ken Paschke, Adrian Institut für Angewandte Informatik Leipzig Germany National Technical University of Athens Zografou Greece Leipzig University Leipzig Germany Freie Universität Berlin Fraunhofer FOKUS Berlin Germany Sorbonne University Paris France Center of Juris-Informatics Research Organization of Information and Systems Tokyo Japan Advanced Institute of Industrial Technology Tokyo Japan

A framework for integrating and executing components in a distributed norm-based compliance system is presented. the central component, the planning component, relies on legal checking and ethical checking components, which function as services imposing hard and soft constraints, respectively. these constraints enable the planning component to adapt and replan if necessary, ensuring real-time compliance. the system architecture, component communication, and API are detailed, along with performance evaluation and communication overhead assessment. © 2024 Copyright for this paper by its authors.

关键词： multi agent systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：