الصفحة 1
الصفحة 1
GPS : Theory, algorithms and applications
This reference and handbook describes Global Positioning System (GPS) theory, algorithms and applications. It is primarily based upon source-code descriptions of the KSGSoft program developed by author at the GFZ in Potsdam. The theory and algorithms are revised and extended for a new development of a multiple functional GPS software. New concepts such as the unified GPS data processing method and ambiguity-ionospheric algorithm, as well as general ambiguity search criteria, are reported for the first time. Mathematically rigorous, the book begins with the basics of coordinate and time systems and satellite orbits, as well as GPS observables, and deals with topics such as physical influences, observation equations, adjustment and filtering, ambiguity resolution, data processing, kinematic positioning, and the determination of perturbed orbits.
Foundations and applications of MIS : A model theory approach
Foundations and Applications of MIS presents a unique systems theory approach to management information system (MIS) development. The development is driven by the need to eliminate ambiguity in specification, design and construction of the application software. Further, the authors show that the considerable effort being expanded nowadays on validation, verification and testing, as required in current software engineering practices, will be reduced. The approach also reinforces the belief that MIS development is independent of software development. The work presents an approach that provides a theoretical foundation for MIS development from the systems theoretic viewpoint along with practical applications ranging from a transaction processing system to a solver system. Both formal systems theory and automatic system generation based on the authors' newly extended Prolog offer a significant increase in the efficiency of specification, design and production of the application software, as well as an increase in the functional reliability of the software produced. The book assumes a working knowledge of elementary set theory, logic, and familiarity with some systems concepts, such as the automaton model.
Engineering and Managing Software Requirements
This book provides an exploration of key issues in requirements engineering, the book is organized in three parts. Part 1 presents surveys of state-of-the art requirements engineering process research along with critical assessments of existing models, frameworks and techniques. Part 2 addresses key areas in requirements engineering, such as market-driven requirements engineering, goal modeling, requirements ambiguity, and others. Part 3 concludes the book with articles that present empirical evidence and experiences from practices in industrial projects. Its broader perspective gives this book its distinct appeal and makes it of interest to both researchers and practitioners, not only in software engineering but also in other disciplines such as business process engineering and management science.
Cross-linguistic Variation in Sentence Processing : Evidence From R C Attachment Preferences in Greek
This book argues in favour of cross-linguistic variation in sentence processing by providing empirical data from ambiguity resolution in Greek as L1 and L2. It is maintained that in highly inflected languages, like Greek, initial parsing decisions are determined by the interaction of morphological and lexical cues rather than by universal parsing principles. During the initial parse, discourse-level information is constrained by lexical considerations, which indicates that the human sentence processor is a multi-stage mechanism.
Arabic Computational Morphology : Knowledge-based and Empirical Methods
The morphology of Arabic poses special challenges to computational natural language processing systems. The exceptional degree of ambiguity in the writing system, the rich morphology, and the highly complex word formation process of roots and patterns all contribute to making computational approaches to Arabic very challenging. Indeed many computational linguists across the world have taken up this challenge over time, and many of the researchers with a track record in this research area have contributed to this book.
Advances in decision making under risk and uncertainty
Whether we like it or not we all feel that the world is uncertain. From choosing a new technology to selecting a job, we rarely know in advance what outcome will result from our decisions. Unfortunately, the standard theory of choice under uncertainty developed in the early forties and fifties turns out to be too rigid to take many tricky issues of choice under uncertainty into account. The good news is that we have now moved away from the early descriptively inadequate modeling of behavior. This book brings the reader into contact with the accomplished progress in individual decision making through the most recent contributions to uncertainty modeling and behavioral decision making. It also introduces the reader into the many subtle issues to be resolved for rational choice under uncertainty.
