Formal management-specifying approach for model-based safety assessment

In the field of model-based system assessment,mathematical models are used to interpret the system behaviors.However,the industrial systems in this intelligent era will be more manageable.Various management operations will be dynamically set,and the system will be no longer static as it is initially designed.Thus,the static model generated by the traditional model-based safety assessment(MBSA)approach cannot be used to accurately assess the dependability.There mainly exists three problems.Complex:huge and complex behaviors make the modeling to be trivial manual;Dynamic:though there are thousands of states and transitions,the previous model must be resubmitted to assess whenever new management arrives;Unreusable:as for different systems,the model must be resubmitted by reconsidering both the management and the system itself at the same time though the management is the same.Motivated by solving the above problems,this research studies a formal management specifying approach with the advantages of agility modeling,dynamic modeling,and specification design that can be re-suable.Finally,three typical managements are specified in a series-parallel system as a demonstration to show the potential.

基于增材制造的Y形流道压力损失建模研究

增材制造技术因其能够成形复杂结构而适用于高集成轻量化的液压系统,但增材制造成形流道的壁面粗糙度与传统钻削及铸造加工的流道不同,尤其是复杂管路系统中的流道分支结构,经典压力损失计算模型无法直接使用,迫切需要研究增材制造成形流道的压力损失数学模型。因此,以典型的流道分支结构——Y形流道为研究对象,应用伯努利方程、动量定理及达西公式建立其压力损失数学模型,并得到增材制造的成形角度对流道壁面粗糙度的影响。利用仿真分析分流比、分支角度及流道直径对压力损失的影响规律,初步验证Y形流道压力损失数学模型的准确性。搭建Y形流道压力损失测试试验台,利用增材制造加工Y形流道测试件,测定不同分流比、分支角度及流道直径下的流道压力损失。结果表明,不同参数下Y形流道压力损失数学模型计算结果与仿真分析结果平均误差均在9%之内,而不同参数下Y形流道压力损失数学模型计算结果与试验测试结果平均误差均在8%之内。研究成果可为增材制造成形低损耗管路的设计奠定基础。