顺序PROLOG机KD-PP的系统结构和硬件实现技术

本文提出的KD-PP系统是一种基于编译技术的顺序PROLOG推理系统,该系统的设计为逻辑型程序语言PROLOG的实现提供了硬件支持,因而能高效地执行PROLOG程序。本文从数据表示、存储系统、机器状态和指令系统等方面全面地介绍了顺序PROLOG机KD-PP的系统结构和硬件实现技术。     

混合物薄膜折射率与膜孔洞率关系研究

本文对TiO_2和Ta_2O_5混合膜进行了单源共蒸发实验研究。在实验结果的基础上,提出了一个拟合TiO_2、Ta_2O_5混合膜系孔洞率的经验公式,并对混合膜的折射率的计算过程进行了改进。结果表明:理论计算与实验数据符合较好;混合物薄膜可能形成孔洞率较小的膜层,从而导致混合物薄膜折射率随混合百分比的变化曲线出现峰值。     

智能工具机系统结构

本文提出了一种面向PROLOG 的计算机系统,它采用传统计算机做为主机,后端机采用通用OPU 芯片和支持PROLOG 高速执行的专用硬件。该系统结构简单,性能高。性能模拟表明,该系统具有500KLPS 的逻辑推理速度和17MPS 的数值计算速度。     

神经网络的原理及应用

人工神经网络是在现代神经科学研究成果的基础上提出的,反映了人脑功能的基本特征。但它只是人脑功能的某种抽象、模拟和简化。研究这一技术的目的在于,探索人脑加工、储存和搜索信息的机制,并将其原理应用于人工智能的可能性。本文介绍了一些神经网络模型及应用。     

信息论在柴油机故障诊断专家系统中的应用

本文应用信息论的基本原理,对柴油机故障诊断中故障与特征参数的关系进行了分析,提出了一种优化求解包含最大信息量的特征参数组的快速诊断方法及步骤;同时本文还应用加权熵的定义对诊断用的信息量进行了处理。本文对故障诊断专家系统的研究具有实用意义。     

垂直切变风场中声重波的KdV方程

本文利用二维约化摄动方法推导出垂直切变风场中声重波的 KdV 方程。从而进一步证明中尺度 TID 的激发源是声重波这一尚未弄清的问题。另外,本文推导出的方程还可作研究声重波远场处的相互作用、能量交换及不稳定性等特征的出发方程。     

关系数据库自动生成器

本文论述了使用函数依赖(FD)的概念进行关系数据库的设计。对于给定一组函数依赖,确定全部最小覆盖的传统综合算法进行了改进,给出了一个改进的新算法。并且开发了称为“关系数据库自动生成器”的关系数据库自动设计工具,该工具使用编译dBASEⅢ语言编写,在长城0520机上运行,它支持需求分析阶段的信息收集,关系数据库设计阶段的概念性和逻辑性设计。     

小口径炮激光模拟器光束传输特性的研究

本文采用多横模振荡模型,对小口径炮激光模拟器光束传输特性进行了分析,导出了射程及光斑大小与激光功率、探测器阈值辐照度、光学系统及大气衰减的关系。并根据现有条件用计算机进行了计算,给出了激光传输过程中光斑分布的理论曲线。在此基础上进行了实地测量,实验值与理论曲线基本吻合。本文对激光模拟器的研制和应用具有一定的参考价值。     

奇型偏微分方程的柯西问题

定解条件给在奇线上的偏微分方程的各种定解问题早已有研究^[1～4],多数作者使用了特殊函数作工具。本文用能量不等式组来解决一类奇型双曲型方程的柯西问题。 本文主要讨论如下问题解尚存在唯一性： Lu≡[(t^a/2?_t-λ₁(x,t)?_x)(t^a/2?_t-λ₂(x,t) ?_x)+a(x,t)?_t+b(x,t)?_x+c(x,t)]u(x,t)=f(x,t) (x,t)∈R×(0,T] u∣_t=0=φ(x),limt^a/2u_t=ψ(x) 这是一个二阶偏微分方程,当 α>0时,?_t²的系数当t=O 时变为零,因而这是一个初始值给在奇线上的柯西问题。我们假定： (A) α为常数,0<α<1;所涉及的都是实函数; (B) α(x,t),b(x,t),c(x,t),λ_j(x,t)(j=1,2)∈C¹([0,T],C²(R)),且上述函数的所有可能的导数都有界; (C) φ(x),ψ(x)∈C₀⁴(R)); （D）f(x,t)∈C((0,T],C₀²(R)),且sup{t^a/2(∣f∣+∣f_x∣+∣f_xx∣}＜+∞（Ⅱ） (E)存在常数δ＞0,使当（x,t)∈R×[0,T]时,有：∣λ₁(x,t)-λ₂(x,t)∣≥δ条件（Ⅱ）中关于实函数的假设不是必要的,作此假设仅为方便。本文主要得到：定理1：在（Ⅱ）的假设下,（Ⅰ）存在唯一弱解u,并 u∈C([0,T),H¹(R))∩C¹((0,T),L₂(R)).为证明该定理作了一系列准备,关键是证得引理1,引理2和引理6。     

压电微动伺服机构

本文详尽论述了作为精密车床直线运动误差检测,补偿系统中的微动伺服机构的工作原理、伺服机构结构参数的优化设计以及为提高伺服机构的频响而设计的“有源高压放电电路”。最后,建立了压电微动伺服机构的静、动态特性的数学模型。