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

15th Annual International computer software and Applications Conference, CMPSAC 1991

作者： Knafl, George J. Sacks, Jerome Institute for Software Engineering Department of Computer Science and Information Systems DePaul University 243 South Wabash Avenue ChicagoIL60604 United States Department of Statistics University of Illinois at Urbana-Champaign 725 Wright Street ChampaignIL61820 United States

ISBN: (纸本)0818621524

Model selection based on a predictive performance measure is compared to model selection based on maximum likelihood. Both procedures exhibit unstable relative performance when predictive performance is measured over time periods that may contain overly small proportions of total failures. Both procedures may be stabilized by bounding this proportion away from zero. In that case, both procedures exhibit similar predictive performance relative to the other. This provides evidence that model selection based on the commonly employed maximum likelihood approach may in fact have good predictive performance. © 1991 IEEE.

关键词： Maximum likelihood

来源：评论

学校读者我要写书评

暂无评论

Implementing consistency control mechanisms in the Clouds distributed operating system

Implementing consistency control mechanisms in the Clouds di...

引用

International Conference on distributed Computing systems

作者： R.C. Chen P. Dasgupta Distributed Systems Group Research and Development Division Siemens Nixdorf Information Systems Limited Cambridge MA USA Department of Computer Science and Engineering Arizona State University Tempe AZ USA

Implementation of a kernel-level consistency control mechanism called invocation-based consistency control (IBCC) is presented. IBCC supports general-purpose persistent object-based distributed computing. It provides mechanisms that support a range of powerful, well-defined consistency semantics. IBCC mechanisms can also be used to implement custom recovery and synchronization. An operating-system-level implementation of IBCC as part of the Clouds distributed operating system that uses memory faulting to initiate locking and intermediate version creation is also given. Performance aspects are discussed, as well as the overhead incurred by supporting IBCC in terms of additional data structures needed in the operating system, and the additional amount of required code.< >

关键词： Control systems Clouds Operating systems distributed computing Protection Research and development Information systems Data structures Power engineering computing Programming profession

来源：评论

学校读者我要写书评

暂无评论

CLIDE: a distributed, symbolic programming system based on large-grained persistent objects

CLIDE: a distributed, symbolic programming system based on l...

引用

International Conference on distributed Computing systems

作者： M.P. Pearson P. Dasgupta Distributed Systems Laboratory College of Computing Georgia Institute of Technology Atlanta GA USA Department of Computer Science and Engineering Arizona State University Tempe AZ USA

Clouds LISP distributed environments (CLIDE) is a distributed, persistent object-based symbolic programming system being implemented on the Clouds distributed operating system. LISP environment instances are stored as large-grained persistent objects, enabling users on many machines to share the contents of these environments through interenvironment evaluations. CLIDE provides a comprehensive research environment for distributed symbolic language, invocation and consistency semantics, and an implementation vehicle for the construction of the symbolic processing portions of complex megaprogrammed systems.< >

关键词： distributed computing Operating systems Application software Artificial intelligence Computational modeling Multiprocessing systems Educational institutions Cloud computing Vehicles Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

ASSURE: automated design for dependability 90

ASSURE: automated design for dependability

引用

Proceedings of the 27th ACM/IEEE Design Automation Conference

作者： Patrick Edmond Anurag P. Gupta Daniel P. Siewiorek Audrey A. Brennan Silicon & Software Systems Dublin Ireland Electrical and Computer Engineering Department Carnegie Mellon University Pittsburgh PA Unisys Corp. Plymouth Michigan

ISBN: (纸本)9780897913638

Design for dependability has long been an important issue for computer systems. While several dependability analysis tools have been produced, no effort has been made to automate the design for dependability. This paper describes ASSURE, an automated design for dependability advisor, which is part of the MICON system for rapid prototyping of small computer systems. A design for dependability methodology and a formal interface between synthesis and dependability analysis are presented. ASSURE's operation includes dependability analysis, evaluation of dependability enhancement techniques using predictive estimation, and selection of a technique. Different kinds of knowledge used in designing for dependability are identified, including an algorithmic approach for dependability analysis and a knowledge-based approach for suggesting dependability enhancement techniques. Examples of designs produced using ASSURE as a dependability advisor are provided and show an order of magnitude dependability improvement.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Parameter value computation by least square method and evaluation of software availability and reliability at service-operation by the hyper-geometric distribution software reliability growth model (HGDM) 91

Parameter value computation by least square method and evalu...

引用

Proceedings of the 13th international conference on software engineering

