面向XML文档的细粒度强制访问控制模型

XML文档存放的信息需要受到访问控制策略的保护.现有的一些面向XML文档的访问控制模型都是基于自主访问控制策略或基于角色的访问控制.高安全等级系统需要强制访问控制来保证系统内信息的安全.首先扩展了XML文档模型使其包含标签信息,并给出了扩展后的文档模型需要满足的规则.然后通过讨论XML文档上的4种操作,描述了面向XML文档的细粒度强制访问控制模型的详细内容.该模型基于XML模式技术,它的控制粒度可以达到文档中的元素或者属性.最后讨论了该模型的体系结构和一些实现机制。

Rare earth elements in bottom sediments of major rivers around the Yellow Sea: implications for sediment provenance

Rare earth elements (REEs) of 91 fine-grained bottom sediment samples from five major rivers in Korea (the Han, Keum, and Yeongsan) and China (the Changjiang and Huanghe) were studied to investigate their potential as source indicator for Yellow Sea shelf sediments, this being the first synthetic report on REE trends for bottom sediments of these rivers. The results show distinct differences in REE contents and their upper continental crust (UCC)-normalized patterns: compared to heavy rare earth elements (HREEs), light rare earth elements (LREEs) are highly enriched in Korean river sediments, in contrast to Chinese river sediments that have a characteristic positive Eu anomaly. This phenomenon is observed also in primary source rocks within the river catchments. This suggests that source rock composition is the primary control on the REE signatures of these river sediments, due largely to variations in the levels of chlorite and monazite, which are more abundant in Korean bottom river sediments. Systematic variations in I LREE pound/I HREE pound ratios, and in (La/Yb)-(Gd/Yb)(UCC) but also (La/Lu)-(La/Y)(UCC) and (La/Y)-(Gd/Lu)(UCC) relations have the greatest discriminatory power. These findings are consistent with, but considerably expand on the limited datasets available to date for suspended sediments. Evidently, the REE fingerprints of these river sediments can serve as a useful diagnostic tool for tracing the provenance of sediments in the Yellow Sea, and for reconstructing their dispersal patterns and the circulation system of the modern shelf, as well as the paleoenvironmental record of this and adjoining marginal seas.

黄东海及朝鲜海峡冰后期陆架沉积物的环境磁学研究

