搜索筛选:
搜索耗时4.5033秒,为你在为你在102,285,761篇论文里面共找到 28 篇相符的论文内容
发布年度:
[期刊论文] 作者：任龙涛,
来源：当代临床医刊 年份：2017
目的 观察射频联合臭氧微创治疗腰椎间盘突出症临床疗效。方法 选取2016年1月~2016年12月在我院治疗的腰椎间盘突出症患者60例为研究对象,将患者按照所采用的治疗方法分为甲...
[期刊论文] 作者：任龙涛,
来源：医药前沿 年份：2016
目的：对针灸、推拿治疗腰椎间盘突出症临床效果进行分析。方法：选取2015年在我院进行治疗的腰间盘突出症患者150例，随机分组，单纯组患者70例，进行药物治疗基础上给予腰间盘推拿治......
[期刊论文] 作者：任龙涛,
来源：心理医生 年份：2016
目的:对心理因素对颈肩疼痛患者的影响分析及对策进行分析.方法:选取2010年5月～ 2015年12月在我院进行颈肩疼痛治疗患者200例,随机进行分组,常规组患者100例,给予常规治疗措施...
[期刊论文] 作者：任龙涛,
来源：医药前沿 年份：2016
目的:对针灸、推拿治疗腰椎间盘突出症临床效果进行分析.方法:选取2015年在我院进行治疗的腰间盘突出症的患者150例,随机分组,单纯组患者70例,进行药物治疗基础上给予腰间盘...
[学位论文] 作者：任龙涛,
来源：哈尔滨工程大学 年份：2009
非线性、非平稳性信号在日常生活和工程应用中都起到了非常重要的作用,对其瞬时特征的分析也一直是个重点。传统的信号处理方法,对信号的瞬时特征分析一直都不完善。经验模态...
[学位论文] 作者：任龙涛,
来源：大连理工大学 年份：2018
...
[期刊论文] 作者：任龙涛,韩雪,
来源：内蒙古中医药 年份：2013
目的:观察地黄饮子加减配合针刺治疗脊髓型颈椎病的疗效。方法:采用地黄饮子加减配合针刺治疗本病76例。结果:有效率96.1%。结论:地黄饮子加减配合针刺对脊髓型颈椎病有较好...
[期刊论文] 作者：韩雪,任龙涛,
来源：大家健康（上旬版） 年份：2017
目的 :采用自己拟方补肾健脾方治疗肝硬化的临床疗效.方法 :将84例肝硬化患者随机分成两组,实验组42例给予采用口服自拟补肾健脾法组成的方剂,对照组为口服护肝片,观察两组治...
[期刊论文] 作者：任龙涛,彭双林,,
来源：中国水运 年份：2017
疏浚工程施工过程中，监控疏浚船舶的日报信息对于监控船舶施工进度，了解船舶施工状况有着重要作用，由于绞吸船在施工过程中疏浚土质和开挖位置相对稳定，日报统计资料易于结合影响......
[期刊论文] 作者：冯昌召,任龙涛,
来源：建材与装饰 年份：2004
吹填工程的施工过程中，对于技术实施及设备的应用都非常重要，管线布置在吹填工程中的应用非常广泛，管线布置的合适与否，直接影响着工程的施工质量与施工成本。...
[期刊论文] 作者：赵春晖,任龙涛,万建,,
来源：应用科技 年份：2009
图像融合是图像处理中的一个重要内容,常用的小波图像融合主要是基于像素级融合,这种方法容易失去局部特征相关性较强的特性,融合后会出现局部斑点现象.该文应用二维EMD方法在像素级也进行了讨论,并且针对EMD分解的特殊性,提出了一种用二维EMD(two-dimensional ......
[期刊论文] 作者：万建,任龙涛,赵春晖,,
来源：系统仿真学报 年份：2009
图像边缘特征提取是图像处理理论和应用研究的主要内容之一,传统的特征提取方法简单易行,但提取的图像精度不高。为此,提出了一种基于二维EMD及Riesz变换的双重复合图像边缘特征提取方法。首先通过二维EMD将图像分解成多层IMF分量,然后利用Riesz变换的局部"高保......
[期刊论文] 作者：任龙涛1，彭双林2,
来源：中国水运 年份：2017
摘 要：疏浚工程施工过程中，监控疏浚船舶的日报信息对于监控船舶施工进度，了解船舶施工状况有着重要作用，由于绞吸船在施工过程中疏浚土质和开挖位置相对稳定，日报统计资料易于结合影响绞吸船绞刀破土能力的土质条件因素以及影响泥泵输送能力的管线长度等因素，运用统......
[会议论文] 作者：崔凯;周宽久;王洁;林驰;任龙涛;,
来源：第七届信息安全漏洞分析与风险评估大会 年份：2014
随着嵌入式软件的可信验证在军事、航空航天、通信等领域研究的深入,如何可信验证成为了目前国内外的研究主要方向之一.本文采用基于有限状态机的正则表达式迁移覆盖测试验证...
[期刊论文] 作者：任龙涛,张超,崔磊,魏理豪,周宽久,
来源：计算机工程与设计 年份：2016
利用时间自动机对嵌入式系统进行建模是一种有效方式,但由于时间自动机引入时间维度,导致状态空间是无限的,增加了系统分析验证的难度,为此提出一种时间自动机压缩方法,即条...
[期刊论文] 作者：侯刚, 周宽久, 勇嘉伟, 任龙涛, 王小龙,,
来源：计算机科学 年份：2013
模型检测已成为保证软件系统正确性和可靠性的重要手段,但随着软件功能日益强大,其规模和复杂度也越来越大,在模型检测过程中容易产生状态爆炸问题。如何解决模型检测中的状...
[期刊论文] 作者：周宽久,常军旺,侯刚,任龙涛,王小龙,
来源：计算机科学 年份：2014
嵌入式系统为中断驱动系统,但中断触发的随机性和不确定性导致中断缺陷很难被追踪发现,并且一旦发生中断故障,往往会使整个嵌入式系统陷入崩溃.因此必须保证中断系统软件的可...
[期刊论文] 作者：周宽久,任龙涛,王小龙,勇嘉伟,侯刚,
来源：2013年全国理论计算机科学学术年会 年份：2013
状态迁移矩阵(State Transition Matrix,STM)是一种基于表结构的程序建模语言.事件变量类型单一,事件和状态数量的增加很容易造成状态空间爆炸问题,无法表达具有时间语义的软...
[会议论文] 作者：王小龙,勇嘉伟,任龙涛,侯刚,周宽久,
来源：2013全国高性能计算学术年会 年份：2013
模型验证作为一种形式化技术,已逐渐应用于软件系统可靠性验证.但对结构复杂的大规模软件的验证,由于状态空间爆炸往往会导致验证过程效率低甚至失败.本文针对ANSI-C软件程序...
[会议论文] 作者：王小龙,周宽久,勇嘉伟,任龙涛,侯刚,
来源：2013全国高性能计算学术年会 年份：2013
模型验证作为一种形式化技术,已逐渐应用于软件系统可靠性验证.但对结构复杂的大规模软件的验证,由于状态空间爆炸往往会导致验证过程效率低甚至失败.本文针对ANSI-C软件程序的性质(正确性)验证问题,提出一种基于程序骨架的模型验证加速方法.该方法首先根据性质......
相关搜索：
