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

Proceedings of the 13th Annual ACM Symposium on Principles of Distributed Computing

作者： Bazzi, Rida A. Neiger, Gil Peterson, Gary L. College of Computing Georgia Institute of Technology Atlanta Georgia Computer and Information Science Program Spelman College 350 Spelman Lane SW Post Office Box 333 Atlanta Georgia

ISBN: (纸本)9780897916547

The computational power of concurrent data types has been the focus of much recent research. Herlihy showed that such power may be measured by examining the type's ability to implement wait-free consensus. Jayanti argued that this "ability" could be measured in different ways, depending, for example, on whether or not read/write registers could be used in an implementation. He demonstrated the significance of this distinction by exhibiting a nondeterministic type whose ability to implement consensus was increased with the availability of registers. We show that registers cannot increase the computational power (to implement consensus) of any deterministic type or of any type that can implement 2-process consensus. These results significantly impact upon the study of the wait-free hierarchies of concurrent data types. In particular, the combination of these results with other recent works shows that Jayanti's h_m hierarchy is robust for deterministic types. © 1994 ACM.

关键词： Concurrency control

来源：评论

学校读者我要写书评

暂无评论

FUEL-CELL POWER-PLANTS FOR SURFACE FLEET APPLICATIONS

引用

NAVAL ENGINEERS JOURNAL 1994年第3期106卷 59-76页

作者： GOUBAULT, P GREENBERG, M HEIDENREICH, T WOERNER, J Philippe Goubault:graduated in 1983 from the “Ecole Nationale Superieure de Techniques Avancees” in Paris with a major in naval architecture. After one year of military service with the French navy he worked as naval architect and program director for the French navy between 1984 and 1988. He was in charge of the development of AGNES200 Surface Effect Ship design which completed its sea trials in 1992. He also was responsible for the construction of five ships (four hydrographic vessels and one experimental MCM vessel) which entered service between 1988 and 1991. He has been involved in a number of projects and studies for the U.S. Navy U.S. Coast Guard and other foreign and domestic customers. At Band Lavis & Associates Inc. Mr. Goubault has expanded the computer tools used to conduct parametric analysis of advanced hullforms and has developed cost-effectiveness assessment tools and methodologies for both commercial and military ships. Mr. Goubault is a member of ASNE. Marc Greenberg:is employed as a cost analyst at the cost and economic analysis branch systems assessment and engineering division Naval Surface Warfare Center. He provides cost estimates and analyses of Navy ship and submarine technologies and has assisted in the development of parametric cost models since 1991. Employed as an electronics engineer by the U.S. Army Information Systems Command from 1989 to 1991 he provided support in simulation design and construction of high frequency and microwave communication systems. Mr. Greenberg received his BS degree in ceramic science and engineering from the Pennsylvania State University May 1987. He is a member of MORS. Todd Heidenreich:is employed in the design analysis and tools branch systems assessment and engineering division of the Carde-rock Division Naval Surface Warfare Center. He is involved as a project naval architect in the conceptual design of future surface ship designs future technology impact assessments and the assessment of current domestic and foreign surface ship desig

This paper describes the results of a study undertaken to determine the impact of fuel cell technology on the design and effectiveness of future naval surface combatants. The study involved the collection of data to characterize four different fuel cell technologies: proton exchange membrane, molten carbonate, phosphoric acid, and solid oxide fuel cells. This information was used to expand current computer models to develop specific fuel cell plants that met the power requirements for several applications on a nominal 5000 Lton destroyer and a nominal 2000 Lton corvette. Each of the fuel cell technologies was incorporated into several applications aboard the destroyer and the corvette. These applications included combinations of centralized and distributed ship service power, and propulsion power. In addition, the impact of fuel cell technology was determined for a ship service power backfit option aboard a DDG-51 class destroyer. The results of the impact on the ship designs were analyzed and a military effectiveness assessment was conducted to address such issues as the impact of fuel cells on mobility, survivability, affordability, and on the environment. The paper identifies which aspects of the fuel cell technologies have the greatest impact upon the ship designs and their operational costs. Recommendations are given for future technology development efforts required to make fuel cells suitable for Navy service.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Book reviews

引用

Minds and Machines 1993年第3期3卷 335-375页

