Comparison of the Hansen-Sengupta and the Frommer-Lang-Schnurr existence tests

The Krawczyk and the Hansen-Sengupta interval operators are closely related to the interval Newton operator. These interval operators can be used as existence tests to prove existence of solutions for systems of equations. It is well known that the Krawczyk operator existence test is less powerful that the Hansen-Sengupta operator existence test, the latter being less powerful than the interval Newton operator existence test. In 2004, Frommer et al. proposed an existence test based on the Poincaré-Miranda theorem and proved that it is more powerful than the Krawczyk existence test. In this paper, we complete the classification of these four existence tests showing that, in practice, the Hansen-Sengupta existence test is actually more powerful than the existence test proposed by Frommer et al.     

使用FTAM协议实现话务数据的联机实时采集

对FTAM传输协议和交换机内部产生实时呼叫记录的机制进行研究,介绍了一种利用OSI协议栈,FTAM API编程接口实现联机话务数据的实时采集系统。针对移动交换机两种常用的话务数据传输接口（802．x与X．25）,对其OSI协议栈中底层协议的各自特点进行了对比分析。     

X窗口系统中应用程序构造技术探讨

介绍了X窗口系统环境下应用程序界面的自动生成技术,其中包括Motif编程模型及有关概念;应用程序构造器生成应用程序界面的过程;应用程序构造器的机理及构造器创建应用程序的完善。     

Proteomic analysis of the response of the human neutrophil-like cell line NB-4 after exposure to anthrax lethal toxin

We used 2‐D DIGE to analyze the early response of NB‐4 cells, a human promyelotic leukemia cell line, exposed to lethal toxin from Bacillus anthracis at the proteome level. After a 2 h exposure, cells were still viable and 43% of spots (n = 1042) showed a significant change in protein level. We identified 59 spots whose expression had changed significantly, and these reflected cytoskeleton damage, mitochondrial lysis and endoplasmic reticulum stress. Actin filament assembly was disrupted as evidenced by an increase in both actin subunits and phosphorylated cofilin, whilst levels of tropomyosin, tropomodulin and actin related protein 2/3 complex subunit decreased. Lower levels of ATP synthase subunits and mitochondrial inner membrane protein were identified as markers of mitochondrial lysis. Levels of various stress response proteins rose and, uniquely, levels of Ca²⁺ binding proteins such as translationally controlled tumor protein rose and hippocalcin‐like protein 1 decreased. This response may have mitigated effects brought about by mitochondrial lysis and endoplasmic reticulum stress, and delayed or prevented apoptosis in NB‐4 cells. These results resemble findings of similar proteomics studies in murine macrophages, although quantitative differences were observed.     

Fast Summation of Radial Functions on the Sphere

Radial functions are a powerful tool in many areas of multi-dimensional approximation, especially when dealing with scattered data. We present a fast approximate algorithm for the evaluation of linear combinations of radial functions on the sphere . The approach is based on a particular rank approximation of the corresponding Gram matrix and fast algorithms for spherical Fourier transforms. The proposed method takes (L) arithmetic operations for L arbitrarily distributed nodes on the sphere. In contrast to other methods, we do not require the nodes to be sorted or pre-processed in any way, thus the pre-computation effort only depends on the particular radial function and the desired accuracy. We establish explicit error bounds for a range of radial functions and provide numerical examples covering approximation quality, speed measurements, and a comparison of our particular matrix approximation with a truncated singular value decomposition.     

Low-rank Kronecker-product Approximation to Multi-dimensional Nonlocal Operators. Part I. Separable Approximation of Multi-variate Functions

The Kronecker tensor-product approximation combined with the -matrix techniques provides an efficient tool to represent integral operators as well as certain functions F(A) of a discrete elliptic operator A in ℝ ^d with a high spatial dimension d. In particular, we approximate the functions A ⁻¹ and sign(A) of a finite difference discretisation A∈ℝ ^{N × N} with a rather general location of the spectrum. The asymptotic complexity of our data-sparse representations can be estimated by (n ^p log ^q n), p = 1, 2, with q independent of d, where n=N ^{1/ d} is the dimension of the discrete problem in one space direction. In this paper (Part I), we discuss several methods of a separable approximation of multi-variate functions. Such approximations provide the base for a tensor-product representation of operators. We discuss the asymptotically optimal sinc quadratures and sinc interpolation methods as well as the best approximations by exponential sums. These tools will be applied in Part II continuing this paper to the problems mentioned above.     

A method of predicting the number of clusters using Rand's statistic

Distributional and asymptotic results on the moment of Rand's C_k statistic were derived by DuBien and Warde [1981. Some distributional results concerning a comparative statistic used in cluster analysis. ASA Proceedings of the Social Statistics Section, 309–313.]. Based on those results, a method to predict the number of clusters is suggested by applying various agglomerative clustering algorithms. In the procedure, the methods using different indexes are examined and compared based on the concept of agreement (or, disagreement) between clusterings generated by different clustering algorithms on the set of data. Our method having practical generality works better than the other methods and assigns statistical meaning to C_k values in determining the number of clusters from the comparison.     

基于NET的电子税务系统解决方案研究*

针对网上申报税务管理的业务需求,首先对系统开发平台的选择进行了讨论,给出了基于Web计算的B/W/D三层体系结构的电子税务系统的应用体系结构和基于微软NET的系统框架,进行了系统业务流程的分析和设计,采用XML,SSL等技术实现系统数据标准化处理和系统安全控制等的策略和方法,这种电子税务系统解决方案具有良好的开放型、集成性、可扩充性和安全性。     

Convergence Results of One-Leg and Linear Multistep Methods for Multiply Stiff Singular Perturbation Problems

One-leg methods and linear multistep methods are two class of important numerical methods applied to stiff initial value problems of ordinary differential equations. The purpose of this paper is to present some convergence results of A-stable one-leg and linear multistep methods for one-parameter multiply stiff singular perturbation problems and their corresponding reduced problems which are a class of stiff differential-algebraic equations. Received April 14, 2000; revised June 30, 2000     

Systems programming for data communications on minicomputers

This paper examines some of the special considerations which apply to the development of such software for minicomputers. These are treated under the following general categories:

• loading and throughput
• the external interfaces of the system software
• the internal structure of the system software
• developing the software

.