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

45th Annual Conference of the IEEE Industrial Electronics Society (IECON)

作者： Wilch, Jan Fischer, Juliane Neumann, Eva-Maria Diehm, Sebastian Schwarz, Michael Lah, Eric Wander, Matthias Vogel-Heuser, Birgit Tech Univ Munich Inst Automat & Informat Syst Garching Germany Schneider Elect Automat GmbH Marktheidenfeld Germany SOMIC Packaging machines GmbH & Co KG Amerang Germany

ISBN: (纸本)9781728148786

The development of automated Production Systems (aPS) is an interdisciplinary process, where an increasing part of the system's functionality is realized in the respective control software. Such software projects commonly utilize programming languages standardized in IEC 61131-3. To measure, improve, and maintain source code while also promoting trust in its capabilities, an objective assessment of its characteristics is necessary. Software metrics are a means for such an evaluation. While there is an abundance of metrics available from the classical software engineering domain, these metrics focus on textual programming languages. IEC 61131-3, however, defines graphical languages, which are not targeted by renowned concepts in computer science. Besides, former research demonstrates that software engineering metrics for textual languages need adaption to be applicable in the aPS domain. Thus, this paper introduces a metrics suite consisting of adapted and newly developed measures, which focus on the graphical IEC 61131-3 language Function Block Diagram. The results are prototypically implemented in one of the leading integrated development environments for IEC 61131-3 and then evaluated regarding their understandability and applicability by practitioners at a German aPS manufacturer.

关键词： automated Production Systems software metrics IEC 61131-3 Function Block Diagram graphical programming languages automatic code analysis

来源：评论

学校读者我要写书评

暂无评论

Structural Concolic Testing for Sequential Function Chart

Structural Concolic Testing for Sequential Function Chart

引用

14th IFAC International Workshop on Discrete Event Systems (WODES)

作者： Simon, Hendrik Triefenbach, Lucas Kowalewski, Stefan Embedded Software Aachen Germany

graphical programming languages allow for well structured software and support comprehensibility and maintainability of the code. As for industrial applications, Sequential Function Chart(SFC) is a popular graphical language and was introduced by the IEC-611313 standard. Although providing powerful structuring elements that programmers can use to write better software, those elements are largely dropped when translating the software to a representation required for the application of formal methods. Even in widely used development tools like CODESYS, SFCs are internally translated to the textual language Structured Text, coming from the same standard. This approach preserves the semantics needed for simulation, but can introduce significant overhead that impedes the application of formal methods, e.g. Concolic Testing, which is the focus of this work. To this end, we propose a novel Concolic Testing approach that utilises the structure of SFC in order to overcome the obstacles that keep traditional techniques from achieving high test -coverage in a reasonable amount of time. We compare our results to two approaches that work on a textual representation of the program. (C) 2018, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.

关键词： Automatic Testing Programmable logic controllers Formal methods graphical programming languages

来源：评论

学校读者我要写书评

暂无评论

Using Robots to Teach programming to K-12 Teachers 42nd

Using Robots to Teach Programming to K-12 Teachers

引用

Frontiers in Education Conference (FIE)

作者： Kay, Jennifer S. Moss, Janet G. Rowan Univ Dept Comp Sci Glassboro NJ 08028 USA Rowan Univ Dept Teacher Educ Glassboro NJ USA

ISBN: (纸本)9781467313513

We present the results of a pilot study in which twenty K-12 teachers were introduced to LEGO NXT-G robot programming through a three-day summer workshop. Our aim was to give teachers the confidence and skills to start after-school robotics programs with their students. We present details on the workshop, including the approach we used to recruit teachers and an overview of the three-day course. We discuss the data gathered from the teachers following the workshop and also give our own recommendations for others who may wish to run a similar program. Participants ranged from elementary school general classroom teachers to high school math, science, and even computer science teachers. Prior to attending our workshop, 89% of the teachers had little or no programming experience and generally were not very confident in their own ability to be able to learn how to program a robot. After completing the workshop, their confidence increased dramatically and they had a strong expectation that they would use the material with their students. A follow-up survey nine months later indicated that hundreds of students and many colleagues were impacted in the first year alone.

关键词： Computer Science Education K-12 Teacher Education Educational Robotics Introductory programming graphical programming languages

来源：评论

学校读者我要写书评

暂无评论

A GIS application to enhance cell-based information modeling

引用

INFORMATION SCIENCES 2002年第1-4期142卷 151-160页

