Ф16mm、Ф18mm钼棒的研制

采用等静压制法，压制钼圆棒坯，经中频高温烧结，制得尺寸适合、用户满意的钼电极棒。     

Early detection of ageing in solder joints through laser probe thermal analysis of the peltier effect

We have recently developed an optical contactless method for testing the quality of solder joints during accelerated thermal cycling ageing processes.¹ The method was based upon the measurement of the dynamic thermal behaviour of the joint to short bursts of Joule heating. It has proved to be efficient in revealing the formation of cracks at the lead-solder interface. We present a method to evaluate ageing at a much earlier stage in the cycling process. We have observed in earlier work,¹ that before cracks appear, structural changes occur in the solder at the lead-solder interface. The thermal response of the solder joint is recorded over time to a Peltier heat perturbation produced by flowing a current pulse through the interface where structural changes occur. The key point in this method is to discriminate the Peltier effect from the Joule thermal response because both effects generate heat. The variation of the early Peltier response in the thermal cycling ageing tests is seen as a quantitative signature of the structural changes in the lead-solder interface.     

Notes on Ginsberg's multivalued logics

The use of multivalued logics for knowledge representation and nonmonotonic reasoning has often been advocated, in particular within the general framework proposed by Ginsberg in his paper "Multivalued logics: a uniform approach to reasoning in artificial intelligence." His system is based on a multivalued logic with an arbitrary number of truth values classified with respect to two partial orders, a truth order and a knowledge order. This classification is very interesting and gives an intuitive appeal to the framework. In this paper the work by Ginsberg is critically reviewed, pointing out some flaws and ways to overcome them. Moreover, we present some ideas on how to modify the original schema in order to obtain a more semantically well-founded framework.
L'utilisation de la Iogique multivalente pour la représentation des connaissances et le raisonnement non monotone a souvent été préconisée, en particulier à l'intérieur du cadre général proposé par Ginsberg dans son article intitulé〘 Multivalued logics: a uniform approach to reasoning in artificial intelligence 〙 Son système est basé sur une logique multivalente comportant un nombre arbitraire de valeurs de vérité classées selon deux ordres partiels: un ordre de vérité et un ordre de connaissances. Cette classification est très intéressante et donne un attrait intuitif au cadre. Dans cet article, l'auteur examine le travail de Ginsberg, y relève des lacunes et propose des moyens de les corriger. De plus, il expose certaines idées en vue de modifier le schéma original et ainsi obtenir un meilleur cadre du point de vue de la sémantique.     

Application of the blind source separation method to feature extraction of machine sound signals

As the result of vibration emission in air, a machine sound signal carries important information about the working condition of machinery. But in practice, the sound signal is typically received with a very low signal-to-noise ratio. To obtain features of the original sound signal, uncorrelated sound signals must be removed and the wavelet coefficients related to fault condition must be retrieved. In this paper, the blind source separation technique is used to recover the wavelet coefficients of a monitored source from complex observed signals. Since in the proposed blind source separation (BSS) algorithms it is generally assumed that the number of sources is known, the Gerschgorin disk estimator method is introduced to determine the number of sound sources before applying the BSS method. This method can estimate the number of sound sources under non-Gaussian and non-white noise conditions. Then, the partial singular value analysis method is used to select these significant observations for BSS analysis. This method ensures that signals are separated with the smallest distortion. Afterwards, the time-frequency separation algorithm, converted to a suitable BSS algorithm for the separation of a non-stationary signal, is introduced. The transfer channel between observations and sources and the wavelet coefficients of the source signals can be blindly identified via this algorithm. The reconstructed wavelet coefficients can be used for diagnosis. Finally, the separation results obtained from the observed signals recorded in a semi-anechoic chamber demonstrate the effectiveness of the presented methods .     

A constructive approach to sequential Nash equilibria

We present a Coq-formalized proof that all non-cooperative, sequential games have a Nash equilibrium point. Our proof methodology follows the style advocated by LCF-style theorem provers, i.e., it is based on inductive definitions and is computational in nature. The proof (i) uses simple computational means, only, (ii) basically is by construction, and (iii) reaches a constructively stronger conclusion than informal efforts. We believe the development is a first as far as formalized game theory goes.     

Elimination of fictitious penetrating rays from PO and hybridization with AFIM

Physical optics (PO) is an approximation method for high‐frequency scattering and diffraction problems. But PO fields are inaccurate in the shadow region where the source is screened by the scatter. Two key factors of the error for PO are (i) edge diffraction coefficients and (ii) existence of fictitious penetrating rays. The correction with respect to the former has been extensively investigated by many authors using various ray techniques such as GTD, UTD, and UAT. On the other hand, the latter was identified recently by the authors. This paper proposes novel PO‐based calculation procedures termed PO‐AF and PTD‐AF, where PO and Aperture Field Integration Method (AFIM) are merged with the help of special elementary diffraction coefficients. These can uniformly cover the whole angular region and only the error factor (ii) is removed in PO‐AF while both (i) and (ii) are removed in PTD‐AF. The theoretical backgrounds of PO currents are discussed in terms of field equivalence theorem and visualization of EM waves. Next, new methods are proposed and their validity is numerically demonstrated for 2D scattering problems of a strip, a corner reflector, and a cylinder of circular arc. © 2004 Wiley Periodicals, Inc. Electr Eng Jpn, 150(2): 1–10, 2005; Published online in Wiley InterScience ( www.interscience.wiley.com ). DOI 10.1002/eej.20037     

Synthesis of Pseudoionones by Acid and Base Solid Catalysts

The preparation of pseudoionones by aldol condensation reaction between citral and acetone have been carried out in the presence of acid (HY and beta zeolites), an acid–base (amorphous aluminophosphate) and basic catalysts such as an aluminophosphate oxynitride, MgO and different activated hydrotalcites. The results showed that acid or acid–base catalysts were not successful for performing in one pot the preparation of ionones. MgO and calcined hydrotalcites showed excellent activity and selectivity to pseudoionones, with calcined hydrotalcite more selective than MgO. Moreover, the rate of reaction can be improved by activating the hydrotalcite through rehydration. This activation can be successfully done by simply adding the optimum amount of water to the calcined hydrotalcite before reaction. The inhibiting effect of the concentration citral on the catalytic activity of rehydrated hydrotalcites that has been reported to occur at 273 K can be avoided by working at a reaction temperature of 333 K.     

D级压力容器制造许可证鉴定评审中企业存在问题综述

阐述了在D级压力容器制造许可证取换证鉴定评审过程中,取换证制造企业存在的较为普遍的问题。     

TESTS FOR FRACTIONAL INTEGRATION:A MONTE CARLO INVESTIGATION

Abstract. The performance of the Geweke-Porter-Hudak (GPH) test, the modified rescaled range (MRR) test and two Lagrange multiplier (LM) type tests for fractional integration in small samples is examined using Monte Carlo methods. Both the GPH and MRR tests are found to be robust to moderate autoregressive moving-average components, autoregressive conditional heteroskedasticity effects and shifts in the variance. However, these two tests are sensitive to large autoregressive moving-average components and shifts in the mean. It is also found that the LM tests are sensitive to deviations from the null hypothesis. As an illustration, the GPH test is applied to two economic data series.