作者： Erwin M. Segal Meredith Williams David J. Cole James Geller Yorick Wilks Shoshana Loeb Kim Sterelny Jerry Fodor Sara Heinämaa Ausonio Marras Department of Psychology and Center for Cognitive Science State University of New York at Buffalo Buffalo USA Department of Philosophy Northwestern University Evanston USA Department of Philosophy University of Minnesota Duluth USA Department of Computer and Information Science New Jersey Institute of Technology Newark USA Computing Research Laboratory New Mexico State University Las Cruces USA Bell Communications Research Morristown USA Department of Philosophy Victoria University of Wellington Wellington New Zealand Department of Philosophy Rutgers University New Brunswick USA Philosophy Program CUNY Graduate Center New York USA Department of Philosophy University of Helsinki Helsinki Finland Department of Philosophy University of Western Ontario London Canada

来源：评论

学校读者我要写书评

暂无评论

FFG-61 PROTOTYPE DIGITAL TECHNICAL LIBRARY

引用

NAVAL ENGINEERS JOURNAL 1992年第2期104卷 58-68页

作者： VINROOT, CA ORNER, JG USN Capt. Charles A. Vinroot USN (Ret.)retired from the U.S. Navy in September 1991 following over 27 years of active duty as an engineering duty officer. He holds a BSEE from North Carolina State University and a MSEE and professional degree from the U.S. Naval Postgraduate School. During his naval career he served on USSIndependence (CVA-62) and USSLuce (DLC-7/DDC-38). He also served at Supship Quincy Mass. and Hunters Point Naval Shipyard. He was stationed in Washington D.C. with assignments at CNO (OP 98) ASN (S&L) and the Naval Sea Systems Command. Captain Vinroot was technical director of the Battleship Reactivation Program (PMS 378) technical director of the Destroyer Acquisition Program (PMS 389) and deputy program manager of the Amphibious Warfare and Strategic Sealift Program (PMS 377). Most recently he served as program manager for Gas Turbine Surface Combatants (PMS 314) and Surface Combatants (PMS 330). Captain Vinroot is now employed by PRC Inc. and serves as technical director for the Advanced Technology Division in Crystal City Va. Jeffery G. Ornergraduated from Wittenberg University in Springfield Ohio in 1979 with a bachelor of arts degree in political science and earned a master's of science degree in business from The American University in Washington D.C. in 1982. He has ten years of professional experience with the Naval Sea Systems Command in positions with responsibilities for logistic support planning policy and delivery computer-aided acquisition and logistic support and Fleet Modernization Program (FMP) and ship construction issues. He was a key player in establishing the current FMP integrated logistic support (ILS) process and in implementing of the Ships' Configuration and Logistic Support Information System (SCLSIS). His current position as Fleet Logistic Support Branch head for the Surface Combatant Program includes responsibility for logistic support and management of ship configuration and logistic data for all surface combatant ships (except for Aegis ships). In

USS Ingraham (FFG-61) is the prototype ship for NavSea's Advanced Technical information System (ATIS). ATIS is a digital technical library, which holds on optical disks the ship's 2,000 technical manuals and 73,000 drawing sheets. It contains a detailed ship's configuration index (derived from SCLSIS) to lead the user to the proper drawing or manual, and it replaces the ship's aperture cards and the second (library) copy of the technical manuals. ATIS, and the data standards established and tested through ATIS development, will be the technical library portion of micro-SNAP and SNAP III. It also forms an important part of NavSea's plans to utilize EDMICS data. This paper describes the goals and technical concepts behind the development of ATIS. Problems encountered, solutions developed, and lessons learned are detailed. Special attention was paid to the application of the computer Aided Acquisition and Logistic Support (CALS) standards, problems caused by conflicts and ambiguities in those standards, the standards. Original program goals are compared with actual operational experiences. Plans for future expansion are outlined, including applications of this technology in the availability planning and execution process. A comparison is developed among the various methods of optical imaging and their costs and benefits.

关键词： information Retrieval Systems

来源：评论

学校读者我要写书评

暂无评论

ROLE OF SIMULATION IN RAPID PROTOTYPING FOR CONCEPT DEVELOPMENT

引用

NAVAL ENGINEERS JOURNAL 1991年第3期103卷 204-211页

