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

A logic-Based Approach to Incremental reasoning on Multi-agent Systems 1

6th international conference on Dynamics Games and Science, DGS-VI-2018, 19th Latin American conference on Economic theory, JOLATE 2018 and 21st international Consortium on Applied Bioeconomy Research, ICABR 2017

作者： Ravve, Elena V. Volkovich, Zeev Weber, Gerhard-Wilhelm Software Engineering Department Ort Braude College Rehov Snunit 51 POB 78 Karmiel2161002 Israel Faculty of Engineering Management Poznan University of Technology ul. Jacka Rychlewskiego 2 Poznan60-965 Poland IAM METU Ankara06800 Turkey

ISBN: (数字)9783030781637

ISBN: (纸本)9783030781620

We introduce the notion of strongly distributed multi-agent systems and present a uniform approach to incremental automated reasoning on them. the approach is based on systematic use of two logical reduction techniques: Feferman-Vaught reductions and syntactically defined translation schemes. the distributed systems are presented as logical structures A ’s. We propose a uniform template for methods, which allow for certain cost evaluation of formulae of logic L over A from values of formulae over its components and values of formulae over the index structure I. Given logic L, structure A as a composition of structures Ai, i∈ I, index structure I and formula of the logic to be evaluated on A, the question is: what is the reduction sequence for if any. We show that if we may prove preservation theorems for L as well as if A is a strongly distributed composition of its components then the corresponding reduction sequence for A may be effectively computed. We show that the approach works for lots of extensions of FOL but not all. the considered extensions of FOL are suitable candidates for modeling languages for components and services, used in incremental automated reasoning, data mining, decision making, planning and scheduling. A short complexity analysis of the method is also provided. © 2021, Springer Nature Switzerland AG.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Research on Traffic Scheduling Optimization of Vehicle Ethernet Based on TSN

Research on Traffic Scheduling Optimization of Vehicle Ether...

引用

Advanced Algorithms and Control Engineering (ICAACE), international conference on

作者： Xuguang Hou Daliang Sun Shengli Huang Jiabao Fan Guangda Liu Lieyan He GAC Research and Development Center Guangzhou China

ISBN: (数字)9798350361445

ISBN: (纸本)9798350361452

With the development of in-vehicle network (IVN) technology, the real-time performance and reliability of vehicle Ethernet become very important. Time-sensitive network (TSN) has become a new technical solution for vehicle Ethernet because of its high accuracy of data transmission. To solve the problem of low scheduling efficiency and poor real-time transmission in traffic scheduling in TSN, the optimization of traffic scheduling time is studied in the network from the aspect of scheduling algorithm. Firstly, the time slot scheduling model of time-sensitive flows is established. then, a hybrid scheduling strategy considering traffic routing and traffic scheduling optimization is designed. In the routing strategy, the ant colony algorithm is designed to optimize the traffic transmission path. In the scheduling strategy, a time planning model is established and the global scheduling schedule is optimized by mixed integer programming algorithm. Finally, the traffic scheduling simulation and gated scheduling experiment verify that the proposed scheduling optimization algorithm can significantly improve the efficiency and real-time performance of traffic scheduling in vehicle TSN.

关键词： Integer programming Schedules Scheduling algorithms Ethernet logic gates Routing Scheduling

来源：评论

学校读者我要写书评

暂无评论

Gender Differences in Computational thinking Skills among Malaysian's Primary School Students using Visual programming 7

Gender Differences in Computational Thinking Skills among Ma...

引用

7th international conference on Software Engineering and Computer Systems and 4th international conference on Computational Science and Information Management, ICSECS-ICOCSIM 2021

作者： Abdullah, Osmanullrazi Kamaludin, Adzhar Rahman, Nur Shamsiah Abdul University Malaysia Pahang Faculty of Computing Malaysia

ISBN: (纸本)9781665414074

Computational thinking (CT) is a thought process which utilize computer science concepts to solve problem in the real life. One of the methods to develop CT among the Children is by using visual programming to create computational artifacts such as animation and games. this study collected 50 animation and 47 games projects created by the primary school students in standard 6 (12-year-old) from the eight-week lesson using visual programming Scratch. the purpose of the study is to investigate if there is a significant difference between male and female students on CT skills of flow control, logic, data representation, parallelism, synchronization, user interactivity and abstraction. Source code projects were analyzed for CT skills score. Result from Mann-Whitney U test shows the different was not statistically significant between male and female students on CT skills mentioned previously. © 2021 IEEE.

关键词： Animation

来源：评论

学校读者我要写书评

