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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

965 篇 期刊文献
649 篇 会议
314 册 图书
26 篇 学位论文
5 件 标准
1 篇 资讯

馆藏范围

1,960 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

1,360 篇 工学
- 912 篇 计算机科学与技术...
- 565 篇 软件工程
- 353 篇 电气工程
- 124 篇 控制科学与工程
- 83 篇 机械工程
- 64 篇 信息与通信工程
- 47 篇 电子科学与技术（可...
- 36 篇 力学（可授工学、理...
- 34 篇 材料科学与工程（可...
- 33 篇 土木工程
- 20 篇 仪器科学与技术
- 14 篇 交通运输工程
- 13 篇 石油与天然气工程
- 11 篇 化学工程与技术
- 11 篇 环境科学与工程（可...
- 10 篇 建筑学
228 篇 理学
- 104 篇 数学
- 64 篇 物理学
- 23 篇 生物学
- 19 篇 地球物理学
- 16 篇 化学
- 15 篇 系统科学
- 15 篇 统计学（可授理学、...
124 篇 管理学
- 108 篇 管理科学与工程(可...
- 15 篇 图书情报与档案管...
- 13 篇 工商管理
110 篇 教育学
- 105 篇 教育学
18 篇 农学
18 篇 医学
- 10 篇 基础医学(可授医学...
15 篇 经济学
- 14 篇 应用经济学
10 篇 文学
- 9 篇 新闻传播学
7 篇 法学
3 篇 哲学
3 篇 历史学
3 篇 艺术学
1 篇 军事学

主题

1,960 篇 object-oriented ...
252 篇 nasa technical r...
252 篇 (ntrs)
128 篇 java
122 篇 software enginee...
55 篇 simulation
55 篇 computer program...
49 篇 reports
48 篇 computer program...
48 篇 programming lang...
44 篇 object oriented ...
44 篇 software enginee...
43 篇 design
40 篇 applications pro...
39 篇 architecture (co...
39 篇 software
39 篇 artificial intel...
37 篇 software archite...
37 篇 formal specifica...
37 篇 design patterns

机构

13 篇 naval postgradua...
5 篇 univ macedonia d...
5 篇 univ calif berke...
4 篇 iit dept comp sc...
4 篇 georgia inst tec...
4 篇 univ oslo dept i...
4 篇 newcastle univ d...
3 篇 natl res univ hi...
3 篇 international bu...
3 篇 univ oslo dept m...
3 篇 victoria univ we...
3 篇 city univ hong k...
3 篇 oak ridge natl l...
3 篇 nanjing univ sta...
3 篇 univ lancaster d...
3 篇 nova sch sci & t...
3 篇 technion israel ...
3 篇 univ coll dublin...
3 篇 oak ridge natl l...
3 篇 univ macedonia d...

作者

6 篇 kindler eugene
6 篇 abdalla hs
6 篇 ducasse s
5 篇 sokas algirdas
5 篇 xinogalos stelio...
5 篇 yang jeong
5 篇 budiardja reuben...
5 篇 cardall christia...
5 篇 romanovsky a
5 篇 lee young
5 篇 giacaman nasser
5 篇 chatzigeorgiou a...
4 篇 tan wee hoe
4 篇 kramer matthias
4 篇 brinda torsten
4 篇 chang jm
4 篇 noble j
4 篇 fong anthony s.
4 篇 meyer bertrand
4 篇 lanza m

语言

1,779 篇 英文
145 篇 其他
31 篇 中文
3 篇 德文
1 篇 法文

检索条件"主题词=Object-Oriented Programming"

共 1960 条记录，以下是661-670 订阅

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

详细简洁

排序：

Modeling and Verification of Humanoid Robot Task Coordination

Modeling and Verification of Humanoid Robot Task Coordinatio...

引用

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

作者： Fu, Yujian Drager, Steven Alabama A&M Univ Dept Elect Engn & Comp Sci Huntsville AL 35762 USA US Air Force Res Lab RITA Informat Directorate Rome NY 13441 USA

ISBN: (纸本)9781479934652

This paper presents a component-based framework of humanoid robot task coordination using Predicate Transition Nets (PrT Nets). Humanoid robots have a large number of degrees of freedom (DOF) and they are expected to generate human-like stable behaviors to finish missions. Their motions have to satisfy a set of constraints (balance, coordinated motions, collision free movements), which increases the complexity of the system - each movement may consist of several types of movements and tasks simultaneously. Task is defined as a sequence of movements and/or actions towards to completing a given mission. It is key to represent the task coordination precisely and correctly to program on humanoid robots' motions. To solve the challenge issue of multiple task coordination for a humanoid robot, we presented a framework that integrates Component Based Software Development (CBSD) with Predicate Transition Nets to analyze the correctness of task coordinations. Each component's behavior can be represented by a Predicate Transition Net, and the constraints of the behaviors are described by a set of temporal logic formulae. To ensure the task coordinations are met, a rewriting logic-based model checker is applied to verify the system against the constraints. This formal framework is general and can be used for other type humanoid robots. It allows the representation of motion plans and provides the flexibility of semantic analysis on the humanoid robotics systems.

关键词： formal verification humanoid robots mobile robots object-oriented programming path planning rewriting systems temporal logic CBSD DOF PrT Nets component based software development component behavior degrees of freedom human-like stable behaviors humanoid robot motions humanoid robot task coordination modelling humanoid robot task coordination verification motion planning representation multiple task coordination predicate transition nets rewriting logic-based model checker temporal logic formulae Humanoid robots Legged locomotion Planning Ports (Computers) Robot kinematics Semantics Predicate Transition Nets Task coordination component-based software design formal verification humanoid robotics systems

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

An Algorithm for Keyword Search on an Execution Path

An Algorithm for Keyword Search on an Execution Path

引用

Software Evolution Week / IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE)

作者： Kamiya, Toshihiro Future Univ Hakodate Sch Syst Informat Sci Dept Media Architecture Hakodate Hokkaido 0418655 Japan

ISBN: (纸本)9781479937523

This paper presents a code-search method, which includes an algorithm of keyword code-search and a prototype implementation. In this paper, a query is a set of keywords and a search result is a set of execution paths fulfilling the query, that is, each of the execution paths includes all of the keywords. Here, an execution path represents one of all levels of method calls of all possible dynamic dispatches in an OO program;thus, many execution paths can be generated even from a small program. The algorithm works on a data structure named an And/Or/Call graph, which is a compact representation of execution paths. The prototype implementation searches names of methods or types, or words in string literals from Java source code.

关键词： directed graphs object-oriented programming query processing Java source code OO program and-or-call graph code-search method data structure execution path keyword code-search algorithm object-oriented program query search result Couplings Data structures Indexing Java Prototypes Receivers Software

来源：评论

学校读者我要写书评

暂无评论

Programmable Logic Controllers (PLC) in the Packaging Industry: an object oriented Approach for Developing Control Programs 9

Programmable Logic Controllers (PLC) in the Packaging Indust...

引用

International Microsystems Packaging Assembly and Circuits Technology Conference IMPACT

作者： Pineda-Sanchez, Manuel Perez-Vazquez, Marina Sapena-Bano, Angel Martinez-Roman, Javier Perez-Cruz, Juan Puche-Panadero, Ruben Perez-Vazquez, Victor Univ Politecn Valencia Dept Elect Engn Camino Vera S-N E-46022 Valencia Spain

ISBN: (纸本)9781479977277

Packaging automated industry is based on PLC control systems. Most of them are IEC 61131-3 PLC compliant. The standard was the first step to introduce object oriented programming (OOP) features in the PLC based automation such as encapsulation in Function Blocks. Nevertheless, other major benefits of OOP such inheritance, or polymorphism weren't defined. On the other hand, the standard was born with the aim of create a unique structure of PLC programs providing a way to exchange programs between several PLC brands. However this goal is far from being achieved. In this paper, a new approach to include these OOP benefits is proposed. Besides, programs developed within this framework can be adapted with minimum effort and maximum reliability to different packaging.

关键词： electronics packaging encapsulation object-oriented programming programmable controllers reliability IEC 61131-3 PLC compliant OOP developing control programs function block encapsulation object oriented approach object oriented programming packaging automated industry packaging industry packaging reliability polymorphism programmable logic controllers Automation Conductors IEC standards Packaging programming Relays object oriented programming Programmable logic controllers Packing industry IEC publications Electronics packaging Automation Packaging encapsulation relay conducting bodies development control programming Package reliability Program control

来源：评论

学校读者我要写书评

暂无评论

Recommending Verbs for Rename Method using Association Rule Mining

Recommending Verbs for Rename Method using Association Rule ...

引用

Software Evolution Week / IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE)

作者： Kashiwabara, Yuki Onizuka, Yuya Ishio, Takashi Hayase, Yasuhiro Yamamoto, Tetsuo Inoue, Katsuro Osaka Univ Grad Sch Informat Sci & Technol Suita Osaka 565 Japan Univ Tsukuba Grad Sch Syst & Informat Engn Tsukuba Ibaraki Japan Nihon Univ Coll Engn Tokyo Japan

ISBN: (纸本)9781479937523

An identifier is one of the crucial elements for program readability. Method names in an object-oriented program are important identifiers because method names are used for understanding the behavior of the methods without reading a part of the program. It is well-known that each method name should consist of a verb and objects according to general guidelines. However, it is not easy to name methods consistently since each of the developers may have a different understanding of the verbs and objects used in the method names. As a first step to enable developers to name methods consistently and easily, we focus on the verbs used in the method names. In this paper, we present a technique to recommend candidate verbs for a method name so that developers can use consistent verbs for method names. Given a method, we recommend a list of verbs used in many other methods similar to the given method, by using association rules. We have extracted association rules from 445 OSS projects and applied these rules to two projects. As a result, the extracted rules could recommend the current verbs in the top 10 candidates for 60.6% of the methods covered by our approach. Furthermore, we have identified four meaningful groups of rules for verb recommendation.

关键词： data mining object-oriented programming reverse engineering OSS projects association rule mining method names object-oriented program program identifier program readability rename method verb recommendation Association rules Computer bugs Educational institutions Java Manuals Software Training

来源：评论

学校读者我要写书评

暂无评论

Broken Promises: An Empirical Study into Evolution Problems in Java Programs Caused by Library Upgrades

Broken Promises: An Empirical Study into Evolution Problems ...

引用

Software Evolution Week / IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE)