作者： KING, JF BARTON, DE J. Fred King:is the manager of the Advanced Technology Department for Unisys in Reston Virginia. He earned his Ph.D. in mathematics from the University of Houston in 1977. He has been principal investigator of research projects in knowledge engineering pattern recognition and heuristic problem-solving. Efforts include the development of a multi-temporal multispectral classifier for identifying graincrops using LANDSAT satellite imagery data for NASA. Also as a member of the research team for a NCI study with Baylor College of Medicine and NASA he helped develop techniques for detection of carcinoma using multispectral microphotometer scans of lung tissue. He established and became technical director of the AI Laboratory for Ford Aerospace where he developed expert scheduling modeling and knowledge acquisition systems for NASA. Since joining Unisys in 1985 he has led the development of object-oriented programming environments blackboard architectures data fusion techniques using neural networks and intelligent data base systems. Douglas E. Barton:is manager of Logistics Information Systems for Unisys in Reston Virginia. He earned his B.A. degree in computer science from the College of William and Mary in 1978 and did postgraduate work in London as a Drapers Company scholar. Since joining Unisys in 1981 his work has concentrated on program management and software engineering of large scale data base management systems and design and implementation of knowledge-based systems in planning and logistics. As chairman of the Logistics Data Subcommittee of the National Security Industrial Association (NSIA) he led an industry initiative which examined concepts in knowledge-based systems in military logistics. His responsibilities also include evaluation development and tailoring of software engineering standards and procedures for data base and knowledge-based systems. He is currently program manager of the Navigation Information Management System which provides support to the Fleet Ballistic Missile Progr

A valuable technique during concept development is rapid prototyping of software for key design components. This approach is particularly useful when the optimum design approach is not readily apparent or several known alternatives need to be rapidly evaluated. A problem inherent in rapid prototyping is the lack of a "target system" with which to interface. Some alternatives are to develop test driver libraries, integrate the prototype with an existing working simulator, or build one for the specific problem. This paper presents a unique approach to concept development using rapid prototyping for concept development and scenario-based simulation for concept verification. The rapid prototyping environment, derived from artificial intelligence technology, is based on a blackboard architecture. The rapid prototype simulation capability is provided through an object-oriented modeling environment. It is shown how both simulation and blackboard technologies are used collectively to rapidly gain insight into a tenacious problem. A specific example will be discussed where this approach was used to evolve the logic of a mission controller for an autonomous underwater vehicle.

关键词： Military Engineering

来源：评论

学校读者我要写书评

暂无评论

DPRL: a language for representation of operation and safety maintenance procedures of nuclear power plants 90

DPRL: a language for representation of operation and safety ...

引用

Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2

作者： Rajiv Bhatnagar D. W. Miller B. K. Hajek B. Chandrasekaran Center for Space Research Massachusetts Institute of Technology Cambridge MA Nuclear Engineering Program The Ohio State University Columbus Ohio Department of Computer and Information Science The Ohio State University Columbus Ohio

来源：评论

学校读者我要写书评

暂无评论

Nick Experimentation: Selected Results Concerning Effectiveness of Meeting Support technology

引用

Journal of Management information Systems 1989年第3期6卷 7-24页

作者： Ellis, Clarence A. Rein, Gail L. Jarvenpaa, Sirkka L. Senior member of the technical staff Software Technology Program Microelectronics and Computer Technology Corporation (MCC) Adjunct professor University of Texas Member National Science Foundation Chairman ACM Special Interest Group on Office Information Systems Member of the technical staff Software Technology Program Microelectronics and Computer Technology Corporation (MCC) Assistant Professor Department of Management Science and Information Systems College of Business University of Texas

The Nick Summer Experiment was an empirical study undertaken to explore and increase the understanding of the use of prototype meeting support technology by software design teams working on high-level design problems. Three teams of designers (seven MCC researchers per team) were observed and videotaped while participating in 27 one-hour, face-to-face design meetings in both the electronic meeting room and in a conventional meeting room. The Nick support technologies explicitly aided the affective social meeting structures, as well as the rational task-oriented processes. Analysis of the experimental data revealed some gains in meeting effectiveness and quality from use of the Nick meeting support technologies. The 'subchannel' (messaging facility on the electronic workstations) emerged as a potentially effective way for participants to attain more equality and to influence the direction of the meetings. The electronic blackboard helped to increase group focus and attention on completing the task. [ABSTRACT FROM AUTHOR]

关键词： decision rooms electronic blackboard Electronic meetings electronic messaging

来源：评论

学校读者我要写书评

暂无评论

Nick experimentation: some selected results (meeting support)

