一类泛圈图

本文证明了如果G是2连通无爪图,G不是圈,n=|v(G)|>q,G的每个导出子图A都满足φ(a_1,a_2),且G中不存在W′作为其导出子图,则G是泛圈图。     

双溢流阀系统动态特性研究及故障仿真分析

分析了双溢流阀系统的工作过程,用功率健合图法建立了该系统的数学模型,并转换为状态方程,用Matlab/Simulink对双溢流阀系统进行了数字仿真,对双溢流阀卸荷和建压系统中位卸荷后,建立系统工作压力的过程进行了动态特性分析,仿真分析了故障原因,为液压静力压桩机液压系统的改进提供理论基础。     

联邦接口规范测试方法研究

高层体系结构（HLA：High Level Architecture)可以支持各种类型仿真之间的互操作，同时便于建模与仿真部件的可重用。开发HLA应用必须根据联邦开发与执行过程模型进行，其中联邦测试是FEDEP模型的重要组成部分，主要包括三级测试，即：一致性测试，集成测试，联邦测试。一致性测试主要包括接口规范测试，OMT测试，RTI测度等内容，本文对联邦接口规范测试的方法进行了研究，根据接口规范的测试标准，制定了测试顺序，给出了联邦接口规范的测试顺序，给出了联邦接口规范的测试顺序模型，使接口规范测试更加系统，清晰。     

关于Diophantus方程Cx~2+2~mD=y~p

设C>0,D>0且D无>1的平方因子。本文在虚二次域中考虑Diophantus方程(C,2D)=1,ρ奇素数(1)的解.设h(—CD)是的理想类数,我们有 定理1 设CD(?)3(mod8),(?)     

4－连通无爪图中的Hamilton圈

Ｍａｔｔｈｅｗｓ等猜想：每一个４－连通无爪图是Ｈ－图．本文证实当Ｇ不含局部连通点及３团时该猜想成立．