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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

28 篇 会议

馆藏范围

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

日期分布

学科分类号

5 篇 工学
- 5 篇 计算机科学与技术...
- 5 篇 软件工程
- 1 篇 控制科学与工程
- 1 篇 交通运输工程
- 1 篇 航空宇航科学与技...
- 1 篇 生物医学工程（可授...
- 1 篇 安全科学与工程
2 篇 理学
- 2 篇 数学
1 篇 医学
- 1 篇 临床医学
1 篇 管理学
- 1 篇 图书情报与档案管...

主题

13 篇 software tools
10 篇 user interfaces
7 篇 programming envi...
6 篇 software require...
5 篇 computer graphic...
5 篇 multiprogramming
3 篇 microcomputer ap...
2 篇 object oriented ...
2 篇 knowledge based ...
2 篇 software package...
2 篇 handicapped aids
2 篇 digital control
2 篇 software reliabi...
2 篇 engineering draw...
2 篇 system analysis ...
2 篇 specification la...
2 篇 computer softwar...
2 篇 quality control
1 篇 knowledge engine...
1 篇 space heating

机构

1 篇 univ of newcastl...
1 篇 engineering depa...
1 篇 qa training limi...
1 篇 henley bus. soft...
1 篇 univ of warwick ...
1 篇 cambridge consul...
1 篇 sch of engineeri...
1 篇 univ of northumb...
1 篇 department of co...
1 篇 heriot-watt univ...
1 篇 british telecomm...
1 篇 department of co...
1 篇 department of co...
1 篇 design division ...
1 篇 school of engine...
1 篇 vision ware limi...
1 篇 department of co...
1 篇 university of wa...
1 篇 era technology l...
1 篇 computing intfor...

作者

1 篇 zimmerman myron
1 篇 c. jones
1 篇 a.k. denson
1 篇 n. sherkat
1 篇 hallam p.
1 篇 r.r. leitch
1 篇 m. smith
1 篇 k. pugh
1 篇 p. fleming
1 篇 c. de oliveira
1 篇 r.j. whitrow
1 篇 j. kramer
1 篇 m. zimmerman
1 篇 m.j. chantler
1 篇 t.a. watson
1 篇 j. preston
1 篇 d.a. linkens
1 篇 q. shen
1 篇 m. rogosin
1 篇 c.b. rich

语言

28 篇 英文

检索条件"任意字段=IEE Colloquium on Software Tools for Windows-Based Application Development"

共 28 条记录，以下是1-10 订阅

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

详细简洁

排序：

iee colloquium on DSP Enabled Radio

IEE Colloquium on DSP Enabled Radio

引用

iee colloquium on DSP Enabled Radio

ISBN: (纸本)9781849193207

The proceedings contain 53 papers. The topics discussed include: functional overview of the software communications architecture;on the design of modular software defined radio systems;DSP software architecture for software defined radio;the hardware software mix of DSP enabled radio;design of asynchronous function unit and software development tools for a low-power DSP;scaling FPGA systems for software radio;on-line reconfigurable hardware implementations for FEC and cryptography: a primitive-based domain approach;a high dynamic range digital down-converter for software radio application;blind MIMO channel equalization using matrix momentum natural gradient adaptation;cyclostationary signal processing in multi-antenna systems: from direction-of-arrival estimation to channel estimation and equalization;and increasing the spectral efficiency in fixed point-to-point microwave radio system using multiple antenna arrays.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Extending windows/NT and /CE for embedded and hard real-time systems

Extending Windows/NT and /CE for embedded and hard real-time...

引用

Proceedings of the 1998 iee colloquium on Open Control in the Process and Manufacturing Industries

作者： Rogosin, Michael Zimmerman, Myron Nachiappan, Naren Avenue Marie-José131 B-1200 Brussels Belgium

Open PC based architectures are presenting unprecedented opportunities for positive change in the nature of dedicated systems in the fields of industrial automation, telecommunications, point-of-sale and others. The opportunity for windows/NT and /CE to become the dominant operating systems for open PC based architectures in these markets will be examined. Extensions to windows/NT and /CE are now available to increase the speed and extent of their market penetration and acceptance. VenturCom has concluded that some hard real-time, scalability, and embedded operation extensions are required to be made to windows/NT and /CE in order to achieve deterministic sub-millisecond response times, and to reduce hardware resource requirements while maintaining full compatibility with the enormous range of software written for windows/NT and /CE. VenturCom, with over 17 years experience in providing real-time and embedded systems technology for builders of dedicated systems, has signed marketing and technical agreements with Microsoft to produce and sell the development tools and extensions required.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

