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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

1,396 篇 工学
- 976 篇 计算机科学与技术...
- 596 篇 软件工程
- 401 篇 电气工程
- 123 篇 控制科学与工程
- 83 篇 机械工程
- 68 篇 信息与通信工程
- 48 篇 电子科学与技术（可...
- 36 篇 力学（可授工学、理...
- 34 篇 材料科学与工程（可...
- 33 篇 土木工程
- 21 篇 仪器科学与技术
- 14 篇 交通运输工程
- 13 篇 石油与天然气工程
- 12 篇 环境科学与工程（可...
- 11 篇 化学工程与技术
- 10 篇 建筑学
- 10 篇 测绘科学与技术
230 篇 理学
- 105 篇 数学
- 65 篇 物理学
- 22 篇 生物学
- 19 篇 地球物理学
- 15 篇 化学
- 15 篇 系统科学
- 15 篇 统计学（可授理学、...
128 篇 管理学
- 112 篇 管理科学与工程(可...
- 15 篇 工商管理
- 15 篇 图书情报与档案管...
111 篇 教育学
- 106 篇 教育学
21 篇 农学
- 10 篇 作物学
19 篇 医学
17 篇 经济学
- 16 篇 应用经济学
10 篇 文学
7 篇 法学
3 篇 哲学
3 篇 历史学
3 篇 艺术学
1 篇 军事学

主题

1,991 篇 object-oriented ...
252 篇 nasa technical r...
252 篇 (ntrs)
128 篇 software enginee...
122 篇 java
68 篇 object oriented ...
55 篇 computer program...
54 篇 simulation
49 篇 reports
47 篇 computer program...
47 篇 programming lang...
43 篇 design
40 篇 applications pro...
40 篇 architecture (co...
40 篇 formal specifica...
40 篇 software
39 篇 artificial intel...
38 篇 software reusabi...
38 篇 expert systems
38 篇 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...

作者

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

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

共 1991 条记录，以下是871-880 订阅

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

详细简洁

排序：

A Component-oriented Metamodel for the Modernization of Software Applications

A Component-oriented Metamodel for the Modernization of Soft...

引用

IEEE Int Conf/Workshops on Engineering of Autonomicand Autonomous Systems/Int Conf on the Engineering of Computer-Based Systems/Int Conf on the Engineering of Complex Computer Systems

作者： Baresi, Luciano Miraz, Matteo Politecn Milan Dipartimento Elettron & Informaz I-20133 Milan Italy

ISBN: (纸本)9780769543819

The modernization of a software system is a complex and expensive task and requires a deep understanding of the existing system. The capability of re-factoring a complex application into some high-level views is mandatory to elicit its structure and start localize possible changes. The high number of different implementation technologies imposes a model-based, neutral approach to reconstruct the structure and hide unnecessary details. OMG supports this view and proposes KDM (Knowledge Discovery Metamodel) as means to describe software systems in detail, but unfortunately KDM supports a component-oriented decomposition of the system of interest only partially. To bypass this limitation, the paper proposes the COMO (Component-oriented MOdernization) metamodel to extend KDM, by borrowing recurring concepts from component-based solutions and software architectures, and to support a proper componentization of the system we want to modernize. The paper presents the main elements of the COMO metamodel and exemplifies them on a simple case study.

关键词： Computer architecture Organizations programming Software architecture Software systems complex application refactoring component-oriented modernization metamodel data mining knowledge discovery metamodel object-oriented programming software application modernization software architecture software architectures software maintenance

来源：评论

学校读者我要写书评

暂无评论

System development using Petri net based modules

System development using Petri net based modules

引用

9th IEEE International Conference on Industrial Informatics (INDIN)

作者： Costa, Aniko Gomes, Luis Univ Nova Lisboa UNINOVA CTS P-1200 Lisbon Portugal

ISBN: (纸本)9781457704345

Model Based Development within the area of embedded systems hardware-software co-design has been demonstrated to be effective to handle system complexity. Several modeling formalisms are widely used within this area. The work presented in this paper aims to contribute for the usage of Petri nets as the system-level specification language within model-based development of embedded systems using co-design techniques. System model partitioning into modules and components ready to be implemented in hardware or software and be deployed into a distributed platform is a major concern within co-design methodologies. Having Petri net as underlying modeling formalisms the net splitting operation can be used in order to decompose the model into several sub-models. The resulted sub-models can be seen as components and executed in parallel communicating using directed synchronous communication channels. In this paper it is presented how to modify the splitted model in order to be considered as composable modules, supporting module reutilization, which is a key impact factor within engineering activities. The proposed techniques rely on keeping the module interface unchanged in order to support the integration of the module in new situations.

关键词： Analytical models Communication channels Control systems Mathematical model Petri net based modules Petri nets Petri nets Software Synchronization computational complexity directed synchronous communication channels distributed platform embedded systems embedded systems hardware-software codesign formal specification hardware-software codesign model based development net splitting operation object-oriented programming system complexity system development system-level specification language

来源：评论

学校读者我要写书评

暂无评论

Holonic-based Flexible Allocation of Workforce in Labour-intensive Manufacturing Shop floors

Holonic-based Flexible Allocation of Workforce in Labour-int...

引用

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

作者： Jules, Guiovanni Saadat, Mozafar Tan, Melissa C. L. Owliya, Mohammad Univ Birmingham Sch Mech Engn Birmingham B15 2TT W Midlands England

ISBN: (纸本)9781457706530

Assembly-based operations, in one-off and batch production, are mostly served by labour-intensive industries. The throughput performances of those industries are highly dependent on the performance of the labour on the job and the availability of the workers. The most significant threat to those industries is the sudden unavailability of skilled labour. Through a flexible workforce allocation system, such disturbances can be attenuated. This paper presents a workforce allocation system developed from the concepts of holonic manufacturing systems and PROSA reference architecture. The system is tested using a specifically developed C++ object-oriented software. Production data were gathered from the case study of a large computer manufacturing factory and used to simulate the proposed system. The paper then presents a comparison of the factory conventional method of workforce allocation and the proposed holonic workforce allocation system.

关键词： Workforce Allocation Holonic Manufacturing System object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Progress in PLC programming for Distributed Automation Systems Control

Progress in PLC Programming for Distributed Automation Syste...

引用

9th IEEE International Conference on Industrial Informatics (INDIN)

作者： Basile, Francesco Chiacchio, Pasquale Gerbasio, Diego Univ Salerno DIEII Salerno Italy

ISBN: (纸本)9781457704345

Industrial automation plants are controlled essentially by PLC-based control systems. PLCs are today mostly programmed in the languages of the IEC 61131-3 standard which are not ready to meet the new challenges of widely distributed automation systems. Currently, different solutions are under development from industry and research: an extension of IEC 61131-3 which includes object oriented programming;the adoption of the new standard IEC 61499 which makes the software execution event-based instead of scan-cycle based as in IEC 61131-3 standard. In this paper it is shown how object oriented programming implicitly makes event-based the PLC software behavior. Moreover, it is shown how supervisory control can help in designing correct software in this context.

关键词： Automation Heating IEC 61131-3 standard IEC 61499 IEC standards IEC standards Mixers PLC programming PLC software behavior PLC-based control system programming Reactive power Software control engineering computing distributed automation systems control distributed control event-based software execution industrial automation plants industrial control object oriented programming object-oriented programming production engineering computing programmable controllers scan-cycle based software execution software design supervisory control

来源：评论

学校读者我要写书评

暂无评论

Instance-Level Modeling and Simulation Using Lambda-Calculus and object-oriented Environments

Instance-Level Modeling and Simulation Using Lambda-Calculus...

引用

7th International Workshop on Enterprise and Organizational Modeling and Simulation

作者： Merunka, Vojtech Czech Univ Life Sci Prague Fac Econ & Management Dept Informat Engn Prague Czech Republic

ISBN: (纸本)9783642241741

We present instance-level modeling and simulation approach and related software environments. First part of this paper describes the role of the instance-level modeling and simulation in the area of software engineering and presents our approach affiliated with lambda-calculus theory. Next, a supporting tool we developed is discussed. Instance-level modeling and simulation is based on manipulation with particular object instances containing real data in similar way as in database querying. This enables to validate, verify and refine the conceptual model even before its final software implementation. The idea of object-level modeling is already being implemented in several educational or development tools, however these tools are too much oriented to target programming environment (typicaly mainstream C-based languages like Java or C#) and are focused on class-level models of software implementation. This is why in the second part we propose to work with ODMG-compliant object databases and also describe our own modeling and simulation tool. Our approach has been used for rapid prototyping in our software development projects and in formal design and software engineering courses at several european and U.S. universities. Interesting outcomes of this experience are not only related to application development, but also to business engineering, where instance-level models refines the business process design.

关键词： instance-level modeling and simulation lambda-calculus object-oriented programming ODMG standard OQL OCL Smalltalk

来源：评论

学校读者我要写书评

暂无评论

Enabling the Runtime Assertion Checking of Concurrent Contracts for the Java Modeling Language 11

Enabling the Runtime Assertion Checking of Concurrent Contra...

引用

33rd International Conference on Software Engineering (ICSE)

作者： Araujo, Wladimir Briand, Lionel C. Labiche, Yvan Juniper Networks 700 Silver 7 Rd Ottawa ON K2V 1C3 Canada Univ Oslo Simula Res Lab N-0316 Oslo Norway Carleton Univ Ottawa ON K1S 5B6 Canada

ISBN: (纸本)9781450304450

Though there exists ample support for Design by Contract (DbC) for sequential programs, applying DbC to concurrent programs presents several challenges. In previous work, we extended the Java Modeling Language (JML) with constructs to specify concurrent contracts for Java programs. We present a runtime assertion checker (RAC) for the expanded JML capable of verifying assertions for concurrent Java programs. We systematically evaluate the validity of system testing results obtained via runtime assertion checking using actual concurrent and functional faults on a highly concurrent industrial system from the telecommunications domain.

关键词： Design by contract concurrency object-oriented programming Java JML

来源：评论

学校读者我要写书评

暂无评论

Decouplink: Dynamic Links for Java

Decouplink: Dynamic Links for Java

引用

5th European Conference on Software Architecture (ECSA 2011)

作者： Rytter, Martin Jorgensen, Bo Norregaard Univ So Denmark Maersk McKinney Moller Inst DK-5230 Odense M Denmark

ISBN: (纸本)9783642237973

Software entities should be open for extension, but closed to modification. Unfortunately, unanticipated requirements emerging during software evolution makes it difficult to always enforce this principle. This situation poses a dilemma that is particularly important when considering component-based systems: On the one hand, violating the open/closed principle by allowing for modification compromises independent extensibility. On the other hand, trying to enforce the open/closed principle by prohibiting modification precludes unanticipated dimensions of extension. Dynamic links increase the number of dimensions of extension that can be exploited without performing modification of existing types. Thus, dynamic links make it possible to enforce the open/closed principle in situations where it would otherwise not be possible. We present Decouplink - a library-based implementation of dynamic links for Java. We also present experience with the use of dynamic links during the evolution of a component-based control system.

关键词： Dynamic links extensibility object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

THE HOUSE PLAN DRAWING AND HEATING SYSTEM AUTOMATED DESIGN 8

THE HOUSE PLAN DRAWING AND HEATING SYSTEM AUTOMATED DESIGN

引用

8th International Conference Environmental Engineering

作者： Sokas, Algirdas Vdovinskiene, Sonata Vilnius Gediminas Tech Univ Dept Engn Graph LT-10223 Vilnius Lithuania

ISBN: (纸本)9789955288275

The heating system design is directly related to the building's plan drawings. The article reviews the possibility of programming a way to find the necessary information directly from the drawing and using it for designing the heating system. Automated objects recognition is very relevant to computer science. The building contours and windows positions are found in the plan of the premise. The heating system is automatically designed based on the found data. This article explores the drawing's graphical objects rectangular setting. All the lines forming a rectangular are assembled into an array and numbered to determine their dependence on a particular rectangular. From that information the room's area is calculated. Windows positions on the plan determine the geometry of the windows blocks. Specific creation features of the house heating automated design system are discussed and conclusions are made.

关键词： Automated objects recognition object-oriented programming house heating design Unified Modeling Language

来源：评论

学校读者我要写书评

暂无评论

Compositionality and CPS from a Platform Perspective

Compositionality and CPS from a Platform Perspective

引用

1st International Workshop on Cyber-Physical Systems, Networks, and Applications (CPSNA) held during 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)

作者： Nolte, Thomas Malardalen Univ Malardalen Real Time Res Ctr POB 883 SE-72123 Vasteras Sweden

ISBN: (纸本)9780769545028

Cyber Physical Systems (CPS) comprise the integration of embedded computer systems and the physical processes that these computer systems interact with. Examples of such systems stretch from small embedded devices, e.g., intelligent sensor systems, to larger and often complex industrial systems, e.g., industrial automation systems. These systems are not only subject to functional requirements, but also non-functional requirements such as timing, resource usage, and reliability. CPS development (including software development) is substantially facilitated if the system parts can be developed and verified in isolation, and if the correctness of the system can be inferred from the correctness of its parts. Such modular and compositional design of software systems has for a long time been considered the holy-grail of system design, and is unfortunately only possible in selected scenarios. This paper covers one such scenario: using hierarchical runtime mechanisms in the platform to enable predictable resource usage and temporal isolation of CPS software. Our overall goal is to develop cost efficient mechanisms that are applicable for a wide range of systems.

关键词： CPS Job shop scheduling Protocols Real time systems Resource management Servers Software Synchronization compositional design cyber physical systems design embedded computer systems embedded systems modular design nonfunctional requirements object-oriented programming software development software engineering software systems

来源：评论

学校读者我要写书评

暂无评论

Design of a Parameter Determination System for Non-Isolated Converter Topologies

Design of a Parameter Determination System for Non-Isolated ...

引用

International Aegean Conference on Electrical Machines and Power Electronics / Electromotion Joint Conference

作者： Colak, I. Innak, E. Yesilbudak, M. Kabalci, E. Gazi Univ Fac Teclmol Dept Elect & Elect Engn Gazi Elect Machines & Energy Control GEMEC Grp Ankara Turkey Nevsehir Univ Dept Elect & Automat Vocat Coll Haci Bektas Veli Gazi Elect Machines & Energy Control GEMEC Grp Nevsehir Turkey

ISBN: (纸本)9781467350037;9781467350044

Nowadays, power electronics systems developed need small size, reliable, high quality and efficient switch mode power supplies. However, switch mode power supplies also require determining the operating parameters accurately for achieving intended energy conversion effectively and faultlessly. In this study, an interactive and object oriented parameter determination system was designed for Buck, Boost, Buck-Boost and Cuk converter topologies. Users have used the system interface easily through the interactivity of the system and the user requests have been accomplished quickly through the object oriented programming Accuracy and reliability of the system have been tested separately for each type of the converter and it has been shown that the performance in the process of determining the parameters of the system is effective and optimum.

关键词： DC-DC power convertors electronic engineering computing integrated circuit reliability network topology object-oriented programming switched mode power supplies

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共200页 << < 84 85 86 87 88 89 90 91 92 93 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：