一类泛圈图

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

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

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

重庆高交会:西部科技与市场融合的"快车道"

由科学技术部、国防科工委、中国科学院、中国发明协会和重庆市人民政府共同主办的第五届中国重庆高新技术成果交易会于2003年11月15日至19日在重庆隆重举办.     

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

高层体系结构（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圈

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