田径长投项目裁判工作的探讨

对田径长投各项裁判的职责、站位、判定落点等工作的配合方法进行了探讨，为田径裁判工作提供了参考。     

活载作用下简支梁弯矩最不利位置确定浅析

本文论述三角形影响线情况下荷载最不利位置的判定定理,以及绘制弯矩包络图的分段问题.     

现代汽车自动变速器的检测试验与故障判定

介绍了现代汽车自动变速器的检测试验方法,总结了根据试验结果判定自动变速器故障的方法。     

语言判断矩阵的一致性及相关问题研究

研究了语言判断矩阵的一致性及基于语言判断矩阵的方案排序问题.在给出语言判断矩阵有关概念的基础上,通过对有序语言短语集中的有序语言短语进行"量化",给出了语言间相互作用的运算定义,探讨了语言短语及语言判断矩阵的基本性质,进一步从理论上提出了语言判断矩阵完全一致性和满意一致性的概念;为了方便检验语言判断矩阵的一致性,通过引入导出矩阵的概念将语言判断矩阵转化为数量矩阵,并提出了语言判断矩阵完全一致性、满意一致性的简便的判定方法;针对基于语言判断矩阵的方案排序问题,根据导出矩阵的性质通过求解最大特征根,给出了一种简便的方案排序方法;最后通过两个算例说明了本文给出的一致性判定方法和方案排序方法.     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

知识库中精确知识的判定算法

研究了知识库中挖掘它所包含的精确知识的方法，给出知识库的相关概念及精确知识的定义，讨论了一种在所定义的知识库中提取并判定精确知识的算法．     

实代数数的代数表达式的符号判定

将符号计算方法与数值计算方法结合起来应用于计算机代数领域,构造了一种判定实代数数的代数表达式的符号的算法,并在计算机数学系统上加以实现,算法的基本思想是对每一个实代数数ａ定义了一个二元组（Ｉ,ｆ（ｘ））,其中Ｉ是包含ａ的区间,ｆ（ｘ）是ａ所满足的多项式,并将代数数的运算转化为对应的二元组的运算,同时结合多项式的根的最短距离估计式,从而达到对代数数的代数表达式进行符号判定的目的。     

AKS算法及关于它的一种改进算法的实现分析

2002年，Agrawal、Kayal和Saxena成功地解决了多项式时间判别素数这一著名的世界难题，他们给出了一个算法(简称AKS算法)，该算法对输入整数是素数还是合数进行判断。它是一个确定的多项式时间算法．后来许多科学家对该算法进行了改进，其中一个比较好的改进是由Bernstein给出的(简称Bernstein算法)．作者详细分析了这两种算法，利用C语言实现了这两种算法，并进行了比较，找出了真正需要用到AKS算法和Bemstein算法来判断其为素数和合数的最小数，并估计出所需要的运行时间．     

一类高阶非线性中立型时滞偏微分方程解的振动性

研究一类具有连续分布偏差变元的高阶非线性中立型时滞偏微分方程，获得了方程解振动的一些新的判定准则。