[pt] Este trabalho aborda a utilização de repetidores na implantação de sistemas móveis celulares. Esta técnica permite estender a cobertura dos sistemas móveis celulares com baixo custo e curto tempo de implantação a áreas ou ambientes onde a utilização de estações rádio base seria dispendiosa ou demorada.O impacto da inclusão deste elemento na interface rádio é detalhadamente analisada visando obter uma metodologia para o seu dimensionamento e para o cálculo das degradações produzidas na rede. É apresentada ainda uma metodologia completa para projetos com repetidores e descrita sua aplicação na implantação de um sistema GSM. / [en] This work deals with the use of active repeaters in the planning and deployment of cellular mobile systems. This technique allows the extension of the coverage of the cellular systems, with low cost and short building time, to areas where the use of radio base stations would be costly or difficult to implement.The impact of the inclusion of the active element in the radio interface is analyzed in full detail to provide methods for the calculation of the degradations produced in the network. A complete design methodology for projects with repeaters is also presented, as well as a case study for a GSM system.

A number of logical code coverage criteria have been used throughout the years in the testing of safety-critical software. Kaminski, et al. proposed Relational Operator Replacement Global (RORG), a method to bring benefits from ROR mutation to Modified Condition / Decision Coverage (MCDC), which is widely used in the avionics industry. However, there is a lack of studies in the industry to support this method. In this thesis, we report on the results of applying RORG to avionic code, augmenting an MCDC adequate test set to satisfy RORG, evaluating its ability to find real faults in industrial software. Conclusions drawn from this thesis are: (1) Faults in relational operators in avionic code are rare, no faults were found in this study. (2) 24% of the relational operators in our study would require additional software requirements to be verified for RORG coverage. (3) 37% of the relational operators in our study were infeasible to test due to program semantics. (4) 84% of the tests added covered enumeration comparisons.

In the development process of digital circuits, it is often not possible to avoid introducing errors into systems that are being developed. Early detection of such errors saves money and time. This project deals with automation of feedback in functional verification of various data processing components. The goal of automatic feedback is not only to shorten the time needed to verify the functionality of a system, but mainly to improve verification coverage of corner cases and thus increase the confidence in the verified system. General functional and formal verification principles and practices are discussed, coverage metrics are presented, limitations of both techniques are mentioned and room for improvement of current status is identified. Design of feedback verification environment using a genetic algorithm is described in detial. The verification results are summarized and evaluated.

with Walter Robinson, Stephen Kurkjian, Michael Rezendes, Sacha Pfeiffer, and Matt Carroll / Robsham Theater

This study examines the discrimination against Japanese immigrants in U.S. naturalization law up to 1952 and how it was covered in the Oregonian newspaper, one of the oldest and most widely read newspapers on the West Coast. The anti-Japanese movement was much larger in California, but this paper focuses on the attitudes in Oregon, which at times echoed sentiments in California but at other times conveyed support for Japanese naturalization. Naturalization laws at the turn of the century were vague, leaving the task of defining who was white, and thus eligible for naturalization, to the courts. Japanese applicants were often denied, but until the federal government clarified which immigrants could or could not become citizens, the subject remained open to debate. "Ineligibility to naturalization" was often used as a code for "Japanese" in discriminatory land use laws and similar legislation at the state level in California and in other western states. This study highlights several factors which influenced Oregonian editorials on the subject. First, the fear of offending Japan and provoking war with that empire was a foremost concern of Oregonian editors. California's moves to use naturalization law to prevent Japanese immigrants from owning land were seen as dangerous because they damaged relations with Japan and could lead to war. The Oregonian went so far as to recommend Japanese naturalization during the First World War. However, war and foreign relations were federal issues, thus the second theme seen throughout Oregonian editorials was deference to federal authority on questions related to naturalization. While suggesting that naturalization for existing immigrants might be good policy, the Oregonian urged the federal government to settle the matter. Once the Supreme Court ruled against Asian naturalization in 1922 and 1923, the Oregonian dropped its push for such rights. Nativism was another theme that influenced opinions at this time, and before 1923 the Oregonian generally opposed extreme nativist positions, while at the same time advocating for limits to Japanese immigration and against mixed marriages. This paper does not deal with the incarceration of Japanese Americans during World War II because naturalization was not the issue for the anti-exclusion movement at the time. Citizenship did not give the Nisei, second generation Japanese American citizens, any protection against their wartime removal from the West Coast. This study returns to the issue of naturalization for Japanese immigrants after the war, as a number of Issei, first generation Japanese immigrants, still lived in the United States but were denied citizenship, even though most had been in the country for decades at that point. There was less opposition to Japanese naturalization after the war due to the noted loyalty of the Japanese during the war, the focus on human rights as an issue promoted by the new United Nations, and Cold War politics which demanded better relations with Japan and thus fairer treatment of Japanese living in the United States. The Oregonian editorials reflected the shift in public opinion throughout the country in favor of lifting the racial bar to citizenship. Japanese Americans in Oregon were active in the campaign to change U.S. naturalization law. The issue was more important to the Japanese American community than it was to the Oregonian editorial board by then, as other Cold War events took precedence on the front and op-ed pages of the newspaper.

