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

11th international conference on Artificial General Intelligence, AGI 2018

ISBN: (纸本)9783319976754

The proceedings contain 29 papers. The special focus in this conference is on Artificial General Intelligence. The topics include: Unsupervised language learning in opencog;Functionalist emotion model in NARS;towards a sociological conception of artificial intelligence;efficient concept formation in large state spaces;DSO cognitive architecture: Implementation and validation of the global workspace enhancement;the foundations of deep learning with a path towards general intelligence;zeta distribution and transfer learning problem;Vision system for AGI: Problems and directions;semantic image retrieval by uniting deep neural networks and cognitive architectures;request confirmation networks in micropsi 2;the temporal singularity: Time-accelerated simulated civilizations and their implications;a computational theory for life-long learning of semantics;cumulative learning with causal-relational models;Transforming kantian aesthetic principles into qualitative hermeneutics for contemplative AGI agents;Towards general evaluation of intelligent systems: Using semantic analysis to improve environments in the AIQ test;Perception from an AGI perspective;a phenomenologically justifiable simulation of mental modeling;a time-critical simulation of language comprehension;how failure facilitates success;adaptive compressed search;task analysis for teaching cumulative learners;associative memory: An spiking neural network robotic implementation;A comprehensive ethical framework for AI entities: Foundations;partial operator induction with beta distributions;solving tree problems with category theory;goal-directed procedure learning;can machines design? An artificial general intelligence approach.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Autonomic Management of Reconfigurations in DPR FPGA-based embedded System

Autonomic Management of Reconfigurations in DPR FPGA-based E...

引用

international conference on High Performance Computing & simulation (HPCS)

作者： Soguy Mak-Karé Gueye Éric Rutten Jean-Philippe Diguet Univ. Grenoble Alpes Grenoble INP LIG Grenoble France CNRS LAB-STICC France

ISBN: (纸本)9781538678800

Implementing self-adaptive embedded systems, such as UAVs, involves an offline provisioning of the several implementations of the embedded functionalities with different characteristics in resource usage and performance in order for the system to dynamically adapt itself under uncertainties. FPGA-based architectures offer for support for high flexibility with dynamic reconfiguration features. We propose an autonomic control architecture for self-adaptive and self- reconfigurable FPGA-based embedded systems. The control architecture is structured in three layers: a mission manager, a reconfiguration manager and a scheduling manager. In this work we focus on the design of the reconfiguration manager. We propose a design approach using automata-based discrete control. It involves reactive programming that provides formal semantics, and discrete controller synthesis from declarative objectives.

关键词： Task analysis embedded systems Field programmable gate arrays computer architecture Hardware Control systems Programming

来源：评论

学校读者我要写书评

暂无评论

Editor’s Note: Special Issue on embedded computer systems: architectures, modeling and simulation

引用

international Journal of Parallel Programming 2018年第6期46卷 1184-1184页

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of Adaptive Signal Processing systems Using Markov Decision Processes 28

Design and Implementation of Adaptive Signal Processing Syst...

引用

28th IEEE international conference on Application-specific systems, architectures and Processors (ASAP)

作者： Li, Lin Sapio, Adrian E. Wu, Jiahao Liu, Yanzhou Lee, Kyunghun Wolf, Marilyn Bhattacharyya, Shuvra S. Univ Maryland ECE Dept College Pk MD 20742 USA Tampere Univ Technol Dept Elect & Commun Engn Tampere Finland Georgia Inst Technol Atlanta GA 30332 USA

ISBN: (纸本)9781509048250

In this paper, we propose a novel framework, called Hierarchical MDP framework for Compact System-level modeling (HMCSM), for design and implementation of adaptive embedded signal processing systems. The HMCSM framework applies Markov decision processes (MDPs) to enable autonomous adaptation of embedded signal processing under multidimensional constraints and optimization objectives. The framework integrates automated, MDP-based generation of optimal reconfiguration policies, dataflow-based application modeling, and implementation of embedded control software that carries out the generated reconfiguration policies. HMCSM systematically decomposes a complex, monolithic MDP into a set of separate MDPs that are connected hierarchically, and that operate more efficiently through such a modularized structure. We demonstrate the effectiveness of our new MDP-based system design framework through experiments with an adaptive wireless communications receiver.

关键词： Adaptation models Adaptive signal processing Adaptive systems Tools Receivers Stochastic processes

来源：评论

学校读者我要写书评

暂无评论

A software-defined architecture and prototype for disaggregated memory rack scale systems 17

A software-defined architecture and prototype for disaggrega...

引用

17th international conference on embedded computer systems: architectures, modeling, and simulation, SAMOS 2017

