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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

29 篇 会议
14 篇 期刊文献
5 篇 学位论文

馆藏范围

48 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

38 篇 工学
- 20 篇 计算机科学与技术...
- 13 篇 电气工程
- 11 篇 控制科学与工程
- 4 篇 信息与通信工程
- 3 篇 机械工程
- 3 篇 软件工程
- 2 篇 材料科学与工程（可...
- 2 篇 环境科学与工程（可...
- 1 篇 仪器科学与技术
- 1 篇 石油与天然气工程
12 篇 管理学
- 12 篇 管理科学与工程(可...
4 篇 教育学
- 4 篇 教育学
2 篇 理学
- 2 篇 系统科学
1 篇 文学
- 1 篇 新闻传播学

主题

48 篇 plc programming
7 篇 plc
6 篇 automation
6 篇 industrial autom...
4 篇 iec 61131-3
4 篇 dependable softw...
3 篇 object oriented ...
3 篇 avalanche of eve...
3 篇 distributed real...
3 篇 modular verifica...
3 篇 safety-critical ...
3 篇 iec standards
3 篇 higher order log...
3 篇 industrial compu...
3 篇 time cycle of ex...
2 篇 ladder diagrams
2 篇 industry 4.0
2 篇 modeling
2 篇 remote laborator...
2 篇 programming

机构

3 篇 brno university ...
3 篇 univ bielsko bia...
2 篇 silesian tech un...
2 篇 tech univ munich...
1 篇 tech univ munich...
1 篇 bialystok tech u...
1 篇 univ americas pu...
1 篇 silesian tech un...
1 篇 department of el...
1 篇 tech univ catalo...
1 篇 technische unive...
1 篇 univ bonab dept ...
1 篇 kitech incheon
1 篇 univ essex dept ...
1 篇 univ warwick war...
1 篇 tampere universi...
1 篇 diffblue ltd oxf...
1 篇 de ingeniería de...
1 篇 inesc tec techno...
1 篇 karlsruhe inst t...

作者

4 篇 vogel-heuser bir...
3 篇 sidzina marcin
2 篇 obermeier martin
2 篇 gerbasio diego
2 篇 chiacchio pasqua...
2 篇 kwiecien blazej
2 篇 de moura oliveir...
2 篇 gomis-bellmunt o...
2 篇 norbert völker
2 篇 bernd j. krämer
2 篇 basile francesco
1 篇 he shouling
1 篇 karimi navab
1 篇 juan manuel esca...
1 篇 švanda ondřej
1 篇 rosendahl ronald
1 篇 friedrich david
1 篇 pires e.j. solte...
1 篇 andrzejewski grz...
1 篇 benitez-pina isr...

语言

47 篇 英文
1 篇 其他

检索条件"主题词=PLC programming"

共 48 条记录，以下是21-30 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Symbols and Rules for a Self-explanatory Machine Model 8

Symbols and Rules for a Self-explanatory Machine Model

引用

8th IEEE International Symposium on Embedded Multicore/Manycore Systems-on-Chip (MCSoC)

作者： Igarashi, Keiko Seino, Saki Yoshioka, Rentaro Univ Aizu Grad Dept Informat Technol & Project Management Aizu Wakamatsu Fukushima 9658580 Japan

ISBN: (纸本)9781479943050

A generic, self-explanatory model for programming devices and machines is presented. The machine model defines both the structural composition and its behavior using a set of four visual languages. In this paper, the basic symbols for the four languages are presented. The symbols are positioned according to predefined layout rules to specify the machine features. Each symbol is designed to represent its meaning as directly as possible. The underlying data structure of the machine model is also described. The model can be used to acquire knowledge related to machine development and be reused by enthusiasts and students.

关键词： machine model knowledge acquisition plc programming e-learning

来源：评论

学校读者我要写书评

暂无评论

Configuration of plc software for automated warehouses based on reusable components- an industrial case study 20

Configuration of PLC software for automated warehouses based...

引用

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

作者： Fischer, Juliane Vogel-Heuser, Birgit Friedrich, David Tech Univ Munich Inst Automat & Informat Syst D-85748 Garching Germany Siempelkamp GmbH Dept Design Prototyping & Stand D-47803 Krefeld Germany

ISBN: (纸本)9781467379298

In the development of plc software for automated Production Systems the method copy & paste is commonly used. However, this method leads to various disadvantages. To avoid these disadvantages, a parameter-based concept for planed reuse is presented in this paper. By means of the Siemens plc software of an automated warehouse, the concept is defined and evaluated. In a first step, the plc software is analyzed and reusable parts as well as variation points are identified. Subsequently, it is demonstrated that the warehouse variants can be clearly described by a suitable set of parameters. In a last step the automatic configuration of the plc software by using the identified parameters as well as a Step7 source code template is explained and evaluated.

关键词： plc programming configuration of plc software modularity reuse IEC 61131-3

来源：评论

学校读者我要写书评

暂无评论

Using The Embedded Ethernet Communication Capability of plc controller for tailor-made Manufacturing Execution System 16

Using The Embedded Ethernet Communication Capability of PLC ...

引用

16th IEEE International Conference on Research and Education in Mechatronics (REM)

作者： Kielan, Pawel Krawczyk, Damian Silesian Tech Univ Dept Mechatron Fac Elect Engn Gliwice Poland

ISBN: (纸本)9783945728017

There is a tailor-made Manufacturing Execution System presented in the paper. The system has been developed and implemented practically by authors. The general idea behind it is explained firstly. A generic structure of Factory Automation system was introduced. Siemens Simatic S7-300 plc controllers were used to implement the idea. The MES software was written in C# software. The approach for plc configuration and programming using Step 7 software was briefly presented. The communication between PC MES software and plcs is based on industrial Ethernet. The main functionalities of the MES system were pointed.

关键词： programmable logic controller manufacturing execution system C# programming plc programming

来源：评论

学校读者我要写书评

暂无评论

Educational Advancement of an Industrial Automation Course: Combining Simulation with Physical Experience 21st

Educational Advancement of an Industrial Automation Course: ...

引用

21st International Conference on Smart Technologies and Education (STE) on Smart Technologies for a Sustainable Future

作者： Chevalier, Amelie Univ Antwerp Antwerp Belgium

ISBN: (纸本)9783031618901;9783031618918

This paper presents an education innovation in industrial automation by combining classical programmable logic controller (plc) simulation exercises with physical setups. Five new physical setups are introduced in a third year bachelor course. The new teaching method is evaluated using a student feedback survey with closed-ended background questions and questions using a Likert scale. The variety in background knowledge of the students poses an extra challenge in this course. This is shown in the results as a lack of knowledge experienced by the transfer students coming from a professional bachelor program. The overall results show a keen interest in combining the new setups with the classical plc sessions.

关键词： industrial automation education plc programming Setups Student feedback

来源：评论

学校读者我要写书评

暂无评论

Transformation of a Fuzzy Interpreted Petri Net diagram into structured text code 21

Transformation of a Fuzzy Interpreted Petri Net diagram into...

引用

21st International Conference on Methods and Models in Automation and Robotics (MMAR)

作者： Markiewicz, Michal Surdej, Lukasz Gniewek, Leslaw Rzeszow Univ Technol Dept Comp & Control Engn Rzeszow Poland

ISBN: (纸本)9781509018666

The use of Petri nets (PNs) to create control systems has many advantages, because of their formalism, graphical presentation and the possibility of parallel processes control. One of the few fuzzy PNs that was used directly in the control system is the fuzzy interpreted Petri net (FIPN). However, there is a long way from a control algorithm in the form of FIPN to its practical implementation. The paper proposes a method of partially automatic program code generation using Structured Text (ST) supported by the IEC 61131-3 from graphical form of FIPN. To carry out the research FIPN Simulator (called the FIPN-SML) was used. This computer tool allows modeling of the graphic form of FIPN and automatic creating plc program.

关键词： fuzzy Petri net Petri net simulator automatic program genereation plc programming

来源：评论

学校读者我要写书评

暂无评论

Modeling Order Effects on Errors in Object Oriented Modeling for Machine and Plant Automation from an Educational Point of View

Modeling Order Effects on Errors in Object Oriented Modeling...

引用

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

作者： Vogel-Heuser, Birgit Braun, Steven Obermeier, Martin Sommer, Kerstin Seidel, Tina Johannes, Christine Tech Univ Munich Inst Automat & Informat Syst Boltzmannstr 15 D-85748 Garching Germany Tech Univ Munich TUM Sch Educ D-80799 Munich Germany

ISBN: (纸本)9781457700187

Our goal is to improve the handling of new possibilities given through object-oriented extension of the IEC 61131-3 programming techniques. We already know that modeling of structure is a challenge for automation engineers and often neglected. In an interdisciplinary research team we examined whether the modeling order with the Unified Modeling Language (UML) class diagram for the structural aspect and the UML state chart diagram for the behavioral aspects cause significant differences in model quality. Additionally, often occurring errors were analyzed to find hindering factors in modeling and to learn what was misunderstood. Therefore we combine usability aspects, notational and procedural aspects in plc programming with learning and educational aspects to find how education and application of modeling notations could be improved.

关键词： Automation Education IEC 61131-3 programming techniques IEC standards IEC standards Object oriented modeling plc programming programming profession UML class diagram UML state chart diagram Unified Modeling Language Unified modeling language education edu

来源：评论

学校读者我要写书评

暂无评论

The Low Cost Embedded Control of the Industrial Hydraulic Pulse System Based on plc and State Machine Design 20

The Low Cost Embedded Control of the Industrial Hydraulic Pu...

引用

International Conference on Applied Electronics (AE)

作者： Pancik, Juraj Bankovni Inst Vysoka Skola As Dept Informat & Quantitat Methods Prague Czech Republic

ISBN: (纸本)9788026103868

In the paper we describe the control electronics for an industrial test system based on a low cost plc. The developed system is a hydraulic pulse system and it generates series of high pressure hydraulic pulses (max. 200bar) and is based on pneumatic-hydraulic circuits. We describe requirements, an overall concept of the embedded control system, user interface, security features and network connectivity. In the description of the software solution we describe implementation of hierarchical ordered program threads (multithreaded program) and main control state machine. At the conclusion, we describe the calibration method of the system and calibration curves, we present the schematic diagram and a photo of a functional prototype of the system.

关键词： plc programming hydraulic pulse system state machine multithreaded program ladder logic diagram

来源：评论

学校读者我要写书评

暂无评论

APP Inventor as a Tool to Reach Students 15

APP Inventor as a Tool to Reach Students

引用

3rd International Conference on Technological Ecosystems for Enhancing Multiculturality

作者： Ramos, Diogo de Moura Oliveira, P. B. Solteiro Pires, E. J. UTAD Univ Dept Engn Sch Sci & Technol P-5001801 Vila Real Portugal UTAD Pole INESC TEC INESC Technol & Sci Sch Sci & Technol Dept Engn P-5001801 Vila Real Portugal

ISBN: (纸本)9781450334426

The use of smart phones for teaching and learning purposes is an increasingly important issue. MIT App-Inventor 2 is presented here as a tool to develop applications for Android mobile systems, with the global aim to improve the connectivity between teachers and students. Two recently developed applications using this technology: Teach2Student and Student2Teach are reported. Teach2Student has two main functions: i) to allow teachers to post their students courses main class's issues;ii) To provide students with specific quizzes. Student2Teach the corresponding students application, is used to visualize the posts and quizzes submitted by teachers. Preliminary results concerning the use of both applications within an industrial automation and control course are presented.

