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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

746 篇 会议
6 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

557 篇 工学
- 426 篇 计算机科学与技术...
- 380 篇 软件工程
- 143 篇 控制科学与工程
- 107 篇 电气工程
- 76 篇 信息与通信工程
- 60 篇 电子科学与技术（可...
- 44 篇 机械工程
- 36 篇 动力工程及工程热...
- 28 篇 仪器科学与技术
- 26 篇 生物工程
- 23 篇 土木工程
- 23 篇 生物医学工程（可授...
- 22 篇 安全科学与工程
- 17 篇 建筑学
- 17 篇 航空宇航科学与技...
- 16 篇 交通运输工程
- 14 篇 化学工程与技术
- 13 篇 环境科学与工程（可...
163 篇 理学
- 81 篇 数学
- 37 篇 物理学
- 28 篇 生物学
- 26 篇 系统科学
- 15 篇 统计学（可授理学、...
135 篇 管理学
- 111 篇 管理科学与工程(可...
- 50 篇 工商管理
- 36 篇 图书情报与档案管...
25 篇 经济学
- 25 篇 应用经济学
24 篇 医学
- 24 篇 临床医学
- 21 篇 基础医学(可授医学...
- 13 篇 公共卫生与预防医...
13 篇 法学
7 篇 教育学
6 篇 军事学
3 篇 农学

主题

83 篇 application soft...
39 篇 computer science
26 篇 costs
22 篇 software systems
21 篇 software enginee...
21 篇 control systems
21 篇 computer aided s...
19 篇 real time system...
17 篇 hardware
16 篇 computer archite...
14 篇 application prog...
12 篇 software tools
12 篇 protocols
12 篇 software
11 篇 electrical capac...
11 篇 space technology
11 篇 software mainten...
10 篇 fault tolerance
10 篇 information tech...
10 篇 bandwidth

机构

3 篇 beijing engineer...
3 篇 beijing institut...
2 篇 radio and televi...
2 篇 dept. of electri...
2 篇 institute of mic...
2 篇 caltech jet prop...
2 篇 shandong institu...
2 篇 college of compu...
2 篇 school of econom...
2 篇 school of comput...
2 篇 umist manchester...
2 篇 school of astron...
2 篇 southwest jiaoto...
2 篇 empirical softwa...
2 篇 euratom enea sul...
2 篇 the national eng...
2 篇 shanghai institu...
2 篇 university of ma...
2 篇 school of comput...
2 篇 florida atlantic...

作者

3 篇 khoshgoftaar tm
3 篇 rahaman hafizur
2 篇 crisanti f
2 篇 allen eb
2 篇 fang yu
2 篇 de tommasi g
2 篇 shulong wang
2 篇 chau sn
2 篇 t.m. khoshgoftaa...
2 篇 ren yongchang
2 篇 goodfellow s.d.
2 篇 li tao
2 篇 mc cullen p
2 篇 quan qiang
2 篇 chen xiaoji
2 篇 taylor j.h.
2 篇 zhao yang
2 篇 tan guozhen
2 篇 zhangqin huang
2 篇 wang fan

语言

741 篇 英文
11 篇 其他

检索条件"任意字段=3rd IEEE Symposium on Application-Specific Systems and Software Engineering Technology"

共 752 条记录，以下是651-660 订阅

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

详细简洁

排序：

Development of a dual-frequency GPS/GLONASS receiver for space application

Development of a dual-frequency GPS/GLONASS receiver for spa...

引用

International Conference on Satellite Communications (ICSC)

作者： M. Ripley J. Cooper P. Silvestrin P. Daly CAA Institute of Satellite Navigation School of Electronic and Electrical Engineering University of Leeds UK European Space Research and Technology Centre-European Space Agency Noordwijk Netherlands

Laboratory breadboards of a high precision dual-frequency Global Navigation Satellite System (GNSS) receiver have been developed at the Institute of Satellite Navigation at the University of Leeds (ISN) under a European Space Agency (ESA) programme. The main objective of these breadboards is to serve as development tools for receiver signal processing research in view of the scientific applications of GNSS. Some of these applications will be realised by means of receivers embarked on satellites in low Earth orbit (LEO) as part of on-going and future ESA programmes and will include precise orbit determination, radio occultation measurements and measurements of the parameters characterising GNSS signals reflected at the sea surface. During an occultation measurement the GNSS signal propagation encounters a challenging environment. Not only substantial Doppler dynamics occur during a measurement due to the effect of gradients of the refraction index, but also attenuation and deep fading caused by multipath propagation. The signal tracking requirements for space applications are analysed and applied to the hardware and software tasks. Resultant enhancements to the receiver digital processing are presented along with their impact on the intended application. The areas of concern are the acquisition and tracking of signals in high dynamics and at low carrier-to-noise ratios (CNR), and on improving the performance of tracking the GPS P code without full knowledge of the spreading code.

关键词： Global Positioning System Satellite navigation systems Extraterrestrial measurements Sea measurements Low earth orbit satellites Satellite broadcasting Receivers application software Laboratories Signal processing

来源：评论

学校读者我要写书评

暂无评论

Impact of unrealistic worst case modeling on the performance of VLSI circuits in deep sub-micron CMOS technologies

Impact of unrealistic worst case modeling on the performance...

引用

ieee International Workshop on Statistical Metrology

作者： A. Nardi A. Neviani E. Zanoni C. Guardiani Università degli Studi di Padova Padova Italy SGS-Thomson Microelectronics Inc. Milan Italy

The impact of process fluctuations on the variability of deep sub-micron (DSM) VLSI circuit performances is investigated in this paper. In particular, we show that, as process dimensions scale down in the sub half-micron region, the relative weight of process variability tends to increase, thus wearing down a nonnegligible portion of the benefits that are expected from minimum feature size scaling. Therefore, in order to better exploit the advance of process technology, it is essential to adopt a realistic approach to worst case modeling, as in the assigned probability technique (APT) (Dal Fabbro et al, Proc. 32nd ACM/ieee Design Automation Conf., pp. 702-6, 1995). The application of the APT technique to a 16-bit ripple-carry adder designed in 0.35 /spl mu/m, 0.25 /spl mu/m and 0.18 /spl mu/m CMOS technologies with a power supply ranging from 3.3 V down to 1 V demonstrates how the manufacturability of DSM designs is going to be a vital factor for the successful implementation of high performance or low-power systems in 0.18 /spl mu/m and lesser technologies.

关键词： Computer aided software engineering Very large scale integration Circuits CMOS technology Semiconductor device modeling Adders CMOS process Power supplies Libraries Microelectronics

来源：评论

学校读者我要写书评

暂无评论

Requirements for telecommunications services: An attack on complexity

Requirements for telecommunications services: An attack on c...

引用

3rd ieee International symposium on Requirements engineering (RE 97)

作者： Zave, P Jackson, M AT&T Lab United States

ISBN: (纸本)0818677406

In engineering the requirements for a telecommunications system, the greatest obstacle to be overcome is the sheer complexity of the required behavior. We present several ways of managing and minimizing this complexity, all of proven effectiveness. Most of the specification techniques result from specific application of general requirements principles to the telecommunications domain.

关键词： Telecommunication systems

来源：评论

学校读者我要写书评

暂无评论

Framework for computer based safety-related systems: Overview of draft international standard IEC 1508

Framework for computer based safety-related systems: Overvie...

引用

3rd ieee International software engineering Standards symposium and Forum - Emerging International Standards (ISESS 97) / software Process Improvement and Capability Determination symposium

作者： Bell, R Directorate of Science & Technology United Kingdom

ISBN: (纸本)0818678372

This article provides an overview of the proposed International Electrotechnical Commission (IEC) standard (IEC 1508) entitled ''Functional safety of electrical/electronic/programmable electronic safety-related systems'' which sers out a generic approach for all Safety Lifecycle activities for electrical/electronic/programmable electronic systems (E/E/PESs) that are used to perform safety functions. The emergence of tills international standard should be a major step cowards the adoption of a more rational and consistent technical policy for an electrically based safety-related systems. A major objective is to facilitate file development of application sector standards. The article also considers priorities for the future if both the safety and economic benefits are to be fully realised from The adoption of this proposed international standard.

关键词： Security systems

来源：评论

学校读者我要写书评

暂无评论

Quality assessment of knowledge-based software: Some certification considerations

Quality assessment of knowledge-based software: Some certifi...

引用

Proceedings of the 1997 3rd ieee International software engineering Standards symposium and Forum, ISESS

作者： Vermesan, Anca I. Det Norske Veritas Research Hovik Norway

Knowledge-Base (KB) technology is being applied to complex problem-solving and critical tasks in many application domains. Concerns have naturally arisen as to the dependability of Knowledge-Base systems (KBS). As with any software, attention to quality and safety must be paid throughout development of a KBS and rigorous Verification and Validation (V&V) techniques must be employed. Research in KBS V&V has emerged as a distinct field only in the last decade and is intended to address issues associated with KBS quality aspects and to credit such applications with the same degree of dependability as conventional applications. However, a major drawback of the current state of acceptance of KB-software is the lack of standardization. Although standards do exist for software, extensions are needed to cope with specific KB-software characteristics. This paper advocates the idea that, although quality assessment of KB-software is still a challenging issue, KB-software is not an impossible one. Some V&V techniques based on specific KB-software properties are described in this paper which aims at indicating KBS acceptability requirements may be specified and evaluated, being at the same time a good basis for certification.

关键词： Knowledge based systems

来源：评论

学校读者我要写书评

暂无评论

Formalizing software engineering standards

Formalizing software engineering standards

引用

3rd ieee International software engineering Standards symposium and Forum - Emerging International Standards (ISESS 97) / software Process Improvement and Capability Determination symposium

作者： Verlage, M Munch, J Universitaet Kaiserslautern Kaiserslautern Germany

ISBN: (纸本)0818678372

A software engineering standard is an aid for systematic software development and process improvement. Because of the informal representation of software engineering knowledge, the document might be inconsistent, ambiguous, and incomplete. A more formal representation promises to overcome these shortcomings. software process modeling is a direction within software engineering that aims at providing support for capturing software development processes. This paper describes the application of a particular software process modeling approach to three software engineering standards. The lessons learned about the standards, the modeling, and the resulting models are discussed in derail. In addition to the support currently available for both authors and users of standards, future directions of how to use progressive forms of software engineering standards are illustrated Process modeling technology promises to speed up development, management, and tailoring of software engineering standards.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

A flexible, extensible simulation environment for testing real-time specifications

A flexible, extensible simulation environment for testing re...

引用

3rd ieee Real-Time technology and applications symposium

作者： Brockmeyer, M Jahanian, F Heitmeyer, C Labaw, B Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI 48109-2122 United States Center for High Assurance Computer Systems Naval Research Laboratory Washington DC 20375 United States

ISBN: (纸本)0818680164

This paper describes MTSim, an extensible, customizable simulation platform for the Modechart toolset (MT) [3]. MTSim provides support for ''plugging in'' user-defined viewers useful in, simulating system behavior in different ways, including application-specific ways. MTSim also supports full user participation an the generation of simulations by allowing users to inject events into the execution trace. Moreover, MTSim provides monitoring and assertion checking of execution traces and the invocation of user-specified handlers upon assertion violation. This paper also introduces a MTSim component called WebSim, a suite of simulation tools for MT, and an an application-specific component of MTSim, which displays the cock-pit of an F-18 aircraft and models its bomb release function.

关键词： simulation specification symbolic execution monitoring and assertion checking formal methods

来源：评论

学校读者我要写书评

暂无评论

Ten steps towards systematic requirements reuse

Ten steps towards systematic requirements reuse

引用

3rd ieee International symposium on Requirements engineering (RE 97)

作者： Lam, W McDermid, JA Vickers, AJ Univ of York York United Kingdom

ISBN: (纸本)0818677406

Reusability is widely suggested to be a key to improving software development productivity and quality [1], [2]. it has been further argued that reuse at the requirements level can significantly increase reuse at the later stages of development [3], [4]. However, there is little evidence in the literature to suggest that requirements reuse is widely practised. This paper describes ten practical steps towards systematic requirements reuse based on work at the Rolls-Royce University technology Centre (UTC) for Rolls-Smiths Engine Controls Ltd (RoSEC) in the domain of aero-engine control systems. We believe these steps have made a significant overall contribution to the 50% reuse figure quoted by the management at RoSEC for current projects within the BR700 family of engine controllers.

关键词： Computer aided software engineering

来源：评论

学校读者我要写书评

暂无评论

Functional safety of safety-related systems: The influence of IEC 1508 and developments in conformity assessment schemes on business drivers

Functional safety of safety-related systems: The influence o...

引用

Proceedings of the 1997 3rd ieee International software engineering Standards symposium and Forum, ISESS

作者： Nunns, Stuart R. Eutech Engineering Solutions Ltd Teesside United Kingdom

Industry faces many challenges and unremitting pressures within increasingly competitive markets. There are increasing regulatory demands to address risks to safety and the environment in a world where public concern for safety is rising. A consistent approach to the use of new technology and standards is essential to avoid the potential confusion of different approaches to safety being followed by different application sectors. Programmable Electronics, is a technology that if properly used in the implementation of safety related systems, supported by internationally acceptable standards, with supporting conformity assessment schemes offers significant benefits to industry in meeting its challenges, whilst maintaining and improving safety. This paper presents a range of current technical issues and business drivers within manufacturing industry, and discusses the relevance and importance of the emerging international standard, IEC 1508 in assisting industry in satisfying their evolving business drivers and continuous organizational restructuring. A UK Government sponsored research project FRESCO has developed a conformity assessment scheme from process industry requirements based on IEC 1508. The paper outlines the organizational framework and assessment methodology developed by the FRESCO project.

关键词： Industrial electronics

来源：评论

学校读者我要写书评

暂无评论

Formal methods for V&V of partial specifications: An experience report

Formal methods for V&V of partial specifications: An experie...

引用

3rd ieee International symposium on Requirements engineering (RE 97)

作者： Easterbrook, S Callahan, J NASA/West Virginia Univ Software IV&V Facility Fairmont United States

ISBN: (纸本)0818677406

This paper describes our work exploring the suitability of formal specification methods for independent verification and validation (IV&V) of software specifications for large, safety critical systems. An IV&V contractor often has to perform rapid analysis on incomplete specifications with no control over how those specifications are represented. Lightweight formal methods show significant promise in this context, as they offer a way of uncovering major errors, without the burden of full proofs of correctness. We describe an experiment in the application of the method SCR to testing for consistency properties of a partial model of the requirements for Fault Detection Isolation and Recovery on the space station. We conclude that the insights gained from formalizing a specification is valuable, and it is the process of formalization, rather than the end product that is important. It was only necessary to build enough of the formal model to test the properties in which we were interested. Maintenance of fidelity between multiple representations of the same requirements (as they evolve) is still a problem, and deserves further study.

关键词： Computer aided software engineering

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共76页 << < 62 63 64 65 66 67 68 69 70 71 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：