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

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

High-speed migration by anticipative mobility

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2003年 2913卷 500-510页

作者： Stoops, Luk Verelst, Karsten Mens, Tom D'Hondt, Theo Department of Computer Science Programming Technology Laboratory Vrije Universiteit Brussel Belgium

In the advent of ambient intelligence, introducing ubiquitous mobile systems and services in general and mobile code in particular, network latency becomes a critical factor, especially in wireless, low-bandwidth environments. This paper investigates anticipative mobility, a high performance computing technique that exploits parallelism between loading and execution of applications to reduce network latency. The technique sends the mobile application code anticipative to the remote host, long before the actual migration is requested. Then, at the actual migration, we won't transfer the complete application anymore but only the delta of the current computational state with the already migrated computational state. Our experiments show that some applications can migrate in 2% of their original migration time. This allows applications to migrate very fast from host to host without a significant loss of execution time during the migration phase. © Springer-Verlag Berlin Heidelberg 2003.

关键词： Ambient intelligence

来源：评论

学校读者我要写书评

暂无评论

Experimental maternal treatment with dexamethasone during lactation induces neonatal testicular and epididymal oxidative stress;Implications for early postnatal exposure

引用

Pathophysiology 2017年第4期24卷 261-265页

作者： Jeje, S.O. Ola-Mudathir, F.K. Raji, Y. Laboratory for Reproductive Physiology and Developmental Programming Department of Physiology University of Ibadan Ibadan Nigeria Department of Physiology School of Health and Health Technology Federal University of Technology Akure Nigeria Department of Physical and Chemical Sciences Elizade University Ilara Mokin Ondo State Nigeria

Maternal treatment with dexamethasone during lactation alters reproductive functions and increases serum corticosterone in the male offspring. Excess corticosterone may induce oxidative stress. This study was designed to evaluate the effects of maternal treatment with dexamethasone during lactation on oxidative stress indices in the testis and epididymis of a male offspring. Twenty lactating dams were divided into 4 groups (n = 5). Group 1 was administered 0.02 ml/100 g/day normal saline subcutaneously at lactation days 1–21. Groups 2, 3, and 4 were administered 100 μg/kg/day dexamethasone (Dex) subcutaneously at lactation days (LD) 1–7, 1–14, and 1–21 respectively. Testis and epididymis malondialdehyde (MDA), catalase and superoxide dismutase (SOD) activities were measured as markers of oxidative stress. The mean testis and epididymis MDA were significantly raised (p < 0.05) in the dexamethasone-treated groups when compared with control. This was accompanied with a significant reduction (p < 0.05) in SOD and catalase activities in these tissues in the DexLD 1–21, when compared with control. The mean total protein level of the epididymis was significantly reduced (p < 0.05) in all the dexamethasone treated groups when compared with control. In conclusion, maternal treatment with dexamethasone during the first two weeks of lactation and throughout lactation may lead to increase in oxidative stress in the testis and epididymis of the male offspring of Wistar rats. © 2017 Elsevier B.V.

关键词： Antioxidant enzymes Dexamethasone Lactation Offspring

来源：评论

学校读者我要写书评

暂无评论

Real time process algebra

引用

Formal Aspects of Computing 1991年第2期3卷 142-188页

作者： Baeten, J.C.M. Bergstra, J.A. Department of Software Technology CWI AB Amsterdam 1009 Netherlands Programming Research Group University of Amsterdam DB Amsterdam 1009 Netherlands Department of Philosophy Utrecht University CS Utrecht 3584 Heidelberglaan 2 Netherlands

We describe an axiom system ACPp that incorporates real timed actions. Many examples are provided in order to explain the intuitive contents of the notation. ACPp is a generalisation of ACP. This implies that some of ... 详细信息

We describe an axiom system ACP_p that incorporates real timed actions. Many examples are provided in order to explain the intuitive contents of the notation. ACP_p is a generalisation of ACP. This implies that some of the axioms have to be relaxed and that ACP can be recovered as a special case from it. The purpose of ACP_p is to serve as a specification language for real time systems. The axioms of ACP_p explain its operational meaning in an algebraic form. © 1991 BCS.

关键词： ACP Process algebra Real time

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：