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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

1,995 篇 object-oriented ...
252 篇 nasa technical r...
252 篇 (ntrs)
129 篇 software enginee...
124 篇 java
71 篇 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...
39 篇 design patterns
39 篇 software
38 篇 software reusabi...
38 篇 expert systems
38 篇 artificial intel...

机构

13 篇 naval postgradua...
9 篇 brno university ...
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...

作者

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,831 篇 英文
129 篇 其他
31 篇 中文
3 篇 德文
1 篇 法文

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

共 1995 条记录，以下是1221-1230 订阅

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

详细简洁

排序：

Dynamic identification of MEMS by eigensensitivity and newmark simulation

Dynamic identification of MEMS by eigensensitivity and newma...

引用

Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS

作者： Filho, CJVP Gugliotta, A Somá, A Pavanello, R Politecn Torino Dipartimento Meccan I-10129 Turin Italy Univ Estadual Campinas Fac Mech Engn BR-13083970 Campinas SP Brazil

The study of dynamic behavior is essential for a large number of applications involving microelectromechanical systems (MEMS). Although solutions for static analysis are reaching maturity the simulation of dynamic behavior is still a demanding problem. As analytical solutions for coupled-field problems are hard to be obtained, numerical methods are preferred. In this work, three different numerical strategies for physical level dynamic analysis of MEMS are reported and evaluated. The first approach is based on the Newmark direct integration method, modified to consider the electromechanical coupled-field effects of MEMS. A second method describes the system dynamic behavior through the modal solution of an eigenvalue problem. The numerical algorithms for these two methods are inserted in the software MefLab++. MefLab++ is an object-oriented computer code (written in C++) for numerical simulation of physical problems. The third dynamic simulation is carried out with the ANSYS commercial software by using its transducer element TRANS126 to model the electrical field. The three methods are applied to simple beams and results are compared. The tested methods showed to be suitable for computing the natural frequencies of MEMS structures. Simulation with the ANSYS reduced order element TRANS126 was faster while MefLab++ displacements values were more precise.

关键词： dynamic analysis numerical simulation object-oriented programming electromechanical microsystems

来源：评论

学校读者我要写书评

暂无评论

Using a molecular metaphor to facilitate comprehension of 3D object diagrams

Using a molecular metaphor to facilitate comprehension of 3D...

引用

IEEE Symposium on Visual Languages and Human-Centric Computing

作者： Malloy, BA Power, JF Clemson Univ Clemson SC 29631 USA

ISBN: (纸本)0769524435

This paper presents a strategy for the visualization of dynamic object relationships in Java programs. The metaphor of a chemical molecule is used to aid Comprehension, and to help in reducing the size of the object graph. Our strategy has been implemented by dynamically instrumenting Java bytecode to collect trace data, which is then analyzed and visualized in 3D using VRML. Quantitative and graphical results are presented, based on an analysis of programs in the SPEC JVM98 and JOlden benchmark suites.

关键词： Java data visualisation formal specification object-oriented programming program visualisation virtual reality languages 3D object diagrams JOlden Java bytecode Java programs SPEC JVM98 VRML chemical molecule dynamic object relationship visualization mol

来源：评论

学校读者我要写书评

暂无评论

UML 2.0 in Action: A project-based tutorial: A detailed and practical walk-through showing how to apply UML to real world development projects 1

引用

丛书名： From technologies to solutions

2005年

作者： Henriette Baumann Patrick Gr?ssle Philippe Baumann

ISBN: (数字)9781847190420

ISBN: (纸本)9781904811558

If you've read the UML documentation or a guide to the UML syntax, but don't feel you really know where to start with UML on a live project, then this unique book is what you need. Written as a practical case study, the book sets out to give you the intuitive feel for UML you need to confidently add it to your core development toolkit. The authors walk through a rich analysis and design scenario, explaining which parts of UML to use, and how to use them. The emphasis is on the systematic and practical application of UML to real business cases. The book was written for business analysts, technical architects and developers. It does not require detailed programming knowledge, nor is prior experience of UML mandatory. It shows how, with UML, simple models of business processes and specification models can be created and read with little effort.

关键词： object-oriented programming Other programming Languages

来源：评论

学校读者我要写书评

暂无评论

A formal description of design patterns using OWL

A formal description of design patterns using OWL

引用

16th Australian Software Engineering Conference (ASWEC 2005)

作者： Dietrich, J Elgar, C Massey Univ Palmerston North New Zealand

ISBN: (纸本)0769522572

