实例验证

摘要： 随着城镇化进程的推进与国家土地政策的日益紧缩,变电站占地指标的优劣性极大地影响工程的造价。高原变电站中,330 kV HGIS配电装置采用双层出线技术后,母线跨度较大,配电装置区域占地面积增加,提高了工程的经济投入与占地面积。通过对330 kV HGIS配电装置双层出线构架进行结构选型与计算优化设计,采取构架模型建立、受力分析、结构设计、实例工程验证等步骤进行优化分析,得到对传统330 kV HGIS配电装置布置形式的创新需求,满足了节约经济成本与减少征地面积的需求,对高原变电站的设计布置提供软技术支撑。

摘要： 针对土壤数据信息量庞大、评价过程复杂的问题,设计土壤空间分布及质量评价系统.系统基于.NET平台,使用C/S架构模式及C#语言,采用改进的基于内梅罗综合污染指数的加权综合污染指数法(N-PI),运用ArcGIS Engine组件实现二次开发,利用克里金插值法(Kriging)生成土壤因子空间分布图,并实现插值分析、土壤质量评价等功能.以宁夏14个市县共142个土壤采样点数据对系统进行实例验证,系统运行稳定,计算结果精确,实现为区域农业生产和决策提供直接有效的支持,为采用地理信息技术研究土壤质量评价工作提供参考和借鉴.

摘要： 随着城镇化进程的推进与国家土地政策的日益紧缩,变电站占地指标的优劣性极大地影响工程的造价.高原变电站中,330 kV HGIS配电装置采用双层出线技术后,母线跨度较大,配电装置区域占地面积增加,提高了工程的经济投入与占地面积.通过对330 kV HGIS配电装置双层出线构架进行结构选型与计算优化设计,采取构架模型建立、受力分析、结构设计、实例工程验证等步骤进行优化分析,得到对传统330 kV HGIS配电装置布置形式的创新需求,满足了节约经济成本与减少征地面积的需求,对高原变电站的设计布置提供软技术支撑.

摘要： 大数据时代下,用户信用数据中的高维稀疏特征与样本不平衡现象日益显著.为处理高维特征,文中采用随机森林(RF)从Filter和Wrapper角度进行特征提取,并用SMOTE算法对训练集样本做采样处理.模型训练阶段使用粒子群优化算法对XGboost模型做分类精度提高.最后,采用一开源银行数据集提供的数据进行实例验证.结果表明,相较于一般的GBDT模型和网格搜索法,所建立的模型在评估时具有更好的精度与收敛性.

摘要： 容积式计量物料包装机检定或校准尚无相应的国家规程或规范.通过分析容积式计量物料包装机工作原理,参考相应技术规范,探讨关于容积式计量物料包装机的校准方法及可行性,并给出了不确定度分析.

摘要： 为了降低轿车车身的制造成本,探索了低成本车身的设计方法,包括选用价格低廉的材料,提高材料利用率,简化车身结构、减少用料,注重车身性能设计,工艺降成本,边角处造型面平缓化,降低车身附件使用量等措施。将上述设计方法应用到某款车身设计上,达到降成本11%的效果。因此在车身开发过程中考虑低成本设计方法的运用,能大大降低汽车产品的制造成本,提升其市场竞争力。

摘要： 本文介绍了WWW流量模型的建立方法和过程,得到了WWW流量模型的数学表达式,V-=1—2—Vmax+c—8k~v~。其中，Vmax为用户申请的上网带宽，该数值随着当前“宽带提速”工程的进行而不断提高，所以Vmax为变量，而c，k~，v~均为常数。最后通过实例对该模型进行了验证。

摘要： 本文介绍了WWW流量模型的建立方法和过程,得到了WWW流量模型的数学表达式,V-=1—2—Vmax+c—8k~v~。其中，Vmax为用户申请的上网带宽，该数值随着当前“宽带提速”工程的进行而不断提高，所以Vmax为变量，而c，k~，v~均为常数。最后通过实例对该模型进行了验证。

摘要： 本文介绍了WWW流量模型的建立方法和过程,得到了WWW流量模型的数学表达式,V-=1—2—Vmax+c—8k~v~。其中，Vmax为用户申请的上网带宽，该数值随着当前“宽带提速”工程的进行而不断提高，所以Vmax为变量，而c，k~，v~均为常数。最后通过实例对该模型进行了验证。

