铰孔孔径增大的工艺探析

通过对铰孔孔径增大，误差大产生原因的工艺探讨、分析，提出了有效、切实可行的避免措施，通过灵活应用，提高了产品质量。     

水系统的积垢及其物理控制技术

主要综述了水系统中水垢的种类、形成机理及其物理防治方法。详细阐述了静电、电子以及磁化等物理控垢法的工作原理及技术要点,并指出了其发展方向。     

SOC设计中的浮动压焊块电源/地线网络设计和优化

随着VLSI工艺技术的发展和芯片规模的不断增加，尤其是在SOC设计中，原有的那种供电压焊块只能位于芯片边缘的确定益的模式已经不能够满足整个电路性能的需要。在很多情况下，依靠在电源线的拓扑结构确定后的线宽优化，还是无法保证在有限的布线资源下为电路提供可靠的高性能的供电需求。由此，出现了在芯片边缘上浮动放置压焊块及在芯片的顶部放置供电压焊块阵列的方法。文中提出了一种用于SOC设计中新的基于树型结构的浮动压焊块的电源／地线网络优化算法，经过MCNC电路实例测试后得到明显的优化结果。     

Analysis of the Datagram Congestion Control Protocol’s connection management procedures using the sweep-line method

State space explosion is a key problem in the analysis of finite state systems. The sweep-line method is a state exploration method which uses a notion of progress to allow states to be deleted from memory when they are no longer required. This reduces the peak number of states that need to be stored, while still exploring the full state space. The technique shows promise but has never achieved reductions greater than about a factor of 10 in the number of states stored in memory for industrially relevant examples. This paper discusses sweep-line analysis of the connection management procedures of a new Internet standard, the Datagram Congestion Control Protocol (DCCP). As the intuitive approaches to sweep-line analysis are not effective, we introduce new variables to track progress. This creates further state explosion. However, when used with the sweep-line, the peak number of states is reduced by over two orders of magnitude compared with the original. Importantly, this allows DCCP to be analysed for larger parameter values. Somsak Vanit-Anunchai was partially supported by an Australian Research Council Discovery Grant (DP0559927) and Suranaree University of Technology. Guy Edward Gallasch was supported by an Australian Research Council Discovery Grant (DP0559927).     

On the hardness of approximating label-cover

The Label-Cover problem, defined by S. Arora, L. Babai, J. Stern, Z. Sweedyk [Proceedings of 34th IEEE Symposium on Foundations of Computer Science, 1993, pp. 724-733], serves as a starting point for numerous hardness of approximation reductions. It is one of six ‘canonical’ approximation problems in the survey of Arora and Lund [Hardness of Approximations, in: Approximation Algorithms for NP-Hard Problems, PWS Publishing Company, 1996, Chapter 10]. In this paper we present a direct combinatorial reduction from low error-probability PCP [Proceedings of 31st ACM Symposium on Theory of Computing, 1999, pp. 29-40] to Label-Cover showing it NP-hard to approximate to within 2^{(logn)1−o(1)}. This improves upon the best previous hardness of approximation results known for this problem.We also consider the Minimum-Monotone-Satisfying-Assignment (MMSA) problem of finding a satisfying assignment to a monotone formula with the least number of 1's, introduced by M. Alekhnovich, S. Buss, S. Moran, T. Pitassi [Minimum propositional proof length is NP-hard to linearly approximate, 1998]. We define a hierarchy of approximation problems obtained by restricting the number of alternations of the monotone formula. This hierarchy turns out to be equivalent to an AND/OR scheduling hierarchy suggested by M.H. Goldwasser, R. Motwani [Lecture Notes in Comput. Sci., Vol. 1272, Springer-Verlag, 1997, pp. 307-320]. We show some hardness results for certain levels in this hierarchy, and place Label-Cover between levels 3 and 4. This partially answers an open problem from M.H. Goldwasser, R. Motwani regarding the precise complexity of each level in the hierarchy, and the place of Label-Cover in it.     

Adaptive switching supervisory control of nonlinear systems with no prior knowledge of noise bounds

