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

27th International Conference on Information Society and University Studies, IVUS 2022

作者： Erbey, Ali Barışçı, Necaattin Uşak University Distance Education Vocational School Department of Computer Programming Uşak Turkey Gazi University Faculty of Technology Department of Computer Engineering Ankara Turkey

We investigated the process of unsupervised generative learning and the structure of informative generative representations of images of handwritten digits (MNIST dataset). Learning models with the architecture of sparse convolutional autoencoder with constraints to produce low-dimensional representations achieved successful generative learning demonstrated by high accuracy of generation of images. A well-defined, continuous and connected structure of generative representations was observed and described. Structured informative representations of unsupervised generative models can be an effective platform for investigation of origins of intelligent behaviors in artificial and biological learning systems. © 2022 Copyright for this paper by its authors.

关键词： Neural networks

来源：评论

学校读者我要写书评

暂无评论

Resource-aware programming and simulation of MPSoC architectures through extension of X10 11

Resource-aware programming and simulation of MPSoC architect...

引用

Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems

作者： Hannig, Frank Roloff, Sascha Snelting, Gregor Teich, Jürgen Zwinkau, Andreas Hardware/Software Co-Design Department of Computer Science University of Erlangen Nuremberg Germany Programming Paradigms Group Karlsruhe Institute of Technology - KIT Germany

ISBN: (纸本)9781450307635

The efficient use of future MPSoCs with f 000 or more processor cores requires new means of resource-aware programming to deal with increasing imperfections such as process variation, fault rates, aging effects, and power as well as thermal problems. In this paper, we apply a new approach called invasive computing that enables an application programmer to spread computations to processors deliberately and on purpose at certain points of the program. Such decisions can be made depending on the degree of application parallelism and the state of the underlying resources such as utilization, load, and temperature. The introduced programming constructs for resource-aware programming are embedded into the parallel computing language X10 as developed by IBM using a library-based approach. Moreover, we show how individual heterogeneous MPSoC architectures may be modeled for subsequent functional simulation by defining compute resources such as processors themselves by lightweight threads that are executed in parallel together with the application threads by the X10 run-time system. Thus, the state changes of each hardware resource may be simulated including temperature, aging, and other useful monitor functionality to provide a first high-level programming test-bed for invasive computing. Copyright © 2011 ACM.

关键词： Parallel processing systems

来源：评论

学校读者我要写书评

暂无评论

Evaluating Keyphrase Extraction Methods for Clustering Influenza-Related Scientific Papers 8

Evaluating Keyphrase Extraction Methods for Clustering Influ...

引用

8th International Iranian Conference on Signal Processing and Intelligent Systems, ICSPIS 2022

作者： Forghani, Majid Firstkov, Artyom Alyannezhadi, Mohammad. M. Forghani, Kazem Krasovskii Institute of Mathematics & Mechanics Mathematical Programming Lab. Yekaterinburg Russia University of Science and Technology of Mazandaran Department of Science Behshahr Iran Iran University of Science and Technology Computer Science Department Tehran Iran

ISBN: (纸本)9781665476232

The number of annual scientific publications is growing year by year, which has led to the accumulation and formation of large databases. This increases the complexity of the search for relevant articles. Modern search engines leverage keyphrases to improve the performance of search results. Keyphrases (or keywords) are a set of single or multi-word expressions which provide a very compact summary of contents and describe the overall topic of a document. Implementation of keyphrase extraction can be varied for specific-domain databases. This motivated us to evaluate these methods on a database of influenza scientific literature. In this work, we considered 9 well known methods for extracting keyphrases. Our preliminary results show txhat graph-based methods which employ topics outperform others using our database. We also determined that influenza-related papers can be grouped into three general topics: public health & medical care;molecular biology & immunology;and phylogenetic & epidemiological studies. © 2022 IEEE.

关键词： Database systems

来源：评论

学校读者我要写书评

暂无评论

Deadlock behaviour in split and ST bisimulation semantics

Deadlock behaviour in split and ST bisimulation semantics

引用

EXPRESS '98, Fifth International Workshop on Expressiveness in Concurrency (Satellite Workshop of CONCUR '98)