摘要： 本文介绍了WWW流量模型的建立方法和过程,得到了WWW流量模型的数学表达式,V-=1—2—Vmax+c—8k~v~。其中，Vmax为用户申请的上网带宽，该数值随着当前“宽带提速”工程的进行而不断提高，所以Vmax为变量，而c，k~，v~均为常数。最后通过实例对该模型进行了验证。

摘要： 根据交通事故中遇到的实际问题，建立了胎侧擦痕与车辆速度的模型，并分析了不同滑移率、两车不同的相对速度下胎侧擦痕轨迹具有的不同特征。提出了基于胎侧擦痕估算车辆行驶速度的方法。通过实例应用验证了模型的正确性。

摘要： 根据交通事故中遇到的实际问题，建立了胎侧擦痕与车辆速度的模型，并分析了不同滑移率、两车不同的相对速度下胎侧擦痕轨迹具有的不同特征。提出了基于胎侧擦痕估算车辆行驶速度的方法。通过实例应用验证了模型的正确性。

摘要： 根据交通事故中遇到的实际问题，建立了胎侧擦痕与车辆速度的模型，并分析了不同滑移率、两车不同的相对速度下胎侧擦痕轨迹具有的不同特征。提出了基于胎侧擦痕估算车辆行驶速度的方法。通过实例应用验证了模型的正确性。

摘要： 根据交通事故中遇到的实际问题，建立了胎侧擦痕与车辆速度的模型，并分析了不同滑移率、两车不同的相对速度下胎侧擦痕轨迹具有的不同特征。提出了基于胎侧擦痕估算车辆行驶速度的方法。通过实例应用验证了模型的正确性。

摘要： 根据交通事故中遇到的实际问题，建立了胎侧擦痕与车辆速度的模型，并分析了不同滑移率、两车不同的相对速度下胎侧擦痕轨迹具有的不同特征。提出了基于胎侧擦痕估算车辆行驶速度的方法。通过实例应用验证了模型的正确性。

摘要： 根据交通事故中遇到的实际问题，建立了胎侧擦痕与车辆速度的模型，并分析了不同滑移率、两车不同的相对速度下胎侧擦痕轨迹具有的不同特征。提出了基于胎侧擦痕估算车辆行驶速度的方法。通过实例应用验证了模型的正确性。

摘要： 本发明公开了一种片上网络设计实例的验证方法、装置、设备及介质，包括：获取与待测片上网络NoC设计实例对应的交互文件，交互文件中包括按照标准信息描述方式对待测NoC设计实例描述得到的特性信息；根据交互文件中的特性信息，在预设的验证平台框架中获取与待测NoC设计实例对应的目标VIP核，并分别生成与目标VIP核对应的配置文件以及测试用例；根据配置文件对目标VIP核进行配置，并在预设的验证平台框架中对配置完成的目标VIP核，调用测试用例进行仿真，得到与待测NoC设计实例对应的验证结果。本发明实施例的技术方案可以提高NoC设计实例的验证效率，降低NoC设计实例的验证成本。

摘要： 本发明公开了一种多输出实例的CNF生成方法、等价性验证方法、存储介质。其中多输出实例的CNF生成方法，包括：遍历时，在存储结构中查找当前的端口net的输入端口net对应的CNF；如果没找到，则计算当前的端口net的引用次数，遍历当前的端口net连接的电路生成对应的CNF，将该CNF以及引用次数绑定后存入所述存储结构；如果找到，则直接从所述存储结构中调用所述CNF，并将引用次数减1，并在引用次数为0时，从所述存储结构中删除对应的CNF及其关联数据。本发明可以减少CNF的存储内存，并且缩短CNF的计算时间。

摘要： 本发明涉及一种基于APP实例指纹和设备指纹的手游登录验证方法及系统，方法包括以下步骤：S1、在手游用户登录时收集移动终端上计算设备指纹需要的设备软硬件信息；S2、在手游用户登录时收集手游移动APP上计算APP实例指纹需要的APP安装信息；S3、设备指纹SDK将收集的设备软硬件信息和APP安装信息加密并随手游用户登录请求上传到验证中心；S4、指纹计算节点根据上传的设备软硬件信息和APP安装信息计算设备指纹和APP实例指纹；S5、验证设备指纹是否与APP实例指纹一一对应，若否终止手游用户登录；S6、进一步验证设备指纹黑名单、APP实例指纹黑名单、手游用户登录账户白名单。有益效果是强化移动端设备指纹技术区分度，防止手游黑产登录。

