RECONSTRUCTION OF BINARY RELATIONS FROM THEIR RESTRICTIONS OF CARDINALITY 2, 3, 4 and (n - 1) II

We shall prove here that any binary relation on a base E with cardinality n > 6 is reconstructible from its restrictions of cardinality 2, 3, 4 and (n - 1). This proof needs results of part I of this paper where we characterize any pair of relations R, R' which are 2-, 3- and 4-hypomorphic. As a corollary we obtain that any binary relation is (n - 4)-reconstructible (when n > 9).     

On a Boolean-valued Model of the Strict Implication System(Continuous)

The reference [4] proved the consistency of S1 and S2 among Lewis' five strict implication systems in the modal logic by using the method of the Boolean-valued model. But, in this method, the consistency of S3, S4 and S5 in Lewis' five strict implication systems is not decided. This paper makes use of the properties: (1) the equivalence of the modal systems S3 and P3, S4 and P4; (2) the modal systems P3 and P4 all contained the modal axiom T(□p → p); (3) the modal axiom T is correspondence to the reflexive property in VB. Hence, the paper proves: (a) ‖As31‖ = 1; (b) ‖AS41‖ = 1; (c) ‖AS5l‖ = 1 in the model (where B is a complete Boolean algebra, R is reflexive property in VB). Therefore, the paper finally proves that the Boolean-valued model VB of the ZFC axiom system in set theory is also a Boolean-valued model of Lewis' the strict implication system S3, S4 and S5.     

PERIODIC BOUNDARY VALUE PROBLEM FOR SECOND ORDER FUNCTIONAL DIFFERENTIAL EQUATIONS

This paper investigates the periodic boundary value problems for a class of second order functional differential equations. The monotone iterative technique and the maximum principle are applied to obtain the existence of maximal and minimal solutions.     

POSITIVE SOLUTIONS OF NONLOCAL BOUNDARY VALUE PROBLEM FOR NONLINEAR RETARDED DIFFERENTIAL EQUATION

§1　IntroductionAt present,boundary value problems (BVPs) are widely investigated with variousmethods and techniques. BVPs with integral boundary conditions constitute a veryinteresting class of problems such as multipoint,three-point,four-point and nonlocalboundary value problems which are considered by many authors.And the existence ofpositive solutions for these problems becomes the subjectof many papers[1—6] .In a recentpaper[7] ,the authors have studied the existence of positive solut…     

资产组合的CVaR风险的敏感度分析

基于CVaR风险计量技术，分别给出了正态和t分布情形下资产组合的CVaR值，对一般情形下风险资产组合的CVaR风险关于头寸的敏感度进行了分析，研究了其经济意义。     

Natural Operators Lifting Vector Fields to Bundles of Weil Contact Elements

Let A be a Weil algebra. The bijection between all natural operators lifting vector fields from m-manifolds to the bundle functor K ^A of Weil contact elements and the subalgebra of fixed elements SA of the Weil algebra A is determined and the bijection between all natural affinors on K ^A and SA is deduced. Furthermore, the rigidity of the functor K ^A is proved. Requisite results about the structure of SA are obtained by a purely algebraic approach, namely the existence of nontrivial SA is discussed.     

Heat Kernel Asymptotics of Zaremba Boundary Value Problem

The Zaremba boundary-value problem is a boundary value problem for Laplace-type second-order partial differential operators acting on smooth sections of a vector bundle over a smooth compact Riemannian manifold with smooth boundary but with discontinuous boundary conditions, which include Dirichlet boundary conditions on one part of the boundary and Neumann boundary conditions on another part of the boundary. We study the heat kernel asymptotics of Zaremba boundary value problem. The construction of the asymptotic solution of the heat equation is described in detail and the heat kernel is computed explicitly in the leading approximation. Some of the first nontrivial coefficients of the heat kernel asymptotic expansion are computed explicitly. This revised version was published online in July 2006 with corrections to the Cover Date.     

辽河冷家油田特稠油降粘剂LJVR-1及其性能评价

采用荧光法测定了辽河冷家油田冷47-556井特稠油乳化HLB值,然后以混合型表面活性剂、非离子型表面活性剂为主剂,快速渗透剂为辅剂按一定比例制备了水基降粘剂LJVR-1.实验结果表明,该降粘剂具有良好的乳化降粘性能,开采后易于破乳脱水,是一种较为理想的特稠油降粘剂.     

Banach空间中二阶积分-微分方程的初值问题

使用锥理论及单调迭代技术，首先讨论了Banach空间中一阶积分-微分方程初值问题的最小最大解的存在性，并在此基础上讨论了带有一阶微分项的二阶积分-微分方程初值问题的最小最大解的存在性。