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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

6,253 篇 会议
1,401 篇 期刊文献
24 篇 学位论文
11 册 图书
6 篇 科技报告

馆藏范围

7,695 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

5,638 篇 工学
- 5,062 篇 计算机科学与技术...
- 4,689 篇 软件工程
- 504 篇 电气工程
- 334 篇 控制科学与工程
- 244 篇 信息与通信工程
- 115 篇 机械工程
- 93 篇 土木工程
- 88 篇 建筑学
- 87 篇 电子科学与技术（可...
- 48 篇 材料科学与工程（可...
- 47 篇 生物工程
- 43 篇 仪器科学与技术
- 42 篇 力学（可授工学、理...
- 37 篇 化学工程与技术
- 33 篇 生物医学工程（可授...
- 32 篇 航空宇航科学与技...
- 32 篇 环境科学与工程（可...
1,131 篇 理学
- 859 篇 数学
- 136 篇 物理学
- 96 篇 系统科学
- 81 篇 统计学（可授理学、...
- 62 篇 生物学
- 47 篇 化学
841 篇 管理学
- 496 篇 管理科学与工程(可...
- 400 篇 图书情报与档案管...
- 218 篇 工商管理
258 篇 教育学
- 242 篇 教育学
64 篇 法学
- 54 篇 社会学
50 篇 医学
- 38 篇 临床医学
40 篇 经济学
- 38 篇 应用经济学
14 篇 农学
13 篇 文学
10 篇 军事学
10 篇 艺术学

主题

7,695 篇 object oriented ...
909 篇 object oriented ...
429 篇 computer languag...
427 篇 programming prof...
424 篇 application soft...
388 篇 computer science
375 篇 java
284 篇 software enginee...
203 篇 software systems
148 篇 computer archite...
142 篇 concurrent compu...
131 篇 libraries
125 篇 encapsulation
121 篇 education
121 篇 software design
121 篇 distributed comp...
117 篇 data structures
116 篇 prototypes
114 篇 object oriented ...
114 篇 logic programmin...

机构

16 篇 victoria univers...
15 篇 software composi...
15 篇 brno university ...
14 篇 department of co...
11 篇 dipartimento di ...
9 篇 univ of texas at...
8 篇 carnegie mellon ...
8 篇 eth
7 篇 cwi
7 篇 sun microsystems
7 篇 ibm
7 篇 eth zurich
7 篇 carnegie mellon ...
7 篇 department of ap...
7 篇 natl univ of sin...
7 篇 tsinghua univ
6 篇 univ of tokyo
6 篇 ohio state univ ...
6 篇 ieee
6 篇 promodel corpora...

作者

38 篇 noble james
19 篇 meyer bertrand
16 篇 nierstrasz oscar
15 篇 ducasse stéphane
15 篇 aldrich jonathan
14 篇 yonezawa akinori
14 篇 drossopoulou sop...
14 篇 de boer frank s.
13 篇 ancona davide
13 篇 mezini mira
12 篇 chen huo yan
11 篇 elrad tzilla
11 篇 black andrew p.
11 篇 xinogalos stelio...
11 篇 masuhara hidehik...
11 篇 vitek jan
10 篇 potanin alex
10 篇 de meuter wolfga...
10 篇 naumann david a.
9 篇 biddle robert

语言

7,460 篇 英文
159 篇 其他
31 篇 中文
14 篇 日文
8 篇 俄文
5 篇 西班牙文
5 篇 法文
4 篇 德文
3 篇 葡萄牙文
3 篇 土耳其文
1 篇 乌克兰文

检索条件"主题词=Object oriented programming"

共 7695 条记录，以下是881-890 订阅

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

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

Accountability for Abstract Component Design 40

Accountability for Abstract Component Design

引用

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

作者： Benghabrit, Walid Grall, Herve Royer, Jean-Claude Sellami, Mohamed Mines Nantes F-44307 Nantes France

ISBN: (纸本)9781479957958

The importance of the services-based market, 62.9% of the World gross domestic product (GDP) [1], triggered an increase in the use of software offered on-line as services (SaaS). The use of such software usually implies the flow of personal data on-line between several parties. This can make users reluctant to their use. In this work, we consider this issue at the design-time of the software and we propose some foundations for an accountable software design. Accountability for a software is a property describing, among other aspects, its liability to end-users for the usage of the data it has been entrusted. We propose to enrich software's component design by accountability clauses using an abstract accountability language (AAL). We also define conditions for the well-formedness of an accountable component design and show how they can be checked using a model-checking tool.

关键词： cloud computing economic indicators formal verification object-oriented programming AAL GDP SaaS abstract accountability language accountability clauses accountable component design accountable software design gross domestic product model checking tool personal data flow services-based market software component design software liability software offered on-line as services Abstracts Data privacy Law Process control Semantics Software accountability component design model-checking verification component design economic indicators Cloud Computing Accountability computer software Software as a service anti-aircraft light Model checking Data privacy object oriented programming Formal verification Guanosine 5'-(trihydrogen diphosphate) GASEOUS DIFFUSION PLANTS Process control Semantics

来源：评论

学校读者我要写书评

暂无评论

A Fidelity Framework for Small Arms Combat 48

A Fidelity Framework for Small Arms Combat

引用

48th Annual IEEE International Conference Carnahan on Security Technology (ICCST)

作者： Murton, Mark Johnston, Paul Waymire, Russel Belasich, Deborah Sandia Natl Labs POB 5800 Albuquerque NM 87185 USA

ISBN: (纸本)9781479935321

Modelling and simulation (Mod-Sim) tools are becoming a crucial component in the design and evaluation of cyber and physical security systems. Many Mod-Sim tools exist for the elucidation of attack scenarios, characterization of facility vulnerabilities, and the construction and maintenance of optimal protection systems. The growing use of Mod-Sim tools for assessment of physical and cyber security systems necessitates a consistency in the existence of requirements and in the definitions of use for the models defined within a simulation. There are currently many Mod-Sim software tools available for use in characterizing various combat, physical, and cyber security scenarios. Even with the existence of a glossary distributed by the Modeling and Simulation Information Analysis Center-U.S. Department of Defense, there is a lack of requirement specifications and definitions for many of the terms and processes used in the modelling and simulation field. A more meaningful understanding for the construction of useful analyses is needed. It is critical that requirements, definitions, and processes be clearly identified and agreed upon before undertaking any effort to establish an analysis tool. In so doing, more cost effective model and simulation tools can then be developed that will produce scenarios, environments, and execution models that provide more a meaningful analyses of interest. In this paper, we will define the term fidelity and we will show how to consistently and appropriately apply the term to models that are used in simulation. Our intent is to develop a boundary for the meaning so that it can be used as a definitive basis with which to assess how well a model, and its function within a scenario, satisfies the end goal of answering the appropriate questions for which the scenario and simulation were constructed. Fidelity will be derived from various aspects of a model's purpose within a given simulation including the level of required interactivity amongst e

关键词： fidelity modeling simulation physical security systems cyber security systems object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Information Flow in object-oriented Software 1

引用

23rd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR)

