Linguistic Modelling of Short-Timescale Electricity Consumption Using Fuzzy Modelling Techniques

This paper presents a mathematical model for short-term (24 hour) electrical energy consumption in Ireland. The model is based on fuzzy logic and the parameters determined by drawing on the extensive intuitive knowledge of operators in the National Control Centre (NCC) in E.S.B., using a series of questionnaires to determine the shape and location of the fuzzy sets, and the fuzzy rules used to evaluate the model output. The performance of the computer-based fuzzy model is comparable to that obtained by E.S.B. experts

February 22, 1999

The Breeze is the student newspaper of James Madison University in Harrisonburg, Virginia

November 14, 2019

The Breeze is the student newspaper of James Madison University in Harrisonburg, Virginia

A Verified Information-Flow Architecture

SAFE is a clean-slate design for a highly secure computer system, with pervasive mechanisms for tracking and limiting information flows. At the lowest level, the SAFE hardware supports fine-grained programmable tags, with efficient and flexible propagation and combination of tags as instructions are executed. The operating system virtualizes these generic facilities to present an information-flow abstract machine that allows user programs to label sensitive data with rich confidentiality policies. We present a formal, machine-checked model of the key hardware and software mechanisms used to dynamically control information flow in SAFE and an end-to-end proof of noninterference for this model. We use a refinement proof methodology to propagate the noninterference property of the abstract machine down to the concrete machine level. We use an intermediate layer in the refinement chain that factors out the details of the information-flow control policy and devise a code generator for compiling such information-flow policies into low-level monitor code. Finally, we verify the correctness of this generator using a dedicated Hoare logic that abstracts from low-level machine instructions into a reusable set of verified structured code generators

September 3, 1998

The Breeze is the student newspaper of James Madison University in Harrisonburg, Virginia

Compiling array computations for the Fresh Breeze Parallel Processor

Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2007.Includes bibliographical references (p. 80).Fresh Breeze is a highly parallel architecture currently under development, which strives to provide high performance scientific computing with simple programmability. The architecture provides for multithreaded determinate execution with a write-once shared memory system. In particular, Fresh Breeze data structures must be constructed from directed acyclic graphs of immutable fixed-size chunks of memory, rather than laid out in a mutable linear memory. While this model is well suited for executing functional programs, the goal of this thesis is to see if conventional programs can be efficiently compiled for this novel memory system and parallelization model, focusing specifically on array-based linear algebra computations. We compile a subset of Java, targeting the Fresh Breeze instruction set. The compiler, using a static data-flow graph intermediate representation, performs analysis and transformations which reduce communication with the shared memory and identify opportunities for parallelization.by Igor Arkadiy Ginzburg.M.Eng

July 5, 1990

The Breeze is the student newspaper of James Madison University in Harrisonburg, Virginia

Wind Sensitivity and Coastal Ocean Response Analysis of the Mississippi Sound - A Modeling Study

Mississippi Sound is a shallow water estuarine system separated from Gulf of Mexico shelf waters by barrier islands and characterized by its strong weather fronts, storms, and hurricanes that affect the hydrodynamic and morphological factors of the area. In this study, a numerical modeling system is used to study the effects of the wind on coastal settings, inlets, and water exchange. The present work developed a MATLAB computational algorithm that filters and interpolates the wind forcing file obtained through the High-Resolution Rapid Refresh (HRRR) product to model the two data sets (unfiltered and filtered) in the COAWST ocean model. The results obtained from the model were analyzed analytically and quantitatively. Oceanic fields that are sensitive to wind force in coastal processes and estuarine systems were then isolated. The results made it possible to perceive the impact of the wind on ocean currents, on the exchange of continental and oceanic waters (through stratified salinity in the water column) and impacts on coastal fronts. The mean wind speed in the filtered data obtained decreased by approximately 2 m / s in all directions compared to the speed of the full resolution data. The most notable differences in flow velocity were observed in low-pressure systems, obtaining more precise and consistent values in the filtered data. The modeling tool created can be replicated and applied in different regions of the world as an instrument to understand and mitigate coastal marine impacts

December 8, 2005

The Breeze is the student newspaper of James Madison University in Harrisonburg, Virginia