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

Proceedings of the ACM/IEEE 16th international conference on Cyber-Physical Systems (with CPS-IoT Week 2025)

作者： Marco Zamponi Emilio Incerto Daniele Masti Mirco Tribastone IMT School for Advanced Studies Lucca Italy GSSI Gran Sasso Science Institute L'Aquila Italy

ISBN: (纸本)9798400714986

In fields such as autonomous and safety-critical systems, online optimization plays a crucial role in control and decision-making processes, often requiring the integration of continuous and discrete variables. these tasks are frequently modeled as mixed-integer programming (MIP) problems, where feedback data are incorporated as parameters. However, solving MIPs within strict time constraints is challenging due to their NP-complete nature. A promising solution to this challenge involves leveraging the largely invariant structure of these problems to perform most computations offline, thus enabling efficient online solving even on platforms with limited hardware capabilities. In this paper we present a novel implementation of this strategy that uses counterexample-guided inductive synthesis to split the MIP solution process into two stages. In the offline phase, we construct a mapping that provides feasible assignments for binary variables based on parameter values within a specified range. In the online phase, we solve the remaining continuous part of the problem by fixing the binary variables to the values predicted by this mapping. Our numerical evaluation demonstrates the efficiency and solution quality of this approach compared to standard mixed-integer solvers, highlighting its potential for realtime applications in resource-constrained environments.

关键词： counter-example guided inductive synthesis

来源：评论

学校读者我要写书评

暂无评论

16th international Symposium on theoretical Aspects of Software Engineering, TASE 2022

16th International Symposium on Theoretical Aspects of Softw...

引用

16th international Symposium on theoretical Aspects of Software Engineering, TASE 2022

ISBN: (纸本)9783031103629

the proceedings contain 27 papers. the special focus in this conference is on theoretical Aspects of Software Engineering. the topics include: AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences;improving Adversarial Robustness of Deep Neural Networks via Linear programming;consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach;a Language-Based Causal Model for Safety;complexity of Distributed Petri Net Synthesis;Development of Monitoring Systems for Anomaly Detection Using ASTD Specifications;Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications;dynamic Environment Simulation for Database Performance Evaluation;dynamic Specification Mining Based on Transformer;Testing Vehicle-Mounted Systems: A Stepwise Symbolic Execution Approach for OSEK/VDX Programs;optimizing Trans-Compilers in Runtime Verification Makes Sense – Sometimes;machine-Assisted Proofs for Institutions in Coq;extending Process Algebra with an Undefined Action;MSDetector: A Static PHP Webshell Detection System Based on Deep-Learning;collaborative Verification of Uninterpreted Programs;practical theory of Computation on Structures;automatic Classification of Bug Reports Based on Multiple Text Information and Reports’ Intention;preface;equivalence of Denotational and Operational Semantics for Interaction Languages;on Verification of Smart Contracts via Model Checking;sound Static Analysis of Regular Expressions for Vulnerabilities to Denial of Service Attacks;A Case Study in the Automated Translation of BSV Hardware to PVS Formal logic with Subsequent Verification;formal Verification of a Keystore;repairing Adversarial Texts through Perturbation;supporting Algorithm Analysis with Symbolic Execution in Alk.

关键词：

来源：评论

学校读者我要写书评

暂无评论

23rd IFIP WG 6.1 international conference on Coordination Models and Languages, COORDINATION 2021 held as part of 16th international Federated conference on Distributed Computing Techniques, DisCoTec 2021

23rd IFIP WG 6.1 International Conference on Coordination Mo...

引用

23rd IFIP WG 6.1 international conference on Coordination Models and Languages, COORDINATION 2021 held as part of 16th international Federated conference on Distributed Computing Techniques, DisCoTec 2021

ISBN: (纸本)9783030781415

the proceedings contain 18 papers. the special focus in this conference is on Coordination Models and Languages and Distributed Computing Techniques. the topics include: A Practical Tool-Chain for the Development of Coordination Scenarios: Graphical Modeler, DSL, Code Generators and Automaton-Based Simulator;microservice Dynamic Architecture-Level Deployment Orchestration;Jolie and LEMMA: Model-Driven Engineering and programming Languages Meet on Microservices;scaFi-Web: A Web-Based Application for Field-Based Coordination programming;manifestly Phased Communication via Shared Session Types;deconfined Global Types for Asynchronous Sessions;relating Functional and Imperative Session Types;safe Session-Based Asynchronous Coordination in Rust;a Session Subtyping Tool;towards Probabilistic Session-Type Monitoring;java Typestate Checker;asynchronous Global Types in Co-logic programming;foreword;preface;modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction;tuple-Based Coordination in Large-Scale Situated Systems;a theory of Automated Market Makers in DeFi.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Towards Interpretable Probabilistic Classification Models for Knowledge Graphs

Towards Interpretable Probabilistic Classification Models fo...

引用

international IEEE conference on Signal-Image Technologies and Internet-Based System

作者： Nicola Fanizzi Claudia d’Amato Dipartimento di Informatica Università Degli Studi di Bari Aldo Moro Bari Italy

