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

2nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 1990

作者： Chang, Pau S. Egan, Gregory K. Jt. Roy. Melbourne Inst. of Technol. and Cmw. Scientific and Industrial Research Organisation Parallel Systems Architecture Project Australia Royal Melbourne Institute of Technology Dept of Communication and Electrical Engineering 124 La Trobe St. Melbourne3000 Australia Department of Computer Systems Engineering Swinburne Institute of Technology School of Electrical Engineering John Street Hawthorn3122 Australia

ISBN: (纸本)0897913507

Numerical Weather Prediction (NWP) is acknowledged as being of vital importance to economy. The demand that NWP places on computing system performance has increased dramatically since the introduction of computer systems and is siili growing. This paper describes the implementation of a one-level barotropic spectral NWP model using the high level functional language SISAL. Our initial approach was a direct transliteration from FORTRAN to SISAL, the result of which was a large amount of array copying and loss of parallelism. The algorithm of the model was then rearranged to enable effective exploitation of parallelism by an optimising SISAL compiler. The parallel implementation technique and its potential for modeling with larger model sizes are discussed, and the improved results for an Encore Multimax multiprocessor are presented. © 1990 ACM.

关键词： High level languages

来源：评论

学校读者我要写书评

暂无评论

computer-SYSTEM architecture CONCEPTS FOR FUTURE COMBAT SYSTEMS

引用

NAVAL ENGINEERS JOURNAL 1990年第3期102卷 43-62页

作者： ZITZMAN, LH FALATKO, SM PAPACH, JL Dr. Lewis H. Zitzman:is the group supervisor of the Advanced Systems Design Group Fleet Systems Department The Johns Hopkins University Applied Physics Laboratory (JHU/APL). He has been employed at JHU/APL since 1972 performing applied research in computer science and in investigating and applying advanced computer technologies to Navy shipboard systems. He is currently chairman of Aegis Computer Architecture Data Bus and Fiber Optics Working Group from which many concepts for this paper were generated. Dr. Zitzman received his B.S. degree in physics from Brigham Young University in 1963 and his M.S. and Ph.D. degrees in physics from the University of Illinois in 1967 and 1972 respectively. Stephen M. Falatko:was a senior engineering analyst in the Combat Systems Engineering Department Comptek Research Incorporated for the majority of this effort. He is currently employed at ManTech Services Corporation. During his eight-year career first at The Johns Hopkins University Applied Physics Laboratory and currently with ManTech Mr. Falatko's work has centered around the development of requirements and specifications for future Navy systems and the application of advanced technology to Navy command and control systems. He is a member of both the Computer Architecture Fiber Optics and Data Bus Working Group and the Aegis Fiber Optics Working Group. Mr. Falatko received his B.S. degree in aerospace engineering with high distinction from the University of Virginia in 1982 and his M.S. degree in applied physics from The Johns Hopkins University in 1985. Mr. Falatko is a member of Tau Beta Pi Sigma Gamma Tau the American Society of Naval Engineers and the U.S. Naval Institute. Janet L. Papach:is a section leader and senior engineering analyst in the Combat Systems Engineering Department Comptek Research Incorporated. She has ten years' experience as an analyst supporting NavSea Spa War and the U.S. Department of State. She currently participates in working group efforts under Aegis Combat System Doctrin

This paper sets forth computer systems architecture concepts for the combat system of the 2010–2030 timeframe that satisfy the needs of the next generation of surface combatants. It builds upon the current Aegis computer systems architecture, expanding that architecture while preserving, and adhering to, the Aegis fundamental principle of thorough systems engineering, dedicated to maintaining a well integrated, highly reliable, and easily operable combat system. The implementation of these proposed computer systems concepts in a coherent architecture would support the future battle force capable combat system and allow the expansion necessary to accommodate evolutionary changes in both the threat environment and the technology then available to effectively counter that threat. Changes to the current Aegis computer architecture must be carefully and effectively managed such that the fleet will retain its combat readiness capability at all times. This paper describes a possible transition approach for evolving the current Aegis computer architecture to a general architecture for the future. The proposed computer systems architecture concepts encompass the use of combinations of physically distributed, microprocessor-based computers, collocated with the equipment they support or embedded within the equipment itself. They draw heavily on widely used and available industry standards, including instruction set architectures (ISAs), backplane busses, microprocessors, computer programming languages and development environments, and local area networks (LANs). In this proposal, LANs, based on fiber optics, will provide the interconnection to support system expandability, redundancy, and higher data throughput rates. A system of cross connected LANs will support a high level of combat system integration, spanning the major warfare areas, and will facilitate the coordination and development of a coherent multi-warfare tactical picture supporting the future combatant command st