Nick experimentation: some selected results (meeting support...

引用

Annual Hawaii International Conference on System sciences (HICSS)

作者： C.A. Ellis G.L. Rein S.L. Jarvenpaa Microelectronics and Computer Technology Corporation Software Technology Program Austin TX USA Department of Management Science and Information Systems College of Business University of Texas Austin Austin TX USA

The Nick Summer Experiment was an empirical study undertaken to explore and increase the understanding of the use of prototype meeting support technology by software design teams working on high-level design problems. Three teams of seven designers each were observed and videotaped while participating in 27 1-h, face-to-face design meetings in both the electronic meeting room and in a conventional meeting room. The Nick support technologies explicitly aided the affective social meeting structures as well as the rational task-oriented processes. The analysis of the experimental data revealed some gains in meeting effectiveness and quality from use of the Nick meeting support technologies. The subchannel (messaging facility on the electronic workstations) emerged as a potentially effective way for participants to attain more equality and to influence the direction of the meetings. The electronic blackboard helped to increase group focus and attention on completing the task.< >

关键词： Workstations Microelectronics Software design Team working Drives Software prototyping Environmental management information management technology management Management information systems

来源：评论

学校读者我要写书评

暂无评论

computer AIDS FOR SHIP DESIGN, INTEGRATION AND CONTROL

引用

NAVAL ENGINEERS JOURNAL 1980年第2期92卷 73-87页

作者： CARLSON, CM JOHNSON, RA HELMING, FW Mr. Craig M. Carlson received his B.S. degree in Naval Architecture and Marine Engineering from the University of Michigan in 1970 and began his career with the Department of the Navy at the Naval Ship Engineering Center (NAVSEC). In 1972. he returned to the University of Michigan under the NAVSEC Long Term Training Program and received his M.S. degree in Naval Architecture and Marine Engineering. After returning to the Ship Arrangements Branch at NAVSEC. he was assigned as Task Leader for General Arrangements for the PGG PCG PHM. and MCM ship designs and was awarded Outstanding Performance Awards in 1974 and 1975. In addition he was Manager of the Arrangement Subsystem of the Navy's Computer-Aided Ship Design and Construction Program (CASDAC). In October 1979. he became Manager of the CASDAC Hull Design System. Currently. he also is enrolled in the M.S. of Computer Science Program at Johns Hopkins University. Mr. Carlson previously has presented technical papers at ASNE Day 1974 and 1978 as well as at the 1979 DOD Manufacturing Technology Advisory Group Conference. Besides ASNE. which he joined in 1972. he is a member of SNAME. ASE. and the U.S. Naval Institute. Mr. Robert A. Johnson is a Naval Architect in Surface Combatants Design (SEA 03D3). Ship Design Integration Directorate Naval Sea Systems Command. He received an Associate in Engineering degree in Drafting and Design Technology in 1959. his B.S. degree in Aerospace Engineering in 1965. and his M.S. degree in Engineering Mechanics in 1970. all from the Pennsylvania State University. In 1973. he was selected for the NA VSEC Hull Division s Long Term Training Program at the University of Michigan subsequently receiving his M.S.E. degree in Naval Architecture in 1974. Mr. Johnson began his career with the Ordnance Research Laboratory at Pennsylvania State University in 1959 where he worked. on the design of hydroelastic submarine models and conducted research in the area of flow induced structural vibrations. In 1967 he joined HRB-Singer at State Colle

This paper presents an integrated approach to computer-Aided Ship Design for U.S. Navy preliminary and contract design. An integrated Hull Design System (HDS), currently under development by the Hull Group of the Naval Sea Systems Command (NAVSEA 32). is the vehicle for the discussion. This paper is directed toward practicing ship design professionals and the managers of the ship design process. Primary emphasis of this paper, and of the development effort currently under way, is on aiding ship design professionals in their work. Focus is on integration and management control of the extremely complex set of processes which make up naval ship design. The terminology of the Ship Designer and Design Manager is used. The reader needs no familiarity with the technologies of computer science.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Abstracts

引用

Environmental Management 1977年第1期1卷 67-96页

作者： Frankenfeld, John W. Schulz, Wolfgang McMurty, George J. Petersen, Gary W. May, G. A. Hering, F. S. Schwartz, J. I. Heywood, J. B. Chigier, N. A. Grohse, E. W. Walker, J. D. Colwell, R. R. Petrakis, L. Pergament, H. S. Thorpe, R. D. Schoepf, Richard W. Krzyczkowski, Roman Henneman, Suzanne S. Hudson, Charles L. Putnam, Evelyn S. Thiesen, Donna J. Parks, G. A. McCarty, Perry L. Leckie, J. O. Schrumpf, Barry J. Simonson, G. H. Paine, D. P. Lawrence, R. D. Pyott, W. T. Leh, M. Elders, W. Combs, J. Caplen, T. Harrison, F. L. Wong, K. M. Heft., R. E. Charnell, Robert L. Lehmann, Edward J. Mallon, Lawrence G. Hatfield, Cecile Adams, Gerald H. Johanning, James Talvitie, Antti Noll, Kenneth E. Miller, Terry Smiarowski, Joseph F. Willis, Cleve E. Foster, John H. Schlesinger, Benjamin Daetz, Douglas Lear, Donald U. Smith, Mona F. Hundemann, Audrey S. Crockett, Pernell W. Werner, Kirk G. Carroll, Thomas E. Maase, David L. Genco, Joseph E. Ifeadi, Christopher N. Lowman, F. G. Christensen, S. W. Van Winkle, W. Mattice, J. S. Harrison, Elizabeth A. Barker, James C. Chesness, Jerry L. Smith, Ralph E. Shaheeen, Donald G. Raney, R. Keith Borton, T. Wezernak, C. T. Raney, R. K. Sherwani, Jabbor K. Moreau, David H. Eisenberg, Norman A. Lynch, Cornelius J. Breeding, Roger J. Johnson, J. D. Foster, K. E. Mouat, D. A. Clark, R. Hyden, John William Owen, Wilfred Bayfield, Neil G. Barrow, Graham C. Stolz, Stephanie B. Wienckowski, Louis A. Brown, Betram S. Keyfitz, Nathan Wilson, W. L. Newman, Peter W. G. Bammi, Deepak Bammi, Dalip Goddard, James E. Chisholm, Tony Walsh, Cliff Brennan, Geoffrey Thompson, K. S. Richardson, R. Jensen, Clayton E. Brown, Dail W. Mirabito, John A. Cowing, Thomas G. Binghamton, Suny Siehl, George H. Albrecht, O. W. Alexander, Ariel Barde, Jean -Philippe Darby, William P. McMichael, Francis Clay Dunlap, Robert W. Muckleston, Keith W. Frankenhoff, Charles A. Giulini, Lorenzo T. Wyatt, T. Black, Peter E. Keating, William Thomas Leonard, M. E. Fisher, E. L. Brunelle, M. F. Dickinson, J. E. Pethig, Rudiger Clapham Exxon Research & Engineering Co. Linden Government Research Lab Coast Guard Washington D.C. Department of Transportation Washington D.C. Office For Remote Sensing of Earth Resources. NASA Earth Resources Survey Program Pennsylvania State University Washington D.C. Department of the Navy Washington D.C. Cambridge. Dept. of Mechanical Engineering Massachusetts Inst. of Technology USA Huntsville. School of Graduate Studies and Research Alabama Univ. USA Dept. of Microbiology. Office of Naval Research Maryland Univ. Arlington Research and Development Co. Pittsburgh AeroChem Research Labs. Inc. Princeton Dept. of the Interior Office of Library Services. Bibliographic Series (Final) Washington D.C. Interplan Corp. Santa Barbara Urban Mass Transportation Adm. Washington D.C. Naval Underwater Systems Center Newport Calif. Mercury Project. National Science Found Stanford Univ Washington D.C. Div. of Advanced Environmental Research & Tech. USA Corvallis. NASA Earth Resources Survey Program Oregon State Univ. Washington D.C. Riverside. Inst. of Geophysics and Planetary Physics National Science Foundation California Univ. Washington D.C. Livermore Lawrence Livermore Lab. California Univ. USA Atlantic Oceanographic and Meteorological Labs. National Oceanic and Atmospheric Administration Miami National Technical Information Service Springfield Miami Univ. Coral Gables School of Law National Oceanic and Atmospheric Administration Rockville National Academy of Sciences Office of Sea Grant Washington D. C. School of Law National Oceanic and Atmospheric Administration Office of Sea Grant. Rockville Norman. Dept. of Civil Engineering and Environmental Science. Urban Mass Transportation Administration Oklahoma Univ. Washington D. C. Knoxville.Dept. of Civil Engineering. Federal Highway Administration Tennessee Univ. Washington D. C. Amherst.Water Resources Research Center. Office of Water Research and Technology Massachusetts Univ. Washington D. C. Calif. Dept. of Industria

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：