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

An Analysis of Haskell Parallel Programming Model in the HaLVM

Journal of Physics: Conference Series 2020年第1期1566卷

作者： Junseok Cheon Yeoneo Kim Taekwang Hur Sugwoo Byun Gyun Woo Dep. of Electrical and Computer Engineering Pusan National University Dep. of Computer Science Kyungsung University Smart Control Center of LG Electronics

Recently, cloud computers are widely used due to the development of computing environment and network speed. Unikernel is considered to be an attractive operating system in the manycore environment that effectively provides cloud computers. HalVM is a unikernel coded in Haskell. In this paper, we analyze the performance of Haskell running in a unikernel, which has shown good parallel programming performance in a manycore environment. In this paper, we analyze the performance of Haskell running in a unikernel, while Haskell has shown good performance in a manycore environment. To do this, we select HaLVM as the target operating system and analyze the performance by testing various Haskell parallel programming models. Test result shows that HaLVM is scalable only on IVC. We also implement a library to make programming with IVC more convenient, and use this library to compare extensibility experiments. Our test shows HaLVM's scalability is 112.42% higher than Linux environment.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Dynamic process scheduling using genetic algorithm

Dynamic process scheduling using genetic algorithm

引用

2017 Annual Conference on New Trends in Information and Communications Technology Applications, NTICT 2017

作者： Hussein, Qasim Mohammed Hasoon, Armaneesa Naaman Control and Computer Engineering Dep. Tikrit University Tikrit Iraq Computer Sciences Dep. Tikrit University Tikrit Iraq

ISBN: (纸本)9781538629628

There is a necessity to schedule the system and user processes by the operating system to getting maximum utilization of the CPU and obtaining high throughput. This paper presents a dynamic scheduling algorithm that make use of genetic algorithm operations for scheduling multi non-preemptive task on uniprocessor system to get minimum average waiting time and average turnaround time. The algorithm dep.nd on construct fitness function that take in its consideration the dead time of process to avoid the starvation problem, in addition to obtaining maximum throughput. The results from proposed algorithm simulation by matlab (8.3) illustrates the successful of this method to obtain optimal result by giving the minimum average turnaround time for executing the given processes. © 2017 IEEE.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

A Gaussian Process Regression for Natural Gas Consumption Prediction Based on Time Series Data

A Gaussian Process Regression for Natural Gas Consumption Pr...

引用

International Conference on Information Fusion

作者： Oussama Laib Mohamed Tarek Khadir Lyudmila Mihaylova Dep. of Computer Science University of Badji Mokhtar Annaba (UBMA) Annaba Algeria Dep. of Automatic Control and Systems Engineering (ACSE) University of Sheffield Sheffield UK

For several economical, financial and operational reasons, forecasting energy demand becomes a key instrument in energy system management. This paper develops a natural gas forecasting approach, which consists of two major phases: 1) it classifies the natural gas consumption daily pattern sequences into different groups with similar attributes. 2) the design and training of multiple autoregressive Gaussian Process models phase is carried out using the Algerian natural gas market data together with exogenous inputs consisting in weather (temperature) and calendar (day of the week, hour indicator) factors. The main novelty in this work consists of the investigation of multiple different clustering techniques for better analysis and clustering of natural gas consumption data. The impact of the obtained clusters, by each technique, is then summarized and evaluated with respect to the prediction accuracy.

关键词： Natural gas Forecasting Gaussian processes Load modeling Predictive models Clustering methods Kernel

来源：评论

学校读者我要写书评

暂无评论

Towards autonomous reconfiguration in distribution networks: An approach based on finite state automaton models

Towards autonomous reconfiguration in distribution networks:...

引用

2017 Energy and Sustainability in Small Developing Economies, ES2DE 2017

作者： Košt'álová, Alena Carvalho, Pedro M. S. Kubalčík, Marek Dep. of Computer and Communication Systems Tomas Bata University in Zlin Czech Republic Electrical Engineering and Computer Dep. Instituto Superior Tecnico Lisbon Portugal Department of Process Control Tomas Bata University in Zlin Czech Republic

ISBN: (纸本)9781538620663

