基于逆向学习改进算法的汽车边缘提取

根据智能交通系统中车型识别的特点提出了使用逆向学习改进算法提取汽车边缘的新方法，这种方法的优点在于可以充分利用车型识别系统的特点和汽车历史轨迹的先验知识得到较好的提取精度，并有效地解决了车型识别中，因使用黑白图象而使基于色彩的汽车边缘提取失效的问题。     

关于一类Huygens算子的注记

对线性双曲型偏微分算子P(u)=utt 2b0(t)u-△u-2^n∑i=1 bi(x)uxi-c(x)u，给出Hadamard基本解按测地距离展开的系数Ek(t，x；s，y)(k=0，1，2，…)与P(u)的系数较直接的关系，从而以E(n-1)/2(t，x；s，y)为Huygens算子的等价条件，解析了Veselov和Berest给出的一类Huygens算子与Stellmacher算子的关系．     

利用支持向量机预测生物膜蛋白类型

利用统计学习理论中的支持向量机(SVM)，基于氨基酸组分含量预测生物膜蛋白类型。使用文献中2059个训练集和2625个检验集膜蛋白序列数据，运用统计预测中的校准检验，留一法交叉检验和独立数据集检验方法进行分类预测。结果表明，SVM对膜蛋白类型预测具有明显的优越性，该算法对当前已有方法起到重要的补充作用。     

深海泥的矿物组成及其物化性能研究

采用化学分析、X射线衍射、差热和热重分析、粒度与比表面积分析等技术、方法对5个我国南海深海泥样品进行了研究.结果表明,不同区域的深海泥中,其矿物组成有显著的差异,其中粘土矿物、石英、碳酸盐为主要的结晶相矿物;同时,非晶质粘土矿物广泛发育.深海泥中的矿物质具有粒径小、比表面积大、粘土矿物结晶程度差等特点,因此具有较好的活性.深海泥将是一种巨大的潜在非金属矿产资源.     

结合图的导出匹配可扩性

简单图G和H的结合图G[H]的顶点集为V(G)×V(H),其中(u,v)和(u′,v′)相邻的充分必要条件是:或者uu′∈E(G)或者u＝u′并且vv′∈E(H).研究了结合图G[H]的导出匹配可扩性,证明了若G和H是非平凡图,G是连通图,且G和H满足下列条件之一,则G[H]是导出匹配可扩的:(1) G和H中有一个是导出匹配可扩的;(2) G和H都有完美匹配;(3) G和H中一个有完美匹配,另一个有几乎完美匹配.     

一种基于元图的模型拼装算法

给出了一种MBMS的分层体系结构及其主要特点,讨论了模型拼装的概念,指出模型拼装在MBMS实现中的重要性和困难性,设计并实现了一种基于元图的模型拼装算法,分析了该算法的主要特点和优势.     

K-拟可加模糊数值积分的零可加性与绝对连续性

在K-拟可加模糊测度空间的任一子集上,针对给定的某一个μ-可积模糊数值函数,建立所谓的K-拟可加模糊数值积分.进而将这种积分整体看成可测空间上取值于模糊数值的集函数,应用其积分转换定理,讨论它们的零可加性和绝对连续性等.     

基于距离空间的遗传算法分析

通过对简单遗传算法的分析，发现每次执行复制、杂交、变异等操作均相当于对所作用的个体进行一次线性变换，这样，从函数的角度来看，引入非线性变换的遗传算子将是一个有待研究的问题，因而提出了非线性遗传算法。通过对二进制遗传算法的Hamming距离的扩充，引入了一种几何模型-距离空间，并在该空间上对杂交、变异等算子进行了系统的分析。根据分析结果，指出了改进遗传算法的途径，并提出一种改进的二进制非线性遗传算法，仿真实例证明了其有效性。以上分析从几何意义出发，提出了一种全新的分析遗传算子的方法，对遗传算法理论的完善与发展具有重要意义。     

海军指挥作战自动化系统试验中的模拟测试软件

首先分析了模拟测试软件在C3I系统的开发、使用过程中的应用目的和重要作用，然后描述了模拟测试软件与指挥作战自动化系统的接口，最后介绍了利用新型仿真技术研制的模拟测试软件的功能，详细说明模拟测试软件的组成和实现和工作流程。     

共享合成Petri 网系统的活性保持性

讨论了能对资源共享问题进行建模的共享合成操作.重点研究共享合成Petri网系统的活性保持性,同时还讨论了在共享合成过程中系统的并发行为关系即并发语言关系.给出相应的语言关系式,它可用于判定合成系统的活性.进一步,给出了判定合成系统有活性的充分必要条件.最后,提出了合成系统保持子系统活性的条件.