关键词： computer architecture

来源：评论

学校读者我要写书评

暂无评论

COMPARATIVE STRUCTURAL LIFE ASSESSMENT OF PATROL BOAT BOTTOM PLATING

引用

NAVAL ENGINEERS JOURNAL 1990年第3期102卷 253-262页

作者： AYYUB, BM WHITE, GJ BELLWRIGHT, TF PURCELL, ES Bilal M. Ayyub:is currently an associate professor of civil engineering at the University of Maryland. He received his B.S. degree in civil engineering from the University of Kuwait in 1980. He completed both his M.S. (1981) and Ph.D. (1983) in civil engineering at the Georgia Institute of Technology. Dr. Ayyub has an extensive background in risk-based analysis. He is engaged in research work involving structural reliability marine structures and mathematical modeling using the theories of probability statistics and fuzzy sets. His research work has been sponsored by the National Transportation Safety Board National Science Foundation U.S. Coast Guard Department of Defense State of Maryland and University of Maryland. He is the author of more than 100 publications in national and international journals conference proceedings and reports. Dr. Ayyub was a recipient of the ASNE “Jimmie” Hamilton Award for 1985 the ASCE “Outstanding Research Oriented Paper” in theJournal of Water Resources Planning and Managementfor 1987 and Edmund Friedman Young Engineer Award for Professional Achievement from ASCE for 1989. Gregory J. White:is an associate professor of naval architecture at the U.S. Naval Academy. He received his B.S. degreein engineering mechanics from Vanderbilt University in 1975 an M.E. degree in naval architecture from the University of California Berkeley in 1981 and a Ph.D. in civil engineering (structures) from the University of Maryland in 1986. Dr. White served on active duty with the U.S. Navy from 1975 to 1979 as a junior officer in the engineering and operations departments of Pacific Fleet destroyers. Prior to coming to the Naval Academy he worked at Mare Island Naval Shipyard in the scientific code and in the R&D division of Exxon International company's Tanker Department. Dr. White is the author of more than two dozen technical articles and reports and is one of the U.S. representatives to the International Ship and Offshore Structures Congress (ISSC). His research interests lie in t

The estimation of an absolute life expectancy of a structure is a complex process and the results are expected to have relatively large levels of uncertainty. In this study, a comparative analysis is undertaken between two different patrol boats. This is an approach which results in a higher confidence level because certain factors common to both boats can be eliminated by assuming them to be at constant normal levels. The study is limited to the critical forward bottom plating and takes into account the differences in material, plate dimensions, operational profile, structure and loading of the two vessels. Two failure modes, plastic plate deformation and fatigue, are considered, and a novel approach to plate wastage is included. Many factors affect the structural life of a vessel. They include structural type, operational profile, structural details, loads, inspection and maintenance, design methods, safety factors, corrosion, and environmental factors. There are three types of uncertainty associated with these factors; namely, physical randomness, statistical uncertainties, and model uncertainties. The method described is designed to address these uncertainties. The objective of the paper is to present the reliability-based structural life assessment method, and then to use it to evaluate and compare the structural performance of the forward bottom plating of the two patrol boats. The results of the evaluation are presented in the form of graphs and tables in order to facilitate the comparative evaluation. The method is performed within a computer-based format which allows parametric sensitivity analysis of several variables including the size of the plating panel, thickness, operational profile and loading. The sensitivity of the structural life expectancy of the forward bottom plating to variations in these parameters is evaluated.

关键词： Naval Vessels

来源：评论

学校读者我要写书评

暂无评论

An approach to verification of communication in distributed computing system software

An approach to verification of communication in distributed ...

引用

International Conference on Distributed Computing Systems

作者： S.S. Yau K.W.I. Chen Software Engineering Research Center and Computer and Information Sciences Department University of Florida Gainesville FL USA Industrial Technology Research Institute Industrial Technology Research Institute (ITRI) Hsinchu Taiwan

An approach is presented for verifying the communication among modules in distributed computing system software. This approach is based on the inductive assertion method. The inference rules used in this approach are derived for verifying the partial correctness of communicating sequential modules. In this approach, the virtual circuits are used for synchronous message-passing. The advantage of this approach is that proofs of the satisfaction and noninterference are not needed, since no assumptions about the effects of receiving messages are made in the sequential proofs and the uses of shared auxiliary variables and universal assertions are carefully controlled during the process verification. Without these proofs, the user only needs to deal with the individual modules instead of the entire distributed computing system. The technique for detecting the deadlock of a program is given.< >