作者： Baeten, J.C.M. Bergstra, J.A. Department of Mathematics and Computing Science Eindhoven University of Technology Eindhoven Netherlands Programming Research Group University of Amsterdam Amsterdam Netherlands Department of Philosophy Utrecht University Utrecht Netherlands

We investigate split and ST bisimulation semantics, in particular the deadlock behaviour of processes in these semantics. We define and axiomatise a variant of ACP, where atomic actions and durational actions coexist, and define split and ST bisimulation semantics on this theory. We exhibit a closed term that has a deadlock in split semantics, but not in ST bisimulation semantics, and vice versa: a closed term that has a deadlock in ST bisimulation semantics but not in split semantics. As an application, we investigate different versions of durational communication. ©1998 Published by Elsevier Science B.V.

关键词： Computational methods

来源：评论

学校读者我要写书评

暂无评论

Evolutionary Algorithm for Calculating the Optimal Temperature Regime of the Catalytic Process 5

Evolutionary Algorithm for Calculating the Optimal Temperatu...

引用

5th International Conference on Control Systems, Mathematical Modeling, Automation and Energy Efficiency, SUMMA 2023

作者： Antipina, Evgenia Mustafina, Svetlana Antipin, Andrey Ufa University of Science and Technology Department of Scientific Research Ufa Russia Ufa University of Science and Technology Faculty of Mathematics and Information Technologies Ufa Russia Sterlitamak Branch of Ufa University of Science and Technology Department of Applied Informatics and Programming Sterlitamak Russia

ISBN: (纸本)9798350309126

The paper formulates an algorithm for searching the optimal temperature regime of the catalytic process in an ideal mixing reactor. The problem of optimal control of the catalytic process is formulated in a general form. To find its numerical solution, an algorithm based on the method of differential evolution is described. The algorithm allows to obtain an approximate solution of the optimization problem in a time acceptable from the practical point of view. A computational experiment for the dimerization process of alphamethylstyrene is carried out. The optimal temperature profile for achieving the maximum yield of reaction products - linear dimers - is obtained. © 2023 IEEE.

关键词： Evolutionary algorithms

来源：评论

学校读者我要写书评

暂无评论

Transactional programming in a multi-core environment 07

Transactional programming in a multi-core environment

引用

2007 ACM SIGPLAN Symposium on Principles and Practice of Parallel programming, PPoPP'07

作者： Adl-Tabatabai, Ali-Reza Kozyrakis, Christos Saha, Bratin Programming Systems Lab. Microprocessor Technology Lab. Intel Corporation Computer Systems Lab. Electrical Engineering Department Stanford University

ISBN: (纸本)1595936025

With single thread performance starting to plateau, HW architects have turned to chip level multiprocessing (CMP) to increase processing power. All major microprocessor companies are aggressively shipping multi-core products in the mainstream computing market. Moore's law will largely be used to increase HW thread-level parallelism through higher core counts in a CMP environment. CMPs bring new challenges into the design of the software system stack. In this tutorial, we talk about the shift to multi-core processors and the programming implications. In particular, we focus on transactional programming. Transactions have emerged as a promising alternative to lock-based synchronization that eliminates many of the problems associated with lock-based synchronization. We discuss the design of both hardware and software transactional memory and quantify the tradeoffs between the different design points. We show how to extend the Java and C languages with transactional constructs, and how to integrate transactions with compiler optimizations and the language runtime (e.g., memory manager and garbage collection).

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Modular Fault Diagnosis in Fixed-Block Railway Signaling Systems

引用

IFAC-PapersOnLine 2016年第3期49卷 459-464页

作者： Durmus, Mustafa S. Ustoglu, lker Tsarev, Roman Y. Schwarz, Michael Electrical and Electronics Engineering Department Pamukkale University Denizli Turkey Control and Automation Engineering Department Yildiz Technical University Istanbul Turkey Institute of Space and Information Technology Siberian Federal University Krasnoyarsk Russia Computer Architecture and System Programming Kassel University Kassel Germany

