Refactoring‐based learning for fine‐grained lock in concurrent programming course

Author(s):  
Yang Zhang

2013 ◽  
Vol 4 (2) ◽  
pp. 40-66
Author(s):  
Horia V. Corcalciuc

Software classifications have been created before with the purpose of keeping track of attack patterns as well as providing a history for the various vulnerable software packages. This article focuses on one single class of such attacks, conventionally known as “Time and State” attacks. The authors offer a more fine-grained analysis of the anatomy of such attacks. They reason about vulnerabilities by using “swimlane” diagrams which are loosely derived from UML diagrams, annotated with semantics of concurrent programming, such as the notions of traces and stability. The authors offer a taxonomy based on abstraction layers, implying thereby some form of tree hierarchy where vulnerabilities inherit properties from the upper abstract layers and share code-level flaws on the lower layers. That allows them to classify attacks by what they share in common, which is a different approach than other related classification attempts.



2021 ◽  
Vol 49 (4) ◽  
pp. 6-11
Author(s):  
Jonas Traub ◽  
Zoi Kaoudi ◽  
Jorge-Arnulfo Quiané-Ruiz ◽  
Volker Markl

Data science and artificial intelligence are driven by a plethora of diverse data-related assets, including datasets, data streams, algorithms, processing software, compute resources, and domain knowledge. As providing all these assets requires a huge investment, data science and artificial intelligence technologies are currently dominated by a small number of providers who can afford these investments. This leads to lock-in effects and hinders features that require a flexible exchange of assets among users. In this paper, we introduce Agora, our vision towards a unified ecosystem that brings together data, algorithms, models, and computational resources and provides them to a broad audience. Agora (i) treats assets as first-class citizens and leverages a fine-grained exchange of assets, (ii) allows for combining assets to novel applications, and (iii) flexibly executes such applications on available resources. As a result, it enables easy creation and composition of data science pipelines as well as their scalable execution. In contrast to existing data management systems, Agora operates in a heavily decentralized and dynamic environment: Data, algorithms, and even compute resources are dynamically created, modified, and removed by different stakeholders. Agora presents novel research directions for the data management community as a whole: It requires to combine our traditional expertise in scalable data processing and management with infrastructure provisioning as well as economic and application aspects of data, algorithms, and infrastructure.



2011 ◽  
Vol 57 (204) ◽  
pp. 755-762 ◽  
Author(s):  
R. Lomonaco ◽  
M. Albert ◽  
I. Baker

AbstractWe present a microstructural characterization of fine-grained layers from the top 90 m of firn from Summit, Greenland, performed using a combination of scanning electron microscopy techniques including secondary electron imaging, energy-dispersive spectroscopy and electron backscattered patterns, and X-ray microcomputed tomography. The impurities in the firn, both soluble impurities and dust particles, were found largely in the grain interiors. Both c- and a-axis pole figures do not show strong evidence of a preferred orientation of the grains even at the bottom of the firn column. The firn structure became increasingly anisotropic with vertical alignment in the top 3 m, probably due to vapor transport associated with dry-snow metamorphism. The anisotropy decreases below this level until at ∼50 m the average firn structure is close to isotropic. In the near surface, the level of anisotropy is weaker than at Hercules Dome, Antarctica, confirming that differences in accumulation rates and temperatures leave enduring evidence in the structure of the firn. The fraction of closed-off pores is relatively low until ∼65 m; below that it rises through the end of our sampling at 90 m. Our microstructure measurements on the microscale are consistent with in situ firn-air sampling measurements on a decimeter scale, both indicating the existence of the lock-in zone starting near 69 m depth, and pore close-off at 81 m at this site.



Author(s):  
Richard S. Chemock

One of the most common tasks in a typical analysis lab is the recording of images. Many analytical techniques (TEM, SEM, and metallography for example) produce images as their primary output. Until recently, the most common method of recording images was by using film. Current PS/2R systems offer very large capacity data storage devices and high resolution displays, making it practical to work with analytical images on PS/2s, thereby sidestepping the traditional film and darkroom steps. This change in operational mode offers many benefits: cost savings, throughput, archiving and searching capabilities as well as direct incorporation of the image data into reports.The conventional way to record images involves film, either sheet film (with its associated wet chemistry) for TEM or PolaroidR film for SEM and light microscopy. Although film is inconvenient, it does have the highest quality of all available image recording techniques. The fine grained film used for TEM has a resolution that would exceed a 4096x4096x16 bit digital image.



Author(s):  
Steven D. Toteda

Zirconia oxygen sensors, in such applications as power plants and automobiles, generally utilize platinum electrodes for the catalytic reaction of dissociating O2 at the surface. The microstructure of the platinum electrode defines the resulting electrical response. The electrode must be porous enough to allow the oxygen to reach the zirconia surface while still remaining electrically continuous. At low sintering temperatures, the platinum is highly porous and fine grained. The platinum particles sinter together as the firing temperatures are increased. As the sintering temperatures are raised even further, the surface of the platinum begins to facet with lower energy surfaces. These microstructural changes can be seen in Figures 1 and 2, but the goal of the work is to characterize the microstructure by its fractal dimension and then relate the fractal dimension to the electrical response. The sensors were fabricated from zirconia powder stabilized in the cubic phase with 8 mol% percent yttria. Each substrate was sintered for 14 hours at 1200°C. The resulting zirconia pellets, 13mm in diameter and 2mm in thickness, were roughly 97 to 98 percent of theoretical density. The Engelhard #6082 platinum paste was applied to the zirconia disks after they were mechanically polished ( diamond). The electrodes were then sintered at temperatures ranging from 600°C to 1000°C. Each sensor was tested to determine the impedance response from 1Hz to 5,000Hz. These frequencies correspond to the electrode at the test temperature of 600°C.



