Search

Contemporary integrated circuits (ICs) are increasingly being constructed using intellectual property blocks (IPs) obtained from third parties in a globalized supply chain. The increased vulnerability to adversarial changes during this untrusted supply chain raises concerns about the integrity of the end product. The difference in the levels of abstraction between the initial specification and the final available circuit design poses a challenge for analyzing the final circuit for malicious insertions. Reverse engineering presents one way to help reduce the difficulty of circuit analysis and inspection. In this work, we provide a framework that given (i) a gate-level netlist of a design and (ii) a block diagram for the design with relative sizes of the blocks, outputs a matching between the partitions of the circuit and blocks in the block diagram. We first compute a geometric embedding for each node in the circuit and then apply a clustering algorithm on the embedding features to obtain circuit partitions. Each partition is then mapped to the high-level blocks in the block diagram. These partitions can then be further analyzed for malicious insertions with much reduced complexity in comparison with the full chip. We tested our algorithm on different designs with varying sizes to evaluate the efficacy of algorithm, including the open-source processor OpenSparc T1, and showed that we can successfully match over 90% of gates to their corresponding blocks.

Outsourcing of design and manufacturing processes makes integrated circuits (ICs) vulnerable to adversarial changes and raises concerns about their integrity. Reverse engineering the manufactured netlist helps identify malicious insertions. In this article, we present an automated approach that, given a reference design description with high-level blocks, infers these blocks in an untrusted gate-level (test) implementation. Using the graph connectivity of the netlists, we compute a geometric embedding for each wire in the circuits, which, then, is used to compute a bipartite matching between the nodes of the two designs and identify high-level blocks in the test circuit. Experiments to evaluate the efficacy of the proposed technique on various-sized designs, including the multi-core processor OpenSparc T1, show that it can correctly match over 90% of gates in the test circuit to their corresponding block in the reference model.

The integration of renewable energy sources into existing electric power systems is connected with an increased interdependence between natural gas and electricity transmission networks. To analyse this interdependence and its impact on security of supply, we developed a novel quasi-dynamic simulation model and implemented it into the simulation tool SAInt (Scenario Analysis Interface for Energy Systems), the first published software application that allows the combined simulation of gas and electric power systems in a single time frame and simulation environment. The model is composed of a transient hydraulic simulation model for the gas system and an augmented AC-Optimal Power Flow model for the electric power system, which includes a model for dispatchable power system loads and considers time transitional constraints, such as the ramp rate and the start-up time of generation units. Both models take into account the control and constraints of the most relevant facilities present in both systems. The bidirectional interconnection between both systems is considered and established by coupling equations describing the fuel gas offtake for power generation in gas fired power plants, and the electric power supply to LNG terminals and electric driven compressors in gas compressor stations. The resulting system of equations for the combined model are solved in a single simulation time frame. In order to quantify the impact of different contingencies on the operation of the combined system, a number of security of supply parameters are proposed, which can be utilised to compare the impact of different contingencies on security of supply and the effectiveness of countermeasures to mitigate this impact. The capabilities of the combined model and the functionality of the simulation tool SAInt are demonstrated in a case study of a sample gas and power transmission system. Results indicate how the combined simulation of gas and electric power systems can give insight into important and critical information, such as the timing and propagation of contingencies cascading from one system to the other or the grace period to react to these contingencies. Such information can contribute to improving the coordination between gas and power transmission system operators in the event of a disruption, thus, increasing the resilience and the level of security of supply in the combined energy system. The information provided by the combined model cannot be obtained by the traditional co-simulation approach, where both systems are solved in different time frames. Furthermore, the studies stress the importance of using transient gas simulation models for security of supply analysis instead of steady state models, where the time evolution of gas pressure and linepack are not reflected appropriately.

This chapter traces the development of Victorian gender norms, notably the notion of the “New Woman,” the rise of feminist arguments, and the development of gendered citizenship in relation to nationalism in imperial Britain and how it inspired a similar discourse in the Ottoman Empire beginning from the second half of the 19th century to the end of the World War I. In the Victorian imperial ideology, women were responsible for the moral upbringing of their children and for providing a moral haven for their husbands. Women were taken into the center of a discourse that created a gendered representation for the defenders of various political ideologies to offer solutions to the weakening Europe. Women’s status began to be treated as the measure of Empire’s progress and/or backwardness. The government’s major goal in founding these schools was not to train and educate women for the labor market but to make them intellectual and entertaining wives and better mothers.

