云计算视角下可验证计算的分析研究

云计算能否在未来的各个领域中被广泛运用,决定因素在于其可信度。可验证计算在检测云计算结果的可信度方面具有其独特优势。利用可验证计算协议可验证云服务器端所返回的数据是否正确,它成为实现云计算可信度的重要保障。文中在阐述可验证计算基本内容和相关设计原则的基础上,分析了可验证计算协议的一般流程、设计原则及计算模型,并结合基于交互系统的可验证计算协议分析,探讨在云计算视角下可验证计算的研究展望。     

软件在环仿真技术的整车控制器功能验证

在采用Simulink软件搭建控制对象模型的基础上,基于VEOS系统制定测试方案,搭建某款纯电动汽车整车控制器测试平台,实现软件在环仿真;利用仿真结果对功能错误的代码进行调试改正,并将调试好的C代码下载到硬件环境中进行实车测试,完成电动汽车整车控制器的功能验证。研究表明,整车控制器能够根据测试人员的故障输入快速准确地识别故障等级,并作出响应;应用软件在环仿真技术能及时发现整车控制器在早期研发阶段存在的功能代码错误,可有效缩短整车控制器的开发周期。     

医用电气设备电气间隙和爬电距离能力验证分析

能力验证(ProficiencyTesting)是利用实验室间比对来判定实验室和检查机构能力的活动,是检验实验室检测水平的一项重要手段。通过能力验证项目的实施,还可以加强实验室间的技术交流,提高检测的质量和水平。电气间隙和爬电距离是医用电气产品重要的安全检测项目,由于产品结构复杂多样,掌握电气间隙和爬电距离的含义并正确应用对应的标准条款,是进行准确可靠检测的关键所在。本文对笔者参与中国食品药品检定研究院组织的《2015年全国医疗器械电气间隙和爬电距离能力验证试验》结果进行分析和讨论。     

测量不变性研究综述与理论框架

测量不变性作为跨组别量表测量实质性研究的逻辑起点和先决条件,已成为验证量表中概念或潜变量的测量在不同组别间是否具有不变性的通用手段和方法。在国外,其应用范围已经从心理学等传统领域逐步扩展到经管等社科范畴。为进一步推动此研究方法在我社会经济领域的推广、普及和应用,本文在对相关文献进行梳理的基础上,介绍了主要的测量模型,构建了不变性分析框架,描述了相应的检验条件,并给出了分析报告的范式结构。以期为我国相关研究提供必要的借鉴和支撑。     

基于双层规划的普通克里金插值方法研究

采用双层规划描述了普通克里金法中理论变异函数模型参数求解问题.针对传统变异函数模型参数求解过程中容易受人为不确定性因素影响的问题,建立了以交叉验证统计结果最优和个体样本满足最优无偏线性估计为目标的双层规划模型,并给出了相应的求解方法.该方法根据交叉验证结果优化调整上层系统随机给定的变异函数模型参数,可以减少变异函数模型参数求解过程中人为不确定等因素的影响,从而可以获得合理的理论变异函数模型参数和较好的空间插值结果最后,以土壤pH值为例,通过与加权最小二乘法比较验证了采用该方法的有效性和合理性.     

轻型无人机在水利带状地形图中的应用

本文通过大疆Phantom4 RTK无人机在水利工程中的应用,论证了其航测解算所得成果DOM、DEM的精度可以满足1∶1 000比例尺的DLG精度要求,为测绘外业工作节省了大量的时间。今后,无人机也必将在水利行业中得到广泛的应用。     

虚拟黑客机器人技术及应用

"虚拟黑客机器人技术"是人工智能与黑客攻击技术的结合。描述了如何实现虚拟黑客机器人提出了软件理论架构,阐述了虚拟黑客机器人为用户提供的服务,如:资产探测、风险量化、安全验证等。最后,分析了虚拟黑客机器人技术的优势及难点。     

新开发零部件的验证方法

介绍了新开发零部件的分类,分别从来料验收,到零部件试装,再到整车检验及可靠性试验,结合企业新产品试制实际情况,对新开发零部件的全流程的验证进行探讨。