低压直流供电电路中高压直流的产生

在由低压直流电源供电的电路中,往往电路的某些部位需要使用高于电源所供的电压,将电源所供的低压转换为较高的电压,常用的方法有3种:自举升压、电感升压、逆变升压。结合实际应用电路对各种升压方法从器件选择、升压原理、升压结果等诸方面进行分析、探讨,解决了总体供电电压不变时,局部高压产生的关键性问题。它对电子电器电路的设计人员有一定的启发作用,对优化电路、遴选器件有较强的参考价值。     

Sandia National Laboratories Validation Workshop: Structural dynamics application

This article specifies a virtual structural dynamic subsystem and some systems, as well as mathematical models that approximately simulate them. The purpose is to define a setting for model validations conceived by participants in the Sandia National Laboratories Validation Workshop. Some broad guidelines for the model validations are set, as well as a regulatory requirement to be satisfied by the target system. Participants are directed to present techniques for subsystem model validation, to analytically predict whether or not the regulatory requirement will be met, and to estimate the likelihood of accuracy of the prediction.     

铰孔孔径增大的工艺探析

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

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

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

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).     

Employing optimized combinations of one-class classifiers for automated currency validation

Automated currency validation requires a decision to be made regarding the authenticity of a banknote presented to the validation system. This decision often has to be made with little or no information regarding the characteristics of possible counterfeits as is the case for issues of new currency. A method for automated currency validation is presented which segments the whole banknote into different regions, builds individual classifiers on each region and then combines a small subset of the region specific classifiers to provide an overall decision. The segmentation and combination of region specific classifiers to provide optimized false positive and false negative rates is achieved by employing a genetic algorithm. Experiments based on high value notes of Sterling currency were carried out to assess the effectiveness of the proposed solution.     

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.