科学网 › 标签 › 复合

标签: 复合

相关帖子	版块	作者	回复/查看	最后发表

没有相关内容

相关日志

1403人才论: benlion 2014-3-11 02:55; - 复合词与单纯词国际竞争是组织化人才竞争，也就是社会组织的人才类型与人才布局的竞争；因而，同一个岗位的人才之间选择，同一个人才不同组织的选择，决定了个人和社会的发展前景。人才，一个复合概念，不仅专业才能，而且，个体品性，多种学问、技术和人格等综合体。科学是一类学术和技能训练，宗教是一类人品和历史教育；然而，二者都是复合概念，包含单纯概念的组合与构成。哲学、数学、技术、艺术、语言一般属于单纯概念。系统生物学，尽管 1968 年提出，但与理论生物学概念重合为系统论或数学方法的生物学研究，而直到 1992 年之后，才重新发展。 1999 年 * ，国际上，几乎同时进入了计算、组学、合成和网络生物学方法，也重新开始数学生物学和代谢工程的系统生物学研究。合成生物学，尽管 1910 年提出，但为化学进化论和 DNA 分子合成与重组概念，而直到 1994 年之后，才重新发展为工程方法的系统生物学或系统生物工程概念。技术、数学和属于哲学的逻辑学，一般是科学的构成要件，尤其技术，几乎是科学的前提，否则就是哲学思辨，却不是科学的客观知识了，而科学规律又常以数学方程或模型来体现。因而，系统与合成生物学，更需要复合型人才教育与科研、产业的综合型组织与管理模式。注 * ： 1 ）计算 – D.Nobel, M.Tomita, H.Kitano 等； 2 ）组学 – GM.Church, L.Hood, R.Aebersold 等； 3 ）合成 – JJ.Collins, S.Benner, T.Knight 等； 4 ）网络 – T.Pawson, AL.Barabosi, U.Alon 等； 5 ）数学 – EO.Voit, D.Kell, O.Wolkenhauer 等； 6 ）工程 – AP.Arkin, J.Nielsen, BD.Palsson 等。 - （未来：中国之道路） -; 个人分类: 2014y|1863 次阅读|0 个评论

双金属连铸复合技术: 热度 1 Deformation 2013-10-27 23:48; 通过连铸的方法生产双金属复合材料产品，如双金属板材、棒材、管材，获得更优异的性能组合，一直是企业、研究机构的热点之一。下面是几种公开报道比较多的双金属连铸复合工艺示意图。 1.反向凝固技术，用于生产复合钢带、铜包钢线、铝合金复合带材等。国外亚琛工业大学，国内的东北大学、北京科技大学对反向凝固工艺进行了研究。 2.CPC工艺，用于生产复合轧辊。 3.电磁控制连铸技术。日本新日铁在90年代开发的复合钢坯的水平磁场( Level Magnetic Field ， LMF )连铸。国内大连理工大学对电磁控制连铸研究比较多，利用电磁制动半连铸制备铝合金复合锭，复合管等。 4.双流浇注半连铸工艺，华南理工大学研究该工艺比较多，用于制备梯度复合材料， Al-Si/Al 、 Al-5Cu/Al 、 ZL102/Al 、 2024/3003 、 Al/AZ91 、 6009/7075 。 5.双结晶器连铸工艺，由北京科技大学提出，用于制备外层金属熔点低于内层金属熔点的双金属棒材。 6.充芯连铸工艺、气压顶出充芯连铸工艺，由北京科技大学提出，用于制备外层金属熔点高于内层金属熔点的双金属棒材。气压顶出充芯连铸工艺专门用于制备包覆层较薄的复合材料。 7.水平连铸复合工艺。大连理工大学提出的水平连铸复合工艺用于制备铝合金复合管。白俄罗斯国家科学院（ National Academy ofScience, Belarus ）提出的水平连铸复合工艺，用于制备双金属复合棒材和板材。北京科技大学提出的水平连铸直接复合成形工艺用于制备铜包铝复合圆棒、矩形、方形断面复合棒材。 8. DC 半连铸复合工艺东北大学和大连理工大学都在开展基于DC半连铸的连铸复合工艺，用于生产铝合金三层复合板、复合圆锭、复合板材。 9. Novelis Fusion TM 连铸复合工艺 Novelis开发的这种工艺也是基于DC半连铸，但是 Novelis Fusion TM 已经商业化，所生产的AA1200/AA2124复合扁锭的横截面尺寸达到 4690×1750 mm。 10.双辊连铸复合工艺由日本东京工业大学（ Tokyo Institute ofTechnology, Japan ）和大阪工业大学（ Osaka Institute ofTechnology, Japan ）开发的双辊连铸复合工艺，生产效率高、产品性能优。; 5785 次阅读|2 个评论

