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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是641-650 订阅

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

详细简洁

排序：

Proceedings - 3rd ieee International High-Assurance systems engineering symposium, HASE 1998

Proceedings - 3rd IEEE International High-Assurance Systems ...

引用

3rd ieee International High-Assurance systems engineering symposium, HASE 1998

ISBN: (纸本)0818692219

The proceedings contain 39 papers. The topics discussed include: a perspective from the field on high assurance systems;checking modification tolerance;formal specification in collaborative design of critical software tools;combining various solution techniques for dynamic fault tree analysis of computer systems;using composition to design secure, fault-tolerant systems;architecture and reliability model of high-assurance systems;log-logistic software reliability growth model;a flexible software architecture for high availability computing;ROAFTS: a middleware architecture for real-time object-oriented adaptive fault tolerance support;system requirements and analysis issues for high assurance systems;software component independence;using classification trees for software quality models: lessons learned;the application of fuzzy enhanced case-based reasoning for identifying fault-prone modules;estimating the number of residual defects;system survivability through security bug tolerance;design for constraint violation detection in safety-critical systems;fault and leak tolerance in firewall engineering;verification in concurrent programming with Petri nets structural techniques;specifying and verifying temporal behavior of high assurance systems using reachability tree logic;and object-oriented software testing - some research and development.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Human-centered virtual machine of problem solving agents, software agents, intelligent agents and objects 3

Human-centered virtual machine of problem solving agents, so...

引用

3rd ieee International High-Assurance systems engineering symposium

作者： Khosla, R La Trobe Univ Sch Comp Sci & Comp Engn Melbourne Vic 3083 Australia

ISBN: (纸本)0818692219

This paper outlines a human-centered virtual machine of problem solving agents, intelligent agents, software agents and objects. It deals with issues related to high-assurance (e.g. reliability, availability real-time and others) through design of human-centered system architecture in which technology is a primitive. The human-centered virtual machine is based on a number of human-centered perspectives including the distributed cognition approach. The human-centered virtual machine has been applied in complex data intensive time critical problems like real-time alarm processing and fault diagnosis, air combat simulation and business (decision support).

关键词： Decision support systems

来源：评论

学校读者我要写书评

暂无评论

A flexible software architecture for high availability computing 3

A flexible software architecture for high availability compu...

引用

3rd ieee International High-Assurance systems engineering symposium

作者： Iyer, RK Kalbarczyk, Z Whisnant, K Bagchi, S Univ Illinois Ctr Reliable & High Performance Comp Urbana IL 61801 USA

ISBN: (纸本)0818692219

This paper presents an overview of the Chameleon architecture for supporting a wide range of criticality requirements in a heterogeneous network environment. Chameleon employs ARMORs (Adaptive, Reconfigurable, and Mobile Objects for Reliability) to synthesize different fault-tolerant configurations and to maintain run-time adaptation to changes in the fault tolerance requirements of an application. ARMORs have a flexible architecture that allows their composition to be reconfigured at runtime, i.e., the ARMORs may dynamically adapt to changing application requirements. In this paper we focus on the detailed description of the ARMORs architecture, including ARMOR class hierarchy basic building blocks ARMOR composition, and use of ARMOR factories. We describe how ARMORs;can be reconfigured and reengineered, and demonstrate how the architecture serves our objective of providing an adaptive software infrastructure. Our experience,with an early Chameleon implementation demonstrates that the proposed ARMOR architecture provides for a highly flexible and reconfigurable software infrastructure.

关键词： Reconfigurable architectures

来源：评论

学校读者我要写书评

暂无评论

Enhancing competitiveness via a public fault and failure data repository 3

Enhancing competitiveness via a public fault and failure dat...

引用

3rd ieee International High-Assurance systems engineering symposium, HASE 1998

作者： Wallace, D.R. Nat. Inst. of Stand. and Technol. Information Technology Laboratory NIST North Rm 562 GaithersburgMD20899 United States

ISBN: (纸本)0818692219