关键词： Distributed computing System software Circuits Logic programming software engineering Industrial electronics Communication industry computer industry Electronics industry Communication system software

来源：评论

学校读者我要写书评

暂无评论

THE QUANTIFICATION OF INTEROPERABILITY

引用

NAVAL ENGINEERS JOURNAL 1989年第3期101卷 251-256页

作者： MENSH, DR KITE, RS DARBY, PH Dennis Roy Mensh:is currently the task leader Interoperability Project with the MITRE Corporation in McLean Va. He received his B.S. and M.S. degrees in applied physics from Loyola College in Baltimore Md. and the American University in Washington D. C. He also has completed his course work towards his Ph.D. degree in computer science specializing in the fields of systems analysis and computer simulation. He has been employed by the Naval Surface Warfare Center White Oak Laboratory Silver Spring Md. for 20 years in the areas of weapon system analysis and the development of weapon systems simulations. Since 1978 he has been involved in the development of tools and methodologies that can be applied to the solution of shipboard combat system/battle force system architecture and engineering problems. Mr. Mensh is a member of ASNE MORS IEEE U.S. Naval Institute MAA and the Sigma Xi Research Society. Robert S. Kite:is a systems engineer with the Naval Warfare Systems Engineering Department of the MITRE Corporation in McLean Va. Mr. Kite received his B.S. degree in electronic engineering from The Johns Hopkins University in Baltimore Md. Mr. Kite retired from the Federal Communications Commission in 1979 and served a project manager of the J-12 Frequency Management Support Project for the Illinois Institute of Technology Research Institute in Annapolis Md. before joining MITRE. Mr. Kite is presently a member of ASNE the Military Operations Research Society and an associate member of Sigma Xi. Paul H. Darby:has worked in the field of interoperability both in the development of interoperability concepts and systems since joining the Department of the Navy in 1967. He was the Navy's program manager for the WestPacNorth TACS/ TADS and IFFN systems. He is currently head of the Interoperability Branch Warfare Systems Engineering Office Space and Naval Warfare Systems Command. He holds a B.S. from the U.S. Naval Academy.

JCS Pub 1 defines interoperability as “The ability of systems, units or forces to provide services to and accept services from other systems, units or forces and to use the services so exchanged to enable them to operate effectively together.” With JCS Pub 1 as a foundation, interoperability of systems, units or forces can be factored into a set of components that can quantify interoperability. These components are: media, languages, standards, requirements, environment, procedures, and human factors. The concept described in this paper uses these components as an analysis tool to enable specific detailed analyses of the interoperability of BFC3 systems, units, or forces for the purpose of uncovering and resolving interoperability issues and problems in the U.S. Navy, Joint, and Allied arenas. Also, as a management tool, the components can help determine potential interoperability characteristics of future U.S. Navy BFC3 systems for compliance with battle force systems architectures. The approach selected for the quantification of interoperability was the development of a set of measures of performance (MOPs) and measures of effectiveness (MOEs). The MOPs/MOEs were integrated with a candidate set of components, which were used to partition the totality of interoperability into measurable entities. The methodology described employs basic truth table theory in conjunction with logic equations to evaluate the interoperability components in terms of MOPs that were aggregated to MOEs. It is believed that this concept, although elementary and based on fundamental principles, represents an operationally significant approach rather than a theoretical approach to the quantification of interoperability. The vehicle used as a means to measure the MOPs and MOEs was the research Evaluation and Systems Analysis (RESA) computer modeling and simulation capability at the Naval Ocean Systems Center (NOSC), San Diego, Calif. Data for the measurements were collected during a Tactical I

关键词： Military Engineering

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

ESTIMATION OF STRUCTURAL SERVICE LIFE OF SHIPS

引用

NAVAL ENGINEERS JOURNAL 1989年第3期101卷 156-166页

