Selectors Make Set-Based Analysis Too Hard

A set-based program analysis establishes constraints between sets of abstract values for all expressions in a program. Solving the system of constraints produces a conservative approximation to the program's runtime flow of values. Some practical set-based analyses use explicit selectors to extract the relevant values from an approximation set. For example, if the analysis needs to determine the possible return values of a procedure, it uses the appropriate selector to extract the relevant component from the abstract representation of the procedure. In this paper, we show that this selector-based approach complicates the constraint solving phase of the analysis too much and thus fails to scale up to realistic programming languages. We demonstrate this claim with a full-fledged value flow analysis for case-lambda, a multi-branched version of lambda. We show how both the theoretical underpinnings and the practical implementation become too complex. In response, we present a variant of set-based closure analysis that computes equivalent results in a much more efficient manner.     

硬质合金钎焊接头的拘束强化

从力学观点分析了高温高压扩散处理硬质合金钎焊接头的拘束强化效应。文中指出，钎焊接头受力时，钎缝的拘束应力状态与双边半圆缺口平板中的应力状态相类似，据此，在一定范围内建立了钎缝宽度与接头强度间的定量关系，为通过控制钎缝宽度以提高接头强度提供了依据。     

Delta互连网有效存贮器带宽性能分析

本文运用概率分析方法，详细地分析了拥有优先级的Ｄｅｌｔａ网有效存贮器带宽的性能，获得的有效带宽模型基于访存请求均匀分布于各存贮器模块中，结果表明：优先级并不影响整个Ｄｅｌｔａ互连网有效存贮器带宽的性能。计算机模拟的结果也验证了理论分析的有效性。     

Comparison of two quantitative proton density mapping methods in multiple sclerosis

Objective

Proton density (PD) mapping requires correction for the receive profile (RP), which is frequently performed via bias-field correction. An alternative RP-mapping method utilizes a comparison of uncorrected PD-maps and a value ρ(T1) directly derived from T1-maps via the Fatouros equation. This may be problematic in multiple sclerosis (MS), if respective parameters are only valid for healthy brain tissue. We aimed to investigate whether the alternative method yields correct PD values in MS patients.

Materials/methods

PD mapping was performed on 27 patients with relapsing-remitting MS and 27 healthy controls, utilizing both methods, yielding reference PD values (PD_ref, bias-field method) and PD_alt (alternative method).

Results

PD_alt-values closely matched PD_ref, both for patients and controls. In contrast, ρ(T1) differed by up to 3 % from PD_ref, and the voxel-wise correlation between PD_ref and ρ(T1) was reduced in a patient subgroup with a higher degree of disability. Still, discrepancies between ρ(T1) and PD_ref were almost identical across different tissue types, thus translating into a scaling factor, which cancelled out during normalization to 100 % in CSF, yielding a good agreement between PD_alt and PD_ref.

Conclusion

RP correction utilizing the auxiliary parameter ρ(T1) derived via the Fatouros equation provides accurate PD results in MS patients, in spite of discrepancies between ρ(T1) and actual PD values.

     

Amidoamine: Synthesis,disparity in cure with epoxy resins between bulk and solvent systems,and structure–property relationships of its epoxy‐based coatings

Amidoamines are widely used as crosslinkers for epoxy resins in protective coatings on metal substrates; however, their cure chemistry is not well elaborated in the technical literature. During cure, the epoxy–amine and epoxy–amide NH reactions could be accompanied by epoxy–hydroxyl etherification, epoxy–epoxy homopolymerization, and reaction between hydroxyls and amide moiety to form in situ ester and amine. To understand the epoxy–amidoamine cure chemistry and correlate it with coating performance properties, amidoamines of known structure are required. Therefore, amidoamines were synthesized by reacting dimer fatty acids with diethylene triamine. When these amidoamines were cured with epoxy resins, discrepancies were observed between systems cured at ambient and thermal conditions. The presence of solvents were seen to greatly affect the rate of epoxy–amidoamine cure at ambient, and before and after vitrification. Near‐IR and mid‐IR spectroscopy studies indicated that side reactions occurred to some extent during cure. No reaction was noted between the amide NH moiety and the epoxide group below 150°C whereas ester formation was noted above 120°C. Solvent‐based clear epoxy–amidoamine coatings formulated at an epoxy:amine equivalent ratio 1.15 passed basic organic coatings evaluation tests. POLYM. ENG. SCI., 59:E69–E81, 2019. © 2018 Society of Plastics Engineers     

