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

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

CLEER - AN AI-SYSTEM DEVELOPED TO ASSIST EQUIPMENT ARRANGEMENTS ON WARSHIPS

引用

NAVAL ENGINEERS JOURNAL 1989年第3期101卷 127-137页

作者： ZHOU, HH SILVERMAN, BG SIMKOL, J Dr. H. Harry Zhou:is a research professor at the Institute for Artificial Intelligence of The George Washington University. Dr. Zhou received his master's degree and Ph.D. in computer science from Vanderbilt University in 1984 and 1987 respectively. He did his dissertation in the fields of artificial intelligence analogical reasoning and machine learning. His research interests include: classifier systems genetic algorithms learning by analogy inductive learning adaptive expert systems automated knowledge acquisition and adaption. He is also interested in data base design programming languages mental modeling and software engineering. Dr. Barry G. Silverman:is director of the Institute for Artificial Intelligence and a professor at the Engineering Administration Department of The George Washington University. He is also president of IntelliTek Inc. an AI consulting firm. Dr. Silverman received the B.S.E. M.S.E. and Ph.D. degrees from the University of Pennsylvania. He has been a principal developer of four generic AI products as well as eight AI applications. Since 1979 he has written over 100 papers and reports on these AI efforts. Joel Simkol:is a research scientist currently engaged in designing expert system architectures to support electronic warfare vulnerability analyses threat assessments shipboard topside antenna arrangements and C3countermeasures employment. Mr. Simkol's work in applying expert systems technology to electromagnetic interference and to spectrum management has generated increased interest and participation from all branches of government agencies.

This paper describes a modularized AI system being built to help improve electromagnetic compatibility (EMC) among shipboard topside equipment and their associated systems. CLEER is intended to act as an easy to use integrator of existing expert knowledge and pre-existing data bases and large scale analytical models. Due to these interfaces; to the need for portability of the software; and to artificial intelligence related design requirements (such as the need for spatial reasoning, expert data base management, model base management, track-based reasoning, and analogical (similar ship) reasoning) it was realized that traditional expert system shells would be inappropriate, although relatively off-the-shelf AI technology could be incorporated. In the same vein, the rapid prototyping approach to expert system design and knowledge engineering was not pursued in favor of a rigorous systems engineering methodology. The critical design decisions affecting CLEER's development are summarized in this paper along with lessons learned to date all in terms of “how,” “why,” and “when” specific features are being developed.

关键词： Artificial Intelligence

来源：评论

学校读者我要写书评

暂无评论

Report: Automating Manual Storeroom Zones in a Factory

引用

AT&T Technical Journal 1988年第2期67卷 87-94页

作者： Pulat, B. Mustafa Hewett, Alan P. W. B. Mustafa Pulat:is a senior engineer in the Material Handling Engineering Department of AT&T Network Systems at the AT&T Oklahoma City Works in Oklahoma City Oklahoma. Mr. Pulat joined AT&T in 1985 and is involved in system development modeling and just-in-time deliveries. He has a B.Sc. and M.Sc. in industrial engineering from the Middle East Technical University in Ankara Turkey and a Ph.D. in industrial engineering from North Carolina State University.Alan P. W. Hewettis a member of technical staff in the Manufacturing Engineering Systems Development Department of AT&T Bell Laboratories in Columbus Ohio. He joined the company in 1978 and designs and develops software for the Material Operations Velocity System (MOVES) a system that automates material handling in AT&T factories. He has a B.A. in chemistry from Kalamazoo College a Ph.D. in chemistry from Yale University and has done postdoctoral work in both chemistry and computer science at Harvard University.

Moving, storing, and controlling material efficiently is one of the most challenging problems of manufacturing. In the last twenty years, several different technologies were developed for this purpose, including the automated storage and retrieval system (AS/RS), which featured advancements in real‐time control of machines by computers. Today's AS/RS makes total material‐handling system integration a reality. This paper describes the experience of the AT&T Oklahoma City Works with such a system. © 1988 AT&T Technical Journal

