验证性

摘要： 我们正处在一个空前的全球创业兴盛时代,但无数创业公司都黯然收场,以失败告终。精益创业代表了一种不断形成创新的新方法,它源于“精益生产”的理念,提倡企业进行“验证性学习”,先向市场推出极简的原型产品,然后在不断地试验和学习中,以最小的成本和有效的方式验证产品是否符合用户需求,灵活调整方向。

摘要： 近年来,随着密码学技术和互联网技术的不断发展,电子投票越来越得到社会的广泛关注.但传统电子投票存在隐私问题,严重威胁着投票的公平公正.电子投票系统是基于密码学的综合性系统,所依赖的密码学技术大致有以下4类:混合网络、盲签名、同态加密和秘密共享.其中秘密共享技术的安全性更高,数据处理效率更好.然而这种投票方案组成复杂,多方之间的通信复杂度高是限制其进一步应用和发展的主要问题.除此之外,在不泄露选票信息的前提下,实现选票有效性的验证也是一大挑战.针对上述问题,提出了一种基于秘密共享、可非交互式验证的安全电子投票系统.该系统使用非交互式的零知识验证方法,在满足投票系统基本安全要求的前提下,减少了通信复杂度,只要有1台投票服务器是诚实的就可以保证匿名性.除此之外,针对合谋攻击和分布式拒绝服务攻击具有一定抵抗能力.这些改进使得该系统适用于大型匿名投票场景.

摘要： 材料力学实验课与理论课相辅相成,通过实验课可以验证理论课知识点的正确性,培养学生理论联系实际的能力.辽宁工业大学以往开设的材料力学实验,多为单一理论验证性实验,而只开设验证性实验,既不利于培养学生解决涉及多知识点交叉的综合性问题的能力,也不利于培养学生的创新思维和设计能力,且原有的实验讲解方式为"教师围着设备讲",整体教学效果并不好.在教师讲解过程中引入多媒体技术及虚拟仿真技术,以原有的验证性实验为基础,增设综合性、设计性实验,建设分层次实验教学体系,可以提高学生解决综合实验问题的能力,培养学生的设计创新能力,在实践中取得了很好的实验教学改革效果.

摘要： 数学学习是一种理解性学习,学习应当围绕概念的层阶化理解展开,教师要在技术工具上做好创造性的支持。以整数、分数、负数的认识为载体,开发验证型、探索型、理解型数学实验,为学生搭建数学思维支点或模型,引导学生建构“数”概念理解的框架,让静态内容动态化、系统化,进而促进深度学习的有效开展。

摘要： 数学学习是一种理解性学习,学习应当围绕概念的层阶化理解展开,教师要在技术工具上做好创造性的支持.以整数、分数、负数的认识为载体,开发验证型、探索型、理解型数学实验,为学生搭建数学思维支点或模型,引导学生建构"数"概念理解的框架,让静态内容动态化、系统化,进而促进深度学习的有效开展.

摘要： 基础研究是科技创新的源头,也是目前制约我国科技创新的主要短板。近年来,我国基础科学研究有了很大的进步,但主要还是填补空白的多、验证性的多,开山架桥挖井的少,解决眼前问题和跟踪的多,真正关注十年以后我国成为科技强国后能引领世界的重大原创成果的少。针对这些问题,我们迫切需要在全国尤其在西部布局建设一批基础科学中心,特别是要尽快建设多学科交叉的基础创新中心和跨学科基础人才培养基地。

摘要： 物理作为一门以实验为基础的学科,实验教学在课堂教学中的作用是其他方法不可替代的,但在实际的教学中,很多的实验"探究课"却被当成"验证课"来进行,这和我们提倡核心素养下的为学生思维而教的观念存在着极大的冲突,本文试从对一节实验探究课的改进谈起.

摘要： 物理作为一门以实验为基础的学科,实验教学在课堂教学中的作用是其他方法不可替代的,但在实际的教学中,很多的实验"探究课"却被当成"验证课"来进行,这和我们提倡核心素养下的为学生思维而教的观念存在着极大的冲突,本文试从对一节实验探究课的改进谈起。

摘要： 信息化时代背景下.数据挖掘技术在中医药领域得到了广泛的应用,文章以中医药辨证用药规律总结为例针对目前中医药数据挖掘过程中存在的常见问题,如,文献的检索、中医药术语规范化、文献的质量评价与纳入、结论的验证性、可视化网络构建等进行了思考,发现其中存在的潜在弊端,从批判性的角度提出了自己的浅见与针对性策略,以期规避中医药数据挖掘研究中存在的缺陷,为中医药精准辨证治疗提供保障.

摘要： 介绍在电路分析基础、信号与系统及数字信号处理实验系列教材的建设中，注重内容的基础性、完整性和通用性，利用MultiSim、MATLAB、LabVIEW等最新技术，采用验证性、设计性、综合性等实验形式，以提高学生的创新能力和工程实践能力作为出发点和目的，编写教材的情况．

摘要： 本发明公开一种用于挠性卫星挠性振动评估的地面物理仿真验证系统，该系统包含：模拟太阳能电池阵，其通过调节模拟太阳能电池阵与卫星中心体安装的不同角度，模拟太阳能电池阵的对卫星中心体的不同耦合干扰作用；挠性特性测量与辨识子系统，其电路连接模拟太阳能电池阵，测量模拟太阳能电池阵的挠性振动变形信息。本发明设计全新的挠性振动物理试验模型；在挠性振动物理仿真试验模型的基础上，加入高精度零重力模拟系统、位姿随动系统、干扰激励模拟子系统，确保与卫星的外太空工作环境相吻合；加入试验性能评估子系统和监控子系统，对于挠性振动结果进行评估，对卫星控制系统控制精度进行仿真试验评估。

