求解非线性网络的一个新算法

本文对非线性电阻性网络多值问题的求解作了新的探讨，在给出若干定理的基础上提出了一种能保证找到分段线性电阻性网络所有解的新算法。     

基于PVS的UML类图和序列图的一致性检验

针对UML类图和序列图的一致性问题,在充分考虑了类继承关系、关联关系、类方法的可见性以及类方法的前、后置条件等因素对一致性影响的基础上,给出了判定类图和序列图一致性的必要条件和PVS元理论,提出了一种基于定理证明器PVS的一致性检验方法.在检验UML模型一致性时,把一致性检验问题转化为逻辑定理证明问题.实践表明,该方法对于提高UML模型的可信度,减少系统实现阶段的错误起到了一定作用.     

积分中值定理“中间点”的分析性质

讨论了积分中值定理中间点的单调性、连续性、可导性,给出了一组充分条件,并证明了三个相关定理．进一步完善了积分中值定理“中间点”的分析性质．     

LROTH''''S THEOREM IN DIFFERENTIAL FIELDS

In this paper, we present a constructive proof of Luroth's theorem in differential case. We also give a method to find the inversion maps for general differential rational parametric equations. As a consequence, we prove that a differential rational curve always has a set of proper parametric equations.     

贝尔定理与电子自旋

本文证明,在贝尔定理的证明过程中,实际上用到电子自旋（或其他费米子的自旋）的任意两个分量的联合概率,而这一联合概率却并不存在,因此,贝尔定理言之无物。贝尔的工作的意义是通过“自旋相关函数”的“隐变量表达式”或其他公式,在这种纯属子虚的联合概率与现实的跃迁概率之间建立一种人为的关系,并引出一个矛盾,从而证明这两种概率各自遵循不同的规律。这一工作既不涉及定域性原理也与经典概率论无关。     

关于积分中值定理"中间点"的渐近性

给出了并证明了减弱条件的积分中值定理"中间点"的渐近性.     

基于MATLAB的信号与系统软件实验平台

基于MATLAB软件的信号与系统实验平台,弥补了教学中的不足,通过实验,加强学生对信号与系统课程的理解和掌握。     

西南岩溶山区可持续发展战略面临的科技问题与对策

根据西南岩溶山区的地域环境特性,结合可持续发展的内涵,提出了西南岩溶山区实施可持续发展的战略目标和科技对策措施。指出西南岩溶山区应把生态建设和环境保护与科技水平的提高作为该地区可持续发展的切入点,大力加强相应的科学研究和科学规划。     

贵州岩溶山区旱地灌溉方式研究

贵州借助前人、同仁和本课题研究工作 ,对旱地灌溉方式问题进行几种不同的研究 ,向社会公诸一个解决贵州岩溶山区旱地灌溉的一种新思维方式 ,并提供旱地灌溉的一种最佳模式。即 :喷灌 +雨养模式 ,以此推荐一个 2 1世纪岩溶山区旱地农业产业化的基本模式 ,为推动旱地高效节水思路尽快转化为生产力服务。     

评述西方文化进化论的新进展

作为一种文化唯物主义理论,在西方流行的“文化进化论”中有一些成分值得中国地域文化研究加以批判借鉴。其中,“文化生态学”和“文化进化能量法”以及“新进化论”等学说,均在一定的程度上与唯物史观有所契合,对我们解剖中国地域文化的异同提供了某种基本视角。