Consumer Focus: Getting Static about Your Satellite or Cable TV Complaint?, November 2016

The Attorney General’s Consumer Protection Division receives hundreds of calls and consumer complaints every year. Follow these tips to avoid unexpected expense and disappointments. This record is about: New Credit and Debit Card Chips

Topics in equilibrium and nonequilibrium thermodynamics: computing crystalline free energies and engineering Maxwell’s demon.

This dissertation covers two separate topics in statistical physics. The first part of the dissertation focuses on computational methods of obtaining the free energies (or partition functions) of crystalline solids. We describe a method to compute the Helmholtz free energy of a crystalline solid by direct evaluation of the partition function. In the many-dimensional conformation space of all possible arrangements of N particles inside a periodic box, the energy landscape consists of localized islands corresponding to different solid phases. Calculating the partition function for a specific phase involves integrating over the corresponding island. Introducing a natural order parameter that quantifies the net displacement of particles from lattices sites, we write the partition function in terms of a one-dimensional integral along the order parameter, and evaluate this integral using umbrella sampling. We validate the method by computing free energies of both face-centered cubic (FCC) and hexagonal close-packed (HCP) hard sphere crystals with a precision of $10^{-5}k_BT$ per particle. In developing the numerical method, we find several scaling properties of crystalline solids in the thermodynamic limit. Using these scaling properties, we derive an explicit asymptotic formula for the free energy per particle in the thermodynamic limit. In addition, we describe several changes of coordinates that can be used to separate internal degrees of freedom from external, translational degrees of freedom. The second part of the dissertation focuses on engineering idealized physical devices that work as Maxwell's demon. We describe two autonomous mechanical devices that extract energy from a single heat bath and convert it into work, while writing information onto memory registers. Additionally, both devices can operate as Landauer's eraser, namely they can erase information from a memory register, while energy is dissipated into the heat bath. The phase diagrams and the efficiencies of the two models are solved and analyzed. These two models provide concrete physical illustrations of the thermodynamic consequences of information processing.

Automated Software Debugging Using Hybrid Static/Dynamic Analysis

With the increasing complexity of today's software, the software development process is becoming highly time and resource consuming. The increasing number of software configurations, input parameters, usage scenarios, supporting platforms, external dependencies, and versions plays an important role in expanding the costs of maintaining and repairing unforeseeable software faults. To repair software faults, developers spend considerable time in identifying the scenarios leading to those faults and root-causing the problems. While software debugging remains largely manual, it is not the case with software testing and verification. The goal of this research is to improve the software development process in general, and software debugging process in particular, by devising techniques and methods for automated software debugging, which leverage the advances in automatic test case generation and replay. In this research, novel algorithms are devised to discover faulty execution paths in programs by utilizing already existing software test cases, which can be either automatically or manually generated. The execution traces, or alternatively, the sequence covers of the failing test cases are extracted. Afterwards, commonalities between these test case sequence covers are extracted, processed, analyzed, and then presented to the developers in the form of subsequences that may be causing the fault. The hypothesis is that code sequences that are shared between a number of faulty test cases for the same reason resemble the faulty execution path, and hence, the search space for the faulty execution path can be narrowed down by using a large number of test cases. To achieve this goal, an efficient algorithm is implemented for finding common subsequences among a set of code sequence covers. Optimization techniques are devised to generate shorter and more logical sequence covers, and to select subsequences with high likelihood of containing the root cause among the set of all possible common subsequences. A hybrid static/dynamic analysis approach is designed to trace back the common subsequences from the end to the root cause. A debugging tool is created to enable developers to use the approach, and integrate it with an existing Integrated Development Environment. The tool is also integrated with the environment's program editors so that developers can benefit from both the tool suggestions, and their source code counterparts. Finally, a comparison between the developed approach and the state-of-the-art techniques shows that developers need only to inspect a small number of lines in order to find the root cause of the fault. Furthermore, experimental evaluation shows that the algorithm optimizations lead to better results in terms of both the algorithm running time and the output subsequence length.

Cone penetration testing to assess slope stability in the 1979 Nice landslide area (Ligurian Margin, SE France)

