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

2013 2nd International Conference on Key engineering Materials and computer Science(KEMCS 2013)

作者： Meruyert Berdiyeva Aiman Ospanova Мohamed Othman Department of Computer engineering and Software programming South Kazakhstan State University Dept of Communication Technology and Network Universiti Putra Malaysia

In the conditions of industrial production many processes of polymerisation are nonstationary. By processes optimization with the regard for such features as basic data it is necessary to use adaptive algorithms of identification, allowing mathematical model of process continuously to be adapted for changing conditions of operation. Use of such algorithms for process optimization demands periodic recalculation of optimum technological modes of process. Polymer reaction engineering is a discipline that deals with various problems concerning the fundamental nature of chemical and physical phenomena in polymerization processes. Mathematical modeling is a powerful tool for the development of process understanding and advanced reactor technology in the polymer industry.

关键词： industrial processes polymerisattion chemical reactors technological parameters-temperature and conversion the optimization problem

来源：评论

学校读者我要写书评

暂无评论

Model-based dynamic optimization with openmodelica and CasADi

Model-based dynamic optimization with openmodelica and CasAD...

引用

7th IFAC Symposium on Advances in Automotive Control, AAC 2013

作者： Shitahun, Alachew Ruge, Vitalij Gebremedhin, Mahder Bachmann, Bernhard Eriksson, Lars Andersson, Joel Diehl, Moritz Fritzson, Peter PELAB-Programming Environment Lab Dept. Computer Science Linköping University SE-581 83Linköping Sweden Dept. Mathematics and Engineering University of Applied Sciences D-33609 Bielefeld Germany Vehicular Systems Dept. Electrical Engineering Linköping University SE-581 83 Linköping Sweden K.U. Leuven Belgium

ISBN: (纸本)9783902823434

This paper demonstrates model-based dynamic optimization through the coupling of two open source tools: OpenModelica, which is a Modelica-based modeling and simulation platform, and CasADi, a framework for numerical optimization. The coupling uses a standardized XML format for exchange of differential-algebraic equations (DAE) models. OpenModelica supports export of models written in Modelica and the optimization language extension using this XML format, while CasADi supports import of models represented in this format. This allows users to define optimal control problems (OCP) using Modelica and optimization language specification, and solve the underlying model formulation using a range of optimization methods, including direct collocation and direct multiple shooting. The proposed solution has been tested on several industrially relevant optimal control problems, including a dieselelectric power train.

关键词： Optimization

来源：评论

学校读者我要写书评

暂无评论

PartialRC: A Partial Recomputing Method for Efficient Fault Recovery on GPGPUs

引用

Journal of computer Science & Technology 2012年第2期27卷 240-255页

作者：徐新海杨学军薛京灵林宇斐林一松 National Laboratory for Parallel and Distributed Processing School of ComputerNational University of Defense Technology Programming Languages and Compilers Group School of Computer Science and Engineering University of New South Wales

GPGPUs are increasingly being used to as performance accelerators for HPC （High Performance Computing） applications in CPU/GPU heterogeneous computing systems, including TianHe-1A, the world＇s fastest supercomputer in the TOP500 list, built at NUDT （National University of Defense Technology） last year. However, despite their performance advantages, GPGPUs do not provide built-in fault-tolerant mechanisms to offer reliability guarantees required by many HPC applications. By analyzing the SIMT （single-instruction, multiple-thread） characteristics of programs running on GPGPUs, we have developed PartialRC, a new checkpoint-based compiler-directed partial recomputing method, for achieving efficient fault recovery by leveraging the phenomenal computing power of GPGPUs. In this paper, we introduce our PartialRC method that recovers from errors detected in a code region by partially re-computing the region, describe a checkpoint-based faulttolerance framework developed on PartialRC, and discuss an implementation on the CUDA platform. Validation using a range of representative CUDA programs on NVIDIA GPGPUs against FullRC （a traditional full-recomputing Checkpoint-Rollback-Restart fault recovery method for CPUs） shows that PartialRC reduces significantly the fault recovery overheads incurred by FullRC, by 73.5% when errors occur earlier during execution and 74.6% when errors occur later on average. In addition, PartialRC also reduces error detection overheads incurred by FullRC during fault recovery while incurring negligible performance overheads when no fault happens.

关键词： GPGPU partial recomputing fault tolerance CUDA checkpointing

来源：评论

学校读者我要写书评

暂无评论

Static memory leak detection using full-sparse value-flow analysis

Static memory leak detection using full-sparse value-flow an...

引用

21st International Symposium on Software Testing and Analysis, ISSTA 2012