Tackling the problem of learning probabilistic classifiers that can be used the context of knowledge graphs, we describe an inductive approach based on learning networks of Bernoulli variables. Namely, we consider the application of multivariate Bernoulli models, a simple one and a two-levels mixture model. In addition, we also consider a hierarchical model combining the multivariate Bernoulli model with a restricted Boltzmann machine as the first level. We show how such models can be converted into probabilistic rule bases ensuring more understandability. A preliminary empirical evaluation is presented to test the effectiveness of these models on a number of classification problems with different knowledge graphs.

关键词： Knowledge engineering Knowledge graphs Mixture models Probabilistic logic

来源：评论

学校读者我要写书评

暂无评论

Learning to solve sequential physical reasoning problems from a scene image

引用

international JOURNAL OF ROBOTICS RESEARCH 2021年第12-14期40卷 1435-1466页

作者： Driess, Danny Ha, Jung-Su Toussaint, Marc TU Berlin Learning & Intelligent Syst Marchstr 23 D-10587 Berlin Germany Max Planck Inst Intelligent Syst Stuttgart Germany

In this article, we propose deep visual reasoning, which is a convolutional recurrent neural network that predicts discrete action sequences from an initial scene image for sequential manipulation problems that arise, for example, in task and motion planning (TAMP). Typical TAMP problems are formalized by combining reasoning on a symbolic, discrete level (e.g., first-order logic) with continuous motion planning such as nonlinear trajectory optimization. the action sequences represent the discrete decisions on a symbolic level, which, in turn, parameterize a nonlinear trajectory optimization problem. Owing to the great combinatorial complexity of possible discrete action sequences, a large number of optimization/motion planning problems have to be solved to find a solution, which limits the scalability of these approaches. To circumvent this combinatorial complexity, we introduce deep visual reasoning: based on a segmented initial image of the scene, a neural network directly predicts promising discrete action sequences such that ideally only one motion planning problem has to be solved to find a solution to the overall TAMP problem. Our method generalizes to scenes with many and varying numbers of objects, although being trained on only two objects at a time. this is possible by encoding the objects of the scene and the goal in (segmented) images as input to the neural network, instead of a fixed feature vector. We show that the framework can not only handle kinematic problems such as pick-and-place (as typical in TAMP), but also tool-use scenarios for planar pushing under quasi-static dynamic models. Here, the image-based representation enables generalization to other shapes than during training. Results show runtime improvements of several orders of magnitudes by, in many cases, removing the need to search over the discrete action sequences.

关键词： Task and motion planning deep learning sequential manipulation physical reasoning planar pushing logic geometric programming offline reinforcement learning deep Q-learning

来源：评论

学校读者我要写书评

暂无评论

Development and modeling of intelligent control system of cruise missile based on fuzzy logic 16

Development and modeling of intelligent control system of cr...

引用

16th international conference on Electronics Computer and Computation, ICECCO 2021

作者： Utegen, A.S. Moldamurat, Kh Ainur, Mukhanbetkaliyeva Talgat, Amangul Amandykuly, Anuar Galymzhan Brimzhanova, S.S. L.N. Gumilev Eurasian National University 4th Year Specialty Space Engineering and Technology Nur-Sultan Kazakhstan L.N. Gumilev Eurasian National University Candidate of Technical Sciences Department of Space Engineering and Technology Nur-Sultan Kazakhstan Kazakh University of Technology and Business Master of Technical Sciences of the Information Systems Department Nur-Sultan Kazakhstan L.N. Gumilev Eurasian National University Master of Technical Sciences Teacher of the Department of Space Engineering and Technology Nur-Sultan Kazakhstan Non-Profit Limited Company A. Baitursynov KRU Master of Natural Sciences Department of Information Systems Kostanay Kazakhstan

ISBN: (纸本)9781665409452

this article considers an artificial intelligence system focused on the flight of a cruise missile. A fuzzy logic system belongs to the field of modern artificial intelligence. the cruise missile is widely used in the defense and military sphere. A cruise missile flies close to the ground and maneuvers very quickly during its flight. It is very difficult to direct a cruise missile to the object accurately and reach the *** this reason, the control system is given a fuzzy logic method based on artificial intelligence. A cruise missile control system requires many parameters and complex mathematical models if it is controlled by a regular system. It requires a large resource and a lot of time to calculate the control system. A cruise missile is very effective when controlled by fuzzy logic, takes little time, maneuvers very quickly during the flight, and quickly makes decisions of any *** article presents a virtual software simulator for creating a model of a cruise missile. this simulator is written in C++ programming language with the complex Matlab editor R2015b. the types, models, goals of use of cruise missiles preceding the virtual test are selected in the simulator. In the simulator the flight parameters of the selected cruise missile (flight speed v, range l, flight altitude h and angles of attack G0, directions of maneuver and external forces) are entered. In the simulator the trajectory of the missile flight is tested according to the task algorithm. the virtual test involves accurately targeting the cruise missile and reducing and eliminating deviations and errors while accurately reaching the target. the virtual software simulator tests any cruise and jet missile, ground-based objects of *** virtual software simulator is intended for use by space industry specialists, students at institutions of higher education, specialists trained in the army for practical testing of ground-based objects of flight. © 2021 IEEE.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

