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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

181 篇 会议
10 篇 期刊文献
2 册 图书

馆藏范围

193 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

62 篇 工学
- 46 篇 计算机科学与技术...
- 45 篇 软件工程
- 15 篇 控制科学与工程
- 8 篇 电气工程
- 7 篇 电子科学与技术（可...
- 5 篇 机械工程
- 5 篇 信息与通信工程
- 3 篇 光学工程
- 2 篇 动力工程及工程热...
- 2 篇 航空宇航科学与技...
- 2 篇 安全科学与工程
- 1 篇 力学（可授工学、理...
- 1 篇 仪器科学与技术
- 1 篇 材料科学与工程（可...
- 1 篇 建筑学
- 1 篇 土木工程
- 1 篇 化学工程与技术
- 1 篇 石油与天然气工程
- 1 篇 交通运输工程
15 篇 管理学
- 12 篇 管理科学与工程(可...
- 6 篇 工商管理
- 3 篇 图书情报与档案管...
13 篇 理学
- 9 篇 数学
- 4 篇 物理学
- 1 篇 化学
- 1 篇 生物学
- 1 篇 系统科学
- 1 篇 统计学（可授理学、...
1 篇 经济学
- 1 篇 应用经济学
1 篇 教育学
- 1 篇 心理学(可授教育学...

主题

125 篇 object oriented ...
22 篇 object oriented ...
19 篇 software enginee...
17 篇 user interfaces
16 篇 knowledge based ...
15 篇 simulation
15 篇 software tools
13 篇 object oriented ...
13 篇 programming envi...
12 篇 design automatio...
11 篇 parallel program...
11 篇 distributed comp...
10 篇 software require...
10 篇 system analysis ...
9 篇 software reusabi...
9 篇 graphical user i...
8 篇 expert systems
8 篇 c language
8 篇 object-oriented ...
8 篇 industrial contr...

机构

2 篇 brighton polytec...
2 篇 racal instrument...
2 篇 gec-marconi soft...
2 篇 department of co...
2 篇 design automatio...
2 篇 racal research l...
2 篇 department of co...
2 篇 university of bi...
2 篇 imperial coll un...
2 篇 architecture and...
2 篇 turing institute...
2 篇 univ of wales sw...
2 篇 hewlett packard ...
2 篇 department of au...
1 篇 univ zaragoza de...
1 篇 software enginee...
1 篇 software enginee...
1 篇 bt laboratories ...
1 篇 national grid re...
1 篇 dept. of comput....

作者

2 篇 b. anderson
2 篇 j. levine
2 篇 d. coleman
2 篇 d.j. roberts
2 篇 w.j. russell
2 篇 r.j. mitchell
2 篇 g.s. blair
2 篇 j. bowskill
2 篇 m.r. moulding
2 篇 l. poynter
2 篇 d.r. mcgregor
2 篇 c. mellish
2 篇 p. tyson
2 篇 e. reiter
2 篇 a. harrison
2 篇 n. mort
2 篇 j. walker
2 篇 m.j. aslett
2 篇 t. katz
2 篇 r.j. hollands

语言

190 篇 英文
3 篇 其他

检索条件"任意字段=IEE Colloquium on Applications of Object-Oriented Programming"

共 193 条记录，以下是151-160 订阅

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

详细简洁

排序：

Some experiments in traffic management system design

Some experiments in traffic management system design

引用

iee colloquium on Design, Implementation and Use of object-oriented Systems

作者： T. Taskin J. Allan London Underground Limited UK University of Binningham UK

Automation of any track transport system also means providing a traffic management system (TMS) that meets the needs of both passengers and the operating company. A TMS usually comprises a distributed interconnected network of computers, controlling and supervising the vehicle operations. Such applications often encompass multiple, co-operative software components that execute across a distributed target system. It is felt that object-orientation (OO) is especially well-suited to this problem domain. The initial thoughts and experiments of the authors on this subject are discussed. A comprehensive traffic management system may perform the following main functions: traffic supervision and regulation; schedule and routing management; and simulation modelling.< >

关键词： Computer networks Simulation object oriented methods Scheduling Traffic control (transportation)

来源：评论

学校读者我要写书评

暂无评论

A computer aided animation tool set

A computer aided animation tool set

引用

iee colloquium on Application of CASE Tools

作者： E.J. Cozens P.J. Byers Computing Science Group of the Department Mathematics The University of Surrey Guildford Omputing Science Group of the Department Mathematics The University of Surrey Guildford

Computer based support for the animation of object oriented formal specifications is desirable and technically feasible. This has been brought about by the arrival of new formal notation similar to Z but employing object oriented principles. Initial work on an animation tool set which in addition to the usual editing and type checking facilities also provides tools for developing animations, is described. Prolog code is generated by automatic translation of the formal description. This executable code can then be transformed to obtain a number of views of a specification (A.J.J. Dick et al., 1989). The tool set includes a Prolog transformation system which performs both user guided and automatic optimisation of code.< >

关键词： Software requirements and specifications object oriented programming Prolog Software tools

来源：评论

学校读者我要写书评

暂无评论

Software automation and constraints management to contain complexity within flexible manufacturing

Software automation and constraints management to contain co...

引用

iee colloquium on Automated Testing and Software Solutions

作者： T. Katz J. Bowskill J. Downie Brighton Polytechnic UK

The provision of cost effective flexible test solutions depend very heavily on the application of appropriate DFT (design for test) strategies. The authors believe that this should be an integral part of an all pervasive constraints managed flexible system that will enable either very short iteration loops (Shallow ES) or true concurrency via an object oriented approach. The authors describe their attempt to construct a Soft Automation cell with a degree of constraints management to act as a test bed for the various strategies.< >

关键词： Automatic test equipment Automatic testing Electronic equipment manufacture Flexible manufacturing systems object oriented programming

来源：评论

学校读者我要写书评

暂无评论

object modelling for OSI management

Object modelling for OSI management

引用

iee colloquium on Distributed object Management

作者： A. Langsford Computing and Communications Consultant Abingdon Oxfordshire UK

An object modelling approach has been adopted by ISO and ITU in their specification of network management standards. This is being taken up by ieeE both for the specification of local area network and operating system management. The author reviews the key features of the ISO approach, identifies the relevant standards and discusses those areas where further work is known to be required. Although the approach has the potential for a powerful and general method for object specification, this potential can only be realised as the result of further research into formal methods for specifying management information, management knowledge and management policies.< >

关键词： Software requirements and specifications Local area networks Network operating systems object oriented programming Open systems Standards Communication system operations and management

来源：评论

学校读者我要写书评

暂无评论

Experiences from a Prolog-based environment for modelling and simulation: an example of the application of logic programming in control engineering

Experiences from a Prolog-based environment for modelling an...

引用

iee colloquium on Symbolic Computation for Control (Digest No: 1996/078)

作者： E.B. Tanyi D.A. Linkens Dept. of Electr. Eng. Yaounde Univ. I Cameroon Department of Automatic Control and Systems Engineering University of Sheffield Sheffield UK

The paper describes the use of Prolog in the implementation of a Knowledge-based Environment for Modelling and Simulation (KEMS). The basis of the implementation is the AI frame paradigm which provides a conceptual foundation for the design of the model base, the simulation code generator and the knowledge acquisition module which are the Prolog-based components of KEMS. The experiences derived from KEMS provide a springboard from which the wider applications of logic programming in control engineering are discussed. Six application areas are identified, including modelling, the design of front-ends for CAD packages, the design of object-oriented databases, the prototyping of engineering concepts, knowledge-based control and the design of decision-support systems.

关键词： Prolog

来源：评论

学校读者我要写书评

暂无评论

Software support for configuring distributed object based systems

Software support for configuring distributed object based sy...

引用

iee colloquium on Distributed object Management

作者： J. Kramer Department of Computing Imperial College London London UK

There is some consensus on the set of techniques and mechanisms which should be used to construct distributed systems. However, none of these mechanisms help in the design process of decomposing an overall application into a set of components nor in its subsequent construction. They are rather the 'glue' used to compose components such that they may communicate and interact. What is missing is any motion of structure. The premise of the author's approach is that a separate, explicit structural (configuration) description is essential for all phases in the software development process for distributed systems, from system specification as a configuration of component specifications to evolution as changes to a system configuration. Descriptions of the constituent software components and their interconnection patterns provide a clear and concise level at which to specify and design systems, and can be used directly by construction tools to generate the system itself. The author uses the neutral term 'component' to mean a software entity which encapsulates some resources and provides a well defined interface in terms of the operations it provides to access the resources and the operations it requires to implement its functionality. Further, these components must be 'context independent' in that they use only local names to communicate with their environment, thereby allowing them to be developed independently of the context in which they execute.< >

关键词： Software requirements and specifications object oriented methods object oriented programming Parallel programming

来源：评论

学校读者我要写书评

暂无评论

object oriented techniques for lifecycle modelling of complex control systems

Object oriented techniques for lifecycle modelling of comple...

引用

iee colloquium on Design, Implementation and Use of object-oriented Systems

作者： J. Kendall Department EEIE South Bank University London UK

The central concept of the work described is that a database can be created which contains all the information about a complex engineering system, specifically a building management system (BMS). This database will be updated and modified throughout the system lifecycle. Due to the large amount of information required to be entered into these databases, all data entry is done through graphical interfaces according to the maxim 'a picture is worth ten thousand words'. The user draws a picture of what is required, and this is then compiled into the desired database form. BMSs are used to control intelligent buildings. A BMS usually consists of a number of universal network controllers (outstations) which are connected together in a local area network (LAN), or wide area network (WAN). A number of PCs (terminals) can be connected to allow user access to the system for supervisory purposes. An outstation is connected to the hardware components which it controls and from where it gets its operating information. These components are called points; examples being sensors such as temperature, humidity, wind and solar effect, and actuators such as pumps, fans, valves, heating and cooling coils and humidifiers.< >

关键词： Building management systems Computer networks Graphical user interfaces object oriented programming

来源：评论

学校读者我要写书评

暂无评论

GAMBITS-from requirements capture to C++ code generation

GAMBITS-from requirements capture to C++ code generation

引用

iee colloquium on Jackson System Development (JSD) - The Original object oriented Method (Digest No.1996/020)

作者： D. Powell Software Engineering Centre (Advanced Techniques Section DRA Fort Halstead Sevenoaks Kent UK

GAMBITS (Graphical Approach to Modelling and Building Interactively a Technical System) has evolved to fill the gaps in other methods by providing support for (1) the progressive realisation and the traceability of functional and non-functional requirements from initial conception, through implementation to maintenance; (2) the human involvement in the system, from the procurer, developer and user perspectives; and (3) support for building embedded, real-time and large distributed systems. The GAMBITS method permits successive refinement of understanding from emerging needs, through progressive transformations of an implementation-independent specification, to partial or full realisation of a local or distributed system. Starting with a business objective, the method allows the representation of concepts at different development stages or lifecycle steps. The method permits substantial verification of an implementation through traceability links that can map each component of requirement to the design and the subsequent implementation in a procedural or object-oriented application.

关键词： Real time systems Distributed computing Software requirements and specifications programming Interactive computing object oriented methods

来源：评论

学校读者我要写书评

暂无评论

Distributed real-time computer network architecture - Power systems information model coordinated with agent applications

Distributed real-time computer network architecture - Power ...

引用

1st International Conference and Exhibition on Transmission and Distribution in the Asia Pacific Region

作者： Katayama, S Tsuchiya, T Tanaka, T Tsukui, R Yusa, H Otani, T Toshiba Co Ltd Tokyo 1838511 Japan

ISBN: (纸本)0780375254

The authors have defined information models for power systems and devices based on object oriented technology, and designed Global and Local information models. The Global information model is used for EMS/SCADA and power systems operation in the control center, and the Local information model represents the behavior of components and devices in the power station and/or substation. Similar information models are being developed by IEC-TC57 as IEC61970 and IEC61850, and by EPRI as CCAPI and UCA2.0, aiming for standardization of open and multi-vendor systems integrated by cooperating EMS/SCADA systems, or equipment and devices. The information models are based on those of IEC and EPRI, and they are expanded for distributed processing in network environments. The authors implemented IEC61970 as the Global information model and IEC61850 as the Local information model with Java Class library. Also, the authors developed a prototype system that consists of a personal computer (PC) as control center, and 2 PCs as substations, and a network computing terminal with current and voltage sensors as another substation. The authors implemented agent applications for simple SCADA and simulation of the power systems devices (ex. Power Transformer, Circuit Breaker) to evaluate the cooperation between agent applications and the information model, and proved the usefulness of the information model. The authors examined the functional expansions for distributed environments, and clarified their ease of implementation and effectiveness.

关键词： power system modeling distributed information systems IEC61970 IEC61850 object oriented programming UML Java agent

来源：评论

学校读者我要写书评

暂无评论

The MUSHROOM machine-an architecture for symbolic processing

The MUSHROOM machine-an architecture for symbolic processing

引用

iee colloquium on VLSI and Architectures for Symbolic Processing

作者： I. Williams Department of Computer Science University of Binningham Manchester UK

MUSHROOM is aimed at the efficient execution of symbolic processing environments such as Smalltalk-80. The author summarises some aspects of the MUSHROOM architecture and the motivation for its design. Firstly, the problems commonly associated with symbolic processing are described. The issues involved in the MUSHROOM design are discussed and the suitability of the architecture to symbolic processing is outlined.< >

关键词： Computer architecture Multiprocessing object oriented programming Symbol manipulation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共20页 << < 11 12 13 14 15 16 17 18 19 20 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：