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

Minds and Machines 1995年第1期5卷 109-155页

作者： Weiss, Eric A. Leiber, Justin Duchan, Judith Felson Selfridge, Mallory Dietrich, Eric Facione, Peter A. Day, Timothy Joseph Lammens, Johan M. Feenberg, Andrew Johnson, Deborah G. Levine, Daniel S. Warfield, Ted A. Annals of the History of Computing Kailua U.S.A. Department of Philosophy University of Houston Houston U.S.A. Department of Communicative Disorders and Sciences and Center for Cognitive Science State University of New York at Buffalo Buffalo USA Department of Computer Science and Engineering The University of Connecticut Storrs U.S.A. Program in Philosophy Computers and Systems Science Department of Philosophy State University of New York at Binghamton Binghamton USA College of Arts and Sciences Santa Clara University Santa Clara U.S.A. Department of Philosophy University of Alabama at Birmingham Birmingham U.S.A. Scuola Superiore S. Anna ARTS Lab Pisa Italy Department of Philosophy San Diego State University San Diego U.S.A. Department of Science and Technology Studies Rensselaer Polytechnic Institute Troy U.S.A. Department of Mathematics University of Texas at Arlington Arlington U.S.A. Department of Philosophy Rutgers The State University of New Jersey New Brunswick U.S.A.

来源：评论

学校读者我要写书评

暂无评论

PARALLEL AND DISTRIBUTED TLM COMPUTATION WITH SIGNAL-PROCESSING FOR ELECTROMAGNETIC-FIELD MODELING

引用

INTERNATIONAL JOURNAL OF NUMERICAL MODELLING-ELECTRONIC NETWORKS DEVICES AND FIELDS 1995年第3-4期8卷 169-185页

作者： SO, PPM ESWARAPPA, C HOEFER, WJR NSERC/MPR Teltech Research Chair in RF Engineering Department of Electrical and Computer Engineering University of Victoria Victoria British Columbia V8W 3P6 Canada Poman So received his B.Sc. degree in computer science and physics from the University of Toronto Toronto Onatario Canada in 1985. He obtained his B.A. Sc. and M.A.Sc. degrees in electrical engineering (summa cum laude) from the University of Ottawa Ottawa Ontario Canada in 1987 and 1989 respectively. Mr So was a research engineer in the University of Ottawa from January 1989 to October 1991 his research interests included CAD techniques of microwave circuits and numerical methods for electromagnetic wave modelling. He specialized in the development of electromagnetic engineering CAD software and successfully implemented a number of electromagnetic wave simulators based on the two-dimensional and three-dimensional transmission-line matrix methods. From August 1990 to February 1991 he accompanied Professor W. J. R. Hoefer to Rome Italy and Sophia Antiopolas France. During that time he implemented a parallel version of the 3D-TLM simulator for the CM-2 Connection Machine using C-Star and X Windows Library. He is a research engineer and a Ph.D. student at the University of Victoria Victoria British Columbia Canada. He ported the 2D- and 3D-TLM simulators to DECmpp 1200 massively parallel computer using MPL C and C++. He also combined OSA90/hope a commercially available microwave CAD program with a 2D-TLM simulation module for geometry optimization using the Datapipe technique of OSA90/hope. Recently he has developed a distributed client-server computing technique for the TLM method this technique could accelerate the TLM simulation by more than an order of magnitude. Channabasappa Eswarappa received the M.Tech. degree in electrical engineering from the Indian Institute of Technology Kanpur India in 1983 and Ph. D. degree from the University of Ottawa Canada in 1990. He worked as an Assistant Executive Engineer and later as

This paper describes the implementation of transmission-line matrix (TLM) method algorithms on a massively parallel computer (DECmpp 12000), the technique of distributed computing in the UNIX environment, and the combination of TLM analysis with Prony's method as well as with autoregressive moving average (ARMA) digital signal processing for electromagnetic field modelling. By combining these advanced computation techniques, typical electromagnetic field modelling of microwave structures by TLM analysis can be accelerated by a few orders of magnitude.