In the landslide-prone area near the Nice international airport, southeastern France, an interdisciplinary approach is applied to develop realistic lithological/geometrical profiles and geotechnical/strength sub-seafloor models. Such models are indispensable for slope stability assessments using limit equilibrium or finite element methods. Regression analyses, based on the undrained shear strength (su) of intact gassy sediments are used to generate a sub-seafloor strength model based on 37 short dynamic and eight long static piezocone penetration tests, and laboratory experiments on one Calypso piston and 10 gravity cores. Significant strength variations were detected when comparing measurements from the shelf and the shelf break, with a significant drop in su to 5.5 kPa being interpreted as a weak zone at a depth between 6.5 and 8.5 m below seafloor (mbsf). Here, a 10% reduction of the in situ total unit weight compared to the surrounding sediments is found to coincide with coarse-grained layers that turn into a weak zone and detachment plane for former and present-day gravitational, retrogressive slide events, as seen in 2D chirp profiles. The combination of high-resolution chirp profiles and comprehensive geotechnical information allows us to compute enhanced 2D finite element slope stability analysis with undrained sediment response compared to previous 2D numerical and 3D limit equilibrium assessments. Those models suggest that significant portions (detachment planes at 20 m or even 55 mbsf) of the Quaternary delta and slope apron deposits may be mobilized. Given that factors of safety are equal or less than 1 when further considering the effect of free gas, a high risk for a landslide event of considerable size off Nice international airport is identified

Secagem convectiva da microalga spirulina platensis: avaliação das propriedades físicas e bioquímicas

O objetivo no presente estudo foi investigar a operação de secagem da microalga Spirulina platensis em camada delgada através da modelagem matemática e otimização da operação, avaliando as características do produto final através de análises físico-químicas. Foram analisados os dados da umidade de equilíbrio para a isoterma de adsorção a 10, 20 e 30°C e de dessorção a 40, 50 e 60°C, através dos modelos de GAB e BET. O calor isostérico foi determinado pela aplicação da equação de Clausius-Clapeyron. O modelo de GAB apresentou melhor ajuste aos dados experimentais. Os valores da área superficial calculados pelos modelos de GAB e BET foram próximos. O calor isostérico e a entropia diferencial da isoterma de dessorção apresentaram comportamento similar. A teoria da compensação entalpia-entropia foi aplicada nas isotermas, indicando que são controladas pela entalpia. A cinética de secagem foi analisada na faixa de temperatura de 50-70°C, através dos modelos de Lewis, Henderson e Pabis, Henderson, Page e Overhults. O modelo de Henderson e Pabis foi escolhido por apresentar maior significado físico para estimar o valor de difusividade efetiva (Def), sendo os valores encontrados na faixa de 5,54 - 6,60×10-11 m 2 /s, para as temperaturas de 50 e 60°C, respectivamente, e de 1,58×10-10 m2 /s para a temperatura de 70°C. A energia de ativação apresentou um valor de 47,9 kJ/mol. A secagem alterou a cor quando comparada ao material in natura. A secagem foi otimizada na faixa de espessuras e temperaturas do ar de secagem de 3-7 mm e de 50-70ºC, respectivamente, através da metodologia de superfície de resposta para ácido tiobarbitúrico (TBA) e perda de ficocianina no produto final. A melhor condição de secagem foi a 55°C e a 3,7 mm, apresentando uma perda de ficocianina de aproximadamente 37% e valor de TBA de 1,5 mgMDA/kgamostra. Nesta condição de secagem, a composição de ácidos graxos da microalga Spirulina não apresentou diferença significativa (P > 0,05) em relação a microalga in natura.

Computational modelling of non-equilibrium condensing steam flows in low-pressure steam turbines

The steam turbines play a significant role in global power generation. Especially, research on low pressure (LP) steam turbine stages is of special importance for steam turbine man- ufactures, vendors, power plant owners and the scientific community due to their lower efficiency than the high pressure steam turbine stages. Because of condensation, the last stages of LP turbine experience irreversible thermodynamic losses, aerodynamic losses and erosion in turbine blades. Additionally, an LP steam turbine requires maintenance due to moisture generation, and therefore, it is also affecting on the turbine reliability. Therefore, the design of energy efficient LP steam turbines requires a comprehensive analysis of condensation phenomena and corresponding losses occurring in the steam tur- bine either by experiments or with numerical simulations. The aim of the present work is to apply computational fluid dynamics (CFD) to enhance the existing knowledge and understanding of condensing steam flows and loss mechanisms that occur due to the irre- versible heat and mass transfer during the condensation process in an LP steam turbine. Throughout this work, two commercial CFD codes were used to model non-equilibrium condensing steam flows. The Eulerian-Eulerian approach was utilised in which the mix- ture of vapour and liquid phases was solved by Reynolds-averaged Navier-Stokes equa- tions. The nucleation process was modelled with the classical nucleation theory, and two different droplet growth models were used to predict the droplet growth rate. The flow turbulence was solved by employing the standard k-ε and the shear stress transport k-ω turbulence models. Further, both models were modified and implemented in the CFD codes. The thermodynamic properties of vapour and liquid phases were evaluated with real gas models. In this thesis, various topics, namely the influence of real gas properties, turbulence mod- elling, unsteadiness and the blade trailing edge shape on wet-steam flows, are studied with different convergent-divergent nozzles, turbine stator cascade and 3D turbine stator-rotor stage. The simulated results of this study were evaluated and discussed together with the available experimental data in the literature. The grid independence study revealed that an adequate grid size is required to capture correct trends of condensation phenomena in LP turbine flows. The study shows that accurate real gas properties are important for the precise modelling of non-equilibrium condensing steam flows. The turbulence modelling revealed that the flow expansion and subsequently the rate of formation of liquid droplet nuclei and its growth process were affected by the turbulence modelling. The losses were rather sensitive to turbulence modelling as well. Based on the presented results, it could be observed that the correct computational prediction of wet-steam flows in the LP turbine requires the turbulence to be modelled accurately. The trailing edge shape of the LP turbine blades influenced the liquid droplet formulation, distribution and sizes, and loss generation. The study shows that the semicircular trailing edge shape predicted the smallest droplet sizes. The square trailing edge shape estimated greater losses. The analysis of steady and unsteady calculations of wet-steam flow exhibited that in unsteady simulations, the interaction of wakes in the rotor blade row affected the flow field. The flow unsteadiness influenced the nucleation and droplet growth processes due to the fluctuation in the Wilson point.

