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

1st Annual National Conference on Artificial Intelligence, AAAI 1980

作者： Smith, David E. Clayton, Jan E. Heuristic Programming Project Department of Computer Science Stanford University United States

ISBN: (纸本)0262510502

We propose a flexible frame-structured representation and agenda-based control mechanism for the construction of production-type systems. Advantages of this architecture include uniformity, control freedom, and extensibility. We also describe an experimental system, named Wheeze, that uses this formalism. Copyright © 1980, AAAI (***). All rights reserved.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

A theory of nondeterminism 7th

引用

7th International Colloquium on Automata, Languages and programming, ICALP 1980

作者： Kennaway, J.R. Hoare, C.A.R. Department of Computer Science Edinburgh University United Kingdom Programming Research Group Oxford University United Kingdom

ISBN: (纸本)9783540100034

A construction is described which takes an arbitrary set of machines, an arbitray set of tests, and an arbitrary relation on machines and tests defining which machines pass which tests. It produces a domain of specifications, which is a retract of the lattice of sets of tests (with the subset ordering), and a domain of nondeterministic machines (ndms), which is a retract of the lattice of sets of machines (with the superset ordering). These two domains are isomorphic. Simple conditions ensure that they are ω-algebraic. Functions on such domains may be defined equivalently either as transformations of ndms (an operational definition) or as transformations of specifications (an axiomatic definition). Conditions for the "realism" of such functions are formulated. © 1980, Springer-Verlag.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

COMBAT SYSTEM TEST-FACTORY THROUGH SHIPBOARD

引用

NAVAL ENGINEERS JOURNAL 1980年第5期92卷 49-58页

作者： GALLAHUE, JS THE AUTHOR is the Department Manager of Combat Systems Engineering at Litton Industries. Data Systems Division. Prior to joining Litton Industries he was associated with UNIVAC. Since joining the Combat Systems Community in 1959. his assignments have included operational computer programming field engineering systems engineering equipment design proposal management test engineering. and programs management. In these varied roles he supported the NTDS R&D Program NTDS Service Test Program Interim Fleet Programming Center Pacific Anti-Submarine Warfare Ship Command and Control Systems SQS-26/NTDS/UBFCS Interface Design DD 963 Class LHA 1 Class. and the DDG 993 Class.

The required configuration management and the necessary control of the Surface Ship Combat System elements demand that they be considered as integrated and tested in accordance with an integrated test plan utilizing an integrated test organization. The sometimes used approach of implementing a combat system test program based upon the individual combat system elements being independent, has proven to be less than satisfactory. Then is no question that some of the early testing at the unit, subsystem, and subprogram levels can be planned and conducted independent of a specific “end-item” combat System. This paper addresses the planning and implementing of combat system test with the emphases being upon the integrated phase of test and primarily the lead ship of a class. Information is presented to facilitate planning and implementing a combat system test program including use of shore facilities and integrating these activities with shipboard activities; when to form the test organization and what types of expertise are required; what are the key technical management tools; the proofing of test documentation; the need for detailed “step-by-step” procedures and traceability of the specified requirements; how to assist Ships Force; planning and stat using the conduct of the tests; integrating computer program and special testing into the test program; and the significance of early decisions on administrative and contractual arrangements.

关键词：

来源：评论

学校读者我要写书评

暂无评论

INNOVATIONS IN computer-AIDED-DESIGN OF MARINE TURBINES USING INTERACTIVE GRAPHICS

引用

NAVAL ENGINEERS JOURNAL 1980年第2期92卷 207-217页

作者： GINGRICH, JK WINTER, RL Mr. John K. Gingrich joined the General Electric Company after his graduation from Lafayette College in 1948. His early assignments were with the General Engineering Laboratory and the Knolls Atomic Power Laboratory in Schenectady. N. Y. He joined the Marine Turbine and Gear Department in 1968 as Manager Engineering Administration. and assumed his present assignment as Manager Engineering Resource Planning & Administration in 1976. Mr. Gingrich was instrumental in procuring the Interactive Graphics System for the Medium Steam Department. having headed up the Study Team and is now responsible for the Interactive Graphics Systems management including new procurements. He is a member of the American Institute of Design Drafting and is currently the Chairman of the Computer-Aided Drafting Committee in that organization. Mr. Reinhold L. Winter is a graduate of the General Electric Apprentice Program and Salem State College from which he received his B.S. degree in Business Administration. He has nineteen years experience with the General Electric Company including eight years in Business Systems and Programming two years in Computer Operations Management and six years in his present position as Manager Engineering Business Systems. He was a member of the original Study Team that investigated and selected the present Applicon Interactive Graphics (IAG) equipment and currently is responsible for the management of software and hardware support for the ZAG Facility.