作者： Beckert, Bernhard Bruns, Daniel Klebanov, Vladimir Scheben, Christoph Schmitt, Peter H. Ulbrich, Mattias Karlsruhe Inst Technol Dept Informat D-76131 Karlsruhe Germany

ISBN: (数字)9783319141251

ISBN: (纸本)9783319141251;9783319141244

This paper contributes to the investigation of object-sensitive information flow properties for sequential Java, i.e., properties that take into account information leakage through objects, as opposed to primitive values. We present two improvements to a popular object-sensitive non-interference property. Both reduce the burden on analysis and monitoring tools. We present a formalization of this property in a program logic - JavaDL in our case - which allows using an existing tool without requiring program modification. The third contribution is a novel finegrained specification methodology. In our approach, arbitrary JavaDL terms (read 'side-effect-free Java expressions') may be assigned a security level - in contrast to security labels being attached to fields and variables only.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Delta-Trait programming of Software Product Lines 6

Delta-Trait Programming of Software Product Lines

引用

6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)

作者： Damiani, Ferruccio Schaefer, Ina Schuster, Sven Winkelmann, Tim Univ Turin Dipartimento Informat I-10149 Turin Italy Tech Univ Carolo Wilhelmina Braunschweig Braunschweig Germany

ISBN: (纸本)9783662452349;9783662452332