米拉围脖：复合动力车在美国产业界是全军覆没: 热度 1 liwei999 2013-5-25 19:50; 不是说产业本身的问题，而是说对技术潮流的认识。复合动力车这个部分美国产业界是全军覆没。作者: mirror (*) 日期: 05/24/2013 16:53:30 这相当于说“一步跨入共产主义”与“初级阶段”的说法。显然，历史证明了“一步跨入共产主义”不合理，还要有很长时期的“初级阶段” 。美国的汽车界曾认为要一步电气化，但事实证明也需要有个复合动力的“初级阶段”。技术的问题与能否赚到钱是两类事情。当然人们往往希望又是美女、又是才媛、性格又好的。但是现实当中，能有一种的就很不易了。 ---------- 就“是”论事儿，就“事儿”论是，就“事儿”论“事儿”。; 个人分类: 镜子大全|2690 次阅读|1 个评论

热处理工艺对铜铝复合母线排界面性能的影响: nightreading 2013-5-20 08:04; 热处理工艺对铜铝复合母线排界面性能的影响摘要：本文使用五机架连轧工艺制备了铜铝复合母线排，通过不同热处理工艺对轧态产品进行处理，使用金相显微镜观察铜 / 铝界面层的相貌，使用显微硬度计测量了界面层处的硬度分布，使用能谱对界面处的成分变化进行定性，分析热处理工艺对铜铝复合母线排界面性能的影响，为工业生产提供借鉴。关键词：连轧、母排、复合材料、界面 The influence of heat treatment process on the boundary layer of Copper clad Aluminum compound bus bar Abstract ： Copper clad Aluminum bus bar were prepared using five stand continuous rolling system, and heat-treated by different processes, the Cu/Al boundary layer were observed using microscope, and hardness of the boundary were tested using micro-hardness tester, the chemical composition was tested using EDX. And the influence of heat-treatment process on the boundary in order to support industrial production. Keywords: Continuous rolling, Bus-bar, Composite, Boundary layer 　早在20世纪，铜包铝材料就在欧美国家受到关注，业内称其为继铜、铝后第三代新型导体材料，并广泛应用于自动化、冶金、高低压电器、建筑行业及冶金行业等行业。在国内，随着输配电行业快速发展，铜资源已经成为行业发展的制约因素，节约铜资源，开发新型导体材料很有必要。铜铝复合母线排属于二维铜铝复合材料，较好地将铜的导电、导热率、接触电阻低等电工特性与铝的质轻、易成型的工艺和力学特性结合起来，获得优良的综合特性，其中铜铝界面特性对于复合材料的电工和成型特性直观重要。本文针对铜包铝母排的界面构建进行研究，重点分析了热处理工艺的影响，希望可以为产品制造和新品研发提供借鉴。 1. 试样制备试验样品为苏州华铜复合材料股份公司生产的铜包铝复合母排，其中表层材料为 T2 铜，成分范围满足 GB/T 5231 要求，铝的排号为 1050 ，成分范围满足标准 GB/T 3190 要求，铜在材料中的体积比为 20% 。铜铝复合母排坯料经过五机架连续轧制后，规格为 10mm × 100mm × 4000mm 。取样后，分别在马弗炉内进行退火热处理，退火工艺见表 1 。表 1 铜铝复合排轧制件退火工艺 Table 1 Annealing process 样品序号退火温度， °C 退火时间，分钟冷却方式样品 1 350 60 空冷样品 2 350 120 水冷样品 3 450 60 水冷样品 4 450 120 空冷将退火后的铜铝复合母排在锯床上进行分割，研磨抛光后，采用4%硝酸酒精进行表面腐蚀。采用HB-3000型布氏硬度计进行复合排表面的布氏硬度测量。采用奥林帕斯DM51 的金相显微镜进行界面形貌观察。采用型号S4800扫描电子显微镜进行界面电子形貌观察，同时采用EDX进行界面合金成分进行分析。 2. 实验结果 4 种样品的小载荷维氏硬度测试结果见表1. 表2 四种样品表面布氏硬度硬度 Table 2 Brinell hardness of 4 samples 样品样品 2 样品 1 样品 3 图1 不同热处理工艺的样品横截面金相照片（左侧为铝，右侧为铜），×500 Fig.1 Micro-photos for cross-section of samples(Al left, Cu Right) ，×500 其中样品3的界面电子显微形貌如图2：图 2 样品 3 的截面电子显微形貌 Fig.2 Electronic microscope photos for sample 对样品 3 铜铝界面层进行能谱分析，其化学成分见表 2 ：表 2 铜铝界面层的化学成分 Table 2 Chemical composition of the boundary layer 元素重量百分比， % 原子百分比 % Al 45.70 66.46 Cu 54.30 33.54 3. 结果分析从铜铝相图上看，二者之间可以形成多种化学物，其中包括 q 相、 z 2 相、 h 2 相等。各种化合物有金属元素组成，称为金属间化学物，硬而脆，变形能力差，在应力集中的情况下容易发生开裂。图 3 铜铝二元相图 Fig. 3 Binary diagram of Cu-Al 根据界面层的能谱测试结果可知，在 450 ° C 热处理工况下，铜铝之间形成了金属间化学物组织界面层，其铜和铝原子配比接近 1 ： 1 ，为 h 2 相。由于金属间化合物硬且脆，当厚度过大时，在变形过程中容易形成应力累积，产生开裂。在样品 4 的实验过程中，就发现过合金层处出现微裂纹的现象，这些微裂纹在材料整体变形过程中会成为裂纹源，导致界面的整体失效。对比分析不同温度的界面形貌，发现温度对界面层的促进作用大于时间因素，对于同一温度，合金层一旦形成，时间延长后，合金层厚度显著增加。从材料热力学角度进行分析，材料的化合需要满足一定的热力学条件，在一定温度下，铜铝原子活性增加，克服化合所需的势垒，形成金属间化学物。同时化学物的增加需要原子的扩散，高温下，原子的扩散能力较强，容易形成厚合金层。温度对界面的生成和生长均具有促进作用，而随着时间的延长，原子的扩散距离和扩散数量增加，也会促进界面层的形成，但作用弱于温度的影响。对不同热处理温度下的材料硬度进行分析，发现热处理温度与硬度之间存在较弱的正相关性，随着热处理温度的增加，材料的硬度略微降低，其中冷却方式对于材料硬度的硬度不明显。本文补充实验证明，冷加工后铜的硬度增加较多，而铝的硬度增加较少。在 450 ° C 情况下进行退火，铝和铜已经产生再结晶，金相照片表明，二者的显微组织均为等轴晶粒。由于二者的纯度较高，没有产生固溶强化。布氏硬度测试过程中，测试结果为铜和铝的复合硬度，硬度值略高于铝，远低于铜。 4. 结论 1 ）在 450 ° C 热处理工况下，铜铝之间形成了金属间化学物组织界面层，其铜和铝原子配比接近 1 ： 1 ，为 h 2 相。 2 ）相对于保温时间而言，温度对界面合金化层的影响作用较大。 3 ）冷却方式对复合排的力学性能影响较小，表面布氏硬度低于铜层，而高于铝基体。参考文献孙德勤 , 吴春京 , 谢建新 . 铜包铝复合线材制作技术的发展现状与前景 . 电线电缆 , 2003(3): 3-6. 高文浩 . 铜包铝线标准化 . 光纤与电缆及其应用技术 , 1999(3): 23-27. 刘芳 . 金属的电化学腐蚀与铜铝导体的连接 , 农村电气化 , 2001(3): 35-36. 张正南 . 跌层母线排 . 电源技术应用 , 2001(3): 35-36. 周邦新 , 蒋有荣 . Cu-Al 爆炸焊接结合层的透射电镜研究 . 金属学报 . 1994(3): 104-108. 戴雅康 . 铜包铝内导体 CATV 同轴电缆的特性 . 广播与电视技术 . 1997(5): 25-28.; 个人分类: 工作领域|4002 次阅读|0 个评论