application of Matlab to railway signalling system fault modelling

Application of Matlab to railway signalling system fault mod...

引用

Proceedings of the 1998 iee colloquium on The Use of Systems Analysis and Modelling tools: Experiences and applications

作者： Rouvray, P. Hallam, P. Danaher, S. Thorpe, M.G. Univ of Northumbria Newcastle

This paper presents a review of Matlab/Simulink-based techniques used in the development of fault models of signalling railway systems. The data used to develop the models was derived, both in normal and fault modes, from operational railway monitoring equipment using four data signals to characterize the electrical and mechanical behaviour of a points mechanism. The main objective of this work was to regenerate three of the data signals from a single monitored signal, thus reducing the number of sensors required to identify and predict a system failure. Matlab/Simulink based static curve fitting and dynamic system identification techniques were applied to regenerate the data, and in each case the robustness and accuracy of the fault model are discussed. Finally, the signal regeneration is demonstrated using a Simulink model combining dynamic and linear models.

关键词： Computer software

来源：评论

学校读者我要写书评

暂无评论

Extending windows/NT and /CE for embedded and hard real-time systems

Extending Windows/NT and /CE for embedded and hard real-time...

引用

iee colloquium on Open Control in the Process and Manufacturing Indusgtries (Digest No. 1998/281)

作者： M. Rogosin M. Zimmerman N. Nachiappan VenturCom Inc. Belgium

关键词：

来源：评论

学校读者我要写书评

暂无评论

Empirical modelling principles in application development for the disabled

Empirical modelling principles in application development fo...

引用

Proceedings of the 1997 iee colloquium on Computers in the Service of Mankind: Helping The Disabled

作者： Beynon, W.M. Cartwright, R.I. Univ of Warwick Coventry United Kingdom

An ongoing programme of research into computer-based modelling at the University of Warwick has led to the development of new principles and software tools that we believe can address some of the problems associated with more rapid and flexible exploitation of emerging computer technology. Many case studies in a wide variety of application areas have been investigated, both through sponsored research and through student projects at undergraduate and postgraduate level. The aim of this paper is to highlight those aspects of our modelling method ('Empirical modelling') that seem most relevant to developing software and hardware technology to meet special needs. In a conventional software development, it is necessary to recompile a Graphical User Interface before the view of a model is changed, and this typically means reinitialising the model. In contrast, Empirical Modelling makes no essential distinction between changing the state of the interface and changing the state of the model. Either can be modified on-the-fly without interference. There is no need to circumscribe any part of the model before or during its construction, and if circumscription is required it can be provided in the form of monitors rather than embedded in choices of data structures with preconceived restrictions and exceptions.

关键词： Handicapped persons

来源：评论

学校读者我要写书评

暂无评论

Formal methods light: experience applying formal specification in the aerospace and nuclear sectors

Formal methods light: experience applying formal specificati...

引用

Proceedings of the 1997 iee colloquium on Industrial Use of Formal Methods

作者： Fitzgerald, J.S. Univ of Newcastle upon Tyne Newcastle upon Tyne United Kingdom

This presentation describes two industrial projects in which formal methods were applied in the early stages of system development. Both projects were based on the selective application of formal methods, with appropriate techniques targeted on those areas of development where they would be expected to yield a benefit. Both applications are relatively modestly sized, but there are examples of larger applications of formal techniques. Using a formal modelling language to record data and invariants is a good way of starting formal specification and appears to represent an affordable 'delta' over existing practice. Formal methods need not be seen prescriptions for the development of software;perhaps they are of greatest use as tools to be applied judiciously where they are most needed, especially in the early stages of software development.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

Empirical modelling principles in application development for the disabled

Empirical modelling principles in application development fo...

引用

iee colloquium on Computers in the Service of Mankind: Helping the Disabled (Digest No: 1997/117)

作者： W.M. Beynon R.I. Cartwright Department of Computer Science University of Warwick Coventry UK