This paper discusses the Interactive Graphics System used by the General Electric Company, Medium Steam Turbine Department (Engineering & Manufacturing) for designing, drafting, and manufacturing applications. A brief overview of the hardware malting up the system is described, followed by a more detailed description of the actual applications. Two-dimensional applications described include a Heat Balance Analysis, Flow Diagrams, and Electrical Schematics. A more fruitful area for increased productivity gains is described in the three-dimensional or mechanical applications including turbine design & layout and bucket design. coordination of the design with manufacturing for numerical control tape generation is described through CAM and Plate Frame Cutting applications. Finally, a short review of the engineering design work using Interactive Graphics is discussed. Productivity gains of 2.6 to 1 are being realized, and the overall savings to the Medium Steam Department are outlined.

关键词：

来源：评论

学校读者我要写书评

暂无评论

THE PROSPECT OF AN UNDER WA TER NA VAL ROBOT

引用

Naval Engineers Journal 1980年第1期92卷 65-72页

作者： DIXON, JOHN K. JOHNSON, HERBERT A. SLAGLE, JAMES R. Dr. John K. Dixon was born on 1 December 1934 in Detroit. Mich. He received his B.S. degree in Electrical Engineering from Lawrence Institute of Technology in 1957 his M.B.A. degree from Wayne State University in 1964 his M.S. degree in Physics from the University of California at Davis in 1967 and his Ph.D. degree in Computer Science from the University of California at Livermore in 1970. In 1957 he was employed by the Chrysler Missile Division Warren Mich. where he designed circuits for the Redstoneand Jupitermissiles. In 1959 he joined the Staff of the Bendix Research Laboratory Southfield Mich. where he designed equipment for missile guidance systems and aircraft blind landing systems. From 1965 until 1968 he was a Research Assistant in the Artificial Intelligence Group Lawrence Radiation Laboratory. Livermore Calif at which time he left to join the Heuristics Laboratory of the National Institutes of Health Bethesda Md. as a Computer Scientist. In 1974 he moved to the Computer Science Laboratory at the Naval Research Laboratory. Washington D.C. where he is currently employed on various Research Projects. Mr. Herbert A. Johnson graduated from the U.S. Coast Guard Academy and later continued his graduate studies at Massachusetts Institute of Technology and Purdue University. receiving his M.S. degree in Electrical Engineering from the latter. He is presently a Captain in the U.S. Coast Guard Reserve and Head of the Ocean Instrumentation Branch. Ocean Technology Division Naval Research Laboratory (NRL). Prior to joining NRL in 1974 he was employed on various marine systems projects at Honeywell and on Polarisinstrumentation at Interstate Electronics a company he assisted in founding in 1956. He is a Senior Member of the Institute of Electrical and Electronics Engineers (IEEE). Dr. James R. Slagle received his M.S. and Ph.D. degrees from Massachusetts Institute of Technology and was the recipient of an Outstanding Blind Student Award for 1959 which was presented to him by President Dwight D.

This paper explores the concept of an underwater robot manipulator mounted on an unmanned submersible for the purpose of doing some undersea tasks of interest to the U.S. Navy. The robot concept is compared with other methods of doing work underwater and its strengths and weaknesses are enumerated. Such a robot would be able to do only simple, well‐defined tasks, but it would probably be the most economical way of doing those jobs which are within its competence. The jobs which such a device might be able to do are listed and evaluated in terms of how easy or difficult they are for a robot to do. From this analysis some conclusions are drawn about what capabilities are needed in such a robot. It is concluded that speed of operation is not critical (In contrast to robots which are intended for industrial jobs), but that the ability to cope with unexpected conditions and to recover from mistakes is very important. Next, existing robot technology and past research***are discussed and evaluated in terms of the needs of an underwater naval robot. Gaps in the technology are identified, and, finally, me suggestions for research are given. © 1980 American Society of Naval Engineers

关键词：

来源：评论

学校读者我要写书评

暂无评论

C-3 SYSTEMS LAND-BASED TESTING

引用

NAVAL ENGINEERS JOURNAL 1980年第6期92卷 35-42页

