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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

503 篇 会议
43 册 图书

馆藏范围

537 篇 电子文献
9 种 纸本馆藏

日期分布

学科分类号

31 篇 工学
- 9 篇 电气工程
- 8 篇 计算机科学与技术...
- 5 篇 软件工程
- 4 篇 机械工程
- 4 篇 信息与通信工程
- 3 篇 电子科学与技术（可...
- 3 篇 控制科学与工程
- 2 篇 仪器科学与技术
- 2 篇 材料科学与工程（可...
- 1 篇 动力工程及工程热...
- 1 篇 建筑学
- 1 篇 生物工程
11 篇 管理学
- 10 篇 管理科学与工程(可...
- 2 篇 工商管理
- 1 篇 公共管理
6 篇 理学
- 3 篇 数学
- 3 篇 统计学（可授理学、...
- 1 篇 物理学
- 1 篇 生物学
- 1 篇 系统科学
2 篇 农学
- 2 篇 作物学
1 篇 经济学
- 1 篇 应用经济学
1 篇 教育学
- 1 篇 教育学
1 篇 文学
- 1 篇 新闻传播学
1 篇 艺术学
- 1 篇 设计学（可授艺术学...

主题

26 篇 cmos technology
24 篇 intelligent netw...
22 篇 frequency
20 篇 voltage
20 篇 silicon
17 篇 circuits
16 篇 conferences
15 篇 temperature
15 篇 signal processin...
15 篇 random access me...
14 篇 physics
13 篇 control systems
12 篇 fabrication
12 篇 timing
12 篇 systems engineer...
11 篇 laboratories
11 篇 costs
10 篇 helium
10 篇 substrates
10 篇 communication sy...

机构

23 篇 novosibirsk stat...
9 篇 biysk technologi...
8 篇 biysk technologi...
6 篇 biysk technologi...
6 篇 siberian state u...
6 篇 school of electr...
5 篇 stmicroelectroni...
4 篇 faultlink intern...
4 篇 gpt limited cove...
4 篇 institute of sem...
4 篇 institute of sem...
4 篇 moscow state ins...
3 篇 institution of e...
3 篇 trans-euro engin...
3 篇 arces university...
3 篇 laboratory of op...
3 篇 cea leti minatec...
3 篇 ultra electronic...
3 篇 institut für mik...
2 篇 bt laboratories ...

作者

13 篇 vladimir n. khme...
10 篇 sergey n. tsygan...
8 篇 roman v. barsuko...
6 篇 andrey n. lebede...
6 篇 dmitry v. genne
6 篇 denis s. abramen...
5 篇 g. setti
5 篇 budi kurniawan
5 篇 gwiy-sang chung
5 篇 victor v. atuchi...
4 篇 igor i. savin
4 篇 r. rovatti
4 篇 andrey n. pavlov
4 篇 g. mazzini
3 篇 anton s. korotko...
3 篇 zoya sh. yanovit...
3 篇 genadiy v. leono...
3 篇 d.w. oliver
3 篇 alexey v. zverev
3 篇 alexey d. abramo...

语言

529 篇 英文
17 篇 中文

检索条件"丛书名=Tutorial"

共 546 条记录，以下是461-470 订阅

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

详细简洁

排序：

Validation of real-time systems: from "soft" to "hard"

Validation of real-time systems: from "soft" to "hard"

引用

International Symposium and Workshop on Systems Engineering of Computer Based Systems

作者： B. Thome B. Glas R. Nahm ZFE BT SE 43 Siemens AG Munich Germany Institut f. Informatik u. Angew. Mathematik University of Bern Bern Switzerland

The specification languages SDL and MSC are used for the development of soft real-time systems. We report on the development of two corresponding validation approaches: validation of designs by simulation and validation of implementations by conformance testing. The specification languages as well as these validation approaches are now being extended to apply to hard real-time systems. An account of results achieved and the direction of future work is given.< >

关键词： Real time systems Timing Power system modeling Specification languages System testing Telecommunications Application software Spine Automata

来源：评论

学校读者我要写书评

暂无评论

Report of the ECBS process and information Model Working Group

Report of the ECBS process and information Model Working Gro...

引用

International Symposium and Workshop on Systems Engineering of Computer Based Systems

作者： D.W. Oliver K. Jackson Model Based Systems Inc. Ken Jackson Associates USA

This paper is a report of the activities, discussions, and decisions of the process and Information Model Working Group of ECBS. The committee met periodically during the Stockholm meeting and included all present at the meeting who wished to participate. The deliberations focused on study, discussion, and modification of a set of information models presented at the conference. A goal of the committee is to establish an internationally acceptable process meta-model and a related information model for computer based systems engineering work. The two major sources of models have been the studies by the Complement team.< >

关键词： Object oriented modeling Systems engineering and theory Natural languages Best practices Modems Object oriented databases Application software

来源：评论

学校读者我要写书评

暂无评论

Managing next generation services

Managing next generation services

引用

IEE tutorial Seminar on Intelligent Networks: Advanced Services and their Management

作者： N. Street

Within BT the fundamental need for cohesion and consistency has been recognised and development programmes for both public and private networks, despite being driven with different short-term objectives, are evolving within a common technical framework, the Co-operative Networking Architecture-Management (CNA-M). Network and service management is moving from an era of specialised solutions to one of integrated, highly automated solutions building on 'open' interfaces, modular design and reusable software components above an increasingly capable basic infrastructure of computing and network platforms. This framework will continue to be enhanced as the market demands, services, networks, organisations and technology all change. This article considers some of the drivers and changes, assesses their implications for managing advanced services, and describes some of the ways in which technology can be harnessed to meet the challenge. Communications management is taken to cover all activities associated with maintaining telecommunications networks and services at some operational optimum, throughout their whole life cycle, whilst minimising the resources required.< >

关键词： Maintenance Open systems Technology forecasting Communication system operations and management Communication system software

来源：评论

学校读者我要写书评

暂无评论

Regulation for competition and choice

Regulation for competition and choice

引用

IEE tutorial Seminar on Intelligent Networks: Advanced Services and their Management

作者： P. Walker Oftel

Although intelligent networks as such appear superficially to raise no new regulatory issues, a number of questions warranting attention are distinguishable. These include interconnection of differentiated networks, i... 详细信息

关键词： Government factors Intelligent networks Legal factors Network interfaces Communication standards

来源：评论

学校读者我要写书评

暂无评论

Working group report-ECBS training and education

Working group report-ECBS training and education

引用

International Symposium and Workshop on Systems Engineering of Computer Based Systems

作者： B. Thome W.H. McCumber Siemens AG Munich Germany Loral Federal Systems Bethesda MD USA

The promotion of ECBS (engineering of computer-based systems) requires that well-prepared material exists that can be used to address relevant target groups. The Working Group on Training and Education in the IEEE Task Force on ECBS is preparing such material for promotion and training in ECBS in industry. First results are reported.< >

关键词： Industrial training Computer industry Conferences Computer science education USA Councils Investments Project management Engineering management Time factors Visualization

来源：评论

学校读者我要写书评

暂无评论

Engineering of Computer-Based Systems-some fundamental issues

Engineering of Computer-Based Systems-some fundamental issue...

引用

International Symposium and Workshop on Systems Engineering of Computer Based Systems

作者： J.Z. Lavi CBSE Associates Ramat-Gan Israel

Modern computer-based systems (CBS) are complex multi-systems connected by complex computer-based communications. Each of the systems is in many cases, also a multicomputer system. The systems in a multisystem can be either geographically distributed or locally connected. Typical examples of CBS are; telephone and communications systems, management information systems (MIS), process control and manufacturing automation systems, space systems, transport systems (car, train, and traffic control), medical instruments, automation systems, and commercial electronics. The paper describes the need for the establishment of new engineering discipline the Engineering of Computer Based Systems (ECBS), the scope of CBS and their context, the context of their engineering, standardization issues of CBS representations, engineering of CBS and its relation to software engineering, and required education and training.< >

关键词： Systems engineering and theory Biomedical engineering Manufacturing automation Telephony Communication system traffic control Management information systems Process control Traffic control Instruments Standardization

来源：评论

学校读者我要写书评

暂无评论

Problems in engineering computer-based systems

Problems in engineering computer-based systems

引用

International Symposium and Workshop on Systems Engineering of Computer Based Systems

作者： S. White Grumman AeroSpace and Electronics Bethpage NY USA

Several members of the IEEE Computer Society Task Force on Engineering of Computer Based Systems (ECBS) worked together to identify the state of practice in ECBS. Findings were documented in a paper titled "Systems Engineering of Computer-Based Systems," published in IEEE Computer, Nov., p.54-65 (1993). Problems identified by the group that were not covered in that paper are discussed here.< >

关键词： Systems engineering and theory Hardware Design engineering Costs Maintenance engineering Design methodology Testing System analysis and design System performance Software performance

来源：评论

学校读者我要写书评

暂无评论

The role of process standards within ECBS work

The role of process standards within ECBS work

引用

International Symposium and Workshop on Systems Engineering of Computer Based Systems

作者： M. Voss H. Hummel T. Wolff Institut für Mikrorechner und Automation Universität Karlsruhe Karlsruhe Germany ITE Industrieanlagen-Betriebsgesellschaft mbH Ottobrunn Germany FCSD European Space Operations Center Darmstadt Germany

Primarily stimulated through our work within the German Computer Societies Task Force on the Engineering of Computer-Based Systems (ECBS), we investigated the relationships between recent engineering process standardization efforts and current ECBS research. We showed that these have to be linked together more closely to achieve real progress in defining a sound basis for operating and managing the ECBS process. This paper is concerned with these relationships. It defines both the technical contents of process standards and how ECBS work can contribute to evaluation, evolution, and operationalization of process standards.< >

关键词： Standards development Software standards Acoustical engineering Standardization Project management Software engineering Programming Documentation Aerospace industry Computer industry

来源：评论

学校读者我要写书评

暂无评论

On exploiting declarative programming and parallel execution in computer based real-time systems

On exploiting declarative programming and parallel execution...

引用

International Symposium and Workshop on Systems Engineering of Computer Based Systems

作者： B. Lennartsson N. Shahmehri S. Bonnier Carlstedt Elektronik AB Partille Sweden

Presents experiences from modelling real-time applications in the declarative functional language H, developed hand-in-hand with a novel parallel graph reduction architecture called rp8601, both designed with the requirements of real-time embedded systems in mind. In rp8601, the analogue and digital interactions with the environment have been designed into the chips and into the language, and so have mechanisms to handle time constraints. Traditionally, declarative programming means that the programmer need not be aware of the processor operations. Instead, he can focus on the abstract relations between the input and output streams. The specific real-time requirements have normally not been taken into account in the declarative view. Our conclusion is that declarative functional programming is a viable technique for the development of complex software for embedded real-time systems. However, considerable efforts have to be spent on educating and training the application programmers in the new programming paradigm.< >

关键词： Parallel programming Concurrent computing Real time systems Programming profession Parallel processing Hardware Application software Distributed computing Computer industry Time factors

来源：评论

学校读者我要写书评

暂无评论

A method for requirements elicitation using a domain model

A method for requirements elicitation using a domain model

引用

International Symposium and Workshop on Systems Engineering of Computer Based Systems

作者： M. Nakamura A. Takura T. Ohta ATR Communication Systems Research Laboratories Japan

Proposes a method that allows specifications to be described by as wide a range of people as possible. For that purpose, it is necessary to have support systems that enable the easy input of requirements and that provide complete specification generation mechanisms from the input requirements. In most cases, specialists describe specifications by applying common knowledge that is independent of individual requirements to satisfy the given requirements. This common knowledge is stored beforehand as a domain model. It is then used to automatically generate the application knowledge capable of satisfying the input requirements. In our method, designers can input their requirements using partial information since information needed to complete specifications is supplemented. A number of theoretical tests confirm that the method is effective.< >

关键词： Telecommunication services Communication systems Laboratories Design methodology Testing Formal languages Design automation Software design Process design Software systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共55页 << < 43 44 45 46 47 48 49 50 51 52 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：