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

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

来源：评论

学校读者我要写书评

暂无评论

Logics of knowledge, games and dynamic logic 4th

引用

4th Conference on Foundations of Software Technology and Theoretical computer science, FST and TCS 1984

作者： Parikh, Rohit Department of Computer Science Brooklyn College of CUNY Bedford Ave and Avenue H BrooklynNY11210 United States Mathematics Program CUNY Graduate Center 33 West 42nd Street New YorkNY10036 United States

We study monotonic and non-monotonic Logics of Knowledge, giving decision procedures and completeness results. In particular we develop a model theory for a non-monotonic Logic of Knowledge and show that it correspond... 详细信息

ISBN: (纸本)9783540138839

关键词： computer circuits

来源：评论

学校读者我要写书评

暂无评论

Effectiveness of paradigmatic approach in teaching programming: An experimental investigation

Effectiveness of paradigmatic approach in teaching programmi...

引用

1980 ACM Annual Conference, ACM 1980

作者： Ram, N. Computer Science Program Department of Mathematics Texas Christian University Fort WorthTX76129 United States

ISBN: (纸本)0897910281

A paradigmatic approach in teaching FORTRAN programming language has been successfully implemented in the past. The present paper summarizes the results of a pilot experiment conducted to verify the effectiveness of this approach among students. About seventy-five engineering students who took a course in FORTRAN using a paradigmatic approach were instructed to construct problems from their areas of specialization. The constructed problems were compared to the paradigms they had used and a similarity measure was introduced. The results were compared with a control group of the same number of students with the same background who had taken a standard FORTRAN class. A preliminary investigation shows that students who had been exposed to a paradigmatic approach were more successful in providing parallel problems from their areas of specialization than the students who used conventional methods. The implications and further studies needed are outlined at the end of the paper. © 1980 ACM.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Semantics and correctness of nondeterministic flowchart programs with recursive procedures: Preliminary report 5th

引用

5th International Colloquium on Automata, Languages and programming, ICALP 1978

作者： Gallier, Jean H. Department of Mathematics and Computer Science Program University of California Santa BarbaraCA93106 United States

A class of nondeterministic flowchart programs with recursive procedures is defined. Their semantics is studied algebraically, in particular the notion of unfoldment. An extension of the inductive assertion method is ... 详细信息

ISBN: (纸本)9783540088608

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

On languages specified by relative acceptance

引用

Theoretical computer science 1978年第2期7卷 185-195页

作者： Book, Ronald V. Wrathall, Celia Department of Mathematics Computer Science Program University of California Santa Barbara CA 93106 United States Department of Systems Science University of California Los Angeles CA 90024 United States

For any language A, the class NP(A) of languages accepted in polynomial time by nondeterministic oracle machines with A as oracle set is characterized in terms of the regular sets and the operations of homomorphic replication and intersection. A similar characterization is obtained for the class EXRUD(A) of languages that are extended rudimentary in A. Other classes which can be similarly characterized are described. © 1978.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：