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...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.展开更多
Effect of frothers in preventing bubble coalescence during flotation of minerals has long been investigated.To evaluate the performance of a frother,an apparatus to measure the bubble size is a basic necessity.McGill ...Effect of frothers in preventing bubble coalescence during flotation of minerals has long been investigated.To evaluate the performance of a frother,an apparatus to measure the bubble size is a basic necessity.McGill Bubble Size Analyzer(MBSA) or bubble viewer that has been developed and completed by McGill University's Mineral Processing Group during the last decade is a unique instrument to serve this purpose.Two parameters which are thought to influence the bubble size measurements by McGill bubble viewer include water quality and frother concentration in the chamber.Results show that there is no difference in Sauter mean(D32) when tap or de-ionized water was used instead of process water.However,the frother concentration,in this research DowFroth 250(DF250),inside the chamber exhibited a pronounced effect on bubble size.Frother concentration below a certain point can not prevent coalescence inside the chamber and therefore caution must be taken in plant applications.It was also noted that the frother concentration which has been so far practiced in plant measurements(CCC75-CCC95) is high enough to prevent coalescence with the bubble viewer.展开更多
针对货运飞船与空间实验室推进剂在轨补加任务过程,采用基于模型的安全性分析(Model Based Safety Analysis, MBSA)领域当下热门的建模语言SMV及其相应的形式化符号模型检查器NuSMV,对任务相关各系统进行故障树分析方法研究。通过模型...针对货运飞船与空间实验室推进剂在轨补加任务过程,采用基于模型的安全性分析(Model Based Safety Analysis, MBSA)领域当下热门的建模语言SMV及其相应的形式化符号模型检查器NuSMV,对任务相关各系统进行故障树分析方法研究。通过模型检查过程自动快捷地验证预设的规范,分析反例序列和可达状态集,识别故障传播路径和最小割集,完成故障树定性分析。展开更多
基金the National Natural Science Foundation of China(52105070,U21B2074)Department of Science and Technology of Liaoning Province China(2033JH1/10400007).
文摘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.
基金Project supported by the Chair in Mineral Processing at McGill University,under the Collaborative Research and Development Program of NSERC(Natural Sciences and Engineering Research Council of Canada)with industrial sponsorship from Vale,Teck Cominco,Xstrata Process Support,Agnico-Eagle,Shell Canada,Barrick Gold,COREM,SGS Lakefield Research and Flottec
文摘Effect of frothers in preventing bubble coalescence during flotation of minerals has long been investigated.To evaluate the performance of a frother,an apparatus to measure the bubble size is a basic necessity.McGill Bubble Size Analyzer(MBSA) or bubble viewer that has been developed and completed by McGill University's Mineral Processing Group during the last decade is a unique instrument to serve this purpose.Two parameters which are thought to influence the bubble size measurements by McGill bubble viewer include water quality and frother concentration in the chamber.Results show that there is no difference in Sauter mean(D32) when tap or de-ionized water was used instead of process water.However,the frother concentration,in this research DowFroth 250(DF250),inside the chamber exhibited a pronounced effect on bubble size.Frother concentration below a certain point can not prevent coalescence inside the chamber and therefore caution must be taken in plant applications.It was also noted that the frother concentration which has been so far practiced in plant measurements(CCC75-CCC95) is high enough to prevent coalescence with the bubble viewer.
文摘针对货运飞船与空间实验室推进剂在轨补加任务过程,采用基于模型的安全性分析(Model Based Safety Analysis, MBSA)领域当下热门的建模语言SMV及其相应的形式化符号模型检查器NuSMV,对任务相关各系统进行故障树分析方法研究。通过模型检查过程自动快捷地验证预设的规范,分析反例序列和可达状态集,识别故障传播路径和最小割集,完成故障树定性分析。
