作者：
Birnbaum, L.S.Bukzin, E.A.Saroyan, J.R.Leon S. Birnbaum holds a B.S. degree in Chemistry from City College of New York. He has completed graduate work in Chemistry at the University of Maryland and Temple University
and in Technology and Management at American University. He has been with the Navy Department Washington since 1949 and is currently Head of the Coatings and Chemistry Branch of the Materials Development and Application Office of the Naval Ship Engineering Center. Responsibilities of this Branch include such items as coatings corrosion control techniques insulation chemical cleaning water treatment toxicology and detection and decontamination of biological and chemical warfare agents. Prior to this Mr. Birnbaum was employed in the Industrial Test Laboratory Philadelphia Naval Shipyard from 1938 to 1949. Work during this period included supervision of a section which inspected paints and allied materials and petroleum products to determine their suitability for Naval use and direction of research in fire retardant treatments. He is a member of the American Chemical Society
Washington Paint Technical Group. National Association of Corrosion Engineers and the American Society of Naval Engineers. Mr. Bukzin is a research and development program manager in the Naval Ship Systems Command of the Department of the Navy in the fields of non-metallic materials
fuels lubricants cold weather operations and several other areas. He is a graduate chemical engineer from New York University with additional training in naval architecture and management which culminated in his participation in the Senior Development Program at Cornell University during the summer of 1960. He has been employed by the Command and its predecessor for the past 2b years and has been in his present position of R&D planning and programming for the past six years. Prior to that his major technical responsibilities were in the field of elastomers and their applications. He received several awards and published a number of papers during those years. Mr. Bukzin is a me
Report on paints used on surface ships and submarines for protection against corrosion and prevention of fouling, and on work connected with development and evaluation of such coatings;experiences with "hot plast...
详细信息
Report on paints used on surface ships and submarines for protection against corrosion and prevention of fouling, and on work connected with development and evaluation of such coatings;experiences with "hot plastic", "cold plastic" and vinyl paints;hazards in use of vinyl paints and safety precautions;test techniques;new toxics (which are only kind so far satisfactory antifouling formulations) under test.
作者：
Robson, J.M.Oxford University
Programming Research Group Oxford University Computing Laboratory Oxford United Kingdom
Dynamic storage allocation using fixed blocks is usually inefficient in its use of store. The amount of store needed depends on the allocation strategy used. It is proved that for any strategy the amount of store need...
详细信息
In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the equation x = x + 1 defined over the real numbers; there is no value ...
详细信息
ISBN:
(数字)9781447132035
ISBN:
(纸本)9783540197805
In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the equation x = x + 1 defined over the real numbers; there is no value of x which satisfies it. Similarly it is possible to specify objects using the formal specification language Z [3,4], which can not possibly exist. Such specifications are called inconsistent and can arise in a number of ways. Example 1 The following Z specification of a functionf, from integers to integers "f x : ~ 1 x ~ O· fx = x + 1 (i) "f x : ~ 1 x ~ O· fx = x + 2 (ii) is inconsistent, because axiom (i) gives f 0 = 1, while axiom (ii) gives f 0 = 2. This contradicts the fact that f was declared as a function, that is, f must have a unique result when applied to an argument. Hence no suchfexists. Furthermore, iff 0 = 1 andfO = 2 then 1 = 2 can be deduced! From 1 = 2 anything can be deduced, thus showing the danger of an inconsistent specification. Note that all examples and proofs start with the word Example or Proof and end with the symbol.1.
A " basic English" to enable editors, writers, librarians, educators, and others to instruct computers to perform mechanical text processing conveniently has been defined (see Tables II to V for partial summ...
详细信息
A " basic English" to enable editors, writers, librarians, educators, and others to instruct computers to perform mechanical text processing conveniently has been defined (see Tables II to V for partial summary). It has been given the name SNAP (Stylized Natural Procedural) language for reference. A processor that executes procedures expressed in a subset of this language has worked for some months on several computers. It was used successfully last semester by 40 students with humanities background, in a graduate course in the School of Library Service of Columbia University, for elementary mechanized library and documentation tasks. The processor for the larger subset of the language shown in Tables II to V now works, and is being applied to several practical problems. The processor for the full language is being completed. A SNAP procedure consists of a succession of well-formed English sentences of a few simple types. Most of these begin with imperative verbs that are concerned with input and output operations, and with the manipulation of strings of characters, numbers, and arrays of strings and numbers. Conditional sentences begin with IF. Several constructions that extract and concatenate portions of strings and lists of strings are used in the objects of SNAP sentences. The SNAP processor is written (apart from specialized input-output routines) in FORTRAN IV. It deals directly with some 25 "built-in" verbs, and will allow the user to define further verbs by subroutines that are also written in SNAP.
暂无评论