The diagnosis of possible faults in railway signaling systems is an important issue to provide safe travel and transportation in railways. Signaling system designers have to consider the possible faults which may occur in railway field components both on the requirements preparation phase and on the development phase of the signaling system software or namely, the interlocking system. Although the diagnosis of different unobservable faults is relatively hard, especially for large scale railway fields, this complexity can be overcome by using the Discrete Event System (DES) based modular diagnosis approach which is explained in this paper. The main advantage of using such modular approach for fault diagnosis in fixed-block signaling systems is the inspection of the diagnosability of the whole system with respect to its subsystems (railway field components). In this study, the diagnosability of the railway field equipment and the whole system is also explained with a case study. © 2016

关键词： Fault detection Discrete event simulation Failure analysis Railroad signal systems Railroads Signaling Development phase Field components Field equipment Fixed block signaling Interlocking systems Modular approach Railway signaling systems Signaling systems

来源：评论

学校读者我要写书评

暂无评论

LearnLib: A framework for extrapolating behavioral models

引用

International Journal on Software Tools for technology Transfer 2009年第5期11卷 393-407页

作者： Raffelt, Harald Steffen, Bernhard Berg, Therese Margaria, Tiziana Department of Programming Systems TU Dortmund Otto-Hahn-Str. 14 44227 Dortmund Germany Department of Information Technology Uppsala University 751 05 Uppsala Sweden Department of Services and Software Engineering Universität Potsdam August-Bebel-Str. 89 14482 Potsdam Germany

In this paper, we present the LearnLib, a library of tools for automata learning, which is explicitly designed for the systematic experimental analysis of the profile of available learning algorithms and corresponding optimizations. Its modular structure allows users to configure their own tailored learning scenarios, which exploit specific properties of their envisioned applications. As has been shown earlier, exploiting application-specific structural features enables optimizations that may lead to performance gains of several orders of magnitude, a necessary precondition to make automata learning applicable to realistic scenarios. © Springer-Verlag 2009.

关键词： Learning algorithms

来源：评论

学校读者我要写书评

暂无评论

Coordination language for distributed clean

Coordination language for distributed clean

引用

作者： Horváth, Zoltán Hernyák, Zoltán Zsók, Viktória Department of Programming Languages and Compilers Eötvös Loránd University Hungary Department of Information Technology Eszterházy Károly College Hungary

The distributed evaluation of functional programs and the communication between computational nodes require high-level process description and coordination mechanism. This paper presents the D-Clean high-level functional language, which supports the distributed computation of Clean functions over a cluster. The lazy functional programming language Clean is extended by new language elements in order to achieve parallel features. The distributed computations of functions are expressed in the form of process-networks. D-Clean introduces language primitives to control the dataflow in a distributed process-network. A process scheme defines a partial computation graph, where the nodes are functions to be evaluated and the edges are communication channels. The computational nodes are implemented as statically typed Clean programs. The schemes are parameterized by functions, types and data for defining process networks. D-Clean is compiled to an intermediate level language called D-Box. The D-Clean generic constructs are instantiated into D-Box expressions. D-Box is designed for the description of the computational nodes. D-Box expressions hide implementation details and enable direct control over the process-network. The asynchronous communication is based on language-independent middleware services. The present paper provides the syntax and the informal semantics of both coordination languages. To illustrate the definition of a distributed functional computational pattern using the D-Clean language a farm skeleton running example is presented.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Multicore Software Engineering, Performance, and Tools 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Victor Pankratius Michael Philippsen

ISBN: (数字)9783642312021

ISBN: (纸本)9783642312014

This book constitutes the refereed proceedings of the International Conference on Multiscore Software Engineering, Performance, and Tools, MSEPT 2012, held in Prague in May/June 2012. The 9 revised papers, 4 of which are short papers were carefully reviewed and selected from 24 submissions. The papers address new work on optimization of multicore software, program analysis, and automatic parallelization. They also provide new perspectives on programming models as well as on applications of multicore systems.

关键词： Special Purpose and Application-Based Systems System Performance and Evaluation Software Engineering programming Languages, Compilers, Interpreters Operating Systems programming Techniques

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：