Delta-oriented programming (DOP) is a flexible approach for implementing software product lines (SPLs). DOP SPLs are implemented by a set of delta modules encapsulating changes to class-based object-oriented programs. A particular product in a DOP SPL is generated by applying to the empty program the modifications contained in the delta modules associated to the selected product features. Traits are pure units of behavior, designed to support flexible fine-grained reuse and to provide an effective means to counter the limitations of class-based inheritance. A trait is a set of methods which is independent from any class hierarchy and can be flexibly used to build other traits or classes by means of a suite of composition operations. In this paper, we present an approach for programming SPLs of trait-based programs where the program modifications expressed by delta modules are formulated by exploiting the trait composition mechanism. This smooth integration of the modularity mechanisms provided by delta modules and traits results in a new approach for programming SPLs, delta-trait programming (DTP), which is particularly well suited for evolving SPLs.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Automated implementation of Petri Nets on PLCs with OOP 19

Automated implementation of Petri Nets on PLCs with OOP

引用

19th IEEE International Conference on Emerging Technology and Factory Automation (ETFA)

作者： Basile, Francesco Chiacchio, Pasquale Coppola, Jolanda Gerbasio, Diego Univ Salerno Dipartimento Ing Informaz Ing Elettr & Matemat Ap Salerno Italy

ISBN: (纸本)9781479948451

In this paper a method is proposed to implement controllers and supervisors for manufacturing systems designed by Petri Nets (PNs) on Programmable Logic Controllers (PLCs) using object oriented programming (OOP). In the resulting program each instruction is directly related to the evaluation of a transition, to the update of the marking, or to the enabling of a transition. This preserves the structure of PNs and entails reusability since it allows the user to easily modify the program directly, starting from the modifications made to the PN design.

关键词： Petri nets manufacturing systems object-oriented programming programmable controllers OOP PLC PN design object oriented programming program modification programmable logic controllers Arrays Heating IEC standards object oriented modeling Reactive power Software XML

来源：评论

学校读者我要写书评

暂无评论

Towards the Curry-Howard Protocol Implementation for the Component-Based Paradigm 2

Towards the Curry-Howard Protocol Implementation for the Com...

引用

2nd IEEE Workshop on Advances in Information, Electronic and Electrical Engineering (AIEEE)

作者： Giedrimas, Vaidas Siauliai Univ Dept Informat Shiauliai Lithuania

ISBN: (纸本)9781479971220

The CBSE enables to reduce the time required for the development and testing, to create robust systems. However not all existing component-based software synthesis methods focus on the software quality. There is the need for the method which can ensure software quality (in terms of consistence of specification and implementation) preserving short time required for software development at the same time. The component-based system synthesis method based on the Curry-Howard protocol is presented in this paper as the solution for this problem. Authors presents some implementation details of this method also and argue that the component-based software synthesis problem and the solution can be stated in terms of abstract component model.

关键词： object-oriented programming protocols software quality CBSE Curry-Howard protocol abstract component model component-based paradigm component-based software development component-based software synthesis methods software testing Abstracts Calculus Component architectures Ports (Computers) Protocols Software Software engineering software quality object oriented programming protocols program testing Software engineering computer software Calculus Calculi Component object models

来源：评论

学校读者我要写书评

暂无评论

Self-generating Programs - Cascade of the Blocks

