论法式超平面及有界集的直径与宏围墙

建立了赋范空间法式超平面、有界集的围墙与宏围墙概念 讨论了它们与直径的密切关系 ,找到了宏围墙的特征条件 作出一个有界闭集奇例 ,它存在直径望点 ,但不存在一条直径 ,或者是直径望点都不存在 。

Internal residual stress measurement on linear friction welding of titanium alloy plates with contour method

The internal residual stress within a TC 17 titanium alloy joint welded by linear friction welding （LFW） was measured by the contour method, which is a relatively new and destructive technique to obtain a full map of internal residual stress. The specimen was first cut into two parts; the out-of-plane displacement contour formed by the release of the residual stress was then measured; finally, taking the measured contour of the cut plane as the boundary conditions, a linear elastic finite element analysis was carried out to calculate the corresponding distribution of residual stress normal to the cut plane. The internal stress distribution of the TC 17 titanium alloy LFWjoint was also analyzed. The results show that the tensile residual stress in the TC17 LFW weld is mainly present within a region about 12 mm from the weld centerline; the peak tensile residual stress occurs at the weld centerline and reaches 360 MPa （about one third of the yield strength of TC17 alloy）; within the weld zone of the TC17 LFW weld, the through-thickness stress is not uniform, and the internal stress is larger than that near the top or bottom surface.

论古希腊的“无理线段”——对《几何原本》第十卷内容的分析

本文用现行数学符号重现了欧几里得《几何原本》第十卷中的十三类无理线段,并论述了它们之间的内在联系.结论中指出,欧几里得研究的无理线段仅限于建立在毕达哥拉斯定理以及线段的有理运算上.虽然本卷内容丰富,结构严谨,但由于没有摆脱几何的约束,因而对无理数理论的发展没有实质性的突破.

Evaluation on residual stresses of silicon-doped CVD diamond films using X-ray diffraction and Raman spectroscopy

The effect of silicon doping on the residual stress of CVD diamond films is examined using both X-ray diffraction (XRD) analysis and Raman spectroscopy measurements. The examined Si-doped diamond films are deposited on WC-Co substrates in a home-made bias-enhanced HFCVD apparatus. Ethyl silicate (Si(OC2H5)4) is dissolved in acetone to obtain various Si/C mole ratio ranging from 0.1% to 1.4% in the reaction gas. Characterizations with SEM and XRD indicate increasing silicon concentration may result in grain size decreasing and diamond [110] texture becoming dominant. The residual stress values of as-deposited Si-doped diamond films are evaluated by both sin2ψ method, which measures the (220) diamond Bragg diffraction peaks using XRD, with ψ-values ranging from 0° to 45°, and Raman spectroscopy, which detects the diamond Raman peak shift from the natural diamond line at 1332 cm-1. The residual stress evolution on the silicon doping level estimated from the above two methods presents rather good agreements, exhibiting that all deposited Si-doped diamond films present compressive stress and the sample with Si/C mole ratio of 0.1% possesses the largest residual stress of ~1.75 GPa (Raman) or ~2.3 GPa (XRD). As the silicon doping level is up further, the residual stress reduces to a relative stable value around 1.3 GPa.

NOTE ON FORMULATION OF GEOMETRIC PROPERTIES OF A POLYNOMIAL SYSTEM

This note shows that when studying geometric pro perties, a polynomial system is defined as a line field on a projective space such that its singular set has co dimension at least 2. By this definition, the concept of the degree of a polynomial system does not coincide with the usual one. The usual degenerate polynomial system of degree n+1 should be regarded as a system of degree n . Note that the definition is independent coordinate system. And, by this definition, some geometric properties concerning polynomial vector fields turn out to be evident.

Slack-Decode Simultaneously and Redundantly Threaded Architecture

Slack-Decode Simultaneously and Redundantly Threaded （SD-SRT） is proposed for detecting transient faults in processors. SD-SRT boosts the previously proposed SRT performance via definitely eliminating redundant instructiou fetches. First, the fetch stage is moved out of the Spheres of Replication （SoR）, and a unified instruction-fetch-queue （IFQ） is exploited by both the leading and trailing threads. Second, a scheme called slack-decode cooperates with the unified IFQ to harmonize proceeding of the two threads. The simulations show that SD-SRT outperforms original SRT in terms of IPC by 15%, and decreases I-cache access by 42%. Meanwhile, SD-SRT leads to a lessened size and complexity for hardware structures such as load-value-queue and store-buffer.

