在按不同的工作阶段对堵渣机进行自适应功能结构分析的基础上,利用ADAMS软件对机构进行了仿真分析,找出了现有堵渣机存在的问题;并对堵渣机进行了优化及无过约束的自调结构设计.仿真结果表明:堵渣机的各项性能得到提高,工作更加稳定可靠;堵渣机的自调和自适应性能得到进一步改善,消除了堵渣机对外界工作环境的敏感性;机构自调结构具有工程实用价值和巨大的应用前景

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

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

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

运城学院：《微机原理与接口技术 Principles and Application of Micro-Computer》课程教学资源（课后习题库）第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动水理论,提出了作用于高桩承台的动水力简便计算方法,该方法可以应用于深水大跨度桥梁抗震设计.以南京长江三桥南塔基础为原型,利用水中振动台试验,通过对比无水和有水状态时动力荷载作用下的模型试验和计算的结果,验证了动水力简便计算方法的准确性和可靠性,并对影响动水力的主要影响因素进行了重点讨论

1范围 1.1主题内容 1.2适用范围 1.3应用指南 2引用文件