暂无评论

Finding the Fuzzy Critical Path with Octagonal Fuzzy Numbers using Linear programming model 7

Finding the Fuzzy Critical Path with Octagonal Fuzzy Numbers...

引用

7th international conference on Contemporary Information Technology and Mathematics, ICCITM 2021

作者： Younis, Sanar Mazin Yousif, Ahmed Yacoub Ministry of Education Baghdad Iraq University of Technology Baghdad Iraq

ISBN: (纸本)9781665420327

A Binary Integer Linear Programing (BILP) model was used to find the Fuzzy Critical Path (FCP) of a fuzzy project network, when the lengths of all activities are represented as Octagonal Fuzzy Numbers (OFN). Although there are many methods to solve the fuzzy network problems, this paper presents the simplest method for the purpose of estimating the CP, especially, when every path activity is expressed by an OFN in the fuzzy network problems. the OFN of each activity converted to the crisp one using a modified ranking approach. A numerical example of a fuzzy network problem is given to illustrated the steps of the method were the OFN of each activity represented the time needed to complete implementation of that activity. the same example is solved by using CP Method (CPM). this is considered to be one of the leading standard methods of solving such problems. this paper presents a comparison of results of the two methods. © 2021 IEEE.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

Strategies for Heterogeneous Multi-Core Processing Based on Graph programming 2021

Strategies for Heterogeneous Multi-Core Processing Based on ...

引用

7th international conference on Computing and Data Engineering, ICCDE 2021

作者： Fryer, Joshua Garcia, Paulo Carleton University Ottawa Canada

ISBN: (纸本)9781450388450

In this paper, we explore strategies for automated parallelization and reconfiguration across heterogeneous multi-core processor, based on a programming paradigm and an associated model of computation designed for efficient and automated parallelization across processing elements, efficient reconfiguration (i.e., mapping of computational tasks across processing elements), and combining synchronous and asynchronous I/O handling within the same conceptual programming model. We introduce an analytical model of parallelization, unlocked by graph programming, that can effectively reason about power and performance tradeoffs in heterogeneous multi-core, and inform reconfiguration strategies. We analyze the implications of our model through an analysis of reconfiguration scenarios given a program's characteristics;our analysis quantifies the benefits of reconfiguring software for higher levels of parallelism, given an amount of data left to process. We empirically validate the performance advantage of our automatic parallelism capabilities through Horde, an open source graph programming interpreter;in our experiments, automatic parallelization from one to four cores improves average case execution time by a factor of 2 and worst case execution time by a factor of 3. When reconfiguring across heterogeneous processors, our model can predict execution time with an average error of 9.45%. © 2021 ACM.

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

Trylock, a case for temporal logic and eternity variables

引用

SCIENCE OF COMPUTER programming 2022年 216卷 102767-102767页

作者： Hesselink, Wim H.

An example is given of a software algorithm that implements its specification in linear time temporal logic (LTL), but not in branching time temporal logic (CTL). In LTL, a prophecy of future behaviour is needed to prove the simulation. Eternity variables are used for this purpose. the final phase of the proof is a refinement mapping in which two threads exchange roles. the example is a software implementation of trylock in a variation of the fast mutual exclusion algorithm of Lamport (1987). It has been used fruitfully for the construction of software algorithms for high performance mutual exclusion. (C) 2021 the Author(s). Published by Elsevier B.V.

关键词： Concurrency CTL LTL Prophecy variables Simulation

来源：评论

学校读者我要写书评

暂无评论

Implementation of a Neural Network Model on the Aurora Operating System Using ARM Architecture

Implementation of a Neural Network Model on the Aurora Opera...

引用

international Youth conference on Radio Electronics, Electrical and Power Engineering (REEPE)

作者： Daniil S. Markevich Dmitry A. Vidmanov Department of Information Systems and Telecommunications Bauman Moscow State Technical University Moscow Russian Federation

ISBN: (数字)9798331531836

ISBN: (纸本)9798331531843

Deploying and training deep neural networks on mobile devices is a challenging task as machine learning applications increasingly require real-time data processing and on-device training capabilities. the ARM microprocessor architecture for mobile devices and embedded systems offers attractive platforms for edge machine learning. there are various machine learning libraries optimized for resource-constrained environments. this paper discusses the TensorFlow Lite library, the process of running and training machine learning models directly on ARM devices using TensorFlow Lite. It discusses the technical implementation, challenges, and optimizations required to achieve efficient training and running of neural network models using mobile devices with the Aurora operating system as an example. Finally, an example of implementing and training a neural network model on the Aurora OS in the C++ programming language without using additional libraries is given as an alternative to the TensorFlow Lite library.

