非形式逻辑视野下的论证评价理论

论证可分为形式论证(人工语言论证)与非形式论证(自然语言论证)。前者是形式逻辑的研究对象,后者是非形式逻辑的研究对象。我们从几个代表性逻辑学定义出发,分析了非形式逻辑产生的背景,讨论了形式逻辑与非形式逻辑的区别,并从非形式逻辑角度探讨了自然语言论证评价的标准。     

非致命武器--温柔的"杀手"

冷战结束后，低强度冲突、恐怖事件、贩毒活动频频发生，给世界带来的不安并不亚于战争。对付上述情况，强杀伤性武器如飞机、坦克、大炮、机枪等往往派不上用场，而非致命性的软杀伤武器却大有用武之地。因此，世界许多国家都积极开展非致命性武器的研充工作，使非致命性武器（也叫失能武器）异军突起。目前，世界上已经研制成功和正在研制的非致命武器功能各异，失能机理和作用对象也各不相同，比较典型的有：化学失能剂、刺激剂、幻觉武器、次声波武器、低能激光致盲武器、全向照射武器等。[编者按]     

非水溶剂中难溶盐溶度积的理论计算

该文根据以静电作用、取向作用、诱导作用和色散作用为基础的分子间相互作用力,对AgCl、AgBr、AgI、AgN_3、AgSCN及AgAc等6种难溶盐在MeOH、EtOH、MeCN、DMF、DMAC、DMSO和HCONH_2等7种非水溶剂中的离解平衡常数K_(SP)进行了理论计算,计算结果与文献值吻合较好。     

力学微分原理的准Riemann型及动力学方程

本文运用《Riemann 几何及张量分析》方法,研讨了完整约束及一阶非完整约束的力学系统。在3N 维 Euclid 空间及其一阶切空间中,分别给定Riemann 流形及准 Riemann 流形。导出了 Jourdian 原理的准 Riemann形式及动力学方程组。     

非流分灌溉制度的求解方法

根据农田水量平衡原理以及作物腾发与产量相乘模型，分析了非充分灌溉制度的动态规划求解方法，并编制了相应的电算程度。该程序给出了全生育期不同灌溉定额情况下最优灌溉制度和最优产量比，并给出了各生育阶段实际腾发量和计划湿润土层含水量动态变化过程。通过算例表明，该程序操作方便，设计合理，是灌区灌溉管理及高产增收的实用计算机软件。     

一类信号所确定的预测误差滤波器的零点分布

对R.Kumaresan提出的由M个指数衰减(或不衰减)的正弦信号的和组成的信号进行了推广,讨论了由这类推广了的信号所确定的预测误差滤波器多项式的零点分布。信号零点完全由信号所确定。不论信号零点如何分布,只要预测误差滤波器多项式的系数满足某些条件,则其额外零点在单位圆的外部呈均匀状分布。     

高阶非线性时滞方程振动的充要条件及比较定理

本文首先给出了高阶非线性时滞微分方程所有解振动的充要条件。然后利用该结果，得到了一些振动的比较定理，解决了张炳根猜想。     

无界报酬向量值折扣马氏决策规划—最优平稳策略及算法

本文主要讨论了无界报酬向量模型的平稳策略问题，给出了改进平稳策略的方法，建立起向量模型的最优方程，获得平稳策略为强最优策略的充要条件．指出最优平稳策略的期望报酬函数必为极大不动点，最后提出一种寻求最优平稳策略的策略迭代算法．     

YN相互作用和轻超核∧^5He结合能的计算

在手征SU(3)夸克模型基础上，用共振群方法，给出∧N相互作用的非定域位，并用于轻超核∧^5He的结合能的计算，得到了与实验和其他方法相近的结果．