Últimos itens adicionados do Acervo: Escola de Pós-Graduação Naval

A Naval Postgraduate School em Monterey, na Califórnia, é uma escola de Pós-Graduação que pertence à Marinha dos Estados Unidos.

Página 3 dos resultados de 45160 itens digitais encontrados em 0.018 segundos

Case study of software complexity and error detection simulation

Schneidewind, N.F.
Fonte: Escola de Pós-Graduação Naval Publicador: Escola de Pós-Graduação Naval
Tipo: Artigo de Revista Científica
Português
The article of record as published may be located at http://dx.doi.org/10.1109/CMPSAC.1979.762613; The history of developing and using a simulation model for the study of software error processes, complexity and structure is traced. Strong and weak points of simulation as they relate to model validity, accuracy and cost of implementation and use are discussed. The simulation model is compared t o a similar analytic model. The history of an experiment in software complexity and error analysis is used to show the correspondence between empirical and model results. Empirical wthods are contrasted with the use of models in terms of validity, accuracy, generality and cost. An assessment is made of the applicability of the techniques, based on these experiences .; Supported by a grant from the Naval Air Development Center, Warminster, PA.

Software Engineering of the Micro/Mini Computer Subnetin Computer Networks

Schneidewind, Norman F.
Fonte: Escola de Pós-Graduação Naval Publicador: Escola de Pós-Graduação Naval
Tipo: Artigo de Revista Científica
Português
The article of record as published may be located at http://dx.doi.org/10.1109/CMPSAC.1978.810474; A software design of a micro/mini subnet of a campus computer network is described. Software engineering aspects of this design include: identfication of terminal , data management and comnunications functions which are appropriate for micro/ mini implementation; logical and physical placement of micro/mini facilities; central versus autonomous operating system control; number and type of protocol layers. The practicality of distributing the above functions at the micro/mini level in a computer network is assessed.

Detecting Suspicious Behavior from Only Positional Data with Distributed Sensor Networks

Rowe, Neil C.
Fonte: Monterey, California. Naval Postgraduate School Publicador: Monterey, California. Naval Postgraduate School
Tipo: Conference Paper
Português
Proceedings of DTEC '05, 2005 ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference; Wireless sensor networks are increasingly popular, and are being used to measure simple properties of their environment. In many applications such as surveillance, we would like them to distinguish "suspicious" behavior automatically. We distinguish here between suspicious and anomalous behavior, and develop a mathematical model which we illustrate on some sample data. We show the model predicts six classic deception strategies. We conclude with analysis of more sophisticated deceptions that exploit system responses to simpler deceptions.; supported by the Chief of Naval Operations, U.S. Navy, N61F22

On The Complexity of Delaying an Adversary's Project

Brown, Gerald G.; Carlyle, Matthew W.; Royset, Johannes; Wood, Kevin
Fonte: Escola de Pós-Graduação Naval Publicador: Escola de Pós-Graduação Naval
Português
in The Next Wave in Computing, Optimization and Decision Technologies, B. Golden, S. Raghavan and E.Wasil, eds., Springer, New York, pp. 3-17.; A "project manager" wises to complete a project (e.g., a weapons-development program) as quickly as possible. Using a limited interdiction budget, as "interdictor" wishes to delay the project's overall completion time by interdicting and thereby delaying some of the project's component tasks. We explore a variety of PERT-based interdiction models for such problems and show that the resulting problem complexities run the gamut: polynomially solvable, weakly NP-complete, strongly NP-complete or NP-hard. We suggest methods for solving the problems that are easier than the worst-case complexity implies.

Formulating Linear and Integer Linear Programs: A Rogues' Gallery

Brown, Gerald; Dell, Robert F.
Fonte: Escola de Pós-Graduação Naval Publicador: Escola de Pós-Graduação Naval
Português
INFORMS Transactions on Education, 7, 2007, pp. 153-159.; The article of record as published may be located at http://dx.doi.org/10.1287/ited.7.2.153; The art of formulating linear and integer linear programs is, well, an art: It is hard to teach, and even harder to learn. To help demystify this art, we present a set of modeling building blocks that we call “formulettes.” Each formulette consists of a short verbal description that must be expressed in terms of variables and constraints in a linear or integer linear program. These formulettes can better be discussed and analyzed in isolation from the much more complicated models they comprise. Not all models can be built from the formulettes we present. Rather, these are chosen because they are the most frequent sources of mistakes. We also present Naval Postgraduate School (NPS) format; a define-before-use formulation guide we have followed for decades to express a complete formulation.