关键词： Mathematical models

来源：评论

学校读者我要写书评

暂无评论

On the use of registers in achieving wait-free consensus 94

On the use of registers in achieving wait-free consensus

引用

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

FULL-WAVE SOLUTION OF DIELECTRIC LOADED WAVE-GUIDES AND SHIELDED MICROSTRIPS UTILIZING FINITE-DIFFERENCE AND THE CONJUGATE-GRADIENT METHOD

引用

INTERNATIONAL JOURNAL OF MICROWAVE AND MILLIMETER-WAVE computer-AIDED ENGINEERING 1991年第4期1卷 346-357页

作者： NARAYANAN, V MANELA, M LADE, RK SARKAR, TK Department of Electrical and Computer Engineering Syracuse University Syracuse New York 13244-1240 Viswanathan Narayanan was born in Bangalore India on December 14 1965. He received the BE degree in Electronics and Communications from B.M.S. College of Engineering Bangalore in 1988. He joined the Department of Electrical Engineering at Syracuse University for his graduate studies in 1989 where he is currently a research assistant. His research interests are in microwave measurements numerical electromagnetics and signal processing. Biographies and photos are not available for M. Manela and R. K. Lade. Tapan K. Sarkar (Sf69-M'76-SM'X1) was born in Calcutta. India on August 2 1948. He received the BTech degree from the Indian Institute of Technology Kharagpur India in 1969 the MScE degree from the University of New Brunswick Fredericton Canada in 1971. and the MS and PhD degrees from Syracuse University. Syracuse NY in 1975. From 1975-1976 he was with the TACO Division of the General Instruments Corporation. He was with the Rochester Institute of Technology (Rochester NY) from 1976-1985. He was a Research Fellow at the Gordon Mckay Laboratory Harvard University Cambridge MA from 1977 to 1978. He is now a Professor in the Department of Electrical and Computer Engineering Syracuse University. His current research interests deal with numerical solutions of operator equations arising in electromagnetics and signal processing with application to system design. He obtained one of the “ best solution” awards in May 1977 at the Rome Air Development Center (RADC) Spectral Estimation Workshop. He has authored or coauthored more than 154 journal articles and conference papers and has written chapters in eight books. Dr. Sarkar is a registered professional engineer in the state of New York. He received the Best Paper Award of the IEEE Transactions on Electromagnetic Compatibility in 1979. He was an Associate Editor for feature articles of the lEEE Antennas arid Propagation Sociefy Newsletter and was

Dynamic analysis of waveguide structures containing dielectric and metal strips is presented. The analysis utilizes a finite difference frequency domain procedure to reduce the problem to a symmetric matrix eigenvalue problem. Since the matrix is also sparse, the eigenvalue problem can be solved quickly and efficiently using the conjugate gradient method resulting in considerable savings in computer storage and time. Comparison is made with the analytical solution for the loaded dielectric waveguide case. For the microstrip case, we get both waveguide modes and quasi-TEM modes. The quasi-TEM modes in the limit of zero frequency are checked with the static analysis which also uses finite difference. Some of the quasi-TEM modes are spurious. This article describes their origin and discusses how to eliminate them. Numerical results are presented to illustrate the principles.

关键词： Waveguides

来源：评论

学校读者我要写书评

暂无评论

Evaluation of classes of definite integrals involving elementary functions via differentiation of special functions

引用

Applicable Algebra in Engineering, Communication and computing 1990年第2期1卷 149-165页

作者： Geddes, K.O. Glasser, M.L. Moore, R.A. Scott, T.C. Department of Computer Science University of Waterloo Waterloo N2L 3G1 Ontario Canada Department of Physics and Department of Mathematics and Computer Science Clarkson University Potsdam 13676 New York United States Guelph-Waterloo Program for Graduate Work in Physics Waterloo Campus United States the Institute for Theoretical Atomic and Molecular Physics at the Harvard-Smithsonian Center for Astrophysics Cambridge 02138 MA 60 Garden Street United States

