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

Efficient management of backtracking in AND-Parallelism 3rd

3rd International Conference on Logic programming, ICLP 1986

作者： Hermenegildo, M.V. Nasr, R.I. Department of Electrical and Computer Engineering The University of Texas at Austin AustinTX78712 United States Digital Equipment Corporation Assigned Representative Microelectronics and Computer Technology Corporation Artificial Intelligence Program 9430 Research Boulevard AustinTX78759 United States

ISBN: (纸本)9783540164920

A backtracking algorithm for AND-Parallelism and its implementation at the Abstract Machine level are presented: first, a class of AND-Parallelism models based on goal independence is defined, and a generalized version of Restricted AND-Parallelism (RAP) introduced as characteristic of this class. A simple and efficient backtracking algorithm for RAP is then discussed. An implementation scheme is presented for this algorithm which offers minimum overhead, while retaining the performance and storage economy of sequential implementations and taking advantage of goal independence to avoid unnecessary backtracking ("restricted intelligent backtracking"). Finally, the implementation of backtracking in sequential and AND-Parallel systems is explained through a number of examples. © 1986, Springer-Verlag.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

A NAVAL WARFARE DEVELOPMENT SITE

引用

NAVAL ENGINEERS JOURNAL 1986年第1期98卷 25-29页

作者： LANGSTON, MJ POOLE, JR LCDR. Marvin J. Langston USN is presently located in a staff office to RAdm. Wayne E. Meyer USN deputy commander weapons and combat systems. Currently he is working to define battle force system engineering. Prior to that time he served as command & decision and Aegis display system computer program development manager for DDG-51 class development. He spent three years in St. Paul Minnesota as the NA VSEA technical representative working on DDG-993 class combat system testing DDG-2/15 class NTDS development and ACDS concept development. He served as assistant electronic maintenance officer on USS America CV-66. LCdr. Langston has prior enlisted service in nuclear power reactor operation and holds an MSEE from the Naval Postgraduate School and a BSEE from Purdue University. Capt. James R. Poole USN (Ret.) is a 1957 graduate of the United States Naval Academy and has served in a variety of sea and shore billets during his 28 year naval career. Sea assignments included tours in destroyers submarines (conventional fleet and nuclear missile) logistic support ships and USS Norton Sound as commanding officer during at-sea evaluation of the Aegis EDM-1 weapon system. Shore tours at the U.S. Naval Postgraduate School staff COMSUBLANT Aegis Project Office and Aegis Techrep RCA Moorestown N.J. preceded his final active duty assignment as deputy for operations U.S. Naval Academy. Capt. Poole has been a designated WSAM since 1975. He is currently employed by Advanced Technology Incorporated.

来源：评论

学校读者我要写书评

暂无评论

AIR-CUSHION LANDING CRAFT NAVIGATION

引用

NAVAL ENGINEERS JOURNAL 1985年第4期97卷 248-260页

作者： GRAHAM, HR KIM, JC BAND, EGU FOWLER, AW Herbert R. Graham:received his degrees of B.S. in 1951 and M.S. in 1958 in aeronautical engineering from the Massachusetts Institute of Technology and the California Institute of Technology respectively. He also attended the Harvard Graduate School of Business Administration. He is presently a task manager at TRW Inc. McLean Virginia responsible for landing craft air cushion (LCAC) engineering support. Since joining TRW in 1967 he has had several technical project management and system engineering responsibilities in amphibious ships transportation and energy. He was responsible for the preliminary engineering design and cost estimates for tracked air cushion vehicles (TACVs). He has been active in several professional societies including ASNE and served as vice-chairman Los Angeles Section American Institute of Aeronautics and Astronautics. John C. Kim:received his degrees of B.S. in electrical engineering Tri-State University 1959 M.S. in electrical engineering Michigan State University 1960 and Ph.D. in electrical engineering Michigan State University. He is presently a senior staff engineer with TRW Inc. McLean Virginia where his technical experience has included communications system engineering and navigation system analysis. Since joining TRW in 1969 he has held numerous positions including section head project manager and department manager. His previous employment includes E-Systems/Melpar Division and Honeywell. Dr. Kim has been active in the IEEE Washington Chapter activities which included secretary vice-chairman and chairman of Systems Science and Cybernetics Group. Edward G.U. Band:received a B.S. degree in mechnical engineering in 1946 and a D.I.C in aeronautical engineering in 1947 at the City and Guilds College of London University. In 1951 he received an M.S. degree from Stevens Institute of Technology in fluid dynamics. After a career in the aircraft industry in England Canada and the U.S.A. he spent several years teaching in Chile and at Webb Institute of Naval Archi

