脉冲涡流和电磁声换能器双探头无损检测

在许多情况下，只应用一种NDT技术存在不足，这就迫使NDT操作人员使用一种以上的技术以保证检测出危害被检物使用寿命或功能的缺陷。但分别实施多种技术的检测，就会延长检验时间。介绍了一种新的NDT设施，采用两种不同的非接触无损检测技术进行互补，即电磁声换能器（EMAT）和脉冲涡流（PEC）探头。检测结果表明，脉冲涡流和电磁声换能器因是非接触，所以可应用于材料生产过程中的自动在线检验，也可用于在役检验。     

Dual Verbal Elicitation: The Complementary Use of Concurrent and Retrospective Reporting Within a Usability Test

Verbal protocols are the primary tool for understanding users' task-solving behaviors during usability testing. A qualitative study that examined the utility of combining a concurrent and retrospective think-aloud within the same usability test is described. The results indicate that although there was significant overlap between the types of utterances produced during each think-aloud, the retrospective phase produced more verbalizations that were relevant to usability analysis, for example, helpful self-assessments of performance, yielding insights into the impact of encountered difficulties. However, a small number of less desirable utterance types emerged: hypothesising, rationalizing, and forgetting. When used together, both methods contributed to an understanding of usability issues; the concurrent phase yielded more usability issues overall, and the retrospective data improved the understanding of these by (a) reinforcement: users highlighted the impact of an issue on their experience, (b) elaboration: users would provide causal explanations of encountered difficulties, and (c) context: users provided information about the product's context of use.     

Performance analysis challenges and framework for high-performance reconfigurable computing

Reconfigurable computing (RC) applications employing both microprocessors and FPGAs have potential for large speedup when compared with traditional (software) parallel applications. However, this potential is marred by the additional complexity of these dual-paradigm systems, making it difficult to identify performance bottlenecks and achieve desired performance. Performance analysis concepts and tools are well researched and widely available for traditional parallel applications but are lacking in RC, despite being of great importance due to the applications’ increased complexity. In this paper, we explore challenges and present new techniques in automated instrumentation, runtime measurement, and visualization of RC application behavior. We also present ideas for integration with conventional performance analysis tools to create a unified tool for RC applications as well as our initial framework for FPGA instrumentation and measurement. Results from a case study are provided using a prototype of this new tool.     

An EM approach to mineral analysis using natural gamma rays

We describe here a method for the analysis of materials on a conveyor belt using the natural gamma spectra collected with a BGO (Bismuth Germanate) gamma ray detector. This detector collects gamma ray emissions from the Potassium (K), Uranium (U), and Thorium (Th) atoms in the materials. Based on these data, and using a Poisson model for the data generation, a statistical model is proposed and an approximate maximum likelihood (ML) technique based on the expectation-maximization (EM) algorithm is then used to estimate the amount of each of the three elements in the material. The statistical model is further refined to incorporate parameters of drift in the detector and an estimation technique for this is developed and tested against real data. The Cramér–Rao lower bounds for the estimators are calculated.     

A Managed IPv6 Transitioning Architecture for Large Network Deployments

With IPv6 transitioning still in a relative state of flux, the need has emerged for methods to control this crucial aspect of IPv6 deployments. This article makes the case for transitioning architectures as a realistic solution to this issue, specifically within large-scale networks. The Site Transitioning Architecture (STA) supports the deployment, operation, and management of IPv6 transitioning mechanisms. The authors provide an overview of the STA's design and operation, noting that its flexible, simple, and secure architecture is suitable for the duration of the IPv6 deployment process, regardless of the underlying network environment.     

Severity of delayed (“secondary”) cerebral energy failure after acute hypoxia-ischemia is related to the time integral of acute ATP depletion

The aim of this study was to reproduce the delayed (secondary) cerebral energy failure previously described in birth-asphyxiated newborn infants and to investigate relationships between primary insult severity and the extent of the delayed energy failure. Phosphorus (³¹P) magnetic resonance spectroscopy (MRS) at 7 T was used to study the brains of 12 newborn piglets during an acute, reversible, cerebral hypoxic-ischemic episode which continued until nucleotide triphosphates (NTP) were depleted. After reperfusion and reoxygenation, spectroscopy was continued for 48 h. High-energy metabolite concentrations returned to near normal levels after the insult, but later they fell as delayed energy failure developed. The time integral of NTP depletion in the primary insult correlated strongly with the minimum [phosphocreatine (PCr)]/[inorganic orthophosphate (P_i)] observed 24–48 h after the insult. (Linear regression analysis gave slope –8.04 h^–1; ordinate intercept=1.23;r=0.92;P<0.0001.) This model is currently being used to investigate the therapeutic potential of various cerebroprotective strategies including hypothermia.     

Multi-input optical parallel logic processing with the shadow-casting technique