The problem of controlling nonlinear noisy systems affected by parametric uncertainties is approached via the introduction of a supervisor which, whenever needed, switches on, in feedback to the plant, a controller selected from a finite set of predesigned controllers. A Lyapunov-based falsification criterion allows one to ensure robust stability in the presence of uncertain constant parameters and exogenous bounded disturbances. Simulations are discussed in order to illustrate the merits of the proposed algorithms.     

New two‐dimensional slope limiters for discontinuous Galerkin methods on arbitrary meshes

In this paper, we introduce an extension of Van Leer's slope limiter for two‐dimensional discontinuous Galerkin (DG) methods on arbitrary unstructured quadrangular or triangular grids. The aim is to construct a non‐oscillatory shock capturing DG method for the approximation of hyperbolic conservative laws without adding excessive numerical dispersion. Unlike some splitting techniques that are limited to linear approximations on rectangular grids, in this work, the solution is approximated by means of piecewise quadratic functions. The main idea of this new reconstructing and limiting technique follows a well‐known approach where local maximum principle regions are defined by enforcing some constraints on the reconstruction of the solution. Numerical comparisons with some existing slope limiters on structured as well as on unstructured meshes show a superior accuracy of our proposed slope limiters. Copyright © 2004 John Wiley & Sons, Ltd.     

低云中短波红外表观辐射模型研究

在对空红外系统的多光谱探测和红外仿真中，云的干扰不可忽略，所以，对云的辐射特性的研究至关重要。在不同的波段，云的辐射特性会有很大的差异，为了研究各个不同波段云的表现辐射特性．需要计算云的光谱辐射量。在典型观测模式下建立了低云的表观光谱辐射模型，研究了对云背景辐射有贡献的各个辐射分量的计算方法。基于传统的二流近似模型获取各个参数，引入云的光谱光学厚度的经验公式。进而获得了低云在中短波段的光谱辐射特性，有效地计算出了云背景在1-5μm的中短波段内的表现光谱辐亮度数据，并且节省了计算时间。经过比较发现，该模型的计算结果与实测结果有较好的一致性。可以为云背景多光谱分析、探测及仿真提供背景数据。     

Studies of elemental distributions within discrete coal macerals: Use of secondary ion mass spectrometry and X-ray photoelectron spectroscopy

Secondary ion mass spectrometry has been used to measure qualitatively the distributions of many trace and minor elements within some well-characterized coal macerals: vitrinite, fusinite and exinite. Complementary information was obtained by using X-ray photoelectron spectroscopy. Within the vitrinite specimens studied, a widely-dispersed largely inorganic aluminosilicate phase was identified, which contained a number of other trace elements. By contrast, within the organic-rich phase of this macerai, titanium was detected in a very even distribution; this suggests that some titanium may be bonded in an organic complex. The fusinite was shown to contain elevated concentrations of calcium, magnesium and fluorine, dispersed over a large portion of the maceral. The high fluorine content could be identified as an organo-fluoro compound using XPS. Exinite was found to contain lower concentrations of most elements, compared to other macerals. The organic composition of this maceral was significantly different from that of surrounding macerals; this could be seen from the enhanced emission of the C₂H₂-secondary ion and images of this ion thus clearly outlined the position of such macerals.     

Strengthening of Preloaded RC Beams Using Hybrid Carbon Sheets

Reinforced concrete (RC) beams subject to service loads of 40 or 60% of steel yielding were strengthened using hybrid continuous carbon fiber sheets. The hybrid systems were made of high-strength and high-modulus carbon sheets, and compared with systems using only high-strength carbon. It was found that the use of high-modulus carbon sheets in hybrid systems could increase the yielding load, the flexural stiffness, the postyielding ductility, and reduce the crack opening in concrete. The slope changes on load-deflection curves at steel yielding are not noticeable in hybrid systems. The tensile strains developed in hybrid sheets after the fracture of high-modulus carbon are higher in magnitude and distributed in a larger area, leading to an ultimate carbon fracture with concrete crushing. These unique features are attributed to the high stiffness and low ultimate tensile strain of the high-modulus carbon fibers which stiffen the structures, avoid or delay the fiber-reinforced polymer debonding, and facilitate the deformability during their subsequent breakdown.