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

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

来源：评论

学校读者我要写书评

暂无评论

A comparison between H-infinity/Mu-synthesis control and sliding-mode control for robust control of a small autonomous underwater vehicle

A comparison between H-infinity/Mu-synthesis control and sli...

引用

Symposium on Autonomous Underwater Vehicle technology (AUV)

作者： C.L. Logan Department of Electrical Engineering and Computer Science MIT Sea Grant College Program Massachusetts Institute of Technology Cambridge MA

This paper presents a comparison of H/sub /spl infin////spl mu/-synthesis sliding-mode that was done for heading and depth control of the Draper Laboratory/MIT Sea Grant Sea Squirt autonomous underwater vehicle (AUV). The approximate decoupling of the AUV heading and depth dynamics allowed us to have decoupled heading and depth designs for both the H/sub /spl infin////spl mu/-synthesis and the sliding-mode methodologies. The H/sub /spl infin////spl mu/-synthesis based controllers and the sliding-mode based controllers were implemented and tested by using a simulation of the AUV full order nonlinear model (including thruster and sensor dynamics). We analyzed the performance of the controllers (for a simultaneous depth and maneuver) over the approximate range of axial velocities commanded by the AUV. The performance of the controllers in the face of additive sensor noise was also analyzed.

关键词： Sliding mode control H infinity control Robust control Underwater vehicles Control systems Remotely operated vehicles Vehicle dynamics Sensor systems Open loop systems Testing

来源：评论

学校读者我要写书评

暂无评论

PERFORMANCE OF A PRIORITIZED ON-BOARD BASEBAND SWITCH FOR A MULTISERVICE MULTIBEAM SATELLITE

引用

INTERNATIONAL JOURNAL OF SATELLITE COMMUNICATIONS 1994年第3期12卷 283-297页

作者： BOHM, S ELHAKEEM, AK HACHICHA, M Department of Electrical and Computer Engineering Concordia University 1455 De Maisonneuve Blvd. West Montreal H3A 1M8 Canada Was born in Montreal Canada on 14 September 1966. He received the B. Eng. degree in electrical engineering from Concordia University Montreal Canada in 1989. He is at present completing the M.A.Sc. degree in electrical engineering at Concordia University. (S'75–S'79–M'79–SM'86) received the Ph.D. degree from Southern Methodist University Dallas TX in 1979. He spent the next two years working as a Visiting Professor in Egypt after which he moved to Ottawa Canada in 1982. He assumed teaching and research positions in Carleton and Manitoba Univerities and later moved to Concordia University Montreal Canada in 1983 where he is now a Professor in the Electrical and Computer Engineering Department. He has published numerous papers in IEEE and international journals in the areas of spread spectrum and networking. He is a well-known expert in these areas and serves as a consultant to many companies. His current research interests include wide-band metropolitan networks switching architectures and performance of on-board multibeam satellites acquisitionless CDMA networks code distribution and orthogonalization of CDMA signals responsive congestion control for ATM-based networks ARQ techniques and investigation of the novel SUGAR CDMA systems in fading channels. Dr. Elhakeem is a Senior Member of the Canadian Electrical Engineering Society and Armed Forces Association. He has chaired numerous technical sessions in IEEE Conferences was the Technical Program Chairman for IEEE Montech 1986 Montreal Canada. Dr. Elhakeem is the key guest editor of theIEEE Journal of Selected Areas in Communicationsfor the May June issues 1993 covering CDMA networks. Advanced Technology & Networks VISTAR Telecommunications Inc. Ottawa Ontario K1G 3J4 Canada An Associate Director of Advanced Technology & Networks Group VISTAR Telecommunications Inc. Ottawa Canada. He is also an Adjunct Pr

In this paper, we study the performance of a prioritized on-board baseband switch in conjunction with a multibeam satellite handling integrated services. The services considered for the analysis include voice, video, file transfer and interactive data. The prioritized switch uses both input and output buffering, switch speed-up as well as a two-phase head-of-line resolution algorithm, in order to reduce the buffer loss while maintaining acceptable user delays. The minimum required buffer capacity and switch speed-up for each service in a prioritized environment are found under uniform traffic conditions. It is shown that under uniform traffic conditions, only minimal buffering and switch speed-up are needed even for the lowest priority users. The performance dependence on the switch size is also substantially reduced with head of line resolution and buffering even in a prioritized environment.

关键词： SWITCH ON-BOARD BASEBAND MULTIBEAM PRIORITIZED HEAD-OF-LINE UNIFORM LOAD SPEED-UP

来源：评论

学校读者我要写书评

暂无评论

Parallel dynamic st-numbering and applications 7