Acquisition, Tracking, Pointing, and Line-of-Sight Control Laboratory Experiments for a Space-Based Bifocal Relay Mirror

Spencer, M.; Agrawal, B.N.; Romano, M.; R. Brunson; D. Dillow; S. Restaino,
Fonte: Escola de Pós-Graduação Naval Publicador: Escola de Pós-Graduação Naval
Português
The article of record as published may be found at http://dx.doi.org/10.1117/12.472600; Space based bifocal relay mirrors are potentially an enabling/enhancing piece of any architecture making use of longrange laser propagation. Inherent in the bifocal concept is dual line of sight control. This is especially challenging in this space-based application due to spacecraft attitude control issues. This paper presents a summary ofthe research into acquisition, tracking, pointing (ATP) and control technologies relevant to a bifocal relay mirror system as well as the development of a laboratory experimental test bed to integrate the advanced optics systems onto a Three-axis spacecraft simulator. The relay geometry includes a cooperative source and either a cooperative or non-cooperative target depending on the application. The described test bed is ajoint effort with the Air Force Research Laboratory (optics) and the Naval Postgraduate School (spacecraft Simulator).Space based bifocal relay mirrors are potentially an enabling/enhancing piece of any architecture making use of longrange laser propagation. Inherent in the bifocal concept is dual line of sight control. This is especially challenging in this space-based application due to spacecraft attitude control issues. This paper presents a summary ofthe research into acquisition...

A Stable Tracking Control Method for a Non-Holonomic Mobile Robot

Kanayama, Yutaka; Kimura, Yoshihiko; Miyazaki, Fumio; Noguchi, Tetsuo
Fonte: Escola de Pós-Graduação Naval Publicador: Escola de Pós-Graduação Naval
Tipo: Conference Paper
Português
The major objective of this paper is to propose a stable control rule to find a reasonable target linear and rotational velocities (v, w)'. The stability of the rule is proved through the use of a Liapunov function. The rule contains three parameters, Kx, Ky and Ke. Although any set of positive parameters makes the system stable, a condition on the parameters for the system being critically damped for a small disturbance is obtained through linearizing the system's differential equation. This method was successfully implemented on the autonomous mobile robot Yamabico-11. Experimental results obtained tum out to be close to the results with the velocity/acceleration limiter.

The Influence of Organizational Metaphors on Writers' Communication Roles and Stylistic Choices

Suchan, Jim
Fonte: Escola de Pós-Graduação Naval Publicador: Escola de Pós-Graduação Naval
Português
Journal of Business Communication, Vol. 32 No. 1, (Jan. 1995), 7-29.

Fast Software AES Encryption

Osvik, Dag Arne; Bos, Joppe W.; Stefan, Deian; Canright, David
Fonte: Escola de Pós-Graduação Naval Publicador: Escola de Pós-Graduação Naval
Tipo: Article and Presentation
Português
Paper and Presentation; This paper presents new software speed records for AES-128 encryption for architectures at both ends of the performance spectrum. On the one side we target the low-end 8-bit AVR microcontrollers and 32-bit ARM microprocessors, while on the other side of the spectrum we consider the high-performing Cell broadband engine and NVIDIA graphics processing units (GPUs). Platform specifi c techniques are detailed, explaining how the software speed records on these architectures are obtained. Additionally, this paper presents the first AES decryption implementation for GPU architectures.

The MOVES Institute's America's Army Operations Game

Zyda, Michael; Mayberry, Alex; Davis, Margaret; Shilling, Russell
Fonte: Escola de Pós-Graduação Naval Publicador: Escola de Pós-Graduação Naval
Tipo: Invited Paper
Português
Proceedings of the ACM SIGGRAPH 2003 Symposium on Interactive 3D Graphics, 28-30 April 2003, pp.217-218, color plate pp.252.

Embracing Change - the Way Ahead for NASA's Computing and Communications Technology

Fonte: Escola de Pós-Graduação Naval Publicador: Escola de Pós-Graduação Naval
Tipo: Relatório
Português
Editor: Zyda, Michael as Chair of the Potomac Institute's NASA Computing and Communications Technology Advisory Group, 23 December 2004, 81 pages.

