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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

68 篇 会议
2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

22 篇 工学
- 14 篇 计算机科学与技术...
- 14 篇 软件工程
- 8 篇 控制科学与工程
- 6 篇 电气工程
- 6 篇 信息与通信工程
- 4 篇 仪器科学与技术
- 2 篇 电子科学与技术（可...
- 2 篇 建筑学
- 2 篇 交通运输工程
- 2 篇 航空宇航科学与技...
- 2 篇 生物医学工程（可授...
- 1 篇 光学工程
- 1 篇 材料科学与工程（可...
- 1 篇 动力工程及工程热...
- 1 篇 土木工程
- 1 篇 石油与天然气工程
6 篇 理学
- 4 篇 数学
- 3 篇 物理学
6 篇 管理学
- 5 篇 管理科学与工程(可...
- 3 篇 工商管理
- 2 篇 图书情报与档案管...
1 篇 法学
- 1 篇 社会学
1 篇 军事学

主题

14 篇 real time system...
10 篇 system analysis ...
7 篇 simulation
7 篇 software enginee...
6 篇 communication sy...
6 篇 software require...
5 篇 knowledge based ...
5 篇 design automatio...
4 篇 object oriented ...
4 篇 control systems
3 篇 military computi...
3 篇 software tools
3 篇 robots
3 篇 engineering draw...
3 篇 object oriented ...
3 篇 computer aided s...
3 篇 animation
3 篇 position control
2 篇 global positioni...
2 篇 parallel algorit...

机构

1 篇 software enginee...
1 篇 department of au...
1 篇 software technol...
1 篇 ascent logic cor...
1 篇 nei internationa...
1 篇 newcastle gen. h...
1 篇 natl grid co plc...
1 篇 exemplar ab indu...
1 篇 fraunhofer iee d...
1 篇 sheffield hallam...
1 篇 tu sofia sofia 1...
1 篇 esm division adm...
1 篇 in-spec ltd unit...
1 篇 department of el...
1 篇 dynamics divisio...
1 篇 lipn
1 篇 leeds univ. uk
1 篇 natl inst adv in...
1 篇 time & frequency...
1 篇 univ of aberdeen...

作者

2 篇 copsey a.
2 篇 k. jackson
2 篇 j.a. davis
2 篇 terelak p.
2 篇 c.c. hodge
1 篇 r. cipolla
1 篇 j.m. geffrin
1 篇 howells howard
1 篇 pfleeger shari l...
1 篇 darnell m.
1 篇 guillo-sansano e...
1 篇 d. isaac
1 篇 a.s. kennedy
1 篇 d. bodson
1 篇 bruendlinger rol...
1 篇 ninad nayeem
1 篇 b.w. finnie
1 篇 r.r. leitch
1 篇 lewis m.
1 篇 leith d

语言

69 篇 英文
1 篇 其他

检索条件"任意字段=IEE Colloquium on Methods and Techniques for Real-Time System Development"

共 70 条记录，以下是21-30 订阅

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

详细简洁

排序：

Using a model-based approach for monitoring telecommunication networks: the GASPAR system

Using a model-based approach for monitoring telecommunicatio...

引用

Proceedings of the 1997 iee colloquium on AI for Network Management systems

作者： Bibas, S. Dague, P. Levy, F. Cordier, M.-O. Roze, L. Dousson, C. LIPN Paris France

The work addresses the use of model-based techniques for diagnosing telecommunication networks. The aim is to design a system for help in supervision of the main packet switching French telecommunication network, in such a way as to be both generic and efficient, i.e. able to support technological evolution and to meet real time constraints. The network is made up of about ten technical centers and about three hundred switches, and a lot of depending stations devoted to the data transmission. It is hierarchically structured. The architecture is made up modeling, simulation, discrimination, and recognition modules. A prototype of the system has been developed, which implements a modelling module as well as a simulation module. It has been tested on data files supplied by CNET/France-Telecom. The discrimination module is currently under development. A comparison between the results obtained by the model-based approach and the expert system approach which is currently in use at the supervision center has been done and gives satisfying results.

关键词： Telecommunication networks

来源：评论

学校读者我要写书评

暂无评论

Temporal aspects of real-time system design

Temporal aspects of real-time system design

引用

iee colloquium on methods and techniques for real-time system development

作者： H.R. Simpson Dynamics Division British Aerospace Defence Limited Stevenage Hertfordshire UK

Describes some of the more important aspects of real-time networks, and shows how such networks can be used to control and analyse the temporal properties of computer-based systems. At the heart of the approach is the characterisation of information flows in terms of a small set of well-defined protocols, and the reflection of these protocols within the functional, design, implementation and execution models for a system. This provides a well-defined and traceable path from functional description through to execution, so allowing temporal requirements within applications to be expressed in a form such that they can be guaranteed (by analysis) to be met within the corresponding network solutions. The paper begins with a brief discussion of network models of computation, before moving on to the communication dynamics which lie at the heart of this network approach. Traceability and interface issues are then considered, followed by aspects of timing analysis. The paper concludes with a small example to illustrate the more important features of the approach.< >

关键词： Computer networks Network operating systems Circuit synthesis real time systems Timing

来源：评论

学校读者我要写书评

暂无评论

system CONTROL & SIMULATION FOR ADAPTIVE 2-200MHZ MULTIPLE MECHANISM RADIO COMMUNICATION

SYSTEM CONTROL & SIMULATION FOR ADAPTIVE 2-200MHZ MULTIPLE M...

引用

6th International Conference on HF Radio systems and techniques

作者： WALKER, P RILEY, NG DARNELL, M VONGAS, G HULL LANCASTER COMMUN RES GRP LANCASTERENGLAND

ISBN: (纸本)0852966164

A review of the design of a radio communication system utilizing all propagation mechanisms in the frequency range 2-200 MHz is conducted. The design of control algorithms utilizing embedded real-time channel evaluation (RTCE) is of critical importance since the success of the system relies on its ability to adapt to the prevailing propagation mechanisms. A review is also made on propagation simulation methods implemented to aid the system development, including a model of the tropospheric reflection mode.

关键词： Radio communication

来源：评论

学校读者我要写书评

暂无评论

system animation using RDD-100

System animation using RDD-100

引用

iee colloquium on methods and techniques for real-time system development

作者： K. Jackson Ascent Logic Corporation Bucks UK

RDD-100 is a systems engineering tool which has its roots in the manual techniques employed on the USA's ballistic missile defence projects in the period 1975-1985. This methodology was very much focused on predicting and then guaranteeing a system's overall response time in reacting to in-coming threats. RDD-100 adopts the view that systems development is best achieved by incrementally developing a system model that will persist over the lifecycle and be shared and managed by the people involved. RDD-100 provides a unique capability of modelling system behaviour and investigating the dynamic aspects of this behaviour. It enables system architectures to be represented and provides valuable information which can be used as the basis for trade-off analysis. RDD-100 also supports system requirements extraction, traceability from requirements to system specification and design, and the ability to generate major reports directly from the RDD-100 database. Above all, RDD-100 allows a single model to be built that can persist over the lifecycle and be shared and managed by the people involved.< >

关键词： Computer aided software engineering Animation Engineering drawings Military computing Software tools system analysis and design systems engineering

来源：评论

学校读者我要写书评

暂无评论

Large scale real time knowledge based methods and technology

Large scale real time knowledge based methods and technology

引用

iee colloquium on real-time Knowledge Based systems

作者： S. Martin H. Howells Cambridge Consultants Limited Cambridge UK Defence Research Agency Farnborough UK

Summarises recent research in real-time knowledge-based methods and techniques conducted by the Defence Research Agency and Cambridge Consultants. This paper also reports on the development of a large-scale prototype that demonstrates the effectiveness of this research. The scope of the research concerns the development of a knowledge acquisition method for real-time applications, the development of tools that compile the knowledge produced by a knowledge engineering toolset for execution in the Muse real-time KBS toolkit and experimental extensions to Muse to support concurrent real-time execution, referred to as D-Muse. Prior work has demonstrated that knowledge-based techniques provide useful functionality, but in order to meet real-time decision support requirements, these areas needed to be addressed. A prototype is being constructed to demonstrate the effectiveness of the research. It concerns a real-time decision support system to enhance the performance of a helicopter aircrew engaged in a naval mission to search and identify contacts in coastal water.

关键词： Decision support systems Helicopters Knowledge based systems Large-scale systems Military computing real time systems

来源：评论

学校读者我要写书评

暂无评论

CABLE RATING methods APPLIED TO A real-time CABLE system MONITOR

CABLE RATING METHODS APPLIED TO A REAL-TIME CABLE SYSTEM MON...

引用

3rd International Conference on Power Cables and Accessories 10kV - 500kV

作者： LARSEN, ST ONGHALL, CL STEPHENSON, PL NATL GRID CO PLC LONDONENGLAND

ISBN: (纸本)0852965923

The National Grid Company (NGC) has a national scheme to provide cable system monitors (CSMs) installed in its Area Control Centres. The CSMs will provide on-line continuous and overload thermal ratings of cables based on system measurements and real-time thermal modelling, and will enable the control engineers to assess the present security of the system and plan the operation of the system for the next day or possibly the following week. The CSM will also hold archive data for retrieval and subsequent analysis. A transient thermal cable rating method is employed in the CSM which can be applied to various cable system designs. The method is a development of that described in Electra No 87 and recommended in IEC853-2. Software has been developed for cable design calculations on an off-line system;a derivative of this software has been provided in a form suitable for inclusion in a real-time system, a SCADA system supplied by a third party. Most combinations of cable installations on one circuit can be monitored by the CSMs including cable in air, cables in tunnels, and cables buried normally, in troughs, in ducts, or with water cooling. Approximate methods for dealing with partially dried out soil and dual thermal resistivity installations can be applied to the CSM. Mutual heating effects between neighbouring circuits are included. New rating and measurement techniques will be introduced to the CSM as they become available. One aim of the CSM is to allow new cable circuits to be designed with their thermal characteristics matched to the operational and security requirements of the transmission network.

关键词： Electric cables

来源：评论

学校读者我要写书评

暂无评论

Object oriented analysis: an improved real time structured analysis for telecoms system development

Object oriented analysis: an improved real time structured a...

引用

iee Tutorial colloquium on Formal methods and Notations Applicable to Telecommunications

作者： C.B. Carter A.S. Kennedy Founding partners of Kennedy Carter London UK

The authors look at RTSASD (real time structured analysis and structured design) which is used in software engineering for system development. They concentrate on object-oriented analysis and why it is the preferred m... 详细信息

关键词： Object oriented programming real time systems Software engineering system analysis and design Communication system software

来源：评论

学校读者我要写书评

暂无评论

MASCOT with other methods (software development)

MASCOT with other methods (software development)

引用

iee colloquium on real time Computing: The Future with MASCOT

作者： K. Jackson Software Technology Centre Camberley UK

Over the past few years there has been an increased awareness of the need for methods to cover the complete software development life-cycle. There are a large number of methods available. No one method covers the complete development process. The paper gives a brief sketch of five of the most widely mentioned methods: CORE, Yourdon, JSD, SSADM and MASCOT3. It then compares them from the points of view of techniques and representations, method and life-cycle coverage. Finally some possible combinations of methods which give good life-cycle coverage are suggested and related to the use of Ada as the preferred programming language.< >

关键词： Ada Software engineering

来源：评论

学校读者我要写书评

暂无评论

The practical application of rule and knowledge based system techniques to industrial processes

The practical application of rule and knowledge based system...

引用

iee colloquium on Rule-Based systems for real-time Planning and Control

作者： J. Grist

This paper concerns the application of rule and knowledge based techniques to the control and optimisation of industrial processes. It is based on work initiated by Blue Circle plc for the optimisation of the control of cement kilns. This work has resulted in the development of a commercial product, known as LINKman, which has been installed successfully in twenty three plants worldwide where it achieves substantial savings in fuel and improvements in quality. This paper looks at the techniques and discusses some of the practical issues involved in their application.< >

关键词： Cement industry Knowledge based systems Process control

来源：评论

学校读者我要写书评

暂无评论

"Lean" formal methods in the development of provably correct real-time systems

"Lean" formal methods in the development of provably correct...

引用

iee colloquium on real-time systems (Digest No. 1998/306)

作者： A. Cau H. Zedan B. Moszkowski A. Ruddle Software Technology Research Laboratory De Montfort University Leicester UK The Motor Industry Research Association MIRA Nuneaton UK

Designing software to control real-time, reactive embedded applications is non-trivial. And as the complexity of such systems increases, the present industrial practice for their development gives cause for concern, especially, if they are to be used in safety-critical applications. In order for the design of these systems to be optimised, it is necessary to take into account the interdependence of the hardware and software. Thus, the system needs to be assessed at all stages of the development life-cycle in order to minimise the potential for errors. This has resulted in the development of a wide range of techniques which aim to support the analysis and design of both systems and their associated software. These vary from those with sound mathematical basis (formal methods) to structured methodologies. The latter while useful, do not provide a satisfactory and comprehensive solution. The former, on the other hand, are recognised as the most likely solution to the problem, but insufficient expertise and a lack of tool support have limited their practical deployment to highly specialised applications.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共7页 << < 1 2 3 4 5 6 7 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：