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

Journal of Vacuum science & Technology B: Microelectronics Processing and Phenomena 1990年第6期8卷 1432-1436页

作者： Eytan Barouch Brian Bradie Uwe Hollerbach Steven A. Orszag Department of Mathematics and Computer Science Clarkson University Potsdam New York 13676 Program in Applied and Computational Mathematics Princeton University Princeton New Jersey 08544

A three‐dimensional computational simulator of nonplanar substrates coated with positive photoresists is presented. The model includes four major steps: projection printing, exposure, post‐exposure baking (PEB), and dissolution. Projection printing is based on Hopkins’ classical work. The exposure model employs the full nonlinear wave equation coupled with the photoactive compound (PAC) bleaching rate equation. These equations are solved using a spectral element iterative scheme. The PEB is treated as a material diffusion equation employing ideas introduced by Mack and the dissolution algorithm is our LEAD (least action dissolution) algorithm modified for nonplanar substrates. Several realistic examples are presented displaying final profiles at various dissolution times.

关键词：

来源：评论

学校读者我要写书评

暂无评论

The Role Of Simulation In Developing Game Playing Strategies

The Role Of Simulation In Developing Game Playing Strategies

引用

Annual Symposium on Simulation

作者： R.P. Jones D.J. Thuente Computer Science Program Oberlin College Oberlin OH USA Departments of Computer Science and Mathematics Purdue University Indiana University Fort Wayne IN USA

This paper presents results concerning the use of simulation in the analysis of finite games and the development of strategies for their solution. programs were developed in the Scheme programming language [Rees and Clinger 1986] to play large numbers of games pitting various strategies against each other. The games discussed here range from the well-known Tic-tac-toe, through versions of ConnectThree for various sized boards, to the commercial ConnectFour game. The ConnectThree game is based on ConnectFour, but was developed as a simplification amenable to play within reasonable time by perfect strategies that look ahead to the end of the game. The game is played on a vertical array with players alternately dropping disks of their color into the array. The first player to create a row, column or diagonal of three disks of their own color wins. The ConnectFour game is similar, but requires completion of a line of four disks of one's own color to win. Conducting tournaments involving optimal strategies enabled us to predict for which board sizes the ConnectThree game is a first-player win and for which it is a draw. Armed with the results from our simulation, we have been able to prove these predictions in almost all cases. Research is continuing on the ConnectFour game in an effort to determine if and when it is a forced draw or whether the first or second player has the advantage. For this game, it is not computationally feasible to play perfect strategies that look ahead right to the end of the game. In order to develop even good strategies, it is necessary to find good heuristics for evaluating non terminal board positions. At this stage of our investigations, the role of simulation is essentially to evaluate various such heuristics by testing them as predictors of the outcome of games.

关键词： Computational modeling computer science Artificial intelligence Predictive models Educational institutions mathematics Analytical models computer simulation computer languages Testing

来源：评论

学校读者我要写书评

暂无评论

Approximation algorithms for VLSI partition problems

Approximation algorithms for VLSI partition problems

引用

IEEE International Symposium on Circuits and Systems (ISCAS)

作者： T. Leighton F. Makedon S.G. Tragoudas Mathematics Department and Laboratory for Computer Science Massachusetts Institute of Technology Cambridge MA USA Computer Science Program University of Texas Dallas Richardson TX USA

Polynomial time approximation algorithms are described for several VLSI partitioning problems, including graph and hypergraph partitioning, and nonplanar edge deletion. The algorithms find solutions that are within a polylogarithmic factor of the optimal solution for several of the problems. All of the algorithms use the Leighton-Rao (7988) graph-separator algorithm as a subroutine.< >

关键词： Approximation algorithms Partitioning algorithms Very large scale integration computer science Polynomials Particle separators Virtual manufacturing Circuit testing mathematics Laboratories

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Drawing graphs in the plane with high resolution

Drawing graphs in the plane with high resolution

引用

Annual IEEE Symposium on Foundations of computer science