Fast Division Algorithm for Finite Real Number 16

Fast Division Algorithm for Finite Real Number

引用

16th IEEE international conference on Intelligent Systems and Knowledge Engineering, ISKE 2021

作者： Chen, Ting Li, Fenfen Lin, Jinbao National-Local Joint Engineering Lab of System Credibility Automatic Verification Huaiyin Institute of Technology Faculty of Computer and Software Engineering Research Center for Logic and Intelligent Computation Huai'an China

ISBN: (纸本)9781665405539

the data representation and division for finite real number in computers has always been a hot topic in the fields of scientific research and engineering technology. With the research of existing real number division algorithm, design, improvement and adjustment for data structure, algorithm and programming language, and realize the fast division for finite real number. the algorithm can apply to the engineering requirement of finite real number of 506 bits. It replaces the commonly used trial division method with a comparison method, reducing the time complexity of the algorithm. the experimental results demonstrate the correctness and efficiency of the algorithm. the division of the algorithm uses comparison instead of trial division, which reduces the time complexity of the algorithm from O(n2) to O(n). the experimental results show that the algorithm is correct and efficient. © 2021 IEEE.

关键词： Computational complexity

来源：评论

学校读者我要写书评

暂无评论

Prioritise the Best Variation 41st

Prioritise the Best Variation

引用

41st IFIP WG 6.1 international conference on Formal Techniques for Distributed Objects, Components, and Systems Held as Part of the 16th international Federated conference on Distributed Computing Techniques (DisCoTec)

作者： Kokke, Wen Dardha, Ornela Univ Edinburgh Edinburgh Scotland Univ Glasgow Glasgow Scotland

ISBN: (纸本)9783030780890;9783030780883

Binary session types guarantee communication safety and session fidelity, but alone they cannot rule out deadlocks arising from the interleaving of different sessions. In Classical Processes (CP) [53]-a process calculus based on classical linear logic-deadlock freedom is guaranteed by combining channel creation and parallel composition under the same logical cut rule. Similarly, in Good Variation (GV) [39,54]-a linear concurrent lambda-calculus-deadlock freedom is guaranteed by combining channel creation and thread spawning under the same operation, called fork. In both CP and GV, deadlock freedom is achieved at the expense of expressivity, as the only processes allowed are tree-structured. Dardha and Gay [19] define Priority CP (PCP), which allows cyclic-structured processes and restores deadlock freedom by using priorities, in line with Kobayashi and Padovani [34,44]. Following PCP, we present Priority GV (PGV), a variant of GV which decouples channel creation from thread spawning. Consequently, we type cyclic-structured processes and restore deadlock freedom by using priorities. We show that our type system is sound by proving subject reduction and progress. We define an encoding from PCP to PGV and prove that the encoding preserves typing and is sound and complete with respect to the operational semantics.

关键词： Session types pi-calculus Functional programming Deadlock freedom GV CP

来源：评论

学校读者我要写书评

暂无评论

Towards CSCL Scripting by Example 16th

Towards CSCL Scripting by Example

引用

16th international conference on Intelligent Tutoring Systems (ITS)

作者： Papasalouros, Andreas Chatzimichalis, George Univ Aegean Karlovassi 83200 Greece

ISBN: (纸本)9783030496630;9783030496623

Computer Supported Collaborative Learning (CSCL) scripts are important strategies for organizing and conducting collaborative learning. A recent line of research aims at the specification of scripts with tools from formal logic and constraint satisfaction systems. this work proposes a novel inductive method for the automatic generation of formal descriptions of CSCL scripts from examples. the method has been successfully applied in the generation of formal descriptions of well-known scripts from the related literature and educational practice.

关键词： CSCL scripts Authoring tools logic-based formalism Scripting by example

来源：评论

学校读者我要写书评

暂无评论

AFFLOG: A logic Based Affective Tutoring System 16th

AFFLOG: A Logic Based Affective Tutoring System

引用

16th international conference on Intelligent Tutoring Systems (ITS)

作者： Dougalis, Achilles Plexousakis, Dimitris Univ Crete Comp Sci Dept Iraklion Greece Fdn Res & Technol Hellas Inst Comp Sci Iraklion Greece

ISBN: (纸本)9783030496630;9783030496623

In this work, the Affective logic (AFFLOG) Tutor is presented. An Affective Tutoring System that uses knowledge representation and reasoning tools such as Answer Set programming and the Event Calculus (EC) in order to represent the main components of the tutor. AI Planning is used to select individual parts of a given course material (tutorials) in order to build a specific course tailored to the needs of each user according to the user's learning preferences. this course can dynamically change during the teaching session responding to the user's mental and emotional states, providing affective support by offering praise, consolation or encouragement depending on the current emotion of the user. the design and a functioning implementation of the system is presented. As a proof of concept, a course on how to play the Settlers of Catan (c) board game was designed and implemented.

关键词： Affective Tutoring Systems Adaptive Learning Systems Answer Set programming Event Calculus

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：