摘要：提出了一种能够应用于树形结构的拜占庭容错系统,并给出了基于深度与广度的拜占庭节点上限算法。通过对树进行群组划分,设计了一致性协议,保障了系统的安全性;通过联合签名机制决定节点的权限;通过视图转换协议将高层拜占庭节点置换到叶子节点,保证了系统的活性。在传统协议的基础上,该系统支持多任务同时执行,减少了节点间通信量,较大地降低了系统的空间复杂度,提高了系统的可行性,进一步缩小了与非拜占庭系统的差距。

摘要：随着数字电路集成度越来越高,电路测试已成为数字电路故障诊断的一个重要研究课题。论文针对数字电路故障检测的自动测试向量生成算法进行研究,提出了基于PODEM算法的数字电路确定性测试生成算法,完成了某专用故障诊断系统的设计与实现。

摘要：在各种计算机辅助外型设计与制造中,曲线、曲面等几何造型是一个基本问题.这是因为现实客观世界中存在着许多不能用直线、平面和二次曲线(面)等简单几何模型所表示的几何实体,如汽车、船舶、飞机外型和地质、物理。

摘要：点集凸包算法是被Shmaos等称之为计算几何中的基本问题之一,这是由于它在计算机辅助设计、计算机图形学、模式识别和运筹学等领域中有着十分广泛的应用。 对于2、3维凸包算法的研究已有许多成果,给出了各种不同意义下的最佳算法(参见[2])。但是对于高维空间点集凸包算法的研究却甚少,目前只有两种算法在计算几何中得到应用。造成这种局面的因素乃是高维空间的抽象性质,缺少2。

摘要：为了系统性地分析和评价大中型泵站数字化建设情况,以期科学指导大中型泵站数字化建设,初步从透彻感知、网信安全、数据管理、应用体系、管理体系、公众服务和开拓创新七个层面,构建了大中型泵站数字化建设评价指标体系,并对评价指标的内涵进行了解释和说明,相关成果可为大中型泵站数字化建设评价指标体系的设立提供了参考借鉴。

摘要：某工程塔吊基础设计与施工的整个周期,围绕着绿色施工的理念进行构思,过程中引入BIM技术进行全程的跟踪和指导,成功地规避了施工中的技术缺陷。施工后,质量、工期、成本控制都达到了预期的目标,起到了较好的实施效果。可供类似工程借鉴。

摘要：当深基坑围护体系采用"地下连续墙+混凝土支撑+格构柱"的结构形式时,在地下结构施工期间,可根据设计及施工工况提前进行支撑的置换与拆除工作。这种方法的灵活应用,不仅能确保现场按照施工要求进行流水作业,而且能最大限度地减少地下结构的施工工期,大大降低了时间因素带来的安全风险。经对应用工程的测定,安全、工期、成本控制都达到了预期的目标,取得了很好的实施效果。