关键词：

来源：评论

学校读者我要写书评

暂无评论

A computer INTEGRATED engineering SYSTEM FOR DESIGN AND LIFE-CYCLE MANAGEMENT

引用

NAVAL ENGINEERS JOURNAL 1986年第3期98卷 115-121页

作者： NICKODEMUS, GH YANUS, ID Irwin D. Yanusgraduated from the University of Pennsylvania with a bachelor's degree in arts and science in 1960 and a bachelor of science degree in mechanical engineering in 1961. In 1963 he received a master of science degree in mechanical engineering from Carnegie-Mellon University. Mr. Yanus is presently the manager of naval systems engineering in the Computer Aided Engineering Department of the Plant Engineering Division of Westinghouse Electric Corporation. His prior experience includes 19 years at the Bettis Atomic Power Laboratory where he performed assignments of increasing responsibility in design analysis development and procurement of nuclear reactor components for naval applications. As the manager of reactor mechanical design he was responsible for the mechanical design of theNimitzclass reactor components and control drive mechanism technology development. Mr. Yanus is a member of the American Society of Mechanical Engineers and the Society of Naval Architects and Marine Engineers. Glen H. Nickodemusgraduated from Michigan State University in 1964 with a bachelor of science degree in civil engineering. He joined the Pittsburgh-Des Moines Corporation in July of the same year. A master of science degree in civil engineering was obtained from Carnegie-Mellon University in 1973. In 1969 Mr. Nickodemus joined the Advanced Reactors Division of the Westinghouse Electric Corporation where he performed design and structural analysis functions for the development of the Fast Flux Test Facility and Clinch River Breeder Reactor Plant (CRBRP). As manager of CRBRP reactor engineering stress analysis he was responsible for the reactor vessel internals closure head control rod drivelines and miscellaneous guard vessels and head access area components. He is currently the manager of software development for the Computer Aided Engineering Department of the Plant Engineering Division. Mr. Nickodemus is a member of the American Society of Mechanical Engineers and is a registered professional engineer in Penn

This paper describes a computer integrated engineering system for design and life cycle management of weapons systems, ships and other multidisciplined systems. All engineering data are stored in a central engineering database. Individual application databases define and process information necessary for specific discipline evaluations. Interface modules between the application databases and the engineering database ensure that the entered data are complete, consistent, compatible, and in compliance with requirements. Conflicts are immediately identified and efficiently resolved. Implementation of the system improves design quality and reduces costs by minimizing the number of design iterations, reducing the effort to implement changes, providing effective storage and retrieval, and reducing the need for ship checks prior to modifications and alterations.

关键词： MILITARY engineering

来源：评论

学校读者我要写书评

暂无评论

RATIONALE FOR AN ADA software engineering ENVIRONMENT FOR NAVY MISSION CRITICAL APPLICATIONS

引用

NAVAL ENGINEERS JOURNAL 1984年第4期96卷 133-145页

作者： PAIGE, KK CONVERSE, RA USN LCdr. Kathleen K. Paige USN:graduated with a BA from the University of New Hampshire in 1970. She received her commission from Officer Candidate School in April 1971 and performed her first tour of duty with VFP-63 NAS Miramar. LCdr. Paige then received her MS from the Naval Post Graduate School in June 1976 and returned to San Diego to serve as Head Support Software Division at the Fleet Combat Direction System Support Activity. In May 1981 she reported to NA VSEA (PMS-408) where she served initially as Chairman of the NAVMAT Software Engineering Environment Working Group. She has been assigned as Deputy AN/UYK-43 Acquisition Manager since October 1981. LCdr. Paige was designated a fully qualified Engineering Duty Officer in December 1983. Robert A. Converse:is presently the Acquisition Manager for the Ada Language System/Navy (ALS/N) for the Naval Sea Systems Command Tactical Embedded Computer Resources Project. As such he is responsible for the definition and development of the ALS/N to be provided as a Navy standard computer programming system for Navy mission critical applications. Mr. Converse received a Bachelor of Science degree in Physics from Wheaton College Wheaton II. He spent fourteen years with the Naval Underwater Systems Center Newport Rhode Island during which time he designed and developed the Fortran compiler for the Navy Standard AN/UYK-7 computer. Also during that period he received a Master of Science degree in Computer Science from the University of Rhode Island. His thesis for that degree was entitled “Optimization Techniques for the NUSC Fortran Cross-Compiler”. Mr. Converse started his involvement with the Ada program in 1975 with the initial “Strawman” requirements review. Subsequently he was named as the Navy Ada Distinguished Reviewer and was intimately involved in the selection and refinement of the Ada language as it evolved to become ANSI/MIL-STD-1815A.