Functional surface chemistry of carbon-based nanostructures

The recently discovered abilities to synthesize single-walled carbon nanotubes and prepare single layer graphene have spurred interest in these sp2-bonded carbon nanostructures. In particular, studies of their potential use in electronic devices are many as silicon integrated circuits are encountering processing limitations, quantum effects, and thermal management issues due to rapid device scaling. Nanotube and graphene implementation in devices does come with significant hurdles itself. Among these issues are the ability to dope these materials and understanding what influences defects have on expected properties. Because these nanostructures are entirely all-surface, with every atom exposed to ambient, introduction of defects and doping by chemical means is expected to be an effective route for addressing these issues. Raman spectroscopy has been a proven characterization method for understanding vibrational and even electronic structure of graphene, nanotubes, and graphite, especially when combined with electrical measurements, due to a wealth of information contained in each spectrum. In Chapter 1, a discussion of the electronic structure of graphene is presented. This outlines the foundation for all sp2-bonded carbon electronic properties and is easily extended to carbon nanotubes. Motivation for why these materials are of interest is readily gained. Chapter 2 presents various synthesis/preparation methods for both nanotubes and graphene, discusses fabrication techniques for making devices, and describes characterization methods such as electrical measurements as well as static and time-resolved Raman spectroscopy. Chapter 3 outlines changes in the Raman spectra of individual metallic single-walled carbon nantoubes (SWNTs) upon sidewall covalent bond formation. It is observed that the initial degree of disorder has a strong influence on covalent sidewall functionalization which has implications on developing electronically selective covalent chemistries and assessing their selectivity in separating metallic and semiconducting SWNTs. Chapter 4 describes how optical phonon population extinction lifetime is affected by covalent functionalization and doping and includes discussions on static Raman linewidths. Increasing defect concentration is shown to decrease G-band phonon population lifetime and increase G-band linewidth. Doping only increases G-band linewidth, leaving non-equilibrium population decay rate unaffected. Phonon mediated electron scattering is especially strong in nanotubes making optical phonon decay of interest for device applications. Optical phonon decay also has implications on device thermal management. Chapter 5 treats doping of graphene showing ambient air can lead to inadvertent Fermi level shifts which exemplifies the sensitivity that sp2-bonded carbon nanostructures have to chemical doping through sidewall adsorption. Removal of this doping allows for an investigation of electron-phonon coupling dependence on temperature, also of interest for devices operating above room temperature. Finally, in Chapter 6, utilizing the information obtained in previous chapters, single carbon nanotube diodes are fabricated and characterized. Electrical performance shows these diodes are nearly ideal and photovoltaic response yields 1.4 nA and 205 mV of short circuit current and open circuit voltage from a single nanotube device. A summary and discussion of future directions in Chapter 7 concludes my work.

Profile detection through source code static analysis

The present article reflects the progress of an ongoing master’s dissertation on language engineering. The main goal of the work here described, is to infer a programmer’s profile through the analysis of his source code. After such analysis the programmer shall be placed on a scale that characterizes him on his language abilities. There are several potential applications for such profiling, namely, the evaluation of a programmer’s skills and proficiency on a given language or the continuous evaluation of a student’s progress on a programming course. Throughout the course of this project and as a proof of concept, a tool that allows the automatic profiling of a Java programmer is under development. This tool is also introduced in the paper and its preliminary outcomes are discussed.