对图G(V,E),μ(G)称为G的Mycielski图,V(μ(G))=V(G)∪{v′|v∈V(G)}∪{w},且w V(G),而E(μ(G))=E(G)∪{uv′|u∈V(G),v′∈V′,......

为探测某综合管廊基坑施工对邻近公路路基的影响,保证基坑施工和邻近公路的运营安全,经比选确定使用SSP地震散射技术进行探测;通过......

目的:探讨食管癌和癌旁组织磷酸化酪氨酸蛋白的变化.方法:17例食管癌切除标本,采用组织病理学和Western印迹技术研究食管癌和癌旁......

应用李亚普诺夫理论设计了变刚度变阻尼的半主动控制律;建立了带可控阻尼器的毗邻结构半主动控制的理论算法;基于本文理论与方法对......

背景:Dynesys动态稳定系统是非融合技术最常见的手术方式之一,短期临床疗效满意,但长期疗效鲜有报道。目的:探讨Dynesys非融合技术......

机器定理证明是人工智能的重要分支学科之一.定理的机器证明已经达到了相当成熟的水平,但有关利用图论方法进行定理的机器证明还不......

利用NMSK（N重最小频移键控）的旁瓣快速衰减特性，提出了一种新型OFDM—NMSK编码调制体系用于降低OFDM认知无线电系统的带外干扰。该方......

根据计算机取证的特殊要求,给出了一个文件碎片提取恢复的过程模型,并详细描述了图片碎片重组问题。针对目前最优重组算法中的关键......

瑞雷面波法是近几年应用于工程地质勘察中的一种有效勘察方法。本文中首先采用频率空间域τ-P变换来提取瑞雷面波，它能有效压制假频......

无向图最大团求解是一个著名的NP-完全问题,解决该问题的经典算法基本上都采用完全精确搜索策略。鉴于NP-完全问题本身所固有的复......

研究不作速度分析,仅用三心定理无法求解的速度瞬心问题.用射影几何理论阐明有关定式求解的正确性及方法,讨论定式的有效性及组合......