作者： CAMPBELL, JS THE AUTHOR was born in Porterville. Calif. in 1928 and joined the U.S. Nary in 1945 in the “Aviation Midshipman” Program. He received his designation as a Naval Aviator in 1950 and flew combat missions in Korea while still a Midshipman followed by participation in various operational and training squadrons until 1958 when he completed the Naval Test Pilot School Program. After a tour as an Engineering Test Pilot. he attended the Naval Postgraduate School Monterey. Calif. and was then assigned to the Fleet Computer Programming Center as a part of the NTDS development. Later he had operational tours as CIC Officer in the USS Enterprise and as AAW Officer on the Staff of Commander Task Force SEVENTY-SEVEN in Vietnam. During an interceding tour of duty he was the Program Manager for the TACDEW Training Facilities at San Diego Calif: and Dam Neck Va. After completing his active duty in the U.S. Navy Mr. Campbell joined Logicon Inc. and during the six years with the Tactical and Training Systems Division held various positions including Project Manager Department Head Assistant Director and Division Director prior to leaving in 1976 to join the Assistant Secretary of the Nary for R&D as Special Assistant for Weapons Systems Integration. In 1978 he joined the Staff at the Naval Ocean Systems Center as Associate Director for Command Control and Communications and Acting Head of the C3I Systems Department where he is charged with the development and operation of the C3Systems Integration Test and Evaluation Laboratory.

The increasingly important role of land-based test sites (LBTSs) in military command, control, and communications (C 3 ) is discussed, with particular reference to system integration, R&D, and testing. The LBTS at the Naval Ocean Systems Center (NOSC), San Diego, is described in detail, and lessons learned from the operation of the and other LBTSe are considered in terms of both their tactical and strategic implications.

关键词：

来源：评论

学校读者我要写书评

暂无评论

THE AN/UYK‐502(V) MICROcomputer

引用

Naval Engineers Journal 1979年第2期91卷 173-178页

作者： WILLIAMS, PAUL F. ANDERSON, JOHN M. Mr. Paul F. Williams:received his BS degree in Electrical Engineering from the University of Minnesota in December 1965. He joined SPERRY UNIVAC Defense Systems Division in January 1966 where he is now the Manager of the Computer Product Planning Group in the Marketing Department. He has been active in the development of new computer system architectures and new computer development including the AN/UYK-20 and AN/UYK-23. In addition he has worked with a number of Navies in the development of shipboard and landbased systems and has participated in the development of NATO Shipboard Standard Interfaces. Mr. John M. Anderson:received his BS degree in Electrical Engineering from the University of Washington in June 1969. He joined SPERRY UNIVAC in July 1970 where he is now a Senior Design Engineer in the Product Development Group. He is currently active in the development of the AN/UYK-520 Microcomputer and additionally has been active in the fields of digital logic design programming and computer testing.

The AN/UYK‐502 Microcomputer is a full‐scale, general‐purpose 16‐bit militarized computer designed to emmulate the AN/UYK‐20 and AN/AYK‐14, and to be implemented in a shipboard system employing distributed system architecture. Ship System Data Busses require microcomputers to be located near or within ship subsystems, with system interconnection being made through a common data bus. To implement this type of system architecture, a low cost, modular microcomputer capable of handling the bus “handshake” through a standard interface is required. The AN/UYK‐502(V) uses software common to minicomputers which allows different computer configurations to be implemented with bus architecture. The resulting system can then be maintained with a single set of support software programs thus significantly lowering system life cycle costs. The computer is offered in three physical packages: the Card Kit, Chassis Assembly, and Cabinet Assembly. Flexible options of the AN/UYK‐502(V) allow the user to tailor the system to the application needs. These options include the Central Processing Expansion Unit;main memory up to 2S6K (where K = 1024);memory parity;choice of 1 to 64 input/output (I/O) channels;parallel and/or serial I/O;and power supply selection. © 1979 American Society of Naval Engineers

关键词：

来源：评论

学校读者我要写书评

暂无评论

DESIGN, CONSTRUCTION, AND MODERNIZATION OF SHIPS WITH THE SHIPBOARD DATA MULTIPLEX SYSTEM (SDMS)

引用

NAVAL ENGINEERS JOURNAL 1979年第5期91卷 65-73页