The U.S. Navy introduced the use of digital computers in mission critical applications over a quarter of a century ago. Today, virtually every system in the current and planned Navy inventory makes extensive use of computer technology. computers embedded in mission critical Navy systems are integral to our strategic and tactical defense capabilities. Thus, the military power of the U.S. Navy is inextricably tied to the use of programmable digital computers. The computer program is the essential element that embodies the system “intelligence”. In addition, it provides the flexibility to respond to changing threats and requirements. However, this very flexibility and capability poses a host of difficulties hindering full realization of the advantages. This paper describes the lessons learned about computer program development over the past twenty five years and discusses a software engineering process that addresses these lessons. It then describes how Ada and its related Ada Programming Support and Run-Time Environments foster this software engineering process to improve computer program productivity and achieve greater system reliability and adaptibility. Finally, the paper discusses how the use of Ada and its environments can enhance the interoperability and transferability of computer programs among Navy projects and significantly reduce overall life cycle costs for Navy mission critical computer programs.

关键词：

来源：评论

学校读者我要写书评

暂无评论

DRAFT DESCRIPTION OF PASCAL

引用

software-PRACTICE & EXPERIENCE 1979年第5期9卷 381-424页

作者： ADDYMAN, AM BREWER, R BURNETTHALL, DG DEMORGAN, RM FINDLAY, W JACKSON, MI JOSLIN, DA REES, MJ WATT, DA WELSH, J WICHMANN, BA Department of Computer Science The University Oxford Road Manchester M13 9PL Software Department GEC Computers Ltd. Elstree Way Borehamwood Hertfordshire Department of Computer Science University of York Heslington York Y01 5DD European Software Engineering Digital Equipment Company Ltd. Fountain House The Butts Centre Reading RG1 7QN Computing Science Department University of Glasgow Glasgow G12 8QQ International Data Engineering Centre ITT Business Systems and Communications Group Latimer House Potters Bar Herts EN6 5DN Hull College of Higher Education Inglemire Avenue Hull HU6 7LJ Computer Studies Group The University Southampton S09 5NH Department of Computer Science Queen's University Belfast BT7 1NN Department of Industry National Physical Laboratory Teddington Middlesex TW1 0LW

This paper provides a description of the programming language Pascal. It has been published to enable those without easy access to the official BSI ‘draft for comment’ to comment on the description.

关键词： Pascal Standards

来源：评论

学校读者我要写书评

暂无评论

Women in Computational Intelligence 1

引用

丛书名： Women in engineering and science

1000年

作者： Alice E Smith

ISBN: (数字)9783030790929

ISBN: (纸本)9783030790912;9783030790943

This book provides a breadth of innovative and impactful research in the field computational intelligence led by women investigators. Topics include intelligent data analytics, optimization of complex systems, approximation of human reasoning, robotic path planning, and intelligent control systems. These topics touch on many of the technological challenges facing the world today and these solutions by women researcher teams are valuable for their excellence and their non-traditional perspective. As an important part of the Women in science and engineering book series, the work highlights the contribution of women leaders in computational intelligence, inspiring women and men, girls, and boys to enter and apply themselves to this exciting multi-disciplinary field.

关键词： Computational Intelligence Communications engineering, Networks Job Careers in science and engineering History of science

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：