摘要： 本发明公开了一种芯片合法性验证装置以及基于芯片合法性验证的支付系统，提升整个支付系统的安全性，保障了支付流程中的资金安全。其技术方案为：在整个支付系统中，在支付端、消费端和账户管理服务器端分别设计加密解密方案。对数据的传输和存储进行多层次多体系的加密处理，并验证接入系统的硬件设备的合法性。相较于传统的磁卡支付方式、支付宝等第三方账户的网上支付方式而言，其便利性、安全性均得到了不同程度的提高。

摘要： 通过符号执行进行针对由人工实施的重构的等价性验证时，能够不使计算量爆发，而迅速地进行。在验证源代码的等价性时，进行基于解析源代码而得的结构图的结构比较的验证和符号执行的验证这两种验证。并且，在通过基于结构图的结构比较能够判定为结构一致的情况下，不进行符号执行。此外，在进行基于结构比较的验证前，对于重构前后的各个源代码，根据对每个重构模式决定的正规化信息对结构图进行正规化，在重构正当时，调整为结构一致。并且，对将重构前后的各个结构图进行抽象化而得的图进行符号执行来进行验证，由此限定进行符号执行的位置。

摘要： 本发明提供一种安全性验证设备和一种安全性验证方法，其能够验证准备用于实现安全性测量所需的所有元素的能力。在此安全性认证设备和方法中，基于安全性要求信息选择验证项目，基于待实现的安全性的模型生成验证项目所标识的部分的安全性要求信息，基于根据验证项目中所包括的实现模型而提取的能力项目而生成表示待实现的安全性的模型中所包括的部分的安全性保持能力的信息，并且输出对关于部分的安全性要求信息与表示保持能力的信息进行比较的验证结果。

摘要： 提供一种验证人工智能系统安全性的有效系统。一种安全性验证系统，包括：特征量信息接收部14，其接收包含在用于进行人工智能系统的安全性验证的测试中使用的多个第一测试数据的每个第一测试数据中的、预测在该人工智能系统中使用的多个特征量的值的特征量信息；以及判断部16，其判断：第一组合，第一组合是多个特征量能够取值的组合中的、没有被包含在多个第一测试数据中的组合，或者第二组合，第二组合是多个特征量能够取值的组合中的与应当由人工智能导出的多个正确解析结果相关联的组合。

摘要： 本发明提供一种迁移性验证方法、迁移性验证平台、电子设备及存储介质，将对获取的原始系统的日志文件进行解析，得到的每条业务请求翻译成满足目标系统的请求格式的目标业务请求后发送给目标系统，使目标系统将对接收到的每条目标业务请求进行处理得到的实际处理结果和实际关键特征值发送给迁移性验证平台；根据每条业务请求对应的处理结果生成每条业务请求对应的预期结果对象；根据每条目标业务请求的实际处理结果和实际关键特征值，生成每条目标业务请求对应的实际结果对象；将每条业务请求对应的预期结果对象与每条业务请求对应的目标业务请求对应的实际结果对象进行比对，得到业务请求对应的比对结果。本发明，能够降低迁移性验证的成本。

摘要： 本发明涉及分布式账本技术，例如，基于共识的区块链。区块链交易可能包括被锁定脚本锁定(encumber)的数字资源，该锁定脚本对使用被锁定资源(例如，转移对被锁定资源的所有权/控制)之前必须满足的一组条件进行编码。工作者(例如，计算机系统)执行一个或多个计算来生成证明，该证明被编码为解锁脚本的一部分。验证算法可以利用证明、验证密钥和附加数据(诸如与工作者相关联的加密材料(例如，数字签名))，来验证交易的数字资产应该被转移。作为该交易的验证结果，任何第三方都能够检验合约是否被执行校正，而不是重新执行该合约，从而节省计算能力。

摘要： 生成部(110)生成用于检查第1函数与第2函数的等效性的检查封装器。检查封装器包含用于反复调用第1函数和第2函数的循环语句。检查部(130)使用检查封装器进行等效性检查，由此，按照调用了第1函数和所述第2函数的次数，判定第1函数与第2函数的等效性。

摘要： 本发明提供了一种卫星电源控制器，包括卫星电源控制器本体和健康管理模块，所述卫星电源控制器本体与所述健康管理模块连接。本发明还提供了一种可测试性验证方法。本发明还提供了一种可测试性验证平台。本发明的有益效果是：通过增加模块化设计的健康管理模块来增加卫星电源控制器的可测试性，保证加卫星电源控制器的故障诊断的覆盖率和诊断效能，提高其自诊断和外部诊断能力。

摘要： 本发明公开一种用于挠性卫星挠性振动评估的地面物理仿真验证系统，该系统包含：模拟太阳能电池阵，其通过调节模拟太阳能电池阵与卫星中心体安装的不同角度，模拟太阳能电池阵的对卫星中心体的不同耦合干扰作用；挠性特性测量与辨识子系统，其电路连接模拟太阳能电池阵，测量模拟太阳能电池阵的挠性振动变形信息。本发明设计全新的挠性振动物理试验模型；在挠性振动物理仿真试验模型的基础上，加入高精度零重力模拟系统、位姿随动系统、干扰激励模拟子系统，确保与卫星的外太空工作环境相吻合；加入试验性能评估子系统和监控子系统，对于挠性振动结果进行评估，对卫星控制系统控制精度进行仿真试验评估。