一类泛圈图

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

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

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

某库岸滑坡稳定分析及治理措施研究

从地质条件出发,详细分析了滑坡的成因,以大型的岩土工程数值分析软件(ADINA)为研究手段,建立有限元计算模型,用强度折减的方法分析了滑坡体在初始工况、蓄水工况、暴雨工况、水位骤降工况和地震工况下的稳定情况,根据滑坡的失稳情况,在综合考虑的基础上,提出了削坡减载和地表排水相结合的治理措施,计算结果表明,治理措施是可行的,研究结果对设计和施工具有较大的参考价值.     

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

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