There are four chapters in this dissertation. The first chapter briefly synthesizes the basic theories, methods and present-day applying situation of environmental magnetism. The second chapter probes into the magnetic mineral diagenesis in the post-glacial muddy sediments from the southeastern South Yellow Sea and its response to marine environmental changes, using the muddy sediment of Core YSDP103 formed in the shelf since about 13 ka BP. The third chapter illustrates the high-resolution early diagenetic processes by investigating the rapidly deposited muddy sediments during the last 6 ka in Cores SSDP-102 and SSDP-103 from the near-shore shelf of Korea Strait. The fourth chapter presents the results of detailed rock magnetic investigation of the surface sediments from the fine-grained depositional area on the outer shelf of the East China Sea in an attempt to provide environmental magnetic evidence for the provenance of the fine-grained deposit. Core YSDP103 was retrieved in the muddy deposit under the cold eddy of the southeastern South Yellow Sea, and the uppermost 29.79 m core represents the muddy sediments formed in the shelf since about 13 ka BP. The lower part from 29.79 to 13.35 m, called Unit A2, was deposited during the period from the post-glacial transgression to the middle Holocene (at about 6 ~(14)C ka BP) when the rising sea level reached its maximum, while the upper part above 13.35 m (called Unit Al) was deposited in a cold eddy associated with the formation of the Yellow Sea Warm Current just after the peak of post-glacial sea level rise. For the the uppermost 29.79 m core, detailed investigation of rock-magnetic properties and analyses of grain sizes and geochemistry were made. The experimental results indicate that the magnetic mineralogy of the core is dominated by magnetite, maghemite and hematite and that, except for the uppermost 2.35 m, the magnetic minerals were subject to reductive diagenesis leading to significant decline of magnetic mineral content and the proportion of low-coercivity component. More importantly, ferrimagnetic iron sulphide (greigite) is found in Unit A2 but absent in Unit Al, suggesting the control of marine environmental conditions on the magnetic mineral diagenesis. Magnetic parameters show abrupt changes across the boundary between the Unit Al and A2, which reflects a co-effect of environmental conditions and primary magnetic components of the sediments on the diagenesis. Alternating zones of high and low magnetic parameters are observed in Unit A2 of Core YSDP103, which is presumably due to periodic changes of the concentration and/or grain size of magnetic minerals carried into the study area. Cores SSDP-102 and SSDP-103, two studied sediment cores from the Korea Strait contain mud sequences (14 m and 32.62 m in thickness) that were deposited during the last 6,000 years. Analyses of grain sizes and geochemistry of the cores have demonstrated that the sediments have uniform lithology and geochemical properties, however, marked down-core changes in magnetic properties suggest that diagenesis has significantly impacted the magnetic properties. An expanded view of early diagenetic reactions that affect magnetic mineral assemblages is evident in these rapidly deposited continental shelf sediments compared to deep-sea sediments. The studied sediments can be divided into four descending intervals, based on magnetic property variations. Interval 1 is least affected by diagenesis and has the highest concentrations of detrital magnetite and hematite, and the lowest solid-phase sulfur contents. Interval 2 is characterized by the presence of paramagnetic pyrite and sharply decreasing magnetite and hematite concentrations, which suggest active reductive dissolution of detrital magnetic minerals, the absolute minimum abundance of magnetite is reached at the end of this interval. Interval 3 is marked by a progressive loss of hematite with depth, and at the base of this interval, 82% to 88% of the hematite component was depleted and the bulk magnetic mineral concentration was reduced to the lowest value in the entire studied mud section. Interval 4 has an increasing down-core enhancement of authigenic greigite, which is interpreted to have formed due to arrested pyritization resulting from consumption of pore water sulfate with depth. This is the first clear demonstration from an active depositional environment for a delay of thousands of years for acquisition of a magnetization carried by greigite. This detailed view of diagenetic processes in continental shelf sediments suggests that studies of geomagnetic field behavior from such sediments should be conducted with care. Paleoceanographic and paleoclimatic studies based on the magnetic properties of shelf sediments with high sedimentation rates like those in the Korea Strait are also unlikely to provide a meaningful signature associated with syn-depositional environmental processes. The rock magnetic properties of the surface sediments from the fine-grained depositional area on the outer shelf of the East China Sea, an area surrounded by sands, are investigated with a view to providing information on the sediment provenance. Multiple magnetic parameters such as magnetic susceptibility (%), anhysteretic remanent magnetization (ARM), saturation rernanent magnetization (SIRM), coercivities of SIRM (Her), and S ratios (relative abundance of low-coercivity magnetic minerals) are measured for all 179 surface samples, and partial representative samples are examined for their magnetic hysteresis parameters, temperature-dependence of magnetic susceptibility and x-ray diffraction spectra. Our research indicates that the magnetic mineralogy is dominated by magnetite with a small amount of hematite and is primarily of pseudo-single domain (PSD) to multidomain (MD) nature with a detrital origin. In the surface sediments, the granulometry of magnetic fractions is basically independent of grain sizes of the sediment containing the magnetic grains, and the composition of magnetic minerals remains almost homogeneous, that is, with a relatively constant ratio of low to high coercivity fraction throughout the area. The magnetic concentration in the study area generally decreases to the east or southeast accompanied by magnetic-particle fining to the east or to the northeast. The geographic pattern of magnetic properties is most reasonably explained by a major source of sediment jointly from the erosion of the old Huanghe River deposit and the discharge of the Changjiang River. The rock magnetic data facilitate understanding of the transport mechanism of fine-grained sediments in the outer shelf of the East China Sea.