The lensless shadow-casting technique for coded pattern processing usually accommodates two inputs at a time to perform desired logical operations in parallel. A method of binary encoding is proposed that can accommodate multiple input patterns for simultaneous processing. With the proposed multiple-input encoding a carry-look-ahead technique of binary addition is developed that requires fewer processing steps than the conventional ripple-carry method. Experimental results for a few logic-processing operations are included to establish the validity of the proposed technique.     

Research on encoding and decoding of non-binary polar codes over GF(2m)

Binary Polar Codes (BPCs) have advantages of high-efficiency and capacity-achieving but suffer from large latency due to the Successive-Cancellation List (SCL) decoding. Non-Binary Polar Codes (NBPCs) have been investigated to obtain the performance gains and reduce latency under the implementation of parallel architectures for multi-bit decoding. However, most of the existing works only focus on the Reed-Solomon matrix-based NBPCs and the probability domain-based non-binary polar decoding, which lack flexible structure and have a large computation amount in the decoding process, while little attention has been paid to general non-binary kernel-based NBPCs and Log-Likelihood Ratio (LLR) based decoding methods. In this paper, we consider a scheme of NBPCs with a general structure over GF(2^m). Specifically, we pursue a detailed Monte-Carlo simulation implementation to determine the construction for proposed NBPCs. For non-binary polar decoding, an SCL decoding based on LLRs is proposed for NBPCs, which can be implemented with non-binary kernels of arbitrary size. Moreover, we propose a Perfect Polarization-Based SCL (PPB-SCL) algorithm based on LLRs to reduce decoding complexity by deriving a new update function of path metric for NBPCs and eliminating the path splitting process at perfect polarized (i.e., highly reliable) positions. Simulation results show that the bit error rate of the proposed NBPCs significantly outperforms that of BPCs. In addition, the proposed PPB-SCL decoding obtains about a 40% complexity reduction of SCL decoding for NBPCs.     

An n‐material thresholding method for improving integerness of solutions in topology optimization

It is common in solving topology optimization problems to replace an integer‐valued characteristic function design field with the material volume fraction field, a real‐valued approximation of the design field that permits ‘fictitious’ mixtures of materials during intermediate iterations in the optimization process. This is reasonable so long as one can interpolate properties for such materials and so long as the final design is integer valued. For this purpose, we present a method for smoothly thresholding the volume fractions of an arbitrary number of material phases which specify the design. This method is trivial for two‐material design problems, for example, the canonical topology design problem of specifying the presence or absence of a single material within a domain, but it becomes more complex when three or more materials are used, as often occurs in material design problems. We take advantage of the similarity in properties between the volume fractions and the barycentric coordinates on a simplex to derive a thresholding, method which is applicable to an arbitrary number of materials. As we show in a sensitivity analysis, this method has smooth derivatives, allowing it to be used in gradient‐based optimization algorithms. We present results, which show synergistic effects when used with Solid Isotropic Material with Penalty and Rational Approximation of Material Properties material interpolation functions, popular methods of ensuring integerness of solutions. Copyright © 2016 John Wiley & Sons, Ltd.     

Mutation analysis of the MEN1 gene in multiple endocrine neoplasia type 1, familial acromegaly and familial isolated hyperparathyroidism

Multiple endocrine neoplasia type 1 (MEN 1) is an autosomal dominant disease characterized by neoplasia of the parathyroid glands, the endocrine pancreas, and the anterior pituitary gland. In addition, families with isolated endocrine neoplasia, notably familial isolated hyperparathyroidism (FIHP) and familial acromegaly, have also been reported. However, whether these families constitute MEN 1 variants or separate entities remains speculative as the genetic bases for these diseases are unclear. The gene for MEN 1 has recently been cloned and characterized. Using single strand conformation analysis (SSCA) and sequencing, we performed mutation analysis in: a) a total of 55 MEN 1 families from 7 countries, b) 13 isolated MEN 1 cases without family history of the disease, c) 8 acromegaly families, and d) 4 FIHP families. Mutations were identified in 27 MEN 1 families and 9 isolated cases. The 22 different mutations spread across most of the 9 translated exons and included frameshift (11), nonsense (6), splice (2), missense mutations (2), and in-frame deletions (1). Among the 19 Finnish MEN 1 probands, a 1466del12 mutation was identified in 6 families with identical 11q13 haplotypes and in 2 isolated cases indicating a common founder. One frameshift mutation caused by 359del4 (GTCT) was found in 1 isolated case and 4 kindreds of different origin and haplotypes; this mutation therefore represents a common "warm" spot in the MEN1 gene. By analyzing the DNA of the parents of an isolated case one mutation was confirmed to be de novo. No mutation was found in any of the acromegaly and small FIHP families, suggesting that genetic defects other than the MEN1 gene might be involved and that additional such families need to be analyzed.