期刊文献+
共找到13篇文章
< 1 >
每页显示 20 50 100
基于断言语言SVA的设计验证方法 被引量:3
1
作者 查欣 《现代电子技术》 2010年第10期5-7,14,共4页
基于断言SVA的验证是一种有价值的主流验证技术。断言特别适合于描述时序特性和因果特性。作为Sys-tem Verilog的重要组成部分,SVA提供了丰富的断言指令,能有效地提高验证测试工作的质量和效率。在此,首先介绍断言验证语言SVA,通过与Ver... 基于断言SVA的验证是一种有价值的主流验证技术。断言特别适合于描述时序特性和因果特性。作为Sys-tem Verilog的重要组成部分,SVA提供了丰富的断言指令,能有效地提高验证测试工作的质量和效率。在此,首先介绍断言验证语言SVA,通过与Verilog验证对比,说明SVA在时序特性和因果特性验证上的优势,证明基于断言的验证是SoC设计验证的一种有效方法,能够有效地提高验证效率。 展开更多
关键词 验证方法 sva 时序特性 因果特性
在线阅读 下载PDF
水利水电工程防渗排水系统优化设计方法 被引量:1
2
作者 程涛 《水利科技与经济》 2025年第7期8-13,共6页
为了提高防渗排水效率,研究以天津市于桥水库为例,结合防渗帷幕灌浆和排水孔设计,构思一种防渗排水系统优化设计方法。结果表明,综合考虑地质条件的复杂性以及渗控效应和建设成本,当防渗帷幕灌浆孔排数设计为2排、排水孔孔距为4.5m时,... 为了提高防渗排水效率,研究以天津市于桥水库为例,结合防渗帷幕灌浆和排水孔设计,构思一种防渗排水系统优化设计方法。结果表明,综合考虑地质条件的复杂性以及渗控效应和建设成本,当防渗帷幕灌浆孔排数设计为2排、排水孔孔距为4.5m时,渗漏控制的效果最好。该方法在保证防渗排水效果提升的同时,还能提高工程的安全性和可靠性。研究结果可为相同规模的水利工程防渗排水系统优化设计提供一种新的方法和思路。 展开更多
关键词 防渗排水 sva 反演分析 优化设计 于桥水库
在线阅读 下载PDF
A型塞内卡病毒和水泡性口炎病毒多重纳米PCR方法的建立及初步应用
3
作者 李晓君 兰云刚 +7 位作者 赵越 李思锐 尚丽元 呼延含蓉 宋斯伟 贺文琦 高飞 王改丽 《中国兽医学报》 北大核心 2025年第5期934-939,970,共7页
由于A型塞内卡病毒(SVA)、水泡性口炎病毒(VSV)新泽西血清型(VSNJV)和印第安纳血清型(VSIV)均可感染猪群,引起口唇及蹄部水疱性损伤,且临床症状相似,易造成误诊。因此,本研究根据SVA-P基因、VSNJV-N基因、VSIV-N基因的保守区分别设计了... 由于A型塞内卡病毒(SVA)、水泡性口炎病毒(VSV)新泽西血清型(VSNJV)和印第安纳血清型(VSIV)均可感染猪群,引起口唇及蹄部水疱性损伤,且临床症状相似,易造成误诊。因此,本研究根据SVA-P基因、VSNJV-N基因、VSIV-N基因的保守区分别设计了3对特异性引物,优化了退火温度、引物浓度及反应体系;并利用纳米金材料,建立了一种能同时检测SVA、VSNJV和VSIV的新型、快速、灵敏的多重纳米PCR检测方法。特异性试验结果表明,该检测方法可特异性扩增SVA、VSNJV和VSIV目的基因,且与猪伪狂犬病毒(PRV)、非洲猪瘟病毒(ASFV)、猪圆环病毒Ⅱ型(PCV2)和猪血凝性脑脊髓炎病毒(PHEV)均无交叉反应性。敏感性试验结果显示,该检测方法的最低核酸检测限为10拷贝/μL,敏感性较好。此外,最优引物比对不同批次的酶和质粒反应性良好,稳定性强。应用该方法对50份病猪样品进行检测,检出SVA阳性样品7份,普通单一PCR方法检出SVA阳性样品5份;2种检测方法均未检出VSNJV和VSIV阳性。结果表明,本研究建立的多重纳米PCR方法在检测SVA、VSNJV和VSIV方面具有更高的特异性和敏感性,可为猪病毒性水疱性疾病的快速鉴别诊断及防控提供技术支持。 展开更多
关键词 A型塞内卡病毒 水泡性口炎病毒 多重纳米PCR方法
原文传递
大型水电工程渗流分析的若干关键问题研究 被引量:46
4
作者 陈益峰 周创兵 +2 位作者 胡冉 李典庆 荣冠 《岩土工程学报》 EI CAS CSCD 北大核心 2010年第9期1448-1454,共7页
渗流控制是大型水电工程建设面临的关键技术问题之一,渗流分析是实现渗控优化设计的重要途径。解释了渗流控制的过程、状态、参数和边界等4类物理控制机制,论证了基于Signorini型变分不等式的渗流分析方法的有效性和优越性,并阐述了排... 渗流控制是大型水电工程建设面临的关键技术问题之一,渗流分析是实现渗控优化设计的重要途径。解释了渗流控制的过程、状态、参数和边界等4类物理控制机制,论证了基于Signorini型变分不等式的渗流分析方法的有效性和优越性,并阐述了排水孔幕数值模拟的SVA方法、初始渗流场的反馈分析方法以及岩土体渗流的强耦合机理和模拟方法。研究成果对大型水电工程渗流分析及渗控优化设计具有指导意义。 展开更多
关键词 Signorini型变分不等式 渗流分析 渗流控制 sva方法 水力耦合
原文传递
卡拉水电站坝区渗流控制效应精细模拟与评价 被引量:7
5
作者 郑华康 张枫 +2 位作者 李毅 陈益峰 周创兵 《岩土力学》 EI CAS CSCD 北大核心 2012年第9期2743-2748,共6页
卡拉水电站坝址区河谷狭窄,岸坡陡峻,地质条件复杂,渗漏问题突出。为减小卡拉坝区渗漏并改善大坝的渗透稳定性,工程设计采取防渗帷幕、排水孔幕和排水洞等防渗排水措施。采用子结构、变分不等式和自适应罚函数相结合的方法(简称SVA方法)... 卡拉水电站坝址区河谷狭窄,岸坡陡峻,地质条件复杂,渗漏问题突出。为减小卡拉坝区渗漏并改善大坝的渗透稳定性,工程设计采取防渗帷幕、排水孔幕和排水洞等防渗排水措施。采用子结构、变分不等式和自适应罚函数相结合的方法(简称SVA方法),结合典型溢流坝段与坝区整体渗流场分析成果,评价卡拉大坝及坝基渗流控制方案的合理性,并论证其优化的可能性。研究表明:①防渗帷幕有效雍高了帷幕上游侧岩体内的地下水位、增加了绕坝渗流的渗径长度并降低了坝基的扬压力,排水系统则显著降低了坝体内的孔隙水压力以及坝基扬压力;②排水孔幕间距对坝体内的自由面分布有着显著影响,排水孔幕间距取3.0~4.5 m是合适的。 展开更多
关键词 卡拉水电站 渗流控制 sva方法 数值模拟
原文传递
地下厂房围岩渗控效应精细模拟与评价 被引量:6
6
作者 郑华康 陈益峰 +2 位作者 洪佳敏 周嵩 周创兵 《天津大学学报(自然科学与工程技术版)》 EI CAS CSCD 北大核心 2014年第9期823-828,共6页
我国西南地区河谷深切,坝址区地貌及地质条件复杂,地下厂房的位置往往离库区较近,水库蓄水后,地下厂房围岩渗流特性将成为影响工程安全和正常运行的重要因素之一.为减小厂区渗漏并改善厂房围岩的渗透稳定性,工程设计采取防渗帷幕、排水... 我国西南地区河谷深切,坝址区地貌及地质条件复杂,地下厂房的位置往往离库区较近,水库蓄水后,地下厂房围岩渗流特性将成为影响工程安全和正常运行的重要因素之一.为减小厂区渗漏并改善厂房围岩的渗透稳定性,工程设计采取防渗帷幕、排水孔幕和排水廊道等渗流控制措施.采用子结构、变分不等式和自适应罚函数相结合的方法(简称SVA方法),开展了牙根二级水电站厂区整体三维渗流场分析,评价了厂区围岩渗流控制方案的合理性,并论证其优化的可能性.研究结果表明:厂区防渗排水系统的渗流控制效果显著,防渗排水系统设计方案总体上是合理、有效的;厂区上部排水系统对于以库水渗漏为主的渗流控制不起作用,高高程排水孔幕的间距可适当放宽;厂区副排水孔幕对减少厂区各洞室渗漏量、降低厂区围岩孔隙水压力并改善围岩的稳定性具有显著作用. 展开更多
关键词 地下厂房 渗流控制 排水孔幕 sva方法 精细模拟 牙根二级水电站
在线阅读 下载PDF
孟底沟水电站厂坝区三维渗流场分析及渗控效果评价 被引量:2
7
作者 唐少龙 王敏 +2 位作者 彭佩 陈东斌 刘明明 《水电能源科学》 北大核心 2016年第7期70-73,15,共5页
为合理评价孟底沟水电站渗控措施的渗控效果,针对孟底沟水电站坝址区复杂的地质条件和渗控措施,建立了厂坝区整体三维渗流有限元模型,采用排水子结构、变分不等式及自适应罚函数相结合的方法(SVA方法)研究了孟底沟厂坝区渗流特性。结果... 为合理评价孟底沟水电站渗控措施的渗控效果,针对孟底沟水电站坝址区复杂的地质条件和渗控措施,建立了厂坝区整体三维渗流有限元模型,采用排水子结构、变分不等式及自适应罚函数相结合的方法(SVA方法)研究了孟底沟厂坝区渗流特性。结果表明,现有的防渗排水系统有效降低了厂坝区地下水位,厂坝区渗漏量在渗控系统作用下得到了有效控制。研究结果可为该水电站后期运行及抽排系统设计提供依据,也可为西南高山峡谷地区类似工程提供参考。 展开更多
关键词 孟底沟水电站 厂坝区 sva方法 渗控措施 渗流分析
原文传递
基于透射测量X射线谱的重建方法 被引量:1
8
作者 林桂粉 罗立民 《数据采集与处理》 CSCD 北大核心 2008年第1期75-79,共5页
对透射测量X射线谱两种重建方法进行评估。医用直线加速器产生的最大能量为10MeV X射线谱,用蒙特卡罗方法(Montecarlo,MC)模拟得到的值作为基准X射线谱,代入矩阵系统AF=T得到的穿透系数T,由穿透系数T分别应用谱向量代数法(Spectr... 对透射测量X射线谱两种重建方法进行评估。医用直线加速器产生的最大能量为10MeV X射线谱,用蒙特卡罗方法(Montecarlo,MC)模拟得到的值作为基准X射线谱,代入矩阵系统AF=T得到的穿透系数T,由穿透系数T分别应用谱向量代数法(Spectra vectorial algebra,SVA)与双共轭梯度法(Biconjugate gradients,BiCG)来解矩阵系统AF=T,得到重建后的该X射线谱-↑F0与基准X射线谱F相比较,BiCG法比SVA法重建后的X射线谱声更加接近F,且T引入白高斯噪声项,以模拟穿透系数的测量误差,这一结果依然成立。当信噪比SNR高于90dB时,BiCG法比SVA法重建的X射线谱结果更理想。 展开更多
关键词 X射线谱的重建 蒙特卡罗方法 谱向量代数法 双共轭梯度法
暂未订购
降低调频步进信号副瓣的方法研究 被引量:4
9
作者 李海滨 张云华 《现代雷达》 CSCD 北大核心 2006年第4期45-49,共5页
调频步进信号是高空间分辨率雷达常用的宽带雷达信号,该信号综合了线性调频信号和频率步进信号的特点,其步进值Δf和脉冲宽度Tp的乘积可以远远大于1。但该信号进行压缩后具有大的副瓣(包括旁瓣和栅瓣)。有可能导致掩盖小的目标或者被误... 调频步进信号是高空间分辨率雷达常用的宽带雷达信号,该信号综合了线性调频信号和频率步进信号的特点,其步进值Δf和脉冲宽度Tp的乘积可以远远大于1。但该信号进行压缩后具有大的副瓣(包括旁瓣和栅瓣)。有可能导致掩盖小的目标或者被误认为目标,因此必须对其减小。文中对线性加窗、非线性加窗以及非线性步进频率等多种降低调频步进信号副瓣的方法进行了研究;并还提出了按正切函数步进的非线性步进调频信号模型,相比于线性步进调频信号具有更低的副瓣。 展开更多
关键词 调频步进信号 子孔径方法 匹配滤波 双重副瓣压缩 空间变量副瓣压缩 非线性步进信号
在线阅读 下载PDF
基于双共轭梯度法医用加速器轫致辐射谱的重建
10
作者 林桂粉 罗立民 《核技术》 EI CAS CSCD 北大核心 2007年第8期694-698,共5页
本文应用双共轭梯度(BiConjugate Gradients,BiCG)法对4MV、10MV和15MV医用加速器的轫致辐射谱进行重建。以蒙特卡罗(MC)法的模拟结果为理论值,将BiCG法与Francois的谱向量代数(Spectral Vectorial Aalgebra,SVA)法的重建结果进行的比... 本文应用双共轭梯度(BiConjugate Gradients,BiCG)法对4MV、10MV和15MV医用加速器的轫致辐射谱进行重建。以蒙特卡罗(MC)法的模拟结果为理论值,将BiCG法与Francois的谱向量代数(Spectral Vectorial Aalgebra,SVA)法的重建结果进行的比较表明,在透射系数未引入测量误差或测量得到的信噪比(SNR)较高时,在4—15MeV能量范围内,BiCG法比SVA法重建后的轫致辐射谱更加接近理论值;随着信噪比SNR的下降,BiCG法重建后的轫致辐射谱出现不稳定现象,而SVA法重建的结果则比较稳定。 展开更多
关键词 轫致辐射谱重建 谱向量代数法 双共轭梯度法
暂未订购
A型塞尼卡病毒检测方法及疫苗研究进展 被引量:8
11
作者 王迁迁 于永乐 +3 位作者 李月华 董雅琴 尼博 刘拂晓 《中国畜牧兽医》 CAS 北大核心 2022年第6期2336-2346,共11页
A型塞尼卡病毒(Senecavirus A,SVA)也称为塞尼卡谷病毒(Seneca Valley virus,SVV),属于小RNA病毒科塞尼卡病毒属成员。SVA主要引起猪的水泡性疾病,与口蹄疫、水泡性口炎、猪水泡病等临床症状相似,可导致新生仔猪急性死亡,严重影响养猪... A型塞尼卡病毒(Senecavirus A,SVA)也称为塞尼卡谷病毒(Seneca Valley virus,SVV),属于小RNA病毒科塞尼卡病毒属成员。SVA主要引起猪的水泡性疾病,与口蹄疫、水泡性口炎、猪水泡病等临床症状相似,可导致新生仔猪急性死亡,严重影响养猪业发展。自2015年广东省发生SVA感染以来,中国多省份陆续有该病发生的报道。当前,中国因猪群缺乏针对SVA的免疫屏障,加之该病传染性较强,存在大范围暴发的潜在风险。如何有效防控SVA感染是迫切需要解决的问题。目前已开发出多种SVA诊断方法用于进行实验室及现场条件下早期的鉴别诊断。SVA的分离鉴定、原位杂交和免疫组化可用于检测病原体的存在及其与组织内形态学变化关系;血清学诊断方法包括基于不同结构蛋白的间接ELISA方法、竞争ELISA方法、均相光激化学发光免疫技术和病毒中和试验,用免疫学方法检测抗体有助于了解SVA感染进程,是临床诊断的主要手段;病毒核酸检测方法主要有PCR技术、等温扩增技术、基因组测序等分子生物学技术,在病毒感染的早期快速检测及检测新发病毒中具有重要作用。目前仍无商品化疫苗预防SVA感染,但科研人员已研发出了灭活疫苗、弱毒疫苗、核酸疫苗和亚单位疫苗等多种具有潜力的候选疫苗。笔者系统总结了SVA检测方法及疫苗研发的最新进展,以期为SVA感染的防控提供参考依据。 展开更多
关键词 A型塞尼卡病毒(sva) 检测方法 疫苗
在线阅读 下载PDF
牙根二级水电站坝区渗流场分析与渗控效应评价 被引量:1
12
作者 唐文嘉 王敏 +2 位作者 郑华康 洪佳敏 李毅 《中国农村水利水电》 北大核心 2015年第5期124-128,共5页
牙根二级水电站坝址区河谷狭窄,岸坡陡峻,地质条件复杂。水库蓄水后,坝体、坝基及两岸绕坝渗流将成为影响工程安全和正常运行的重要因素之一。综合分析地形地貌、地质构造以及防渗排水方案的特点,建立坝区三维有限元模型,采用子结构、... 牙根二级水电站坝址区河谷狭窄,岸坡陡峻,地质条件复杂。水库蓄水后,坝体、坝基及两岸绕坝渗流将成为影响工程安全和正常运行的重要因素之一。综合分析地形地貌、地质构造以及防渗排水方案的特点,建立坝区三维有限元模型,采用子结构、变分不等式和自适应罚函数相结合的方法(简称SVA方法),结合典型挡水坝段与坝区整体渗流场分析成果,研究了坝区渗流场分布特征,分析了排水孔幕间距以及碾压混凝土层间渗透性对渗流场的影响,并对防渗排水措施的渗流控制效率进行了评价,从而为工程建设提供合理的建议。研究表明,坝区渗流控制措施布置合理,防渗排水效果显著;排水孔幕的布置对坝基扬压力起控制性作用;碾压混凝土渗流特性的各向异性对大坝渗流自由面的性态有显著影响。 展开更多
关键词 牙根二级水电站 渗流控制 sva方法 数值模拟
在线阅读 下载PDF
基于创新性的代表作筛选方法
13
作者 孙劲楠 丁佐奇 《高等药学教育研究》 2022年第4期54-63,共10页
目的在“双一流”建设、“破五唯”和代表作评价的大背景下,需要帮助科研人员选取其最具创新性的代表性研究成果。方法采用SVA法筛选了C高校药物化学领域24位教授的共计46篇科研论文,分析了其被引量、影响因子、期刊分区、作者数等情况... 目的在“双一流”建设、“破五唯”和代表作评价的大背景下,需要帮助科研人员选取其最具创新性的代表性研究成果。方法采用SVA法筛选了C高校药物化学领域24位教授的共计46篇科研论文,分析了其被引量、影响因子、期刊分区、作者数等情况。结果46篇代表作被引量均值为27.30,影响因子大部分位于5~10(47.8%),有23篇文章发表于近五年。并且被引量和影响因子在性别和年龄组间不存在显著性差异,作者人数同被引量与影响因子间不存在显著相关性。结论SVA法能够较为有效地筛选出创新性成果。建议科研评价工作重视成果的创新性、鉴别高效率的科研合作、避免性别和资历的评价导向。 展开更多
关键词 代表作筛选 创新性研究成果 sva 性别 资历
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部