Air cushion vehicles (ACVs) have operated successfully on commercial routes for about twenty years. The routes are normally quite short; the craft are equipped with radar and radio navigation aids and maintain continuous contact with their terminals. Navigation of these craft, therefore, does not present any unusual difficulty. The introduction of air cushion vehicles into military service, however, can present a very different picture, especially when external navigation aids are not available and the craft must navigate by dead reckoning. This paper considers the problems involved when navigating a high-speed air cushion vehicle by dead reckoning in conditions of poor visibility. A method is presented to assess the ACV's navigational capability under these circumstances. A figure of merit is used to determine the sensitivity of factors which affect navigation such as the range of visibility, point-to-point distance, speed, turning radius and accuracy of onboard equipment. The method provides simplistic but adequate answers and can be used effectively to compare the-capability and cost of alternative navigation concepts.

关键词： AIR CUSHION VEHICLES

来源：评论

学校读者我要写书评

暂无评论

AUTOMATION OF PROPELLER INSPECTION AND FINISHING

引用

NAVAL ENGINEERS JOURNAL 1985年第4期97卷 124-131页

作者： STERN, H METZGER, R Howard K. Stern:is presently vice president of Robotic Vision Systems Inc. He received a bachelor of electrical engineering degree from College of the City of New York in 1960. Mr. Stern joined Dynell Electronics Corporation in 1971 and became part of the Robotic Vision Systems Inc. staff at the time of its spin-off from Dynell. He was program manager of the various three-dimensional sensing and replication systems constructed by Dynell and Robotic Vision Systems. As program manager his responsibilities encompassed technical administrative and operational areas. The first two portrait sculpture studio systems and the first three replication systems built by Robotic Vision Systems Inc. were designed manufactured and operated under his direction. Before joining Dynell Mr. Stern was a senior engineer at Instrument Systems Corporation and chief engineer of the Special Products Division of General Instrument Corporation. Prior to these positions Mr. Stern was chief engineer of Edo Commercial Corporation. At General Instrument and Edo Commercial he was responsible for the design and manufacture of military and commercial avionics equipment. Mr. Stern is presently responsible for directing the systems design and development for all of the company's programs. Robert J. Metzger:is currently engineering group leader at Robotic Vision Systems Inc. He graduated summa cum laude from the Cooper Union in 1972 with a bachelor of electrical engineering degree. Under sponsorship of a National Science Foundation graduate fellowship he graduated from the Massachusetts Institute of Technology in 1974 with the degrees of electrical engineer and master of science (electrical engineering). In 1979 Mr. Metzger graduated from Polytechnic Institute of New York with the degree of master of science (computer science). Since 1974 Mr. Metzger has been actively engaged in the design of systems and software for noncontact threedimensional optical measurement for both military and commercial applications. Of particular note are his c

Ship's propellers are currently measured by manual procedures using pitchometers, templates and gauges. This measurement process is extremely tedious, labor intensive and time consuming. In an effort to provide increased accuracy, repeatability and cost effectiveness in propeller manufacture, an automated propeller optical measurement system (APOMS) has been built which rapidly and automatically scans an entire ship's propeller using a 3-D vision sensor. This equipment is integrated with a propeller robotic automated templating system (PRATS) and the propeller optical finishing system (PROFS) which robotically template and grind the propeller to its final shape, using the APOMS-derived data for control feedback. The optical scanning and the final shape are both controlled by CAD/CAM data files describing the desired propeller shape. An automated propeller balancing system is incorporated into the PROFS equipment. The APOMS/PRATS/PROFS equipment is expected to provide lower propeller manufacturing costs.