作者： Benedikt, J Reinberg, S Riedl, L Geologic A-1080 Vienna Austria Vienna Univ Technol Dept Reg Sci A-1040 Vienna Austria

Maps have been major sources of information for a long time. Geographic Information Systems (GIS) use digital data, elevation models, satellite images, expert systems and related open source information for planning, detection, evaluation and decision making. Maps as well as GIS use spatial attributes of data in particular. Spatial Information derived is a feature of both data and language to communicate results of analysis and interpretation. A natural language approach to geographic concepts is discussed focusing on the cognitive aspects of categorizing spatial terms, which are represented by vague descriptions. Scientific analysis, however, requires a formal representation of spatial terms. The translation of linguistic concepts to spatial terms like "steep slopes" involves inherent uncertainties that are dealt with by implementing fuzzy logic tools to computer-based GIS. MapModels is a programming language based on ArcView(R) GIS that allows users easily to comprehend geographical (spatial) terms by means of analytical tools including membership models. A flowchart interface is preferred to a line-code oriented programming language thus enabling the user to focus on a particular problem rather than a complex programming exercise. Examples are given on how MapModels utilizes the vagueness of geographic description in GIS analysis. This paper shows, how MapModels enhances the powerful options of GIS-based spatial analysis in obtaining information from cell-based images. (C) 2002 Elsevier Science Inc. All rights reserved.

关键词： fuzzy sets GIS spatial analysis semantic modeling graphical programming languages

来源：评论

学校读者我要写书评

暂无评论

A GIS application to enhance cell-based information modeling

A GIS application to enhance cell-based information modeling

引用

4th International FLINS Conference on Intelligent Techniques and Soft Computing in Nuclear Science and Engineering

作者： Benedikt, J Reinberg, S Riedl, L Geologic A-1080 Vienna Austria Vienna Univ Technol Dept Reg Sci A-1040 Vienna Austria

ISBN: (纸本)9810243561

关键词： fuzzy sets GIS spatial analysis semantic modeling graphical programming languages

来源：评论

学校读者我要写书评

暂无评论

Using dynamic modeling to scope environmental problems and build consensus

引用

ENVIRONMENTAL MANAGEMENT 1998年第2期22卷 183-195页

作者： Costanza, R Ruth, M Boston Univ Ctr Energy & Environm Studies Boston MA 02215 USA Univ Maryland Dept Zool Ctr Environm & Estuarine Studies Solomons MD 20668 USA Univ Maryland Inst Ecol Econ Solomons MD 20668 USA

This paper assesses the changing role of dynamic modeling for understanding and managing complex ecological economic systems. it discusses new modeling tools for problem scoping and consensus building among a broad range of stakeholders and describes four case studies in which dynamic modeling has been used to collect and organize data, synthesize knowledge, and build consensus about the management of complex systems. The case studies range from industrial systems (mining, smelting, and refining of iron and steel in the United Stales) to ecosystems (Louisiana coastal wetlands, and Fynbos ecosystems in South Africa) to linked ecological economic systems (Maryland's Patuxent River basin in the United States). They illustrate uses of dynamic modeling to include stakeholders in ail stages of consensus building, ranging from initial problem scoping to model development. The resultant models are the first stage in a three-stage modeling process that includes research and management models as the later stages.

关键词： dynamic modeling scoping consensus building environmental management ecosystem management policy making graphical programming languages

来源：评论

学校读者我要写书评

暂无评论

ARTIFICIAL-INTELLIGENCE programming WITH LABVIEW - GENETIC ALGORITHMS FOR INSTRUMENTATION CONTROL AND OPTIMIZATION

引用

COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE 1995年第1期47卷 73-79页

作者： MOORE, JH Department of Human Genetics 4711 Med. Sci. II University of Michigan Medical School Ann Arbor MI 48109-0618 USA

A genetic algorithm for instrumentation control and optimization was developed using the LabVIEW graphical programming environment. The usefulness of this methodology for the optimization of a closed loop control instrument is demonstrated with minimal complexity and the programming is presented in detail to facilitate its adaptation to other LabVIEW applications. Closed loop control instruments have a variety of applications in the biomedical sciences including the regulation of physiological processes such as blood pressure. The program presented here should provide a useful starting point for those wishing to incorporate genetic algorithm approaches to LabVIEW mediated optimization of closed loop control instruments.

关键词： GENETIC ALGORITHMS ARTIFICIAL INTELLIGENCE LABVIEW graphical programming languages INSTRUMENTATION CONTROL OPTIMIZATION

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：