作者： Raymond Jacoby Yoshihiro Tohma TOSHIBA Corporation Systems & Software Engineering Laboratory Saiwat-ku Kawasaki-shi 210 Japan and Department of Computer Science Tokyo Institute of Technology Ookayama 2-12-1 Meguro-Ku Tokyo Department of Computer Science Tokyo Institute of Technology Ookayama 2-12-1 Meguro-Ku Tokyo

来源：评论

学校读者我要写书评

暂无评论

ROLE OF SIMULATION IN RAPID PROTOTYPING FOR CONCEPT DEVELOPMENT

引用

NAVAL ENGINEERS JOURNAL 1991年第3期103卷 204-211页

作者： KING, JF BARTON, DE J. Fred King:is the manager of the Advanced Technology Department for Unisys in Reston Virginia. He earned his Ph.D. in mathematics from the University of Houston in 1977. He has been principal investigator of research projects in knowledge engineering pattern recognition and heuristic problem-solving. Efforts include the development of a multi-temporal multispectral classifier for identifying graincrops using LANDSAT satellite imagery data for NASA. Also as a member of the research team for a NCI study with Baylor College of Medicine and NASA he helped develop techniques for detection of carcinoma using multispectral microphotometer scans of lung tissue. He established and became technical director of the AI Laboratory for Ford Aerospace where he developed expert scheduling modeling and knowledge acquisition systems for NASA. Since joining Unisys in 1985 he has led the development of object-oriented programming environments blackboard architectures data fusion techniques using neural networks and intelligent data base systems. Douglas E. Barton:is manager of Logistics Information Systems for Unisys in Reston Virginia. He earned his B.A. degree in computer science from the College of William and Mary in 1978 and did postgraduate work in London as a Drapers Company scholar. Since joining Unisys in 1981 his work has concentrated on program management and software engineering of large scale data base management systems and design and implementation of knowledge-based systems in planning and logistics. As chairman of the Logistics Data Subcommittee of the National Security Industrial Association (NSIA) he led an industry initiative which examined concepts in knowledge-based systems in military logistics. His responsibilities also include evaluation development and tailoring of software engineering standards and procedures for data base and knowledge-based systems. He is currently program manager of the Navigation Information Management System which provides support to the Fleet Ballistic Missile Progr

A valuable technique during concept development is rapid prototyping of software for key design components. This approach is particularly useful when the optimum design approach is not readily apparent or several known alternatives need to be rapidly evaluated. A problem inherent in rapid prototyping is the lack of a "target system" with which to interface. Some alternatives are to develop test driver libraries, integrate the prototype with an existing working simulator, or build one for the specific problem. This paper presents a unique approach to concept development using rapid prototyping for concept development and scenario-based simulation for concept verification. The rapid prototyping environment, derived from artificial intelligence technology, is based on a blackboard architecture. The rapid prototype simulation capability is provided through an object-oriented modeling environment. It is shown how both simulation and blackboard technologies are used collectively to rapidly gain insight into a tenacious problem. A specific example will be discussed where this approach was used to evolve the logic of a mission controller for an autonomous underwater vehicle.

关键词： Military engineering

来源：评论

学校读者我要写书评

暂无评论

POWER-SYSTEM VOLTAGE CONTROL BY distributed EXPERT systems

引用

IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS 1990年第3期37卷 236-240页

作者： MATSUDA, S OGI, H NISHIMURA, K OKATAKU, Y TAMURA, S Artificial Intelligence Technology Department Computer and Communication Research Center Tokyo Electric Power Company Limited Japan Systems and Software Engineering Laboratory Toshiba Corporation Japan

A case study of the application of a distributed control scheme to a power system control is presented. In addition, an investigation has been conducted into voltage control. Combined injection of VAr-compensating devices controlled by distributed expert systems has been proposed as a measure to maintain voltage stability in a power system under heavy loading conditions. A simulation study has been carried out by using five workstations that represent a power system and four VAr-compensating devices. The results demonstrate the effectiveness of the proposed system for voltage recovery.< >

关键词： Power system control Power systems Voltage control Expert systems Power system stability Power system simulation distributed control Power system measurements Control systems Power measurement

来源：评论

学校读者我要写书评

暂无评论

Applying Petri net reduction to support Ada-tasking deadlock detection

Applying Petri net reduction to support Ada-tasking deadlock...

引用

International Conference on distributed Computing systems

作者： S. Tu S.M. Shatz T. Murata Software Systems Laboratory Department of Electrical Engineering and Computer Science University of Illinois Chicago Chicago IL USA

The application of Petri net reduction to Ada-tasking deadlock detection is investigated. Net reduction can ease reachability analysis by reducing the size of the net while preserving relevant properties. By combining Petri net theory and knowledge of Ada-tasking semantics some specific efficient reduction rules are derived for Petri net models of Ada-tasking. A method by which a useful description of a detected deadlock state can be easily obtained from the reduced net's information is suggested.< >

