DOCSLIB.ORG

Signature Redacted ----- Chairman, Epartmental Committee on Graduate Students - - - /\Rr·· ''VE"' ~~~

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Signature Redacted ----- Chairman, Epartmental Committee on Graduate Students - - - /\Rr·· ''VE A Theory of Syntactic Recognition for Natural Language by Mitchell Philip Marcus A.B., Harvard University (1972) Submitted in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy at the Massachusetts Institute of Technology February, 1978 Signature of Author Sign~ture redacted Department of Electrical int.ftteeriii.l/ Jind Computer Science, October 13, 1977 Certified by Signature redacted .., --7"--_.,.a;:..<-- ....., -J----7-..-----,.......-----77~~--~7.....,...::;»...,.... __T_h_e_si-s-Su-pe-r-vi-·-so-r Accepted Signature redacted ----- Chairman, epartmental Committee on Graduate Students - - - /\Rr·· ''VE"' ~~~ .. _ • ><~ vr1i ~ / .. '· ( f'AAY ,,, ,,1,) ; - / ' ~~--~ a A Theory of Syntactic Recognition for Natural Language by Mitchell Philip Marcus Submitted to the Department of Electrical Engineering and Computer Science on October 13, 1977 in partial fulfillment of the requirements of the Degree of Doctor of Philosophy. Abstract This dissertation investigates the hypothesis that the syntax of natural language can be parsed by a left-to-right deterministic mechanism without facilities for parallelism or backup. This determinism hypothesis, explored in the context of the grammar of English, is shown to lead to a simple mechanism, a grammar interpreter, having the following properties: -Simple rules of grammar can be written for this interpreter which capture the generalizations behind passives, yes/no questions, and other linguistic phenomena, despite the Intrinsic difficulty of capturing such generalizations in the framework of a processing model for recognition, as opposed to a competence model. -The structure of the grammar interpreter constrains its operation in such a way that, by and large, grammar rules cannot parse sentences which violate either of two constraints on rules of grammar currently proposed by Chomsky. This result depends in part upon the computational use of the notion of traces and the related notion of Annotated Surface Structure, which derive from Chomsky's work. -The grammar interpreter provides a simple explanation for the difficulty caused by "garden path" sentences, such as "The cotton clothing is made of grows in Mississippi". Rules can be written for this interpreter to resolve local struutural ambiguities which might seem to require nondeterministic parsing; however, the power of such rules depends upon a parameter of the mechanism. Most structural ambiguities can be resolved, given an appropriate setting of this parameter, but those which typically cause garden paths cannot. To the extent that these properties, all of \which reflect deep propertier of natural language, follow from the determitism hypothesis, this paper provides indirect evidence for the truth of this assurpption. This paper also demonstrates that the determinism hypothesis necessitates semantic/syntactic interaction to test the comparative semantic goodness of differing structural postibilities for an input. Thesis Supervisor: Jonathan Allen Title: Professor of Electrical Engineering '.5 0 '4 'a p '1 S Ct U) 4 Acknowledgements I would like to express my gratitude to everyone who contributed to this woik, and provided support and encouragement to its author: -to Jonathan Allen, my advisor, for much good advice, and especially for his constant focus on what is central and what is not; -to my readers: to Ira Goldstein, for his careful attention during the course of this research, and his careful reading of several iterations of this document, and to Seymour Papert, for helping to narrow the range of the research, and for creating, with Marvin Minsky, an environment of great intellectual intensity and freedom; -to Bill Martin, who will never let me forget how hard the problem really is; -to Bob Moore and Chuck Rieger, for long talks spent trying to talk me out of various bad ideas; -to Mike Genesereth, Gerry Sussman, and Mike Brady, for valuable suggestions at crucial phases of this research; -to Bill Woods and Susumu Kuno, my undergraduate teachers, who taught me how to look at natural language; and especially -to Craig Thiersch, who first introducing me to much of the linguistic theory that underlies this paper, for many long discussions and tutorials on various points of that theory; -to "The Natural Language Group", Candy Bullwinkle, Kurt VanLehn, Dave McDonald, and Beth Levin, for innumerable suggestions, as well as for helping me to get an education; I also thank Kurt VanLehn for recoding part of the parser, and Beth Levin for allowing me to quote extensively from her working paper; -to Candy, Kurt, Dave, and especially Beth, and to Chuck Rich, Brian Smith, Bill Martin, and Bob Woodham for unflagging support and enthusiasm; -and to Susie, with love, for accepting additional burdens while I completed this work and, most importantly, simply for being there, and to Joshua, who kept his father sane without even trying. 5 Stranger: Then since some will blend, some not, they might be said to be in the same case with the letters of the alphabet. Some of these cannot be conjoined; others will fit together. Theatetus: Of course. Stranger: And the vowels are specially good at combination - a sort of bond pervading them all, so that without a vowel the others cannot be fitted together. Theatetus: That is so. Stranger: And does everyone know which can combine with which, or does one need an art to do it rightly? Theatetus: It needs art. Stranger: And that art is? Theatetus: Grammar. -Plato, The Sophist Translated by F.M. Cornford 6 TABLE OF CONTENTS 1. Introduction The Determinism Hypothesis 1 A Note on Methodology 9 The Notion of "Strictly Deterministic" 16 The Structure of the Parser - Motivation 20 The Structure of the Parser - an Overview 23 rs This Machine Really Strictly Deterministic? 29 The Limits of This Research 34 The Structure of This Paper 36 2. Historical Perspective Introduction 46 The Classical Solution - Hypothesis-Driven Search 46 A Critique of Hypothesis-Driven Parsing 51 Summary 57 3. The Grammar Interpreter PARS IFAL's Major Data Structures 59 The Active Node Stack 59 Nodes 63 The Buffer 64 The Buffer as a Virtual Machine 66 A Buffer with Offset 70 The Buffer as Utilized by the Parser 72 Building Structure is Irrevocable 74 The Buffer and the Stack Reflect Different Aspects of the Parser's Operation 74 A Snapshot of the Parser 77 The Basic Operations of the Parser 80 4. The Structure of the Grammar Introduction 85 The Grammar 86 Grammar Rules 87 Packets of Rules 91 The Packeting Mechanism is Redundant 97 An Example 99 Parsing a Simple Declarative Sentence - A Small Grammar Z09 7 5. Capturing Linguistic Generalizations Introduction 130 The General Grammatical Framework 131 Winograd's Use of Features 133 Traces and Annotated Surface Structure 136 The Grammar Elegantly Captures Linguistic Generalizations 142 Parsing a Yes-No Question 146 Parsing an Imperative 151 Parsing Passives - A Simple Example 156 Passives and Embedded Complements 161 On the Discovery of These Generalizations 177 6. The Grammar Interpreter and Chomsky's Constraints Introduction 179 An Outline of Chomsky's Theory 180 The Structure Preserving Hypothesis 184 Subjacency 186 The Specified Subject Constraint 188 The Tensed S Constraint 189 The Constraints Imposed by the Grammar Interpreter 190 The Specified Subject Constraint and the Grammar Interpreter 193 The L-to-R Constraint and the Lowering Lemma 198 Subjacency and the Grammar Interpreter 204 These Arguments as Evidence in Support of the Determinism Hypothesis 212 7. Parsing Relative Clauses - Ross's Complex NP Constraint Introduction 216 An Analysis of "Wh-clauses" 217 Ross's Complex NP Constraint 222 The CNPC and the Determinism Hypothesis 225 Chomsky's Analysis - a Comparison 232 Woods' Hold-list Mechanism - A Comparison 236 8. Parsing Noun Phrases - Extending the Grammar Interpreter Introduction 238 Attention Shifting Rules - Motivation 239 Attention Shifting - Implementation 244 The ATN PUSH Arc - A Comparison 249 An Example of Attention Shifting 251 Another Example of Attention Shifting 259 Why There Must be a Stack of Buffer Pointers 262 AS Rules and the Length of the Buffer 264 In Conclusion 268 8 9. Differential Diagnosis and Garden Path Sentences Introduction 271 A Theory of Re-analyzing Garden Path Sentences 272 Diagnosing Between Imperatives and Yes/No Questions 277 Garden Paths and a Three Constituent Window 282 John Lifted A Hundred Pound Bags. 286 Most Garden Paths Cause No Difficulty in Spoken Language 290 Diagnostic vs. Non-diagnostic Rules 292 10. On the Necessity of Some Semantic/Syntactic Interactions Introduction 294 Historical Perspective 296 The Problem of Wh-Questions and Indirect Objects 301 Some Inadequate Explanations 303 The Notion of Syntactic and Semantic Biases 307 A Solution to the Problem 310 Conclusions 316 11. CONCLUSIONS Chomsky's Constraints: Competence or Performance Phenomena? 320 In Summary 324 Directions for Future Work 329 Bibliography 332 APPENDICES A. An Approach to Noun-Noun Modification 336 B. The Grammar Language 344 C. Grammar Rules Referenced in the Text 362 D. The Current Grammar 367 E. The Case Frame Interpreter 399 Chapter 1 9 Introduction CHAPTER 1 INTRODUCTION The Determinism Hypothesis All current natural language parsers that are adequate to cover a wide range of syntactic constructions operate by simulating nondeterministic machines, either by using backtracking or by pseudo-parallelism. On the face of it, this seems to be necessary, for a cursory examination of natural language reveals many phenomema that
Load more

Recommended publications
  • Master Table of All Deep Space, Lunar, and Planetary Probes, 1958–2000 Official Name Spacecraft / 1958 “Pioneer” Mass[Luna] No
    Deep Space Chronicle: Master Table of All Deep Space, Lunar, and Planetary Probes, 1958–2000 Official Spacecraft / Mass Launch Date / Launch Place / Launch Vehicle / Nation / Design & Objective Outcome* Name No. Time Pad No. Organization Operation 1958 “Pioneer” Able 1 38 kg 08-17-58 / 12:18 ETR / 17A Thor-Able I / 127 U.S. AFBMD lunar orbit U [Luna] Ye-1 / 1 c. 360 kg 09-23-58 / 09:03:23 NIIP-5 / 1 Luna / B1-3 USSR OKB-1 lunar impact U Pioneer Able 2 38.3 kg 10-11-58 / 08:42:13 ETR / 17A Thor-Able I / 130 U.S. NASA / AFBMD lunar orbit U [Luna] Ye-1 / 2 c. 360 kg 10-11-58 / 23:41:58 NIIP-5 / 1 Luna / B1-4 USSR OKB-1 lunar impact U Pioneer 2 Able 3 39.6 kg 11-08-58 / 07:30 ETR / 17A Thor-Able I / 129 U.S. NASA / AFBMD lunar orbit U [Luna] Ye-1 / 3 c. 360 kg 12-04-58 / 18:18:44 NIIP-5 / 1 Luna / B1-5 USSR OKB-1 lunar impact U Pioneer 3 - 5.87 kg 12-06-58 / 05:44:52 ETR / 5 Juno II / AM-11 U.S. NASA / ABMA lunar flyby U 1959 Luna 1 Ye-1 / 4 361.3 kg 01-02-59 / 16:41:21 NIIP-5 / 1 Luna / B1-6 USSR OKB-1 lunar impact P Master Table of All Deep Space, Lunar, andPlanetary Probes1958–2000 ofAllDeepSpace,Lunar, Master Table Pioneer 4 - 6.1 kg 03-03-59 / 05:10:45 ETR / 5 Juno II / AM-14 U.S.
    [Show full text]
  • Collezione Per Genova
    1958-1978: 20 anni di sperimentazioni spaziali in Occidente La collezione copre il ventennio 1958-1978 che è stato particolarmente importante nella storia della esplorazio- ne spaziale, in quanto ha posto le basi delle conoscenze tecnico-scientifiche necessarie per andare nello spa- zio in sicurezza e per imparare ad utilizzare le grandi potenzialità offerte dallo spazio per varie esigenze civili e militari. Nel clima di guerra fredda, lo spazio è stato fin dai primi tempi, utilizzato dagli Americani per tenere sotto con- trollo l’avversario e le sue dotazioni militari, in risposta ad analoghe misure adottate dai Sovietici. Per preparare le missioni umane nello spazio, era indispensabile raccogliere dati e conoscenze sull’alta atmo- sfera e sulle radiazioni che si incontrano nello spazio che circonda la Terra. Dopo la sfida lanciata da Kennedy, gli Americani dovettero anche prepararsi allo sbarco dell’uomo sulla Luna ed intensificarono gli sforzi per conoscere l’ambiente lunare. Fin dai primi anni, le sonde automatiche fecero compiere progressi giganteschi alla conoscenza del sistema solare. Ben presto si imparò ad utilizzare i satelliti per la comunicazione intercontinentale e il supporto alla navigazio- ne, per le previsioni meteorologiche, per l’osservazione della Terra. La Collezione testimonia anche i primi tentativi delle nuove “potenze spaziali” che si avvicinano al nuovo mon- do dei satelliti, che inizialmente erano monopolio delle due Superpotenze URSS e USA. L’Italia, con San Mar- co, diventò il terzo Paese al mondo a lanciare un proprio satellite e allestì a Malindi la prima base equatoriale, che fu largamente utilizzata dalla NASA. Alla fine degli anni ’60 anche l’Europa entrò attivamente nell’arena spaziale, lanciando i propri satelliti scientifici e di telecomunicazione dalla propria base equatoriale di Kourou.
    [Show full text]
  • Finite Element Analysis Of
    DEPARTMENT OF MANAGEMENT AND ENGINEERING Mechanical Behaviour of Single-Crystal Nickel-Based Superalloys Master Thesis carried out at Division of Solid Mechanics Linköping University January 2008 Daniel Leidermark LIU-IEI-TEK-A--08/00283--SE Institute of Technology, Dept. of Management and Engineering, SE-581 83 Linköping, Sweden Framläggningsdatum Avdelning, institution Presentation date Division, department 2008-01-28 Publiceringsdatum Division of Solid Mechanics Publication date Dept. of Management and Engineering 2008-02-04 SE-581 83 LINKÖPING Språk Rapporttyp ISBN: Language Report category Svenska/Swedish Licentiatavhandling ISRN: LIU-IEI-TEK-A--08/00283--SE X Engelska/English X Examensarbete C-uppsats Serietitel: D-uppsats Title of series Övrig rapport Serienummer/ISSN: Number of series URL för elektronisk version URL for electronic version http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-10722 Titel Mechanical behaviour of single-crystal nickel-based superalloys Title Författare Daniel Leidermark Author Sammanfattning Abstract In this paper the mechanical behaviour, both elastic and plastic, of single-crystal nickel-based superalloys has been investigated. A theoretic base has been established in crystal plasticity, with concern taken to the shearing rate on the slip systems. A model of the mechanical behaviour has been implemented, by using FORTRAN, as a user defined material model in three major FEM-programmes. To evaluate the model a simulated pole figure has been compared to an experimental one. These pole figures match each other very well. Yielding a realistic behaviour of the model. Nyckelord: material model, single-crystal, superalloy, crystal plasticity, LS-DYNA, ABAQUS, ANSYS, Keyword FORTRAN, pole figure V Abstract In this paper the mechanical behaviour, both elastic and plastic, of single- crystal nickel-based superalloys has been investigated.
    [Show full text]
  • NTSB Aircraft Accident Report
    c PB86-910406 / L NATIONAL * TRANSPORTATION SAFETY BOARD WASHINfSTON, D.C. 20594 AIRCRAFT ACCIDENT REPORT DELTA AIR LINES, INC., LOCKHEED L-101 l-385-1, N726DA DALLAS/FORT WORTH - INTERNATIONAL AIRPORT, TEXAS AUGUST 2,1985 NTSBIAAR-86/05 UNITED STATES. .-. GOVERNMENT REPRODUCE0 BY - - - U.S. DEPARTMENT DF COMMERCE NATIONAL TECHNICAL INFORMATION SERVICE SPRINC3FIELD. VA. 22161 -. -_ .__ TECHNICAL- -----_--- -- -.-. REPORT ---- ----.. DOCUMENTATTfIN --. --.. PAGF. ..-- I Report No. Z.Government Accession No. 3.Recipient’s Catalog No. ‘NTSB/AAR-86IOj PB86-910406 4 Title and Subti tie Aircraft .Accldent K t--uelta 5.Report Date ‘Air Lines, Inc., Lockheed L-loll-385-1, N’7‘ii%fi, August 15, 1986 Dallas/Fort i\;ortll International Airport, Texas, 6.Performing Organization Auplst 2, 1985 Code 7. Author(s) 8.Performing Organization Report No. 9. Performing Organization Name and Address 10.Woqr3k2i;i t No. National Transportation Safety ijoard d Rurcau of Accident Investigntmn ll.Contract or Grant No. Washington, D.C. 20594 13.Type of Report and Period Covered 12.Sponsoring Agency Name and Address Aircraft Accident Beport August 2, 1985 NATIONAL TRANSPORTATION SAFETY BOARD Washington, D. C. 20594 14.Sponsoring Agency Code ls.Supplementary Notes 16.Abstract On August 2, 1’385, at 1805:52 central daylight -time, Delta Air Lines flight 1 Y 1, a Lockheed L-1011-385-1. UTZliDA, crashed while,approaching to land on runway 1SL at tile Dallas Fort CVorth International Airport, Texas. (While passing through the rain shaft beneath a thuflderstor:n, flight lY1 entered a inicroburst which the pilot was unabie to traverse successfuliy. The airplane struck the ground about 6,300 feet north of the approach end of runway 1’7L, hit a car on a highway north of the runway killing the driver, struck two water tanks.
    [Show full text]
  • Press Kit , Project ~Arisat-B RELEASE NO: 7643
    https://ntrs.nasa.gov/search.jsp?R=19760070167 2020-03-22T12:05:44+00:00Z View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by NASA Technical Reports Server ! News National Aeronautics and Space Administration Washrngton. D.C.20546 AC 202 755-8370 * For Release IMMEDIATE Press Kit , Project ~arisat-B RELEASE NO: 7643 Contents , GENERAL RE&EASE........:.....e...................... 1-3 DELTA LAUNCH VEHICLEoooo...o........oom....a...o.o. 4 STRAIGH$-SIGHT DELTA FACTS AND FIGURES. ............ 5-6 TYPICAL LAUNCH SEQUENCE FOR MARISAT-B ...............7-8 LAUNCH OP&~TIONS,..........................:...... 9 'NASA TEAM...................^.^..^.^.^..^.^^^ 9-10 COMSAT GENERAL CORP.,.............................. 11 ---- ---- -- -- - - -- - - - - - - .- (111SA-lleus-Release-76-83) . NASA TOLAUNCH SECOND BABISAT POB COBSAT GENERAL COOP- (NASA) 12 p Unclas 43127 N!News National Aeronautics and Space Administration' .> t r I Washington, 0.C.20546 I) AC 202 755-8310 For Release: ' Bill O'bonnell Headquarters, Washington, D.C. IMMEDIATE (Phone: 202/73518487) .. +. 4.: RELEASE NO: 76-83 NASA TO LAUNCH SECOND .~RISATFOR COMSAT GENBRAL,CORP. The 98cond maritime satellite (Marisat) will be launched a ,' by NASA for COMSAT General Corp. from Cape Canaveral, Fla., about May 27. 1, The spacecraft will be the second in the new Marisat system designed to provide communications t6 the :u.s. Navy, commercial shipping and offshore industries. I , Marisat-B will be il'alaced into synchronous orbit. over' the equator above the Pacific Ocean at 176.5 degrees W, longitude just west of Hawaii. A third Marisat has been t built as a spare. The first spacecraft, Marisat-1, was launched success- fully Feb.
    [Show full text]
  • Investigation of Combustion Instability in a Single Annular Combustor
    University of Cincinnati Date: 10/29/2010 I, Fumitaka Ichihashi , hereby submit this original work as part of the requirements for the degree of Master of Science in Aerospace Engineering. It is entitled: Investigation of Combustion Instability in a Single Annular Combustor Student's name: Fumitaka Ichihashi This work and its defense approved by: Committee chair: San-Mou Jeng, PhD Committee member: Shanwu Wang, PhD Committee member: Kelly Cohen, PhD Committee member: Asif Syed, PhD 1304 Last Printed:3/4/2011 Document Of Defense Form Investigation of Combustion Instability in a Single Annular Combustor A thesis submitted to the Graduate School of the University of Cincinnati in partial fulfillment of the requirements for the degree of Master of Science in the Department of Aerospace Engineering and Engineering Mechanics of the College of Engineering Nov 2010 by Fumitaka Ichihashi B.S., Aerospace Engineering, University of Cincinnati, USA Committee Chair: Dr. San-Mou Jeng Abstract The well known criterion for combustion instability is called the Rayleigh‘s criterion. It indicates that, for combustion instability to occur, the heat release rate (q‘) and pressure oscillation (p‘) must be in phase. This thesis describes measurement techniques and study methods for combustion instabilities that occurred in the prototype single annular sector Rich-Burn Quick-Mix Lean-Burn (RQL) combustor on the original (short) and new (long) experimental rig configuration with a focus on q‘ and p‘ measurements. A change in the configuration of the combustor rig was necessary in order to acquire more precise measurements of forward- and backward-moving acoustic pressure waves within the rig by mounting pressure transducers on preselected locations of the upstream duct, downstream duct and combustion area.
    [Show full text]
  • THE BASICS of COLOR PERCEPTION and MEASUREMENT the Basics of Color Perception and Measurement
    THE BASICS OF COLOR PERCEPTION AND MEASUREMENT The Basics Of Color Perception and Measurement This is a tutorial about color perception and measurement. It is a self teaching tool that you can read at your own pace. When a slide has all information displayed, the following symbols will appear on the lower left side of the screen To go back one slide click. To advance one slide click. To exit the presentation press the Escape key on your keyboard. Contents There are five sections to this presentation: Color Perception Color Measurement Color Scales Surface Characteristics and Geometry Sample Preparation and Presentation If you wish to jump to a specific section click above on the appropriate name or click below to advance to the next slide. COLOR PERCEPTION Things Required To See Color A Light Source An Object An Observer Visual Observing Situation LIGHT SOURCE OBSERVER OBJECT Visual Observing Situation The visual observing model shows the three items necessary to perceive color. To build an instrument that can quantify human color perception, each item in the visual observing situation must be represented as a table of numbers. Light Source Light Source A light source emits white light. When light is dispersed by a prism, all visible wavelengths can be seen. Sunlight Spectrum Light Source Visible light is a small part of the electromagnetic spectrum. The wavelength of light is measured in nanometers (nm). The CIE wavelength range of the visible spectrum is from 360 to 780 nm. A plot of the relative energy of light at each wavelength creates a spectral power distribution curve quantifying the characteristics of the light source.
    [Show full text]
  • Distributed $(\Delta+1)$-Coloring Via Ultrafast Graph Shattering | SIAM
    SIAM J. COMPUT. \bigcircc 2020 Society for Industrial and Applied Mathematics Vol. 49, No. 3, pp. 497{539 DISTRIBUTED (\Delta + 1)-COLORING VIA ULTRAFAST GRAPH SHATTERING\ast y z x YI-JUN CHANG , WENZHENG LI , AND SETH PETTIE Abstract. Vertex coloring is one of the classic symmetry breaking problems studied in distrib- uted computing. In this paper, we present a new algorithm for (\Delta +1)-list coloring in the randomized 0 LOCAL model running in O(Detd(poly log n)) = O(poly(log log n)) time, where Detd(n ) is the de- 0 terministic complexity of (deg +1)-list coloring on n -vertex graphs. (In this problem, each v has a palette of size deg(v)+1.) This improves upon a previousp randomized algorithm of Harris, Schneider,p and Su [J. ACM, 65 (2018), 19] with complexity O( log \Delta +log log n+Detd(poly log n)) = O( log n). Unless \Delta is small, it is also faster than the best known deterministic algorithm of Fraigniaud,Hein- rich, and Kosowski [Proceedings of the 57th Annual IEEE Symposium on Foundations of Com- puter Science (FOCS), 2016] and Barenboim, Elkin, and Goldenberg [Proceedings of the 38th An- nualp ACM Symposium on Principles of Distributed Computing (PODC), 2018], with complexity O( \Delta log \Deltalog\ast \Delta +log\ast n). Our algorithm's running time is syntactically very similar to the \Omega (Det(poly log n)) lower bound of Chang, Kopelowitz, and Pettie [SIAM J. Comput., 48 (2019), pp. 122{143], where Det(n0) is the deterministic complexity of (\Delta + 1)-list coloring on n0-vertex graphs.
    [Show full text]
  • THE PASSWORD AUTHENTICATION SECURITY- Draft
    THE PASSWORD AUTHENTICATION SECURITY- draft Peter Szabó and Radko ulej and Viera Mislivcová Technical University of Ko²ice, Faculty of Aeronautics, Department of Aerodynamics and Simulations, Rampová 7, 040 21 Ko²ice, Slovak Republic Abstract The simplest way of authentication into information systems is the one of made by name and password. Name is a static aspect, attention is to be paid to password. Reducing safety risk by revealing the password consists in using a sucient number of and safe combination of characters in the password. One of the ways of verifying the suciently safe password is by developing a model for the proces of simulation, through which one can nd out the time maximum time required for the computer to decode the password of a given type and length applying the method of brute force attack. Keywords: information security, authentication, password, brute force, variations with repetitions. 1. Introduction Modern transport companies information systems use in all business processes. In air transport, an example of such a system are computer reservations systems, see [6]. Here it is necessary to authenticate users. Authentication in information systems with a password is a basic way of proving users identity in the system. Brute force is the type of attack whereby the attacker tries to break the password by systematically checking all possible keys. The possible keys can be tested locally or remotely. This process involves systematically checking all possible keys until the correct key is found. In the worst case, this would involve traversing the entire search space. Dierent combinations of passwords can be checked within a very short time.
    [Show full text]
  • Sample Dissertation Format
    Towards A Novel Unified Framework for Developing Formal, Network and Validated Agent-Based Simulation Models of Complex Adaptive Systems Muaz Ahmed Khan Niazi Computing Science and Mathematics School of Natural Sciences University of Stirling Scotland UK This thesis has been submitted to the University of Stirling In partial fulfillment for the degree of Doctor of Philosophy 2011 Abstract Literature on the modeling and simulation of complex adaptive systems (cas) has pri- marily advanced vertically in different scientific domains with scientists developing a variety of domain-specific approaches and applications. However, while cas researchers are inherently interested in an interdisciplinary comparison of models, to the best of our knowledge, there is currently no single unified framework for facilitating the development, comparison, communication and validation of models across different scientific domains. In this thesis, we propose first steps towards such a unified framework using a combination of agent-based and complex network-based modeling approaches and guidelines formulat- ed in the form of a set of four levels of usage, which allow multidisciplinary researchers to adopt a suitable framework level on the basis of available data types, their research study objectives and expected outcomes, thus allowing them to better plan and conduct their re- spective research case studies. Firstly, the complex network modeling level of the proposed framework entails the de- velopment of appropriate complex network models for the case where interaction data of cas components is available, with the aim of detecting emergent patterns in the cas under study. The exploratory agent-based modeling level of the proposed framework allows for the development of proof-of-concept models for the cas system, primarily for purposes of exploring feasibility of further research.
    [Show full text]
  • Which Color Differencing Equation Should Be Used?
    International Circular of Graphic Education and Research, No. 6, 2013 science & technology Which color differencing equation should be used? Martin Habekost Keywords: Colour differencing, Color, CIE, Colorimetry, Differencing, Delta E Color differencing equations have been in used for quite some time. In 1976 the CIE released the ΔEab-formula, weighting02_Habekost_Formulas function (kLSL), a chroma weighting function All these equations try to overcome the drawbacks of which is still widely used in industry and in research. This formula has its drawback and a number of other (kCSC), a hue weighting function (kHSH), an interactive the L*a*b-color space by introducing correction terms to color differencing formulas have been issued that try to accommodate how the human observer perceives color term between chroma and hue differences for improv- the non-uniform L*a*b*-color space. differencing in different areas of the color space. Trained and untrained observers in regards to judging color ing the performance for blue colors and a factor (RT) for differences were asked to rank color differences of test colors. In both cases the ΔE2000 formula corresponded * *2 *2 *2 rescalingEab the LCIELab aa*-axis bfor improving performance 2. Application of various ΔE-equations best with the way both groups of observers perceived these color differences. When industry experts were asked for grey colours. to rank perceived color differences without having a standard to compare to the CMC1:1 formula corresponds The CIE was not the only body that released a color In this paper three individual studies have been well with their observations. Although the ΔE2000 is mathematically more complicated than the ΔEab formula differencing equation2 to address2 the shortcomings2 of combined to achieve a better understanding of the the TC130 is mentioning guideline values (not official standard values) for evaluating process colors in the ISO L* C* h* 12646-2 procedure in its latest draft version.
    [Show full text]
  • Steps Taken by Space Agencies for Reducing the Growth Or Damage Potential of Space Debris
    Steps Taken By Space Agencies For Reducing The Growth Or Damage Potential Of Space Debris Report by the Secretariat Contents Note: Thefoilowmg IS based on the United Natrons document A/AC. 1051620. &nbsoIntroduction I Debris Mitigation Techniaues Used In Launch Vehicles II Prevention Of Accidental Debris Creation III Environmental Protection Of The Geostationarv Orbit IV Debris Protection Of Active Spacecraft V Recommendations Of The International Academv Of Astronautics d Introduction At its thirty-second session, the Scientific and Technical Subcommittee of the Committee on the PeacehI Uses of Outer Space agreed that it would be desirable to compile information on various steps taken by space agencies for reducing the growth or damage potential of space debris and to encourage common acceptance of those steps by the international community, on a voluntary basis (A/AC 105/605, para 80) That recommendation was endorsed by the Committee on the Peaceful Uses of Outer Space at its thirty- eighth session The present report has been prepared by the Secretariat in response to this request and is based on information provided by Member States, as well as by national and international space organizations I. Debris Mitigation Techniques Used In Launch Vehicles The National Aeronautics and Space Administration (NASA) of the United States of America established debris mitigation strategies in the early 1980s after observing that hypergolic upper stages would often explode some time after they had completed their mission The latent period would range from several weeks to as long as 16-27 years Examination of the design of the stages led to the identification of a number of potential failure modes, modes that could have led to the observed explosions In each case, the event occurred because of the stored energy in the flight performance residuals that had been on board at the termination of the launcher stage mission Since then, a number of different techmques have been used to bum or vent the stored propellants and pressurants and to open electrical circuits and batteries.
    [Show full text]