梯形积分法的正确性

我们在计算船体静力曲线时,采用梯形积分法比用辛氏第一法则要简便得多。因不需要乘(2,4,2,4…)等系数,但其正确程度较差。兹仿照哈第教授(G.H.Hardy)的办法来讨论一下梯形积分法的正确性,和梯形积分法所生误差的大小,以便相互比较。在计算二次,三次曲线时,用辛氏第一法则计算结果与积分计算所得的正确结果相同。(详见中国造船第九期78页辛氏法则的正确性。)但用梯形积分法则不然,即使应用于二次曲线亦产生误差。我们首先观察一下     

实时数据分发服务系统重构正确性保证研究

为解决分布式系统动态配置时数据正确性、一致性问题,保证系统不因交互实体重配置而失效,提出分布式系统数据正确性概念。现有的中间件是在应用层或者通过重配置管理器／控制器来自动保证数据的正确性,而数据分发服务规范是通过定义一种发布/订阅系统的体系结构和特性来自动实现正确性保证。分析实时数据分发服务系统重构时对保持数据正确性的支持,并给出自动实现正确性保证的例子。