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

Smart executives for autonomous spacecraft

IEEE Intelligent systems and Their Applications 1998年第5期13卷 56-61页

作者： Gat, Erann Pell, Barney Jet Propulsion Laboratory California Institute of Technology United States Res. Inst. for Adv. Computer Science NASA Ames Research Center United States Virginia Polytechnic Institute United States JPL MS 301-270 Pasadena CA 91109 4800 Oak Grove Dr. United States Information Systems Division NASA Ames Research Center United States NASA Ames United States Auton. Intgd. Prod. Development Team NASAs New Millenium Program United States Stanford University United States Cambridge University United Kingdom AAAI United States Mail Stop 269/2 NASA Ames Research Center Moffett Field CA 94035-1000 United States

To make spacecraft more self-reliant and less dependent on ground intervention, the authors have developed an executive (EXEC) for a new control architecture, Remote Agent. EXEC has an expanded vocabulary for commanding spacecraft, provides a wide range of capabilities at different levels of abstraction, and has a highly modular design.

关键词： Space vehicles Hardware Control systems Humans Vocabulary Propulsion NASA Face Error correction Automatic control

来源：评论

学校读者我要写书评

暂无评论

Empirical testing: The prototyper's evaluation mechanism

引用

NAVAL ENGINEERS JOURNAL 1997年第1期109卷 41-46页

作者： Hafner, AN Arnold N. Hafner Ph.D.:is founder and president of Information Systems Research (ISR). He has twenty-five years of experience in systems development and is published in the field of systems development management. He served as corporate research scientist at Systems Exploration Inc. from 1988 to 1991 program director at Computer Science Corporation from 1983 to 1988 director of operations at Republic Management Systems Corporation from 1981 to 1983 and program manager at Computer Science Corporation from 1972 to 1981. A 1962 graduate of the US. Naval Academy he holds a doctoral degree in human behavior and engineering degrees in electronics and communications. He has taught courses on information systems and systems management at most of the colleges in the San Diego area. Dr. Hafner has presented fourteen refereed research papers while publishing sixteen articles and a book A Manager's Guide to Software System Development.

Evaluating complex systems is the subject of this paper, the third in a series investigating prototyping. It provides an interesting and helpful overview of how to evaluate systems prototypes and outlines the iterative stream of developer-user interactions that is replacing older approaches to testing and evaluating new military systems, which promise to reduce the time required to develop and field future military capabilities. Changes to the acquisition process, such as those the paper sketches, will facilitate the nation's rapid transit through its current revolution in military affairs.

关键词： systems analysis

来源：评论

学校读者我要写书评

暂无评论

Combining function points software estimation model with ADISSA methodology for systems analysis and design 7

Combining function points software estimation model with ADI...

引用

7th Israeli Conference on computer systems and Software Engineering, ICCSSE 1996

作者： Shoval, Peretz Feldman, Ofer Information Systems Program Dept.of Industrial Engineering and Management Israel Dept.of Mathematics and Computer Science Ben-Gurion University of Negev Beer-Sheva84105 Israel

ISBN: (纸本)0818675365

The study proposes a combination of the function points model for software estimation with the ADISSA methodology for systems analysis and design. This combined approach, which is supported by a software tool, enables one to estimate various software metrics, such as size, effort, and duration, in the early stages of systems development, by basing them on the products of a thorough system analysis and design process. © 1996 IEEE.

关键词： Project management

来源：评论

学校读者我要写书评

暂无评论

NIIT TELEMEDICAL TRAUMA CARE APPLICATIONS

NIIT TELEMEDICAL TRAUMA CARE APPLICATIONS

引用

1996 International Conference on information Infrastructure(ICII’96)

作者： Christine A.Caldwell Managing Director National Information Infrastructure Testbed and Program Manager Computer Systems Marketing Hewlett-Packard Company 1517 Blake Street

*** will describe NIIT's Telemedical Trauma Care System currently being developed in conjunction with NIIT member Denver Health and Hospitals of Denver,*** NIIT project links a large trauma care center in Denver with several rural hospitals and uses a wide range of NII-related *** addition to showing the benefit of telemedicine to trauma care,NIIT will use the trauma care project to explore how non-trauma care telemedical applications can be layered on trauma applications to support the overall business case for extending the NII to rural *** NIIT project is intended to become a model for international collaboration in the development of telemedical products and services.

关键词： NIIT TELEMEDICAL TRAUMA CARE APPLICATIONS

来源：评论

学校读者我要写书评

暂无评论

Combining function points software estimation model with ADISSA methodology for systems analysis and design

Combining function points software estimation model with ADI...

引用