作者： M. Formann T. Hagerup J. Haralambides M. Kaufmann F.T. Leighton A. Simvonis E. Welzl G. Woeginger Institut fur Informatik Fachbereich Mathematik Freie Universitat Berlin Berlin Germany Fachbereich Informatik Universitat des Saarlandes Saarbruecken Germany Computer Science Program University of Texas Dallas Richardson TX USA Mathematics Department and Laboratory for Computer Science Massachusetts Institute of Technology Cambridge MA USA Institut fur Mathematik Technical University of Graz Graz Austria

The problem of drawing a graph in the plane so that edges appear as straight lines and the minimum angle formed by any pair of incident edges is maximized is studied. The resolution of a layout is defined to be the size of the minimum angle formed by incident edges of the graph, and the resolution of a graph is defined to be the maximum resolution of any layout of the graph. The resolution R of a graph is characterized in terms of the maximum node degree d of the graph by proving that Omega (1/d/sup 2/) >

关键词： Contracts Cost function mathematics Laboratories computer science Paper technology Hypercubes Multidimensional systems Proposals Upper bound

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

DOING CHEMISTRY - A RESOURCE FOR HIGH-SCHOOL CHEMISTRY TEACHERS

引用

JOURNAL OF CHEMICAL EDUCATION 1989年第5期66卷 425-426页

作者： CHAPMAN, KM Doing Chemistry Program Manager American Chemical Society Washington DC 20036 1155 Sixteenth St. N. W United States Center for Science Mathematics and Computer Education University of Nebraska Lincoln NE 68588 118-Henzlik United States

Doing chemistry is a practical resource for high school chemistry teachers that ties specifics of classroom chemistry content to the specifics of teaching practice.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Probabilistic analysis of a greedy heuristic for euclidean matching

引用

Probability in the Engineering and Informational sciences 1988年第2期2卷 143-156页

作者： Avis, David Davis, Burgess Steele, J. Michael School of Computer Science McGill University MontréQCH3A 2K6 Canada Department of Mathematics and Statistics Purdue University West LafayetteIN47907 United States Program in Statistics and Opertions Research Princeton University PrincetonNJ08544 United States

Given a collection of n points in the plane, the Euclidean matching problem is the task of decomposing the collection into matched pairs connected by line segments in such a way as to minimize the sum of all the segment lengths. The greedy heuristic provides an approximate solution to the Euclidean matching problem by successively matching the two closest unmatched points. We study the behavior of Gn, the sum of the lengths of the segments produced by the greedy heuristic. In particular, it is proved that if the points are realized as n independent observations from a common distribution with compact support, then Gn/√n converges to a constant with probability one. Copyright © 1988 Cambridge University Press.

关键词： Probability distributions

来源：评论

学校读者我要写书评

暂无评论

THE ROLE OF PERFORMANCE ANALYSIS IN THE LIFE-CYCLE OF A WEAPONS SYSTEM

引用

NAVAL ENGINEERS JOURNAL 1987年第3期99卷 239-248页

作者： BAILEY, JL The authoris an operations research analyst in the Systems Engineering Branch Aegis Ship Combat Systems Division at the Naval Surface Weapons Center (NSWC). Dr. Bailey received a B. S. degree in mathematics from the Massachusetts Institute of Technology in 1964 a Ph.D. in mathematics from the University of Tennessee in 1968 and an M. S. in computer science from the Virginia Polytechnic Institute and State University in 1975. He was an assistant professor of mathematics at the University of Tennessee during the 1968-69 academic year then came to NSWC/Dahlgren in September 1969. He worked as an operations research analyst in mine warfare from 1969 to 1978 specializing in minefield planning. He headed the group which developed the minefield planning module of the Mine Warfare Trainer which was delivered to the Fleet and Mine Warfare Training Center in 1978-79. Dr. Bailey served as science advisor to the commander Mine Warfare Command in 1978-79 under the sponsorship of the Navy Science Assistance Program. In 1979-80 he led the development of military value assessment methodology for a ship survivability improvement program. In 1980 he moved to the Aegis Ship Combat Systems Division becoming leader of the Systems Performance Assessment Group in 1981. Dr. Bailey leads a group of analysts who do assessment of the predicted performance of the Aegis combat system and the effects of proposed changes to the system. Dr. Bailey has also served collateral duty as systems analysis manager for the Technical Division of the Aegis Project Office (PMS-400) in the Naval Sea Systems Command since 1981.

