Accelerating filtering techniques for numeric CSPs

Search algorithms for solving Numeric CSPs (Constraint Satisfaction Problems) make an extensive use of filtering techniques. In this paper¹ we show how those filtering techniques can be accelerated by discovering and exploiting some regularities during the filtering process. Two kinds of regularities are discussed, cyclic phenomena in the propagation queue and numeric regularities of the domains of the variables. We also present in this paper an attempt to unify numeric CSPs solving methods from two distinct communities, that of CSP in artificial intelligence, and that of interval analysis.     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

Sensitivity analysis of the scattering parameters of microwave filters using the adjoint network method

A novel approach is presented to calculate the sensitivities of the scattering parameters of microwave filters obtained with the full‐wave mode‐matching (MM) technique. Using only the MM simulation of the original network, the sensitivities of the scattering parameters with respect to all designable parameters are obtained. The adjoint network method (ANM) is applied to the generalized scattering matrices of the different filter components. This guarantees good accuracy of the calculated sensitivities. The implementation details are discussed for N‐resonator ridge waveguide filters. Excellent agreement is obtained between the sensitivities calculated using ANM and those obtained using the expensive central differences. © 2006 Wiley Periodicals, Inc. Int J RF and Microwave CAE, 2006.     

Profile-Based Linguistic Uniformity as a Generic Method for Comparing Language Varieties

In this text we present``profile-based linguistic uniformity', a methoddesigned to compare language varieties on thebasis of a wide range of potentiallyheterogeneous linguistic variables. In manyrespects a parallel can be drawn with currentmethods in dialectometry (for an overview, see,Nerbonne and Heeringa, 2001; Heeringa, Nerbonneand Kleiweg, 2002): in both casesdissimilarities between varieties on the basisof individual variables are summarized inglobal dissimilarities, and a series oflanguage varieties are subsequently clusteredor charted using multivariate techniques suchas cluster analysis or multidimensionalscaling. This global similarity between themethods makes it possible to compare them andto investigate the implications of notabledifferences. In this text we specifically focuson, and defend one characteristic of ourmethodology, its profile-based nature.     

Hybrid Approach for Addressing Uncertainty in Risk Assessments

Parameter uncertainty is a major aspect of the model-based estimation of the risk of human exposure to pollutants. The Monte Carlo method, which applies probability theory to address model parameter uncertainty, relies on a statistical representation of available information. In recent years, other uncertainty theories have been proposed as alternative approaches to address model parameter uncertainty in situations where available information is insufficient to identify statistically representative probability distributions, due in particular to data scarcity. The simplest such theory is possibility theory, which uses so-called fuzzy numbers to represent model parameter uncertainty. In practice, it may occur that certain model parameters can be reasonably represented by probability distributions, because there are sufficient data available to substantiate such distributions by statistical analysis, while others are better represented by fuzzy numbers (due to data scarcity). The question then arises as to how these two modes of representation of model parameter uncertainty can be combined for the purpose of estimating the risk of exposure. This paper proposes an approach (termed a hybrid approach) which combines Monte Carlo random sampling of probability distribution functions with fuzzy calculus. The approach is applied to a real case of estimation of human exposure, via vegetable consumption, to cadmium present in the surficial soils of an industrial site located in the north of France. The application illustrates the potential of the proposed approach, which allows the uncertainty affecting model parameters to be represented in a way that is consistent with the information at hand. Also, because the hybrid approach takes advantage of the “rich” information provided by probability distributions, while retaining the conservative character of fuzzy calculus, it is believed to hold value in terms of a “reasonable” application of the precautionary principle.     

Peer responses to a team's weakest link: A test and extension of LePine and Van Dyne's model.

This article reports research intended to assess and extend a recent theory of peer responses to low-performing team members (J. A. LePine & L. Van Dyne, 2001a). An instrument that assesses 4 types of peer responses to low performers (compensating for, training, motivating, and rejecting) was developed and then cross-validated in a subsequent study. Results of the study supported the validity of the peer responses measure and were generally consistent with the attributional theory of peer responses. Low-performer characteristics influenced the peer responses. These effects were mediated in part by peer attributions, affect, and cognitions, which explained variance in the peer responses over and above the variance explained by respondents' personality characteristics (i.e., The Big Five). (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Probabilistic Strength Estimates and Reliability of Damaged Parallel Wire Cables

Cable reliability analysis involves the combined evaluation of cable capacity and cable load in a probabilistic manner. Assessment of cable capacity is only possible through visual inspections of the wires, field sampling, laboratory analysis of the degraded wire populations, and analytical techniques. In addition to a brief presentation of cable mechanics and deterministic models that approximate cable strength, this paper discusses inspection methodologies and statistical methods of estimation of the sizes of the degraded wire populations, and wire properties, leading to cable capacities. These capacities are described by probability distributions. The paper also discusses fundamentals of reliability analysis as they apply to bridge cables. Load criteria of present standard specifications (such as AASHTO or other international codes) are not applicable to long-span suspension bridges. The paper discusses criteria of bridge loading and reliability indices for bridge cables. More work is needed in the evaluation of loading for long-span bridges.     

民族特色词语的英汉互译

语言在其发展演变过程中,逐步具有了鲜明的民族文化色彩。阐述了民族特色词语的可译性,并提出了具体的翻译方法。     

金属包覆平板波导模式特性的有限元法分析

采用有限元法（FEM）分析了具有复数折射率的金属包覆介质波导的模折射率与模场分布情况。计算了具有损耗层的6层介质平板波导模折射率，并与解析解比较，二者有较好的一致性；分析了金属包覆3层平板波导中TM模折射率与波导芯厚度的变化关系，计算了金属包覆5层平板波导中TM模折秧经与金属层厚度的变化关系，并结合对模场分布的分析对模式进行了定性判断，给出了其模式演变过程。     

Effect of Organic Additives on Electrochemical Surface Precipitation and Polymorphism of CaCO3

The inhibition effect of three organic additives on the precipitation and polymorphism of CaCO₃ deposited on gold surfaces was investigated using electrochemical and microscopic techniques. Additives, two polyacrylic acid (PAA) polymers with different molecular weights (Mw 2100, Mw 30,000), and 1,2,4,5‐benzenetetracarboxylic acid (BTCA), were either added to the solution before or during deposition. In the presence of 100 ppm of one of the three additives in solution, almost no scale was observed on the surface for at least 24 hours. In the presence of lower concentrations of PAA Mw 2100, only distorted calcite crystals were obtained while with PAA Mw 30,000 the polymorph was spherical vaterite. A mixture of calcite and vaterite was observed with the BTCA additive. Addition of the polymers inhibits further nucleation and growth even if added after partial deposition of CaCO₃ while BTCA has no effect once nucleation has started. The results indicate that the inhibit ion effect of the PAA polymers is due to adsorption on the electrode surface while the effect of BTCA is related to chelation of calcium ions in solution.