Kripke Semantics for Modal Substructural Logics

We introduce Kripke semantics for modal substructural logics, and provethe completeness theorems with respect to the semantics. Thecompleteness theorems are proved using an extended Ishihara's method ofcanonical model construction (Ishihara, 2000). The framework presentedcan deal with a broad range of modal substructural logics, including afragment of modal intuitionistic linear logic, and modal versions ofCorsi's logics, Visser's logic, Méndez's logics and relevant logics.     

螺旋翅片管的换热计算

本文引入区域平均表面传热系数的概念。在实验研究的基础上进行了肋基和肋端温度分布预测及肋片换热数值计算。     

Projection center calibration by motion

Camera calibration is the first step of three-dimensional machine vision. A fundamental parameter to be calibrated is the position of the camera projection center with respect to the image plane. This paper presents a method for the computation of the projection center position using images of a translating rigid object, taken by the camera itself.

Many works have been proposed in literature to solve the calibration problem, but this method has several desirable features. The projection center position is computed directly, independently of all other camera parameters. The dimensions and position of the object used for calibration can be completely unknown.

This method is based on a geometric relation between the projection center and the focus of expansion. The use of this property enables the problem to be split into two parts. First a suitable number of focuses of expansion are computed from the images of the translating object. Then the focuses of expansion are taken as landmarks to build a spatial back triangulation problem, the solution of which gives the projection center position.     

部分种子成分的特征X射线在等效生物材料中衰减的测定

用Ｓｉ（Ｌｉ）探测器实现了Ｎａ、Ｍｇ、Ｓ、Ｃｌ的特征Ｘ射线在有机膜中的相对衰减以及与Ｏ、Ｋ元素的特征Ｘ射线能量相当的Ｘ射线或轫致辐射在有机膜中的相对衰减，分别得出了它们减的数学描述，并把实验得到不同能量的Ｘ射线在有机膜中的质量吸收系数与Ｂｅｒｋｅｌｅｙ的ＯＣＧ软件计算出的结果相比，相关都小于３０％。     

Finite elements in the analysis of pressure vessels and piping-a bibliography (1976–1996)

The paper gives a bibliographical review of the finite element methods (FEMs) applied for the analysis of pressure vessel structures/components and piping from the theoretical as well as practical points of view. The range of applications of FEMs in this area is wide and cannot be presented in a single paper; therefore the aim of this review is to give the reader an encyclopaedic view of the differnt possibilities that exist today for the finite element analysis in the fields of pressure vessels and piping. The bibliography at the end of the paper contains approximately 1900 references to papers, conference proceedings and theses/dissertations on the subject that were published in 1976–1996. These are classified in the following categories: linear and non-linear, static and dynamic, stress and deflection analysis; stability problems; thermal problems; fracture mechanics problems; contact problems; fluid-structure interaction problems; manufacturing of pipes and tubes; welded pipes and pressure vessel components; development of special finite elements for pressure vessels and pipes; finite element software; and other topics. Also finite element software, general purpose and special purpose codes, used for the analysis of pressure vessels and pipes are briefly discussed and presented.     

烃类在三甘醇和四甘醇中无限稀释活度系数的测定与关联

用气相色谱法分别测定了苯、甲苯、乙苯、正庚烷、正辛烷、正壬烷和正癸烷在三甘醇和四甘醇中的无限稀释活度系数 ,测定温度范围为 5 0～ 13 0℃。用修正的UNIFAC模型 (Dortmund)对上述不同温度下的无限稀释活度系数实验数据进行关联 ,得到了三甘醇和四甘醇与其它基团的相互作用参数 ,并将计算结果与实测值进行了比较。     

Resolution calculus for the first order linear logic

This paper presents a formulation and completeness proof of the resolution-type calculi for the first order fragment of Girard's linear logic by a general method which provides the general scheme of transforming a cutfree Gentzen-type system into a resolution type system, preserving the structure of derivations. This is a direct extension of the method introduced by Maslov for classical predicate logic. Ideas of the author and Zamov are used to avoid skolomization. Completeness of strategies is first established for the Gentzen-type system, and then transferred to resolution. The propositional resolution system was implemented by T. Tammet.     

Convergence of iterated boolean sums of simultaneous approximants

Explicit error estimates are given for the iterated Boolean sum of a sequence of simultaneous approximants; the rate of convergence is shown to be improved for smooth functions. The general results are applied in the case of the Bernstein, Durrmeyer and Stancu operators.     

Ce,Eu双掺BSO晶体光折变效应研究

在ＢＳＯ晶体中同时掺入Ｃｅ和Ｅｕ离子，生长了Ｃｅ：Ｅｕ：ＢＳＯ晶体，对晶体的二波耦合和四波混频性能了测试。结果表明，Ｃｅ和Ｅｕ离子对晶体的光折变效应起到了增强的作用。