Rule-K错误的发现

在文[1]中曾提出用一条规则的错误率M/N及N来判断该条规则是否需要修改,本文给出了以“均贲法”、“追踪法”与“比较法”记录某条知识的M/N,与N的方法,以便为知识库的维护提供依据。     

多步法误差分离技术在圆度测量中的应用

由 Ｔａｌｙｒｏｎｄ ３型圆度仪、精密分度转台和 ＩＢＭ－ＰＣ微机组成计算机辅助纳米圆度测量系统．采用多步法误差分离技术，将圆度仪的测量精度由原来的 ２５ ｎｍ提高到 ２ｎｍ。文中详细讨论多步法的方法误差、系统误差及其测试结果。该项技术的推广应用对我国现有圆度仪的技术改造具有重要意义。     

ICRH等离子体中的聚变反应率的计算

根据Ｋｒａｐｃｈｅｖ给出的ＩＣＲＨ等离子体分布函数，利用改进了的截面公式和积分公式，计算了反应率的增强。对８６３ 高技术项目混合堆的参数所作的计算结果表明。为得到更好的增强，必须寻找新的非麦克斯韦分布函数。     

2n阶椭圆型复方程的Dirichlet边值问题

本文先使用解的先验估计和 Leray-Schauder 定理讨论了2u 阶非线性椭圆型复方程在单位圆上Dirichlet 边值问题的可解性.其次,使用积分方程的 Fredholm 定理讨论2u 阶线性椭圆型复方程上述边位问题的可解性.最后,我们还简略地讨论了两个未知实函敬的2n 阶线性与非线性椭圆型方程组的相应边值问题,在处理以上各边值问题时,都利用.关于方程 U_(?)=F(z)的 Dirichlet 边值问题解的积分表示式.     

二维拟线性双曲型方程广义差分法

本文提出解二阶拟线性双曲型方程的广义差分法,和解同类方程的差分法相比,条件弱且可达到最佳 H~1模误差估计。     

中立型微分差分方程的振动性

本文研究中立型微分差分方程(?)的解的振动性态。我们推广文献[1]的许多结果。以下是一些主要结果。(A):设 P_i<0(i=1,2,…m)且存在一个 p_k<-1,1≤k≤m.则(*)的每个非振动解 x(t)必蕴涵(?)或-∞(t→+∞).(B):若 m=1,p_1<-1,且τ>σ_n.令λ_j=(?)(j=1,2,…,n),λ=max(λ_1,…λ_n)。最后设λ>1/e,那末方程(*)的每个解都振动。(C):设τ_1>σ_n,p_i<0(i=1,2,…,m),Q_j(t)≡Q_j(t-τ_i) t∈[t_0,+∞)(i=1,2,…,m;j=1,2,…,n)。且存在 p_k<-1.令(?)(j=1,2,…,n);μ=max(μ_1,…,μ_2).又设μ>1/e,那末方程(*)的每个解都振动。(D):设 p_i>0(i=1,2,…,m),则方程(*)的每个非振动解x(l)→0(l→+∞)。     

机器人机构关节间隙对手部位姿误差的影响

本文就机器人机构关节间隙对手部位姿误差的影响进行了研究,推出了由间隙引起的关节坐标参数的变化,由此进一步推出手部的位姿变化     

三角形域上边界型积分公式的误差估计

本文对三角形域上边界型近似积分公式首次给出精确的误差渐近估计,并由此建立相应的Romberg型外推公式.同时,讨论了若干数值应用,包括提出一种新的求解Volterra型积分微分方程初值问题的数值方法.     

多重极点出射角计算方法研究及求根轨迹程序设计

本文提出了当闭环系统特征方程具有多重极点时,根轨迹在极点处的出射角的计算方法和公式,并利用Newton-Raphson迭代法编制了求取控制系统根轨迹的计算机程序。该程序可求得根轨迹在复平面上的位置及根轨迹上各点的增益,并可绘制出完整的根轨迹图。     

一个奇性常微分方程的初值问题

探讨奇性微分方程y″+ky′/t+λy=f对不同的值k怎样提初始条件才能使初值问题是适定的。对所有k≥0建立了修改初值问题解的存在唯一性定理。