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

16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)

作者： Kuehl, Ingmar Fay, Alexander Nordex Energy Langenhorner Chaussee 600 D-22419 Hamburg Germany Helmut Schmidt Univ Fac Machine Constuct D-22043 Hamburg Germany

ISBN: (纸本)9781457700187

One of the key factors for automation systems in the domains smart grids, digital factories and modern process systems are the permanently shift of their requirements. Thus, software has to be evolve over time. This issue has been addressed by different solutions for evolving automation software. Though, they have their specific benefits, but lacks on deficiencies like a specific (non-standard) programming model, specific programming languages and a very narrow focus of a specific automation domain. In contrast to this a novel approach will be discussed to provide a more flexible and quite general solution, a common middleware, to reconfigure automation software dynamically with minimal downtime. A middleware to integrate different programming languages, container systems, frameworks, libraries, control applications and drivers as well.

关键词： Automation Containers IEC standards Java Real time systems Software automation software automation system digital factories factory automation middleware middleware programming language programming languages programming model software evolution software m

来源：评论

学校读者我要写书评

暂无评论

F# for Scientists 1

引用

2008年

作者： Jon Harrop

ISBN: (数字)9780470385951

ISBN: (纸本)9780470242117

"This work strikes a balance between the pure functional aspects of F# and the object-oriented and imperative features that make it so useful in practice, enable .NET integration, and make large-scale data processing possible."—Thore Graepel, PhD, Researcher, Microsoft Research Ltd. Over the next five years, F# is expected to become one of the world's most popular functional programming languages for scientists of all disciplines working on the Windows platform. F# is free and, unlike MATLAB® and other software with numerical/scientific origins, is a full-fledged programming language. Developed in consultation with Don Syme of Microsoft Research Ltd.—who wrote the language— F# for Scientists explains and demonstrates the powerful features of this important new programming language. The book assumes no prior experience and guides the reader from the basics of computer programming to the implementation of state-of-the-art algorithms. F# for Scientists begins with coverage of introductory material in the areas of functional programming, .NET, and scientific computing, and goes on to explore: Program structure Optimization Data structures Libraries Numerical analysis Databases Input and output Interoperability Visualization Screenshots of development using Visual Studio are used to illustrate compilation, debugging, and interactive use, while complete examples of a few whole programs are included to give readers a complete view of F#'s capabilities. Written in a clear and concise style, F# for Scientists is well suited for researchers, scientists, and developers who want to program under the Windows platform. It also serves as an ideal supplemental text for advanced undergraduate and graduate students with a background in science or engineering.

关键词： Harrop/F# for Scientists F# programming language F# programming language Computational research Computational science Functional programming .NET Scientific computing

来源：评论

学校读者我要写书评

暂无评论

Management and Analysis of Data from Hydroelectric Plants

Management and Analysis of Data from Hydroelectric Plants

引用

IEEE/PES Power Systems Conference and Exposition

作者： Hidalgo, I. G. Soares, S. Fontane, D. G. Cicogna, M. A. Univ Estadual Campinas UNICAMP Fac Elect & Comp Engn Campinas SP Brazil Colorado State Univ Dept Civil & Environm Engn Ft Collins CO 80523 USA Anhanguera Educacional AESA Valinhos Brazil

ISBN: (纸本)9781424438105

This paper presents a computer aided system that aims to improve the quality of data for hydroelectric plants. This system consists of two modules. The first is a relational database that organizes, standardizes and manages data from hydroelectric plants. The second module allows a user to build, store and manage advanced queries on this or certain other databases. The data manager and the queries builder were tested with data from Brazilian hydroelectric plants and the results show the potential for a significant improvement in terms of efficiency for the operation planning of electrical power systems. Planning has strong dependence on the quality of the data used in mathematical models and other built-in computational tools. The software project and the computational implementation of these modules use the Object-Oriented Paradigm, the C++ programming language and the Structured Query language (SQL). This assures a modern and efficient structure for the system.

关键词： Computer Aided Analysis Data Management System Data Query Data Searching Electrical Engineering Objected-Oriented programming Power Generation Planning programming language Relational Database

来源：评论

学校读者我要写书评

暂无评论

Gamification-Based Learning Framework for a programming Course 6

Gamification-Based Learning Framework for a Programming Cour...

引用

6th International Conference on Electrical Engineering and Informatics (ICEEI) - Sustainable Society Through Digital Innovation

作者： Khaleel, Firas Layth Ashaari, Noraidah Sahari Wook, Tengku Siti Meriam Tengku Ismail, Amirah Univ Kebangsaan Malaysia Fac Informat Sci & Technol Bangi Malaysia Tikrit Univ Tikrit Iraq

ISBN: (纸本)9781538604755

Students occasionally find it difficult to learn new programming languages. Previous work showed that students have experienced ineffective learning, lack of interest towards this course and lack of motivation. The rationale for this is that in previous studies, some researchers have mentioned the use of game elements but none have mentioned a gamification framework that integrates the requirements for learning programming language subjects. Therefore, this study proposed gamification framework that consists of game elements and programming learning requirements. This framework is verified by lecturers and students. The findings shown, the mean score of each combination of programming learning requirements and game elements is more than 4.00.

关键词： Gamification Game elements Game Mechanic Motivation programming language

来源：评论

学校读者我要写书评

暂无评论

The technological prospect of e-gov of Republic of Kazakhstan 54

The technological prospect of e-gov of Republic of Kazakhsta...

引用

2015 54th Annual Conference of the Society of Instrument and Control Engineers of Japan (SICE)

作者： Satybaldiyeva, Ryskhan Zh Moldagulova, Aiman N. Nuralin, Yeldar Duisenbayev, Nurbol Saktaganova, Aiym Mailybek, Maira Yelibay, Aidana Int Informat Technol Univ Alma Ata Kazakhstan Natl Informat Technol Joint Stock Co Astana Kazakhstan

