简介：文献[1]首次提出的公开可验证的秘密共享方案在安全多方计算协议的设计中有重要作用,然而[1]提出的两个具体的方案在公开验证参与者收到共享的有效性时,需要进行大量的计算,因而是不实用的.本文提出一个共享给定公开值的秘密方幂的PVSS(SP-PVSS),该方案大大减少了共享有效性验证的计算量,具有更好的实用性.

简介：基于软件维护性尽早、全过程迭代验证的思想,提出了贯穿软件生命周期的维护性迭代验证策略及过程,建立了基于功能块平均维护时间的维护性迭代验证模型。通过阶段性地开展软件维护性验证,可及时发现软件维护性设计缺陷并及早更改,避免造成严重的维护性质量问题,大大降低软件使用阶段的维护费用,提高软件系统的完好率。通过制定规范的软件维护性验证策略和方案,规范了软件维护性验证实施过程,为软件维护性验证人员提供了可行的操作指南,也为软件维护性验证平台开发人员明确平台需要提供参考。实例验证结果表明:所提出的软件维护性迭代验证方法是有效、可行的,可为软件研制人员提供理论指导,也为软件使用和维护人员制订软件维护计划、配置软件维护资源提供决策依据。

简介：摘要:适航符合性验证是民用发动机研制的特点,符合性是验证的目的,验证方法是确定验证对象是否具有符合性时所用的手段。本文通过介绍十种适航符合性验证方法以及对符合性验证方法的选用原则进行分析,对符合性验证方法作了较详细的介绍，可供发动机设计、适航技术人员参考、借鉴。

简介：作为MirelPHA生物塑料商业化进程的一部分，有必要对投放市场的备受瞩目的消费类产品的注塑成型工艺进行验证。这是因为，Mirel是一种全新的聚合物，具有不同的性能和加工特点，加工商自然而然会对传统工具是否具备开发Mirel成型件的能力产生怀疑。

简介：摘要验证性实验是指验证已知结果的实验，不需要做假设。探究性实验是指对未知结果的探索；需要做假设，并且假设、预期和结论是一一对应的。

简介：在哥哥十四岁我九岁的那年,是我童年里最快乐的时光。哥哥那时为他自己和我各做了一付滑板车,每天我们脚踩着滑板车在巷子里快速滑行,惹得路人侧目而视。哥哥胆大而技熟,他可以在水泥道路上做一些花样滑冰动作。滑板车运动很快在我们那个街道风靡开来,二十来岁以下的男孩女孩每人都有一付。在某个日子里,巷子里会出现一长队滑板车手,穿着艳丽花衣服的女孩子混杂在一帮赤膊的男孩子里,其中还有两个男孩子剃着光葫芦头,很引人注目。他们打着唿哨,尖叫着,朝路人做着滑稽的鬼脸。我跟在哥哥的后面,虽然每天都要受到其他大孩子的推搡和斥责,骂我什么“小屁孩”,“鼻涕虫”,但我还是快乐的,因为象我

简介：创设情境－发现问题－设计实验－实验探究－科学抽象－结论与应用　　在实验探究的教学过程中,　　验证性实验以训练学生的实验技能、验证基本理论原理为主要目标,对于过程和方法照方抓药的验证性实验过多

简介：目的通过分析扩散张量成像及传导性失语患者言语障碍的特点,验证传导性失语发病机制的双向分布学说.方法对5例传导性失语患者和5例健康自愿者进行北京医科大学附属第一医院神经内科制定的利手评定标准判断进行利手评定,对传导性失语患者进行口语流利型评定,应用扩散张量成像分析所有入选者的Broca区和Wernicke区的情况.结果1例患者为非流利型口语,其他4例为流利型口语;入选者均为右利手,传导性失语患者的Broca区和Wernicke区与正常对照组相比均有不同程度的受损,如病变靠近Broca区则引起非流利型口语,如病变靠近Wernicke区,则为流利型口语,患者听理解障碍严重.结论传导性失语患者的Broca区和Wernicke区均可受累,损伤的部位不同,传导性失语言语障碍的特点也不同.