关键词： App Inventor 2 Android Applications Industrial Automation plc programming Mobile Learning

来源：评论

学校读者我要写书评

暂无评论

Towards establishing formal verification and inductive code synthesis in the plc domain 19

Towards establishing formal verification and inductive code ...

引用

IEEE 19th International Conference on Industrial Informatics (INDIN)

作者： Weiss, Matthias Marks, Philipp Maschler, Benjamin White, Dustin Kesseli, Pascal Weyrich, Michael Univ Stuttgart Inst Ind Automat & Software Engn Stuttgart Germany DiffBlue Ltd Oxford England

ISBN: (纸本)9781728143958

Nowadays, formal methods are used in various areas for the verification of programs or for code generation from models in order to increase the quality of software and to reduce costs. However, there are still fields in which formal methods haven't been widely adopted, despite the large set of possible benefits offered. This is the case for the area of programmable logic controllers (plc). This article aims to evaluate the potential of formal methods in the context of plc development. For this purpose, the general concepts of formal methods are first introduced and then transferred to the plc area, resulting in an engineering-oriented description of the technology that is based on common concepts from plc development. Based on this description, plc professionals with varying degrees of experience were interviewed for their perspective on the topic and to identify possible use cases within the plc domain. The survey results indicate the technology's high potential in the plc area, either as a tool to directly support the developer or as a key element within a model-based systems engineering toolchain. The evaluation of the survey results is performed with the aid of a demo application that communicates with the Totally Integrated Automation Portal from Siemens and generates programs via Fastsynth, a model-based open source code generator. Benchmarks based on an industry-related plc project show satisfactory synthesis times and a successful integration into the workflow of a plc developer.

关键词： plc programming Siemens TIA Openness formal verification code generation counterexample guided inductive synthesis

来源：评论

学校读者我要写书评

暂无评论

Block programming Technique in Traffic Control

Block Programming Technique in Traffic Control

引用

13th International Conference on Transport Systems Telematics (TST)

作者： Kolopienczyk, Malgorzata Andrzejewski, Grzegorz Zajac, Wojciech Univ Zielona Gora PL-65417 Zielona Gora Poland

ISBN: (纸本)9783642416460;9783642416477

In the paper there are discussed benefits of using the block-oriented approach in programming the plc controller. As an example there is taken a model of traffic junction with multiple traffic flow (including the railway crossing). The model is described and control system structure is presented. There are discussed principles of block-oriented programming approach in Ladder Diagram (LAD) language. Benefits of using this technique are shown and example is discussed.

关键词： traffic control plc programming block programming technique

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共5页 << < 1 2 3 4 5 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：