Context-sensitive analysis without calling-context

Since Sharir and Pnueli, algorithms for context-sensitivity have been defined in terms of 'valid' paths in an interprocedural flow graph. The definition of valid paths requires atomic call and ret statements, and encapsulated procedures. Thus, the resulting algorithms are not directly applicable when behavior similar to call and ret instructions may be realized using non-atomic statements, or when procedures do not have rigid boundaries, such as with programs in low level languages like assembly or RTL. We present a framework for context-sensitive analysis that requires neither atomic call and ret instructions, nor encapsulated procedures. The framework presented decouples the transfer of control semantics and the context manipulation semantics of statements. A new definition of context-sensitivity, called stack contexts, is developed. A stack context, which is defined using trace semantics, is more general than Sharir and Pnueli's interprocedural path based calling-context. An abstract interpretation based framework is developed to reason about stack-contexts and to derive analogues of calling-context based algorithms using stack-context. The framework presented is suitable for deriving algorithms for analyzing binary programs, such as malware, that employ obfuscations with the deliberate intent of defeating automated analysis. The framework is used to create a context-sensitive version of Venable et al.'s algorithm for analyzing x86 binaries without requiring that a binary conforms to a standard compilation model for maintaining procedures, calls, and returns. Experimental results show that a context-sensitive analysis using stack-context performs just as well for programs where the use of Sharir and Pnueli's calling-context produces correct approximations. However, if those programs are transformed to use call obfuscations, a contextsensitive analysis using stack-context still provides the same, correct results and without any additional overhead. © Springer Science+Business Media, LLC 2011.

Test results of fault current limiter using YBCO tapes with shunt protection

A Fault Current Limiter (FCL) based on high temperature superconducting elements with four tapes in parallel were designed and tested in 220 V line for a fault current peak between 1 kA to 4 kA. The elements employed second generation (2G) HTS tapes of YBCO coated conductor with stainless steel reinforcement. The tapes were electrically connected in parallel with effective length of 0.4 m per element (16 elements connected in series) constituting a single-phase unit. The FCL performance was evaluated through over-current tests and its recovery characteristics under load current were analyzed using optimized value of the shunt protection. The projected limiting ratio achieved a factor higher than 4 during fault of 5 cycles without degradation. Construction details and further test results will be shown in the paper. © 2010 IOP Publishing Ltd.

A First approach on the new transmission system in northern Brazil

This article shows an analysis of the electrical parameters of a three-phase transmission line section using a relatively new design for steel towers characterized by 280 meters high. These main features, the height of the line conductors and distance between them, are intrinsically related to the longitudinal and transversal parameters of the line. By this means, an analysis was carried out in order to show the electrical variations between a transmission line using the new technology and a conventional 440-kV line through a wide range of frequencies and a variable soil resistivity. © 2012 The Institution of Engineering and Technology.

Short-term planning of electric power distribution networks using multiobjective genetic algorithim

The high active and reactive power level demanded by the distribution systems, the growth of consuming centers, and the long lines of the distribution systems result in voltage variations in the busses compromising the quality of energy supplied. To ensure the energy quality supplied in the distribution system short-term planning, some devices and actions are used to implement an effective control of voltage, reactive power, and power factor of the network. Among these devices and actions are the voltage regulators (VRs) and capacitor banks (CBs), as well as exchanging the conductors sizes of distribution lines. This paper presents a methodology based on the Non-Dominated Sorting Genetic Algorithm (NSGA-II) for optimized allocation of VRs, CBs, and exchange of conductors in radial distribution systems. The Multiobjective Genetic Algorithm (MGA) is aided by an inference process developed using fuzzy logic, which applies specialized knowledge to achieve the reduction of the search space for the allocation of CBs and VRs.

Introduction of a non-conventional solution for Amazon transmission system: Analysis of the electric aspects

This article shows an analysis of the longitudinal electric parameters of a three-phase transmission line/section using a 280-meter high steel tower. This characteristic, the height of the line conductors and distance between them, are intrinsic related to the longitudinal and transversal parameters of the line. By this means, an accurate study was carried out in order to show the electric variations between a transmission line using the new technology and a three-phase conventional 440 kV line for a wide range of frequencies and a variable soil resistivity. In addition, by using a digital line model, simulations are carried out in time domain to analyze critical overvoltage transients on the studied line. © 2011 IEEE.

Effect of different methods of cutting fluid application on turning of a difficult-to-machine steel (SAE EV-8)

In this study, different methods of cutting fluid application are used in turning of a difficult-to-machine steel (SAE EV-8). Initially, a semisynthetic cutting fluid was applied using a conventional method (i.e. overhead flood cooling), minimum quantity of cutting fluid, and pulverization. A lubricant of vegetable oil (minimum quantity of lubricant) was also applied using the minimum quantity method. Thereafter, a cutting fluid jet under high pressure (3.0 MPa) was singly applied in the following regions: chip-tool interface, top surface of the chip (between workpiece and chip) and tool-workpiece contact. Moreover, two other methods were used: an interflow between conventional application and chip-tool interface jet (combined method) and, finally, three jets simultaneously applied. In order to carry out these tests, it was necessary to set up a high-pressure system using a piston pump for generating a cutting fluid jet, a venturi for fluid application (minimum quantity of cutting fluid and minimum quantity of lubricant) and a nozzle for cutting fluid pulverization. The output variables analyzed included tool life, surface roughness, cutting tool temperature, cutting force, chip form, chip compression rate and machined specimen microstructure. Among the results, it can be observed that the tool life increases and the cutting force decreases with the application of cutting fluid jet, mainly when it is directed to the chip-tool interface. Excluding the methods involving jet fluid, the conventional method seems to be more efficient than other methods of low pressure, such as minimum quantity of volume and pulverization, when considering just the cutting tool wear. © 2013 IMechE.