作者： BOLD, NT BOURETTE, AP Dr. Norbert T. Bold graduated from Marquette University and later received his M.S. and Ph.D. degrees in Electrical Engineering from Northwestern University. He served three years as a Naval Engineering Officer aboard an Aircraft Carrier and a Minesweeper and has nineteen years technical experience in shipboard navigation underwater target and SDMS projects for the Navy. He is currently a Program Manager in the Autonetics Marine Systems Division Rockwell International where his primary assignment is the development of advanced concepts and applications of SDMS to Navy programs. He has published several technical papers. was elected to four Scholastic Honorary Societies and was the recipient of a NROTC Scholarship. Mr. A.P. Bourette Manager Systems Applications Autonetics Marine Systems Division. received his B.S. degree in Mathematical Physics from Long Beach State University. He began his career with a Computer Analysis Unit. performing tasks related to computer application. programming and interfacing. He has made significant contributions to the Central Computer Complex approach adopted for the SSN-688 Combat System and has performed inertial systems engineering efforts on the MK2 SINS for the POSEIDON Program. He spent some time in the Washington D.C. area providing technical expertise to various Navy organizations. Upon his return he soon was selected to manage the Systems Applications organization at Rockwell International. This organization is primarily responsible for the Shipboard Application of SDMS. He has directed several application studies showing the significant advantages associated with multiplexing. Recently. he provided the technical direction for the FY80 SSN SDMS Preliminary Design Phase.

Rockwell International is currently under Navy contract to fabricate the Engineering Development Model (EDM) of the Shipboard Data Multiplex System (SDMS) for general data transfer aboard surface ships and submarines. The application of SDMS significantly reduces hardware such as cables, switchboards, and Signal Data Converters (SDC), and it provides the capability to add many desired features which are currently not practicable. In applying SDMS to a specific ship, a massive amount of signal data must be considered. The Application Design Automation Program (ADAP) is a set of computer programs that have been developed to accomplish this task. ADAP com bines signal population data, ships configuration data, and SDMS hardware characteristics to produce an SDMS configuration layout together with documentation necessary to analyze, evaluate, and implement the system. Specific outputs include hardware requirements, system layout, and interface requirements including wire list information. The Timing, Event and Load Simulation (TELS) Program simulates SDMS and provides performance data (system capacity, throughput rate, transport delays) for any system configuration. Conventional SDCs can be elimianted from Navy shipboard systems when SDMS is used. SDMS provides the necessary data distribution, signal conversion, and computer interface. In addition, many functions of the conventional switchboards can be performed within SDMS, thus reducing the size or eliminating conventional switchboards. Very small switch-bomb will provide the necessary control of data distribution. With SDMS, an automatic and continuous Noise and Vibration Monitoring (NVM) capability is readily available. The automated NVM function will enhance the safety, operation, and maintenance of the ship. Problems with machinery or excessive self-noise generation will be detected much sooner, and corrective action implemented on a timely basis.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Exact and approximate membership testers 78

Exact and approximate membership testers

引用

10th Annual ACM Symposium on Theory of Computing, STOC 1978

作者： Carter, Larry Floyd, Robert Gill, John Markowsky, George Wegman, Mark Automatic Programming Group IBM Watson Research Center Yorktown HeightsNY10598 United States Computer Science and Electrical Engineering Departments Stanford University StanfordCA94305 United States

ISBN: (纸本)9781450374378

In this paper we consider the question of how much space is needed to represent a set. Given a finite universe U and some subset V (called the vocabulary), exact membership tester is a procedure that for each element s in U determines if s is in V. An approximate membership tester is allowed to make mistakes: we require that the membership tester correctly accepts every element of V, but we allow it to also accept a small fraction of the elements of U - V. © 1978 Association for Computing Machinery. All rights reserved.

关键词： Computation theory

来源：评论

学校读者我要写书评

暂无评论

DETERMINANTS OF MALE FAMILY-ROLE PERFORMANCE

引用

PSYCHOLOGY OF WOMEN QUARTERLY 1978年第1期3卷 53-66页

作者： PERRUCCI, CC POTTER, HR RHOADS, DL Purdue University Corresponding Author: The authors are affiliated with the Department of Sociology and Anthropology Stone Hall Purdue University West Lafayette Indiana 4790 They are grateful for the help received from Brent Smith who provided computer-programming assistance for this study. Requests for reprints should be sent to Dr. Carolyn C. Perrucci.

Three competing hypotheses are tested regarding determinants of husband"s (vs. wife"s) participation in 12 selected household/child-care activities. The research utilizes interview responses of husbands, although it compares responses of both husbands and wives in a proportionate stratified area-probability sample from adjacent midwestern cities. The socialization-ideology hypothesis receives the strongest, albeit modest, support of the three hypotheses. Only marginal support is found for the relative husband/wife resources hypothesis, emphasizing professional employment of wives. No support is found for the time-availability hypothesis. Implications for the further integration of work and family roles for men are considered.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：