作者： Dietrich, Jens Jezek, Kamil Brada, Premek Massey Univ Sch Engn & Adv Technol Palmerston North New Zealand Univ W Bohemia Fac Sci Appl CR-30614 Plzen Czech Republic

ISBN: (纸本)9781479937523

It has become common practice to build programs by using libraries. While the benefits of reuse are well known, an often overlooked risk are system runtime failures due to API changes in libraries that evolve independently. Traditionally, the consistency between a program and the libraries it uses is checked at build time when the entire system is compiled and tested. However, the trend towards partially upgrading systems by redeploying only evolved library versions results in situations where these crucial verification steps are skipped. For Java programs, partial upgrades create additional interesting problems as the compiler and the virtual machine use different rule sets to enforce contracts between the providers and the consumers of APIs. We have studied the extent of the problem on the qualitas corpus, a data set consisting of Java open-source programs widely used in empirical studies. In this paper, we describe the study and report its key findings. We found that the above mentioned issues do occur in practice, albeit not on a wide scale.

关键词： Java object-oriented programming program compilers virtual machines API changes Java open-source programs application program interface compiler library upgrades library versions partially upgrading systems qualitas corpus reuse approach system runtime failures virtual machine Contracts Couplings Educational institutions Java Joining processes Libraries Runtime

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Handling Cyclic Execution Paths in Timing Analysis of Component-based Software 40