Today most software companies are under pressure to get reliable software products built quickly. To assist both industry and researchers, the Information technology Laboratory (ITL) at NIST in the US, has initiated the Reference Data: software Error, Fault, Failure Data Collection & Analysis Repository Project. Usually referred to as the EFF Project, the project treats the term "error" as the human action that produces the incorrect result;the term "fault" as the manifestation of an error in an artifact, and the term "failure" as the result of a fault that has been activated, or triggered, during operation of the software. The EFF project is collecting and analyzing data from either the development and maintenance processes or the operation of a delivered computer system. The data, with all proprietary information removed, will become available through a publicly accessible World Wide Web facility at NIST. Researchers may use the data for their experimentation. The information technology industry and researchers may use the resulting reference data to assist in many types of decisions for building better end user products and for developing new methods and tools to support industry. NIST encourages companies to consider the benefits of a public database. NIST will accept new or existing private data to augment the repository. Such data may be from either the software development or maintenance process, or may consist of failure data derived from systems already in service. © 1998 ieee.

关键词： Errors

来源：评论

学校读者我要写书评

暂无评论

A two level strategy for software fault tolerance of service control point 3

引用

3rd ieee symposium on Computers and Communications

作者： Liu, YL Yang, FC Chen, JL Beijing Univ Posts & Telecommun Natl Key Lab Beijing 100876 Peoples R China

ISBN: (纸本)0818685387

Fault tolerance (FT) is a feature of top importance in the long-life real-time systems. The Service Control Point (SCP) in the Intelligent Network (IN) is just one of this kind of systems. Its dependability affects directly the Quality of Service (QoS) of the whole network. In the paper, we give a overview on the software fault tolerance (SFT) at first, and decide to adopt the Time-Redundancy approach to implemant the SFT of SCP according to the special features of the IN application. Based on the processing mechanism of IN calls and under the consideration of load-balance, software fault-tolerance and software upgrading on-line, we present a Two-Level Concurrence Model of SCP software, and give our implemen-tation of this model in the multi-task environment. Furthermore, we discuss in detail the issuses of SFT based on this model, and give the corresponding strategies and algorithms to achieve the specified whole FT targets. At last, we have a further discuss on the system effectiveness of the SCP software, and provide a computing method of the effectiveness of the SCP software based on the Markov model.

关键词： Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

The application of fuzzy enhanced case-based reasoning for identifying fault-prone modules 3

The application of fuzzy enhanced case-based reasoning for i...

引用

3rd ieee International High-Assurance systems engineering symposium

作者： Schenker, DF Khoshgoftaar, TM Adv Technol Solut Plantation FL 33324 USA

ISBN: (纸本)0818692219

As highly reliable software is becoming an essential ingredient in many systems, the process of assuring reliability can be a time-consuming, costly process. One way to improve the efficiency of the quality assurance process is to target reliability Enhancement activities to those modules that are likely to have the most problems. within the field of software engineering, much research has been performed to allow! developers to identify fault-prone modules within a project. software qualify classification models can select the modules that are the most likely to contain faults so that reliability enhancement activities can be performed to lower the occurrences of software faults and errors. The contribution of this paper is the introduction of fuzzy logic combined with case-based reasoning to determine fault-prone modules given a set of software metrics. Although used in other fields, this is the first time, as far as we know, this type of modeling has been applied to software measurements for classifying fault-prone modules. Case-based reasoning is a technique that identifies similar cases from the past and uses their results to predict the category of the current cease. Fuzzy logic is a form of logic used in some systems in which variables can have degrees of truthfulness or falsehood represented by a range of values bettween 1 (true) and 0 (false). Combining these two techniques promises more robust, flexible and accurate models. In this paper, we describe this approach, apply if in a real-world case study, and discuss the results. The case study applied this approach to software quality modeling using data from a military command, control, and communications system. The Fuzzy Case-Based Reasoning model had an overall classification accuracy of more than 85 percent. This paper also discusses possible improvements and enhancements to the initial model that can be explored in the future.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

Optimal discrimination between transient and permanent faults 3

Optimal discrimination between transient and permanent fault...

引用

3rd ieee International High-Assurance systems engineering symposium

作者： Pizza, M Strigini, L Bondavalli, A Di Giandomenico, F City Univ London Ctr Software Reliabil London EC1V 0HB England

ISBN: (纸本)0818692219