作者： Syrivelis, Dimitris Reale, Andrea Katrinis, Kostas Syrigos, Ilias Bielski, Maciej Theodoropoulos, Dimitris Pnevmatikatos, Dionisios N. Zervas, Georgios IBM Research Ireland University of Thessaly Greece Virtual Open Systems France Foundation of Research and Technology Hellas Greece University College London United Kingdom

ISBN: (纸本)9781538634370

Disaggregation and rack-scale systems have the potential of drastically increasing TCO and utilization of cloud datacenters, while maintaining performance. In this paper, we present a novel rack-scale system architecture featuring software-defined remote memory disaggregation. Our hardware design and operating system extensions enable unmodified applications to dynamically attach to memory segments residing on physically remote memory pools and use such remote segments in a byte-addressable manner, as if they were local to the application. Our system features also a control plane that automates software-defined dynamic matching of compute to memory resources, as driven by datacenter workload needs. We prototyped our system on the commercially available Zynq Ultrascale+ MPSoC platform. To our knowledge, this is the first time a software-defined disaggregated system has been prototyped on commercial hardware and evaluated through industry standard software benchmarks. Our initial results-using benchmarks that are artificially highly adversarial in terms of memory bandwidth-show that disaggregated memory access exhibits a round-trip latency of only 134 clock cycles;and a throughput penalty of as low as 55%, relative to locally-attached memory. We also discuss estimations as to how our findings may translate to applications with pragmatically milder memory aggressiveness levels, as well as innovation avenues across the stack opened up by our work. © 2017 IEEE.

关键词： Software prototyping

来源：评论

学校读者我要写书评

暂无评论

Agent and Multi-Agent systems: Technology and Applications 10th KES international conference, KES-AMSTA 2016 Puerto de la Cruz, Tenerife, Spain, June ...

引用

2018年

作者： Gordan Ježić Yun Heh Jessica Chen-Burger Robert J Howlett Lakhmi C Jain

ISBN: (纸本)9783319819884

The modern economy is driven by technologies and knowledge. Digital technologies can free, shift and multiply choices, often intruding on the space of other industries, by providing new ways of conducting business operations and creating values for customers and companies. The topics covered in this volume include software agents, multi-agent systems, agent modelling, mobile and cloud computing, big data analysis, business intelligence, artificial intelligence, social systems, computer embedded systems and nature inspired manufacturing, etc. that contribute to the modern Digital Economy. This volume highlights new trends and challenges in agent, new digital and knowledge economy research and includes 28 papers classified in the following specific topics: business process management, agent-based modeling and simulation, anthropic-oriented computing, learning paradigms, business informatics and gaming, digital economy, and advances in networked virtual enterprises. Published papers were selected for presentation at the 10th KES conference on Agent and Multi-Agent systems: Technologies and Applications (KES-AMSTA 2016) held in Puerto de la Cruz, Tenerife, Spain. Presented results would be of theoretical and practical value to researchers and industrial practitioners working in the fields of artificial intelligence, collective computational intelligence, innovative business models, new digital and knowledge economy and, in particular, agent and multi-agent systems, technologies, tools and applications.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Circuit and System Design Automation for Internet of Things

引用

IEEE TRANSACTIONS ON computer-AIDED DESIGN OF INTEGRATED CIRCUITS AND systems 2018年第1期37卷 3-6页

作者： Mohanty, Saraju P. Hueebner, Michael Xue, Chun Jason Li, Xin Li, Hai Univ North Texas Dept Comp Sci & Engn Denton TX 76203 USA Ruhr Univ Bochum Chair Embedded Syst Informat Technol Bochum Germany City Univ Hong Kong Dept Comp Sci Hong Kong Hong Kong Peoples R China Duke Univ Dept Elect & Comp Engn Durham NC USA

Internet-of-Things (IoT) is the technical backbone of smart cities which are envisioned to cope up with rapid urbanization of human population with limited resources. IoT provides three key features of smart cities such as intelligence, interconnection, and instrumentation. IoT is essentially a system-of-systems which can be considered as a configurable dynamic global network of networks. The main components of IoT include the following: 1) The Things; 2) Internet; 3) LAN; and 4) The Cloud. IoT is built by various diverse components including electronics, sensors, actuators, controllers, networks, firmware, and software. However, the existing electronics, controllers, and processors do not meet IoT requirements, such as multiple sensors, communication protocols, and security requirements. The existing computer-aided design (CAD) or electronic design automation tools are not enough to meet diverse challenges such as time-to-market, complexity, and cost of IoT. The required electronic circuits and systems need to be developed by handling and solving specific requirements. Real-time and ultralow power plays a major role since mobile devices in the IoT have to provide a long availability with a relative small energy budget. At the same time, reliability, availability, real-time constraints, and performance requirements pose significant challenges, and therefore, lead to a high interest in research. In this special issue, different approaches to design novel devices, circuits, and systems for solving the challenges with IoT are targeted. Various novel design automation components including modeling, design flows, simulation methods, and optimizations for designing of modern IoT are targeted, from system level down to device level. The current special issue was envisioned with the above technical considerations. After a rigorous review process, a set of articles were selected for this special issue. These papers are briefly discussed in the rest of the editorial.