Feature significance for multivariate kernel density estimation

Multivariate kernel density estimation provides information about structure in data. Feature significance is a technique for deciding whether features-such as local extrema-are statistically significant. This paper proposes a framework for feature significance in d-dimensional data which combines kernel density derivative estimators and hypothesis tests for modal regions. For the gradient and curvature estimators distributional properties are given, and pointwise test statistics are derived. The hypothesis tests extend the two-dimensional feature significance ideas of Godtliebsen et al. [Godtliebsen, F., Marron, J.S., Chaudhuri, P., 2002. Significance in scale space for bivariate density estimation. Journal of Computational and Graphical Statistics 11, 1-21]. The theoretical framework is complemented by novel visualization for three-dimensional data. Applications to real data sets show that tests based on the kernel curvature estimators perform well in identifying modal regions. These results can be enhanced by corresponding tests with kernel gradient estimators.     

Magnetic specific heat and magnetoresistance of URhSi

Specific heat of a single crystalline URhSi was measured by a relaxation method in a temperature range 0.3–25 K in magnetic fields up to 8 T applied along the two of the principal axes. The low-temperature specific heat exponentially decays with magnetic field. The decay is much faster in fields applied along the easy magnetization direction (the c-axis) than for the hard axis (the a-axis) case. A strong upturn in c_p/T versus T below 0.6 K that disappears with application of magnetic field is observed suggesting possible magnetic or superconducting phase transition at lower temperatures. The electrical resistivity in the vicinity of the ferromagnetic phase temperature is found to be reduced by more than 50% upon application of magnetic field of 8 T applied along the c-axis. URhSi represent an itinerant ferromagnetic system with influence of spin fluctuations.     

Geometrical Model of Polymorphous Transformations in Titanium and Zirconium

A geometrical model of transformation of a body-centered cubic lattice of α-phase into a hexagonal close-packed lattice of α-phase is developed with the aim of explaining the special features of the crystal geometry of formation of martensite phases in titanium and zirconium and in alloys based on them. The transformation is described as mutual reconstruction of coordination polyhedra of the cubic and hexagonal lattices through an intermediate configuration of the crystal structure of ω-phase. In the language of algebraic geometry the transition is implemented as reconstruction of an 11-atom cluster that represents a union of three octahedra around a common edge into an 11-atom cluster composed of 11 tetrahedra united over faces. Experimentally observed orientation relations and habit planes at α → ω and β → α transformations are describable by elements of the structure of the mentioned clusters.     

Adenylyl cyclase signal transduction and alcohol-induced sedation

This study examined adenylyl cyclase (AC) signal transduction in alcohol-sensitive brain regions of rats selectively bred for high (HAD) and low (LAD) alcohol drinking and correlated these findings with differences in sensitivity and tolerance to alcohol-induced sedation found within these lines. LAD rats were more sensitive to the sedative effects of alcohol than were HAD rats as evidenced by a shorter latency to lose the righting response (RR) after a single alcohol challenge. When time to recover the RR was compared after each of two alcohol challenges, HAD rats recovered the RR more rapidly following the second challenge compared to the first, indicating that the HAD rats rapidly developed tolerance to the sedative effects of alcohol. Tolerance did not develop in rats of the LAD line. Two months after completion of behavioral testing, adenylyl cyclase (AC) signal transduction was examined in alcohol-sensitive brain regions of rats from both lines. Immunoblot analyses indicated that LAD rats had greater Gs alpha expression in the frontal cortex (FC) and hippocampus (HIP) compared to HAD rats. Rats with the highest HIP and FC Gs alpha levels were more rapidly affected by the sedative properties of alcohol than were rats with lower Gs alpha levels. G protein expression and AC activity in the FC, HIP, cerebellum (CERE), and nucleus accumbens (ACB) were also correlated with sensitivity to the sedative properties of alcohol and with the rapid development of tolerance to this alcohol effect. The results suggest that sensitivity and tolerance to alcohol-induced sedation may be mediated in part through AC signal transduction.