关于直陈条件句等价论题的哲学思考

传统的观点是把直陈条件句看作是真值函项性的，也就是把直陈条件句等价于实质条件句，这就是所谓等价论题。按照等价论题的观点来处理直陈条件句，会出现一些违反人们直觉的怪论。格赖斯与杰克逊分别运用会话隐涵和约定隐涵对等价论题进行了辩护。尽管等价论题在现实生活的逻辑应用中暴露出自己的许多问题，但是等价论题在历史上的出现有着重要的、积极的意义，它在客观上有助于现代逻辑的发展。     

最优控制基本方法的转换

最优控制理论是现代控制理论的一个重要分支,最优控制理论的三大基本支柱方法是变分法,极小值原理和动态规划。这三种方法相互关联又相互区别,同时在一定的条件下三种方法是等价的,可以相互转换的。最优控制理论已经广泛地融入到了现代社会中,在将来仍有广阔的发展前景。     

关于幂指函数极限的教学研究

利用分类讨论的思想方法,讨论了幂指函数求极限的问题,刻画了当lim f(x)存在或为无穷大,lim g(x)存在或为无穷大时极限limf(x)^(g(x))的所有可能情形,并应用到具体的极限运算中。同时,文章就幂指函数极限的课堂教学,提供了一些思路和方法。     

软件测试基本技术

本文讨论了软件测试的一般概念、方法、步骤、方案及策略。     

压差时量的提出及平面单向流变量的等价性

针对平面单向流主动变化量与被动变化量之间函数关系有待明确的问题,提出了压差时量的概念,开展了平面单向流变量之间函数关系研究,在研究中利用压差时量与累积注入量之间的函数关系,结合Buckley-Leverett方程和Welge方程,推导了压差时量与出口端含水饱和度、含水率、累积采油量、采出程度之间的函数关系,获得了以下认识:平面单向流任意两个变量之间存在由参数方程所确定的函数关系,压差时量是参数方程的参数;平面单向流中的变量具有等价性。根据以上认识,以层间矛盾研究为例,利用压差时量概念和变量等价性研究了层间矛盾产生的机理。压差时量的概念和变量等价性的认识,明确了主动变量与被动变量之间的函数关系,建立了驱替过程中各变量之间的等价关系,该认识对相关理论问题和应用问题的研究起到一定促进作用。     

一题多解探讨二重极限的计算

函数的极限求解是高等数学中比较重要的一个问题,相对于一元函数的极限问题,以二元函数为代表的多元函数的重极限,因其自变量的增加和极限趋近路径的任意性而使问题变得相对复杂,本文主要针对教学过程中遇到的一个二元函数的二重极限求解的典型例子结合相关极限理论给出五类不同的解法,更加灵活鲜明地对二元函数的极限求解方法做了相关的系统性讨论总结,拓宽了解题思路。     

基于视图机制和分组统计实现 SQL 中全称量词的转换

SQL语言不支持全称量词，当查询涉及“全部”语义时，需要将全称量词等价转换为存在量词，转换及量词的使用都是难点，需要有相关的逻辑推理及思维能力，从而使程序员难以理解。基于视图机制和分组统计来实现对全称量词的对应语义的转换，思路清晰，容易掌握。     

求解三维装配几何约束闭环系统的约束变换方法

采用等价性分析方法消除三维几何约束系统中的伪约束闭环,并将几何约束图分解为单边子图、独立闭环子图和耦合闭环子图;采用螺旋理论识别出装配几何约束组合对应的运动副约束,将约束闭环子图映射为运动副约束图;通过分析运动副约束图的拓扑结构选择切除约束,建立装配几何约束闭环系统的相对坐标表达,将约束闭环系统的整体迭代求解转换为切除部分约束与相对坐标的迭代求解。该方法降低了数值迭代求解的规模,考虑了约束方向对求解结果的影响,既提高了约束求解的效率和稳定性,又保证了约束求解结果的正确性。     

广义逐次Φ-伪压缩映射的等价性定理(英文)

在实一致光滑Banach空间中研究了广义逐次Φ-伪压缩映射的等价性结果.广义逐次Φ-伪压缩映射是最广的一类映射且等价性是Mann迭代和Ishikawa迭代延伸后的4种迭代的等价性,因而结论推广和改进了相关的结果.