Design patterns have been used successfully in the last decade to re-use and communicate object-oriented design. However, the documentation of pattern usage is often very poor. This motivates the use of tools which can detect and document design patterns found in software. A couple of approaches have been proposed in recent years. The approach introduced here is based on a formal description of design patterns using the web ontology language OWL. Software artefacts used to define design patterns in a formal and machine processable fashion are represented by uniform resource identifiers (URIs). This yields a description that is open and extensible, and facilitates the sharing of design among software engineers. We discuss the developed software design ontology, and how this approach relates to the meta modelling architecture of the OMG. In the second part, an effective pattern scanner for the java language is presented. This scanner is based on the ontology developed in part one and uses reflection and AST analysis to verify constraints. Various applications of this scanner are discussed.

关键词： software design theory object-oriented programming semantic web design patterns web ontologies automated pattern detection

来源：评论

学校读者我要写书评

暂无评论

A flexible and reusable software for real-time control applications at JET

A flexible and reusable software for real-time control appli...

引用

23rd Symposium on Fusion Technology (SOFT 23)

作者： De Tommasi, G Piccolo, F Sartori, F Assoc Euratom Enea Create Fus Dipartimento Informat & Sistemist I-80125 Naples Italy UKAEA Euratom Fus Assoc Culham Sci Ctr Abingdon OX14 3DB Oxon England

The fast growth of the JET real-time control network and the increasing demand for new systems have been the triggers that started the development of the JETRT software framework. This new architecture is designed for maximum reuse and is particularly suited for implementation of both real-time control and data acquisition systems in a complex experimental environment such as JET. Most of the software is the same in all applications independent of the platform. The varying part is the project specific algorithm, which is also compiled into a separate software component, in order to achieve a separation from the plant interface code. This design choice maximises the software reliability, reduces development costs and allows non-specialist programmers to contribute to the implementation of real-time projects. JETRT also provides an integrated set of debugging and testing tools, some of them well integrated with the Matlab environment. This feature besides the framework portability among different platforms allows to perform most of the test and validation phase on a desktop PC running Windows, significantly reducing the commissioning time of a new real-time system. (c) 2005 Elsevier B.V. All rights reserved.

关键词： JET real-time control object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

The use of roles to model agent behaviors for model driven architecture

The use of roles to model agent behaviors for model driven a...

引用

IEEE SoutheastCon 2005

作者： Huamonte, J Smith, K Thumma, D Bowles, J Mercer Univ Dept Comp Sci Macon GA 31207 USA

ISBN: (纸本)0780388658

Model Driven Architecture (MDA), in which code is produced from a high-level model of the problem solution, promises many benefits over traditional software development methodologies but it has presently been applied mostly to web-based systems using the REE architecture. Software agents, while not a new concept, are also a powerful way to analyze and design dynamic systems. In this paper, we adapt basic AMA techniques together with the concept of agent roles, used to describe the behavior of an agent, to develop a book buying agent based system.

关键词： software agents software engineering Java object-oriented programming agent behavior model roles model driven architecture MDA high-level problem solution model software development methodologies Web-based systems J2EE architecture dynamic systems agent roles book buying agent based system

来源：评论

学校读者我要写书评

暂无评论

Micro patterns in Java code

Micro patterns in Java code

引用

20th Conference on object-oriented programming, Systems, Languages and Applications

作者： Gil, J Maman, I Technion Israel Inst Technol Dept Comp Sci IL-32000 Haifa Israel

Micro patterns are similar to design patterns, except that micro patterns stand at a lower. closer to the implementation, level of abstraction. Micro patterns are also unique in that they are mechanically recognizable, since each such pattern can be expressed as a formal condition on the structure of a class. This paper presents a catalog of 27 micro-patterns defined on JAVA classes and interfaces. The catalog captures a wide spectrum of common programming practices, including a particular and (intentionally restricted) use of inheritance, immutability I data management and wrapping, restricted creation, and emulation of procedural-, modular-, and even functional- programming paradigms with object oriented constructs. Together, the patterns present a set of prototypes after which a large portion Of all JAVA classes and interfaces are modeled. We provide empirical indication that this portion is as high as 75%. A statistical analysis of occurrences of micro patterns in a large software corpus, spanning some 70,000 JAVA classes drawn from a rich set of application domains, shows, with high confidence level that the use of these patterns is not random. These results indicate consciousness and discernible design decisions, which are sustained in the software evolution. With high confidence level, we can also show that the use of these patterns is tied to the specification, or the purpose, that the software realizes. The traceability, abundance and the statistical significance of micro pattern occurrence raise the hope of using the classification of software into these patterns for a more founded appreciation of its design and code quality.

关键词： design object-oriented programming program analysis design patterns implementation patterns