Parallel dynamic st-numbering and applications

引用

7th International Parallel Processing Symposium, IPPS 1993

作者： Dekel, E. Hu, J. IBM Israel Science and Technology Haifa32000 Israel Computer Science Program University of Texas at Dallas RichardsonTX75083 United States

ISBN: (纸本)0818634421

Given an arbitrary st-numbering of a biconnected graph of n vertices and m edges, parallel algorithms for dynamically finding another st-numbering of any specified pair of vertices on EREW P-RAM are presented. The algorithms run in O(log n) time using m/logn processors on EREW P-RAM. The dynamic st-numbering is applied to some network problems such as bipartition, centroid trees and centered trees construction. © 1993 IEEE.

关键词： Forestry

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Parallel dynamic st-numbering and applications

Parallel dynamic st-numbering and applications

引用

International Symposium on Parallel Processing

作者： E. Dekel J. Hu Science & Technology IBM Israel Haifa Israel Computer Science Program University of Texas Dallas Richardson TX USA

关键词： Concurrent computing Parallel algorithms Tree graphs Heuristic algorithms Processor scheduling Dynamic scheduling Routing IEL computer science Partitioning algorithms

来源：评论

学校读者我要写书评

暂无评论

Creating an environment for the success of women students in undergraduate, co-ed computer science programs (abstract) 93

Creating an environment for the success of women students in...

引用

Proceedings of the twenty-fourth SIGCSE technical symposium on computer science education

作者： Susan Marie Harrington Charles Kelemen Rachelle Heller Sandoval Melim Ellen Spertus Dept of Mathematical Sciences Columbia Union College Tacoma park MD Computer Science Program Swarthmore College Swarthmore PA George Washington University Columbia Union College Massachusetts Institute of Technology

No abstract available.

ISBN: (纸本)9780897915656

No abstract available.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Interactive tools for signal processing education. The signal processing instructional facility (SPIF lab) at Washington State University

引用

computer Applications in Engineering Education 1993年第6期1卷 517-517页

作者： Bamberger, R.H. Signal Processing Instructional Facility School of Electrical Engineering and Computer Science Washington State University Pullman WA 99164-2752 Dr. Roberto H. Bamberger:was born on January 30 1965 in Buenos Aires Argentina. He received his B.E.E and PhD from the Georgia Institute of Technology in 1986 and 1990 respectively. Currently Dr. Bamberger is an assistant professor in the School of Electrical Engineering and Computer Science at Washington State University. Dr. Bamberger's research program is focused on the design implementation and application of multidimensional multirate filter banks subband image and video compression analysis of nonstationary data and application of digital signal processing techniques in the design of analog and mixed-mode integrated circuits. Dr. Bamberger is the founder and director of the Signal Processing Instructional Facility (SPIF Lab) at Washington State University. The SPIF Lab features interactive multimedia-based tools for teaching concepts related to linear systems theory. Dr. Bamberger is active in developing multimedia-based instructional laboratories for a variety of other topics as well. In addition to his teaching and research programs Dr. Bamberger is an associate editor for theIEEE Transactions on Signal Processingand a member of the editorial board forComputer Applications in Engineering Education. Dr. Bamberger is also advisor to the WSU Student Branch of the IEEE and assistant director of the WSU Cougar Marching Band. Dr. Bamberger is a member of Phi Eta Sigma Eta Kappa Nu Tau Beta Pi and Kappa Kappa Psi.

The Signal Processing Instructional Facility (SPIF Lab) is an experiment in using in interactive multimedia for teaching concepts related to linear systems theory and signal processing. The goals of the SPIF lab are to augment, enhance, and interconnect sophomore, junior, and senior level courses with the common thread of linear systems and transforms by unifying the experimentation medium. In this fashion, physical phenomenon is returned to the forefront of engineering education. The laboratory features powerful Mathematica Notebooks (a form of hypertext) and interactive applications that use dedicated DSP microprocessors.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A software authentication system for information integrity

引用

computers and Security 1992年第8期11卷 747-752页

作者： Harn, Lein Lin, Hung-Yu Yang, Shoubao Computer Science Telecommunications Program University of Missouri-Kansas City Kansas City MO 64110 United States University of Science and Technology of China China

This paper describes a software authentication technique based on the public key cryptography for information integrity. The software provider can use a secret key to sign any released program and the user can verify the integrity of programs obtained from vendors or a "trusted information database". The software provider needs to go through a registration process to become "licensed" and obtains certificates from multiple certificate centers before being able to sign any released program. Users need only one public key to verify the integrity of the programs. © 1992.

关键词： Authenticaion Cryptography Information protection Integrity RSA digital signature

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：