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

Forecasting volatility by means of threshold models

The aim of this paper is to compare the forecasting performance of competing threshold models, in order to capture the asymmetric effect in the volatility. We focus on examining the relative out‐of‐sample forecasting ability of the SETAR‐Threshold GARCH (SETAR‐TGARCH) and the SETAR‐Threshold Stochastic Volatility (SETAR‐THSV) models compared to the GARCH model and Stochastic Volatility (SV) model. However, the main problem in evaluating the predictive ability of volatility models is that the ‘true’ underlying volatility process is not observable and thus a proxy must be defined for the unobservable volatility. For the class of nonlinear state space models (SETAR‐THSV and SV), a modified version of the SIR algorithm has been used to estimate the unknown parameters. The forecasting performance of competing models has been compared for two return time series: IBEX 35 and S&P 500. We explore whether the increase in the complexity of the model implies that its forecasting ability improves. Copyright © 2007 John Wiley & Sons, Ltd.     

ROLE OF α-PSEUDO-UNIVEX FUNCTIONS IN VECTOR VARIATIONAL-LIKE INEQUALITY PROBLEMS

In this paper, we introduce a new class of generalized convex function, namely, a-pseudounivex function, by combining the concepts of pseudo-univex and α-invex functions. Further, we establish some relationships between vector variational-like inequality problems and vector optimization problems under the assumptions of α-pseudo-univex functions. Results obtained in this paper present a refinement and improvement of previously known results.     

Weight measurement using image-based pose analysis

Image-based gait analysis as a means of biometric identification has attracted much research attention. Most of the existing methods focus on human identification, posture analysis and movement tracking. There have been few investigations on measuring the carried load based on the carrier＇s gait characteristics by automatic image processing. Nevertheless, this measurement is very useful in a number of applications, such as the study of the carried load on the postural development of children and adolescence. In this paper, we investigate how to automatically estimate the carried weight from a sequence of images. We present a method to extract human gait silhouette based on an observation that humans tend to minimize the energy during motion. We compute several angles of body leaning and determine the relationship of the carried weight, the leaning angles and the centroid location according to a human kinetic study. Our weight determination method has been verified successfully by experiments.     

A theoretical model for mid-and low-latitude ionospheric electric fields in realistic geomagnetic fields

The geomagnetic fields, which play important roles in the ionospheric dynamo, can greatly affect the global distribution of ionospheric electric fields, currents and other ionospheric electrodynamics phenomena. In the study of ionospheric electrodynamics phenomena, such as the longitudinal variations of ionospheric electric fields, the non-dipolar component of the geomagnetic fields must be taken into account. In this paper, we deduce a theoretical electric field model for ionospheric dynamo at mid- and low-latitude which adopt a modified magnetic apex coordinates system. In the new electric field model, the geomagnetic fields can be calculated from either the IGRF model or the dipole field model, and the neutral winds and conductivities are calculated based on empirical models. Then the dynamo equation for the electric potential is finally solved in terms of the line-by-line iteration method, and the ionospheric electric fields and currents are derived from the calculated potential. Our model can reproduce the main features of the ionospheric electrodynamics processes, so it will be a useful tool for the investigation of the upper atmosphere and ionosphere.     

中英两种语言的文化差异

中英语言交际,除通晓两种语言文字外,还必须有深厚的文化功底.从地域文化、历史文化、风俗习惯、宗教信仰等方面分析了两种文化之间的差异.     

一种测试圆度的新算法

轴承的外圆环、内圆环是否圆以及圆的程度如何,都会对使用轴承的机械设备产生很大的影响,但是它们是否圆,靠肉眼是很难观察出来的,我们只能用仪器进行测量,假设仪器测量的结果是准确的或者误差是确定的,由于算法不合理,可能本来是圆的但得到的结果却是不圆的,这样就把本来是合格的产品当作废品处理了,这是不应该出现的问题,本文提供了一种新的算法来解决此问题.     

On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions

We discuss the foundations of constructive mathematics, including recursive mathematics and intuitionism, in relation to classical mathematics. There are connections with the foundations of physics, due to the way in which the different branches of mathematics reflect reality. Many different axioms and their interrelationship are discussed. We show that there is a fundamental problem in BISH (Bishop’s school of constructive mathematics) with regard to its current definition of ‘continuous function’. This problem is closely related to the definition in BISH of ‘locally compact’. Possible approaches to this problem are discussed. Topology seems to be a key to understanding many issues. We offer several new simplifying axioms, which can form bridges between the various branches of constructive mathematics and classical mathematics (‘reuniting the antipodes’). We give a simplification of basic intuitionistic theory, especially with regard to so-called ‘bar induction’. We then plead for a limited number of axiomatic systems, which differentiate between the various branches of mathematics. Finally, in the appendix we offer BISH an elegant topological definition of ‘locally compact’, which unlike the current definition is equivalent to the usual classical and/or intuitionistic definition in classical and intuitionistic mathematics, respectively.