No description available.

The increase of mass shootings in the U.S. has amplified news reporting on mental illness as a possible factor in the shootings despite no evidence linking the two issues. Sources used to explain mental illness in stories that explore the motivations of mass shooters affect audience perception. Through a qualitative content analysis of local newspaper coverage of five U.S. mass shootings in 2015, journalists linked mental illness as a possible motive through sources who were not qualified to treat or diagnose mental illness. Journalists also ignored professional guidance from the Associated Press on mental illness reporting in the context of mass shootings. Additionally, journalists assumed the audience was knowledgeable of mental illness in general terms and specific diagnoses. These findings indicate coverage of mass shootings includes inaccurate information about shooters' motives, and it also continues to frame mental illness as dangerous.

No description available.

Vehicular communication networks are essential to the development of intelligent navigation systems and improvement of road safety. Unlike most terrestrial networks of today, vehicular networks are characterized by stringent reliability and latency requirements. In order to design efficient networks to meet these requirements, it is important to understand the system-level performance of vehicular networks. Stochastic geometry has recently emerged as a powerful tool for the modeling and analysis of wireless communication networks. However, the canonical spatial models such as the 2D Poisson point process (PPP) does not capture the peculiar spatial layout of vehicular networks, where the locations of vehicular nodes are restricted to roadways. Motivated by this, we consider a doubly stochastic spatial model that captures the spatial coupling between the vehicular nodes and the roads and analyze the performance of vehicular communication networks. We model the spatial layout of roads by a Poisson line process (PLP) and the locations of nodes on each line (road) by a 1D PPP, thereby forming a Cox process driven by a PLP or Poisson line Cox process (PLCP). In this dissertation, we develop the theory of the PLCP and apply it to study key performance metrics such as coverage probability and rate coverage for vehicular networks under different scenarios. First, we compute the signal-to-interference plus noise ratio (SINR)-based success probability of the typical communication link in a vehicular ad hoc network (VANET). Using this result, we also compute the area spectral efficiency (ASE) of the network. Our results show that the optimum transmission probability that maximizes the ASE of the network obtained for the Cox process differs significantly from that of the conventional 1D and 2D PPP models. Second, we calculate the signal-to-interference ratio (SIR)-based downlink coverage probability of the typical receiver in a vehicular network for the cellular network model in which each receiver node connects to its closest transmitting node in the network. The conditioning on the serving node imposes constraints on the spatial configuration of interfering nodes and also the underlying distribution of lines. We carefully handle these constraints using various fundamental distance properties of the PLCP and derive the exact expression for the coverage probability. Third, building further on the above mentioned works, we consider a more complex cellular vehicle-to-everything (C-V2X) communication network in which the vehicular nodes are served by roadside units (RSUs) as well as cellular macro base stations (MBSs). For this setup, we present the downlink coverage analysis of the typical receiver in the presence of shadowing effects. We address the technical challenges induced by the inclusion of shadowing effects by leveraging the asymptotic behavior of the Cox process. These results help us gain useful insights into the behavior of the networks as a function of key network parameters, such as the densities of the nodes and selection bias. Fourth, we characterize the load on the MBSs due to vehicular users, which is defined as the number of vehicular nodes that are served by the MBS. Since the limited network resources are shared by multiple users in the network, the load distribution is a key indicator of the demand of network resources. We first compute the distribution of the load on MBSs due to vehicular users in a single-tier vehicular network. Building on this, we characterize the load on both MBSs and RSUs in a heterogeneous C-V2X network. Using these results, we also compute the rate coverage of the typical receiver in the network. Fifth and last, we explore the applications of the PLCP that extend beyond vehicular communications. We derive the exact distribution of the shortest path distance between the typical point and its nearest neighbor in the sense of path distance in a Manhattan Poisson line Cox process (MPLCP), which is a special variant of the PLCP. The analytical framework developed in this work allows us to answer several important questions pertaining to transportation networks, urban planning, and personnel deployment. / Doctor of Philosophy / Vehicular communication networks are essential to the development of intelligent transportation systems (ITS) and improving road safety. As the in-vehicle sensors can assess only their immediate environment, vehicular nodes exchange information about critical events, such as accidents and sudden braking, with other vehicles, pedestrians, roadside infrastructure, and cellular base stations in order to make critical decisions in a timely manner. Considering the time-sensitive nature of this information, it is of paramount importance to design efficient communication networks that can support the exchange of this information with reliable and high-speed wireless links. Typically, prior to actual deployment, any design of a wireless network is subject to extensive analysis under various operational scenarios using computer simulations. However, it is not viable to rely entirely on simulations for the system design of highly complex systems, such as the vehicular networks. Hence, it is necessary to develop analytical methods that can complement simulators and also serve as a benchmark. One of the approaches that has gained popularity in the recent years for the modeling and analysis of large-scale wireless networks is the use of tools from stochastic geometry. In this approach, we endow the locations of wireless nodes with some distribution and analyze various aspects of the network by leveraging the properties of the distribution. Traditionally, wireless networks have been studied using simple spatial models in which the wireless nodes can lie anywhere on the domain of interest (often a 1D or a 2D plane). However, vehicular networks have a unique spatial geometry because the locations of vehicular nodes are restricted to roadways. Therefore, in order to model the locations of vehicular nodes in the network, we have to first model the underlying road systems. Further, we should also consider the randomness in the locations of vehicles on each road. So, we consider a doubly stochastic model called Poisson line Cox process (PLCP), in which the spatial layout of roads are modeled by random lines and the locations of vehicles on the roads are modeled by random set of points on these lines. As is usually the case in wireless networks, multiple vehicular nodes and roadside units (RSUs) operate at the same frequency due to the limited availability of radio frequency spectrum, which causes interference. Therefore, any receiver in the network obtains a signal that is a mixture of the desired signal from the intended transmitter and the interfering signals from the other transmitters. The ratio of the power of desired signal to the aggregate power of the interfering signals, which is called as the signal-to-interference ratio (SIR), depends on the locations of the transmitters with respect to the receiver. A receiver in the network is said to be in coverage if the SIR measured at the location of the receiver exceeds the required threshold to successfully decode the message. The probability of occurrence of this event is referred to as the coverage probability and it is one of the fundamental metrics that is used to characterize the performance of a wireless network. In our work, we have analytically characterized the coverage probability of the typical vehicular node in the network. This was the first work to present the coverage analysis of a vehicular network using the aforementioned doubly stochastic model. In addition to coverage probability, we have also explored other performance metrics such as data rate, which is the number of bits that can be successfully communicated per unit time, and spectral efficiency. Our analysis has revealed interesting trends in the coverage probability as a function of key system parameters such as the density of roads in a region (total length of roads per unit area), and the density of vehicles on the roads. We have shown that the vehicular nodes in areas with high density of roads have lower coverage than those in areas with sparsely distributed roads. On the other hand, the coverage probability of a vehicular node improves as the density of vehicles on the roads increases. Such insights are quite useful in the design and deployment of network infrastructure. While our research was primarily focused on communication networks, the utility of the spatial models considered in these works extends to other areas of engineering. For a special variant of the PLCP, we have derived the distribution of the shortest path distance between an arbitrary point and its nearest neighbor in the sense of path distance. The analytical framework developed in this work allows us to answer several important questions pertaining to infrastructure planning and personnel deployment.

The prominent division in early America between the established eastern populations and communities in the West is evident when viewed through the lens of eighteenth-century Philadelphia newspapers, which themselves employed an East-West paradigm to interpret four events: the Paxton Boys Incident, Regulator Rebellion, Shays's Rebellion, and Constitutional Convention. Through the choices of what words to use to describe these clashes, through oversights, omissions, and misrepresentations, and sometimes through more direct tactics, Philadelphia newspapermen revealed a persistent cultural bias against and rivalry with western communities. This study illustrates how pervasive this contrast between East and West was in the minds of easterners; how central a feature of early American culture they considered it to be.