当事人处分原则与法院的释明义务——兼论不告不理原则的立法完善

最高人民法院《关于民事诉讼证据的若干规定》的颁布施行,是人民法院民事诉讼审判模式改革的一大进步,其规定强化了民事诉讼当事人在诉讼程序中的责任,体现了法院在司法活动中对当事人诉讼权利的尊重和保护,同时也第一次创设了审判人员的“释明义务”.但为防止法院及其审判人员的过度干预,尽可能减少法院代替当事人调查取证和损害当事人抗辩权利的现象发生,有必要从立法上明确规定＂不告不理＂的基本法律原则.     

基于Vague集的插值模糊推理

对于模糊概念(用Vague集表示)的隶属函数为连续的情况,将规则前件中模糊概念的论域与后件中模糊概念的论域作一一映射,然后给出基于Vague集的隶属函数为连续情况下的插值模糊推理方法;对于Vague集的隶属函数为离散的情况,在作上述相同的映射后,再将规则前件中的Vague集和事实中的Vague集的真/假隶属函数分别进行线性插值,使它们都成为连续函数,然后给出基于Vague集的隶属函数为离散情况下的插值模糊推理方法.     

G^2连续的保凸插值有理三次Bezier样条曲线的构造

探讨了局部有理插值问题,给出将型值点处的曲率作为调节参数,构造G^2连续的保凸插值三次有理Bezier样条曲线的方法。     

偏微分方程的样条小波及替代算法

研究了三次样条插值的小波插值函数,证明了在给定的插值节点上的小波插值函数是三次样条函数空间中的最佳逼近函数,给出插值函数的误差估计式,提出了用两个一阶导算子矩阵替代二阶导算子矩阵的替代算法,并对Burgers方程进行了验算。     

网络环境下的导读工作

导讯工作的好坏,体现着图书馆服务质量的好坏,文章阐述了网络环境下的导读工作的重要性和必要性,介绍了网络环境下导读工作的方式方法、工作程序及应遵循的原则。     

CAD/CAM的CAI设计及应用

CAD／CAM技术的发展使得《CAD／CAM》课程成为高校本科教学的重要课程,设计良好的CAD／CAM CAI课件已成为当务之急。     

代数曲线上的Lagrange插值

探讨沿代数曲线进行二元 L agrange插值时有关插值适定结点组的递归构造理论问题 ,所得结论推广了这一问题的以往结果 .     

SQL SERVER扩展存储过程实现机制及应用方法初探

介绍SQL Server扩展存储过程的特点及其实现机制,并用一个程序实例阐述了在VC＋＋6．0开发环境下生成SQL Server扩展存储过程动态库框架、编写SQL Server扩展存储过程代码、添加SQL Server扩展存储过程到数据库中及调试SQL Server扩展存储过程的方法和步骤。     

基于网格模极小的插值方法的误差界

讨论了Nielson提出的一种数据拟合方法,该方法是基于区域的三角剖分以及要求一特定泛函在该三角剖分下网格模极小而得到的一类散乱数据曲面拟合方法,文中给出了某些特殊情形下该类拟合方法的误差界。     

并行过程的参数化建模（Ⅱ）

针对并行过程的特点,采用已经获得的并行过程的参数化建模方法,对两个典型的并行过程实例进行了分析和建模,获得了两个实例初步的静态参数化模型,可用作过程仿真和控制。建模方法具有普遍意义,可为进一步的动态过程仿真和控制以及过程优化等研究奠定一定的基础。