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

Intelligent system for feature- based modelling of machine parts 5th

5th International Conference on Industrial and Engineering applications of Artificial Intelligence and Expert Systems, IEA/AIE 1992

作者： Lekova, Anna Batanov, Dentcho Nikolaev, Nikolay Department of Programming and Computer Applications Technical University Sofia1156 Bulgaria Artificial Intelligence Laboratory Department of Computer Science Technical University Sofia1156 Bulgaria

ISBN: (纸本)9783540556015

This paper proposes a new system for feature- based modelling- ISFBM with built in strategy for defining details by their features, realizing design process over the computational model of rule- based systems paradigm. The construction includes facts for describing the features and rules for modelling with them. The presented approach gives a flexible and convenient mechanism for modifying the model and semantic analysis of the received product. Specific characteristic is the tool for automatic generation of general features, based on the primitive ones, with which the domain of application is extended. © 1992, Springer Verlag. All rights reserved.

关键词： Knowledge based systems

来源：评论

学校读者我要写书评

暂无评论

Algebraic and geometric reasoning using Dixon resultants 94

Algebraic and geometric reasoning using Dixon resultants

引用

Proceedings of the 1994 International Symposium on Symbolic and Algebraic Computation

作者： Kapur, Deepak Saxena, Tushar Yang, Lu Institute for Programming and Logics Department of Computer Science State University of New York at Albany Albany NY Centre for Mathematical Sciences Chengdu Institute of Computer Applications Academia Sinica 610041 Chengdu China

ISBN: (纸本)9780897916387

Dixon's method for computing multivariate resultants by simultaneously eliminating many variables is reviewed. The method is found to be quite restrictive because often the Dixon matrix is singular, and the Dixon resultant vanished identically yielding no information about solutions for many algebraic and geometry problems. We extend Dixon's method for the case when the Dixon matrix is singular, but satisfies a condition. An efficient algorithm is developed based on the proposed extension for extracting conditions for the existence of affine solutions of a finite set of polynomials. Using this algorithm, numerous geometric and algebraic identities are derived for examples which appear intractable with other techniques of triangulation such as the successive resultant method, the Gro¨bner basis method, Macaulay resultants and Characteristic set method. Experimental results suggest that the resultant of a set of polynomials which are symmetric in the variables is relatively easier to compute using the extended Dixon's method.

关键词： Polynomials

来源：评论

学校读者我要写书评

暂无评论

High-Performance Reverse Time Migration on GPU

High-Performance Reverse Time Migration on GPU

引用

computer Science Society (SCCC) International Conference Chilean FLAGGED

作者： Javier Cabezas Mauricio Araya-Polo Isaac Gelado Nacho Navarro Enric Morancho José M. Cela Computer Sciences - Programming Models Barcelona Supercomputing Center (BSC) Barcelona Spain Computer Applications in Science and Engineering dept. Barcelona Supercomputing Center (BSC) Barcelona Spain Department of Computer Architecture Universitat Politècnica de Catalunya Spain Computer Applications in Science and Engineering Department Barcelona Supercomputing Center Barcelona Spain

Partial Differential Equations (PDE) are the heart of most simulations in many scientific fields, from Fluid Mechanics to Astrophysics. One the most popular mathematical schemes to solve a PDE is Finite Difference (FD). In this work we map a PDE-FD algorithm called Reverse Time Migration to a GPU using CUDA. This seismic imaging (Geophysics) algorithm is widely used in the oil industry. GPUs are natural contenders in the aftermath of the clock race, in particular for High-performance Computing (HPC). Due to GPU characteristics, the parallelism paradigm shifts from the classical threads plus SIMD to Single Program Multiple Data (SPMD). The NVIDIA GTX 280 implementation outperforms homogeneous CPUs up to 9x (Intel Harpertown E5420) and up to 14x (IBM PPC 970). These preliminary results confirm that GPUs are a real option for HPC, from performance to programmability.

关键词： Finite difference methods Geophysics computing computer architecture Parallel processing Graphics processing unit Clocks Hardware Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

A high—speed automatic spectrometer based on a solid—state non—collinear acousto-optic tunable filter

引用

Chinese Optics Letters 2003年第2期1卷 85-87页

作者：朱建华郑玉臣 Information Optics Institute Sichuan University Chengdu 610064 Department of Physics and Materials Science City University of Hong Kong Hong Kongn automatic visible spectrometer based on a non-collinear acousto-optic tunable filter (AOTF) is constructed for high-speed spectrometry. Its spectral filtering characteristics such as relationships between the radio-frequency (RF) driving frequency and the output central wavelength the output bandwidth and the central wavelength its typical spectral point spread function (PSF) and so on are studied systematically. The preliminary measurement results of AOTF spectrometer show that it is a solid-state high-speed easily controllable by computer-programming rugged and compact spectroscopic device in comparison with a conventional grating spectrometer and has the potential for widespread spectrometric applications.