泥河湾盆地磁性地层学研究——以东谷索和岑家湾剖面为例

The Nihewan Basin is a key area for research into human occupation at high northern latitudes in northeast Asia after the initial expansion of early humans out of Africa. Well-developed late Cenozoic lacustrine deposit sequence in this basin offers a unique opportunity to address this issue. In this thesis, detailed magnetostratigraphic investigation coupled with mineral magnetism was conducted on the Donggutuo and Cenjiawan sections in the eastern basin, where lacustrine deposits sequences containing the Donggutuo, Maliang and Cenjiawan Paleolithic sites are well developed. The sequences are mainly composed of grayish-white clays, grayish-green clayey silts, grayish-yellow silts and fine-grained brown sands, which have recorded reliable polarity variations of geomagnetic field.Characteristics of the anisotropy of magnetic susceptibility show that the sediments have preserved typical original magnetic fabric for sediments, indicating that the strata were developed in a low-energy lake environment and were never perturbed by tectonic stress since deposition. High-temperature magnetic susceptibility measurements (x-T) of representative specimens and demagnetization experiments indicate that the dominant magnetic mineral and remanent carrier at the two sections is magnetite. In addition, hematite and possibly minor maghemite exists in some portions of the sequences. The majority of the samples have relatively simple demagnetization behaviors. After removal of soft magnetic components, the stable characteristic remanent magnetizations (ChRMs) are isolated, which can represent the original remanences.The Donggutuo section mainly records the Brunhes chron, the Matuyama chron and the Jaramillo subchron. The Maliang stone artifact layer occurs just below the Brunhes/Matuyama boundary; and the Donggutuo artifact layer, just below the Jaramillo onset. Accordingly, the Maliang and Donggutuo sites can be dated at about 0.78 Ma and 1.1 Ma, respectively. The Cenjiawan section has recorded a portion of the Matuyama chron. After correlations with the magnetic polarity sequence of the Majuangou section adjacent to this section, the Cenjiawan stone artifact layer is determined below the Jaramillo onset, with an estimated age of 1.1 Ma.To establish the magnetic stratigraphy framework for the lacustrine sediments in the eastern Nihewan Basin, this thesis draws on the magnetic polarity sequences of the Donggutuo and Cenjiawan sections as well as previously obtained results from the Majuangou, Haojiatai, Xiaochangliang and Donggou sections for magnetostratigraphic correlations. The accumulation of the lacustrine sequences at the east margin of the basin commenced from about 2.0 Ma. These sequences record not only the coarse magnetostratigraphy of the Brunhes normal chron and the middle to late Matuyama reverse chron (that is, the Jaramillo and Olduvai subchrons) but also some of the fine structure (that is, the Kamikatsura, Santa Rosa, Punaruu and Cobb Mountain geomagnetic events). The development of the Nihewan paleolake experienced at least twice large expansion periods, split by a large-scale shrinking event in the middle period of the paleolake development. The accumulation of the lacustrine strata was controlled by fault activities.After temporal control for the Donggutuo, Maliang and Cenjiawan Paleolithic sites were established, the three sites along with other well-dated Paleolithic/hominin sites of the Early Pleistocene in North China were combined to construct a chronological sequence of early human occupation in northeastern Asia. Furthermore, after incorporation of paleoclimate changes retrieved from Chinese loess/paleosol sequences and marine sediments, it could be possibly proposed that human groups of the Early Pleistocene in North China might have survived repeated warm/humid interglacials and cold/dry glacials, which were paced by earth orbital variations of the Eastern paleomonsoon.

Absence of the 7-repeat variant of the DRD4 VNTR is associated with drifting sustained attention in children with ADHD but not in controls

