部分真值表在环形分配器设计中的应用

目前步进电机以五相居多，硬件环形分配器用卡罗图来进行设计，则显得复杂冗赘，如果从步进电机运行的规律中找出约束条件，建立部分真值表，便可以直接写出控制逻辑函数，这对于设计相数、拍数较多的步进电机的环形分配器极为方便，这种设计思路在进行数字电路工程设计中也是可以值得借鉴的。     

一类二阶微分包含边值问题解的存在性

对Banach空间中的一类二阶微分包含的边值问题进行研究，证明了在凸闭集上解的存在性，推广和改进了已有的相关结果。     

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

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

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

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

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

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

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

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

结构动力分析一种简易的直接积分法

本文利用方块脉冲函数优良的运算性质,提出一种结构动力分析简易的直接积分法——方块脉冲函数法,具有无条件稳定的积分格式,并表明方法的可行和有效.