摘要： 在虚拟化主机处，在计算实例内建立孤立运行时环境。由所述主机的管理程序的安全管理器分析所述孤立运行时环境的配置。在所述分析之后，在所述孤立运行时环境处执行计算。

摘要： 本申请提出一种验证实例生成方法、装置、电子设备及存储介质，其中方法包括：针对验证环境中的每个类，配置所述类中的各个变量；针对验证环境中的每个实例，对实例需要的已配置的类进行加载处理，并对类中的变量进行约束配置处理；针对实例中的每个约束配置，对约束配置中的各个函数采用替代函数库中对应的替代函数进行替代处理，生成验证实例。该方法通过对验证环境中的实例需要的已配置的类进行约束配置处理，并对约束配置中的函数采用替代函数库中的函数进行替代，以生成验证实例。由此，可使生成的验证实例既满足复杂约束同时可提高验证平台中约束部分的性能，可对后期调试提供较高的便利性。

摘要： 本公开实施例公开了一种基于智能识别实例的均值算法验证方法及装置，涉及电力系统三相不平衡技术领域。其中，该方法包括：接收换相指令；判断换相指令是否有效；若换相指令有效，执行换相操作，并根据换相指令自动调整模拟表电流相位数据；待换相操作完成后，读取模拟表换相信息，显示换相结果。采用此方法，能够在保证准确率高的情况下，提高执行效率，延长换相设备使用寿命。

摘要： 一种层次DRC验证结果的全实例反标方法，包括以下步骤：1）读取层次DRC验证结果底层错误图形；2）读取原始版图，获得层次结构，计算底层单元对顶层的坐标变换方式；3）计算验证结果顶层中所有底层实例中对应错误图形；4）反标所有错误图形。本发明通过全实例的反标能够让设计工程师总览全局，避免遗漏错误或修改引出新的错误，从而缩短验证周期。

摘要： 在这里所披露的是一种验证系统，它通过使用两个存储媒体来提供高安全级别和方便性。一种自动登录系统(100)请求服务器(110)使用从IC卡(10)得到的卡特有信息(101)和从便携式存储器(11)中得到的口令信息(102)来进行用户验证过程。该服务器(110)通过使用卡特有信息(101)和口令信息(102)获取用户ID和口令来验证用户。卡特有信息(101)和口令信息(102)构成验证请求信息，并且用户ID和口令构成验证信息。在用户成功验证之后，服务器(110)允许用户登录；在验证不成功的情况中，服务器(110)拒绝登录。

摘要： 存储单元(11)存储对象设备(20)中的存储器(21)的空闲区域的大小以及保存在所述存储器(21)中的软件。生成单元(12a)根据存储器(21)中的空闲区域的大小生成从多个节点配置的图，并且将该图发送给对象设备(20)。计算单元(12b)计算与存储在存储器(21)中的软件中的每个块相对应的哈希值。验证单元(12c)使用以下项来验证是否已发生对所述对象设备(20)中的存储器(21)的篡改：所计算出的与该块相对应的哈希值，以及所返回的使用图计算出的对指定所述图的节点的质询的响应，以及作为对指定该块的质询的响应的所返回的块的哈希值。

摘要： 本发明公开一种面向神经网络模型的基于层间剖析的输入实例验证方法，给定神经网络模型与其训练数据集，提取中间信息并生成对应每一层对应的子模型；对于任意待验证输入实例，输入子模型获取层间剖析后总行为profile；分析输入实例的层间剖析profile，验证该输入实例是否为有效并给出对于有效的置信度分数。本发明基于训练模型内部的层间剖析手段，利用输入实例在模型各层次剖析时的行为来分析给定输入实例的有效性，能避免已有技术需要较多不同模型相互借助的验证手段所存在的验证时间消耗巨大的弊端，能够更加准确的进行输入验证，从而能够帮助区分给定神经网络的输入实例的有效性，从而提高神经网络在实际使用中的准确性与安全性。