Our ability to develop systems to meet special needs is influenced by several factors. The importance of emerging low-cost computer technology cannot be denied, but this is not itself enough. In this paper, we are mainly concerned with the complementary role played by principles for computer programming and software development in exploiting technologies for the disabled. Despite cheap computer technology, it remains difficult and costly to develop radically new software packages, or even to adapt existing software in comparatively modest ways. In practice, a new software product may be viable only where there is a mass market, because of the large investment in software development involved. Such issues are particularly relevant to the development of technology for the disabled, in view of the unusually high degree of innovation and customisation this typically demands. An ongoing programme of research into computer-based modelling at the authors' university has led to the development of new principles and software tools that we believe can address some of the problems associated with more rapid and flexible exploitation of emerging computer technology. Many case studies in a wide variety of application areas have been investigated, both through sponsored research and through student projects at undergraduate and postgraduate level. The aim of this paper is to highlight those aspects of our empirical modelling method that seem most relevant to developing software and hardware technology to meet special needs.

关键词： Handicapped aids

来源：评论

学校读者我要写书评

暂无评论

Selecting the correct tools and methods for software systems development

Selecting the correct tools and methods for software systems...

引用

iee colloquium on Are software development Technologies Delivering Their Promise?

作者： S.J. Clarke ERA Technology Limited Leatherhead UK

The nature of the application and the required functionality of a software system should influence the choice of methods and tools used during development. The use of a formalised requirements specification method, HOOD and Ada may be considered appropriate for the development of a large, avionics control system, but less suitable for the design of simple protection logic on the factory floor, based on specialist languages and application kernels. When the choices are less obvious, how can the most appropriate methods and tools be selected to reduce the level of risk associated with the development of large software systems? The presentation looks at an approach developed under the MOD 2004 study programme, and reports on the conclusions of trial applications of the method and tool assessment guide developed during the programme.< >

关键词： Programming environments software tools System analysis and design

来源：评论

学校读者我要写书评

暂无评论

Low cost hypermedia authoring with the Microsoft windows Multimedia Viewer Publishing Toolkit

Low cost hypermedia authoring with the Microsoft Windows Mul...

引用

iee colloquium on Authoring and application of Hypermedia-based User-Interfaces

作者： M.P. Lee S.A. Robertson Computing Intformation Systems Management Groupn School of Defence Management Royal Military College of Science Cranfield University Cranfield UK

Recently, Microsoft Corp. launched Version 2 of its Multimedia Viewer Publishing Toolkit (MVPT), thereby facilitating the low-cost authoring of hypermedia systems for the windows graphical user interface (GUI) on personal computers (PCs). Using these tools, Microsoft have produced a successful series of CD-ROM based hypermedia systems including the Encarta encyclopaedia and the Bookshelf writer's reference. Their Cinemania product consists of one Multimedia Viewer data file (***) containing 33,535 topics and being 139 MByte in size. The MVPT has the following advantages: it is cheap to buy at around #300, produces fast and professional results, and makes good use of the windows GUI entirely without programming. Microsoft windows can be criticised as a closed system tied to proprietary standards, but it nevertheless has proved itself in the marketplace. Our research has shown that it is a time-consuming but uncomplicated task to author large hypermedia documents using both the windows Help Compiler and the MVPT.

关键词： Hypertext systems Electronic publishing Microcomputer applications Authoring systems Graphical user interfaces software packages

来源：评论

学校读者我要写书评

暂无评论

A methodology for the development of model-based diagnostic systems

A methodology for the development of model-based diagnostic ...

引用

iee colloquium on Real-Time Knowledge based Systems

作者： M.J. Chantler R.R. Leitch Q. Shen G.M. Coghill Heriot-Watt Univ. Edinburgh UK

The development of application systems for fault diagnosis has attracted worldwide interest in many different research areas. In particular, advanced techniques for finding faults through the use of explicit structural and/or behavioural models of the physical system to be diagnosed have been developed both in the area of control engineering and in the field of artificial intelligence. Although many approaches to creating model-based diagnostic systems (MBDS) exist, as yet, no clear methodology is available for the selection of an appropriate approach to solve individual given diagnostic problems. We have therefore been developing a specification methodology that essentially comprises a taxonomy of diagnostic tasks, a taxonomy of model-based systems, and a set of guidelines that provides a mapping from the former to the latter, Our aim is to provide a method by which existing MBDS tools and techniques may be combined within a generic architecture in a principled manner to produce effective diagnostic systems for given applications. The structure of the methodology has been derived in part from the top level architectural design of ARTIST, a generic model-based diagnostic toolkit that combines a wide variety of model based diagnostic (MBD) tools. This architecture is based upon the three main types of knowledge that are necessary for the construction of model based diagnostic systems.

关键词： Diagnostic expert systems software requirements and specifications Inference mechanisms System analysis and design

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共3页 << < 1 2 3 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：