作者： Sui, Yulei Ye, Ding Xue, Jingling Programming Languages and Compilers Group School of Computer Science and Engineering UNSW Australia

ISBN: (纸本)9781450314541

We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent advances on sparse pointer analysis, Saber is the first to use a full-sparse value-flow analysis for leak detection. Saber tracks the flow of values from allocation to free sites using a sparse value-flow graph (SVFG) that captures def-use chains and value flows via assignments for all memory locations represented by both top-level and address-taken pointers. By exploiting field-, flow- and context-sensitivity during different phases of the analysis, Saber detects leaks in a program by solving a graph reachability problem on its SVFG. Saber, which is fully implemented in Open64, is effective at detecting 211 leaks in the 15 SPEC2000 C programs and five applications, while keeping the false positive rate at 18.5%. We have also compared Saber with Fastcheck (which analyzes allocated objects flowing only into top-level pointers) and Sparrow (which handles all allocated objects using abstract interpretation) using the 15 SPEC2000 C programs. Saber is as accurate as Sparrow but is 14.2X faster and reports 40.7% more bugs than Fastcheck at a slightly higher false positive rate but is only 3.7X slower. © 2012 ACM.

关键词： Flow graphs

来源：评论

学校读者我要写书评

暂无评论

Model-Based Dynamic Optimization with OpenModelica and CasADi

引用

IFAC Proceedings Volumes 2013年第21期46卷 446-451页

作者： Alachew Shitahun Vitalij Ruge Mahder Gebremedhin Bernhard Bachmann Lars Eriksson Joel Andersson Moritz Diehl Peter Fritzson PELAB-Programming Environment Lab Dept. Computer Science Linköping University SE-581 83 Linköping Sweden Dept. Mathematics and Engineering University of Applied Sciences D-33609 Bielefeld Germany Vehicular Systems Dept. Electrical Engineering Linköping University SE-581 83 Linköping Sweden Dept. of Electrical Engineering and Optimization in Engineering Center (OPTEC) K.U. Leuven Belgium

关键词： Modelica OpenModelica model-based optimization dynamic optimization CasADi

来源：评论

学校读者我要写书评

暂无评论

Comparision of Multi-Carrier Techniques in Seven-Level Asymmetric Cascade Multilevel Inverter

Comparision of Multi-Carrier Techniques in Seven-Level Asymm...

引用

International Conference on Power engineering, Energy and Electrical Drives

作者： Ilhami COLAK Ersan KABALCI Gokhan KEVEN Faculty of Technology Department of Electric & Electronic Engineering Gazi University Ankara Turkey Faculty of Engineering & Architecture Dep. of Electrical & Electronic Eng. Nevsehir University Nevsehir Turkey Vocational College of Haci Bekta? Veli Dep. of Computer Programming Nevsehir University Nevsehir Turkey

ISBN: (纸本)9781467363914

The multilevel inverters (MLIs) are classified into three topologies such as Diode Clamped, Flying Capacitor and Cascade Multilevel Inverter (CMLI). CMLI topologies include two kind of structure that is named symmetric and asymmetric topologies. Asymmetric Cascade MLI (ACMLI) topologies consist of unequal DC sources. Many modulation techniques have been used in ACMLI topology such as Multi-Carrier PWM (MC-PWM), Space Vector PWM and Selective Harmonic PWM. The MC-PWM technique is achieved by four different types. In this study, MC-PWM techniques which are named Phase Disposition PWM, Phase Opposition Disposition PWM, Alternate Phase Opposition Disposition PWM and Phase Shifted PWM have been compared. It is uncovered that Phase Opposition Disposition PWM technique is more convenient in terms of Total Harmonic Distortion of output voltage and current signals and in terms of the quality of power factor in ACMLI which is performed in this study.

关键词： asymmetric cascade multilevel inverter multi carrier PWM THD frequency index power factor

来源：评论

学校读者我要写书评

暂无评论

A stochastic approach to the probability of failure on demand (PFD) with regard to the standard IEC 61508

A stochastic approach to the probability of failure on deman...

引用

11th International Probabilistic Safety Assessment and Management Conference and the Annual European Safety and Reliability Conference 2012, PSAM11 ESREL 2012

作者： Wacker, H.D. Ugljesa, E. Boercsoek, J. Department of Computer Architecture and System Programming Faculty of Electrical Engineering /Computer Science University Kassel Wilhelmshöher Allee 71 Germany

ISBN: (纸本)9781622764365