The demand on distribution network reconfiguration abilities is increasing. This paper proposes a Finite State Automaton model of a distribution network that deals with topologically safe reconfiguration. Autonomous operation of distribution networks can be designed, analysed and implemented in day-to-day operation with the aid of these automata: through supervisory control. Two approaches to supervisor design are proposed. One for the normal operating mode and the other for the contingency mode. Simple and comprehensive examples illustrate the approaches. © 2017 IEEE.

关键词： Topology

来源：评论

学校读者我要写书评

暂无评论

Towards autonomous reconfiguration in distribution networks: An approach based on finite state automaton models

Towards autonomous reconfiguration in distribution networks:...

引用

International Conference in Energy and Sustainability in Small Developing Economies (ES2DE)

作者： Alena Košťálová Pedro M. S. Carvalho Marek Kubalčík Dep. of Computer and Communication Systems Tomas Bata University in Zlin Czech Republic Electrical Engineering and Computer Dep. Instituto Superior Tecnico Lisbon Portugal Department of Process Control Tomas Bata University in Zlin Czech Republic

关键词： Switches Automata Power cables Substations Electronic mail Power system reliability

来源：评论

学校读者我要写书评

暂无评论

Wavelet transform based technique for text image localization

引用

Karbala International Journal of Modern Science 2016年第2期2卷 138-144页

作者： Ali, Suhad A. Hashim, Ashwaq T. Babylon University Science College for Women Computer Science Dep. Babylon Iraq Technology University Control and Systems Engineering Dep. Baghdad Iraq

In this paper, a robust technique based on discrete wavelet transform, edge detection, and morphology operation for scene text detection is proposed. There are several stages in the proposed method. In the first stage, a single wavelet decomposition LH, HL and HH subbands are applied for detecting edges in original scene text image. The projection technique is applied in the second stage to preliminary detect text and non-text pixels. In third stage, 4-connected components are applied, and then area geometric feature is used as threshold to remove non-text region. At last stage, morphological operations are applied to connect isolated text components and to remove non-text regions. The proposed method is applied on a various images such as images of low contrast, complex background images and images of different fonts and size of text. The experimental results show that the proposed method can detect regions of the text perfectly. © 2016 The Authors

关键词： Connected components DWT Image projection Morphological operator

来源：评论

学校读者我要写书评

暂无评论

Learning analytics trends and challenges in engineering education: SNOLA special session

Learning analytics trends and challenges in engineering educ...

引用

2018 IEEE Global engineering Education Conference - Emerging Trends and Challenges of engineering Education, EDUCON 2018

作者： Rodriguez, Manuel Caeiro Gonzalez, Miguel Angel Conde Alvarez, Ainhoa Larranaga, Mikel Mones, Alejandra Martinez Munoz-Merino, Pedro J. Hernandez-Garcia, Angel Pastor, Rafael Cruz-Benito, Juan Munoz, Salvador Ros Guenaga, Mariluz Departamento de Enxeñaría Telemática Universidade de Vigo Vigo Spain Área de Arquitectura y Tecnología de Computadores Universidad de León Spain Departamento de Lenguajes y Sistemas Informáticos Euskal Herriko Unibersitatea UPV/EHU Spain Departamento de Informática Universidad de Valladolid Spain Departamento de Ingeniería Telemática Universidad Carlos III de Madrid Spain Dep. Ing. de Organización Adm. de Empresas y Estadística Universidad Politécnica de Madrid Spain Departamento de Sistemas de Comunicación y Control Universidad Nacional de Educación A Distancia Spain GRIAL Research Group Computer Science Department University of Salamanca Spain Faculty of Engineering Universidad de Deusto Spain

ISBN: (纸本)9781538629574

SNOLA is a Thematic Network of Excellence recognized by the Spanish Ministry of Economy and Competitiveness composed of the main Spanish researchers in the field of learning analytics. This network emerged in 2013 focusing mainly on the technology underlying learning analytics development, but also interested on the integration of other views and disciplines that give the network a wider scope. During these years, SNOLA has carry out numerous actions with the goal of promoting the collaboration on this field, the diffusion of knowledge and initiatives, the collection of resources and the provision of broad support. Remarkable examples of these efforts have been LASI Spain events, workshops at TEEM conferences or the numerous webinars. In this case, the EDUCON 2018 has given us the opportunity to organize this special session where 5 papers have been selected for presentation. © 2018 IEEE.