关键词： Special issues and sections Internet of Things Design automation Smart buildings Smart cities

来源：评论

学校读者我要写书评

暂无评论

Compressing 3D-CNNs for Hardware-Efficient Object Classification in Video Streams

Compressing 3D-CNNs for Hardware-Efficient Object Classifica...

引用

international conference on Signals and Electronic systems, ICSES

作者： Maciej Wielgosz Matej Mertik AGH University of Science and Technology Krakow Poland Alma Mater Europaea Maribor Slovenia

This paper presents a set of methods for effective compression of 3D-CNN deep learning architectures with a particular focus on embedded platforms. Deep learning models are massive regarding the number of parameters, especially in video processing. Such memory consumption poses a challenge when it comes to efficient deployment to embedded devices. The authors applied a series of quantization and pruning techniques and showed that it is possible to significantly reduce an 80M-parameters-large deep learning model with a negligible (approx. 1 perc.) decrease in accuracy.

关键词： Task analysis Quantization (signal) computer architecture Computational modeling Training Optimization

来源：评论

学校读者我要写书评

暂无评论

Work-in-Progress: Impact of Graph Partitioning on SNN Placement for a Multi-Core Neuromorphic Architecture

Work-in-Progress: Impact of Graph Partitioning on SNN Placem...

引用

Proceedings of the international conference on Compilers, architectures and Synthesis for embedded systems (CASES)

作者： Francesco Barchi Gianvito Urgese Enrico Macii Andrea Acquaviva Department of Control and Computer Engineering Politecnico di Torino Italy

In this paper, we evaluate a partitioning and placement technique for mapping concurrent applications over a globally asynchronous locally synchronous (GALS) multi-core architecture designed for simulating a spiking neural network (SNN) in real-time. We designed a task placement pipeline capable of analysing the network of neurons and producing a placement configuration that enables a reduction of communication between computational nodes. The neuronto-core mapping problem has been formalised as a two phases problem: Partitioning and Placement. The Partitioning phase aims at grouping together the most connected network components, maximising the amount of self-connections within each identified group. For this purpose we used a multilevel k-way graph partitioning strategy capable of generating network-partitions. The Placement phase aims at placing groups of neurons over the chip mesh minimising the communication between computational nodes. For implementing this step, we designed and evaluate the performances of three placement variants. In the results, we point out the importance of using a partitioning algorithm for the SNN graph. We were able to achieve an increase in self-connections of 19% and an improvement of the final overall post-placement synaptic elongation of 29% using the simulated annealing placement technique, compared to 22% obtained without partitioning.

关键词： Neurons Sociology Statistics computer architecture Simulated annealing Program processors Brain modeling

来源：评论

学校读者我要写书评

暂无评论

A Model-Based Concept for RTOS Portability

A Model-Based Concept for RTOS Portability

引用

ACS/IEEE international conference on computer systems and Applications

作者： Renata Martins Gomes Marcel Baunach Graz University of Technology Graz Austria

The amount and diversity of connected computing platforms in the Internet of Things (IoT) is expected to increase exponentially throughout the next years, together with their dependability requirements. This imposes many challenges to software and hardware developers and calls for safe and secure real-time operating systems (RTOSs) that are portable to different or changing hardware. Middleware ports, including RTOS ports, must keep functional and non-functional behavior constant towards the application. Current middleware portability approaches for embedded systems, however, are arduous and error prone. We present a novel approach towards portability of embedded RTOSs based on the formal, hardware-independent and detailed specification of RTOS kernels. With additional models of relevant MCU properties and instruction set architectures (ISA), we are able to generate low level RTOS code for different target architectures. This paper focuses on the hardware-independent model of the context switch within a multi-tasking RTOS. With the general approach, we expect to (1) reduce the effort for maintaining and porting RTOS code, as well as the (2) likeliness for errors, (3) make it easier to test new kernel concepts during OS development, (4) improve security by modeling different levels of access permissions for memory or peripherals depending on the execution mode, and (5) improve safety by formally proving the correctness and consistency of the models.

关键词： Kernel Hardware Task analysis computer architecture Internet of Things

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：