验证效果范文（精选10篇）
验证效果 第1篇
2016年7月16日上午,董老师正在给山西省老学员小孔学习汽油试车验证效果,一个操着广东口音的老人走进办公室,忙问:“这是董老师家吗?”。70岁的董老师上前同他握手说:“是,你请坐”,这位老人看到办公室墙上挂满了资质证书、荣誉证书及众多搞成功的学员赠送的锦旗说:“你了不起啊,你真是一位能源专家,我是广东惠州的老吴,今年65岁,这次是来拜师的,这几年我已跑三家学习液体燃料和生物醇油技术,但效果都不好。一是成本高,二是热值低不耐烧,三是有刺眼辣味不环保,四是经常堵嘴火苗喘气”。老学员小孔忙说:“老吴呀你和我一样,五年前我跑了几家学习技术,效果就是不好,2011年我才来到董老师这里学习效果真好,2014年又来学习最新配方效果更好,它成本低、热值高耐烧(比在别的地方学习的老配方节能30%左右),火力极强,不用风机、不堵嘴、不喘气,绝对无烟无味环保节能”。老吴一听他已学过忙问:“小同志,你是哪里的,你学过干的怎么样?”,小孔忙回答:“我是山西的小孔,我在这学习后,先买了几个灶放在几个饭店、学校、农户,用我配的液体煤气免费给他试验二天,叫他们自已当场试验比烧煤、液化气、天然气、柴油便宜节能多少,他们亲眼看到这真实效果都争着要用,就这样一传十,十传百,县城几十家饭店、学校和很多农户都争着用我的产品,每天都有多家打电话叫我送货,我一天到晚也忙个不停,当然也给我带来了巨大的财富,我现在成功了又想扩大规模,又来学习汽油、柴油技术的”,老吴听了小孔搞成功获利后心理踏实多了,决心学习液体煤气新配方和气体液化气技术,董老师考虑他年龄大又跑了几家学习花了不少钱,所以给他优惠价。老吴学习回家七天后打来电话说:“董老师,我回家第四天就搞成功了,液体煤气成本10公斤16元/每瓶,我以每瓶35元批发,气体液化气成本10公斤30元/每瓶,我以每瓶55元批发,都低于市场价,这里饭店、学校、农户都争着用,你的配方比在别的地方学习效果好的多利润大。
好项目14年经得起考验
贵州的蒋先生因承包工地、开山修公路,汽车、柴油车较多一心想学习汽油柴油技术,连续9年咨询怕上当,今年又咨询,董老师细心给他说:“我说我的项目有多真实有多好,你可能说我讲假话,你考虑一下,我们项目14年来,电话号码、手机号、办公地点从来没变,不真实我们能干十几年吗?另外我们的项目已在全国30多家杂志、报纸报导14年了,你无论看到哪一家杂志、报纸,你可打电话到杂志社、报社咨询一下,这14年来,我单位技术怎么样,信誉怎么样,有无投诉我单位的,我敢承诺:如说有投诉我单位的可奖励你2万元”。细心的蒋先生每年都向多家杂志社询问灵璧清大有无投诉的,杂志社同志都如实回答说:“多年来确实还没有投诉的,尤其《现代营销》、《创富指南》、《大众创业》等杂志说:“多年来不但没有投诉的,而且一直被广大读者评为“重承诺、守信誉诚信企业”,蒋先生听了心里很踏实,他下决心学习汽油、柴油技术,由于他工地事情烦忙,不能参加面授,董老师又以优惠价给他函授,在配制中又多次咨询董老师,不到半个月蒋先生打电话说:“董老师在你的多次指导下,柴油的五个配方,我已搞成三个配方,汽油七个配方全部搞成,可配制各种型号的柴油和汽油,颜色、味道、耗油量、动力和市场汽、柴油一样,我在工地上的汽车、柴油车、挖掘机反复试验效果很好,每吨利润2500元左右,太感谢你了”。
记者总结:灵璧清大新能源项目已在我杂志多年报道,是最受读者关注的诚信企业,创造14年来无一例投诉的良好口碑,由能源专家专利发明人董老师亲自传技,严格区域保护。凡在别处学习生物醇油燃料技术配方推广效果差效益低的,来贵单位保证全能解决。
单位:安徽省宿州市灵璧县清大新能源技术开发服务部(科委宿舍院内)
项目咨询:18955767919
传真/电话:0557-6032829
验证效果 第2篇
样品按原方法测定含量
1、酸降解试验
称取样品0.8 g于100ml容量瓶中，加0.1N的盐酸2ml溶解，分别称取6份，再每隔4小时加稀释剂定容超声溶解，检测含量。考察是否降解。
2、碱降解试验
称取样品0.8 g于100ml容量瓶中，加0.1N的氢氧化钠2ml溶解，分别称取6份，再每隔4小时加稀释剂定容超声溶解，检测含量。考察是否降解。
3、氧化降解试验
称取样品0.8 g于100ml容量瓶中，加5%的双氧水2ml溶解，分别称取6份，再每隔4小时加稀释剂定容超声溶解，检测含量。考察是否降解。
以上样品称量前将样品磨细
4、高温降价
将考察样品50g存放在80℃烘箱中考察5-10天，每天取出检测1次。
5、高湿降价
将考察样品50g存放在相对湿度92.5%，25℃（取干燥器，放入硝酸钾饱和溶液），考察5-10天，每天取出检测1次。
6、光降解试验
将考察样品50g存放一百二十万勒克斯（Lx）×小时的冷白荧光灯照射，考察5-10天，每天取出检测1次。
验证效果 第3篇
关键词：菊芋；提取物；辣椒；疫霉菌；抑菌效果；石油醚；乙酸乙酯
中图分类号： S482.2+92文献标志码： A文章编号：1002-1302（2015）01-0139-02
收稿日期：2014-04-02
基金项目：国家现代农业产业技术体系建设专项（编号：CARS-25-G-49）。
作者简介：李屹（1973—），女，河南巩义人，研究员，主要从事蔬菜病虫害防治。Tel：（0971）5311167；E-mail：ly525414@sina.com。辣椒疫病是由辣椒疫霉菌（Phytophthora capsici）侵染引起的一种毁灭性真菌性病害，于1918年在美国首次被发现，迄今已在世界各地的辣椒种植区普遍发生[1]。在20世纪50年代，我国最早在江苏发现辣椒疫病，目前该病已危及我国的青海、新疆、上海、北京、陕西、贵州、四川等许多地区[2-8]，并呈逐年加重趋势，给辣椒生产造成严重损失，是辣椒的主要病害之一。辣椒疫病是一种土传病害，可经雨水、土壤、气流等多种途径传播，发病时可造成茎秆坏死、叶片枯萎、果实腐烂，甚至整株萎蔫死亡，从而导致田间大面积出现死秧[9]。利用化学药剂防治辣椒疫病效果甚微，且容易造成环境污染，开发无害、高效的新型生物农药是当前病害防治的发展方向。本试验采用石油醚、氯仿、乙酸乙酯、丙酮及乙醇共5种溶剂，对菊芋叶片的有效成分进行提取，对提取物进行辣椒疫霉菌抑菌效果试验，确定最佳溶剂，并开展辣椒盆栽验证试验，为利用菊芋开发高效、安全的新型无公害植物源农药奠定基础。
1材料与方法
1.1菊芋叶片不同溶剂提取物对辣椒疫霉菌的室内抑菌效果
1.1.1供试样品供试植物为菊芋，种植于青海大学农林科学院，鲜叶于秋季霜前采集，室内自然阴干，用粉碎机粉碎制成植物干粉，密封于塑料袋中备用。
1.1.2培养基与试剂真菌培养基为 PDA 培养基；石油醚、氯仿、乙酸乙酯、丙酮及乙醇等生化试剂均为分析纯，市购。
1.1.3供试菌种辣椒疫霉菌菌种由青海省蔬菜遗传与生理重点实验室提供，将菌株接种于PDA液体培养基中进行活化，25 ℃培养2～3 d；活化菌株转接到PDA固体平板上，25 ℃ 培养2～5 d，至菌丝覆盖整个平板。
1.1.4菊芋叶片不同提取物的制备5种溶剂提取物提取方法分别为：分别称取菊芋叶片干粉材料2、1.2、2.4、2、3 kg，分别加入乙醇10 L、氯仿6 L、乙酸乙酯12 L、丙酮10 L、石油醚15 L，浸提2次，浸提2 d；合并2次浸提液，减压浓缩，分别得到菊芋叶片乙醇、氯仿、乙酸乙酯、丙酮和石油醚粗提物。
1.1.5菊芋叶片提取物的抑菌活性测定将各粗提物配制成一定浓度；一方面分别取一定量各溶剂提取物加入到温度40 ℃左右、已熔化的PDA固体培养基中，摇匀，倒入灭菌培养皿中，使菊芋叶片提取物在PDA培养基中终浓度为 12.5 mg/mL，以添加相对应的有机溶剂为对照，另一方面使各菊芋叶片提取物在PDA培养基中的终浓度分别为25、20、15、12.5、10、7.5、5、2.5 mg/mL；待培养基凝固，于中央接入直径为9 mm 的辣椒疫霉菌菌块，于25 ℃培养72 h，“十”字交叉法测量菌落直径，计算菌落纯生长量和抑菌率：纯生长量=菌落平均直径-菌饼直径；抑菌率=（对照纯生长量-处理纯生长量）/对照纯生长量×100%。
1.1.6数据分析数据用Excel和DPS软件进行分析处理。
1.2盆栽验证试验
1.2.1供试材料供试辣椒品种为乐都长辣椒；供试试剂为菊芋叶片乙酸乙酯粗提物和25%甲霜灵可湿性粉剂。
1.2.2试验方法辣椒采用盆栽，每盆栽种辣椒3株，在辣椒8～10叶期处理；试验设菊芋叶片粗提物50倍液、25%甲霜灵可湿性粉剂 400倍液、清水处理为空白对照共3个处理，采用灌根方式，沿每株辣椒根部灌入10 mL试剂或清水；24 h后使用注射器吸取游动疫霉菌孢子浓度为1×104个/mL 的悬浮液5 mL，注入离辣椒幼苗根茎约2 cm处，保持土壤湿度饱和、温度为25 ℃左右。每个处理重复3次，每次重复用辣椒5盆。孢子悬浮液制备方法为：将在CN培养基上培养的疫霉菌单孢纯化菌株，于28 ℃条件下连续光照培养5～7 d以形成大量孢子囊；挑取产生孢子囊的菌丝块放入试管中，加入无菌水20 mL，放入4 ℃冰箱中预冷1 h，移至室温20 min，振荡即得游动孢子悬浮液，用无菌水进行稀释调节。
1.2.3调查内容及统计方法分别于施药后7、14、21 d调查发病情况，统计发病率、病情指数及防治效果，计算公式：发病率=发病株数/调查总株数×100%。病情指数DI：DI=∑（s×n）/（N×5）×100%，式中，s为各病情级别的代表数值；n为各病情级别的植株数；N为调查总植株数。防治效果=（对照区病情指数-防治区病情指数）/防治区病情指数×100%。病害分级标准为：0级：无病；1级：幼苗根茎部轻微变黑，叶片不萎蔫或可恢复性萎蔫；2级：幼苗根茎部变黑1～2 cm，叶片不可恢复性萎蔫，下部叶片偶有脱落；3级：幼苗根茎部变黑超过2 cm，叶片明显萎蔫或落叶明显；4级：幼苗根部变黑缢缩，除生长点外全部落叶或整株萎蔫；5级：植株枯死。
nlc202309021101
2结果与分析
2.1菊芋叶片不同溶剂提取物对辣椒疫霉菌的抑菌效果
由表1可知，菊芋叶片各溶剂提取物12.5 mg/mL处理，辣椒疫霉菌的菌丝纯生长量与对照处理相比，均存在显著差异，各溶剂提取物对真菌生长均起到一定的抑制作用；石油醚、乙酸乙酯提取物对辣椒疫霉菌的抑制效果最好，抑菌率达到100.00%，显著高于其他提取物处理；丙酮提取物次之，抑菌率为（27.51%±2.823）%；乙醇提取物对疫霉菌抑菌效果相对最差，抑菌率仅为（3.99±1.009）%。
表1菊芋叶片不同溶剂提取物12.5 mg/mL对辣椒疫霉菌的抑菌效果
溶剂纯生长量（cm）菊芋叶片提取物仅溶剂（对照）抑菌率
（%）石油醚0±0e1.35±0.089100.00±0a乙酸乙酯0±0e5.20±0.347100.00±0a氯仿13.92±0.454c17.20±0.32719.10±1.282c丙酮5.25±0.278d7.24±0.10627.51±2.823b乙醇32.22±0.202b33.56±0.5443.99±1.009d空白对照45.20±0.700a注：同列数据后不同小写字母表示处理间差异显著（P<0.05）。
由表2可知，乙酸乙酯提取物对辣椒疫霉菌的抑菌效果最为显著，当浓度为5 mg/mL时，抑菌率达100.00%，当浓度降到2.5 mg/mL时，抑菌率为（27.91±2.076）%；石油醚提取物的抑菌效果次之，浓度为7.5 mg/mL时，抑菌率达10000%，当浓度逐渐降低时，抑菌率也显著降低；氯仿提取物和丙酮提取物在2.5～10 mg/mL时的抑菌效果相差不大，浓度大于10 mg/mL时，丙酮提取物的抑菌效果增加程度明显大于氯仿，在20 mg/mL时，丙酮提取物的抑菌率达10000%，氯仿提取物在25 mg/mL时抑菌率才达到100.00%；乙醇提取物的抑菌效果最差，浓度小于10 mg/mL几乎没有抑菌效果，当浓度大于12.5 mg/mL时，抑菌率随浓度的增加而增大，当浓度为 25 mg/mL 时，抑菌率为（72.43±0.472）%。表2不同溶剂
2.2菊芋叶片提取物防治辣椒疫病盆栽验证试验
由表3可知，施药后7 d，菊芋叶片粗提物50倍液及25%甲霜灵可湿性粉剂 400倍液2个处理均未发病，清水对照发病率达17.78%、病情指数达4.00%；施药后14 d，菊芋叶片粗提物50倍液处理的辣椒未发病，25%甲霜灵可湿性粉剂 400倍液处理的辣椒发病率为8.89%、病情指数为178%，清水对照发病率达37.78%、病情指数达14.67%；施药后 21 d，菊芋叶片粗提物50倍液处理的辣椒仍未发病，25%甲霜灵可湿性粉剂 400倍液处理的辣椒发病率为13.33%、病情指数为4.89%，病情发展较为缓慢，清水对照发病率达到57.78%、病情指数达到35.11%。菊芋叶片提取物50倍液处理的辣椒全程无疫病发生，对辣椒疫病有较好的防治效果。表3菊芋叶片提取物对辣椒疫病的防治效果
3结论与讨论
试验结果表明，菊芋叶片不同提取物对辣椒疫霉菌均具有抑菌效果，溶剂提取物浓度为12.5 mg/mL时，石油醚和乙酸乙酯提取物对辣椒疫霉菌的抑菌率达到100.00%，显著高于其他提取物；乙酸乙酯提取物的抑菌效果最为显著，当浓度为5 mg/mL时，抑菌率达到100.00%， 浓度降到2.5 mg/mL时， 抑菌率尚有（27.91±2.076）%，显著高于同浓度其他溶剂提取物；菊芋叶片乙酸乙酯提取物50倍液对辣椒疫病具有良好的防治效果，药后21 d防效仍达到100.00%，优于化学药剂25%甲霜灵可湿性粉剂 400倍液的防治效果。
我国是农业大国，农药在农业生产中发挥着十分重要的作用。随着人们健康意识的提高，农药残留超标已成为严重影响农产品市场竞争力的重要问题，开发新型农药已成当务之急[10]。植物源农药来源于自然，具有环保、长效、易光解、无残留等特点，能保持农产品的高品质， 是发展有机农业、促进农业可持续发展的理想农药。菊科植物是最重要的植物源农药来源，在有杀虫活性的1600种植物中，有1/10是菊科
植物[11]。研究表明，菊芋能抵御多种植物疾病，极少虫害，含有抗虫抑菌活性物质，具有耐旱、耐寒、耐盐及抗病虫害等特点[12]。目前，国内外对菊芋用于治理沙漠和深加工方面的研究较多，有关菊芋叶片生物活性物质及其抑菌活性的研究较少。韩睿等已经开展菊芋叶片有效成分提取分离技术研究[13]。通过本试验，证明了菊芋提取液对辣椒疫霉菌具有很好的抑制作用，这对于充分利用菊芋资源、开发研制新型植物源杀菌剂、拓展菊芋的应用领域提供了一定的依据。在盆栽验证试验中，只设定了1个提取液浓度，不能更为客观地分析其防治效果，有必要在后续试验中设计更多的浓度梯度，进一步确定菊芋提取液对辣椒疫病的防治效果及最佳防治浓度。
参考文献：
[1]朱宗源，陆金萍，周新根，等. 上海郊区青椒疫病病原菌鉴定及其生物学特性[J]. 上海农业学报，1992，8（3）：36-41.
[2]陈坚忠. 青海高海拔地区辣椒疫病的发生及防治措施[J]. 作物杂志，2008（4）：83-84.
[3]程沄，沈崇尧，段道怀. 青椒疫菌为北京地区青椒死秧的主要原因[J]. 植物病理学报，1988，18（1）：9-14.
[4]王志田，史载诚，赵林忠，等. 哈密地区辣椒疫霉菌的鉴定及部分生物学测定[J]. 新疆农业科学，1990（2）：69-71.
[5]王燕华，杨顺宝. 上海地区甜椒疫病菌的鉴定[J]. 上海农业科技，1982（1）：20-21.
[6]常彩涛，巩振辉，王鸣. 陕西辣椒疫病菌种的鉴定[J]. 西北农业学报，1993，2（1）：87-90.
[7]杨学辉，袁洁，谢海呈. 贵州省辣椒主栽品种抗疫病性鉴定[J]. 西南农业学报，2005，18（6）：791-793.
[8]彭化贤，刘波微，李薇. 四川辣椒疫霉菌生物学特性和辣椒抗霉疫病性鉴定方法初探[J]. 云南农业大学学报，2005，20（1）：140-144.
[9]易图永，谢丙炎，张宝玺，等. 辣椒疫病防治研究进展[J]. 中国蔬菜，2002（5）：52-55.
[10]吴光旭，何庭玉，刘爱媛，等. 植物中抗病原真菌的活性物质[J]. 植物学通报，2004，21（3）：367-375.
[11]李云寿，邹华英，唐绍宗，等. 14种菊科植物提取物对菜青虫的杀虫活性[J]. 华东昆虫学报，2000，9（2）：99-101.
[12]Stanley J K，Nottingham S F. Biology and chemistry of Jerusalem artichoke[M]. New York：CRC Press，2008.
[13]韩睿，王丽慧，钟启文，等. 菊芋叶片提取物抑菌活性研究[J]. 现代农业科技，2010（5）：120-123.高宇，王志英，赵红盈，等. 白蜡吉丁啮小蜂雌蜂对寄主挥发物的触角电位和行为反应[J]. 江苏农业科学，2015，43（1）：141-143.
验证效果 第4篇
关键词：非小细胞肺癌,EGFR,19位外显子缺失,同源建模,分子对接
利用同源建模, 构造出EGFR的第19位外显子缺失后的蛋白结构model。然后使用Arguslab[1]软件, 计算出吉非替尼、ATP分别与野生型蛋白2GS6和突变蛋白model结合所需要的能量, 试图用理论计算的方式对吉非替尼的用药效果改善作出解释, 下面将总结研究过程和结果。
1 数据来源及同源建模
从PDB网站[2]下载受体材料2GS6.pdb (野生型受体蛋白) 。从pubchem网站[3]下载配体材料CID_5957.sdf (吉非替尼) 和CID_123631.sdf (ATP) 。
同源建模 (Homology Modeling) 指的是根据一个已知蛋白的三维结构和目标蛋白的氨基酸序列, 构建出目标蛋白的三维结构[4]。
对于19位外显子变异产生的蛋白三维结构, 可以采用同源建模进行构建。同源建模的基本假设是:如果一个未知结构蛋白与一个已知结构蛋白之间的序列相同程度超过30%, 则可以以已知蛋白为模版来构建未知蛋白的三维结构。
对于2GS6氨基酸序列, 去除746-750位置 (19位外显子对应的5个氨基酸) 的氨基酸。见表1。把上述序列到SWISS-MODEL[5]上进行同源建模, 以2GS6.pdb为模板, 生成的蛋白文件为model.pdb。
图1是SWISS MODEL给出的同源建模的质量评估图。横坐标是氨基酸的编号, 从0到350.纵坐标是目标序列与模版序列的局部相似质量值。质量值从0到1, 数值越大表示相似度越高。从图1中可知, 相似度几乎都在60%以上。
2 分子对接
分子对接技术利用理论方法与计算技术, 模拟出分子的外观和性质, 其过程涉及分子之间的空间匹配和能量匹配。Arguslab是一款分子对接软件, 对药物与蛋白质大分子结合所需能量进行模拟计算, 用于寻找药物与受体蛋白间的最佳结合位点。
以下操作方法与文献[6]类似。用Openbabel软件将CID_5957.sdf (吉非替尼) 和CID_123631.sdf (ATP) 转换成mol格式。用Arguslab软件选中水分子和杂质并删除。再利用Arguslab软件对2GS6、model (同源建模生成的蛋白) 和吉非替尼、ATP进行两两组合, 计算各自的最佳结合位点。
3 结果与讨论
表2是分子对接实验结果。表内数据代表受体和配体结合所需能量。所需能量越低, 结合越容易。
EGFR蛋白既可以与ATP结合, 激活细胞的分裂﹑增殖等生理功能;也可与吉非替尼等药物结合。但如果药物已经与受体结合, ATP就不能再接近受体。从所得出的数据分析, 野生基因2GS6与吉非替尼结合所需能量为-8.07kcal/mol, 低于其与ATP能量分子结合所需能量-7.78kcal/mol。2GS6经过19外显子突变后形成的蛋白和吉非替尼结合所需能量为-8.52kcal/mol, 高于其和ATP能量分子结合所需能量-8.03kcal/mol。
分析可得出, 变异前后药物分子都会与蛋白分子结合而不是ATP分子, 所以19位外显子变异不会导致耐药。但由于-7.78- (-8.07) <-8.03- (-8.52) , 变异后蛋白分子更容易与吉非替尼分子结合, 说明此变异有利于用药。
参考文献
[1]Arguslab网址:http://www.arguslab.com/arguslab.com/Argus Lab.html.
[2]PDB网址:http://www.rcsb.org/pdb/home/home.do
[3]Pub Chem网址:http://pubchem.ncbi.nlm.nih.gov.
[4]Wikipedia网址:https://en.m.wikipedia.org/wiki/Homology_modeling.
[5]Guex N., Peitsch M.C.SWISS-MODEL and the SwissPdb Viewer:an environment for comparative protein modeling[J].Electrophoresis, 1998, 18 (15) :2714-2723.
验证效果 第5篇
1、为什么检验方法需要验证，直接用产品的法定标准不就得了吗？
残留目标物是从设备上取样得来的，因为设备清洁时使用了清洁剂、消毒剂等，擦拭取样得来的样品已经不是单纯原本产品标准里面的供试品了，里面有可能有擦拭用的溶剂、清洁剂、消毒剂等等，那这种充满了很多其它可能物质的样品检测还能不能适用原先的产品法定标准，这就需要验证了。当然取样方法的验证就更要做了，因为它对最终的计算结果有着很大的影响。
2、取样方法如何验证？
取样方法大体主要可以分为棉签擦拭法和最终淋洗水法，棉签擦拭法首先要做一个擦拭溶剂选择的验证，即采用不同的溶剂各做一次取样回收率的验证，最终选择回收率较高（大于50%），无毒性在擦拭后在设备不会有残留污染且易于得到的溶剂作为首选溶剂，对最终选择好的擦拭溶剂还要做一个再确认，即采用相用的方法操作多次确认其回收率大于50%，偏差小于20%。致于最终淋洗水法的取样回收率这个做起来实际很难操作，实际欧盟的验证指南也要求这个方法也要做回收率的验证，但在我们的指南中没有这一条的要求，我想也是考虑到实际的情况，在翻译后没有把这一条加入我国的指南中。
3、检验方法如何验证？
具体的我就不说了，可以参照药典附录，主要要验证的项目有准确度、精密度（重复性、中间精密度）、专属性、定量限、检测限、线性、范围、耐用性、还应要考虑一项是供试品溶液的稳定性。
4、清洁残留物检验方法验证如何与产品的检验方法的确认结合起来做？
实际在很多情况下，最终验证选择出来的溶剂有可能就是产品法定标准含量项下的供试品的溶剂，采用的方法也是产品法定的检验方法，如果不考虑设备清洁中使用清洁剂、消毒剂。在法定标准经过确认的前提下，那清洁残留物检验方法的验证项目只需要验证定量限、检测限、范围、溶液稳定性。有的同学可能会问为什么准确度、精密度就不用了呢？
1、这个是法定标准，这些项目已经是通过了方法学验证了。
2、与法定标准不同的是供试品的浓度变了，那最主要的就是验证其范围了，这个范围的验证实际就已经包含了有准确度的内容在里面了（不理解可以自己看下药典）。
3、当然法定标准虽然是经过了验证，但我们还是要去进行确认的了，而确认的工作比较验证而言就简单了很多。简单的说就是在这种情况下法定标准做一个确认，清洁残留物检验方法验证就可以不用每项都去验证了。
验证效果 第6篇
目前互联网不强调真实源地址认证,IP数据包的转发主要基于目的IP地址,只强调信息发到哪里,不强调信息从哪里来,造成地址欺骗、身份假冒、拒绝服务攻击、垃圾邮件泛滥、网络欺诈等安全问题。这些安全事件大多是基于伪造的源IP地址,无法追踪到肇事者。构建高可信机制的互联网,对源地址进行验证显得尤为重要。
RFC5210提出了IPv6下的真实源地址认证体系,设计和实现了一种包括接入、域内、域间三个层次的真实IPv6源地址网络寻址系统[1]。本文提出一种基于加密认证的源地址认证方案,在IPv6逐跳选项扩展首部中增添新的源地址验证选项,存放源地址验证信息,使得IPv6数据包传输过程中的每一跳路由都可以根据需要验证源地址的真实性。
1IPv6源地址验证设计思路
目前,与IPv6源地址验证相关的研究分为三类: 加密认证的方法、预先过滤的方法、事后追踪的方法。加密认证的典型方法主要有IPSec[2]和欺骗预防方法SPM(Spoofing Prevention Method)[3]。IPSec是一种端到端的认证方法,应用这一策略,路由器只能保证源或者目的地址是自身的IP数据包的源地址的真实性,却无法检验自己所转发的IP数据包的源地址的真实性。SPM是一种自治系统到自治系统的解决方案,每一对相互通信的自治系统拥有一对单独临时的密钥用来进行源IP地址验证,应用加密认证的方法, IP源地址真实性的检查只能在目的主机或者目的自治系统间进行。
Hash函数主要用于信息安全领域[4],是一种消息摘要函数,它可以把任意长度的信息转换成杂乱的128位的编码,叫做HASH值。这种转换是一种压缩映射, 报文-摘要算法MD5(Message-digest Algorithm 5)即是一种典型的Hash算法。
IPv6定义了多种扩展首部,这些扩展首部被放置在IPv6首部和上层首部之间,每一个扩展首部通过“下一个首部”字段来确认[5]。目前已定义的扩展首部中,逐跳选项扩展首部紧随在IPv6固定首部之后,它所携带的数据传输路径上的每个节点都必须检查。
设计思路是将IPv6数据包的源IP地址作为输入,通过MD5算法进行计算,得到报文摘要。并将报文摘要存入逐跳选项扩展首部新定义的源地址验证选项中,然后发送携带源地址验证信息的IPv6数据包。从源端到目的端的路径中,数据包途径的每一跳路由器都可以根据需要处理逐跳选项扩展首部。路由器接收到携带有源地址验证信息的IPv6数据包后,将IP源地址和随机数seed通过MD5算法进行计算,并将所述计算结果与逐跳选项扩展首部中的源地址验证信息进行比较,若计算结果与该验证信息相同,可以认为源地址真实。添加了源地址验证信息的IPv6数据包如图1所示,其中有下划线的字段是新设计的源地址验证选项。
2源地址验证方案的研究与设计
2.1Hash函数的应用
源地址验证信息的生成采用MD5加密算法来完成。为尽可能地减少网络的额外通信量,设计一个512位分组作为输入。该分组由两部分组成: 随机数Seed、源IP地址。其中, Seed为一个384位的随机二进制数,源地址是128位IP数据包中的源地址。该分组经过MD5算法加密后输出128位报文摘要,取其前32位作为源地址验证信息。
2.2带有源地址验证选项的逐跳选项扩展首部设计
逐跳选项扩展首部紧跟在IPv6首部的之后,它可以包含特定的选项。它的选项包含三个字段,分别是选项类型(8位)、选项数据长度(8位)、选项数据(最大255)。根据RFC2460对IPv6扩展报首部格式的规定,定义具有源地址验证选项的逐跳选项扩展首部格式如图2所示。
下一个首部占用1字节,所有IPv6扩展首部均包含此字段,用于标识下一首部类型。
扩展首部长度占用1字节,用以标识源地址验证选项的逐跳选项扩展首部长度,该长度以8字节为单位,不包含扩展首部的第一个8字节,这里取0。
类型占用1字节,标识源地址验证选项的类型,根据RFC2460建议,类型字段的高两位代表目的节点不能识别特定选项时该采取的动作,10代表丢弃该分组,并向源地址返回一个ICMPv6报文。第三位表示数据包在传送过程中选项数据值是否可以改变,0表示不可改变。 这里定义第四、五位为验证范围字段。如图2所示,用XX表示。当XX为11,即选项类型值为152时,每一跳路由器均需验证源地址信息。当XX为10,即选项类型值为144时,只有自治系统的边界路由器需要验证源地址验证。目前暂时定义两种情况。六、七、八位暂不定义,为以后扩充之用,这里用0。
选项长度是指地址的有效载荷长度,这里定义32位,是4个8字节,则选项长度字段值为4。
选项数据是选项携带的数据。这里是源地址验证信息。
2.3源地址验证协议设计
由于IPv6协议没有源地址验证选项,需要在设计的IPv6逐跳扩展首部中设置源地址验证选项,在协议中定义的相应的数据结构[6]。
ip6_opt_souva{}结构定义了源地址验证选项。具体代码如下:
Ipv6os_type字段保存值ox90,表示选项类型。ip6os_len字段保存值4,表示选项长度,ip6os_souva_len字段保存净荷长度。
2.4加密验证随机数参数传递报文设计
可以用IPSec加密通信来传输随机数seed信息,同时使用AH认证和ESP加密扩展首部,采用传输模式,IP分组结构如图3所示。其中数据部分是一个由网络前缀和seed组成的二元组<网络前缀,随机数seed>,一个网段只需要一个随机数seed。
3源地址验证工作流程
3.1带有源地址验证信息的IPv6数据包生成过程
在本地网络中设置一个源地址验证网关,负责生成源地址验证信息。源地址验证网关维护着一个源地址验证信息列表,其记录格式为<网络前缀、随机数seed、源IP地址、源地址验证信息>。在主机上设置一个缓冲区,存放源地址验证信息,主机发送IP数据包的时候,将该信息添加到逐跳选项扩展首部的源地址验证选项的数据字段中。
当一台主机申请加入网络或者其IP地址发生改变的时候,需要向源地址验证网关申请源地址验证信息。源地址验证网关首先从申请中提取主机的128位IP地址,然后取一个384位随机数Seed,合成一个512位的序列作为输入。应用MD5算法加密,计算出一个128位的报文摘要,取前32位作为逐跳选项扩展首部中源地址验证选项的数据字段值。接着发送携带源地址验证信息的响应报文给主机。带有源地址验证信息的IPv6数据包的生成过程如图4所示。
3.2地址验证过程描述
IPv6数据包途路径上的每个节点都必须检查其逐跳选项扩展首部。当收到IPv6数据包时,首先检查判断地址选项中的XX位,如果不需要验证就正常转发IP数据包。如果需要验证,就提取IP源地址, 并查找随机数seed数据库<网络前缀,随机数seed>,通过网络前缀找到该主机所在网络对应的Seed,然后再进行一次MD5加密计算,比较输出的前32位是否与源地址验证选项中的的数据相同,如果相同就确认该数据包合法,正常转发;否则认为是仿冒IPv6数据包,并抛弃该数据包。源地址验证过程如图5所示。
3.3随机数参数传递
生成源地址验证信息以及比对信息,都需要用到一个共同参数,就是随机数Seed。本地网络中的源地址验证网关负责维护随机数seed信息列表,记录格式为<网络前缀,随机数seed>。如何确保Seed安全及时有效地在网络中传递是保证源地址验证的关键。IPv6协议自身的安全措施很强大,可以用IPSec加密通信来传输seed信息。为了确保源地址验证的安全有效,需要周期性地与各源地址验证网关协商选取新的Seed,这样可以增大源地址验证信息被伪造的难度。协商周期的长短可以根据网络要求的安全等级来设定。
4性能分析及进一步改进的思路
Hash函数具有单向性和碰撞约束等特点,加密源地址的Hash算法是目前广泛应用的MD5加密算法,该算法是公开的,不需事先协商,只需要传递随机数参数Seed。Seed的传递采用IPsec加密信道来保证seed传输过程中的安全性。这些性质都保证了源地址验证信息很难被伪造。Hash运算的计算量很大,但是本地网络生成源地址验证信息和远程路由检验源地址验证信息都只需进行一次Hash运算,出现伪造源地址攻击,也只需要一次Hash运算即可发现,所以应用Hash运算加密验证地址信息的思路是可行的,效率也比较高。
在IPv6逐跳选项扩展首中添加源地址验证信息,使得待验证信息(IP源地址)与比对信息(源地址验证信息)都能从IPv6数据包中获取,应用了IPv6扩展首部的新特性,实现方法简单。IPv6数据包途径的每一跳路由都必需检查逐跳选项扩展首部,验证IPv6分组源地址的真实性,一旦监测出伪造源地址的数据包,则直接将之丢弃,这样可以减少了伪造源地址攻击的威胁。然而,使用逐跳选项首部,让每一跳的路由都去验证源地址的真实性,会增大系统开销,影响分组的转发速率。为了解决这个问题在源地址验证选项的选项类型字段定义检验位,指示需要验证的路由器类型。
进一步开展的工作包括:设计适用于区域边界路由器、AS边界路由器的源地址验证选项,以适应层次路由的需要;依据EUI-64设计源IP地址验证与源MAC地址的映射关系,使对源地址的验证从源IP地址扩展到源MAC地址;在选型类型字段中定义新的标志位,标识新的验证含义,以备功能扩充的需要。
摘要：针对加密认证的源地址验证方法只能在目的主机或者目的自治系统之间进行的问题,提出一种IPv6源地址验证方案。设计逐跳选项扩展首部的新选项,用以存储源地址验证信息。利用Hash运算,将源IP地址生成验证信息,并添加到所设计的源地址验证选项中,从而使得数据包传输途径的每一跳路由器都可以对源地址进行检验。该方案将基于加密认证的源地址验证方法扩展到数据传输的全过程,并针对网络层次性结构,提出进一步的改进考虑。
关键词：源地址验证,IPv6,NGI,MD5,IPv6,扩展首部
参考文献
[1]RFC5210:A Source Address Validation Architecture(SAVA)Testbed and Experiences,2008.
[2]RFC2401:Security Architecture for the Internet Protocol,1998.
[3]Bremler-Barr A,Levy H.Spoofing prevention method[C]//Proc IEEE INFOCOM.Washington:IEEE,2005:536-547.
[4]STAMPM.信息安全原理与实践[M].杜瑞颖,赵波,王秋宜,等译.北京:电子工业出版社,2007:65-67.
[5]王相林.IPv6技术——新一代网络技术[M].机械工业出版社.2008:33-36.
验证效果 第7篇
本文以高速光纤通信系统中DSP芯片中的盲均衡器为例, 应用UVM验证方法学搭建可重用与自动化的UVM验证平台, 产生大量受约束的随机化激励, 提取功能测试点, 构造验证场景, 通过覆盖率统计和回归迭代, 对此子系统进行充分验证, 并应用寄存器抽象层验证技术和解决方案RAL, 高效地完成寄存器相关的验证任务。
1 UVM验证平台
UVM验证平台是基于System Verilog开发的验证环境开发库, 常用的一系列标准类如:uvm_transaction, uvm_sequence, uvm_sequencer, uvm_agent, uvm_driver, uvm_driver, uvm_test等, 方便于继承和重载。uvm_object类为父类, 通过多层继承和重载, 扩展为常用的uvm_transation (TLM建模) 、uvm_component (组件描述) 以及uvm_phase (进程控制) 3种基本类, 并使用Factory机制对所属成员类, 通过建立表格和宏完成注册管理[3], Phase机制是使平台中各种各样的uvm_component按照各自的需求可以阶段性执行的一种自动化的机制, 增加了验证平台在各个阶段可控性和复用性。UVM验证平台架构主要是由通用验证组件 (Universal Verification Component UVC) 构成。每个UVC都是功能完备、可配置、封装好的验证环境[4]。为了便于重用, UVM平台将uvm_driver, uvm_sequencer, uvm_monitor封装成uvm_agent类, 作为最重要的可重用部件, 使用配置类将uvm_agent配置成active或passive模式, passive模式只实例化monitor, 不驱动总线, 仅负责监测总线。UVM验证平台是如图1所示的树形层次化结构管理, 这些可配置可重用的UVC能够加快验证平台的搭建, 缩短开发复杂IC的验证时间。
2 验证对象简介
该ASIC是一款相干接收解调数字信号处理芯片, 支持高速长距离光传输系统和高速城域光传输系统, 用于WDM产品线的线路侧光模块中, 在该芯片内部, 实现了ADC采样处理、动态时延跟踪, 色度色散偏振膜色散的评估补偿、多路偏振信号的解复用及频偏和相偏的评估修正等。
本文以该芯片中CMA盲均衡器为验证对象, 该盲均衡器的结构如图2所示, 主要由输入输入数据FFT模块 (DIF) 、频域滤波模块 (FLTR) 、输出数据IFFT模块 (DOIF) 、系数更新与调整模块 (CCA) 、系数调整控制模块 (CCTRL) 、误差计算与收敛判决模块 (EMSE) 、系数FFT模块 (CFFT) 、数据抽取与整形模块 (RECT) 、APB解析模块 (APB) 等功能模块组成。该子系统主要用于补偿PMD色散, 补偿残余CD, 完成偏振解复用。
3 基于UVM的盲均衡器验证平台的搭建
3.1 UVM验证平台搭建思路
此验证平台使用标准的UVM架构, 整个平台的搭建以UVC为基础, 如图3所示, UVM验证环境和DUT通过虚接口连接。UVM验证平台包括事务数据、序列发生器、驱动器、监视器、参考模型、记分板等组件组成[5], 本设计例化4个agent, input_agent, inner_agent, output_agent和cpu_agent, input_agent配置为active模式, 用于配置和检测总线, inner_agent和output_agent配置为passive模式, 只用于检测总线, 在测试用例的build_phase进行如下设置:其中inner_agent例化inner_monitor用于采集DUT的中间节点数据。
并使用config_db机制的参数传递功能在相应的agent中获得配置参数:
通过传递的参数值决定是否需要例化驱动器和序列发生器, 从而提高平台的可重用性。
寄存器抽象层的作用一方面用于验证对寄存器的读写功能, 另一方面用于其他场景验证前配置寄存器的值, 在本验证平台中, 寄存器模型对于寄存器的访问使用前门模式, 访问操作分为读和写2种, 无论读或写操作, 寄存器模型都会通过sequence产生一个uvm_reg_bus_op的变量, 此变量存储着操作类型和操作地址, 如果是写操作, 还包含要写入的数据。此变量的信息要通过一个适配器adapter转换后交给cpu_sequencer, 随后交给cpu_driver, 由cpu_driver实现最终的前门访问读写操作。
适配器用于变量uvm_reg_bus_op与主机接口总线协议之间的转换, 包括寄存器模型到接口总线的转换和接口总线到寄存器模型的转换, 其中reg2bus的关键代码如下, bus2reg的正好相反。
CPU_agent模拟CPU行为, 在DUT刚启动时, 用于配置器寄存器的值, 只有配置完成后, 驱动器才会发送激励, 本设计使用virtual sequencer作为统一调度, 利用其body的顺序执行完成2个sequence的同步。
并且在virtual sequence中应用objection机制来控制验证平台的关闭。
参考模型采用matlab算法模型, UVM平台启动后, 寄存器模型通过frontdoor方式将寄存器配置值写入DUT, sequencer负责调度sequence产生操作实务, 并通过port机制将受约束的随机激励发送给driver, 以input_agent为例:input_sequencer与input_driver在agent例化后, 通过TML连接。
Inner_monitor与output_monitor分别在相应虚接口上采集DUT的中间节点和输出数据, 将matlab仿真的中间节点数据和输出数据与DUT上采集的中间节点数据和输出数据发送到记分板中进行在线实时比对, 通过数据匹配情况检查RTL设计与matlab算法模型的一致性, 进而验证RTL设计的正确性。
3.2 保证RTL设计和参考模型输入激励和寄存器的一致性
本文使用寄存器模型RAL和input_agent协调工作向DUT及参考模型中输入激励和寄存器配置值, 如图4所示, 在不同验证场景下, 将相应的寄存器配置值写入寄存器模型, 寄存器模型将受约束的随机值或复位值与testcase配置的寄存器值一方面通过APB总线配置DUT中相应的寄存器, 另一方面打印寄存器配置文件, matlab读取此文件为参考模型中寄存器相应的变量赋值。
寄存器配置完成后, virtual sequence调度input_sequence产生transaction, 并通过port机制将受约束的随机激励发送给input_driver, input_driver将操作实务翻译成符合时序要求的pin级时序信号驱动到虚接口上做为DUT的激励, 同时input_monitor在虚接口上采集数据通过分析口输发送给参考模型。
input_driver将操作实务翻译成符合时序要求的pin级时序信号驱动到虚接口上作为DUT的激励, 同时input_monitor在虚接口上采集数据通过分析口输发送给参考模型。开始matlab仿真。
为了验证某些寄存器的在线切换功能, 提高RTL设计的健壮性, input_agent既用于产生随机激励又用于产生寄存器配置值, 当需要切换某些寄存器配置值时, 只需在testcase中合适的仿真时刻对其重新赋值, 便能同时更新DUT及参考模型中的寄存器配置值。通过这种设计思想就能保证DUT和refm的输入数据和寄存器配置值始终保持一致。
3.3 自动化验证流程
本平台利用Makefile的编译组织和perl脚本的文字处理功能[6], 将编译、仿真、种子选择、测试场景选择、覆盖率收集、覆盖率数据回归、异常查看、结果分析等功能设计为自动化的流程。
验证人员通过向脚本中传入命令参数, 调用相应的testcase即可验证相应的场景, 从而提高验证效率, 加快芯片研制进度。
4 验证结论分析
从芯片研制规范中提取功能点, 构建验证用例125条, 对此均衡器的FFT模块、蝶形滤波模块、系数调整控制模块、系数更新模块、误差计算与收敛判决模块进行充分验证。由于系数调整控制模块算法复杂, 有大量控制信号, 通过对此验证平台的重用, 专门为控制模块搭建UVM验证平台, 构建测试用例53条, 所有规划的场景验证完毕后, 使用makefile脚本对覆盖率一键回归, 查看覆盖盲区, 有针对性地规划验证场景, 构造边界用例对RTL设计充分验证。目前, 通过通过覆盖率回归迭代, 功能覆盖率已达到100%, 代码覆盖率达98%, toggle覆盖率可达95%。剩余难覆盖的情况比如RTL设计中的default语句, 多个16位上报计数器计满保持功能等。
5 结语
本文在深入理解UVM验证思想的基础上搭建UVM验证平台, 对高速光传输系统中相干接收解调DSP芯片中的盲均衡器进行了充分验证, 灵活应用UVM中sequence机制、phase机制、factory机制config_db机制, 寄存器模型等快速搭建可重用性和扩展性强的UVM验证平台, 体现了UVM验证方法学的优越性。通过RTL设计与matlab黄金模型的关键数据比对, 仿真波形检查来证明此盲均衡器设计的正确性, 并且通过覆盖率回归迭代, 高效且充分地完成验证工作。
参考文献
[1]李磊, 罗胜钦.基于VMM方法的SOC集成验证[J].电子测量技术, 2011 (1) :1.
[2]张强.UVM实践[M].北京:机械工业出版社, 2014.
[3]谈笑, 王小力.一种基于UVM的模块级可重用随机化验证平台构建方法[J].微电子学与计算机, 2015 (3) :67-72.
[4]徐金甫, 李森森.采用UVM方法学实现验证的可重用与自动化[J].微电子学与计算机, 2014 (11) :14-17.
[5]Cadence, Accellera.UVM 1.0 user’s guide[M].California:Synopsys, 2011.
验证效果 第8篇
VMM验证方法学是当今验证方法的趋势之一。它提供一种抽象的具有分层结构的验证平台, 平台中测试数据约束性随机产生, 自动化运行, 功能覆盖率可收集。
VIP是Synopsys公司基于VMT技术开发的验证IP, 用来模拟AMBA总线、USB主机等的通信行为, 它包含总线的BFM模型及monitor模型, 可帮助验证工程师快速构建验证环境。
本文基于VMM验证方法学, 利用AHB、USB VIP构建了USB IP的验证环境。验证平台功能覆盖全面、复用性强、测试用例编写简单, 全面验证USB传输的各种特性, 验证效率高。
1 USB设备控制器的结构
被测模块 (简称DUT) 是一款通用的USB2.0设备控制器, 具有AHB总线接口和UTMI接口。它支持全速、高速传输;除控制端点外, 其它的端点数量可配置, 且每个端点支持批量、中断、同步三种传输方式;支持DMA读写控制;支持测试模式;支持挂起和远程唤醒功能。其结构如下图:
该USB控制器模块实现了两层的功能: (1) 在信号层通过UTMI接口与USB主机互连, 接收和发送USB数据; (2) 在逻辑设备层对总线接口与各端点之间的数据路由, 并将数据及相关端点信息存入寄存器中, 供上一层即功能设备层使用。USB的功能层则由软件来实现, CPU通过AHB总线读写操作端点寄存器及设备寄存器控制USB设备枚举及功能数据流的通信。
2 基于VMM的验证环境
2.1 VMM验证环境简介
VMM验证平台是一个层次化验证平台。一般说来, 从底至上被分为信号层、命令层、功能层、场景层以及测试层。如图2所示。
驱动器 (driver) 将从命令层收到的事务转化为信号激励输入到DUT, 同时收集DUT的输出信号。监视器 (monitor) 用来侦测信号变化, 并转化成事务传给检查器。事务处理器 (transactor) 将场景层定义的抽象的事务转成驱动器能解析的命令。如将一次中断处理分解成读、写寄存器等总线操作。记分板 (scoreboard) 从事务处理器中接收事务, 实现某种算法或做一些处理, 然后将结果存入到检查器中。检查器 (checker) 将从监视器中得到的结果和记分板中的结果做比较, 以检验DUT的功能是否正确。场景层的产生器 (generator) 用来生成具有一定关系的随机列序。最上层是测试层, 用来定义不同的约束条件, 配置各种测试用例。
2.2 AHB、USB VIP介绍
AHB验证模型 (AHB VIP) 是一个能够配置AHB总线系统、数据传输完全符合AMBA2.0 AHB总线协议的模型。在该模型中, 存在主机、从机、总线模型三个角色。主机负责发起传输, 从机负责响应主机。总线模型则是由仲裁器、多路选择器、解码器等互联组成。用于在系统中连接主机和从机。AHB VIP具有兼容VMM平台的接口, 它在VMM平台中起驱动器和监视器的作用。即向下与DUT通过信号接口相联, 驱动总线或响应主机;向上通过通道 (channel) 与事务处理器相连, 接收上层传递的抽象命令, 并转换成总线读写命令。
AHB VIP的使用, 节省了验证工程师编写AHB BFM的时间, 且VIP是经过完全验证的可靠的模型, 正确性有了保证。
USB VIP是Synopsys公司的另一个商用模型。它也是可配置的符合USB协议的验证模型。该模型支持主机、设备两种工作角色, 发起或回应USB总线请求;支持三种工作速度 (低速、全速、高速) ;支持serial/UTMI/ULPI等接口方式;及支持两种时序模式:正常工作模型、仿真工作模式。该VIP可发送协议层 (transaction) 、信号层 (packet) 等不同抽象级别的数据流, 还可在数据流中随机注入错误包以模拟错误通信。此外, 该VIP自带多个回调函数 (callbacks) , 用户可应用这些callback控制数据流向、收集数据等。
USB是分层协议, 它的通信机制较AHB更复杂, VIP的使用可以让验证工程师可以放心地构建测试用例, 调试验证流程, 而不必在通信模型上放更多的精力。
另外, VIP是从VMM基类中扩展的, 它能快速地“融入”到VMM验证平台中。而且, VIP有自己的monitor, 可用来监测总线行为;一旦总线出现违反协议的行为, VIP会报错, 这对我们仿真、调试的帮助很大。因此AHB、USB VIP的使用缩短了验证周期, 提高了验证效率。
3 验证平台的实现
3.1 基于VMM的USB验证平台结构
基于VMM的USB控制器验证平台如图3所示。从下往上看, 被测试模块既是AHB总线上的从机, 也是USB总线上的设备端。一方面, 我们使用AHB VIP master, 通过总线互联与DUT的AHB接口相联, 另一方面, 利用USB VIP作为USB主机, 与DUT通过UTMI接口互联。AHB master与USB host都处于命令层, 直接驱动信号进出DUT。
为了模拟CPU操作AHB总线读写寄存器, 我们需要创建ahb_manager。它起到承上启下的作用:接收产生器下传的随机包, 解析此包, 产生并组织一系列的读写操作, 然后将这些操作顺序下传到AHB master VIP中。为了指挥USB HOST VIP复位DUT、总线枚举及发起传输, 我们还需要创建usb_manager:它解析上层传递的随机包, 将这些抽象的包“翻译”成一系列的传输事务, 顺序下发到USB HOST VIP中。
由于被测模块没有算法操作, 在验证环境中不需要复杂的记分板, 只需比较双方传输的数据是否正确。在本环境, 我们在ahb_manager、usb_manger提取传输的数据, 并通过callback方式传入到记分板中, 做自动比较。
在场景层, 我们需要创建多个场景来测试DUT在全速/高速下, 控制传输、批量传输、中断传输和同步传输以及DUT支持的各种内部操作方式。因此, 我们创建两个产生器:一个用来产生USB配置信息, 配置DUT的工作速度、传输类型、内部操作模式等;另一个用来产生USB HOST发出的传输包:IN、OUT、SETUP、SOF等。两个产生器又相互约束。
Tb_cfg是对配置文件, 用来配置VIP的参数。
3.2 双产生器的设计思想
在此验证平台, 我们设计了两个产生器:usb_cfg_generator用来产生DUT的配置信息, 包括当前DUT工作的速度、工作模式、传输次数、寄存器设置等, 相当于主机和设备在通信之前的约定;usb_tran_generator用来产生USB传输包, 如IN/OUT/SETUP/SOF等, 即在当前约定好的配置下, 总线上传输的包。工作流程如下:ahb_manager和usb_manager在usb_cfg_generator中取得当前的配置信息后:ahb_manager初始化寄存器, 确定DUT当前工作的速度、DUT端点的类型, 端点的存储空间大小等;usb_manager在此配置的约束下, 设置VIP参数, 约束USB主机工作的速度、发包的类型、传输延迟等。然后两者在usb_tran_generator中分别获取USB传输包序列, 并依次处理各包。usb_tran_generator是场景产生器 (scenario generator) , 生成的传输包序列可以是完全随机的序列也可以是有相互关系的序列。例如, 可约束生成一个具有前后顺序的序列:{SET_ADDRESS, SET_CONFIGURATION, EP1_OUT, EP2_IN};序列中每个成员的传输类型、速度、包长度要受到配置信息包的约束。在完成一定次数的传输后, 两个manager结束当前的传输, 系统复位;之后两个manager再从usb_cfg_generator中获取下一次配置信息, 并重新初始寄存器、约束参数, 开始下一次的通信。双产生器的设计使验证平台实现了测试激励分层解析、分层约束, 充分发挥VMM约束性随机的特点。验证平台同时支持批量、同步、中断、控制四种传输模式, 最大限度的实现了重用, 且测试用例编写简单、代码量少。
3.3 激励的封装与实现
协调并操作好VIP, 才能更“逼真”地模拟DUT通信。当双方manager在usb_cfg_generator获取系统配置信息后, 紧接着在usb_tran_generator中获取随机序列, 准备通信。如何实现两端的同步, 成为两个manager首要考虑的问题。
一般来说, 为了使双方manager同步, 我们将产生器中的随机包通过broadcast方式同时传递到ahb_manager和usb_manager中, 双方都完成各自的处理后, 再从产生器中获取下一个随机包, 从而实现同步。这个随机包可以是单独的packet, 也可以是某一transaction, 还可以是更高层次的抽象。如果以packet为单位, manager的工作效率低下:usb_manger向命令层发送一个包后, 需等待产生器产生下一个包;而产生器只有在双方都完成工作后, 才产生下一包, 这就造成双方发一包, 等一段时间, 工作效率极低且不符合USB实际通信。如果以transaction为单位, 虽然解决了包间延时过长的问题, 但会存在边界测试未覆盖的情况。例如, 一个transaction最大可以传输1024个字节, 双方会在传完此transaction后等待, 以实现同步。传输的字节越多, AHB总线操作时间越长, 这就造成transaction与transaction之间的延时过长, 无法覆盖大量数据连续冲击DUT的功能点。为了解决上述方案存在的缺陷, 我们定义更抽象的随机数据包:它是一系列传输的组合, 完成某一具体任务。例如, 定义某一包为SET_ADDR, 它包含SETUP传输, IN传输;定义某一包为OUT, 它包含若干对PING传输和OUT传输。如图4所示。这种层次化的激励的设计, “逼真”的模拟了实际USB与AHB端的通信, 解决了数据流连续发送与broadcast接收方同步等待的矛盾, 全面覆盖了传输过程中可能出现的各种情况。
3.4 USB验证模块重用
在USB端口这一侧, usb_tran_generator产生抽象的随机序列, 决定USB主机将要发起何种操作;usb_manager将抽象的序列转化成一系列传输包, 组织主机与DUT之间的数据传输, 控制传输的进度;USB HOST VIP把这些传输包转换成USB总线信号, 驱动到DUT接口上。这三者协同合作, 充分“扮演”主机的角色。当被测模块被集成到系统中, 模块与模块之间的连通、系统与外部的通信仍需要USB主机这个角色, 且测试激励无需变动。因此, 我们把这三者封装到次一级的验证环境中, 我们称之为subenv。Subenv解决了代码重用性的问题, 系统级环境和模块级环境可以同时开发, 从而减少了验证周期, 提高了验证效率。
3.5 VIP callback应用
USB VIP提供回调函数 (callback function) 供用户扩展使用。图5所示, 在VIP的IN、OUT、Response通道与VIP主体连接处分别设有三个回调点:post_transaction_input_channel_get, pre_transaction_output_channel_put和post_transaction_response_channel_get。用户可在此处自行添加代码, 从而实现某些特定功能的测试。例如, 用户在主机发出包后, 修改当前传输的参数 (如包间延时、总线超时时间等) , 再发至DUT, 可以测试DUT延时检查功能是否符合协议;或者主机在发出握手包后, 用户在回调点丢掉此包, 可导致DUT接收超时, 从而验证DUT超时处理是否正确。另外, USB VIP本身支持异常测试, 即VIP HOST会随机产生错误包或错误参数, 然后不定时注入到发出的包或传输中。用户可以通过这些回调点, 获取错误信息, 并针对这些错误包做出处理:如不放入记分板比较, 提前中止数据流处理等。这样, 在同一个平台上, 实现了异常传输与正常流程“分流”, 平台统一, 功能强大。
4 结语
本文提出了一种基于VMM验证方法学的USB控制器的验证方案, 文中使用了Synopsys的AHB总线验证IP和USB验证主机IP以加速验证平台的搭建。在验证平台的实现中, 本文提出了一些解决方法, 如双产生器的设计思想、激励的层次化、USB端口重用及VIP callback使用心得等, 本验证平台全面验证了USB控制器IP, 且功能覆盖全面, 重用性强, 测试用例约束性随机产生, 编写代码简单易用, 具有较高的工作效率。
参考文献
[1]Verification Methodology Manual for SystemVerilog.ByJanick Bergeron Eduard Cerny Alan Hunter Andrew Night-ingale
现场验证锰钢 第9篇
在优质碳素结构钢基础上适当加入一种或多种合金元素,可以提高钢的渗透性;通过热处理提高强度和韧性。加入锰以后,可以降低钢的下临界点、细化珠光体组织、提高钢的渗透性,从而改善力学性能。
鉴别钢材性质的常规方法是在钢材上钻取铁末,然后化验,以化验结果来判定。锰合金钢与碳素钢、优质碳素钢的强度相差很大,而且焊接工艺也不一样。我们在输电线路、变电站施工现场、配件加工时,遇到要验证铁塔、屋架或构架、机械零件的材质,如果不允许在钢材上钻孔或者没有化验条件怎么办?用砂轮打磨,想从火花上监别,没有把握。1 6 M n钢含锰1.2%~1.60%,A3普通炭素钢含锰0.4 0%~0.65%;无屑点滴检验方法适于检验含锰量为1%~3%的钢材;两者比较检验的结果,颜色的差别是很明显的。我们曾用此法从几十根1 6 M n屋架中找出混入的一根A 3型钢,手续简便,效果可靠。
2 化学成分和力学性能比较
化学成分和力学性能比较见表2。
3 试验步骤
1)准备试验用的溶剂:溶剂配方为硝酸(比重1.42)20毫升、加磷酸(浓度85%)5毫升,与2 5毫升蒸馏水混合为混合酸液。
2)在被检物上选择一处平面,用砂纸擦去污垢及铁锈,然后,滴几滴酒精或汽油擦洗,也可用乙醚使试验处露出金属体本色。
3)迅速用火柴杆蘸凡士林在被检物表面涂一个圆圈,或事先作好蜡圈放上去,以防溶液流出。蜡圈尺寸为直径(5-10)毫米,高(2-4)毫米。
4)滴溶剂二三滴入蜡圈内,金属开始溶解而产生气泡,轻轻搅拌,待反应半分钟至1分钟,气泡逸出。
5)用吸管吸出溶液,移放于白色干净的磁板上。加6N硝酸2-3滴,再加秘酸钠少许并搅拌。此时可见到沉淀产生,并逐渐显示出红色或紫红色。深紫红色的是含锰较高钢材。
4 原理
反应方程式:
2Mn++(浅红色)+5Na BOi3(秘酸钠)+14H-→2Mn O4(深紫色)+5Bi+5Na+7H2O
5 建议的钢材用途
建议的钢材用途见表3。
摘要：本文介绍在工程施工现场遇到要验证钢材的性质而又不能作常规化验时,采取无屑点滴试验的方法来验证锰钢的经验。
关键词：验证,锰钢,现场
参考文献
验证码识别原理探讨 第10篇
验证码是一种区分用户是计算机还是人的公共全自动程序, 可以防止恶意破解密码、刷票、论坛灌水, 可有效防止某个黑客对某一个特定注册用户用特定程序暴力破解方式进行不断的登陆尝试。
2 验证码识别流程
验证码识别包括:图像采集、图像预处理、图像分割、样本训练、图像识别等内容。验证码图像采集就是直接通过HTTP抓取HTML, 然后分析出图片的URL, 进行保存或下载。图像预处理就是对图像进行去噪、二值化处理, 找出文字所在的区域。图像分割就是对特定区域包括的文字进行分割。样本训练就是通过人工挑选具有代表性的图片进行学习和训练。图像识别对待输入的图片进行识别, 验证算法或程序的可靠性。
2.1 图像采集
以C#代码为列获取验证码图片内容信息, 其中mshtml命名空间能对Web Browser空间内容进行读取, 具体代码如下:
2.2 类间方差阀值二值化处理
其中:
对任何t值, 下式都能成立
C0和C1类的方差可由下式求得:
定义类内方差为
类间方差为
总体方差为
引入下列关于t的等价的判决准则:
2.3 中值滤波去除干扰点
中值滤波的主要功能是让周围像素灰度值的差比较大的像素改取与周围像素值相近的值, 从而可以消除孤立的噪声点。工作步骤为:
(1) 将模板 (3*3矩阵) 在二值化图中漫游, 并将模板中心与图中的某个像素位置重合;
(2) 读取模板下各对应像素的灰度值 (0或1) ;
(3) 如果中心点为1, 周围四周为0, 则将孤立亮点设为0 (噪音) 。
2.4 直方图投影字符分割
图像灰度级范围为0, 1, …, t-1, 设灰度级i的像素数为ni, 则一副图像的总像素N为:
灰度级出现的概率定义为
如果灰度级直方图出现明显的双峰状, 则选取两峰之间的谷底所对应的灰度级作为阀值。
2.5 样本训练和识别
Tesseract的OCR开源引擎是业内最准确的三款识别引擎之一, 具有丰富的公共识别库, 也可根据需要进行个人样本库的建设。
同时支持java、.NET、PHP、Python等主流语言都有相应的封装类库。识别的主要C#代码如下:
3 结束语
通过对某些论坛验证码进行试验测试, 发现对相对简单验证码识别率高达95%以上;对一些字符粘连、动态变化的验证码, 识别率很低, 因此在识别前应对图片进行特殊的处理。同时建议对系统安全性要求高的网站验证码多加入一些识别率低的噪音如中文, 适度旋转, 粘连, 动态变化等内容, 以此提高网站的防护能力。
参考文献
[1]Rafael C.Gonzalez, Richard E.Woods.数字图像处理 (第三版) [M].北京:电子工业出版社, 2011.
[2]刘直芳, 王运琼, 朱敏.数字图像处理与分析[M].北京:清华大学出版社, 2006.
[3]Gary Bradski, Adrian Kaehler.Learning OpenCV[M].南京:东南大学出版社, 2009.
[4]盛骤, 谢式千, 潘承毅.概率论和数理统计[M].北京:高等教育出版社, 2000.