Performance analysis is the process of determining the predicted performance of a weapons system. It is generally used to examine predicted performance of systems in a variety of configurations and operational situations; it is accomplished through a variety of techniques, from the computation of straightforward algebraic functions to complex computer simulations. Performance analysis is necessary throughout the life-cycle of weapons systems. It is used to help determine original requirements, for conceptual and detailed design, and to support operational planning and determine upgrade requirements. The development, maintenance, and consistent application of a set of system specific performance analysis methods have enhanced the development of many weapons systems. This paper is in the form of a tutorial on the application of performance analysis techniques, using the development of the Aegis weapons system as a source of examples, and stressing the value of performance analysis methods which have been designed specifically for the Aegis system.

关键词： MILITARY EQUIPMENT

来源：评论

学校读者我要写书评

暂无评论

MASTER ORDNANCE REPAIR APPLIED - STANDARD ITEM 009-67

引用

NAVAL ENGINEERS JOURNAL 1986年第3期98卷 35-42页

作者： STIMSON, WA MARSH, MT UTTICH, RM William A. Stimsonreceived his B.S. degree in mathematics from the University of Texas at El Paso in 1964 and his M.S. degree in engineering from the University of Santa Clara in 1971. He served in the U.S. Army Artillery during the Korean Conflict and subsequently was employed at IBM Huntsville Alabama until 1968 where he worked in the design of automatic control systems of the Saturn vehicle. From 1968 until 1971 he was employed at Ames Research Center Moffett Field in the design of nonlinear control systems for sounding rockets and pencil-shaped spacecraft. Following this Mr. Stimson worked at Hewlett Packard Sunnyvale California as a test engineer in automatic test systems. Since 1973 Mr. Stimson has been employed at the Naval Ship Weapon Systems Engineering Station Port Hueneme. He was a ship qualification trials project supervisor for many years and is now serving as master ordnance repair deputy program manager. Mr. Stimson is a member of the American Society of Naval Engineers and is program chairman of the Channel Islands Section. Cdr. Michael T. Marsh USNreceived a B.S. in mathematics from the University of Nebraska and was commissioned via the NESEP program in 1970. He holds an M.S. in computer science from the U.S. Navy Postgraduate School and an MBA from the State University of New York. Cdr. Marsh has served in the weapons department of USSFrancis Hammond (FF-1067) and of USSJohn S. McCain (DDG-36). He was weapons officer aboard USSSampson (DDG-10). As an engineering duty officer Cdr. Marsh was the technical design officer for PMS-399 at the FFG-7 Class Combat System Test Center from 1978 to 1982. He is presently combat system officer at SupShip Jacksonville and has been active in the MOR program since its inception. Cdr. Marsh is also the vice chairman of the Jacksonville Section of ASNE. LCdr. Richard M. Uttich USNholds B.S. and M.S. degrees in mechanical engineering from Stanford University. He enlisted in the Navy in 1965 serving as an electronics technician aboard USSNereus (A

The 600-ship United States Navy offers private shipyards an unprecedented opportunity for overhaul of surface combatants with complex combat systems. Recognizing the new challenge associated with the overhaul of high technology combat systems in the private sector, the Navy in 1983 established the master ordnance repair (MOR) program. This program, a joint effort of the Naval Sea Systems Command (NAVSEA) and the Shipbuilders Council of America (SCA), was designed to identify and qualify those companies and private shipyards technically capable of managing combat systems work and conducting combat system testing. Standard Item 009–67 describes the role of the MOR company in combat system overhaul. It defines terms that are important to understanding the item itself, and imposes upon the prime contractor an obligation to utilize the MOR subcontractor in a managerial capacity. Specific tasks are assigned to the MOR company in planning, production, and testing. Finally, this standard item describes to the Navy planner how to estimate the size of the MOR team appropriate to the work package, a feature that will ensure that combat system bids are tailored to a specific availability.

关键词： WARSHIPS

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：