关键词： PROPELLERS

来源：评论

学校读者我要写书评

暂无评论

ON THE PERFORMANCE OF ISOLATED WORD SPEECH RECOGNIZERS USING VECTOR QUANTIZATION AND TEMPORAL ENERGY CONTOURS

引用

AT&T BELL LABORATORIES TECHNICAL JOURNAL 1984年第7期63卷 1245-1260页

作者： RABINER, LR PAN, KC SOONG, FK AT&T Bell Laboratories. Lawrence R. Rabiner: S.B. and S.M. 1964 Ph.D. 1967 (Electrical Engineering) The Massachusetts Institute of Technology AT&T Bell Laboratories 1962—. Kok-Chin Pan: S.B. and S.M. 1984 (Electrical Engineering and Computer Science) The Massachusetts Institute of Technology. From 1981 to 1984 Mr. Pan participated in a cooperative program in Electrical Engineering and Computer Science at AT&T Bell Laboratories. Frank K. Soong: B.S. 1973 National Taiwan University M.S. 1977 University of Rhode Island Ph.D. 1983 Stanford University all in Electrical Engineering AT&T Bell Laboratories 1982—.

In this paper we present results of a series of experiments in which combinations of vector quantization and temporal energy contours are incorporated into the standard framework for the word recognizer. We consider two distinct word vocabularies, namely, a set of 10 digits, and a 129-word airlines vocabulary. We show that the incorporation of energy leads to small but consistent improvements in performance for the digits vocabulary; the incorporation of vector quantization (in a judicious manner) leads to small degradation in performance for both vocabularies, but at the same time reduces overall computation of the recognizer by a significant amount. We conclude that a high-performance, moderate-computation, isolated word recognizer can be achieved using vector quantization and the temporal energy contour.

关键词：

来源：评论

学校读者我要写书评

暂无评论

ARCTIC TRAFFICABILITY program - A REVIEW

引用

NAVAL ENGINEERS JOURNAL 1984年第3期96卷 169-175页

作者： VOELKER, R GLEN, IF SEIBOLD, F BAYLY, I Richard Voelker:is Vice President of ARCTEC Incorporated a firm specializing in cold regions technology. He has been responsible for the management of thePolarClass Traffic-ability Program since its inception and annually participates in the field data collection in the Arctic. His prior experience includes positions with the U.S. Coast Guard in the icebreaker design project the Military Sealift Command and at Newport News Shipbuilding. He is a graduate of N. Y.S. Maritime College and has a MS degree from the University of Michigan. I.F. Glen:received his professional degrees in naval architecture from the Royal Naval Engineering College Manadon Plymouth and RN College Greenwich London entering the Royal Corps of Naval Constructors in 1967. After serving as a Constructor Lieutenant in the Royal Navy's Far East Fleet for a short period he joined the Polaris submarine project team in Bath England in 1968. In 1971 he was seconded to the Canadian Department of National Defense in Ottawa as a Constructor Lieutenant Commander under NATO exchange arrangements where he had responsibilities initially for conventional submarines and latterly for computer aided conceptual design. He ventured to Bath England in 1974 and joined Forward Design Group. In 1975 he took a position as a civilian engineer in the Canadian Defense Department and was Head of Hull Systems Engineering from 1977 to 1979. He joined ARCTEC CANADA LIMITED in 1980 and in addition to managing ice model testing projects and full scale trials has specialized in structural response of ships to ice impact. He headed ARCTEC's Kanata Laboratory from 1981 to 1983 when he was promoted to president. Frederick Seibold:is a research program manager with the Maritime Administration's Office of Advanced Ship Development and Technology. He is responsible for the marine science program which includes research in the areas of ship powering structures and propeller performance and Arctic technology. Mr. Seibold has been employed by Mar Ad since 1961 having hel