Herein, it is shown that by exploiting integral definitions of well known special functions, through generalizations and differentiations, broad classes of definite integrals can be solved in closed form or in terms of special functions. This is especially useful when there is no closed form solution to the indefinite form of the integral. In this paper, three such classes of definite integrals are presented. Two of these classes incorporate and supercede all of Kölbig's integration formulae [11], including his formulation for the computation of Cauchy principal values. Also presented are the mathematical derivations that support the implementation of a third class which exploits the incomplete Gamma function. The resulting programs, based on pattern matching, differentiation, and occasionally limits, are very efficient. © 1990 Springer-Verlag.

关键词： Integration MAPLE Special Functions Symbolic Computation

来源：评论

学校读者我要写书评

暂无评论

computer-AIDED-DESIGN METHODS FOR PROPELLER FILLET GAUGES

引用

NAVAL ENGINEERS JOURNAL 1990年第3期102卷 202-208页

作者： ALLEN, DW VINOSKI, WS OVERTON, BA David W. Allen:is a senior computer scientist at the Machinery Technology Division Westinghouse Electric Corporation Large Pa. He received the B.A. degree in mathematics from Grinnell College and the M.S. degree in computer science from the University of Pittsburgh. His career with Westinghouse has been divided between assignments in engineering and computer applications. Mr. Allen has published eight technical papers. He received the George Westinghouse Signature A ward of Excellence for his work on the development of the GAGES computer program for designing propeller gages. He is a member of the Association for Computing Machinery (ACM) and the Institute of Electrical and Electronics Engineers (IEEE). Walter S. Vinoski:is a project engineer at the Machinery Technology Division Westinghouse Electric Corporation Large Pa. and was instrumental in the development of the GAGES computer program. He was awarded the George Westinghouse Signature Award of Excellence for his work on the GAGES program. Mr. Vinoski has six years of marine propulsion system experience specifically with propellers. He earned a B.S. degree in electronics engineering and minored in mathematics at the Ohio Institute of Technology. He is a member of the American Society of Naval Engineers. Bernard A. Overton:graduated from North Carolina Agricultural and Technical State University Greensboro N.C. in 1958 with a B.S. degree in mechanical engineering. Within two years of joining the U.S. Army Mr. Overton was honorably discharged as a first lieutenant. Mr. Overton worked seven years at Philadelphia Naval Shipyard in the following areas: shafting shafting alignment bearing reactions noise and vibration surveys propellers and propeller blade gage designs. In 1967 Mr. Overton transferred to the Navy Engineering Center. He has worked on main propulsion devices such as water jets propellers (both submarine and surface ship) and propeller blade gages. Mr. Overton was responsible for the establishment of the Naval Inspectors Propeller Certif

One of the most complicated forms encountered in engineering design is that of the marine propeller. The complexities arise from the complicated hydrodynamic surfaces of the propeller blades and the complicated manner in which the blades are oriented with and attached to the hub. Where propeller blades are attached to the hub, the blade shape is blended into the shape of the hub. The geometry of this region is particularly complicated. The shape of the blend is called a fillet, and the blending region is called the fillet region. Sheet metal gages conforming to various blade surface contours are used in the manufacture and inspection of propellers. Five different types of gages define the shape of the propeller in different regions. Fillet gages are such gages that define the shape of propeller blades in the fillet region. This paper describes a new computer-aided method for designing fillet gages. Previous methods of fillet gage design required the designer to follow a complicated layout procedure of determining where a particular unfilleted blade contour intersected the hub. The design of the fillet was then done in another layout procedure. Newly developed numerical procedures incorporated in a computer program have reduced the time required to design a complete set of gages (including fillet gages) from up to several weeks to hours.

关键词： Propellers

来源：评论

学校读者我要写书评

