A BOUNDARY ELEMENT METHOD FOR A NONLINEAR BOUNDARY VALUE PROBLEM IN STEADY-STATE HEAT TRANSFER IN DIMENSION THREE

In this paper, a new method of boundary reduction is proposed, which reduces thesteady-state heat transfer equation with radiation. Moreover, a boundary element method is pre-sented for its solution and the error estimates of the numerical approximations are given.     

二阶三点半正边值问题正解的存在性

利用锥的Krasnosel'skill不动点定理建立了二阶三点半正边值问题u″+λf(t,u)+δg(t,u)=0, t∈(0,1),u(0)=0, αu(η)=u(1).其中,λ,δ＞0, 0＜η＜1, 0＜αη＜1正解的存在性,这里,非线性项不需要是非负的.     

一个算术函数的误差项估计

设ψ(n)是Dedekind函数,∑n≤x=nψ(n)=αx E(x),其中α是常数,E(x)是误差项.主要目的是利用经典的复积分理论及解析方法研究了E(x)的平方积分均值,得到了一个较为精确的估计式.     

关于Hayman问题的两个推广

推广了两类微分多项式的值分布，它们可以看作Hayman问题推广的相应结果的补充。     

Nonlinear multiple objective optimization: An algorithm and some theory

This paper presents an algorithm and the supporting theory for solving a class of nonlinear multiple criteria optimization problems using Zionts—Wallenius type of interaction. The Zionts—Wallenius method, as extended in this paper, can be used for solving multiple criteria problems with concave objective and (implicit) value functions and convex feasible regions. Modifications of the method to handle nonconvex feasible regions and general nonlinear objective functions are also discussed.This research was supported, in part, by a Faculty Research Development Award and by a Council of 100 Research Grant from Arizona State University (Roy), and by a grant from Y. Jahnsson Foundation, Finland (Wallenius). The research was performed while the second author was a Visiting Professor at Arizona State University.     

时间词义赋值的个别差异的初步研究

运用模糊统计对１０个持续时间词进行了初步研究，然后选出其中２个，让不同个性特征的男女被试对其赋值。结果表明：在时间词的估计值和估值范围上，Ａ型行为类型者的赋值都小于Ｂ型行为类型者；低焦虑者的时间词的估值范围大于高焦虑者；在赋值特征上性别差异不显著．     

工矿企业能量平衡通用模式的研究

提出了适用于工矿企业能量平衡的一种通用模式，将与ＧＢ３４８４－８３《企业能量平衡通则》再增加“一表两图”──“企业能量平衡表”、“企业能源网络图”和“企业能流图”的效果相一致，能更加科学、合理地反映企业能量平衡的结果。     

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.     

基于网络环境下的高校图书馆用户教育

通过对当前我国高校图书馆用户教育存在问题的分析，找出其中的原因，并提出了网络环境下的高校图书馆如何发展新型的用户教育体系．