关键词： Training Adaptation models Ion radiation effects Program processors Computer architecture Libraries Mobile handsets logic Magnetosphere Optimization

来源：评论

学校读者我要写书评

暂无评论

logic programming for XAI: A technical perspective

Logic programming for XAI: A technical perspective

引用

2021 international conference on logic programming Workshops, ICLP Workshops 2021

作者： State, Laura Department of Computer Science University of Pisa Largo B. Pontecorvo 3 Pisa56127 Italy Scuola Normale Superiore Piazza dei Cavalieri 7 Pisa56126 Italy

Our world is increasingly shaped by Artificial Intelligence systems, from search engines over automated hiring algorithms to self-driving cars. Being also used in high-stake decisions, their impact on the life of individuals is huge. thus it becomes exceedingly important to sceptically review their limitations. One alarming problem is their uptake and reinforcement of existing social biases, as found in many different domains (criminal justice, facial recognition, credit scoring etc). It is complemented by the inherent opaqueness of the most accurate AI systems, making it impossible to understand details of their internal workings. the field of Explainable Artificial Intelligence is trying to address these problems. However, there are several challenges in the field, and we will start this work by pointing them out. We put forward a set of technical pathways, drawing from logic programming. Specifically, we propose using Constraint logic programming to construct explanations that incorporate prior knowledge, as well as Meta-reasoning to track model and explanation changes over time. © 2021 CEUR-WS. All rights reserved.

关键词： Search engines

来源：评论

学校读者我要写书评

暂无评论

the Application of three-Phase Induction Motor Protection automated System To Overcome Overload Conditions and Zelio logic-Based High Temperatures

The Application of Three-Phase Induction Motor Protection Au...

引用

international conference on Electrical, Telecommunication and Computer Engineering (ELTICOM)

作者： Agahari Ahmad Syafruddin Hs Fahmi Fahmi Electrical Engineering Department Universitas Sumatera Utara Medan Indonesia

the protection system on a three-phase induction motor is designed so that the motor can be used for a longer period of time and avoid damage. Disturbances such as overloads and high temperatures that occur can interfere with the performance of the induction motor and shorten its use time. therefore, a protection system for the induction motor is needed. the method used in this paper is the design of a simulation of an overload and high temperature protection system on a three-phase induction motor with a Zelio smart relay using Zeliosoft 2.0 software by making a Ladder diagram as well as the simulation. To protect the three-phase induction motor, additional components are used, namely the thermal Overload Relay (TOR) for overload protection and the Temperature Controller for high temperatures. the maximum limit of current to be protected by TOR is 1.6 A, and the maximum temperature limit to be protected by the Temperature Controller is 50 °C. Both components are integrated by the Zelio smart relay. In the process stage of the program itself, the TOR and Temperature Controller will send a trip signal to the Zelio smart relay when there is more load interference and a high temperature. the Zelio smart relay will then secure the motor from interference by stopping the power to the motor.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An Algorithm for Partial Elimination of Jumps in an Object-Oriented Dataflow Language 23

An Algorithm for Partial Elimination of Jumps in an Object-O...

引用

Proceedings of the 2023 7th international conference on Computer Science and Artificial Intelligence

作者： Yegor Bugayenko Mikhail Lipanin Huawei RRI Russia

ISBN: (纸本)9798400708688

Despite enduring criticisms spanning several decades, jump statements such as goto, break, continue, and return remain prevalent in imperative programming languages, including but not limited to C++, Java, and Python. the academic community has yet to reach a consensus regarding whether the refactoring of source code in these languages to eliminate such statements can indeed enhance code readability. Nevertheless, it is evident that automated program analysis would derive substantial benefits from this refactoring, given that structured code analysis is more straightforward than analyzing code that exhibits capricious alterations in its control flow. While algorithms tailored for this refactoring process have been proposed for certain imperative languages, we introduce a congruent algorithm, specifically designed for a dataflow programming language. It’s important to note that although dataflow languages lack jump statements, they might incorporate jump-objects (in object-oriented contexts) or jump-functions (within functional paradigms). Our algorithm has been instantiated as a command-line tool tailored for refactoring EO, an object-oriented dataflow language. Preliminary tests with several EO programs have validated the tool’s efficacy. Leveraging φ -calculas, we provide a formal proof underscoring the validity of every transformation encompassed within our algorithm.

关键词： Algorithms Dataflow Computing Object-Oriented programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：