激光熔覆和重熔制备FeNiBSiNb非晶纳米晶复合涂层: oxidpl 2013-5-9 16:54; 发表于《中国有色金属学报》2011,21（11）：2846-2851 摘要：采用激光熔覆 + 重熔的方法在低碳钢 CCS-B 上制备了 Fe-Ni-Si-B-Nb 系非晶纳米晶复合涂层。利用 X 射线衍射、扫描电镜、 EDAX 能谱及透射电镜分析了涂层的物相、组织结构；运用显微硬度计、纳米压痕仪及摩擦磨损试验机研究了涂层的显微硬度分布、微观力学性能及摩擦磨损性能。研究结果表明：熔覆层的组织由表面至基体分为：非晶纳米晶复合区、熔覆层与基体，其中复合区中为 Fe 2 B+γ-(Fe,Ni) 多晶 + 非晶相的混合组织；涂层的最高显微硬度达到了 1369H v ；涂层的平均摩擦系数为 0.275 ；涂层的主要磨损形式是磨粒磨损和粘着磨损，具有良好的摩擦磨损性能。激光熔覆和重熔制备FeNiBSiNb系非晶纳米晶复合涂层.pdf; 个人分类: 激光应用|3537 次阅读|0 个评论

[转载]2013年MBA联考逻辑之重点题型复合判断: PhDchina 2013-1-9 10:43; 　　2013年联考逻辑之重点题型——复合判断　　跨考教育专硕教研室　　一、2013年 MBA联考逻辑之复合判断　　2012年复合判断推理所占的比例超过二分之一，2013年虽然有所减少，但仍然有9个，占了将近三分之一，其重要性不言而喻。但是能够掌握其知识并熟练运用的话，复合判断还是比较容易快速且准确的解决。　　二、复合判断主要知识点　　1、假言判断　　充分条件假言判断是断定充分条件关系的假言判断。事物情况p 是事物情况q 是充分条件是指：有p 一定有q ，但无p 未必无q (因而无q 一定无p ，有q 未必有p )。　　必要条件假言判断是断定必要条件关系的假言判断。事物情况p 是事物情况q 的必要条件是指：无p 一定无q ，但有p 未必有q (因而有q 一定有p ，无q 未必无p )。　　充分必要条件假言判断是断定充分必要条件关系的假言判断。事物情况p是事长情况q 的充分必要条件是指：有p 一定有q ，无p 一定无q (因而有有p 一定有q ，无p 一定无q )。　　2.联言判断　　联言判断是断定几种事物情况同时存在的复合判断，标准形式是“p 并且q ”(日常语言中也可表述为“不仅p ，而且q ”，“虽然p ，但是q ”，“既p ，又q ”等等)，p 、q 称为联言支。一个联言判断是真的，当且仅当联言支都是真的。也就是说，联言支只要有一个是假的，联言判断就是假的。　　3.选言判断　　选言判断是断定几种事物情况至少有一种存在的复合判断。选言判断分为相容选言判断和不相容选言判断。相容选言判断的标准形式是“p 或者q ”，p 、q 称为选言支。相容选言判断断定选言支至少有一真，也可以都真。　　4.负判断　　负判断是否定一个判断得到的复合判断。标准形式是“并非p ”。　　三、真题解析　　【2013】54-55题基于以下题干：　　晨曦公园拟在园内东、南、西、北侧区域种植四种不同的特色数目，每个区域只种植一种，选定的特色树种为：水杉、银杏、乌柏、龙柏。布局的基本要求是：　　(1) 如果在东区或者南区种植银杏，那么在北区不能种植龙柏或乌杉。　　(2) 北区或东区要种植水杉或者银杏子。　　54、根据上述种植要求，如果北区种植龙柏，以下哪项一定为真? 　　A、西区种植水杉　　B、南区种植乌杉　　C、南区种植水杉　　D、西区种植乌柏　　E、东区种植乌柏　　【参考答案】B 　　【解析】根据充分条件假言推理，如果P那么Q，否定后件则否定前件，即非Q则非P。根据(1) 如果在东区或者南区种植银杏，那么在北区不能种植龙柏或乌柏。如果北区种植龙柏，则否定了后件，则前件条件也不出现。则银杏不种植在东区和南区，北区种植龙柏，则西区种植银杏，根据(2)北区或东区要种植水杉或者银杏子，东区种植水杉，则南区种植乌杉。　　55、根据上述种植要求，如果水杉必须种植于西区或南区。以下哪项一定为真? 　　A、南区种植水杉　　B、西区种植水杉　　C、东区种植银杏　　D、北区种植银杏　　E、南区种植乌柏　　【参考答案】D。　　【解析】根据(2)北区或东区要种植水杉或者银杏，根据题干水杉必须种植于西区或南区，则银杏种植于北区或东区，可知南方不可能种植银杏。根据(1)如果在东区或者南区种植银杏，那么在北区不能种植龙柏或乌柏。假设东区种植银杏，则北区不能种植龙柏或乌柏，那么北区只能种植水杉，但水杉只能种植于西区或南区，导致矛盾。所以北区种植银杏，D为正确选项。; 1285 次阅读|0 个评论

