原子核稳定线、液滴模型和核电荷上限的研究

探求原子核稳定线公式,结合液滴模型,得出核电荷的上限.     

材料试验机的升级改造及其在教学中的应用

利用现有设备，通过添加数据采集系统和计算机分析处理系统，使试验机得到升级改造，基本达到自动测试的要求。应用于高职学生的实验教学中，对扩大学生的知识面，提高动手能力有较好的效果。     

PEAK COVARIANCE STABILITY OF A RANDOM RICCATI EQUATION ARISING FROM KALMAN FILTERING WITH OBSERVATION LOSSES

We consider the stability of a random Riccati equation with a Markovian binary jump coefficient. More specifically, we are concerned with the boundedness of the solution of a random Riccati difference equation arising from Kalman filtering with measurement losses. A sufficient condition for the peak covariance stability is obtained which has a simpler form and is shown to be less conservative in some cases than a very recent result in existing literature. Furthermore, we show that a known sufficient condition is also necessary when the observability index equals one.     

CONSTRUCTIVE KISSING NUMBERS IN HIGH-DIMENSIONAL SPACES

In the present paper, we focus on constructive spherical codes. By employing algebraic geometry codes, we give an explicit construction of spherical code sequences. By making use of the idea involved in the proof of the Gilbert-Varshamov bound in coding theory, we construct a spherical code sequence in exponential time which meets the best-known asymptotic bound by Shamsiev and Wyner.     

论现代图书馆体制创新建设

从图书馆核心技术创新,管理服务文化体制创新和培养创新型人才三方面探讨了现代图书馆体制创新建设。     

Multiple MIPS 4Kc cores based interrupt controller design and its implementation on HDTV SoC platform

A multiple MIPS 4Kc processor cores based interrupt processing system is introduced. The interrupt controller plays a key role in the high definition television （HDTV） system-on-a-chip （SoC） platform, especially when it is a multiple processor system. Based on a general introduction to the whole HDTV SoC platform, a layered interrupt controller and its implementation are discussed in detail. The proposed scheme was implemented in our FPGA verification board. The results indicate that our scheme is reliable and efficient. Meanwhile, as a functional intellectual property （IP）, the interrupt controller has reusability and expandability with the layered structure.     

Philosophy of chemistry and the image of science

The philosophical analysis of chemistry has advanced at such a pace during the last dozen years that the existence of philosophy of chemistry as an autonomous discipline cannot be doubted any more. The present paper will attempt to analyse the experience of philosophy of chemistry at the, so to say, meta-level. Philosophers of chemistry have especially stressed that all sciences need not be similar to physics. They have tried to argue for chemistry as its own type of science and for a pluralistic understanding of science in general. However, when stressing the specific character of chemistry, philosophers do not always analyse the question ‘What is science?’ theoretically. It is obvious that a ‘monistic’ understanding of science should not be based simply on physics as the epitome of science, regarding it as a historical accident that physics has obtained this status. The author’s point is that the philosophical and methodological image of science should not be chosen arbitrarily; instead, it should be theoretically elaborated as an idealization (theoretical model) substantiated on the historical practice of science. It is argued that although physics has, in a sense, justifiably obtained the status of a paradigm of science, chemistry, which is not simply a physical science, but a discipline with a dual character, is also relevant for elaborating a theoretical model of science. The theoretical model of science is a good tool for examining various issues in philosophy of chemistry as well as in philosophy of science or science studies generally.     

Global Optimization in Any Minkowski Metric: A Permutation-Translation Simulated Annealing Algorithm for Multidimensional Scaling

It is well known that considering a non-Euclidean Minkowski metric in Multidimensional Scaling, either for the distance model or for the loss function, increases the computational problem of local minima considerably. In this paper, we propose an algorithm in which both the loss function and the composition rule can be considered in any Minkowski metric, using a multivariate randomly alternating Simulated Annealing procedure with permutation and translation phases. The algorithm has been implemented in Fortran and tested over classical and simulated data matrices with sizes up to 200 objects. A study has been carried out with some of the common loss functions to determine the most suitable values for the main parameters. The experimental results confirm the theoretical expectation that Simulated Annealing is a suitable strategy to deal by itself with the optimization problems in Multidimensional Scaling, in particular for City-Block, Euclidean and Infinity metrics.     

A non-commutative time-frequency tomography

The characterization of non-stationary signal requires joint time and frequency information. However, time and frequency are a pair of non-commuting variables that cannot constitute a joint probability density in the time-frequency plane. The time-frequency distributions have difficult interpretation problems arising from negative and complex values or spurious components. In this paper, we get time-frequency information from the marginal distributions in rotated directions in the time-frequency plane. The rigorous probability interpretation of the marginal distributions is without any ambiguities. This time-frequency transformation is similar to the computerized axial tomography (CT or CAT) and is applied to signal analysis and signal detection and reveals a lot of advantages especially in the signal detection of the low signal/noise (S/N).