This paper describes a multiyear program to make an operational assessment on the feasibility of a year-round Arctic marine transportation system to serve Alaska. Specifically, the three objectives were to: collect meteorological and ice data along potential marine routes; instrument the hull and propulsion machinery to improve design critera for ice-worthy ships; and demonstrate that ships can operate in midwinter Alaskan Arctic ice conditions. The U.S. Coast Guard's Polar class icebreakers were used to make the operational assessment by annually extending the route northward and by operating throughout the winter season. This paper reviews some of the operational and technical achievements to date, as well as plans for future Arctic deployments.

关键词：

来源：评论

学校读者我要写书评

暂无评论

HUMAN-FACTORS CONSIDERATIONS APPLIED TO OPERATIONS OF THE FFG-8 AND LAMPS MK III

引用

NAVAL ENGINEERS JOURNAL 1984年第3期96卷 191-199页

作者： BAITIS, AE APPLEBEE, TR MCNAMARA, TM A. Erich Baitis: a native of Germany came to the David W. Taylor Naval Ship R&D Center in 1957 as a cooperative student/trainee and received his B.S. degree in physics from Virginia Polytechnic Institute. As a 32-year-old naval architect in 1971 he received both the Vietnam Honor Service Medal and the Navy's Meritorious Civilian Service Award for his eight months as liaison with the Vietnamese Navy's ferro-cement program. As head of the Seakeeping and Stabilization Group of the Surface Ship Dynamics Branch his work has led to the development of a new standard Ship Motion Computer Program and the application of ship motions to ship habitability operability and survivability problems. A major area of this work has been the ship-aircraft interface which is particularly sensitive to ship motions wind and other environmental factors. He is a member of the American Society of Naval Engineers and was awarded the Solberg Award for 1982 “in recognition of significant engineering research and development contributions in the area of improved helicopter operations from a ship in a seaway.” Terrence A. Applebee:is currently a naval architect at the David W. Taylor Naval Ship R&D Center in the Surface Ship Dynamics Branch. he came to the Center after earning a B.S. degree in ocean engineering from Florida Institute of Technology in 1973. Since that time he has worked in the areas of seakeeping performance evaluation ship-helicopter interfacing and human factor considerations. He is a member of the American Society of Naval Engineers and the Society of Naval Architects and Marine Engineers. Thomas M. McNamara:is an employee of the John Hopkins University Applied Physics Laboratory in the ocean data acquisition program. From 1979 to 1983 he worked at David W. Taylor Naval Ship R&D Center in the Surface Ship Dynamics Branch. His expertise has focused on the development of computer models for human factor evaluations as well as motion stabilization systems. He has participated in the development of advanced stabilizat

The FFG 7/LAMPS MK III Operator Guidance Manual (OGM) was developed for all FFG-7 class frigates which are not fin stabilized or are operating with the fins off. The OGM was developed to assis the ship operators of the FFG-7 class in choosing ship speed and heading combinations which will minimize ship motion-related problems during various phases of the LAMPS deployment. Crew safety and performance were major concerns in the development of the OGM. This paper reviews the effect of human factors on ship operations during helicopter recovery, maintenance, and transit to and from the hangar.

关键词：

来源：评论

学校读者我要写书评

暂无评论

AN ADVANCED METHODOLOGY FOR PRELIMINARY HULL FORM DEVELOPMENT

引用

NAVAL ENGINEERS JOURNAL 1984年第4期96卷 147-161页