来源：评论

学校读者我要写书评

暂无评论

Uml 2.0 in a Nutshell 2nd

引用

丛书名： In a Nutshell O'Reilly

2005年

作者： Dan Pilone Neil Pitman

ISBN: (纸本)9780596007959

System developers have used modeling languages for decades to specify, visualize, construct, and document systems. The Unified Modeling Language (UML) is one of those languages. UML makes it possible for team members to collaborate by providing a common language that applies to a multitude of different systems. Essentially, it enables you to communicate solutions in a consistent, tool-supported language. Today, UML has become the standard method for modeling software systems, which means you're probably confronting this rich and expressive language more than ever before. And even though you may not write UML diagrams yourself, you'll still need to interpret diagrams written by others. UML 2.0 in a Nutshell from O'Reilly feels your pain. It's been crafted for professionals like you who must read, create, and understand system artifacts expressed using UML. Furthermore, it's been fully revised to cover version 2.0 of the language. This comprehensive new edition not only provides a quick-reference to all UML 2.0 diagram types, it also explains key concepts in a way that appeals to readers already familiar with UML or object-oriented programming concepts. Topics include: The role and value of UML in projectsThe object-oriented paradigm and its relation to the UMLAn integrated approach to UML diagramsClass and object, Use Case, Sequence, Collaboration, Statechart, Activity, Component, and Deployment DiagramsExtension MechanismsThe object Constraint Language (OCL) If you're new to UML, a tutorial with realistic examples has even been included to help you quickly familiarize yourself with the system.

关键词： object-oriented programming Other programming Languages

来源：评论

学校读者我要写书评

暂无评论

Executable visual contracts

Executable visual contracts

引用

IEEE Symposium on Visual Languages and Human-Centric Computing

作者： Lohmann, M Sauer, S Engels, G Univ Paderborn Dept Comp Sci D-33098 Paderborn Germany

ISBN: (纸本)0769524435

Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely by pre- and post-conditions. Existing DbC approaches predominantly use textual representations of contracts to annotate the actual program code with assertions. In the Unified Modeling Language (UML), the textual object Constraint Language (OCL) supports the specification of pre- and post-conditions by constraining the model elements that occur in UML diagrams. However textual specifications in OCL can become complex and cumbersome, especially for software developers who art, typically not used to OCL. In this paper we propose to specify the preand post-conditions of an operation visually by a pair of UML object diagrams (visual contract). We define a mapping of visual contracts into Java classes that are annotated with behavioral interface specifications in the Java Modeling Language (JML). The mapping supports testing the correctness of the implementation against the specification using JML tools, which include a runtime assertion checker Thus we make the visual contracts executable.

关键词： Java Unified Modeling Language formal specification formal verification object-oriented programming software reliability visual programming Java classes Java modeling language UML object diagrams behavior specification behavioral interface specification UML visual programming contract object oriented programming Software reliability Formal verification Specifications Formal specifications interface specification Visualization program code

来源：评论

学校读者我要写书评

暂无评论

Visual integration of UML 2.0 and block diagrams for flexible reconfiguration in MECHATRONIC UML

Visual integration of UML 2.0 and block diagrams for flexibl...

引用

IEEE Symposium on Visual Languages and Human-Centric Computing

作者： Burmester, S Giese, H Univ Paderborn Software Engn Grp D-33098 Paderborn Germany

ISBN: (纸本)0769524435

Today, complex, networked, self-adaptive mechatronic systems which integrate advanced control engineering and software engineering concepts within a single software system are envisioned. These systems adapt their structures at runtime to react to detected environmental changes, to change their system goals, or to react to a change of the system structure. To enable the development of such systems, an integration of object-oriented modeling techniques such as UML and control theory approaches such as functional block modeling is required. Thereby, the successful visual modeling concepts of control engineering should be preserved, as otherwise wide acceptance in industry, which is mainly dominated by control engineers, is very unlikely In this paper we present such a visual integration for UML 2.0 components, Statecharts, and block diagrams developed within the MECHATRONIC UML approach. It permits to graphically model reconfiguration between several pre-defined configurations with statecharts and instance diagrams as well as to specify, the flexible assembly of control configuration if needed by means of visual reconfiguration rules.

关键词： Unified Modeling Language control engineering computing formal specification mechatronics object-oriented programming visual programming UML 2.0 block diagrams control engineering control theory flexible reconfiguration functional block modeling graphica BLOCK DIAGRAM UML control engineering control engineering computing visual programming Control Theory object oriented programming Statecharts Reconfiguration

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共200页 << < 119 120 121 122 123 124 125 126 127 128 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：