A High Speed Detection Scheme for Point Targets in a Multitarget Environment

The purpose of this paper is to develop a high speed detection scheme for moving and / or stationary point targets in a multitarget environment as registered in an IR image sequence. An iterative approximate 3-D line searching algorithm based upon the geometric representation of lines (for non-maneuvering targets in space) in a 3-D space is derived. The convergency of the algorithm is proved. An analysis is performed of the theoretical detection performance of the algorithm. The statistical experiment results show high effectiveness and computational efficiency of the algorithm in the case of low SNR. The idea may be employed to satisfy the real-time processing requirement of an IR system.     

氧化物半导瓷中晶界势垒的起源

提出了一个关于氧化物半导瓷晶界势垒起源的新观点，认为晶界势垒起源于烧结过程中外界氧在晶界中的扩散，与材料的结构、化学缺陷、掺杂、外界气氛、烧结工艺、组成状态等有密切关系，并用此理论解释了许多实验现象。     

专家系统技术在注塑模故障诊断中的应用

论述了用人工智能技术对模具故障进行诊断和确定对策的原理和方法。对模具在工作中常遇到的与模具制造、工艺条件及塑料材料有关的问题及相应对策进行了归纳整理，组成了模具诊断与维修知识库。收集了常用工程塑料的各种有关成型工艺条件和主要性能，建立了塑料材料数据库。采用正向推理控制策略搜索知识库，并将推理结果与理论计算结果进行对比校验，最后确定出模具工作中出现故障的原因，并输出相应的解决办法和建议．     

交织扩展Golay码编译码器实现方案的研究

论述了交织编码的工作原理，给出了一种交织扩展Ｇｏｌａｙ码的改进型软件设计方案，用ＴＭＳ３２０Ｃ２５实现了其编译码器并给出了模拟实验结果。实验结果表明，它能准确地纠正不大于７２比特位的差错；处理１２８×１２８×８比特位的一幅图像数据的运行时间为０．４１２ｓ．     

一种直升机舵机的GFRF模型辨识方法

改进了以多音组合正弦信号为持续激励信号的非线性系统GFRF非参数模型辨识方法。并成功地利用该方法辨识出某型直升机并联电动舵机的GFRF模型．实践表明，改进后的辨识方法辨识精度高且稳定，只需很小的计算量和数据存储空间，是一种有效的非线性系统辨识方法，具有重要的工程实际应用价值．     

输出/输入比值优势与DEA有效

进一步讨论了多目标规划模型 ( vp)中的 Pareto有效与 DEA有效的关系 ,得到两个重要结论 ,藉此无须求解 DEA模型就能判断某些 Pareto有效 DMU的 DEA有效性。     

双基地声纳定位精度和算法研究

根据双基地声纳定位的特点，提出了一种单纯基于声波到达时间(TOL)的双基地声纳定位算法，给出了算法的原理和误差分布。通过数值仿真，研究了基线长度、时间测量误差对算法定位性能的影响。仿真结果表明，TOL算法的定位精度与基线长度有关，随着基线长度的增加，定位精度提高。时间测量误差对算法的定位精度影响较小。与同等条件下单基地声纳定位相比，双基地TOL算法具有更高的定位精度。该研究为多基地声纳新体制的建立，提供了理论依据。     

RSC卷级码中的自结尾序列和最小码重

对自结尾输入序列进行了研究 ,证明了自结尾输入序列的若干性质 ,揭示了自结尾输入序列与RSC码的最小码重关系。指出较短的自结尾输入序列通常产生较轻的输出码重。尤其对一类重量为 2的自结尾序列给予了特别关注 ,并进行了深入研究。最后给出了RSC码最小码重的一个上限 ,并通过例子说明这个上限是很紧的 ,很多情况下就是最小码重。     

论旅游开发对区域生态环境的影响

旅游开发既可能破坏区域生态环境 ,又可以通过促进区域经济发展 ,促进区域生态环境的良性可持续发展 .二者的协调发展是当前我国经济发展中亟需研究解决的新课题     

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.