普适化采样定理公式的计算验证

普适化采样定理公式的计算验证郝建民，李艳华（中国运载火箭技术研究院七０四所１０００７６）本文作者之一曾在文［１］中证明了一普适化的采样定理公式：式中，Ｔ为采样周期，ｆｓ＝１／Ｔ为采样率，ｓ（ｔ）为谱函数限制于ｆＮ以下的一个时间函ｋ。ｆＮ满足当时，式（...

变压器绕组损坏事故分析与有限元计算验证

1变压器绕组损坏情况2017年4月24日,某220kV变电站66kV线路遭受雷击,距离I段、过流I段保护动作,重合成功;#1主变大差、小差比率差动保护动作,退出运行。该主变1996年投运,型号为SFPSZ9-180000/220,本次故障前,共遭受66kV短路冲击6次。

解析单元方法在土壤水渗透水量计算验证分析中的应用

文章对辽西土壤水渗透量采用解析单元方法进行计算,并结合原位监测数据对土壤水渗透量计算精度进行验证。验证结果表明:解析单元方法的土壤水渗透计算误差低于20%,相关系数在0.6以上,满足土壤水渗透量计算精度要求。研究方法对于辽西地区土壤水渗透量计算具有重要的参考价值。

采用多种方法计算验证建设项目耗能量

随着节能工作日益受到重视，国家有关部门出台了若干相关文件和规定，其中国家发展和改革委员会令（第6号）《固定资产投资项目节能评估和审查暂行办法》明确了由政府审批或核准的固定资产投资项目必须进行节能评估和审查，并详细规定了评估和审查的原则和方法，为节能评估和审查工作制订了具有可操作性的实施规范和纲领。同时也对这一工作提出了更高的要求。

根据战线长度计算验证古代重要战役兵力数量级--以秦赵长平之战为例

作为战国时代激烈兼并战争的直接延续,“秦灭六国”的统一战争基本上是由一系列规模宏大的惨烈战役所构成的。根据《战国策》《史记》等文献史料的记述,当时交战各国动辄一次出兵十万以上,甚至高达几十万兵力之巨。就战役规模而言,与春秋时代相比,竟有数量级上的剧增。在疑古思潮出现之前,秦汉以来的古代学者从未对上述兵力数字提出系统质疑。

安全高效的隐私保护公共可验证矩阵乘法外包计算方案

外包计算允许那些资源有限的数据拥有者将复杂的计算外包给资源丰富的云服务器。矩阵乘法在科学计算和密码学领域都有着重要的应用。可验证矩阵乘法外包计算允许数据拥有者将外包矩阵M和请求向量x外包给不可信的云服务器进行乘法计算,并且验证云服务器返回计算结果的正确性及完整性。但是,现有方案无法同时解决如下问题:外包矩阵M的隐私性、请求向量x的隐私性、不支持公共验证、效率低下难以应用。为解决上述问题,提出了一种安全高效的隐私保护公共可验证矩阵乘法外包计算方案,并给出了该模型的形式化定义及安全性定义。采用矩阵盲化技术保证外包矩阵M和请求向量x的隐私性,采用闭型效率的伪随机函数实现计算结果的公共可验证及方案整体的高效性。理论与实验结果表明,与现有方案相比,所提方案在保证外包矩阵M和请求向量x隐私性的同时还支持公共验证,具有更全面的功能。同时,所提方案整体计算效率更高,与现有方案相比至少能提升14%的效率,具有较高的实用价值。

新建药品仓库计算机化系统风险管理与验证

《药品生产质量管理规范》附件10计算机化系统是药品生产企业所必需遵循的重要法规之一。本文以新建药品仓库计算机化系统中的管理系统为例,参考了ISPE,PICS及FDA对此类计算机化系统的要求,结合作者经验提出该系统基于风险管理的验证流程。

多节点安全壳热工水力分析软件验证计算

为了对自主开发的多节点安全壳热工水力分析软件ATHROC进行验证,本文通过对综合性试验台架建模,并对试验工况模拟的方式进行程序热工模型的验证。通过可靠的台架信息和真实的工况试验结果,建立了分析模型,并验证了软件的计算性能。研究结果表明:ATHROC软件能够很好地模拟安全壳综合试验台架上开展的试验,计算结果合理可信,具备应用于工程设计的条件。

离心泵泵腔液体压力分布理论计算及验证

