面向学生的智能解题专家系统的研究与设计

探讨了网络在专家系统中的应用 ,给出了一个基于网络的面向学生的智能解题专家系统的模型 ,分析了设计的基本过程。从专家系统出发 ,探讨了基于知识的推理系统。最后 ,从以上设计出发 ,总结了基于该模型的系统需进一步研究的工作。     

FET振荡器注入锁相伏特拉级数分析

应用伏特拉级数法分析了电容耦合ＦＥＴ振荡系统在外加信号下的注入锁定现象，推导出输出信号和注入锁定带宽表达式。与一般非线性系统分析方法相比，伏特拉级数法在建立好系统模型后只需进行代数运算，从而避开了求解非线性，非齐次高阶微分方程的复杂过程。     

涡旋真空泵的密封设计

涡旋真空泵在工作过程中动、静涡盘之间间隙存在泄漏损失,它是影响涡旋真空泵工作性能的重要因素;总结了涡旋真空泵的工作原理;介绍了涡旋真空泵的密封设计与选择、间隙的确定。从材料和结构两方面阐述了密封的几种结构形式,说明了各自的工作原理,及需要注意的问题,阐明这些问题是影响泵性能指标的重要因素。     

Parametric Rao Test for Multichannel Adaptive Signal Detection

The parametric Rao test for a multichannel adaptive signal detection problem is derived by modeling the disturbance signal as a multichannel autoregressive (AR) process. Interestingly, the parametric Rao test takes a form identical to that of the recently introduced parametric adaptive matched filter (PAMF) detector for space-time adaptive processing (STAP) in airborne surveillance radar systems and other similar applications. The equivalence offers new insights into the performance and implementation of the PAMF detector. Specifically, the Rao/PAMF detector is asymptotically (for large samples) a parametric generalized likelihood ratio test (GLRT), due to an asymptotic equivalence between the Rao test and the GLRT. The asymptotic distribution of the Rao test statistic is obtained in closed form, which follows an exponential distribution under the null hypothesis H ₀ and, respectively, a noncentral Chi-squared distribution with two degrees of freedom under the alternative hypothesis H ₁. The noncentrality parameter of the noncentral Chi-squared distribution is determined by the output signal-to-interference-plus-noise ratio (SINR) of a temporal whitening filter. Since the asymptotic distribution under H ₀ is independent of the unknown parameters, the Rao/PAMF asymptotically achieves constant false alarm rate (CFAR). Numerical results show that these results are accurate in predicting the performance of the parametric Rao/PAMF detector even with moderate data support.     

IL-E2线阵遥感相机的研制和TDI分析

针对低照度、高速物体测量等应用场合,介绍了一款高灵敏度的线阵相机的研制方案,相机的线阵CCD芯片采用DALSA公司的IL-E2 ,它具有96级TDI功能,灵敏度比一般的线阵CCD相机提高了约20倍,大幅度提高了相机的整体响应水平,通过试验,得出结论,TDI性能的良好发挥必需依靠图像与TDI数据流精确的同步,即使10%的失步也会造成相机灵敏度的严重退化,因此在精确控制像速度的情况下,更适合作为一款遥感相机来使用.     

一类拟线性椭圆型方程分歧点的存在性

本文讨论了下面问题的分歧点的存在性：－ｐｘｉ〔（１＋｜ｕ｜２）ｐ２－１ｕｘｉ〕＝μｕ＋ｆ（ｘ，ｕ），ｘ∈ＲＮｕ（ｘ）→０，当｜ｘ｜→＋∞时，ｕ０，μ∈Ｒ１，Ｎ＞ｐ≥２｛证明了μ＝０是上述问题的分歧点。     

行星际结构与准平行无碰撞激波的相互作用

应用一维混合模拟方法数值研究了高密度等离子体团和行星际激波与准平行无碰撞激波的相互作用．结果表明，由于推平行无碰撞激波上游的大振幅低频波动的散射，除了在通过激波过渡区时稍有压缩外，等离子体团从激波的上游开始就一直是不断弥散的．行星际激波在向准平行无碰撞激波靠近的过程中，会在其上游产生大振幅的低频波动，同时行星际激波的强度不断增加，最后和准平行无碰撞激波会并成一个新的激波，在新激波前继续有大振幅的低频波动产生     

用两端安装法检定热电偶

利用一种设计好的专用检具 ,使两束被检热电偶分别从检定炉的两端安装均可保证符合检定规程的要求 ,从而在不添置新设备的情况下 ,使检定热电偶效率大大提高。     

CC—高阶通信系统的并发演算

并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。