• 形式化设计方法和过程 • 系统描述方法 – 基于模型的方法 – 基于语言的方法 • SystemC – PetriNet，1960 • 德国数学家Petri发明 • 形式化验证 – Model Checking • 属性分析 – 正确性、性能、可靠性？

基于环形件轧制理论以及轧制过程中金属体积不变规律,确定了高颈法兰封闭轧制毛坯的设计原则以及工艺参数的极限范围.通过有限元仿真模拟了高颈法兰封闭轧制成形过程,研究了工艺参数对轧制产品质量以及力能参数的影响规律,并确定了本文所研究高颈法兰的最优工艺参数.在D51-450型轧环机上采用自行设计的模具进行了轧制试验,并将试验结果与有限元模拟结果进行对比分析,验证了仿真结果的可靠性

8.1 可靠性工程概述 8.2 可靠性及相关基本概念 8.3 可靠性指标和常用失效分布函数 8.4 可靠性分析与设计 8.5 可靠性管理

《微机原理与接口技术》课程教学资源（试卷习题）第14章 抗干扰及可靠性设计（含解答）

信阳师范大学：土木工程专业《工程荷载与可靠度设计原理》课程教学大纲

《微机原理与接口技术》课程教学课件（PPT讲稿）第14章 单片机应用系统抗干扰与可靠性设计

运城学院：《微机原理与接口技术》课程教学资源（课后习题库）第14章 抗干扰及可靠性设计 习题解答

9.1操作系统设计目标 1、正确性 2、高效性 3、可扩充性 4、可移植性 5、可靠性 6、可伸缩性 7、分布计算 8、认证的安全性 9、 POSIX承诺

在机群系统中,机群的互连网络性能对整个机群系统的性能有着至关重要的影响.机群系统要求互连网络具有高带宽、低延迟、高可靠等特性,传统的互连网络接入方法基本上基于PCI接口.本文提出了基于DDR DIMM内存总线的接入思想,采用可编程逻辑器件FPGA实现网络接口设计,通过直接读写内存方式提高并行接入带宽,并将部分通讯协议下载到网卡上以提高计算和通讯的速度.实测表明,在不包括上层协议的情况下,接口卡的数据接入带宽可达3120Mbps,给出了基于FPGA的实现方法,并用Xilinx Virtex-Ⅱ Pro-20 FPGA进行了仿真和验证

基于Morison动水理论,提出了作用于高桩承台的动水力简便计算方法,该方法可以应用于深水大跨度桥梁抗震设计.以南京长江三桥南塔基础为原型,利用水中振动台试验,通过对比无水和有水状态时动力荷载作用下的模型试验和计算的结果,验证了动水力简便计算方法的准确性和可靠性,并对影响动水力的主要影响因素进行了重点讨论