作者： AYYUB, BM WHITE, GJ PURCELL, ES P.E. Bilal M. Ayyub:is currently an associate professor of civil engineering at the University of Maryland. He received his B.S. degree in civil engineering from the University of Kuwait in 1980. He completed both his M.S. (1981) and Ph.D. (1983) in civil engineering at the Georgia Institute of Technology. Dr. Ayyub has an extensive background in risk-based analysis and design simulation and construction engineering. He is engaged in research work involving structural reliability bridges marine structures and mathematical modeling using the theories of probability statistics and fuzzy sets. His research work is sponsored by the National Transportation Safety Board the National Science Foundation the U.S. Coast Guard the State of Maryland and the University of Maryland. Dr. Ayyub is a member of ASNE the American Society of Civil Engineers (ASCE) the American Concrete Institute (ACI) the Committee on Forensic Engineering of ASCE and the Committee on Structural Safety of ACI. He is the author of more than three dozen publications in national and international journals conference proceedings and reports. Dr. Ayyub received the ASNE “Jimmie” Hamilton Award for 1985 and the ASCE “Outstanding Research Oriented Paper” in the Journal of Water Resources Planning and Management for 1987. Gregory J. White:is an associate professor of naval architecture at the U.S. Naval Academy. He received his B.S. degree in engineering mechanics from Vanderbilt University in 1975 an M.E. degree in naval architecture from the University of California Berkeley in 1981 and a Ph.D. in civil engineering (structures) from the University of Maryland in 1986. Dr. White served on active duty with the U.S. Navy from 1975 to 1979 as a junior officer in the engineering and operations departments of Pacific Fleet destroyers. Prior to coming to the Naval Academy he worked at Mare Island Naval Shipyard in the scientific code and in the R&D division of Exxon International Company's Tanker Department. Dr. White is a lieutenant commande

A methodology for the structural life assessment of a ship's structure is suggested. The methodology is based on probabilistic analysis using reliability concepts and the statistics of extremes. In this approach, the estimation of structural life expectancy is based on selected failure modes. All possible failure modes of the ship must be investigated and the most likely paths to structural failure identified. For the purpose of illustration two failure modes are considered in this study. They are plate plastic deformation and fatigue cracking. Structural life based on these two failure modes is determined for an example vessel. The methodology determines the probability of failure of the ship's structural components according to the identified failure modes as a function of time. The results can be interpreted as the cumulative probability distribution function (CDF) of structural life. Due to the unknown level of statistical correlation between failure modes, limits or bounds on the CDF of the structural life are established. The limits correspond to the extreme cases of fully correlated and independent failure modes. The CDFs of structural life are determined for two inspection strategies; namely, inspection every year and inspection every two years with a warranty inspection at the end of the first year. The meaning of the results for the case investigated in this study is that, for example, given an inspection strategy of two years and a desired life of 15 years, there is a 72% chance that the vessel will not experience enough partial damage‘ in the failure modes identified to constitute reaching the “end of structural life” as defined.

关键词： Ships

来源：评论

学校读者我要写书评

暂无评论

SDA: a novel approach to software environment design and construction

SDA: a novel approach to software environment design and con...

引用

International Conference on software Engineering (ICSE)

作者： K. Kishida T. Katayama M. Matsuo I. Miyamoto K. Ochimizu N. Saito J.H. Sayler K. Torii L.G. Williams Software Research Associates Inc. Tokyo Japan Department of Computer Science Tokyo Institute of Technology Tokyo Japan Information and Computer Science Department University of Hawai Honolulu HI USA Department of Computer Science Shizuoka University Hamamatsu Shizuoka Japan Department of Mathematics Keio University Yokohama Kanagawa Japan Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI USA Department of Information and Computer Science Osaka University Toyonaka Osaka Japan Department of Electrical Engineering and Computer Science University of Colorado Denver CO USA

ISBN: (纸本)0897912586

The software Designer's Associate (SDA) is a workstation-based collection of tools which support the description, evaluation, and comparison of software system architectural designs and cooperation among, and management of, a team of software designers. Each SDA is a specific instance of a generic facility which supports a team member's design activities, cooperation among team members, and overall team management. It provides a framework for the integration of tools supporting the use of various notations within the context of a particular set of technical and managerial methods. These tools, notations, and methods may be adapted to support the needs of a particular project or the habits of an individual developer by selecting the particular tools to be added to the generic facility. The authors describe the concept of SDAs and the cooperative, international project which is intended to lend to its realization.< >

关键词： software design Workstations computer science software tools Programming computer industry software maintenance software prototyping Disaster management Knowledge management

来源：评论

学校读者我要写书评

暂无评论

CONCEPTUAL DESIGN OF AN OFFSHORE PATROL BOAT

引用

NAVAL ENGINEERS JOURNAL 1987年第1期99卷 70-82页

