Manifold structure preservative for hyperspectral target detection

A nonparametric method termed as manifold structure preservative (MSP) is proposed in this paper for hyperspectral target detection. MSP transforms the feature space of data to maximize the separation between target and background signals. Moreover, it minimizes the reconstruction error of targets and preserves the topological structure of data in the projected feature space. MSP does not need to consider any distribution for target and background data. So, it can achieve accurate results in real scenarios due to avoiding unreliable assumptions. The proposed MSP detector is compared to several popular detectors and the experiments on a synthetic data and two real hyperspectral images indicate the superior ability of it in target detection.     

钣金制件表面的相贯线求作方法

本文提出钣金制件表面相贯线求作的新方法。     

连续逻辑DYL电路在测试系统中的应用

本文利用DYL多元逻辑电路的特点,提出求极值和中间值的“地址”的方法和电路。使DYL多元逻辑电路的应用更加完善。     

化学镀Ni—P合金等温处理的结构转变

利用电子显微术研究了化学镀Ni—P合金层在260℃等温不同时间的非晶-晶体转变。结果表明,晶体镍首先从非晶态中析出,Ni_3P相亦直接从非晶态中生成,而不经过亚稳过渡相。     

面天线检测数据处理方法的探讨

对面天线检测数据处理方法作了一些有益的探讨。从获取被测物的三维坐标后到获取真正有用的信息这一过程需要经过坐标转换和表面误差计算两个步骤 ,其中坐标转换是关键。在坐标转换方面 ,文中提出了曲面自由拟合、公共点转换和CAD面型转换三种方法 ,阐述了这些方法的数学模型 ,并且用实测数据进行了验证计算。理论分析和实际计算两方面显示 :CAD面型转换法既不需要天线的曲面方程 ,也不需要有已知的公共点 ,结果准确、可靠 ,是一种理想的方法 ;如果没有天线的CAD面型 ,但却存在公共点时 ,公共点转换法也是较理想的方法 ,其结果与给定的公共点误差有关 ;如果既没有天线的CAD面型又无公共点或公共点误差很大时 ,只能采用曲面自由拟合法 ,该法准确度最高 ,但容易使天线面型产生错位现象     

钛的相变织构及其影响因素研究

通过晶体学取向分布函数（ＣＯＤＦ）法研究了冷轧形变量、再结晶退火和相变循环次数等因素对钛相变织构形成的影响。结果表明冷轧形变量对相变织构的形成影响最大。再结晶退火后钛的相交织构漫散。多次循环相变并不改变相变织构的类型。     

多变量非线性非定常气动力的模糊逻辑模型

应用模糊逻辑算法，建立了带升降舵偏角影响的非线性非定常气动力模型逻辑模型，并进行了验证，结果表明：所建立的非定常气动力模型逻辑模型有较强的预测能力，此方法为今后建立多变量、复杂运动的非线性非定常气动力学数学模型，提供很好的借鉴。     

DO 28飞行试验数据一致性检验

 本文研究DO28试验机飞行试验数据一致性检验及其误差校正。建立了由非线性运动学方程及内容广泛的校正环节构成的一致性检验模型,解决了大地风场重构、测量信号时间延迟估计、ψ转换及测量控制信号的校正。为DO28参数估计提供了可靠、准确的飞行试验数据。     

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

基于中介逻辑的多模态逻辑系统

多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。