Let there be given a safety related electronic system suffering from random failures or errors. The standard IEC 61508 contains simplified equations for the probability of failure on demand PFDavg for special system architectures, mostly without proof. In various publications PFDavg is defined by several different equations, e.g. as a Laplacian probability, as an integral mean, or by means of the average failure rate of the system. The aim of the paper is to determine PFDavgby stochastic methods and to bring together the different definitions. A formula for PFDavg is given that is valid for most universal electronic systems. The equivalence of 2 different definitions of PFDavgis shown. The special case of a koon-System is investigated, and the resulting equations improve those known so far. The basic idea is to randomize the time to failure, the down time of the system, as well as the repair time, and then, by means of the Stieltjes-Integral, determine the mean or average time as the expectation of the respective random variable.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Cross-language code analysis and refactoring

Cross-language code analysis and refactoring

引用

2012 IEEE 12th International Working Conference on Source Code Analysis and Manipulation, SCAM 2012

作者： Mayer, Philip Schroeder, Andreas Department of Programming and Software Engineering Institute for Computer Science Ludwig-Maximilians-Universität München Germany

ISBN: (纸本)9780769547831

Software composed of artifacts written in multiple (programming) languages is pervasive in today's enterprise, desktop, and mobile applications. Since they form one system, artifacts from different languages reference one another, thus creating what we call semantic cross-language links. By their very nature, such links are out of scope of the individual programming language, they are ignored by most language-specific tools and are often only established - and checked for errors - at runtime. This is unfortunate since it requires additional testing, leads to brittle code, and lessens maintainability. In this paper, we advocate a generic approach to understanding, analyzing and refactoring cross-language code by explicitly specifying and exploiting semantic links with the aim of giving developers the same amount of control over and confidence in multi-language programs they have for single-language code today. © 2012 IEEE.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

A Hybrid Circular Queue Method for Iterative Stencil Computations on GPUs

引用

Journal of computer Science & Technology 2012年第1期27卷 57-74页

作者： Yang Yang Hui-Min Cui Xiao-Bing Feng Jing-Ling Xue State Key Laboratory of Computer Architecture Institute of Computing TechnologyChinese Academy of Sciences Beijing 100190China Graduate University of Chinese Academy of Sciences Beijing 100190China Programming Languages and Compilers Group School of Computer Science and Engineering University of New South WalesSydneyNSW 2052Australia

In this paper, we present a hybrid circular queue method that can significantly boost the performance of stencil computations on GPU by carefully balancing usage of registers and shared-memory. Unlike earlier methods that rely on circular queues predominantly implemented using indirectly addressable shared memory, our hybrid method exploits a new reuse pattern spanning across the multiple time steps in stencil computations so that circular queues can be implemented by both shared memory and registers effectively in a balanced manner. We describe a framework that automatically finds the best placement of data in registers and shared memory in order to maximize the performance of stencil computations. Validation using four different types of stencils on three different GPU platforms shows that our hybrid method achieves speedups up to 2.93X over methods that use circular queues implemented with shared-memory only.

关键词： stencil computation circular queue GPU occupancy register

来源：评论

学校读者我要写书评

暂无评论

SnuCL: An OpenCL framework for heterogeneous CPU/GPU clusters 12

SnuCL: An OpenCL framework for heterogeneous CPU/GPU cluster...

引用

26th ACM International Conference on Supercomputing, ICS'12

作者： Kim, Jungwon Seo, Sangmin Lee, Jun Nah, Jeongho Jo, Gangwon Lee, Jaejin Center for Manycore Programming School of Computer Science and Engineering Seoul National University Seoul 151-744 Korea Republic of

ISBN: (纸本)9781450313162

In this paper, we propose SnuCL, an OpenCL framework for heterogeneous CPU/GPU clusters. We show that the original OpenCL semantics naturally fits to the heterogeneous cluster programming environment, and the framework achieves high performance and ease of programming. The target cluster architecture consists of a designated, single host node and many compute nodes. They are connected by an interconnection network, such as Gigabit Ethernet and InfiniBand switches. Each compute node is equipped with multicore CPUs and multiple GPUs. A set of CPU cores or each GPU becomes an OpenCL compute device. The host node executes the host program in an OpenCL application. SnuCL provides a system image running a single operating system instance for heterogeneous CPU/GPU clusters to the user. It allows the application to utilize compute devices in a compute node as if they were in the host node. No communication API, such as the MPI library, is required in the application source. SnuCL also provides collective communication extensions to OpenCL to facilitate manipulating memory objects. With SnuCL, an OpenCL application becomes portable not only between heterogeneous devices in a single node, but also between compute devices in the cluster environment. We implement SnuCL and evaluate its performance using eleven OpenCL benchmark applications. Copyright 2012 ACM.

关键词： Program processors

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：