中国已进入大数据时代: 热度 1 xupeiyang 2012-12-2 07:23; 中科院院长白春礼呼吁制定国家大数据战略中科院院长白春礼呼吁制定国家大数据战略中国科学院院长、中国科学院大学(国科大)校长白春礼院士12月30日呼吁说，大数据(BIG DATA)是一门新交叉学科，2011年全球创建和复制数据总量达到1.8ZB(1ZB等于10的21次方比特)，中国应制定国家大数据战略。由国科大与高等教育出版社共同主办的“中国科学与人文论坛”当天下午在北京举行第136场报告会，白春礼应邀做《把握科技发展新态势实现创新驱动新发展》主题报告时作上述表示。他说，2012年3月，美国启动“大数据研究和发展计划”，把大数据称为“未来的新石油”，其6大机构合力研发核心技术、整合相关应用人才，大力支持协同创新。白春礼提出，中国制定国家大数据战略的主要内容包括：构建大数据研究平台，即国家顶层规划，整合创新资源，实施“专项计划”，突破关键技术；构建大数据良性生态环境，制定支持政策、形成行业联盟、制定行业标准；构建大数据产业链，促进创新链与产业链有效嫁接。 “世界正处在新科技革命前夜。”白春礼还指出，新科技革命可能在基本科学问题、能源与资源、信息网络、先进材料和制造、农业、人口健康等六大领域孕育并产生重大创新突破。在基本科学问题领域，宇宙演化方面，揭开暗物质、暗能量之谜，将引发新的物理学革命；物质结构方面，科学家已经能够对单粒子和量子态进行调控，对量子世界的探索从“观测时代”走向“调控时代”；意识本质方面，一旦突破探索智力的本质、了解人类的大脑和认知功能，将极大深化人类对自身和自然的认识，引起信息与智能科学技术新的革命。此前，人类历史上已发生5次科技革命：以伽利略、哥白尼、牛顿等为代表的科学家，在天文学、物理学等领域带来第一次科技革命；以蒸汽机的发明与应用及机器作业代替手工劳动为主要标志的第二次科技革命；以电力技术和内燃机发明为主要标志的第三次科技革命；以进化论、相对论、量子论等为代表的第四次科技革命；电子计算、信息网络出现带来的第五次科技革命。更多阅读李国杰院士：大数据成为信息科技新关注点郭华东院士：人类将进入“大数据”时代 http://news.sciencenet.cn/htmlnews/2012/12/273456.shtm 　“大数据”作为一个较新的概念，目前尚未直接以专有名词被我国政府提出来给予政策支持。不过，在12月8日工信部发布的物联网“十二五”规划上，把信息处理技术作为4项关键技术创新工程之一被提出来，其中包括了海量数据存储、数据挖掘、图像视频智能分析，这都是大数据的重要组成部分。而另外3项关键技术创新工程，包括信息感知技术、信息传输技术、信息安全技术，也都与“大数据”密切相关。　虽然大数据目前在国内还处于初级阶段，但是商业价值已经显现出来。首先，手中握有数据的公司站在金矿上，基于数据交易即可产生很好的效益；其次，基于数据挖掘会有很多商业模式诞生，定位角度不同，或侧重数据分析。比如帮企业做内部数据挖掘，或侧重优化，帮企业更精准找到用户，降低营销成本，提高企业销售率，增加利润。　　未来，数据可能成为最大的交易商品。但数据量大并不能算是大数据，大数据的特征是数据量大、数据种类多、非标准化数据的价值最大化。因此，大数据的价值是通过数据共享、交叉复用后获取最大的数据价值。在他看来，未来大数据将会如基础设施一样，有数据提供方、管理者、监管者，数据的交叉复用将大数据变成一大产业。据统计，目前大数据所形成的市场规模在51亿美元左右，而到2017年，此数据预计会上涨到530亿美元。中国大数据技术市场未来5年复合增长率将达50% http://www.iotworld.com.cn 来源：人民邮电报 2012-11-29 08:30:00 导读： IDC近日发布了其关于的首份报告《中国大数据技术与服务市场2012-2016年预测与分析》，该报告显示该市场规模将会从2011年的7760万美元增长到2016年的6.17亿美元，未来5年的复合增长率达51.4%，市场规模增长近7倍。 IDC近日发布了其关于的首份报告《中国大数据技术与服务市场2012-2016年预测与分析》，该报告显示该市场规模将会从2011年的7760万美元增长到2016年的6.17亿美元，未来5年的复合增长率达51.4%，市场规模增长近7倍。中国已进入大数据时代该报告定义了大数据技术作为新一代技术和体系架构，将能利用较低的成本，通过高速捕获，发现并对超大量、众多类型的数据进行分析，以获得信息的价值。该报告将大数据市场分为服务器、存储、网络、软件以及服务子市场。 IDC中国负责商业分析软件市场研究的经理潘永花指出：“从全球看，大型的IT公司普遍增加了对大数据相关技术和产品的投资，同时也出现了不少新的关注大数据的小型公司。在中国，互联网巨头是率先使用大数据技术的用户，但他们主要基于开源软件自主开发大数据应用。电信和银行领域开始对大数据技术和服务产生浓厚的兴趣，将会从非关键应用开始尝试使用大数据解决方案。” 在中国，移动互联网、电子商务、物联网以及社交媒体的快速发展已经使我们进入了大数据时代。IDC认为，大数据市场不是由某些特定产品所驱动的，每种应用实例都需要不同层次的产品组合，包括服务器、存储、网络、软件和服务等，以获得更好的应用效果。应用处在起步阶段 IDC《中国大数据技术与服务市场2012-2016年预测与分析》有以下发现： 1. 中国大数据技术和服务市场未来5年的复合增长率将达51.4%，其中增长率最高的是存储市场，将达60.8%，服务器市场的增长率则是38.3%，远远高于其他非大数据产品相关的市场。 2. 中国的大数据应用处在起步阶段。淘宝、腾讯以及百度这些互联网巨头是率先使用大数据技术的用户，但他们主要基于开源软件自主开发大数据应用。电信和银行领域开始对大数据技术和服务产生浓厚的兴趣。 3. 大数据时代给不同的厂商带来了机会，包括基础设施硬件、软件和服务提供商。目前，服务器仍是总体大数据市场的最大部分，但是到2016年，存储将会占据最大份额。 4. Hadoop Map/Reduce 生态系统的发展和完善将会对大数据应用的发展起到非常重要的作用，我们应该开始关注很多使用该技术的创业型公司。但大数据技术市场将会是一个混合多种技术的世界。 5. 大数据专业人才，特别是数据分析专家这类复合型人才的稀缺将会影响该市场的发展。; 个人分类: 数据科学|4472 次阅读|2 个评论

如何使用origin 8 做作复合线性回归: Bearjazz 2011-11-15 10:44; 如何使用 origin 8 做作复合线性回归熊荣川中国科学院成都生物研究所六盘水师范学院生命科学系 xiongrongchuan@126.com 线性回归是在相关性研究中经常用到的手段， origin 作为一个强大的统计分析软件当然不会漏掉这个功能。然后，在实际科研中，我们往往要对数据进行一些不同的分组，以找到更为明显的相关性，比如同时对所有数据和其中的部分数据进行线性回归，也即在同一张图上作出两个基于不同数据点的回归曲线。下面我们将通过实例操作，一步步展示详细步骤。为了图文并茂，请下载 pdf 文件阅读。如何使用origin 8 做作复合线性回归.pdf; 个人分类: 我的研究|8597 次阅读|0 个评论

更多...

帐号		自动登录	找回密码
密码			注册

关闭 安全验证

标签: 复合

相关帖子

相关日志

关闭安全验证