针对需求变动频率高、前后差异变化大、交付质量要求高的研制特点，提出了一种对功能需求变化具有较好适应性、并能获得较高可信性产......

可信计算是科学工程计算中的重要问题.而可信验证是其中一类基本问题.本文主要讨论非线性系统奇异解的可信验证与半实验点集的消逝......

当今社会,信息技术高度发达,数据安全的重要性日益受到重视。对数据机密性的保护涉及数据的产生、传递、处理、存储等各个环节,单......

随着万物互联时代的到来,数据价值越发重要,随之而来的对物联网中多方信任、数据安全可信、终端身份验证等问题提出了新的要求。将......

在高风险领域的应用问题中,计算结果的准确性是至关重要的.但是计算结果的准确性时常因为计算误差的积累以及实数有限精度的限制受......

随着工业物联网逐步走向成熟,数据成为整个生产流程中的关键因素。数据驱动的工业系统从终端和其他业务系统收集数据,加以分析和优......

缺陷和漏洞广泛存在于各种软件中,难以避免,由其引发的故障很容易给生命财产带来损害,甚至灾难性后果。应对这一问题的有效途径是......

在高风险应用领域中,计算结果的准确性十分重要.但由于计算误差积累与实数有限精度表示等原因,计算结果的准确性经常会受到影响,在......

在许多高风险的应用问题中,计算结果的准确性是十分必要的.但是,由于实数精度的限制,计算误差的累积,经常会影响计算结果的精准确......

当今,随着云计算技术的广泛应用,从政府部门到大型企业,重要业务都已向云端迁移,云计算已经成为保障国计民生的重要技术。凭借敏捷......

在IaaS云模式中,企业或机构从IaaS云提供商申请的虚拟IT基础设施构成租户网络(Tenant Network,TN)。为了隔离TN,软件定义网络(Soft......

科技的迅猛发展提高了对计算结果的准确性要求,原始数据误差、实数的有限精度表示、误差积累等问题使得计算不准确性无处不在.在飞......

文章主要研究反对称矩阵谱的可信计算.给定反对称矩阵,分别利用Rump区间牛顿法和Kantorovich定理,设计算法输出其高精度近似谱和可......