关键词： System recovery Algorithm design and analysis Petri nets Information analysis software systems Laboratories Reachability analysis Face detection FETs Displays

来源：评论

学校读者我要写书评

暂无评论

ASSURE: automated design for dependability

ASSURE: automated design for dependability

引用

Design Automation Conference

作者： P. Edmond A.P. Gupta D.P. Siewiorek A.A. Brennan Silicon and Software Systems Dublin Ireland Electrical and Computer Engineering Department Carnegie Mellon University Pittsburgh PA USA Unisys Corporation Plymouth MI USA

Describes ASSURE, an automated design-for-dependability advisor, which is a part of the MICON system for rapid prototyping of small computer systems. A design-for-dependability methodology and a formal interface between synthesis and dependability analysis are presented. ASSURE's operation includes dependability analysis, evaluation of dependability enhancement techniques using predictive estimation, and selection of a technique. Different kinds of knowledge used in designing for dependability are identified, including an algorithmic approach for dependability analysis and a knowledge-based approach for suggesting dependability enhancement techniques. Examples of designs produced using ASSURE as a dependability advisor are provided and show an order of magnitude dependability improvement.< >

关键词： Redundancy Contracts Design engineering Application software Voting computer errors Prototypes Microwave integrated circuits Buildings Reliability

来源：评论

学校读者我要写书评

暂无评论

THE COMMAND SUPPORT AT-SEA EXPERIMENT

引用

NAVAL ENGINEERS JOURNAL 1990年第3期102卷 25-36页

作者： BUSCHER, DJ SUNDAY, DM David J. Buscher:is an electrical engineer on the Principal Professional Staff of the Fleet Systems Department of The Johns Hopkins University Applied Physics Laboratory. He earned his BS degree in electrical engineering from Villanova University in 1967 an MSEE degree from the University of Maryland in 1972 and an MS degree in technical management from The Johns Hopkins University in 1985. He was the lead engineer on the Command Support At-Sea Experiment Project. He started his career in 1967 with the U.S. Army Harry Diamond Laboratory working on computer and communications projects. During this time he worked in Vietnam with the United States Army Vietnam Science Advisor Office. Since joining JHU/APL in 1978 he has worked on a variety of projects associated with computer graphics hospital patient information systems computer networks autonomous underwater vehicles and satellite communications. He is currently assistant group supervisor of the Computer Systems Group. Daniel M. Sunday:is a mathematician on the Principal Professional Staff of the Fleet Systems Department of The Johns Hopkins University Applied Physics Laboratory. He earned his Ph.D. in mathematics from the University of Minnesota in 1971 and did postdoctoral research on neural networks at the University of California at Berkeley. Since joining JHU/APL in 1980 Dr. Sunday has worked as a designer and developer of software systems with emphasis on medical imaging interactive graphics natural language interfaces and software standards. He was the network designer for the Headquarters Integrated Office System (HIOS) Network for the Army at the Pentagon. He is currently the lead software engineer on the Command Support At-Sea Experiment Project.

The Command Support At-Sea Experiment (CS@SE) provides experimental advanced graphics display systems consisting of large screen color displays and operator console color displays in the combat information center (CIC) of an Aegis cruiser and in the tactical flag command center (TFCC) of an aircraft carrier. CS@SE systems are designed to prototype potential command support capabilities in an at-sea environment to validate and refine requirements for planned production system upgrades. These systems use sophisticated color graphics techniques to provide real-time tactical displays that improve the availability of information to an operator by reducing clutter through the use of color, area fill, transparen overlays and intensity coding of track symbols. Interfaces wen developed with the Aegis Display System (ADS), Shipboarc Gridlock System with Auto-correlation (SGS/AC), Flag Dats Display System (FDDS) and Tomahawk Engagement Planning and Exercise Evaluation System (TEPEE) that provided the data for the presentation of a tactical display. Display elements included both real-time and over-the-horizon (OTH) surface track data, velocity leaders, tags, uncertainty ellipses, and history trails. The display also included filled land masses, country boundaries, commercial airways, cities, graphics overlays (i.e., operational areas), weapon system missile performance contours, and engagement plans. This paper describes the experiment, its installation and integration into the shipboard environments of an Aegis cruiser (USS Leyte Gulf ) and an aircraft carrier (USS America , its usage by the ships companies and embarked staffs, and the experiment result! and findings. Key conclusions of the experiment are: 1 Advanced graphics color displays can significantly enhance the ability of the warfighter to assimilate a complex tactical display. 2 Both ships reported a requirement for a correlated OTH and real-time track display with the ability to clearly differentiate the two types

关键词： computer Graphics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：