Study on the Splicing Principle of the Air Splicer for Auto-coner

The shaping form of an untwisted yarn-end for the air splicer is analyzed and then a cosine curve form which will have practically good splicing effect is proposed. The yarn motion in the splicing nozzle by applying hydrodynamics and the splicing principle of the air splicer are also studied.

Characterization of residual stresses and microstructural features in an Inconel 718 forged compressor disc

Residual stress plays an important part in fabricating commercial aero engine Inconel 718 components for their fatigue properties, reliability and durability. Due to the limitation of Chinese neutron diffraction instrument and lack of test practice and specifications, there is little systematic research on the residual stress of forged compressor disc. X-ray diffraction and neutron diffraction methods were used to measure the residual stress of Inconel 718 forged discs at the surface and in the interior, respectively. Scanning electron microscope and transmission electron microscope were used to characterize the microstructural features. The residual stress state at the disc is in near-surface compression, balanced by tension within the disc core. However, the surface residual stress of disc depends more on the rough machining than on the forging process. Also, the dislocation densities increase with decreasing distance to the surfaces of disc, and the residual stress accelerates dislocation generation and dynamic recrystallization.

Life prediction of Ni-Cd battery based on linearWiener process

Predicting the life of Ni-Cd battery for electric multiple units(EMU)can not only improve the safety and reliability of battery,but also reduce the operating costs of EMU.For this reason,a life prediction method based on linear Wiener process is proposed,which is suitable for both monotonic and non-monotonic degraded systems with accurate results.Firstly,a unary linear Wiener degradation model is established,and the parameters of the model are estimated by using the expectation-maximization algorithm(EM).With the established model,the remaining useful life(RUL)of Ni Cd battery and its distribution are obtained.Then based on the unary Wiener process degradation model,the correlation between capacity and energy is analyzed through Copula function to build a binary linear Wiener degradation model,where its parameters are estimated using Markov Chain Monte Carlo(MCMC)method.Finally,according to the binary Wiener process model,the battery RUL and its distribution are acquired.The experimental results show that the binary linear Wiener degradation model based on capacity and energy possesses higher accuracy than the unary linear wiener process degradation model.

An efficient method for parallel CRC automatic generation

The State Transition Equation (STE) based method to automatically generate the parallel CRC circuits for any generator polynomial or required amount of parallelism is presented. The parallel CRC circuit so generated is partially optimized before being fed to synthesis tools and works properly in our LAN transceiv-er. Compared with the cascading method, the proposed method gives better timing results and significantly re-duces the synthesis time, in particular.

Fault Detection and Isolation for Low Hardware Redundancy Flight Control System

The problems of current highly redundant flight control system are analyzed in this paper. Our study gives methods of utilizing other information to reduce physical components on the condition of meeting the reliability requirements for flight control system. The strategies presented in this paper mainly include information redundancy, multi-thread, time redundancy, geometry space redundancy, etc.. Analysis and simulation show these non-hardware based methods can reduce the requirement of system hardware level and thus reduce the system complexity, weight, space, costs and R＆D （research and development） time.

A Public Verifiable Identity Based Signcryption in the Random Oracle Model

Since Libert and Quisquater's identity based signcryption scheme cannot provide public verifiability after research, the paper proposes a new identity based signcryption scheme. The scheme uses quadratic residue and pairings over elliptic curves to realize public verifiability. By analysis the scheme is proved to be more efficient than Libert and Quisquater's scheme. Moreover, a security proof of the original scheme is presented in the random oracle model.

Effects of laser heat treatment on salt spray corrosion of 1Cr5Mo heat resistant steel welding joints

The surface of 1Cr5 Mo heat-resistant steel welding joint was processed with CO2 laser, and the corrosion behaviors before and after laser heat treatment(LHT) were investigated in the salt spray corrosion environments. The microstructures, phases, residual stresses and retained austenite content of 1Cr5 Mo steel welding joint before and after LHT were analyzed with optical microscope and X-ray diffraction, respectively. The cracking morphologies and chemical compositions of corrosion products after salt spray corrosion were analyzed with field emission scanning electron microscopy(FESEM) and energy disperse spectroscopy(EDS), respectively, the polarization curves were measured on a PS-268 A type electrochemical workstation, and the mechanism of corrosion resistance by LHT was investigated as well. The results show that the passive film of original sample is destroyed owing to the corrosive media penetrating into the subsurface, resulting in the redox reaction. The content of residual austenite in the surface and the self-corrosion potential are increased by LHT, which is contributed to improving the capability of salt spray corrosion resistance.