An automatic visible spectrometer based on a non-collinear acousto-optic tunable filter (AOTF) is constructed for high-speed spectrometry. Its spectral filtering characteristics, such as relationships between the radio-frequency (RF) driving frequency and the output central wavelength, the output bandwidth and the central wavelength, its typical spectral point spread function (PSF), and so on, are studied systematically. The preliminary measurement results of AOTF spectrometer show that it is a solid-state, high-speed, easily controllable by computer-programming, rugged and compact spectroscopic device in comparison with a conventional grating spectrometer, and has the potential for widespread spectrometric applications.

关键词： AOTF state non collinear acousto-optic tunable filter speed automatic spectrometer based on a solid A high

来源：评论

学校读者我要写书评

暂无评论

CONCURRENT LARGE-SIGNAL SIMULATION OF AN ACTIVE MICROSTRIP ANTENNA

引用

INTERNATIONAL JOURNAL OF NUMERICAL MODELLING-ELECTRONIC NETWORKS DEVICES AND FIELDS 1995年第1期8卷 3-12页

作者： MCDOWALL, DS FUSCO, VF High Frequency Electronics Laboratory. Department of Electrical and Electronic Engineering The Queen's University of Belfast Ashby Building Stranmillis Road Belfast BT9 5AH U.K. D. Stewart McDowall was born in Dublin Republic of Ireland in 1967. He received the M. Eng. degree in Electrical and Electronic Engineering from the Queen's University of Belfast in 1990. In the same year he was presented with a Distinction Award from the Departmnet of Education of Northern Ireland and he is currently pursuing his Ph.D. in the Microwave Research Group at Q.U.B. His principal research area is the electromagnetic field mapping of microwave systems using concurrent programming. He is an Associate Member of the Institute of Electrical Engineers. Vincent F. Fusco was educated at the Queens's University of Belfast where he obtained the degree of Ph.D. in 1982. He has worked as a research engineer on short-range radar and radio telemetry systems. Currently he is a reader in Microwave Communications in the School of Electrical engineering and Computer Science the Queen's University of Belfast. His current research interests include non-linear microwave circuit simulatino and concurrent programming techniques for electromagnetic field problems with particular emphasis on EMC applications. He has published numerous research papers in these areas. He is the author of the bookMicrowave Circuits Analysis and Computer Aided Design Prentice-Hall 1987. Dr Fusco is a Chartered Electrical Engineer and a Member of the Institute of Electrical Engineers.

This paper details the use of a circuit-based EM modelling technique combined with a harmonic balance simulator used to model the radiation from the microstrip bodies comprising an active antenna circuit. The modelling approach adopted for the planar bodies in the circuit will be shown to allow the use of concurrent algorithms in order to reduce overall computational time.

关键词： Microstrip antennas

来源：评论

学校读者我要写书评

暂无评论

CONCURRENT BOUNDARY-ELEMENT COMPUTATION

引用

INTERNATIONAL JOURNAL OF NUMERICAL MODELLING-ELECTRONIC NETWORKS DEVICES AND FIELDS 1993年第2期6卷 83-98页

作者： MCDOWALL, DS LEE, TW FUSCO, VF Microwave Research Group Department of Electrical and Electronic Engineering The Queen's University of Belfast Ashby Building Stranmillis Road Belfast BT9 5AH Northern Ireland U.K. D. Stewart McDowall was born in Dublin epublic of Ireland in 1967. He received the M. Eng. degree in Electrical and Electronic Engineering from the Queen's University of Belfast in 1990. In the same year he was presented with a Distinction Award from the Department of Education of Northern Ireland and he is currently pursuing his Ph.D. in the Microwave Research Group at Q.U.B. His principal research area is the electromagnetic field mapping of microwave systems using concurrient programming. He is an Associate Member of the Institute of Electrical Engineers. Lee Thaim Wee was awarded the degree of B. Eng. in Electronics from the Queen's University of Belfast in July 1991. He is currently serving in the Malaysian Armed Forces. Vincent F. Fusco was educated at the Queen's Univeristy of Belfast where he obtained the degree of Ph.D. in 1982. He has worked as a research engineer on short-range radar and radio telementry systems. Currently he is a reader in Microwave Communications in the School of Electrical Engineering and Computer Science the Queen's Univeristy of Belfast. His current research interests include non-linear microwave circuit simulation and concurrent programming techniques for electromagnetic field problems with particular emphasis on EMC applications. He has published numerous research papers in these areas. He is the author of the bookMicrowave Circuits Analysis and Computer Aided Design Prentice-Hall 1987. Dr Fusco is a Chartered Electrical Engineer and a Member of the Institute of Electrical Engineers.