作者： COHEN, SH GHOSH, D DODGE, WB MCEACHEN, W Steven H. Cohen:is head of the Coast Guard's Boat Technical Section which is responsible for the design and alteration of patrol boats self-righting rescue craft buoy boats utility boats and other special purpose craft. Since joining the Coast Guard in 1980 Mr. Cohen has been involved in a wide variety of small craft design and construction projects and several research projects. Formerly with Hydronautics Inc. he participated in various aspects of ship research and small craft prototypes. Mr. Cohen is a graduate of the Massachusetts Institute of Technology and the State University of New York Maritime College. He holds a Coast Guard Marine Engineer's license and is a member of the American Society of Naval Engineers the Society of Naval Architects and Marine Engineers and the American Boat and Yacht Council. Debabrata Ghosh:is a senior naval architect in the Coast Guard's Boat Technical Section and is currently engaged in the preliminary design of the fully capable patrol boat and the 47-ft self-righting motor life boat. Mr. Ghosh received a B. Tech. (Honors) in naval architecture from the Indian Institute of Technology Kharagpur India and an MBA from the Tulane School of Business. He has been involved with small craft design for over 10 years. His past experience at MonArk Boat Co. and Dravo Steelship Corp. includes the design of various workboats pilot boats crew boats and utility boats. Mr. Ghosh has also been involved with the design of jack ups semi-submersibles and self-elevating workover barges at Korkut Engineers Inc. and Carlos Monje Inc. He is a member of the American Society of Naval Engineers and the Society of Naval Architects and Marine Engineers. William B. Dodge:is a senior naval architect in the Coast Guard's Boat Technical Section. Mr. Dodge has been with the section for over 18 years and his work includes machinery arrangements and configuration studies for new designs and design details for changes on existing craft. Mr. Dodge was also with the Coast Guard's Design Branch Machi

The U.S. Coast Guard's multimission patrol boats are rapidly approaching the end of their useful service life. Conventional and advanced designs are being assessed as potential replacements. The paper presents the conventional design which is based on modern, well-proven patrol boat design practices and technologies. The principal features and performance characteristics of the design are highlighted. Also described are the specific mission requirements, the general design philosophy, and important design objectives including seakeeping performance, survivability, habitability and safety. Other objectives discussed in the paper include improved producibili-ty and reduced maintenance requirements to minimize life cycle cost.

关键词： NAVAL VESSELS

来源：评论

学校读者我要写书评

暂无评论

A NEW GENERATION OF HIGH-PERFORMANCE PLANING CRAFT

引用

NAVAL ENGINEERS JOURNAL 1985年第4期97卷 234-247页

作者： JONS, OP KOELBEL, J SHELDON, R Otto Jons:is vice president of engineering at Advanced Marine Enterprises Inc. He received a Diplom Ing. from the Technical University of Hannover W. Germany and an M.S. in naval architecture and marine engineering from the Massachusetts Institute of Technology in 1976. He then joined Litton Ship Systems to work on the DD-963 and LHA programs. He was principal research scientist at Hydronautics and technical director with Designers and Planners before forming in 1976 together with S. Glatz and J. Drewry Advanced Marine where he is responsible for engineering and technical matters on behalf of the corporation. Joseph Koelbel: a senior naval architect at Advanced Marine Enterprises Inc. has for many years specialized in the design of high-speed rough-water boats including a record-setting race boat passenger boats and patrol boats such as the CPIC and the PBM. He received special recognition for his contributions to and editing of the Planing Concept Volume of the Advanced Naval Vehicles Concept Evaluation Study. He is a member of ASNE SNAME (past chairman planing boats panel of the Hydrodynamics Committee) and ABYC. He is the author of a number of published papers on small-craft design. Ray Sheldon:is the head of computer applications at Advanced Marine Enterprises Inc. where he directs activities in computer-aided ship design software development and ship performance prediction. Previously at the Hydronautics Ship Model Basin he was involved in nearly all aspects of ship hydrodynamics and the development and refinement of test methodologies and equipment. Mr. Sheldon is a 1973 graduate of Webb Institute of Naval Architecture (B.S. naval architecture and marine engineering) a member of ASNE and an associate member of SNAME. He is the author of several published papers concerning ship design and experimental methods.

Key aspects of the design development of a capable yet affordable high performance craft are addressed. These aspects include the development of mission requirements, the rationale for major design decisions, performance capabilities, and system and subsystem selection. The superior performance of the design, as demonstrated by an extensive model test program, led to the decision to develop a family of advanced fast patrol boat concepts. Selected family members are also briefly introduced. The paper, furthermore, demonstrates the successful integration of many major computer-aided design (CAD) programs currently in use for U.S. Navy ship design.

关键词： NAVAL VESSELS

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：