A sink moving scheme based on local residual energy of nodes in wireless sensor networks

In the application of periodic data-gathering in sensor networks,sensor nodes located near the sink have to forward the data received from all other nodes to the sink,which depletes their energy very quickly.A moving scheme for the sink based on local residual energy was proposed.In the scheme,the sink periodically moves to a new location with the highest stay-value defined by the average residual energy and the number of neighbors.The scheme can balance energy consumption and prevent nodes around sink from draining their energy very quickly in the networks.The simulation results show that the scheme can prolong the network lifetime by 26%-65%compared with the earlier schemes where the sink is static or moves randomly.

Cycle-based protection for survivable WDM networks design

A new integer linear program （ILP） formulation was developed to solve the problem of shared cycles design for optical networks with and without wavelength conversion. Numerical studies show that the shared cycles design requires much lower redundancy compared with p-cycle design when the maximum number of spans allowed in the cycles is relatively small, but the difference in the redundancy between the two designs becomes smaller or disappears as the maximum number of spans allowed in the cycles increases.

Batch Studies for Methylene Blue Removal and Recovery by Untreated Coffee Residues

This paper reports the practicability of using coffee residues to remove widely used basic dyes like MB （Methylene Blue） from wastewaters. The effect of different batch system parameters, namely stirring speed, pH, initial dye concentration and contact time were studied. Moreover, in continuous fixed-bed column systems, the effects of parameters such as bed-depth, flow rate and initial dye concentration were examined. The experimental batch systems data were simulated using （a） Freundlich, Langmuir and Sips isotherm models and （b） 1st order, 2nd order, and intra-particle kinetic models. The results revealed that the MB is fairly adsorbed on coffee residues. This process could be a low cost technique for the removal of basic dyes from aqueous systems.

The Linear Stability of a Solution of a Parallel Redundant Repairable System

In this paper,the solution of a parallel redundant repairable system is investigated.by using the method of functional analysis.Especially,the linear semigroups of operator theory on Banach space,we prove the existence of the strictly dominant eigenvalue,and show the linear stability of solution.

Exact Solutions to a Combined sinh-cosh-Gordon Equation

Based on a transformed Painlev~ property and the variable separated ODE method, a function transfor- mation method is proposed to search for exact solutions of some partial differential equations （PDEs） with hyperbolic or exponential functions. This approach provides a more systematical and convenient handling of the solution process of this kind of nonlinear equations. Its key point is to eradicate the hyperbolic or exponential terms by a transformed Painleve property and reduce the given PDEs to a variable-coefficient the resulting equations by some methods. As an application, are formally derived. ordinary differential equations, then we seek for solutions to exact solutions for the combined sinh-cosh-Gordon equation

Residual current compensation for single-phase grounding fault in coal mine power network

The way of neutral point to earth via full compensation arc suppression coil can solve the problem of residual current compensation in coal mine power network effectively. Based on the analysis on the grounding current detection results of Xieqiao coal mine, the conclusion that harmonic component of grounding current is dominated by higher harmonics with complex harmonic sources in coal mine power network system was obtained. The influences of harmonic source type and fault point position on harmonic voltage and harmonic current were analyzed theoretically. The influences of earthed fault feeder detection result and the estimation errors of parameters to earth on residual current compensation were analyzed. A new thought of residual current prediction and the selections of model method and control method were proposed on this basis. The simulation results prove that harmonic amplitudes of zero sequence voltage and zero sequence current are determined by harmonic source type as well as fault point position in coal mine power network, and also prove that zero sequence voltage detection can avoid the unstable problem of coal mine power network system caused by undercompensation of capacitive current. Finally, the experimental device of full compensation arc suppression coil is introduced.

Comprehensive Study on the Estimation of the Variance Components of Traverse Nets

This paper advances a new simplified formula for estimating variance components ,sums up the basic law to calculate the weights of observed values and a circulation method using the increaments of weights when estimating the variance components of traverse nets,advances the charicteristic roots method to estimate the variance components of traveres nets and presents a practical method to make two real and symmetric matrices two diagonal ones.