关键词： Learning systems

来源：评论

学校读者我要写书评

暂无评论

The effects of machining strategies of magnetic assisted roller burnishing on the resulted surface structure

引用

IOP Conference Series: Materials Science and engineering 2018年第1期448卷

作者： Zsolt Kovács Zsolt János Viharos János Kodácsy John von Neumann University GAMF Faculty of Engineering and Computer Science Dep. of Vehicle Technology Kecskemét H-6000 Hungary Department of Manufacturing Science and Technology Budapest University of Technology and Economics Budapest H-1111 Hungary Institute for Computer Science and Control of the Hungarian Academy of Sciences Kende u. 13-17 Budapest H-1111 Hungary John von Neumann University Faculty of Economics and Business Department of Economics and Law Kecskemét H-6000 Hungary

The aim of this paper is to investigate the effect of different burnishing strategy on a C45 steel machining. Burnishing is a well-known, cold working surface improving technology, it is usually applied for cylindrical workpiece. In the reported research a novel developed magnetic assisted ball burnishing (MABB) tool was applied which was designed for MABB machining of flat and harmonic surfaces. To increase its efficiency, different types of machining strategies were applied. After the burnishing process the machined surfaces were measured by surface roughness tester to determine the most important Rsk and Rku tribological parameters. According to the results it can be stated that all different burnishing strategies have special application areas where they can be used efficiently (e.g. sliding surface, moulding tool and after- or pre-machining for ultra-precision machining).

关键词：

来源：评论

学校读者我要写书评

暂无评论

RIIF-2: Toward the next generation reliability information interchange format

RIIF-2: Toward the next generation reliability information i...

引用

IEEE Symposium on On-Line Testing (IOLTS)

作者： A. Savino S. Di Carlo A. Vallero G. Politano D. Gizopoulos A. Evans Dep. of Control and Computer Engineering Politecnico di Torino Torino Italy Department of Informatics and Telecommunications University of Athens Athens Greece IROC Technologies Grenoble France

ISBN: (纸本)9781509015085

This paper describes the joint effort of the two FP7 EU projects CLERECO and MoRV toward the definition of an extended reliability information exchange format able to manage reliability information for the full system stack, from technology up to the software level. The paper starts from the RIIF language initiative, proposing a set of new features to improve the expression power of the language and to extend it to the software layer of a system. The proposed extended reliability information exchange format named RIIF-2 has the potential to support the development of next generation reliability analysis tools that will help to fully include reliability evaluation into an automated design flow, pushing cross-layer reliability considerations at the same level of importance as area, timing and power consumption when performing design exploration for new products.

关键词： Software reliability Reliability engineering Integrated circuit reliability Random access memory Software Hardware

来源：评论

学校读者我要写书评

暂无评论

Assessment of Defect Type influence in Complex and Integrated Space Systems: Analysis Based on ODC and ISVV Issues 45

Assessment of Defect Type influence in Complex and Integrate...

引用

45th Annual IEEE/IFIP International Conference on dep.ndable Systems and Networks Workshops, DSN-W 2015

作者： Silva, Nuno Vieira, Marco Ricci, Dario Cotroneo, Domenico CISUC Department of Informatics Engineering University of Coimbra Coimbra Portugal CINI Dep. of Computer and Control Engineering Federico II University of Naples Naples Italy

ISBN: (纸本)9781467380447

Safety or mission critical systems are those where failures should be avoided at all costs. engineering processes, techniques and tools are, however, not perfect, and lead to software and systems with flaws. This paper presents an analysis of the impact of late found issues versus the fault types for critical aerospace systems. These issues are the indep.ndently detected faults that remain once the engineering processes that are required by European space standards have been applied and the engineering teams have performed their verification and validation activities. This study presents the analysis of the fault impact versus fault type distribution according to the detection phases and to the issues severity/type and presents recommendations to improve space systems engineering. © 2015 IEEE.

关键词： Quality control

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：