ISBN: (纸本)9784907764487

The paper aims to develop a methodology - the selection criteria and evaluation of modern technology - to create the technology radar for e-government of the Republic of Kazakhstan. Technology radar is a good way to evaluate the technologies and approaches used in the development of information systems. The paper presents an analysis of existing technology radars. The monitoring of thematic media, industry directories, almanacs and scientific digests, tabloids is provided. The monitoring of database of patents, industry portals, forums, blogs, people and technology is considered. On the basis of the monitoring the methodology for constructing radar is developed. Surveys of experts in the field of information technology were conducted in order to test the developed methodology.

关键词： Technology Radar Evaluation Criteria programming language Tools Platform Forecast Modeling Electronic Government

来源：评论

学校读者我要写书评

暂无评论

Impact of Using a Static-type System in Computer programming 18

Impact of Using a Static-type System in Computer Programming

引用

18th IEEE International Symposium on High Assurance Systems Engineering (HASE)

作者： Harlin, Ismail Rizky Washizaki, Hironori Fukazawa, Yoshiaki Waseda Univ Comp Sci Dept Tokyo Japan

ISBN: (纸本)9781509046362

Static-type systems are a major topic in programming language research and the software industry because they should reduce the development time and increase the code quality. Additionally, they are predicted to decrease the number of defects in a code due to early error detection. However, only a few empirical experiments exist on the potential benefits of static-type systems in programming activities. This paper describes an experiment that tests whether static-type systems help developers create solutions for certain programming tasks. The results indicate that although the existence of a static-type system has no positive impact when subjects code a program from scratch, it does allow more errors in program debugging to be fixed.

关键词： component static-type systems programming language empirical study program debugging

来源：评论

学校读者我要写书评

暂无评论

Position paper: Validity of the static dataflow approach for exascale computing challenges 3

Position paper: Validity of the static dataflow approach for...

引用

3rd Workshop on Data-Flow Execution Models for Extreme Scale Computing (DFM)

作者： Verdoscia, Lorenzo Vaccaro, Roberto CNR Inst High Performance Comp & Networking I-80125 Naples Italy

ISBN: (纸本)9781479952472

Instead of adhering to the common wisdom that endorses multi-threading, shared memory, and imperative programming as the only dominant models for efficient future architecture design, in this paper we argue that static dataflow is still a valid alternative model to guide the design of exascale machines. We explain our position showing how it is possible to directly map dataflow graphs onto a dataflow processor chip created with thousands of dataflow actor cores. This thanks to a demand-data driven approach to the co-design process that combines functional programming style with a dataflow model. This approach offers a valid solution to effectively and efficiently design, organize, and program dataflow machines.

关键词： architecture dataflow functional exascale many-core parallel programming language

来源：评论

学校读者我要写书评

暂无评论

On the Design and Implementation of a Virtual Machine for Arduino 7th

On the Design and Implementation of a Virtual Machine for Ar...

引用

7th International Conference on Robotics in Education (RiE)

作者： Zabala, Gonzalo Moran, Ricardo Teragni, Matias Blanco, Sebastian Univ Abierta Interamer Buenos Aires DF Argentina

ISBN: (纸本)9783319429755;9783319429748

Arduino has become one of the most popular platforms for building electronic projects, especially among novices. In the last years countless tools, environments, and programming languages have been developed to support Arduino. One of these is Physical Etoys, a visual programming platform for robots developed by the authors. Physical Etoys supports compiling programs into the arduino. For this to work, a Smalltalk to C++ translator has been built. Although it has been very useful, this translator has brought a new set of issues. In this paper we will discuss some of these problems and how we decided to overcome them by developing a simple virtual machine that will be used as the base for the new Physical Etoys.

关键词： Arduino programming language Virtual machine Concurrency Physical etoys

来源：评论

学校读者我要写书评

暂无评论

Methods and System for Cloud Parallel programming 21

Methods and System for Cloud Parallel Programming

引用

21st International Conference on Enterprise Information Systems (ICEIS)

作者： Kasyanov, Victor N. Kasyanova, Elena, V Inst Informat Syst Lavrentiev Pr 6 Novosibirsk 630090 Russia

ISBN: (纸本)9789897583728

In this paper, a cloud parallel programming system CSSP being under development at the Institute of Informatics Systems is considered. The system is aimed to be an interactive visual environment of functional and parallel programming for supporting of computer science teaching and learning. The system will support the development, verification and debugging of architecture-independent parallel programs and their correct conversion into efficient code of parallel computing systems for its execution in clouds. In the paper, the CPPS system itself, its input functional language, and its internal graph presentation of the functional programs are described.

关键词： Annotated programming Graph Presentation of Functional Programs Functional programming Parallel programming programming language

来源：评论

学校读者我要写书评

暂无评论

Clarification of Fortran Standards—Second Report

引用

Communications of the ACM 1971年第10期14卷 628-642页

作者： Kerpelman, C.

In 1966, after four years of effort, Fortran became the first programming language standardized in the United States. Since that initial achievement, study and application of the standard specifications have revealed the need for maintenance of the standards. As the result of work initiated in 1967, an initial set of clarifying interpretations was prepared and this clarification was published in Communications of the ACM in May 1969. That work has continued and has resulted in the preparation of this second set of clarifying interpretations. The nature of the maintenance and the new set of corrections to and interpretations of the standard specifications are reported. © 1971, ACM. All rights reserved.

关键词： American National Standard Basic Fortran Fortran language standard clarification language standard interpretation language standard maintenance language standard specification programming language standardization standardization committee

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：