3 resultados para Secure operating system

em Bucknell University Digital Commons - Pensilvania - USA


Relevância:

80.00% 80.00%

Publicador:

Resumo:

People remember moving objects as having moved farther along in their path of motion than is actually the case; this is known as representational momentum (RM). Some authors have argued that RM is an internalization of environmental properties such as physical momentum and gravity. Five experiments demonstrated that a similar memory bias could not have been learned from the environment. For right-handed Ss, objects apparently moving to the right engendered a larger memory bias in the direction of motion than did those moving to the left. This effect, clearly not derived from real-world lateral asymmetries, was relatively insensitive to changes in apparent velocity and the type of object used, and it may be confined to objects in the left half of visual space. The left–right effect may be an intrinsic property of the visual operating system, which may in turn have affected certain cultural conventions of left and right in art and other domains.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

This project addresses the unreliability of operating system code, in particular in device drivers. Device driver software is the interface between the operating system and the device's hardware. Device drivers are written in low level code, making them difficult to understand. Almost all device drivers are written in the programming language C which allows for direct manipulation of memory. Due to the complexity of manual movement of data, most mistakes in operating systems occur in device driver code. The programming language Clay can be used to check device driver code at compile-time. Clay does most of its error checking statically to minimize the overhead of run-time checks in order to stay competitive with C's performance time. The Clay compiler can detect a lot more types of errors than the C compiler like buffer overflows, kernel stack overflows, NULL pointer uses, freed memory uses, and aliasing errors. Clay code that successfully compiles is guaranteed to run without failing on errors that Clay can detect. Even though C is unsafe, currently most device drivers are written in it. Not only are device drivers the part of the operating system most likely to fail, they also are the largest part of the operating system. As rewriting every existing device driver in Clay by hand would be impractical, this thesis is part of a project to automate translation of existing drivers from C to Clay. Although C and Clay both allow low level manipulation of data and fill the same niche for developing low level code, they have different syntax, type systems, and paradigms. This paper explores how C can be translated into Clay. It identifies what part of C device drivers cannot be translated into Clay and what information drivers in Clay will require that C cannot provide. It also explains how these translations will occur by explaining how each C structure is represented in the compiler and how these structures are changed to represent a Clay structure.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Studying liquid fuel combustion is necessary to better design combustion systems. Through more efficient combustors and alternative fuels, it is possible to reduce greenhouse gases and harmful emissions. In particular, coal-derived and Fischer-Tropsch liquid fuels are of interest because, in addition to producing fewer emissions, they have the potential to drastically reduce the United States' dependence on foreign oil. Major academic research institutions like the Pennsylvania State University perform cutting-edge research in many areas of combustion. The Combustion Research Laboratory (CRL) at Bucknell University is striving to develop the necessary equipment to be capable of both independent and collaborative research efforts with Penn State and in the process, advance the CRL to the forefront of combustion studies. The focus of this thesis is to advance the capabilities of the Combustion Research Lab at Bucknell. Specifically, this was accomplished through a revision to a previously designed liquid fuel injector, and through the design and installation of a laser extinction system for the measurement of soot produced during combustion. The previous liquid fuel injector with a 0.005" hole did not behave as expected. Through spray testing the 0.005" injector with water, it was determined that experimental errors were made in the original pressure testing of the injector. Using data from the spray testing experiment, new theoretical hole sizes of the injector were calculated. New injectors with 0.007" and 0.0085" orifices were fabricated and subsequently tested to qualitatively validate their behavior. The injectors were installed in the combustion rig in the CRL and hot-fire tested with liquid heptane. The 0.0085" injector yielded a manageable fuel pressure and produced a broad flame. A laser extinction system was designed and installed in the CRL. This involved the fabrication of a number of custom-designed parts and the specification of laser extinction equipment for purchase. A standard operating procedure for the laser extinction system was developed to provide a consistent, safe method for measuring soot formation during combustion.