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

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

基于计算机视觉的汽车流量检测统计

利用计算机视觉和图像处理的方法对交通路口通行车辆进行流量统计.首先,由摄像机视场的标定原理和标定公式,得到了摄像机成像平面内的像素距离与实际三维空间距离的对应关系;然后,采用基于光流场的车辆检测方法,对所有经过设置的虚拟线圈的车辆进行实时检测和信息提取;最后,对提取的车辆信息进行统计和计算,得到实时路况信息.实验结果表明,该算法具有较高的检测概率,能够满足系统的精度和实时处理要求.     

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

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

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

该文根据以静电作用、取向作用、诱导作用和色散作用为基础的分子间相互作用力,对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形式及动力学方程组。     

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

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

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

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

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

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