Many genetic studies have demonstrated an association between the 7-repeat (7r) allele of a 48-base pair variable number of tandem repeats (VNTR) in exon 3 of the DRD4 gene and the phenotype of attention deficit hyperactivity disorder (ADHD). Previous studies have shown inconsistent associations between the 7r allele and neurocognitive performance in children with ADHD. We investigated the performance of 128 children with and without ADHD on the Fixed and Random versions of the Sustained Attention to Response Task (SART). We employed timeseries analyses of reaction-time data to allow a fine-grained analysis of reaction time variability, a candidate endophenotype for ADHD. Children were grouped into either the 7r-present group (possessing at least one copy of the 7r allele) or the 7r-absent group. The ADHD group made significantly more commission errors and was significantly more variable in RT in terms of fast moment-to-moment variability than the control group, but no effect of genotype was found on these measures. Children with ADHD without the 7r allele made significantly more omission errors, were significantly more variable in the slow frequency domain and showed less sensitivity to the signal (d') than those children with ADHD the 7r and control children with or without the 7r. These results highlight the utility of time-series analyses of reaction time data for delineating the neuropsychological deficits associated with ADHD and the DRD4 VNTR. Absence of the 7-repeat allele in children with ADHD is associated with a neurocognitive profile of drifting sustained attention that gives rise to variable and inconsistent performance. (c) 2008 Wiley-Liss, Inc.

A new method of measuring plastic limit of fine materials

Index properties such as the liquid limit and plastic limit are widely used to evaluate certain geotechnical parameters of fine-grained soils. Measurement of the liquid limit is a mechanical process, and the possibility of errors occurring during measurement is not significant. However, this is not the case for plastic limit testing, despite the fact that the current method of measurement is embraced by many standards around the world. The method in question relies on a fairly crude procedure known widely as the ‘thread rolling' test, though it has been the subject of much criticism in recent years. It is essential that a new, more reliable method of measuring the plastic limit is developed using a mechanical process that is both consistent and easily reproducible. The work reported in this paper concerns the development of a new device to measure the plastic limit, based on the existing falling cone apparatus. The force required for the test is equivalent to the application of a 54 N fast-static load acting on the existing cone used in liquid limit measurements. The test is complete when the relevant water content of the soil specimen allows the cone to achieve a penetration of 20 mm. The new technique was used to measure the plastic limit of 16 different clays from around the world. The plastic limit measured using the new method identified reasonably well the water content at which the soil phase changes from the plastic to the semi-solid state. Further evaluation was undertaken by conducting plastic limit tests using the new method on selected samples and comparing the results with values reported by local site investigation laboratories. Again, reasonable agreement was found.

From bit level systolic arrays to HDTV processor chips

The initial part of this paper reviews the early challenges (c 1980) in achieving real-time silicon implementations of DSP computations. In particular, it discusses research on application specific architectures, including bit level systolic circuits that led to important advances in achieving the DSP performance levels then required. These were many orders of magnitude greater than those achievable using programmable (including early DSP) processors, and were demonstrated through the design of commercial digital correlator and digital filter chips. As is discussed, an important challenge was the application of these concepts to recursive computations as occur, for example, in Infinite Impulse Response (IIR) filters. An important breakthrough was to show how fine grained pipelining can be used if arithmetic is performed most significant bit (msb) first. This can be achieved using redundant number systems, including carry-save arithmetic. This research and its practical benefits were again demonstrated through a number of novel IIR filter chip designs which at the time, exhibited performance much greater than previous solutions. The architectural insights gained coupled with the regular nature of many DSP and video processing computations also provided the foundation for new methods for the rapid design and synthesis of complex DSP System-on-Chip (SoC), Intellectual Property (IP) cores. This included the creation of a wide portfolio of commercial SoC video compression cores (MPEG2, MPEG4, H.264) for very high performance applications ranging from cell phones to High Definition TV (HDTV). The work provided the foundation for systematic methodologies, tools and design flows including high-level design optimizations based on "algorithmic engineering" and also led to the creation of the Abhainn tool environment for the design of complex heterogeneous DSP platforms comprising processors and multiple FPGAs. The paper concludes with a discussion of the problems faced by designers in developing complex DSP systems using current SoC technology. © 2007 Springer Science+Business Media, LLC.

Impact of Testing Procedure on Permeability of Compacted Soils

The commonly used British Standard constant head triaxial permeability (BS) test, for permeability testing of fine grained soils, is known to have a relatively long test duration. Consequently, a reduction in the required time for permeability test provides potential cost savings, to the construction industry (specifically, for use during Construction Quality Control (CQA) of landfill mineral liners). The purpose of this article is to investigate and evaluate alternative short duration testing methods for the measurement of the permeability of fine grained soils.

As part of the investigation the feasibility of an existing method of short duration permeability test, known as the Accelerated Permeability (AP) test was assessed and compared with permeability measured using British Standard method (BS) and Ramp Accelerated Permeability (RAP). Four different fine grained materials, of a variety of physical properties were compacted at various moisture contents to produced analogous samples for testing using three the three different methodologies. Fabric analysis was carried out on specimens derived from post-test samples using Mercury Intrusion Porosimetry (MIP) and Scanning Electron Microscope (SEM) to assess the effects of testing methodology on soil structure. Results showed that AP testing in general under predicts permeability values derived from the BS test due to large changes in structure of the soil caused by AP test methodology, which is also validated using MIP and SEM observations. RAP testing, in general provides an improvement to the AP test but still under-predicts permeability values. The potential savings in test duration are shown to be relatively minimal for both the AP and RAP tests.

Cross-layer Energy-Efficiency Optimization of Packet Based Wireless MIMO Communication Systems

Energy in today's short-range wireless communication is mostly spent on the analog- and digital hardware rather than on radiated power. Hence,purely information-theoretic considerations fail to achieve the lowest energy per information bit and the optimization process must carefully consider the overall transceiver. In this paper, we propose to perform cross-layer optimization, based on an energy-aware rate adaptation scheme combined with a physical layer that is able to properly adjust its processing effort to the data rate and the channel conditions to minimize the energy consumption per information bit. This energy proportional behavior is enabled by extending the classical system modes with additional configuration parameters at the various layers. Fine grained models of the power consumption of the hardware are developed to provide awareness of the physical layer capabilities to the medium access control layer. The joint application of the proposed energy-aware rate adaptation and modifications to the physical layer of an IEEE802.11n system, improves energy-efficiency (averaged over many noise and channel realizations) in all considered scenarios by up to 44%.

ALEA: Fine-Grain Energy Profiling with Basic Block Sampling

Energy efficiency is an essential requirement for all contemporary computing systems. We thus need tools to measure the energy consumption of computing systems and to understand how workloads affect it. Significant recent research effort has targeted direct power measurements on production computing systems using on-board sensors or external instruments. These direct methods have in turn guided studies of software techniques to reduce energy consumption via workload allocation and scaling. Unfortunately, direct energy measurements are hampered by the low power sampling frequency of power sensors. The coarse granularity of power sensing limits our understanding of how power is allocated in systems and our ability to optimize energy efficiency via workload allocation.
We present ALEA, a tool to measure power and energy consumption at the granularity of basic blocks, using a probabilistic approach. ALEA provides fine-grained energy profiling via sta- tistical sampling, which overcomes the limitations of power sens- ing instruments. Compared to state-of-the-art energy measurement tools, ALEA provides finer granularity without sacrificing accuracy. ALEA achieves low overhead energy measurements with mean error rates between 1.4% and 3.5% in 14 sequential and paral- lel benchmarks tested on both Intel and ARM platforms. The sampling method caps execution time overhead at approximately 1%. ALEA is thus suitable for online energy monitoring and optimization. Finally, ALEA is a user-space tool with a portable, machine-independent sampling method. We demonstrate two use cases of ALEA, where we reduce the energy consumption of a k-means computational kernel by 37% and an ocean modelling code by 33%, compared to high-performance execution baselines, by varying the power optimization strategy between basic blocks.

Storage of sediment-associated nutrients and contaminants in river channel and floodplain systems

Samples of fine-grained channel bed sediment and overbank floodplain deposits were collected along the main channels of the Rivers Aire (and its main tributary, the River Calder) and Swale, in Yorkshire, UK, in order to investigate downstream changes in the storage and deposition of heavy metals (Cr, Cu, Pb, Zn), total P and the sum of selected PCB congeners, and to estimate the total storage of these contaminants within the main channels and floodplains of these river systems. Downstream trends in the contaminant content of the <63 μm fraction of channel bed and floodplain sediment in the study rivers are controlled mainly by the location of the main sources of the contaminants, which varies between rivers. In the Rivers Aire and Calder, the contaminant content of the <63 μm fraction of channel bed and floodplain sediment generally increases in a downstream direction, reflecting the location of the main urban and industrialized areas in the middle and lower parts of the basin. In the River Swale, the concentrations of most of the contaminants examined are approximately constant along the length of the river, due to the relatively unpolluted nature of this river. However, the Pb and Zn content of fine channel bed sediment decreases downstream, due to the location of historic metal mines in the headwaters of this river, and the effect of downstream dilution with uncontaminated sediment. The magnitude and spatial variation of contaminant storage and deposition on channel beds and floodplains are also controlled by the amount of <63 μm sediment stored on the channel bed and deposited on the floodplain during overbank events. Consequently, contaminant deposition and storage are strongly influenced by the surface area of the floodplain and channel bed. Contaminant storage on the channel beds of the study rivers is, therefore, generally greatest in the middle and lower reaches of the rivers, since channel width increases downstream. Comparisons of the estimates of total storage of specific contaminants on the channel beds of the main channel systems of the study rivers with the annual contaminant flux at the catchment outlets indicate that channel storage represents <3% of the outlet flux and is, therefore, of limited importance in regulating that flux. Similar comparisons between the annual deposition flux of specific contaminants to the floodplains of the study rivers and the annual contaminant flux at the catchment outlet, emphasise the potential importance of floodplain deposition as a conveyance loss. In the case of the River Aire the floodplain deposition flux is equivalent to between ca. 2% (PCBs) and 36% (Pb) of the outlet flux. With the exception of PCBs, for which the value is ≅0, the equivalent values for the River Swale range between 18% (P) and 95% (Pb). The study emphasises that knowledge of the fine-grained sediment delivery system operating in a river basin is an essential prerequisite for understanding the transport and storage of sediment-associated contaminants in river systems and that conveyance losses associated with floodplain deposition exert an important control on downstream contaminant fluxes and the fate of such contaminants. © 2003 Elsevier Science Ltd. All rights reserved.

Streaming Elements for FPGA Signal and Image Processing Accelerators

Field programmable gate array devices boast abundant resources with which custom accelerator components for signal, image and data processing may be realised; however, realising high performance, low cost accelerators currently demands manual register transfer level design. Software-programmable ’soft’ processors have been proposed as a way to reduce this design burden but they are unable to support performance and cost comparable to custom circuits. This paper proposes a new soft processing approach for FPGA which promises to overcome this barrier. A high performance, fine-grained streaming processor, known as a Streaming Accelerator Element, is proposed which realises accelerators as large scale custom multicore networks. By adopting a streaming execution approach with advanced program control and memory addressing capabilities, typical program inefficiencies can be almost completely eliminated to enable performance and cost which are unprecedented amongst software-programmable solutions. When used to realise accelerators for fast fourier transform, motion estimation, matrix multiplication and sobel edge detection it is shown how the proposed architecture enables real-time performance and with performance and cost comparable with hand-crafted custom circuit accelerators and up to two orders of magnitude beyond existing soft processors.

Influence of testing on permeability of compacted fine soils

The British standard constant-head triaxial test for measuring the permeability of fine-grained soils takes a relatively long time. A quicker test could provide savings to the construction industry, particularly for checking the quality of landfill clay liners. An accelerated permeability test has been developed, but the method often underestimates the permeability values compared owing to structural changes in the soil sample. This paper reports on an investigation
into the accelerated test to discover if the changes can be limited by using a revised procedure. The accelerated test is assessed and compared with the standard test and a ramp-accelerated permeability test. Four different finegrained materials are compacted at various water contents to produce analogous samples for testing using the three different methods. Fabric analysis is carried out on specimens derived from post-test samples using mercury intrusion porosimetry and scanning electron microscopy to assess the effects of testing on soil structure. The results show that accelerated testing in general underestimates permeability compared with values derived from the standard test, owing to changes in soil structure caused by testing. The ramp-accelerated test is shown to provide an improvement in terms of these structural changes.

Development of lithium disilicate based glass-ceramics

O principal objectivo deste estudo foi o desenvolvimento de vitrocerâmicos à base de dissilicato de lítio no sistema Li2O-K2O-Al2O3-SiO2 contendo uma razão molar SiO2/Li2O muito afastada da do dissilicato de lítio (Li2Si2O5) usando composições simples e a técnica tradicional de fusão-vazamento de vidro de forma a obter materiais com propriedades mecânicas, térmicas, químicas e eléctricas superiores que permitam a utilização destes materiais em diversas aplicações funcionais. Investigou-se o fenómeno de separação de fases, a cristalização e as relações estrutura-propriedades de vidros nos sistemas Li2O-SiO2, Li2O-Al2O3-SiO2 e Li2O-K2O-Al2O3-SiO2. Os vidros nos sistemas Li2O-SiO2 e Li2O-Al2O3-SiO2 apresentaram fraca densificação e resultaram em materiais frágeis, contrastando com a boa sinterização dos vidros no sistema Li2O-K2O-Al2O3-SiO2. Pequenas adições de Al2O3 e K2O ao sistema Li2O-SiO2 permitiram controlar a separação de fases devido à formação de espécies de Al(IV) que confirmaram o papel de Al2O3 como formador de rede. Os compactos de pó de vidro das composições contendo Al2O3 e K2O tratados termicamente resultaram em vitrocerâmicos bem densificados, apresentando dissilicato de lítio como a principal fase cristalina, e valores de resistência mecânica à flexão, resistência química e condutividade eléctrica (173-224 MPa, 25-50 mg/cm2 e ~2´10-18 S/cm, respectivamente) que possibilitam a utilização destes materiais em diversas aplicações funcionais. A adição de P2O5, TiO2 e ZrO2 ao sistema Li2O-K2O-Al2O3-SiO2 como agentes nucleantes revelou que os vidros contendo apresentaram cristalização em volume, com a formação de metassilicato de lítio a temperaturas mais baixas e dissilicato de lítio para as temperaturas mais elevadas, enquanto a adição de zircónia reduz o grau de segregação, aumenta a polimerização da matriz vítrea e desloca o valor de Tg para temperaturas superiores, inibindo a cristalização.

Uncovering Dependence Clusters and Linchpin Functions

Dependence clusters are (maximal) collections of mutually dependent source code entities according to some dependence relation. Their presence in software complicates many maintenance activities including testing, refactoring, and feature extraction. Despite several studies finding them common in production code, their formation, identification, and overall structure are not well understood, partly because of challenges in approximating true dependences between program entities. Previous research has considered two approximate dependence relations: a fine-grained statement-level relation using control and data dependences from a program’s System Dependence Graph and a coarser relation based on function-level controlflow reachability. In principal, the first is more expensive and more precise than the second. Using a collection of twenty programs, we present an empirical investigation of the clusters identified by these two approaches. In support of the analysis, we consider hybrid cluster types that works at the coarser function-level but is based on the higher-precision statement-level dependences. The three types of clusters are compared based on their slice sets using two clustering metrics. We also perform extensive analysis of the programs to identify linchpin functions – functions primarily responsible for holding a cluster together. Results include evidence that the less expensive, coarser approaches can often be used as e�ective proxies for the more expensive, finer-grained approaches. Finally, the linchpin analysis shows that linchpin functions can be e�ectively and automatically identified.