Introducing Emotion into Military Simulation and Videogame Design: America's Army Operations and VIRTE

Russ Shilling, Zyda, Michael; E. Casey Wardynski,
Fonte: Escola de Pós-Graduação Naval Publicador: Escola de Pós-Graduação Naval
Tipo: Conference Paper
Português
in the Proceedings of the GameOn Conference, London, 30 November 2002, pp. 151-154.; Accepted/Published Conference Paper

Virtual reality transfer protocol (vrtp) Design Rationale

Brutzman, Don; Watsen, Kent, Macedonia, Michael; Zyda, Michael
Fonte: Escola de Pós-Graduação Naval Publicador: Escola de Pós-Graduação Naval
Tipo: Conference Paper
Português
Proceedings of the IEEE Sixth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE '97), Distributed System Aspects of Sharing a Virtual Reality workshop, June 18-20, 1997, at the Massachusetts Institute of Technology in Cambridge, Massachusetts, USA, pp.179- 186.

America's Army PC Game - Vision and Realization

Fonte: Escola de Pós-Graduação Naval Publicador: Escola de Pós-Graduação Naval
Tipo: Livro
Português
Produced by the United States Army and the MOVES Institute in conjunction with the America’s Army presentation at the Game Scenes exhibition, Yerba Buena Art Center, San Francisco, January 2004. Editor: Margaret Davis Art Editor: Phillip Bossant Booklet Design and Production: The Wecker Group, Monterey, CA

Understanding Uncertainty in Climate Model Components

Tokmakian, Robin; Challenor, P.; Gattiker, Jim
Fonte: Escola de Pós-Graduação Naval Publicador: Escola de Pós-Graduação Naval
Tipo: Conferência ou Objeto de Conferência
Português
Presentation includes: Introduction & motivation, uncertainty methodology, designing the experiment, ocean metrics, and early outcomes

Sovereignty - The Ultimate States' Rights Argument

Simons, Anna
Fonte: Escola de Pós-Graduação Naval Publicador: Escola de Pós-Graduação Naval
Português
The Telegram (FPRI-Temple University Consortium on Grand Strategy), No. 5, July 2011.

The Culture of War' and 'Sex and War' (book review essay)

Simons, Anna
Fonte: Escola de Pós-Graduação Naval Publicador: Escola de Pós-Graduação Naval
Português
Armed Forces & Society, 36(5), October 2010.; The article of record as published may be located at http://dx.doi.org/10.1177/0095327X09356257

Dynamic Programming and the Backpacker's Linear Search Problem

Washburn, A.R.
Fonte: Escola de Pós-Graduação Naval Publicador: Escola de Pós-Graduação Naval
Tipo: Artigo de Revista Científica
Português
Journal of Computational and Applied Mathematics, Vol. 60, 1995, pp. 357-365.; A backpacker approaches a road with a marker on it, desirous of finding the maker but only having a rough idea of where it is located. It is well known among backpackers that it is best to aim either right or left of the marker, since otherwise it will not be clear which way to turn upon reaching the road. The problem of deciding exactly where to aim can be formalized as a modification of the Linear Search Problem. This paper does so, and also discusses dynamic programming as a solution method.

But What Can You Do For Us? The flaws of America's "new" security assistance policy

Simons, Anna
Fonte: Escola de Pós-Graduação Naval Publicador: Escola de Pós-Graduação Naval
Tipo: Artigo de Revista Científica
Português
The American Interest [website], April 11, 2013.

Haskell-style Overloading is NP Hard

Volpano, Dennis
Fonte: Escola de Pós-Graduação Naval Publicador: Escola de Pós-Graduação Naval
Português
The article of record as published may be found at http://dx.doi.org/; Extensions of the ML type system, based on constrained type schemes, have been proposed for languages with overloading. Type inference in these systems requires solving the following satisfiability problems. Given a set of type assumptions C over finite types, and a type basis A, is there is a substitution S that satisfies C in that A 1- CS is derivable? Under arbitrary overloading, the problem is undecidable. Haskell limits overloading to a form similar to that proposed by Keas called parametric overloading. We formally characterize parametric overloading in terms of a regular tree language and prove that although decidable, satisfiability is NP-hard when overloading is parametric.