作者： LIN, WC DAY, WG HOUGH, JJ KEANE, RG WALDEN, DA KOH, IY Wen-Chin Lin:heads the Ship Powering Division at the David Taylor Naval Ship R&D Center (DTNSRDC). Dr. Lin received his B.S. degree in mechanical engineering from the National Taiwan University in 1957. He was awarded his M.S. degree in naval architecture and Ph.D. in engineering science from the University of California at Berkeley in 1963 and 1966 respectively. From 1966 to 1969 he was employed by ESSO Research and Engineering Company to conduct marine hydrodynamic research for oil tankers and offshore structures. Since joining DTNSRDC in 1969 he has actively conducted and directed hydrodynamic research to advance naval ship design technology and improve ship performance. Active in national and international symposia on ship hydrodynamic research he is recognized for contributions to the ship research community. For the past six years he has been a member of the Performance Committee of the ITTC and currently serves as secretary of the committee. He is a member of SNAME and the Society of Naval Architects of Japan. William G. Day Jr:. has been employed as a naval architect at the David Taylor Naval Ship R&D Center since receiving a B.E.S. degree from the Johns Hopkins University in 1966. He obtained an M.S. E. degree from George Washington University in 1971. As Head Design Evaluation Branch of the Ship Performance Department he is responsible for model experiments to evaluate the hydrodynamic performance of ships and propulsors. He is a member of ASNE and SNAME. In-Young Koh:received his B.S. and M.S. degrees in electrical engineering from Lowell University in 1969 and 1971 respectively and his Ph.D. in applied mechanics from Rensselaer Polytechnic Institute in 1976. Dr. Koh joined DTNSRDC as an electronic engineer specializing in the application of advanced instrumentation and computer techniques to ship research and design. He is currently engaged in research and development of active control systems for naval ship applications. Dr. Koh is a member of ASNE SNAME and IEEE. David Andrew Walden:is

A ship design methodology is presented for developing hull forms that attain improved performance in both seakeeping and resistance. Contrary to traditional practice, the methodology starts with developing a seakeeping-optimized hull form without making concessions to other performance considerations, such as resistance. The seakeeping-optimized hull is then modified to improve other performance characteristics without degrading the seakeeping. Presented is a point-design example produced by this methodology. Merits of the methodology and the point design are assessed on the basis of theoretical calculations and model experiments. This methodology is an integral part of the Hull Form Design System (HFDS) being developed for computer-supported naval ship design. The modularized character of HFDS and its application to hull form development are discussed.

关键词：

来源：评论

学校读者我要写书评

暂无评论

THE NO FRAME CONCEPT - ITS IMPACT ON SHIPYARD COST

引用

NAVAL ENGINEERS JOURNAL 1984年第3期96卷 218-232页

作者： NAPPI, NS WALZ, RW WIERNICKI, CJ Natale S. Nappi:graduated from City College of New York in 1954 with a B.S. degree in civil engineering and received his M.S. in civil engineering from the Polytechnic Institute of Brooklyn in 1959. He began his professional career in 1954 at the New York Naval Shipyard as a naval architect (structures) performing detail structural design and fabrication studies for CVAs LPDs DDs and CGs and eventually became a supervisory naval architect (structures). From 1965 to 1973 he was a member of the staff of the Computer-Aided Design Division at the David Taylor Naval Ship Research and Development Center (DTNSRDC). As such he was involved in the development of the computer structural design tool the SSDP (in association with Frank M. Lev) and automated detail design programs (CASDOS). His current position is Senior Naval Architect Consultant in the structural integrity group of the Ship Structures Division Structures Department DTNSRDC. Mr. Nappi is the author and co-author of numerous technical papers and reports covering a wide spectrum of topics such as automated structural design process design for producibility and survivability material weight and cost trade-off studies and structural weight determination for high performance ships (i.e. SES SWATH HYSWAS). He has lectured on the subjects of design for survivability and ship structures at the Naval Post Graduate School and MIT. He is a member of ASNE ASCE U.S. Naval Institute Sigma Xi and is a registered Professional Engineer in the State of New York. Mr. Nappi was a member of the NAVSEA working commitee for the computer supported design planning effort and is currently a member of the DTNSRDC ASSET Advisory Committee. Ronald W. Walz:graduated in 1974 from Pennsylvania State University with a B.S. degree in civil engineering. He began his professional career in 1974 at the David Taylor Naval Ship Research and Development Center as a structural engineer in the structural design concepts group of the Ship Structures Division Structures Department.

