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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 册 图书
26 篇 学位论文
5 件 标准
1 篇 资讯

馆藏范围

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

日期分布

学科分类号

1,387 篇 工学
- 967 篇 计算机科学与技术...
- 591 篇 软件工程
- 398 篇 电气工程
- 124 篇 控制科学与工程
- 83 篇 机械工程
- 68 篇 信息与通信工程
- 48 篇 电子科学与技术（可...
- 36 篇 力学（可授工学、理...
- 33 篇 材料科学与工程（可...
- 33 篇 土木工程
- 21 篇 仪器科学与技术
- 14 篇 交通运输工程
- 13 篇 石油与天然气工程
- 12 篇 环境科学与工程（可...
- 11 篇 化学工程与技术
- 10 篇 建筑学
- 10 篇 测绘科学与技术
227 篇 理学
- 104 篇 数学
- 63 篇 物理学
- 22 篇 生物学
- 19 篇 地球物理学
- 15 篇 化学
- 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
68 篇 object oriented ...
55 篇 computer program...
52 篇 simulation
49 篇 reports
47 篇 computer program...
47 篇 programming lang...
43 篇 design
41 篇 formal specifica...
40 篇 applications pro...
40 篇 architecture (co...
40 篇 software
39 篇 artificial intel...
38 篇 expert systems
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,819 篇 英文
128 篇 其他
31 篇 中文
3 篇 德文
1 篇 法文

检索条件"主题词=object-oriented programming"

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

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

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Formal methods in the era of service-oriented design

Formal methods in the era of service-oriented design

引用

35th Annual IEEE International Computer Software and Applications Conference (COMPSAC)

作者： Margaria, Tiziana Univ Potsdam Chair Serv & Software Engn Potsdam Germany

ISBN: (纸本)9780769544397

The adoption of services on the architectural side has been rather prompt, sometimes turning a pre-existing offer of component-like software into a coarse or fine granular offer of services, in a quick SOA adaptation, and more recently along the lines proposed by the Service Component Architecture (SCA). On the contrary, service-oriented computing (the operational side of the SO-* paradigm) is not as easily producible from preexisting systems that were not conceived for this kind of deep-black box provision. The behavioural side of service engineering is still lagging behind the maturity of the mere architectural perspective because it is intrinsically more difficult to convert post factum. The realm of consistency and compliance is the home turf of formal methods; but which formal methods are adequate to support seamlessly this very large scale and heterogeneous transition to the era of services en masse? Delegation and hiding are the primary commandments of thinking in services; but what is truly required is automatic, efficient, powerful machine-readable support in a world that systematically shields internal details, and this for all the questions that concern eg. service selection and composition from a behavioural point of view. How it is built is not important, how it functions and how to use the service are here in the center of the attention.

关键词： Bioinformatics Biological system modeling Conferences Formal Methods Semantic Web Semantics Service engineering Software USA Councils agility architectural side behavioural side component-like software deep-black box provision flexible design formal method object-oriented programming service component architecture service engineering service-oriented architecture service-oriented architecture service-oriented computing service-oriented design

来源：评论

学校读者我要写书评

暂无评论

A Model Driven Framework for N-Version programming

A Model Driven Framework for N-Version Programming

引用

5th IEEE International Systems Conference

作者： Lewis, Craig A. Smith, Ronald W. Beaulieu, Alain Royal Mil Coll Canada Dept Elect & Comp Engn Kingston ON K7K 7H6 Canada

ISBN: (纸本)9781424494927

Complex systems-of-systems (SoS) requiring fault-tolerance and high reliability often require redundant systems. The concept of redundancy that includes components with differing failure modes is well understood in the realm of hardware design. N-version programming, although shown to produce significant gains in software reliability over single-version fault tolerant techniques, is not widely accepted or applied. This is due, in part, to N-version programming's lengthy development time and its inherent problems with version independence. Model Driven Software Development (MDSD) is a process that promises gains in software productivity and quality. While progress in MDSD has witnessed the expansion of the supporting Unified Modeling Language profile for modeling fault tolerant characteristics, and the development of specific design patterns for the production of fault tolerant software, MDSD's support in the generation and testing of fault tolerant applications is not evident or explicitly defined. This paper discusses the development of a fault tolerant MDSD framework, which enables users to design, implement and test fault tolerant applications using the N-version modeling technique. The framework closes the gap between existing modeling patterns and the practical application of fault tolerant MDSD, and supports follow-on research to address specific questions relating to the benefits of MDSD within the fault tolerance software domain.

关键词： Concrete Fault tolerance Fault tolerant systems MDSD N-version programming programming Software Software reliability Unified Modeling Language Unified modeling language design patterns fault tolerant software fault tolerant testing model driven software development object-oriented programming program testing redundancy redundancy redundant systems software fault tolerance software reliability systems-of-systems unified modeling language

来源：评论

学校读者我要写书评

暂无评论

Simula: Mother Tongue for a Generation of Nordic Programmers 3rd

Simula: Mother Tongue for a Generation of Nordic Programmers

引用

3rd IFIP Conference on the History of Nordic Computing

作者： Sundblad, Yngve KTH S-10044 Stockholm Sweden

ISBN: (纸本)9783642233159

With Simula 67 Ole-Johan Dahl and Kristen Nygaard invented object-oriented programming. This has had an enormous impact on program development tools and methods in the world, well accounted in conferences and books, on programming languages and object-oriented programming, and on software pioneers. Early influenced were computer scientists in the Nordic countries who from about 1970 had Simula as the main programming tool, "mother tongue." This paper gives a first-hand account of experience of a unique early introduction of object-oriented programming for higher education in computer science and in computer programming, which provided powerful program development tools long before other educational institutions, especially as it coincided with the introduction of powerful interactive systems. The paper also challenges the misconception that Simula is primarily a tool for simulation by illustrating how it was used to teach general computer science and programming concepts with more general-purpose constructs than most contemporary languages, except perhaps Lisp.

关键词： Computer science education Nordic programmers object-oriented programming Simula

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：