Naval Postgraduate School

About: Naval Postgraduate School is a education organization based out in Monterey, California, United States. It is known for research contribution in the topics: Tropical cyclone & Nonlinear system. The organization has 5246 authors who have published 11614 publications receiving 298300 citations. The organization is also known as: NPS & U.S. Naval Postgraduate School.

Recentering computer science

Abstract: The recent decreases of enrollment in computer science programs signal a chasm between our historical emphasis on programming and the contemporary concerns of those choosing careers.

Scheduling short-term marine transport of bulk products

Abstract: A multinational company uses a personal computer to schedule a fleet of coastal tankers and barges transporting liquid bulk products among plants, distribution centres (tank farms), and industrial customers. A simple spreadsheet interface cloaks a sophisticated optimization-based decision support system and makes this system useable via a varity of natural languages. The dispatchers, whose native language is not English, and some of whom presumably speak no English at all, communicate via the spreadsheet, and view recommended schedules displayed in Gantt charts both internationally familiar tools. Inside the spreadsheet, a highly detailed simulation can generate every feasible alternate vessel employment schedule, and an integer linear set partitioning model selects one schedule for each vessel so that all loads and deliveries are completed at minimal cost while satisfying all operational requirements. The optimized fleet employment schedule is displyed graphically with hourly time resolution over a plann...

Knowledge management research & practice: visions and directions

Abstract: This editorial paper outlines key directions for knowledge management research and practice. The editorial team presents the results from a small survey of academics and practitioners about the present and future of knowledge management, and the editors include their own informed views on how this journal can help promote scholarly inquiry in the field.

Extratropical Transition of Tropical Cyclones over the Western North Pacific. Part II: The Impact of Midlatitude Circulation Characteristics

Abstract: Two characteristic midlatitude circulation patterns (labeled northwest and northeast) are found to be associated with extratropical transition (ET) of tropical cyclones over the western North Pacific Ocean. Although in both cases the tropical cyclone moves poleward ahead of a midlatitude trough, the primary midlatitude circulation is either that trough or is a large quasi-stationary cyclone to the northeast of the poleward-moving tropical cyclone. Transition into a northwest pattern typically results in the development within 36 h of an intense extratropical cyclone that moves north–northeast. A tropical cyclone that moves into a northeast pattern enters into strong zonal flow between the primary midlatitude circulation and the subtropical ridge to the southeast. These systems move rapidly eastward and do not intensify significantly during the 36 h following transition. In Part I of this study, the ET of Typhoon (TY) David (1997) and the ET of TY Opal (1997) were investigated in terms of the form...

Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security

Abstract: High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. Crafting the core of such a system in a way that achieves flexibility, security, and performance requires a careful balancing act. Simple static primitives with hard partitions of space and time are easier to analyze formally, but strict approaches to the problem at the hardware level have been extremely restrictive, failing to allow even the simplest of dynamic behaviors to be expressed. Our approach to this problem is to construct a minimal but configurable architectural skeleton. This skeleton couples a critical slice of the low level hardware implementation with a microkernel in a way that allows information flow properties of the entire construction to be statically verified all the way down to its gate-level implementation. This strict structure is then made usable by a runtime system that delivers more traditional services (e.g. communication interfaces and long-living contexts) in a way that is decoupled from the information flow properties of the skeleton. To test the viability of this approach we design, test, and statically verify the information-flow security of a hardware/software system complete with support for unbounded operation, inter-process communication, pipelined operation, and I/O with traditional devices. The resulting system is provably sound even when adversaries are allowed to execute arbitrary code on the machine, yet is flexible enough to allow caching, pipelining, and other common case optimizations.