The behavioral properties shown by people when they make selections between different choices will be studied. Based on empirical and logical data a mathematical axiomatic model is built. D. Luce is a major contributor in this area. This thesis is based on his works and those of his many co-authors. Three approaches will be considered that lead to the rank-dependent utility representation of binary gambles composed only of gains (losses) relative to a status quo. The proofs involve the theory of functional equations which is a very powerful tool giving the precise numerical representations.

Dynamic binary translation allows us to analyze a program during execution without the need for a compiler or the program's source code. In this work, we present two applications of dynamic binary translation: tracematches and unread memory detection. Libraries are ubiquitous in modern software development. Each library requires that its clients follow certain conventions, depending on the domain of the library. Tracematches are a particularly expressive notation for specifying library usage conventions, but have only been implemented on top of Java. In this work, we leverage dynamic binary translation to enable the use of tracematches on executables, particularly for compiled C/C++ programs. The presence of memory that is never read, or memory writes that are never read during execution is wasteful, and may be also be indicative of bugs. In addition to tracematches, we present an unread memory detector. We built this detector using dynamic binary translation. We have implemented a tool which monitors tracematches on top of the Pin framework along with unread memory. We describe the operation of our tool using a series of motivating examples and then present our overall monitoring approach. Finally, we include benchmarks showing the overhead of our tool on 4 open source projects and report qualitative results.

Since William Gibson includes a Rastafarian Enclave and a theological compass in <i>Neuromancer</i>, this can be used to examine the troublesome natures of the two Artificial Intelligences, Wintermute and Neuromancer. The Rastafarian's beliefs and interpretations of Babylon and Zion, the oppressors and the liberated, add political significance to the Tessier-Ashpool's and their enslaved Artificial Intelligences. Since the Artificial Intelligences are both created of Babylon the Tessier-Ashpools and also wanting to be free of them, they are something outside of both. In the Artificial Intelligences, then, Gibson collapses the straightforward dichotomy of Babylon and Zion.

In this thesis I have searched for and analyzed possible mechanisms of domination and strategies for resistance in the novel La isla bajo el mar by Isabel Allende. This was done with a post-colonial and feminist perspective, focusing on the structural divisions that can be found within these frameworks and using binary oppositions to identify different unequal power relations. These oppositions showed me the unjust structures that are being present in the novel, and made it easier to identify the mechanisms used to oppress certain groups of people. After identifying the mechanisms of oppression, I could also point out the strategies of resistance used by Teté, the main character, and oppressed groups together to resist this domination and the power of the norms in society.

The essay is about the unnamed husband in Jean Rhys's Wide Sargasso Sea. About how he is depicted as the European "Other" and made into a feminized and zombified weak character from a Caribbean/feminist perspective...

In recent years, the development of power line communication and relational application is gradually attracted much attention. The use of power line system is able to achieve home network automation, automatic meter reading, and demand supply management, so it can be a great help for the current emphasis on energy conservation ideas. Therefore, many international organizations and national programs involve in researches. The signal is vulnerable to the environment causing data error in the power line transmission, so that we reduce the use of power line communication. For making great application of power line system, the main purpose of the thesis is to study that ensure the data accuracy, integrity and security through power line transmission. Therefore, we designed the digital chip for power line communication. We achieve the signal transmission with the half-duplex ability through power line by digital chip designing and solve error problems about transmitting data. By designing the modules of digital circuit, the chip can encrypt/decrypt data, correct error-bits of data, detect accuracy of data, process control signals, and modulate/demodulate signals. The purpose is for increasing data accuracy in PLC transmission. The chip design adopts TSMC 0.18£gm process as full digital circuits and applies to the energy meter management.

This thesis proposes a new variable-order prediction method to predict the Shannon expansion order during the BDD tree generator. Combining this method with the original minimum width method, we can generator a better BDD tree to be used in our pass-transistor logic synthesizer. Also we propose two partitioning methods to reduce the length of the critical paths. The first method can effectively reduce the critical path delay at the cost of much higher area cost. The second method explores the common factors in the Boolean functions to reduce the critical path delay with reasonably increased area cost. Furthermore, we discuss the methods of inserting regenerating inverters/buffers along the path in BDD tree by selecting inverter cells and MUX cells of proper driving strength to optimize the area/cost/power performance. Finally, the automatic layout generation is considered to produce the physical layout more efficiently compared with that using commericial automatic place-and-route tools.

Zeolites are crystalline, hydrated aluminosilicate minerals that are characterized by their ability to exchange some of their constituent cations with cations in aqueous solutions, without a major change in their crystalline structure. Clinoptilolite is the most abundant ype of zeolite and it has received extensive attention due to its favorable selectivity for mmonium and certain heavy metal cations. The aim of this study is to investigate the binary and ternary (multicomponent) ion xchange behavior of sodium form of G&ouml / rdes type clinoptilolite for ammonium,cadmium and sodium ions. For this purpose, NH4 +-Na+,Cd2+-Na+ binary systems and NH4 +-Cd2+-Na+ multicomponent system were investigated both in batch and column systems at 0.1 and 0.01 constant total normality respectively and at 250C constant temperature. As a result of binary and ternary experiments, clinoptilolite&rsquo / s affinity for both ions but greater affinity to NH4+ ion than Cd2+ ion was observed and the selectivity sequence of G&ouml / rdes clinoptilolite was determined as NH4+&gt / Cd2+&gt / Na+ in binary and multicomponent batch and column operations. Additionally, total ion exchange capacities and maximum exchange levels of G&ouml / rdes clinoptilolite for both ions were determined in batch systems whereas breakthrough capacities and column efficiencies (for three different flow rates) were determined in column systems. Finally, it was concluded that the increase of the flow rate reduced the breakthrough capacities and column efficiencies of G&ouml / rdes clinoptilolite for ammonium and cadmium ions in multicomponent column systems involving more than one cation.

The thesis illustrates the development of DSP-based systems-¡§Hand Written Number Recognition System,¡¨ and ¡§Pattern Recognition System.¡¨ Hand written number recognition system consists of three sub-systems and recognition algorithm: Image Acquisition System, Image Preprocessing System, Image Segmentation System and Binary Pattern Match Algorithm. Pattern recognition system, as well, consists of three sub-systems and recognition algorithm: Image Acquisition System, Image Preprocessing System, Image Segmentation System, and Visual Dynamic Time Warping Algorithm. From the result of the experiment, both DSP image recognition systems can meet the expectation and gain good recognition and efficiency.

Because of limited tester time and memory, a primary goal of digital circuit manufacture test generation is to create compact test sets. Test generation programs that use Ordered Binary Decision Diagrams (OBDDs) as their primary functional representation excel at this task. Unfortunately, the use of OBDDs limits the application of these test generation programs to small circuits. This is because the size of the OBDD used to represent a function can be exponential in the number of the function's switching variables. Working with these functions can cause OBDD-based programs to exceed acceptable time and memory limits. This research proposes using Ordered Partial Decision Diagrams (OPDDs) instead as the primary functional representation for test generation systems. By limiting the number of vertices allowed in a single OPDD, complex functions can be partially represented in order to save time and memory. An OPDD-based test generation system is developed and techniques which improve its performance are evaluated on a small benchmark circuit. The new system is then demonstrated on larger and more complex circuits than its OBDD-based counterpart allows.