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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

982 篇 期刊文献
649 篇 会议
315 册 图书
29 篇 学位论文
5 件 标准
1 篇 科技报告
1 篇 资讯

馆藏范围

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

日期分布

学科分类号

1,385 篇 工学
- 967 篇 计算机科学与技术...
- 589 篇 软件工程
- 394 篇 电气工程
- 124 篇 控制科学与工程
- 82 篇 机械工程
- 68 篇 信息与通信工程
- 45 篇 电子科学与技术（可...
- 35 篇 力学（可授工学、理...
- 33 篇 材料科学与工程（可...
- 32 篇 土木工程
- 21 篇 仪器科学与技术
- 14 篇 石油与天然气工程
- 14 篇 交通运输工程
- 12 篇 化学工程与技术
- 12 篇 环境科学与工程（可...
- 10 篇 动力工程及工程热...
- 10 篇 测绘科学与技术
228 篇 理学
- 104 篇 数学
- 63 篇 物理学
- 22 篇 生物学
- 19 篇 地球物理学
- 16 篇 化学
- 15 篇 系统科学
- 15 篇 统计学（可授理学、...
124 篇 管理学
- 108 篇 管理科学与工程(可...
- 15 篇 图书情报与档案管...
- 14 篇 工商管理
110 篇 教育学
- 105 篇 教育学
21 篇 农学
- 10 篇 作物学
19 篇 医学
16 篇 经济学
- 15 篇 应用经济学
10 篇 文学
7 篇 法学
3 篇 哲学
3 篇 历史学
3 篇 艺术学
1 篇 军事学

主题

1,982 篇 object-oriented ...
252 篇 nasa technical r...
252 篇 (ntrs)
127 篇 software enginee...
122 篇 java
67 篇 object oriented ...
55 篇 computer program...
52 篇 simulation
49 篇 reports
48 篇 computer program...
47 篇 programming lang...
43 篇 design
41 篇 formal specifica...
40 篇 applications pro...
40 篇 architecture (co...
40 篇 software
38 篇 expert systems
38 篇 artificial intel...
37 篇 software reusabi...
37 篇 design patterns

机构

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

作者

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

语言

1,817 篇 英文
129 篇 其他
32 篇 中文
3 篇 德文
1 篇 法文

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

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

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

详细简洁

排序：

A Middleware for Managing Non-Functional Requirements in Cloud PaaS

A Middleware for Managing Non-Functional Requirements in Clo...

引用

International Conference on Cloud and Autonomic Computing (ICCAC)

作者： Braubach, Lars Jander, Kai Pokahr, Alexander Univ Hamburg Dept Comp Sci Distributed Syst Grp Hamburg Germany

ISBN: (纸本)9781479958412

A key aspect of distributed applications in platformas-a-service clouds revolves around the definition of requirements for quality of service and the most efficient use of the available resources to achieve them. Matching both the requirements and resources represents a unique challenge: While requirements are generally defined in relatively abstract form and defined as system-wide parameters, the resources are concrete, low-level entities that, by themselves, are only of marginal influence on the requirements. In order to establish a relationship between these two requires both the agglomeration of properties into more abstract ones as well as refining requirements in more detailed, concrete ones, both of which can often only be done to a certain degree. This paper presents a vision how both aspects can be brought to the same level and introduces an approach enhancing component-based cloud applications with non-functional properties in the context of an integrated programming model. This allows developers of such applications to formally declare properties that may influence the application during runtime and document the expectations regarding non-functional aspects of the overall system. This can be used to ensure the health of the application and, in case requirements are violated, actions like the deployment of additional resources can be performed in order to alleviate any degradation of its non-functional state, either by evaluating, choosing and performing pre-defined actions automatically or by manual administrative intervention.

关键词： cloud computing middleware object-oriented programming administrative intervention cloud PaaS component-based cloud applications integrated programming model nonfunctional properties nonfunctional requirements platform-as-a-service clouds Concrete Current measurement Middleware Monitoring programming Quality of service Runtime cloud applications components platform-as-a-service programming model Middleware Cloud Computing Runtime Quality of service Electric current measurement Current measuring object oriented programming programming Concrete linear programming models Integer programming models

来源：评论

学校读者我要写书评

暂无评论

Service-oriented Distributed Control Software Design for Process Automation Systems

Service-Oriented Distributed Control Software Design for Pro...

引用

IEEE International Conference on Systems, Man, and Cybernetics (SMC)

作者： Dai, Wenbin (William) Peltola, Jukka Vyatkin, Valeriy Pang, Cheng Lulea Univ Technol Dept Comp Sci Elect & Space Engn Lulea Sweden Aalto Univ Dept Informat & Comp Syst Automat Espoo Finland

ISBN: (纸本)9781479938407

Improving software development efficiency and reusability of existing programs is an important topic for industrial automation. Recently, modern software paradigms have been introduced into the automation domain such as object-oriented programming using the IEC 61131-3 standard and component-based design based on the IEC 61499 standard. In this paper, another software paradigm - service-oriented architecture is applied to the software design for automation programs. The proposed SOA pattern is based on a multilayered structure with enhanced reusability and flexibility. A case study of water heating system is implemented to prove the concept of SOA paradigm.

关键词： Service-oriented Architecture Component-based design object-oriented programming IEC 61131-3 PLCs IEC 61499 Function Blocks

来源：评论

学校读者我要写书评

暂无评论

Compile-time Reflection and Metaprogramming for Java 14

Compile-time Reflection and Metaprogramming for Java

引用

ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM)

作者： Miao, Weiyu Siek, Jeremy Univ Colorado Boulder CO 80309 USA

ISBN: (纸本)9781450326193

Java reflection enables us to write reusable programs that are independent of certain classes. However, when runtime performance is a big concern, we propose to use compile-time reflection for writing metaprograms that generate non-reflective class/type specific code, which has lower runtime cost. We proposed both compile-time reflection and metaprogramming for Java, and extended our previous work on pattern-based traits. Pattern-based traits integrate pattern-based reflection with flexible composition of traits. They are capable of pattern-matching over class members and generating expressive code. We add and formalize pattern-based reflection at the statement-level, which enables a meta program to generate statements. We add reified generics for pattern-based traits, which enables a pattern to iterate over any class when traits are instantiated. We implemented an ORM tool (called PtjORM) using pattern-based traits. PtjORM uses compile-time reflection and our benchmark tests show that it has competitive runtime performance compared to the mainstream Java ORM tools.

关键词： compile-time reflection metaprogramming object-oriented programming traits object-relational mapping

来源：评论

学校读者我要写书评

暂无评论

A Compiler Project with Learning Progressions 2014

A Compiler Project with Learning Progressions

引用

36th International Conference on Software Engineering ((ICSE Companion)

作者： Rayside, Derek Univ Waterloo Elect & Comp Engn Waterloo ON N2L 3G1 Canada

ISBN: (纸本)9781450327688

We describe the design of an undergraduate compilers course that is explicitly intended to teach software engineering concepts and skills in addition to compiler concepts. This objective is accomplished by structuring the course around two parallel learning progressions rather than around the logical structure of a compiler. The nominal purpose of the project is to develop a simulator and synthesizer for simple circuits written in a subset of VHDL. This subset of VHDL is translated to a simple LL(1) boolean formula language. The circuit simulator reads and writes binary waveforms according to a regular grammar. The students start working with the simple waveform language and work their way up to the subset of VHDL. As the complexity of the input language and transformations increases, new software engineering concepts are introduced to help manage that complexity. At the end of the project the students can simulate and synthesize simple circuits such as a ripple-carry adder or a multiplexer.

关键词： Design Languages Compilers learning progression software engineering object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

An object-oriented Framework for Interface Stress Element Method

An Object-Oriented Framework for Interface Stress Element Me...

引用

2nd International Conference on Advances in Computational Modeling and Simulation (ACMS 2013)

作者： Feng, Biao Jin, Bo Lan, Riqing Chen, Hao China Earthquake Adm Inst Engn Mech Harbin 150080 Peoples R China

ISBN: (纸本)9783037859063

This work describes our efforts towards building an object-oriented software framework for Interface Stress Element Method (ISEM), a newly developed numerical method for discontinuous and fracture problems. Based on the improved Interface Stress Element Method and object-oriented technology, we recognized major objects in ISEM and their interrelations. Then the class hierarchy, modules organization and data interfaces scheme were presented. We also addressed implementation issues and main features of this framework, which integrated a solver, a post-processor, a preprocessor and a model data converter. Numerical examples demonstrated that this system works well, which is a good starting point for further development.

关键词： object-oriented programming Interface Stress Element Method C plus

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：