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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

250 篇 会议
9 篇 期刊文献
5 册 图书

馆藏范围

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

日期分布

学科分类号

201 篇 工学
- 170 篇 计算机科学与技术...
- 155 篇 软件工程
- 23 篇 控制科学与工程
- 18 篇 电气工程
- 8 篇 信息与通信工程
- 4 篇 建筑学
- 4 篇 土木工程
- 2 篇 仪器科学与技术
- 2 篇 化学工程与技术
- 1 篇 材料科学与工程（可...
- 1 篇 电子科学与技术（可...
- 1 篇 测绘科学与技术
- 1 篇 生物医学工程（可授...
- 1 篇 生物工程
- 1 篇 安全科学与工程
32 篇 管理学
- 24 篇 图书情报与档案管...
- 13 篇 管理科学与工程(可...
- 6 篇 工商管理
29 篇 理学
- 22 篇 数学
- 5 篇 统计学（可授理学、...
- 3 篇 化学
- 2 篇 系统科学
- 1 篇 物理学
- 1 篇 地球物理学
- 1 篇 生物学
9 篇 教育学
- 9 篇 教育学
6 篇 医学
- 6 篇 临床医学
- 2 篇 基础医学(可授医学...
2 篇 经济学
- 2 篇 应用经济学
2 篇 法学
- 2 篇 社会学

主题

96 篇 object oriented ...
24 篇 object oriented ...
17 篇 java programming...
17 篇 object-oriented ...
16 篇 programming
15 篇 software enginee...
13 篇 java
10 篇 computer science
9 篇 software
8 篇 application soft...
8 篇 computer languag...
8 篇 unified modeling...
7 篇 software systems
7 篇 permission
6 篇 languages
6 篇 computer archite...
6 篇 aspect oriented ...
6 篇 concrete
6 篇 computer program...
5 篇 programming prof...

机构

3 篇 ibm corp thomas ...
2 篇 gannon univ comp...
2 篇 school of comput...
2 篇 infosys labs ban...
2 篇 nanjing univ sta...
2 篇 dakota state uni...
2 篇 department of co...
2 篇 ibm thomas j. wa...
2 篇 univ texas dalla...
2 篇 carleton univers...
2 篇 victoria univers...
2 篇 tokyo inst techn...
2 篇 univ bern softwa...
2 篇 thoughtworks uk ...
2 篇 department of co...
1 篇 university of ma...
1 篇 wells fargo bank...
1 篇 department of co...
1 篇 dept. of compute...
1 篇 univ london impe...

作者

5 篇 noble james
4 篇 biddle robert
3 篇 siek jeremy
3 篇 ernst michael d.
2 篇 mackinnon tim
2 篇 mezini m
2 篇 lorenz david h.
2 篇 tip f
2 篇 pryce nat
2 篇 black andrew p.
2 篇 gestwicki paul v...
2 篇 walnes joe
2 篇 melo walcelio
2 篇 freeman steve
2 篇 leavens gary t.
2 篇 chiba s
2 篇 wong w. eric
2 篇 andrew p. black
2 篇 e abreu fernando...
2 篇 drossopoulou s

语言

260 篇 英文
2 篇 其他
2 篇 中文

检索条件"任意字段=19th European Conference on Object-Oriented Programming"

共 264 条记录，以下是31-40 订阅

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

详细简洁

排序：

Fostering Functional Safety of Real-time Systems with Concepts of object Orientation 19

Fostering Functional Safety of Real-time Systems with Concep...

引用

19th International conference on Methods and Models in Automation and Robotics (MMAR)

作者： Houben, Christina K. Fernuniv Chair Comp Engn Hagen Germany

ISBN: (纸本)9781479950812

Hard-wired control systems are increasingly replaced by program-controlled embedded systems. the programming languages currently employed for their implementation lack constructs and design patterns enforcing intelligible code fostering its verification by certification authorities. Recommendations for such constructs necessary to guarantee safety integrity are given in the international standard IEC 61508-3. One of the recommendations refers to object-oriented programming (OOP). therefore, we analyse both basic and advanced properties of OOP like encapsulation, polymorphism, inheritance, prototyping, delegation etc. with respect to functional safety. In a resulting programming language based on PEARL90 [1] we demonstrate coding with examples from hard real-time systems.

关键词： IEC standards control engineering computing embedded systems object-oriented programming program verification safety-critical software OOP PEARL90 certification authorities design patterns functional safety hard real-time systems hard-wired control systems intelligible code international standard IEC 61508-3 object orientation program-controlled embedded systems programming languages safety integrity verification Computer languages Concrete Prototypes Real-time systems Runtime Safety Software object oriented programming Computer programming Languages object orientation real-time systems hard real-time system design pattern control engineering computing IEC publications safety-critical software program verification Runtime Embedded systems Consumer safety safety PROTOTYPE

来源：评论

学校读者我要写书评

暂无评论

Automated implementation of Petri Nets on PLCs with OOP 19

Automated implementation of Petri Nets on PLCs with OOP

引用

19th IEEE International conference on Emerging Technology and Factory Automation (ETFA)

作者： Basile, Francesco Chiacchio, Pasquale Coppola, Jolanda Gerbasio, Diego Univ Salerno Dipartimento Ing Informaz Ing Elettr & Matemat Ap Salerno Italy

ISBN: (纸本)9781479948451

In this paper a method is proposed to implement controllers and supervisors for manufacturing systems designed by Petri Nets (PNs) on Programmable Logic Controllers (PLCs) using object oriented programming (OOP). In the resulting program each instruction is directly related to the evaluation of a transition, to the update of the marking, or to the enabling of a transition. this preserves the structure of PNs and entails reusability since it allows the user to easily modify the program directly, starting from the modifications made to the PN design.

关键词： Petri nets manufacturing systems object-oriented programming programmable controllers OOP PLC PN design object oriented programming program modification programmable logic controllers Arrays Heating IEC standards object oriented modeling Reactive power Software XML

来源：评论

学校读者我要写书评

暂无评论

the PLC UML State-chart Design Pattern 19

The PLC UML State-chart Design Pattern

引用

19th IEEE International conference on Emerging Technology and Factory Automation (ETFA)

作者： Racchetti, Lorenzo Fantuzzi, Cesare Tacconi, Lorenzo Bonfe, Marcello Univ Modena & Reggio Emilia I-42122 Reggio Emilia Italy Tetra Pak Packaging Solut SpA I-41123 Modena Italy Univ Ferrara I-44100 Ferrara Italy

ISBN: (纸本)9781479948451

We developed an UML-State-charts object oriented Design Pattern for PLCs IEC61131-3. this PLC UML-State-chart Design Pattern aims to explore the advantage of object oriented programming by IEC61131-3 in PLCs, and to provide a direct map of UML State-chart to PLC code. We illustrates the design pattern and its use through UML Class diagrams and an application example. this Design Pattern can be used to reduce the development time of State-charts in automation software. It can also lead towards further investigations in PLC Design Patterns that may improve the whole development of automation software.

关键词： IEC standards Unified Modeling Language control engineering computing object-oriented programming programmable controllers PLC IEC61131-3 PLC UML state-chart design pattern UML class diagrams UML-state-charts object oriented design pattern automation software object oriented programming Actuators Automation Engines History object oriented modeling Software Unified modeling language

来源：评论

学校读者我要写书评

暂无评论

Using dynamic mixins to implement design patterns 14

Using dynamic mixins to implement design patterns

引用

19th european conference on Pattern Languages of Programs, EuroPLoP 2014

作者： Burton, Eden Sekerinski, Emil McMaster University Department of Computing and Software Information Technology Building 1280 Main Street West HamiltonON Canada

ISBN: (纸本)9781450334167

Design patterns are used as a means of documenting solutions to commonly occurring problems. In this work, we focus on object-oriented patterns that require object extension. Typically, the implementation of such patterns is done using object composition. Dynamic mixin composition is proposed as a viable alternative in this paper. the issues of safety and reuse are considered during the comparison of the two approaches. A new mixin language is defined to illustrate the benefits of mixin composition. then, a survey of sample GOF pattern implementations using both approaches is critiqued and finally some patterns specifically designed to address the shortcomings of object composition are critically reviewed. Copyright © 2014 ACM.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Test-run of the "app-driven approach" in teaching a mobile programming course 14

Test-run of the "app-driven approach" in teaching a mobile p...

引用

19th Western Canadian conference on Computing Education, WCCCE 2014

作者： Liu, Xing Department of Computer Science and Information Technology School of Business Kwantlen Polytechnic University 12666-72 Ave. Surrey BC V3W 2M8 Canada

ISBN: (纸本)9781450328999

In the computing education community, there are common understandings regarding what topics should be covered in some specific subjects and their corresponding courses and the preferred sequence in which the topics is presented. Published textbooks written by university educators are indications of such practices. Frequently, developing a new course needs to select a relatively "better" textbook from a large number of similar textbooks based on criteria such as readability and clarity. Majority of the textbooks present the conceptual topics for different aspects of their intended subjects in a progressive manner. that is, the concept of a topic is discussed, coupled with several small examples, and followed by some small exercises such as end of chapter problems. In computing courses, often a term project is assigned to students with the expectation that they will apply the knowledge learned in different topics to one place to solve a problem of relatively large scale. Computing courses such as object-oriented programming and data structures can both be taught using this approach. the author names this the "topicbased approach". However, in mobile programming courses, the ultimate goal is to empower the students with skills for application development. this gives rise to the so-called "appdriven" approach as mentioned in some books. the author had the opportunity to teach a mobile programming course for Android application development recently. this paper introduces how the author prepared the course and is a reflection on the use of the "app-driven" approach in teaching the mobile programming course. Comparisons are made to map out the pros and cons of the more common "topic-based approach" and the "app-driven approach". © 2014 ACM.

关键词： Textbooks

来源：评论

学校读者我要写书评

暂无评论

Design Approach for Component-based Automation Systems using Exact Cover 19

Design Approach for Component-based Automation Systems using...

引用

19th IEEE International conference on Emerging Technology and Factory Automation (ETFA)

作者： Lehmann, Matthias Mai, Tuan Linh Wollschlaeger, Bastian Kabitzsch, Klaus Tech Univ Dresden Inst Appl Comp Sci Dresden Germany

ISBN: (纸本)9781479948451

Networked systems consisting of many different components are gaining more and more importance in human's living environment (e.g. communication, entertainment, building automation). the design process for such systems is also harder because of the growing complexity and the inhomogeneity of sub-systems realizing different functions. this results in a multi-criteria high-complex combinatorial device selection problem. In this paper a general domain-independent model for Component-based Automation Systems is introduced. To help solving the mentioned selection problem, it is transformed into an Exact Cover Problem. thus, it is possible to use efficient algorithms like Knuth's Dancing Links for solving the selection problem.

关键词： object-oriented programming optimisation component-based automation systems exact cover exact cover problem general domain-independent model Abstracts Building automation Complexity theory Concrete Optimization Semantics

来源：评论

学校读者我要写书评

暂无评论

Disruption-free Software Updates in Automation Systems 19

Disruption-free Software Updates in Automation Systems

引用

19th IEEE International conference on Emerging Technology and Factory Automation (ETFA)

作者： Wahler, Michael Oriol, Manuel ABB Corp Res CH-5405 Baden Switzerland

ISBN: (纸本)9781479948451

Automation systems must primarily be deterministic and reliable, especially in safety-critical environments. With recent trends such as mass customization or Industry 4.0, there is an increasing need for automation systems to be dynamic. Changing parts of the software of today's automation systems, however, typically requires rebooting the controller, which makes software updates a complex and costly endeavor often despised by operators. this article presents an approach to updating the software of automation systems at runtime without disrupting the system's operation. this is achieved with a combination of a component-based architecture, cyclic application execution, and a state transfer mechanism between the original and the updated version of a component. We validate our solution with a case study in which we update the control algorithm of a magnetic levitation device running at cycles of 1 kHz without dropping the ball.

关键词： control engineering computing magnetic levitation object-oriented programming safety-critical software software architecture automation systems component-based architecture cyclic application execution disruption-free software updates magnetic levitation control algorithm safety-critical environments state transfer mechanism Automation Instruction sets Kernel Runtime Schedules Synchronization

来源：评论

学校读者我要写书评

暂无评论

Guidelines and challenges for composing and synchronizing real-time software components through virtual platforms in vehicular systems 19

Guidelines and challenges for composing and synchronizing re...

引用

19th IEEE International conference on Emerging Technology and Factory Automation (ETFA)

作者： van den Heuvel, Martijn M. H. P. Tech Univ Eindhoven Dept Math & Comp Sci NL-5612 AZ Eindhoven Netherlands

ISBN: (纸本)9781479948451

this work investigates the composition of interdependent software components on a shared platform from a timing perspective. Because we consider software components for vehicular systems, which are often sensitive to timing, the individual components and the composed system require timing analysis. In order to support independent development of components, the real-time systems community proposed hierarchical scheduling frameworks (HSFs). HSFs in essence provide a virtual platform to individual components, including well-defined protocols for their synchronization. In this paper, we give an overview of recent research for applying HSFs into in-vehicle technology standards and we look ahead to some future challenges regarding the safety certification of such systems.

关键词： certification object-oriented programming protocols real-time systems safety-critical software scheduling synchronisation traffic engineering computing HSF hierarchical scheduling frameworks in-vehicle technology standards interdependent software components real-time software component synchronization real-time system community safety certification shared platform timing analysis vehicular systems virtual platforms Processor scheduling Protocols Real-time systems Software Standards Synchronization

来源：评论

学校读者我要写书评

暂无评论

A Framework for Generation of Inter-node Communication in Component-based Distributed Embedded Systems 19

A Framework for Generation of Inter-node Communication in Co...

引用

19th IEEE International conference on Emerging Technology and Factory Automation (ETFA)

作者： Lednicki, Luka Carlson, Jan Malardalen Univ Malardalen Real Time Res Ctr Vasteras Sweden

ISBN: (纸本)9781479948451

In component-based and model-driven development it is common to model embedded applications in a platform-independent manner. As an example, some approaches allow development of distributed applications while abstracting away from details of communication between platform nodes. Using such an approach requires to implement this communication before an executable system is deployed. Currently it is common to automatically implement this communication on the level of code, while providing it on the model level is mostly a task that needs to be done manually. In this paper we present a framework for automatic generation of inter-node communication by adding communication components to software models. the framework provides flexibility in the level of automation of generation decisions, and is defined in a way which allows adding support for new communication media or protocols. We have implemented the generation framework for the IEC 61499 standard and provide a prototype generation tool, which we use for examining the applicability of the approach.

关键词： IEC standards embedded systems object-oriented programming protocols software standards IEC 61499 standard automatic internode communication generation component-based development component-based distributed embedded systems embedded applications model-driven development software models Generators Media Ports (Computers) Protocols Software

来源：评论

学校读者我要写书评

暂无评论

Fostering functional safety of real-time systems with concepts of object orientation

Fostering functional safety of real-time systems with concep...

引用

International conference on Methods and Models in Automation and Robotics (MMAR)

作者： Christina K. Houben Chair of Computer Engineering Fern Universität in Hagen Hagen Germany

关键词： Safety Runtime Software Prototypes Computer languages Concrete Real-time systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共27页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：