准确描述泵腔液体压力分布是研究叶轮盖板力的核心研究问题,也是泵研究领域中的难题。建立泵腔液体流动模型并提出基本假设,将泵腔液体流动视为轴对称二维黏性层流运动,采用数量级比较法,对泵腔液体运动的Navier-Stokes方程简化,并进行积分求得Navier-Stokes方程的近似解析解,推导出设计工况下泵腔液体压力数学模型。在该数学模型计算中,引入势扬程修正系数,解决了泵腔入口液体压力的计算问题,并给出具体确定方法。以IS80-50-315型离心泵为研究对象,在不同叶轮平衡孔直径下,对设计工况下前后泵腔液体压力进行测试和理论计算,对比分析结果表明,两者结果较为一致。还采用2个典型的泵腔液体压力测试实例,进一步验证了设计工况下泵腔液体压力数学模型的可靠性。该研究成果是对经典泵腔液体压力计算公式的补充与完善。

基于可验证计算的可信云计算研究

云计算的可信性直接决定了其能否被广泛使用和推广.如果能使得云计算用户验证存储在云平台的数据的完整性或者在云平台执行的程序的正确性,将会大大加快云计算的应用.而可验证计算协议可检测出远程服务器返回的程序执行结果是否正确,且不需要将远程服务器所执行的程序再重新执行一遍.因此,近年来,可验证计算协议引起了学术界和工业界的广泛关注,成为实现可信云计算的一种建设性思路.文中在系统梳理和总结可验证计算协议国内外相关研究的基础上,依据可验证计算协议的实施流程对其按照编译处理和证明系统分类.其中,依据可验证计算协议使用的编译器的复杂程度,分为使用简单编译器的可验证计算协议和使用复杂编译器的可验证计算协议;依据证明系统的分类,主要研究基于交互式证明系统的可验证计算协议和基于论证系统的有预处理的可验证计算协议.随后对依据证明系统划分的每一分类,围绕基本定义、典型协议原理及流程、适用应用场景、性能分析等问题,对基于可验证计算的可信云计算进行了综述.最后,总结和展望了待解决的关键性问题和未来的研究方向.上述工作将对可验证计算协议在云计算中的应用起到一定推动作用.

离心泵轴向力计算方法研究与试验验证

在设计工况下平衡腔液体压力数学模型计算中,引入了泵腔液体压力损失修正系数,解决了有液体泄漏时泵腔进口与后密封环进口液体压力差的计算问题.以降速后的IS80-50-315型离心泵为例,采用改变叶轮平衡孔直径和后密封环间隙来改变比面积的方法,研究了设计工况下平衡腔液体压力数学模型和轴向力的特性.研究结果表明,设计工况下平衡腔液体压力数学模型特性曲线,可以解决轴向力计算中平衡腔区域叶轮后盖板液体压力差计算这一关键问题;平衡腔液体压力是由平衡孔和后密封环构成的2道"闸阀"协联调节的结果,从控制轴向力角度,可通过轴向力特性曲线寻求叶轮平衡孔直径与后密封环间隙的最佳比值.用2个测试实例验证了应用设计工况下平衡腔液体压力数学模型计算轴向力的可靠性.

隐私保护的可验证多元多项式外包计算方案

随着云计算的发展和大数据时代的到来,如何对隐私数据进行外包计算且有效验证计算结果具有重要的现实意义。基于多线性映射和同态加密方案,提出了可验证的多元多项式外包计算方案,用户可准确验证外包计算结果的正确性。方案在标准模型中可证安全,且多项式函数和用户输入对于服务器都是保密的。分析表明,用户计算量远小于服务器的计算代价以及直接计算多项式函数。

基于双线性映射的公共可验证外包计算方案

已有可验证计算方案存在以下不足:一是只有计算委托方才可以对计算结果进行验证;二是即使计算委托方可以授权其他用户进行验证,但也需要将自身验证密钥交给授权用户.针对上述不足,提出一个支持公共验证的外包计算模型,给出其算法形式化定义及安全模型,并利用双线性映射提出了一个包含三方实体的公共可验证外包计算方案,给出了方案算法的具体描述、实体间的通信协议以及效率分析,方案验证无需私钥参与,实现了公共可验证性.在可证安全模型下证明该方案具有不可伪造性,其安全性可归约于lSBDH问题的困难性.

单宽流量法计算断面流量公式中系数的验证