Self-generating Programs - Cascade of the Blocks

引用

2nd IFIP TC5/8 International Conference on ICT-EurAsia

作者： Kufner, Josef Marik, Radek Czech Tech Univ Fac Elect Engn Dept Cybernet Prague Czech Republic

ISBN: (纸本)9783642550324;9783642550317

When building complex applications the only way not to get lost is to split the application into simpler components. Current programming languages, including object oriented ones, offer very good utilities to create such components. However, when the components are created, they need to be connected together. Unluckily, these languages are not a very suitable tool for that. To help with composition of the components we introduce cascade - a dynamic acyclic structure built from blocks, inspired by the Function Block approach. The cascade generates itself on-the-fly during its evaluation to match requirements specified by input data and automatically orders an execution of the individual blocks. Thus the structure of a given cascade does not need to be predefined entirely during its composing/implementation and fixed during its execution as it is usually assumed by the most approaches. It also provides a real-time and fully automatic visualization of all blocks and their connections to ease debugging and an inspection of the application.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Semantic Web Application Development with LITEQ 13

引用

13th International Semantic Web Conference (ISWC)

作者： Leinberger, Martin Scheglmann, Stefan Laemmel, Ralf Staab, Steffen Thimm, Matthias Viegas, Evelyne Univ Koblenz Landau Inst Web Sci & Technol Landau Germany Univ Koblenz Landau Software Languages Team Mainz Germany Microsoft Res Redmond Redmond WA USA

ISBN: (纸本)9783319119151;9783319119144

The Semantic Web is intended as a web of machine readable data where every data source can be the data provider for different kinds of applications. However, due to a lack of support it is still cumbersome to work with RDF data in modern, object-oriented programming languages, in particular if the data source is only available through a SPARQL endpoint without further documentation or published schema information. In this setting, it is desirable to have an integrated tool-chain that helps to understand the data source during development and supports the developer in the creation of persistent data objects. To tackle these issues, we introduce LITEQ, a paradigm for integrating RDF data sources into programming languages and strongly typing the data. Additionally, we report on two use cases and show that compared to existing approaches LITEQ performs competitively according to the Halstead metric.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Computing Static Schedule for the Hosts in a Real-Time Distributed System with Component Based Applications 9

Computing Static Schedule for the Hosts in a Real-Time Distr...

引用

9th Int Conf Ind Information Syst (ICIIS2014)

作者： Canute, Julius Kumar, Atul IIIT Bangalore Karnataka India Siemens Corp Res & Technol Bangalore Karnataka India ABB Corp Res Bangalore Karnataka India

ISBN: (纸本)9781479964994

We consider cyclic real-time applications built using nearly autonomous components. These components can run on any of the available hosts subject to certain constraints. The hosts in the system are allowed to be heterogeneous and they can have different cycle times for real time execution. Given a set of component based applications and a set of available hosts, we propose a solution for the problem of finding an optimum deployment. The deployment problem can be reduced to the problem of finding feasible static schedules for each host in the system that satisfy the real-time periodic execution requirements of all the applications. We propose a deterministic algorithm for finding static schedules for all the hosts in the system. The approach models the possible partial schedules at each step as nodes in a virtual tree. A breadth first traversal is conducted to construct the tree and complete the schedule. A node is removed from the tree if it cannot lead to a correct schedule. If more than one solutions are possible then the 'best' solution is selected based on the optimization criteria.

关键词： distributed processing object-oriented programming optimisation trees (mathematics) breadth first traversal component based applications cyclic real-time applications deployment problem deterministic algorithm nearly autonomous components optimization criteria partial schedules real time execution real-time distributed system static schedule computation virtual tree Complexity theory Electronic mail Optimization Real-time systems Resource management Schedules Software optimal criterion deterministic algorithms real-time systems hosts electronic mail Distributed processing Complexity theory object oriented programming management of resources computer software time cycles Real time

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 85 86 87 88 89 90 91 92 93 94 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：