暂无评论

Note on development of modularity in simple cortical models 89

Note on development of modularity in simple cortical models

引用

Proceedings of the 2nd International Conference on Neural Information Processing Systems

作者： Alex Chernjavsky John Moody Molecular and Cellular Physiology Beckman Center Stanford University Stanford CA and Neuroscience Graduate Program Section of Molecular Neurobiology Howard Hughes Medical Institute Yale University Yale Computer Science New Haven CT

The existence of modularity in the organization of nervous systems (e.g. cortical columns and olfactory glomeruli) is well known. We show that localized activity patterns in a layer of cells, collective excitations, can induce the formation of modular structures in the anatomical connections via a Hebbian learning mechanism. The networks are spatially homogeneous before learning, but the spontaneous emergence of localized collective excitations and subsequently modularity in the connection patterns breaks translational symmetry. This spontaneous symmetry breaking phenomenon is similar to those which drive pattern formation in reaction-diffusion systems. We have identified requirements on the patterns of lateral connections and on the gains of internal units which are essential for the development of modularity. These essential requirements will most likely remain operative when more complicated (and biologically realistic) models are considered.

关键词：

来源：评论

学校读者我要写书评

暂无评论

GENERAL ARRANGEMENT DESIGN computer-SYSTEM AND METHODOLOGY .1. GENERAL ARRANGEMENT DESIGN SYSTEM

引用

NAVAL ENGINEERS JOURNAL 1987年第3期99卷 261-273页

作者： CARLSON, CM FIREMAN, H Craig M. Carlson:is a general engineer in the Computer Aided Engineering Division (SEA-507). He received his B.S. degree in naval architecture from the University of Michigan in 1970. In 1972 he was selected for the NAVSEC Hull Division's Long Term Training Program at the University of Michigan and received his M. S. E. degree in naval architecture in 1973. Additionally he has done graduate work in computer science at The Johns Hopkins University. Mr. Carlson began his career with the Naval Ship Engineering Center in 1970 where he worked in the Ship Arrangements Branch. While in ship arrangements he was task leader for the PGG PCG PHM and MCM ship designs. In addition he was project engineer for shipboard stowage ship space classification system and ship standard nomenclature. He was technical manager of the CASDAC arrangement subsystem and the CASDAC hull design system. In 1982 he joined what is now the Computer Aided Engineering Division. Currently he is the manager for the computer supported design version XX system. Besides ASNE which he joined in 1972 he is a member of SNA ME and the U.S. Naval Institute. Howard Fireman:is a naval architect in the Ship Arrangements Design Division (SEA-55W1). He received his B. S. E. degree in naval architecture from the University of Michigan in 1979. In 1983 he was selected for NavSea's Long Term Training Program at the University of Michigan and received his M. S. E. degree in naval architecture with a specialization in ship production and computer aided ship design in 1985. Mr. Fireman began his career with the Naval Ship Engineering Center in 1977 as an engineering cooperative student. Since graduating from the NavSea EIT program he has worked in the Ship Arrangements Design Division. He was task leader for the AOE-6 AE-36 T-AH ARS-SO and SWATH T-AGOS ship designs. He is technical manager of the CSD General Arrangement Design System and is currently the Hull Group CSD coordinator. Besides ASNE which he joined in 1979 he is a member of SNA ME ASE a

The ever increasing complexity of ships coupled with cost, schedule, and resource constraints require innovative methods by the Naval Sea Systems Command's ship design community to meet this challenge. This paper describes the effort by the NavSea Ship Arrangement Design Division to dramatically improve its ship design capability by the use of a system of computer-based design tools called the General Arrangement Design System. The General Arrangement Design System (GADS) is based on the engineering requirements of the ship arrangement design process. GADS is currently being used as a production engineering tool. This paper is organized into two parts. Part I describes the General Arrangement Design System, and Part II describes the general arrangement design methodology.

关键词： NAVAL ARCHITECTURE

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：