Israel Conference on computer systems and Software Engineering

作者： P. Shoval O. Feldman Information Systems Program Department of Industrial Engineering and Management Ben-Gurion University of the Negev Beersheba Israel Department of Mathematics and Computer Science Ben-Gurion University of the Negev Beersheba Israel

关键词： Software measurement System analysis and design Project management Costs programming Mathematical model Software development management information analysis Management information systems Industrial engineering

来源：评论

学校读者我要写书评

暂无评论

Proof Method for correctness of refinements of algebraic specification in abstract sequential machine style

引用

systems AND computerS IN JAPAN 1996年第5期27卷 25-38页

作者： Okano, K Higashino, T Taniguchi, K Member Faculty of Engineering Science Osaka University Toyonaka Japan 560 Teruo Hipshino received his B.E. M.E.and Ph.D. degrees in Information and Computer Sciences from Osaka University Osaka Japan in 1R9 1981 and 1984 respectively. He joined the Faculty of Osaka University in 1984. Since 1991 he has been an Associate Professor in the Department of Information and Computer Sciences at Osaka University. In 1990 he was a Visiting Researcher of Dept. I.R.O. at University of Montreal Canada. His current research interests include design and analysis of distributed systems specification and verification of communication protocols and formal approach of program design. He is a member of IEEE-CS ACM IEICE of Japan and IPS of Japan.

In this paper, new methods for providing the correctness of refinement among abstract sequential machine style programs are described. The programs are described in algebraic language ASL using some useful notions, i.e., the extended projection and the valid reachability condition for each transition function. These notions allow a designer to refine a given text (program or specification) to a concrete text more freely than the text that does not use such notions. These notions can also enhance the expressive power of the text. On the other hand, these advantages would have lost half their values, if useful methods to prove the correctness of refinement among the texts using them are not found. Thus new methods for proving the correctness of the texts are proposed, and they do not require much proof loads. First, the correctness of refinement among the ASL texts with the extended projection is defined. Second, a method is proposed for proving the correctness of refinement among such texts. Also proposed is a definition of the correctness of refinement among the texts with the valid reachability conditions and a method to prove their correctness. These methods do not require more proof loads than the usual methods for the texts that do not use such notions in the abstract sequential machine style. Therefore, these methods are useful.

关键词： abstract sequential machine ASL language proof algebraic specification

来源：评论

学校读者我要写书评

暂无评论

A longitudinal survey of Internet host reliability

A longitudinal survey of Internet host reliability

引用

Reliable Distributed systems

作者： D. Long A. Muir R. Golding Computer and Information Sciences University of California Santa Cruz CA USA Storage Systems Program Hewlett Packard Laboratories Palo Alto CA USA

An accurate estimate of host reliability is important for correct analysis of many fault-tolerance and replication mechanisms. In a previous study, we estimated host system reliability by querying a large number of hosts to find how long they had been functioning, estimating the mean time-to-failure (MTTF) and availability from those measures, and in turn deriving an estimate of the mean time-to-repair (MTTR). However, this approach had a bias towards more reliable hosts that could result in overestimating MTTR and underestimating availability. To address this bias we have conducted a second experiment using a fault-tolerant replicated monitoring tool. This tool directly measures TTF, TTR, and availability by polling many sites frequently from several locations. We find that these more accurate results generally confirm and improve our earlier estimates, particularly for TTR. We also find that failure and repair are unlikely to follow Poisson processes.

关键词： Internet Availability Access protocols Fault tolerance information analysis Condition monitoring Failure analysis Fault tolerant systems Power system reliability Hardware

来源：评论

学校读者我要写书评

暂无评论

Web servers and the rise of the corporate 'Intranet'

引用

International Journal of Network Management 1995年第6期5卷 322-325页

作者： Cline, Gregory P. Gregory Cline is program director of the Business Research Group's Network Integration and Management Service. He provides strategic planning information and analysis to suppliers of networking products and services. Mr Cline holds a Master of Science degree in Computer and Information Systems from Dartmouth College.

Deployment of web servers inside the corporation is part of an important trend known as the corporate Intranet. This paper which is based on a survey of 170 decision makers at medium-sized and large companies explores the definition of the Intranet, corporations who are using it, vendors who are enabling it, its potential, and where it fits into the world wide web evolution.

关键词： computer networks

来源：评论

学校读者我要写书评

暂无评论

A DISTRIBUTED MEDIA ACCESS PROTOCOL FOR PACKET RADIO NETWORKS AND PERFORMANCE ANALYSIS .2. NETWORK SET-UP TIME AND DATA RATE

引用