Fault current limiter using transformer and modular device of YBCO coated conductor

In this work, we report on the evaluation of a superconducting fault current limiter (SFCL). It is consisted of a modular superconducting device combined with a short-circuited transformer with a primary copper winding connected in series to the power line and the secondary side short-circuited by the superconducting device. The basic idea is adding a magnetic component to contribute to the current limitation by the impedance reflected to the line after transition of the superconducting device. The evaluation tests were performed with a prospective current up to 2 kA, with the short-circuited transformer of 2.5 kVA, 220 V/660 V connected to a test facility of 100 kVA power capacity. The resistive SFCL using a modular superconducting device was tested without degradation for a prospective fault current of 1.8 kA, achieving the limiting factor 2.78; the voltage achieved 282 V corresponding to an electric field of 11 V/m. The test performed with the combined SFCL (xsuperconducting device + transformer) using series and toroidal transformers showed current limiting factor of 3.1 and 2 times, respectively. The test results of the combined SFCL with short-circuited transformer showed undesirable influence of the transformer impedance, resulting in reduction of the fault current level. © 2002-2011 IEEE.

Influence of the indium concentration on microstructural and electrical properties of proton conducting NiO-BaCe0.9-xIn xY0.1O3-δ cermet anodes for IT-SOFC application

Optimization of the major properties of anodes based on proton conductors, such as microstructure, conductivity and chemical stability, is yet to be achieved. In this study we investigated the influence of indium on the chemical stability, microstructural and electrical characteristics of proton conducting NiO-BaCe0.9-xInxY0.1O 3-δ (NiO-BCIYx) anodes. Four compositions of cermet anode substrates NiO-BCIYx were prepared using the method of evaporation and decomposition of solutions and suspensions (EDSS). Sintered anode substrates were reduced and their microstructural and electrical properties were examined before and after reduction as a function of the amount of indium. Anode substrates tested on chemical stability in the CO2 atmosphere showed high stability compared to anode substrates based on commonly used doped barium cerates. Microstructural properties of the anode pellets before and after testing in CO2 were investigated using X-ray diffraction analysis. Impedance spectroscopy measurements were used for evaluation of electrical properties of the anode pellets and the conductivity values of reduced anodes of more than 14 S cm-1 at 600 °C confirmed percolations through Ni particles. Under fuel cell operating conditions, the cell with a Ni-BCIY20 anode achieved the highest performance, demonstrating a peak power density 223 mW/cm2 at 700 °C confirming the functionality of Ni-BCIY anodes.© 2013 Elsevier B.V. All rights reserved.

Low-temperature structural effects in the (TMTSF)2PF6 and AsF6 Bechgaard salts

We present a detailed low-temperature investigation of the statics and dynamics of the anions and methyl groups in the organic conductors (TMTSF) 2PF6 and (TMTSF)2AsF6 (TMTSF: tetramethyl-tetraselenafulvalene). The 4 K neutron-scattering structure refinement of the fully deuterated (TMTSF)2PF6-D12 salt allows locating precisely the methyl groups at 4 K. This structure is compared to the one of the fully hydrogenated (TMTSF)2PF6-H12 salt previously determined at the same temperature. Surprisingly, it is found that deuteration corresponds to the application of a negative pressure of 5×102 MPa to the H12 salt. Accurate measurements of the Bragg intensity show anomalous thermal variations at low temperature both in the deuterated PF 6 and AsF6 salts. Two different thermal behaviors have been distinguished. Small Bragg-angle measurements reflect the presence of low-frequency modes at characteristic energies θE = 8.3 K and θE = 6.7 K for the PF6-D12 and AsF6-D12 salts, respectively. These modes correspond to the low-temperature methyl group motion. Large Bragg-angle measurements evidence an unexpected structural change around 55 K, which probably corresponds to the linkage of the anions to the methyl groups via the formation of F...D-CD2 bonds observed in the 4 K structural refinement. Finally we show that the thermal expansion coefficient of (TMTSF)2PF6 is dominated by the librational motion of the PF6 units. We quantitatively analyze the low-temperature variation of the lattice expansion via the contribution of Einstein oscillators, which allows us to determine for the first time the characteristic frequency of the PF6 librations: θE ≈ 50 K and θE = 76 K for the PF6-D12 and PF6-H12 salts, respectively. © 2013 American Physical Society.

Modelo estocástico de programação matemática de alocação de medidores de tensão em alimentadores radiais de distribuição de energia elétrica para localização de faltas e monitoramento do perfil de tensão

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Modelo de programação matemática para controle do crescimento da vegetação sob redes de distribuição de energia elétrica

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Características dos parâmetros do condutor equivalente a um feixe de subcondutores de linhas de transmissão: análise inicial

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Um modelo para condutores múltiplos considerando a distribuição da corrente nos subcondutores

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Metodologia de localização de defeitos em redes subterrâneas integrando PSCAD/EMTDC e sistemas inteligentes

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Desenvolvimento de um sistema de medição de baixo custo para a monitoração de alimentadores aéreos de distribuição de energia elétrica da classe 15 KV

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)