An important practical problem in fault diagnosis is discriminating between permanent faults and transient faults. In many computer systems, the majority of errors are due to transient faults. Many heuristic methods have been used for discriminating between transient and permanent faults;however, we have found no previous work stating this decision problem in clear probabilistic terms. We present an optimal procedure for discriminating between transients and permanent faults, based on applying Bayesian inference to the observed events (correct and erroneous results). We describe how the assessed probability that a module is permanently faulty must vary with observed symptoms. We describe and demonstrate our proposed method on a simple application problem, building the appropriate equations and showing numerical examples. The method call be implemented as a run-time diagnosis algorithm at little computational cost;it call also be used to evaluate any heuristic diagnostic procedure by comparison.

关键词： Heuristic methods

来源：评论

学校读者我要写书评

暂无评论

Integrated architectural modeling and analysis for high-assurance command and control system design 3

Integrated architectural modeling and analysis for high-assu...

引用

3rd ieee International High-Assurance systems engineering symposium

作者： Deng, Y Wang, JC Florida Int Univ Sch Comp Sci Miami FL 33199 USA

ISBN: (纸本)0818692219

A Real-Time Architectural specification (RAS) approach and its application to command and control (C2) systems are presented The objective is to establish a formal foundation that will enable us to integrate existing rich but fragmented formal techniques for system specification and verification into practical and scaleable formal engineering methods to support the design and development of highly reliable real-time distributed systems. The contribution of RAS is twofold: First, it provides a formal system that integrates system's timing requirements and the propagation of the requirements into the process of architectural modeling and design and provides a systematic way to enforce that the requirements are met in every step of the design process. Second, it offers an incremental and more scaleable approach for design modeling. These two features together make RAS a suitable model for the design of C2 systems. Based on these features, we further present an incremental method for verifying timing properties of a RAS model that helps to reduce the complexity of analysis both at a given design level or across different design levels.

关键词： software architecture formal methods realtime concurrent systems time Petri nets real-time computational tree logic command and control systems

来源：评论

学校读者我要写书评

暂无评论

Teaching real-time systems at DIT/UPM 3

Teaching real-time systems at DIT/UPM

引用

3rd Workshop on Real-Time systems Education, RTEW 1998

作者： De La Puente, J. Alonso, A. Garcia-Valls, M. Ruiz, J.F. Departamento de Ingenieriá de Sistemas Telemáticos Universidad Politécnica de Madrid Spain

ISBN: (纸本)0769501346

Real-time systems is an important topic in the education of electrical engineers, the more so as the correct operation of many application systems is more and more dependent on their implementation in the form of real-time computer control systems. In spite of this, most electrical engineering curricula do not profit from modern real-time systems theory and techniques, and too often simplistic assumptions are made about the nature and implications of real-time computation. The authors describe their experience in teaching a real-time systems course and laboratory from a modern software engineering perspective. The results are highly positive, and show new ways to deal with this subject in the engineering curriculum. © 1999 ieee.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

Proceedings - Real-Time systems Education III, RTSE 1998

Proceedings - Real-Time Systems Education III, RTSE 1998

引用

3rd Workshop on Real-Time systems Education, RTEW 1998

ISBN: (纸本)0769501346

The proceedings contain 24 papers. The topics discussed include: training engineers in real-time systems design: an integrated curriculum;dependability issues for a curriculum in real-time systems;experiences with an introductory real-time software course at Delft;real time systems education at Warsaw university of technology;teaching device drivers technology in a real-time systems curriculum;teaching real-time systems using Petri nets;student projects in reactive and real-time systems course;formal methods in the classroom: the logic of real-time software design;application of mobile autonomous robots to artificial intelligence and information systems curricula;using Hartstone uniprocessor benchmark in a real-time systems course;rapid prototyping environment for real-time control education;use of the Fieldbus systems in an academic setting;a versatile real-time experiment: balancing a ball on a flat board;real-time education in a control engineering curriculum;the role of computing in simplifying the control engineering syllabus;fundamentals of real-time computing for the students of measurement and control;a post-masters program in advanced software engineering for real-time embedded systems;and embedding practical real-time education in a computer science curriculum.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：