A major limitation of the boundary element method (BEM) for the solution of electrical potential problems is the long computational time required. However, a large portion of the calculations involved can be viewed as being parallel in nature and can therefore be computed concurrently. This paper makes an effort to increase the efficiency of the BEM process using transputer-based multiprocessor computing techniques. The algorithms developed may equally well be applied to any multiprocessor system. The application selected to demonstrate the technique is the solution of an electrostatic problem governed by a two-dimensional Laplace equation. A parallel algorithm for problem setup and field extraction using BEM is designed and implemented on a transputer array. Special attention is directed to the utilization of the parallel processors to achieve maximum efficiency. The analysis in this work concentrates on the communication strategies for passing data between processors as well as a consideration of the workload attributed to each processor. The parallel algorithms were implemented using 3L Parallel Fortran;however, the choice of topology for the overall BEM implementation was limited by the fact that certain parts of the algorithm could only utilize a pipeline configuration of processors. Comprehensive results for the parallel BEM algorithm are given and they are encouraging, indicating that parallel processing has much to offer when applied to the boundary element method.

关键词： Boundary element method

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

SHIPBOARD MAIN BOILER AND FEED PUMP CONTROL-SYSTEM ONLINE ALIGNMENT VERIFICATION

引用

NAVAL ENGINEERS JOURNAL 1982年第6期94卷 39-46页

作者： BANHAM, JW ADAM, DJ James W. Banham:holds positions both as Director of the Machinery Automation Systems Department of the Naval Ship Systems Engineering Station and as Assistant Chairman of the Mechanical and Industrial Engineering Department of Drexel University's Evening College where he holds the rank of Adjunct Associate Professor. He is the author of a text on Numerical Methods Applications in Engineering. In addition to numerous technical papers he is also the author of the ISA film on Boiler Feedwater Control Systems. A registered professional engineer in the state of Pennsylvania Mr. Banham is co-author of a forthcoming handbook on preparing for the Professional Engineering Examination in mechanical engineering. Mr. Banham holds a bachelor of science degree in mechanical engineering from the Pennsylvania State University his graduate studies were taken at the University of Pennsylvania. He is currently a member of the American Society for Engineering Education and the Instrument Society of America. He served as a member of the ISA Education Committee from 1964 through 1973 and as a member of the ISA Power Plant Dynamics Committee since 1969. His service on the latter committee includes terms as Executive Secretary Vice-Chairman and Chairman. Among other honors Mr. Banham was the winner of the Naval Ship Engineering Center's first Technical Achievement Award (1963) Technical Publication Award (1974) and Equal Employment Opportunity Award (1978). He was also the recipient of Drexel University's Laura S. Campbell Award for Excellence in Teaching (1978). He has taught undergraduate courses in classical control theory numerical methods computer programming systems design and analysis and instrumentation. He also teaches systems theory and computer science in an EIT Review and heat transfer in a PE Review conducted by the Drexel University Department of Continuing Professional Education. Mr. David J. Adam:is a Project Engineer in the Naval Sea Systems Command (PMS301) Steam Propulsion Plant Improvement Program where he i

One of the most serious problems encountered in Naval steam plants following World War II was the unreliable performance of boiler and main feedpump pneumatic control systems. In addition to control component and system design deficiencies, these control systems suffered from inadequate methods to measure and adjust system alignment. This paper describes the development of a set of procedures for on-line alignment verification (OLV) of pneumatic main boiler and feedpump control systems. The procedures are designed for use by N avy control system technicians and, in addition to on-line alignment verification, provide guidance for troubleshooting and for performing system alignment. Procedure static checks measure steady state steaming performance and OLV procedure dynamic checks measure the ability of the boiler and control systems to respond to load changes. The paper describes typical control system characteristics that influence OLV procedure content and the supporting analysis that was used to establish alignment criteria ranges that satisfy both steady state and transient performance requirements. Also described is the alignment criteria tolerance analysis along with the steps involved in a typical OLV check procedure development. Descriptions of the various OLV checks, troubleshooting procedures and alignment procedures are provided. Typical shipboard implementation requirements are described and experience to date with the procedures is provided along with a status report on OLV procedure implementations.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：