单宽流量法基本假设是:全断面各部分宽内的单宽流量呈直线变化。为了证明该假设的正确性并探求天然河道中的流量校正系数值βq与岸边流量系数αq以及其变化情况,收集了长江干支流共16个站的流量Ⅲ型误差试验资料317次,对公式中的βq值与αq值进行了验证。计算和拟合的结果证明,断面流量校正系数在天然河道中接近于1,即该假设正确。同时,介绍了流量校正系数值qβ与岸边流量系数αq值的计算方法和步骤,有助于单宽流量法的推广应用。

铸件凝固温度场计算机实测验证及提高精度的方法

针对铸件凝固温度切的计算机采集及测试精度中所遇到的一些常见而又难以解决的技术问题作了有益的探讨及尝试，解决了凝固温度场的计算机采集中易受干扰、数据精度不高等难题．为主课题一凝固温度场数值模拟提供了准确的验证实例．

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

云计算能否被广泛应用,最主要的一个决定因素就是其可信度。在实际应用过程中,云计算上的所有数据都要完整,同时,在程序执行过程中,要具有较高的精确性。这样,就能够有效拓宽云计算的应用范围。另外,云计算协议能够判断服务器内所有的反馈结果,远程服务器并不需要重新操作有关程序。近几年,可验证计算受到了研究人员的高度关注,已经成为可信云计算发展的主要趋势。

放疗计划系统DeepPlan光子放疗剂量计算的临床可行性验证

目的:评估DeepPlan放疗计划系统患者计划剂量计算的准确性和临床应用的可行性。方法:剂量算法准确性评估主要是针对YY 0775号和YY/T 0889号报告中的例题内容进行测量验证。临床病例验证是基于Pinnacle计划系统设计的前列腺肿瘤患者9例、胸部肿瘤患者13例和头颈部肿瘤患者5例,试验将各病例原计划优化的子野等信息直接导入DeepPlan进行重新剂量计算,比较不同计划系统得到的靶区和危及器官剂量分布,并用PTW VeriSoft软件对两组计算结果进行全空间剂量γ分析。结果:DeepPlan光子剂量算法通过了剂量计算准确性验证,YY 0775号报告中所有测试例题误差均在2%以内。YY/T 0889号报告中所有患者计划的γ通过率均在96.8%以上,复合野的γ通过率平均值为98.1%。在病例验证中,前列腺肿瘤病例的等中心层面2Dγ通过率平均值为97.6%,3Dγ通过率平均值为96.9%。胸部肿瘤病例的等中心层面2Dγ通过率平均值为98.7%,3Dγ通过率平均值为98.3%。头颈部肿瘤病例的中间层面2Dγ通过率为98.6%,3Dγ通过率平均值为98.8%。结论:通过模体实际测量和临床病例测试,验证了DeepPlan光子放疗剂量计算的准确性和临床应用的可行性。

可验证授权计算研究综述

为了解决外包数据和授权计算的安全性问题,近年来可验证授权计算理论又重新受到人们的关注和青睐。文中重点描述了在不可信环境下可验证授权计算技术是如何解决外包数据和授权计算的可验证性问题,并给出了可验证授权计算方案的形式化定义。首先采用不同分类方法对现有研究方案进行总结与归纳,指出现有研究方案的特点、所采用关键技术及不足之处;然后从功能和性能两个方面对方案进行对比分析;最后结合应用热点,从不同应用方向展望了该领域的研究趋势和发展前景。

计算机辅助照射野验证软件的设计与开发

照射野验证 ( PIV)是实施精确放射治疗质量保证 ( QA)的关键步骤之一 ,为了定量分析摆位误差 ,提高照射野验证的准确性和可视性 ,在 Windows95操作系统平台上 ,采用 C+ +编程技术 ,设计开发了 PIV应用软件。PIV软件通过提供图像处理工具、多种融合显示方式可以有效提高照射野验证的可视性 ,半自动的照射野影像登记算法能够提高定性验证的准确性 ,对于规则照射野可以给出精度较高的定量分析结果。它具有分析处理的手段多、灵活、分辨率高的特点 。

MCNP程序对某坑式废物库贮存废物放射性活度验证计算

某废物库退役源项调查是废物库退役工程前期工作,为退役设计提供源项输入。根据现场辐射水平测量结果,利用点核积分原理,通过γ辐射水平与γ射线注量之间的关系,反推出废物的放射性活度。为评价计算结果,利用MCNP程序进行了验证计算。点核积分计算结果为6.4×1014Bq,MCNP验证计算结果为4.82×1014Bq,表明点核积分计算结果偏保守,满足工程设计需要。