INTERNATIONAL JOURNAL OF COMMUNICATION systems 1995年第1期8卷 49-63页

作者： POND, LC LI, VOK Communication Sciences Electrical Engineering Systems University of Southern California Los Angeles CA 90089-2565 U.S.A. Lawrence C. Pond received the M.Sc. and Ph.D. degrees in electrical engineering from the University of Southern California in 1983 and 1990 respectively. Dr. Pond is currently a scientist at Hughes Space and Communications Company having joined in 1980. He has worked in the fields of communication system design mobile communication network and spacecraft payload design. He is currently working on the development of satellite-based ATM transport and switching architectures for BISDN and Defense Information System Network amlications. Dr. Pond is a member of IEEE. Victor O. K. Li was born in Hong Kong in 1954. He received his SB SM and Sc.D. degrees in Electrical Engineering and Computer Science from the Massachusetts Institute of Technology Cambridge Massachusetts in 1977 1979 and 1981 respectively. Since February 1981 he has been with the University of Southern California (USC) LOS Angeles California where he is Professor of Electrical Engineering and Director of the USC Communication Sciences Institute. He has published 150 technical papers and has lectured and consulted extensively around the world. His research interests include high-speed communication networks personal communication networks intelligent networks distributed databases queueing theory graph theory and applied probability. Dr. Li is very active in the Institute of Electrical and Electronic Engineers (IEEE) having been a member of the Computer Communications Technical Committee since 1983 and having served as Chairman from 1987–1989. He served as Chairman of the Los Angeles Chapter of the IEEE Information Theory Group from 1983–1985. He is the Steering Committee Chair of the International Conference on Computer Communications and Networks (IC3 N) General Chair of the 1st Annual IC3N held in San Diego California in June 1992 General Chair and Technical Program Chair of the 4th IEEE Workshop on Comp

In this, the second part of a two-part paper, the required time for establishing a mobile packet radio network using the virtual circuit and time division multiple access protocol developed in Part 1 is analysed. Tools are developed to determine the virtual circuit and network set-up times in terms of the channel bandwidth allocated to establish and maintain the network. The tools are then extended to include the effects of user mobility. Then these results are combined with the network capacity results of Part 1 to analyse the trade-off between the data rate and set-up time of the network. Next a hierarchical architecture is proposed and the network data rate versus set-up time trade-off of this architecture is analysed using these tools. This architecture is shown to both provide a higher data rate and establish faster than flat networks of the same number of nodes.

关键词： PACKET RADIO NETWORK EPLRS DISTRIBUTED NETWORK TDMA VIRTUAL CIRCUITS MULTIHOP NETWORK BOUNDED DELAY MOBILITY NETWORK SET-UP TIME HIERARCHICAL NETWORK NETWORK DATA RATE

来源：评论

学校读者我要写书评

暂无评论

Improvement of convergence speed for subband adaptive digital filter using the multirate repeating method

引用

ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE 1995年第10期78卷 37-45页

作者： Kiya, H Nishikawa, K Ashihara, K Faculty of Technology Tokyo Metropolitan University Hachioji Japan 192-03 Members Kiyoshi Nshikawa graduated in 1990 from the Department of Electrical Engineering Tokyo Metropolitan University where he completed the Master's Program in 1992 and affiliated with Nippon Steel Co. Computer Systems Laboratory. He was a Research Associate in 1993 in the Department of Elect. Inf. Eng. Tokyo Metropolitan University engaged in research onadaptive signal processing and information source coding. He is a member of the IEEE. Associate Member

The subband adaptive system, where the idea of the filter bank is applied to the adaptive filter, has a feature that a higher-order adaptation can be reduced to lower-order adaptations. The reduction of the order of the adaptive filter is related closely to the number of channels and the decimation ratio. The order of adaptive digital filter (ADF) is decreased greatly when the number of subbands is increased, and the decimation ratio is increased up to the maximum value. Then, however, the number of coefficient-updates per unit time is decreased, which results in the deterioration of the convergence Speed. From such a viewpoint, this paper discusses a method to improve the convergence speed, which is deteriorated in the subband adaptive system, due to the decimation. The idea of the proposed method is to utilize effectively the data which have been discarded in the decimation process and to improve the convergence speed. It is called the multirate repeating method. As the first step, the multirate repeating method is applied to the conventional subband adaptive system and the convergence speed is improved. Then a subband adaptive system is introduced in which the multirate repeating method can be utilized more effectively. As a result, a faster convergence is realized while retaining the ADF order-reduction effect, which is an advantage of the subband adaptive system.

关键词： adaptive signal processing subband adaptive system multirate repeating method rational decimation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：