一类泛圈图

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

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

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

图的直积和字典积的Laplacian谱和Kirchhoff指数

由图G1、G2的Laplacian谱得到了它们的直积G1×G2和字典积G1[G2]的Laplacian谱,并计算了R(G1×G2)和R(G1[G2]).     

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

高层体系结构（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),(?)