简介：由于导通及开关损耗小以及易于使用等优点，IGBT在电力电子系统中得到越来越广泛的应用。在设计电路之前，需要精确的器件模型及模型参数对电路进行仿真。本文提出一种基于实验测量、仿真及优化算法的IGBT模型参数辨识方法。以BUP302为例，给出了静态参数及动态参数的结果。在参数辨识的基础上，文中还提出了模型参数有效性验证的方法，最后给出了有效性验证结果。

简介：摘要

简介：摘要我国机电设备机电检测验证技术的研究，比之国外起步较晚，整体水平也相对落后。然而随着近几年的发展和广泛的应用，该项技术已经为机电设备的运用提供了良好的保障，使得有关工作人员能够及时掌握运行状况，提高对设备的维护效率。进一步的降低企业在设备之上的成本费用，同时不断的提高设备运行的安全性和稳定性。

简介：【摘要】如今几乎每个人都有一部手机或者数码相机,  随时可以拍下一张照片记录当下,  各种强大的图形编辑器和复杂的图像处理技术使得修改原始图像变得极为容易。在大多数情况下编辑图片是可以的，但某些类型的图片永远不允许修改；特别是不得以任何方式修改作为法庭证据的图片；否则图片将失去作为可接受证据的可信度。所以在特定的环境下鉴定图片是否修改显得尤为重要，但是除了肉眼观察鉴别以外，我们还可以使用一些工具来帮助我们判断这一张图片是否修改。

简介：摘要：利用量热仪对燃煤进行发热量的测定，通过仪器的热容的标定、温度的监控、标准物质、样品、燃烧性和第三方比对等方式对量热仪测煤质中发热量的数据的准确性进行验证。

简介：摘要：根据《公路水运工程质量监督管理规定》（交通运输部令2017年第28号）第二十五条交通运输主管部门委托的建设工程质量监督机构应当对建设单位提交的报告材料进行审核，并对工程质量进行验证性检测，出具工程交工质量核验意见。有规需依，为保证工程质量，验证性检测是必不可少的措施。本文就公路水运工程验证性检测的检测项目、检测设备和技术、检测过程和数据处理、检测报告的编制、检测结果的应用进行探讨。

简介：小学科学实验基本上可分为两大类：验证性实验和探究性实验。所谓验证性实验就是在学生既得知识经验基础上设计出程式化实验方案，再由学生通过观察和操作，验证并巩固习得知识同时培养实验技能的实验方式。而探究实验则是指学生在生活实践和学习新知过程中发现问题，为探索未知知识，通过自己设计并实施计划，以直接或间接的直观材料为研究对象，结合已有的知识结构进行观察、试验、讨论，总结出新观点、新规律的实验方式。两类实验既有较大区别又相互补充、相互验证，在科学教学中缺一不可。本文以“探究蚂蚁的通讯”为例，试谈验证性实验和探究性实验的区别及其转换策略。

简介：国家光伏质检中心实现“一测三证”；国内首个太阳能玻璃行业标准获得通过；欧瑞康太阳能获得非微晶堆叠（Micromorph）Master认证。

简介：摘要：目的：清洁验证中取样瓶选择的验证。方法：主要是通过TOC分析方法验证，判断以及评价选择的取样瓶是否科学、合理，是否能有效控制设备清洁后的残留物限度。结果：定量限及检测限，线性、精密度试验、系统适用性、准确度试验测试结果均能满足要求。结论：选择空白水平可控的取样用具，提高化学残留清洁验证中检验结果的准确性，更好地反应共线生产的交叉污染情况。

简介：摘要：目的：清洁验证中取样瓶选择的验证。方法：主要是通过TOC分析方法验证，判断以及评价选择的取样瓶是否科学、合理，是否能有效控制设备清洁后的残留物限度。结果：定量限及检测限，线性、精密度试验、系统适用性、准确度试验测试结果均能满足要求。结论：选择空白水平可控的取样用具，提高化学残留清洁验证中检验结果的准确性，更好地反应共线生产的交叉污染情况。

简介：摘要：药品生产应按照特定程序在药品生产过程中做好防止污染和交叉污染的工作，这样能有效保障药品的生产质量，药品生产设备中采取清洁验证方法能考虑到清洁验证范围、明确残留物的限度，科学合理地评估药品和设备，这样才能让药品质量达到安全可靠的效果。

简介：