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

IEEE Conference on Decision and Control

作者： Kazufumi Ito Robert Powers Division of Applied Mathematics Brown University Providence RI USA Institute of Computer Applications in Science and Engineering NASA-Langley Research Center Hampton VA USA

In this paper we state results on the existence of Chandrasekhar equations for linear time invariant systems defined on Hilbert spaces. An important consequence of this is that the solution to the evolutional Riccati equation is strongly differentiable in time and one can define a 'strong' solution of the Riccati differential equation. A discussion of the linear quadratic optimal control problem for hereditary differential systems is also included.

关键词： Equations Control systems Postal services NASA Tellurium

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Sums of divisors, perfect numbers, and factoring (extended abstract) 84

Sums of divisors, perfect numbers, and factoring (extended a...

引用

16th Annual ACM Symposium on Theory of Computing, STOC 1984

作者： Bach, Eric Miller, Gary Shallit, Jeffrey Computer Science Division University of California BerkeleyCA94720 United States Department of Applied Mathematics Massachusetts Institute of Technology CambridgeMA021S9 United States Department of Computer Science University of Chicago ChicagoIL60637 United States

ISBN: (纸本)0897911334

Let N be a positive integer, and let σ(A) denote the sum of the positive integral divisors of N. We show computing σ(N) is equivalent to factoring N in the following sense: there is a random polynomial time algorithm that, given σ(N), produces the prime factorization of N, and σ(N) can be easily computed given the factorization of N. We show that the same sort of result holds for σ(N), the sum of the k-th powers of divisors of N. We give three new examples of problems that are in Gill's complexity class BPP: {perfect numbers}, {multiply perfect numbers), and {amicable pairs}. These are the first "natural" candidates for BPP - RP. © 1984 ACM.

关键词： Factorization

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

John R. Pasta, 1918-1981-An Unusual Path Toward computer science

引用

Annals of the History of Computing 1983年第3期5卷 224-238页

作者： Kent K. Curtis N.C. Metropolis William G. Rosen Yoshio Shimamoto James N. Snyder Computer Science Section Division of Mathematical and Computer Sciences National Science Foundation Washington D.C. DC USA Los Alamos National Laboratory Los Alamos NM USA Mathematical Science Section Division of Mathematical and Computer Sciences National Science Foundation Washington D.C. DC USA Applied Mathematics De Department Brockhaven National Laboratory Upton NY USA Department of Computer Science University of Illinois Urbana IL USA

The following eloge of John R. Pasta should remind readers that he died before recording his recollections and interpretations of his personal experiences as a contributor to the early development of computing. Sadly, what he might-have told us of what he thought when he did it is now lost forever. We will never have his firsthand account to help us learn how to do great things ourselves. I hope potential authors of reminiscences, memoirs, and autobiographies will act now to avoid further losses.

关键词： Obituaries Pasta, John R.

来源：评论

学校读者我要写书评

暂无评论

SEAKEEPING PERFORMANCE COMPARISON OF AIR CAPABLE SHIPS

引用

NAVAL ENGINEERS JOURNAL 1982年第2期94卷 101-117页

作者： COMSTOCK, EN BALES, SL GENTILE, DM Mr. Edward N. Comstock:is currently Head of the Hull Form Design and Performance Branch (SEA 3213) of the Naval Sea Systems Command. He received his B.S.E. degree in Naval Architecture and Marine Engineering in 1970 and his M.S.E. degree in Ship Hydrodynamics in 1974 both from the University of Michigan. Mr. Comstock began his career with theU.S. Navyin 1974 as a Seakeeping Specialist in the Hull Form and Fluid Dynamics Branch of the former Naval Ship Engineering Center. Achieving his present position in January 1982 Mr. Comstock was previously Head of the Surface Ship Hydrodynamics Section of SEA 3213 being responsible for recent hull form designs including DDG-51 MCM-1 and ARS-50. Before obtaining that position in 1979 Mr. Comstock's efforts were primarily aimed at developing and establishing seakeeping performance assessment and design practices. Prior to his employment by the Navy Mr. Comstock worked in the Structural and Hydrodynamics Group of General Dynamics' Electric Boat Division. A member of ASNE he is also a member of ASE and SNAME and has been active in supporting the efforts of the SNAME H-7 (Seakeeping) Panel SNAME HS-12 (Hull Instrumentation) Panel the National Science Foundation (NSF) and the NATO Armaments Group IEG6/Sub-Group 5 (Seakeeping). Ms. Susan L. Bales:has been associated with the David W. Taylor Naval Ship R&D Center (DTNSRDC) and its predecessor organizations throughout her professional career. She is currently Head of the Ocean Environment Group of the DTNSRDC Surface Ship Dynamics Branch (1561) and also serves as the DTNSRDC Program Manager of the Navy's Exploratory Development Program on Surface Waves. Her work documented by more than fifty technical publications has been directed primarily to ship seakeeping ocean environment and ship performance assessment problems. An internationally recognized authority in her field she is also active in several professional societies as well as the SNAME H-7 (Seakeeping) Panel the National Science Foundation (NSF) and the NA

The on-going debate regarding the merits of large versus small aircraft carriers raises several issues concerning the ability of various ship configurations to support sea based air operations. One such issue is the question of the relative seakeeping performance of ship alternatives. In an effort to shed some light on the matter, a comparative seakeeping assessment of nine air capable ships covering a wide range of size and hull form was performed. An evaluation of the impact of aircraft and ship motion limitations on sea based air operations and a comparison of the relative ability of the ships to conduct air operations while in a seaway are presented. The specific air operations considered are launch, recovery, and support of aircraft. The ships evaluated are CVN-71, CVA-67 (MR), CVV, LHA-1, VSS-D, DDV-2, DDV-1D, DD-963, and SWATH-6. These ships have the combined capability to operate Vertical Takeoff and Landing (VTOL), Conventional Takeoff and Landing (CTOL), Short Takeoff and Arrested Landing (STOAL), and Short Takeoff and Vertical Landing (STOVL) type aircraft. Results indicate that seakeeping performance generally degrades with decreasing displacement, that SWATH-6 performance is the least degraded, that elevator wetness can be an important degrader for ships with lower freeboards, that roll motion can be an important degrader for ships under 60,000 tons, and that percent time of operation is strongly dependent on the prevailing wave and wind environment.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Characterization of VAX macsyma 81

Characterization of VAX macsyma

引用

4th ACM Symposium on Symbolic and Algebraic Computation, SYMSAC 1981

作者： Faderaro, Jahn K. Fateman, Richard J. Computer Science Division Center for Pure and Applied Mathematics University of California BerkeleyCA United States

ISBN: (纸本)0897910478

Vaxima spends a great, deal of time moving data from one place to another. When this data movement is done in compiled lisp, much of it is simply stacking arguments prior to calling a function. Since there are a large number of function calls, we would like to optimize the calling sequence, yet maintain compatibility with the C calling sequence. Our compromise was to code in assembler language those small functions which were called most often, enabling us to change the way those functions were called. The results given above demonstrate the efficacy of this approach and suggest that we should recade the equal function in assembler as well. The Franz Lisp compiler does not do very much to optimize the fixnum arithmetic operations. As our results indicate, it would be a waste of effort to modify the compiler to handle fimums if all we were interested in was running Vaxima on problems such as those found in the Begin demo. Only a small amount of arithmetic is done in Vaxima and most of that is written in C where it would be unaffected by a compiler change.

关键词： program compilers

来源：评论

学校读者我要写书评

暂无评论

A case study in interlanguage communication: Fast LISP polynomial operations written in 'C' 81

A case study in interlanguage communication: Fast LISP polyn...

引用

4th ACM Symposium on Symbolic and Algebraic Computation, SYMSAC 1981

作者： Fateman, Richard J. Computer Science Division Center for Pure and Applied Mathematics University of California BerkeleyCA94720 United States

It is shown that a simple program, written in the "C" programming language, can be interfaced to a Lisp algebraic manipulation system with substantial performance improvement as a result.

ISBN: (纸本)0897910478

It is shown that a simple program, written in the "C" programming language, can be interfaced to a Lisp algebraic manipulation system with substantial performance improvement as a result.

关键词： C (programming language)

来源：评论

学校读者我要写书评

暂无评论

Views on transportability of LISP and USP-based Systems 4

Views on transportability of LISP and USP-based Systems

引用

4th ACM Symposium on Symbolic and Algebraic Computation, SYMSAC 1981

作者： Fateman, Richard J. Computer Science Division Center for Pure and Applied Mathematics University of California BerkeleyCA94730 United States

ISBN: (纸本)0897910478

The availability of new large-address-space computers has provided us an opportunity to examine techniques for transferring programming systems, and in particular, Usp systems, to new computers. We contrast two approaches: designing and building a Virtual Machine implementation of Lisp, and (re)writing the system in a "portable" programming language ("C"). Our conclusion is that the latter approach may very well be better.

关键词： C (programming language)

来源：评论

学校读者我要写书评

暂无评论

An algebraic front-end for the production and use of numeric programs 81

An algebraic front-end for the production and use of numeric...

引用

4th ACM Symposium on Symbolic and Algebraic Computation, SYMSAC 1981

作者： Lanam, Douglas H. Computer Science Division Center for Pure and Applied Mathematics University of California BerkeleyCA94720 United States

ISBN: (纸本)0897910478

We describe a programming environment which combines the Macsyma algebraic manipulation system with convenient and direct access to numeric Fortran run-time libraries. With this system it is also convenient to generate, compile, load, and invoke totally new Fortran programs which may have been produced by combining algebraically derived formulas and program "templates". These facilities, available on VAX-11 computers, provide an environment for the generation and testing of advanced scientific software. Enhancements of Fortran for high-precision calculations, interval arithmetic, and other purposes are also supported.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：