Author(s):  
J. W. Mellowes ◽  
C. M. Chun ◽  
I. A. Aksay

Mullite (3Al2O32SiO2) can be fabricated by transient viscous sintering using composite particles which consist of inner cores of a-alumina and outer coatings of amorphous silica. Powder compacts prepared with these particles are sintered to almost full density at relatively low temperatures (~1300°C) and converted to dense, fine-grained mullite at higher temperatures (>1500°C) by reaction between the alumina core and the silica coating. In order to achieve complete mullitization, optimal conditions for coating alumina particles with amorphous silica must be achieved. Formation of amorphous silica can occur in solution (homogeneous nucleation) or on the surface of alumina (heterogeneous nucleation) depending on the degree of supersaturation of the solvent in which the particles are immersed. Successful coating of silica on alumina occurs when heterogeneous nucleation is promoted and homogeneous nucleation is suppressed. Therefore, one key to successful coating is an understanding of the factors such as pH and concentration that control silica nucleation in aqueous solutions. In the current work, we use TEM to determine the optimal conditions of this processing.



Author(s):  
C. P. Doğan ◽  
R. D. Wilson ◽  
J. A. Hawk

Capacitor Discharge Welding is a rapid solidification technique for joining conductive materials that results in a narrow fusion zone and almost no heat affected zone. As a result, the microstructures and properties of the bulk materials are essentially continuous across the weld interface. During the joining process, one of the materials to be joined acts as the anode and the other acts as the cathode. The anode and cathode are brought together with a concomitant discharge of a capacitor bank, creating an arc which melts the materials at the joining surfaces and welds them together (Fig. 1). As the electrodes impact, the arc is extinguished, and the molten interface cools at rates that can exceed 106 K/s. This process results in reduced porosity in the fusion zone, a fine-grained weldment, and a reduced tendency for hot cracking.At the U.S. Bureau of Mines, we are currently examining the possibilities of using capacitor discharge welding to join dissimilar metals, metals to intermetallics, and metals to conductive ceramics. In this particular study, we will examine the microstructural characteristics of iron-aluminum welds in detail, focussing our attention primarily on interfaces produced during the rapid solidification process.



Author(s):  
Gejing Li ◽  
D. R. Peacor ◽  
D. S. Coombs ◽  
Y. Kawachi

Recent advances in transmission electron microscopy (TEM) and analytical electron microscopy (AEM) have led to many new insights into the structural and chemical characteristics of very finegrained, optically homogeneous mineral aggregates in sedimentary and very low-grade metamorphic rocks. Chemical compositions obtained by electron microprobe analysis (EMPA) on such materials have been shown by TEM/AEM to result from beam overlap on contaminant phases on a scale below resolution of EMPA, which in turn can lead to errors in interpretation and determination of formation conditions. Here we present an in-depth analysis of the relation between AEM and EMPA data, which leads also to the definition of new mineral phases, and demonstrate the resolution power of AEM relative to EMPA in investigations of very fine-grained mineral aggregates in sedimentary and very low-grade metamorphic rocks.Celadonite, having end-member composition KMgFe3+Si4O10(OH)2, and with minor substitution of Fe2+ for Mg and Al for Fe3+ on octahedral sites, is a fine-grained mica widespread in volcanic rocks and volcaniclastic sediments which have undergone low-temperature alteration in the oceanic crust and in burial metamorphic sequences.



Author(s):  
Wang Zheng-fang ◽  
Z.F. Wang

The main purpose of this study highlights on the evaluation of chloride SCC resistance of the material,duplex stainless steel,OOCr18Ni5Mo3Si2 (18-5Mo) and its welded coarse grained zone(CGZ).18-5Mo is a dual phases (A+F) stainless steel with yield strength:512N/mm2 .The proportion of secondary Phase(A phase) accounts for 30-35% of the total with fine grained and homogeneously distributed A and F phases(Fig.1).After being welded by a specific welding thermal cycle to the material,i.e. Tmax=1350°C and t8/5=20s,microstructure may change from fine grained morphology to coarse grained morphology and from homogeneously distributed of A phase to a concentration of A phase(Fig.2).Meanwhile,the proportion of A phase reduced from 35% to 5-10°o.For this reason it is known as welded coarse grained zone(CGZ).In association with difference of microstructure between base metal and welded CGZ,so chloride SCC resistance also differ from each other.Test procedures:Constant load tensile test(CLTT) were performed for recording Esce-t curve by which corrosion cracking growth can be described, tf,fractured time,can also be recorded by the test which is taken as a electrochemical behavior and mechanical property for SCC resistance evaluation. Test environment:143°C boiling 42%MgCl2 solution is used.Besides, micro analysis were conducted with light microscopy(LM),SEM,TEM,and Auger energy spectrum(AES) so as to reveal the correlation between the data generated by the CLTT results and micro analysis.



Author(s):  
William Krakow ◽  
Alec N. Broers

Low-loss scanning electron microscopy can be used to investigate the surface topography of solid specimens and provides enhanced image contrast over secondary electron images. A high resolution-condenser objective lens has allowed the low-loss technique to resolve separations of Au nucleii of 50Å and smaller dimensions of 25Å in samples coated with a fine grained carbon-Au-palladium layer. An estimate of the surface topography of fine grained vapor deposited materials (20 - 100Å) and the surface topography of underlying single crystal Si in the 1000 - 2000Å range has also been investigated. Surface imaging has also been performed on single crystals using diffracted electrons scattered through 10−2 rad in a conventional TEM. However, severe tilting of the specimen is required which degrades the resolution 15 to 100 fold due to image forshortening.



Sign in / Sign up

Export Citation Format

Share Document