A proposed cost effective alternative to current U.S. Navy structurally configured hulls is presented in this paper. This proposed design for producibility concept involves the elimination of structural stanchions and transverse web frames. The potential impact of this “no frame” concept on structural design, weight and construction and material costs for naval surface frigates and destroyers is reflected in 1) reduced costs for the installation of distributive systems and 2) a reduced number and complexity of structural details providing a more reliable and less costly structure. This study was performed in three parts: 1) Determine the most feasible length between bulkheads without frames; 2) Using this length perform detail weight studies and construction and material costs analysis comparison on a 72-foot long hull module, with and without frames, for a FFG-7, and 3) Estimate the saving in man hours of labor on the installation of distributive systems and shipfitting for an FFG-7. For the feasible length studies on the “no frame” structural configuration, thirty-seven strength, weight and vertical center of gravity studies were performed on two ship classes; twenty-two on the FFG-7 class and fifteen on the DD-963 class. The detailed weight studies and construction and material cost analyses were conducted for FFG-7 “no frame” and “as built” modules. Results indicating the “no frame” concept module was 6.8% heavier and 14.8% less costly than the “as built” module. For the impact of an FFG-7 “no frame” structurally configured hull on the cost of labor required for the installation of distributive systems and for other functional work such as ship fitting, welding, and electrical, this study indicated a reduction of 169,206 labor hours per ship, representing 7.12% of the total required man hours to fabricate an FFG-7 class ship. With the employment of the “no frame” concept, certain areas of significant concern and potential risk were addressed. These include: 1) t

关键词：

来源：评论

学校读者我要写书评

暂无评论

RETROFITTING OF BULBOUS BOWS ON UNITED-STATES NAVY AUXILIARY AND AMPHIBIOUS WARSHIPS

引用

NAVAL ENGINEERS JOURNAL 1984年第6期96卷 40-51页

作者： CHUN, SK HOUGH, JJ ENGLE, AH FUNG, SC Stephen K. Chunis a graduate of the Maritime College of the State University of New York class of 1981 from which he received a B.E. degree in naval architecture and his license as a Third Assistant Engineer from the U.S. Coast Guard. Since graduation he has worked for the U.S. Navy as a naval architect with the Hull Form and Hydrodynamics Performance Division (SEA 55W3) of the Naval Sea Systems Command. Currently he is the task leader for hydrodynamic design for the DDG-51. He is also responsible for bulbous bow and appendage design for surf ace ships. Mr. Chun is a member of ASNE SNAME and ASE. Jeffrey J. Hough:is currently a naval architect with the Hull Form and Hydrodynamic Performance Division (SEA 55VV3) of the Naval Sea Systems Command (NA VSEA). In his current capacity he is a member of the Surface Ship Hydrodynamics Branch and is the divisional coordinator for computer supported design (CSD) technical director for the hull form design system (HFDS) Hull Engineering Group (SEA 55) assistant coordinator for CSD SEA 55 CSD coordinator for the DDG-51 contract design and SEA 55W3 project engineer for aircraft carrier/aviation support ship hydrodynamics. Mr. Hough received his B.S.E. degree in naval architecture and marine engineering in 1978 and his M.S.E. degree in naval architecture and marine engineering in 1979 from the University of Michigan. He began his career with the U.S. Navy in 1979 as an Engineer-in-Training in the Ship Design and Integration Directorate of NAVSEA. Prior to his current assignment Mr. Hough was the technical director responsible for the hull form and hydrodynamics energy conservation program and technical specialist for design practices for resistance and powering margins and hull form geometry. A member of ASNE since 1979 Mr. Hough is also a member of SNAME ASE and the U.S. Naval Institute. Allen H. Engleis a naval architect with the Hull Form Design and Performance Division of the Naval Sea Systems Command. He received his B.S. degree in engineering science from th

To meet energy conservation goals of the U.S. Navy, its attention has been focused on ways to reduce individual ship total resistance and powering requirements. One possible method of improving ship powering characteristics is by modifying existing individual ship hulls with the addition of bulbous bows. This paper will identify the merits of retrofitting bow bulbs on selected U.S. Navy auxiliary and amphibious warfare ships. A procedure for performing a cost-benefit analysis will be shown for candidate ship classes. An example of this technique for an amphibious warfare ship will also be provided. A brief discussion of future methods to be used for bulbous bow design such as application of systematic model test data and numerical hydrodynamic techniques will be given.

关键词： NAVAL VESSELS

来源：评论

学校读者我要写书评

暂无评论

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

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：