基于示例学习的特征空间变换方法

特征空间是人工智能领域中经常用的基本概念之一，人工智能领域中的许多问题可以可以通过特征空间变换的方法化简和求解。文中提出了一种基于示例学习的特征空间变换方法。     

动态图象运动矢量多重跟踪搜索算法及实现

针对动态图象运动矢量搜索过程中，使用普通的对数搜索方法有可能无法搜索到真实最优运动矢量的问题，分析了产生该问题的原因，并提出使用运动矢量多重跟踪方法进行运动矢量搜索。在图象匹配的过程中应用亚采样模板有效地降低了该方法的计算量。对大量数据的分析试验证实，该方法具有很好地适应多极点匹配图象的特点，能准确搜索到真实最优运动矢量点。     

双BGO晶体能谱测井

Ｃ／Ｏ测井可以利用ＢＧＯ晶体探测效率高的特点，在其探测器部分放置两个探测器，称为双探测Ｃ／Ｏ测井仪，长短源距两个探头所测谱数据进行补偿，有效地去除了井眼条件的影响，提高了测量精度和油水差值，更加有产地分油水层，并有望能在低孔隙度的地层中使用Ｃ／Ｏ测井仪器。     

Software support for multiprocessor latency measurement andevaluation

Parallel computing scalability evaluates the extent to which parallel programs and architectures can effectively utilize increasing numbers of processors. In this paper, we compare a group of existing scalability metrics and evaluation models with an experimental metric which uses network latency to measure and evaluate the scalability of parallel programs and architectures. To provide insight into dynamic system performance, we have developed an integrated software environment prototype for measuring and evaluating multiprocessor scalability performance, called Scale-Graph. Scale-Graph uses a graphical instrumentation monitor to collect, measure and analyze latency-related data, and to display scalability performance based on various program execution patterns. The graphical software tool is X-Windows based and is currently implemented on standard workstations to analyze performance data of the KSR-1, a hierarchical ring-based shared-memory architecture     

微机辅助农用运输车外形设计

介绍了在微机上应用Ａｕｔｏ ＣＡＤ１２．０辅助农用运输车外形设计的原理与方法，并给出了设计实例。     

单向不连续CF／PEEK复合材料细观力学行为分析

采用有限元模拟技术，研究了单向不连续碳纤维增强聚醚醚酮复合材料的细观弹塑性力学行为，分析了纤维端部的不连续性对复合材料中纤维与纤维、纤维与周围基体相互作用以及应力场变化的影响。在有限元计算中，引入了一个单胞模型和相关的边界条件。此外，利用体积平均法预测了在外载荷作用下单向不连续碳纤维增强复合材料的弹塑性应力-应变关系。     

智能化航迹仪的步进电机变速控制技术及间隙补偿的研究

基于进一步提高智能化航迹仪性能的需要，本文从实时性和准确性两个方面，分析和研究了智能化航迹仪中步进电机的加减速控制技术和齿轮间隙误差补偿同，改进和完善了字库设计，实用结果表明，该研究成果有效地提高了现代舰艇自动海图作业的实时性和准确性。     

抛物型直纹三次曲面的设计方法

讨论已恬抛物线及平行于该抛物线所在平面的两条异面直线为异线成的直纹三次曲面，并给出了直母线的布线方法。     

一种形式化逆推的逻辑方法

本文讨论逆绎推理的形式化问题，指出这一问题的认知基础，然后证明逆绎推理可通过建立必要性假设来完成；ＮＨ构成了对已有知识订的扩充，必须构造必要性假设理论来捕捉逆绎推理的逻辑特征，本文选择缺席逻辑作为形式化ＮＬ的理论框架，并指出ＮＬ的基本性质。