论刑事证据开示制度的价值基础——基于公正与效率的分析

刑事证据开示制度集中体现了刑事诉讼的公正价值和效率价值。在对公正价值和效率价值进行分析的基础上 ,对刑事证据开示制度的价值基础进行探讨。     

积分中值定理的推广及在常微分方程中的应用

对定积分中值定理作出推广并应用于方程初值问题解的延拓，得出了关于解向右延拓的两个结果。     

EXISTENCE AND UNIQUENESS OF THE SOLUTION FOR NONLINEAR THIRD-ORDER ROBIN BOUNDARY VALUE PROBLEM WITH A TURNING POINT

The paper aims to obtain existence and uniqueness of the solution as well as asymptotic estimate of the solution for singularly perturbed nonlinear third- order Robin boundary value problem with a turning point.In order to achieve this aim,existence and uniqueness of the solution for third-order nonlinear Robin boundary value problem is derived first based on the upper and lower solutions method under relatively weaker conditions.In this manner,the goal of this paper is gained by applying the existence and uniqueness results mentioned above.     

二阶时滞微分方程三点边值问题的多重正解

 研究了一个二阶时滞微分方程的三点边值问题,给出了其至少有2个正解的充分条件.     

Nonparametric estimation and adaptive control in a class of finite Markov decision chains

We consider a class of Markov decision processes withfinite state and action spaces which, essentially, is determined by the following condition: The state space isirreducible under the action of any stationary policy. However, except by this restriction, the transition law iscompletely unknown to the controller. In this context, we find a set of policies under which thefrequency estimators of the transition law are strongly consistent and then, this result is applied to constructadaptive asymptotically discount-optimal policies.Dedicated to Professor Truman O. Lewis, on the occasion of his sixtieth birthdayThis research was supported in part by the Third World Academy of Sciences (TWAS) under Grant TWAS RG MP 898-152, and in part by the Consejo Nacional de Ciencia y Tecnología (CONACYT) under Grant A128CCOEO550 (MT-2).     

从会计核算的角度探讨我国增值税的征管与转型

本文从应交增值税的核算角度探讨增值税的征收管理 ,认为应该把销项税额与进项税额的核算基础由现行的权责发生制改为收付实现制 ,从而有效控制偷、逃税现象 ,同时促进增值税税收征管的改革 ,使增值税征收管理的方式、手段更趋严密、科学。又从购进固定资产所支付的进项税额的核算角度探讨增值税制由生产型增值税转为消费型增值税 ,认为这种转型有利于提高企业产品的市场竞争力及西部大开发战略的实施等     

Separable anisotropic differential operators and applications

The nonlocal boundary value problems for anisotropic partial differential-operator equations with a dependent coefficients are studied. The principal parts of the appropriate generated differential operators are nonself-adjoint. Several conditions for the maximal regularity and the fredholmness in Banach-valued Lp-spaces of these problems are given. These results permit us to establish that the inverse of corresponding differential operators belongs to Schatten q-class. Some spectral properties of the operators are investigated. In applications, the nonlocal BVP's for quasielliptic partial differential equations and for systems of quasielliptic equations on cylindrical domain are studied.     

Runge–Kutta interpolants for high precision computations

Runge–Kutta (RK) pairs furnish approximations of the solution of an initial value problem at discrete points in the interval of integration. Many techniques for enriching these methods with continuous approximations have been proposed. Here we construct C ¹ continuous, eighth and ninth order interpolation methods for a recently appeared RK pair of orders 9(8). These interpolants share a very small leading truncation error making them suitable for use at quadruple precision, i.e. 32–33 decimal digits of accuracy. Extended numerical results justify our effort.     

供应链管理在中国企业中的应用实践

通过分析供应链管理演变及有关供应链管理的基础理论,为深圳华阳显像管股份有限公司的供应链管理的优化提供理论依据.论证了深圳华阳显像管股份有限公司实施供应链管理的可行性和效用度、优化供应链管理的具体策略及全面提高企业核心竞争力的保证措施.对中国企业入世后参与国际市场竞争,在供应链管理的优化方面是一次探索与实践.     

A parallel version of the preconditioned conjugate gradient method for boundary element equations

The parallel version of precondition techniques is developed for matrices arising from the Galerkin boundary element method for two-dimensional domains with Dirichlet boundary conditions. Results were obtained for implementations on a transputer network as well as on an nCUBE-2 parallel computer showing that iterative solution methods are very well suited for a MIMD computer. A comparison of numerical results for iterative and direct solution methods is presented and underlines the superiority of iterative methods for large systems.