An unexpected failure of the Allied forces and a monumental victory for the Turks, the Gallipoli Campaign (1915) is thought to be the first notable experience for Australians and New Zealanders on their way to identify themselves as nations free from the British Empire. For the war-weary Turks, too, the victory in Gallipoli was the beginning of their transformation from a wreck of an empire to a modern republic. Despite the existence of a substantial body of research on the military, political, and historical aspects of the campaign, studies on the literature of Gallipoli are very few and often deal with canonised poets such as Rupert Brooke or national concerns through a single perspective. Aiming to bring to light underappreciated poets from Gallipoli, this paper is a comparative study of less known poems in English and Turkish from Gallipoli. While doing this, the study traces the signs of the nation-building processes of Australia, New Zealand, and Turkey with emphasis on national identity. To this end, the paper examines a number of Gallipoli poems in English and Turkish that were composed by combatant or non-combatant poets by using close reading analysis in search of shifts in discourse and tone. The study also underlines how poets from the two sides identified themselves and the ways the campaign is reflected in these poems. At length, the study shows that Gallipoli poems display similar attitudes towards the idea of belonging to an empire although they differ in the way warfare is perceived. With emphasis on less known poems and as one of the very few comparative studies of the poetry of the Gallipoli Campaign, this paper will contribute to the current research into the legacy and literature of the First World War.

In this paper, we present an integrated simulation tool for analyzing the interdependency of natural gas and electric power systems in terms of security of energy supply. In the first part, we develop mathematical models for the individual systems. In part two, we identify the interconnections between both systems and propose a method for coupling the combined simulation model. Next, we develop the algorithm for solving the combined system and integrate this algorithm into a simulation software. Finally, we demonstrate the value of the software in a case study on a real world interconnected gas and electric power system of an European region. This paper was prepared for presentation at the PSIG Annual Meeting held in Vancouver, British Columbia, 11 May - 13 May 2016.

Gas and power networks are tightly coupled and interact with each other due to physically interconnected facilities. In an integrated gas and power network, a contingency observed in one system may cause iterative cascading failures, resulting in network wide disruptions. Therefore, understanding the impacts of the interactions in both systems is crucial for governments, system operators, regulators and operational planners, particularly, to ensure security of supply for the overall energy system. Although simulation has been widely used in the assessment of gas systems as well as power systems, there is a significant gap in simulation models that are able to address the coupling of both systems. In this paper, a simulation framework that models and simulates the gas and power network in an integrated manner is proposed. The framework consists of a transient model for the gas system and a steady state model for the power system based on AC-Optimal Power Flow. The gas and power system model are coupled through an interface which uses the coupling equations to establish the data exchange and coordination between the individual models. The bidirectional interlink between both systems considered in this studies are the fuel gas offtake of gas fired power plants for power generation and the power supply to liquefied natural gas (LNG) terminals and electric drivers installed in gas compressor stations and underground gas storage facilities. The simulation framework is implemented into an innovative simulation tool named SAInt (Scenario Analysis Interface for Energy Systems) and the capabilities of the tool are demonstrated by performing a contingency analysis for a real world example. Results indicate how a disruption triggered in one system propagates to the other system and affects the operation of critical facilities. In addition, the studies show the importance of using transient gas models for security of supply studies instead of successions of steady state models, where the time evolution of the line pack is not captured correctly.

This paper aims at analysing the impacts of interdependencies between electricity and natural gas systems in terms of security of energy supply. When analysing both systems several interdependencies can be observed, however, the most significant interdependencies are as follows: (1) gas dependency of gas fired power plants in electricity system and (2) electric dependency of electric-driven compressors in gas system. Since both systems depend on each other, it is of major interest from an energy security perspective to investigate how failures triggered in either of the systems propagate from one system to the other. We proposed an integrated simulation model that aims at reflecting the dynamics of the systems in case of disruptions and takes the cascading effects of these disruptions into account. While developing the integrated model, first electricity and gas systems are modelled separately and then linked by an (MATLAB-based) interface. The effectiveness of the proposed model is investigated using characteristic disruption scenarios. Computational results demonstrate that the integrated simulation model is very user-friendly and quite effective and efficient in analysing the interactions between electricity and gas systems., JRC.F.3-Energy security