Handling Cyclic Execution Paths in Timing Analysis of Compon...

引用

40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)

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

ISBN: (纸本)9781479957958

Usage of model-driven and component-based development approaches in embedded systems allows timing analysis to be performed using system models. One of the problems rarely addressed by model-level analysis is support for analysis of cyclic execution paths. In this paper we present a method which allows compositional worst-case execution time analysis to be performed on software models containing such cycles. Our method allows defining cycle bounds for components and connections, and provides an algorithm to analyze cyclic paths containing such bounds. Additionally, we provide a possibility to propagate cycle bound definitions through the component hierarchy. The method is applied to the IEC 61499 component model and its applicability has been tested using a prototype tool.

关键词： object-oriented programming program diagnostics IEC 61499 component model component hierarchy component-based development approach component-based software cycle bounds cyclic execution path handling model-driven development approach model-level analysis timing analysis Algorithm design and analysis Analytical models IEC standards Ports (Computers) Prototypes Software WCET analysis based development cycle cyclic execution loop timing object oriented programming time series analysis Algorithm design and analysis analysis programme IEC publications ANALYSIS MODELS computer software PROTOTYPE Loops

来源：评论

学校读者我要写书评

暂无评论

An ACM 2013 Exemplar Course Integrating Fundamentals, Languages, and Software Engineering 14

An ACM 2013 Exemplar Course Integrating Fundamentals, Langua...

引用

45th ACM SIGCSE Technical Symposium on Computer Science Education (SIGCSE)

作者： Hallstrom, Jason O. Hochrine, Cathy Sorber, Jacob Sitaraman, Murali Clemson Univ Sch Comp Clemson SC 29634 USA

ISBN: (纸本)9781450326056

This paper summarizes our experiences integrating topics in the software development fundamentals (SDF), programming languages (PL), and software engineering (SE) knowledge areas of the ACM 2013 curriculum within a single course. It is novel in combining object-oriented programming and software development practices with fundamental analytical reasoning about software correctness. The aim is to integrate and cover the topics in an effective fashion. The course description in this paper represents an approach we have applied successfully for over 5 years. Students tend to consider this course to be one of the more challenging encountered in the first two years of study. Interestingly, the challenge appears to stem equally from mastering object-oriented programming and design pattern components of the course, as it does from learning to use specifications for analytical reasoning of component correctness.

关键词： ACM curriculum components design patterns formal reasoning object-oriented programming software engineering

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共196页 << < 63 64 65 66 67 68 69 70 71 72 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：