Sequent calculi for propositional star-free likelihood logic

We consider classical, multisuccedent intuitionistic, and intuitionistic sequent calculi for propositional likelihood logic. We prove the admissibility of structural rules and cut rule, invertibility of rules, correctness of the calculi, and completeness of the classical calculus with respect to given semantics.__________Published in Lietuvos Matematikos Rinkinys, Vol. 45, No. 1, pp. 3–21, January–March, 2005.     

Broader Societal Issues of Nanotechnology

Nanoscale science and engineering are providing unprecedented understanding and control over the basic building blocks of matter, leading to increased coherence in knowledge, technology, and education. The main reason for developing nanotechnology is to advance broad societal goals such as improved comprehension of nature, increased productivity, better healthcare, and extending the limits of sustainable development and of human potential. This paper outlines societal implication activities in nanotechnology R&D programs. The US National Nanotechnology Initiative annual investment in research with educational and societal implications is estimated at about $30 million (of which National Science Foundation (NSF) awards about $23 million including contributions to student fellowships), and in nanoscale research with relevance to environment at about $50 million (of which NSF awards about $30 million and EPA about $6 million). An appeal is made to researchers and funding organizations worldwide to take timely and responsible advantage of the new technology for economic and sustainable development, to initiate societal implications studies from the beginning of the nanotechnology programs, and to communicate effectively the goals and potential risks with research users and the public.     

Synthesis and crystal structure of the octahedral cluster complex [Th(DMSO)8Cl][Re6Se7Cl7]

A cluster complex of the composition [Th(DMSO)₈Cl][Re₆Se₇Cl₇] has been obtained by interaction of ThCl₄ solution in DMSO with a water solution of K₃[Re₆Se₇Cl₇] and KCl. The compound crystallizes in the rhombic space group Pbcm with unit cell parameters a = 12.262(2) Å, b = 19.653(6) Å, c = 23.603(6) Å, V = 5688(2) ų, Z = 4, d _calc = 3.282 g/cm³. The structure is built from centrosymmetric cluster anions [Re₆Se₇Cl₇]^3? and complex cations [Th(DMSO)₈Cl]³⁺ possessing mirror-plane symmetry, half of the DMSO ligands being doubly disordered.     

Automatic detection and identification of shocks in Gaussian state‐space models: a Bayesian approach

An automatic monitoring and intervention algorithm that permits the supervision of very general aspects in an univariate linear Gaussian state–space model is proposed. The algorithm makes use of a model comparison and selection approach within a Bayesian framework. In addition, this algorithm incorporates the possibility of eliminating earlier interventions when subsequent evidence against them comes to light. Finally, the procedure is illustrated with two empirical examples taken from the literature. Copyright © 2005 John Wiley & Sons, Ltd.     

分辨率为1pm的波长监测新方法

在亚毫米尺度金属包覆波导研究基础上，提出了一种波长监测的新方法.实验采用自由空间耦合技术，激发了波导中对波长变化十分灵敏的超高阶导模，并以此为探针，实现了1pm波长漂移的监测. 关键词： 波长监测 金属包覆波导 超高阶导模     

A time integral formulation and algorithm for structural dynamics with nonlinear stiffness

A newly-developed numerical algorithm, which is called the new Generalized-α (G-α) method, is presented for solving structural dynamics problems with nonlinear stiffness. The traditional G-α method has undesired overshoot properties as for a class of α-method. In the present work, seven independent parameters are introduced into the single-step three-stage algorithmic formulations and the nonlinear internal force at every time interval is approximated by means of the generalized trapezoidal rule, and then the algorithm is implemented based on the finite difference theory. An analysis on the stability, accuracy, energy and overshoot properties of the proposed scheme is performed in the nonlinear regime. The values or the ranges of values of the seven independent parameters are determined in the analysis process. The computational results obtained by the new algorithm show that the displacement accuracy is of order two, and the acceleration can also be improved to a second order accuracy by a suitable choice of parameters. Obviously, the present algorithm is zero-stable, and the energy conservation or energy decay can be realized in the high-frequency range, which can be regarded as stable in an energy sense. The algorithmic overshoot can be completely avoided by using the new algorithm without any constraints with respect to the damping force and initial conditions.The English text was polished by Keren Wang.     

Progress in the quality assurance of environmental trace organic analysis

An overview is given on the stepwise learning programmes undertaken to identify the main sources of error associated with the determination of the mandatory organic contaminants in the marine monitoring programmes. Details are given on the preparation and use of LRMs and CRMs to maintain analytical control and quantify the laboratory errors in relation to the measurement of changes in the environment.     

饮食中微量元素砷的分布规律与人体健康关系

采用催化动力学光度法测定了六大类(共三十种)样品中的总砷含量，探讨了砷在食品中的分布规律，建立了砷在人体中的安全系效和积累系效的效学评价公式，用于评价砷与人体健康的关系，这对人们选择食物有一定的指导意义。     

FexNi100−x nanometric films deposited by laser ablation on SiO2/Si substrates

Fe_xNi_100−x nanometric films were deposited on SiO₂/Si substrates at room temperature using the pulsed laser deposition technique. The targets were Fe-Ni amorphous magnetic foils with composition Fe₅₀Ni₅₀, Fe₃₅Ni₆₅ and Fe₂₂Ni₇₈. Morphological and structural properties of the deposited films were investigated using scanning electron microscopy, Rutherford backscattering spectrometry, grazing incidence X-ray diffraction, and X-ray reflectivity. Electrical and magnetic characteristics of the films were investigated by using the four-point probe and the magneto-optic Kerr effect techniques, respectively. The film properties are strictly dependent on the Fe-Ni compositional ratio.     

Medium-range structural order in liquid Ni20Al80 alloy: Experimental and molecular dynamics studies

In this Letter, structural properties of liquid Ni₂₀Al₈₀ have been studied through molecular dynamics (MD) simulations, and results agree well with X-ray experiments. The prepeak in the structure factor manifests the existence of medium-range structural order (MRSO) in liquid Ni₂₀Al₈₀. Analyses in MRSO reveal the dominance of ideal icosahedra and defective icosahedra which, furthermore, form clusters and share common atoms.