期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
汇编语言层的系统状态模型构建
1
作者 江霖 《通讯世界》 2017年第5期285-285,共1页
操作系统具有规模大、结构复杂的特点,所以设计以及实现过程中的正确性验证难度较大。本文通过汇编语言层的操作系统模块功能模型构建,完成汇编语言层的设计以及验证,实现对汇编语言层设计的正确性验证。以安全可信操作系统为范例,进行... 操作系统具有规模大、结构复杂的特点,所以设计以及实现过程中的正确性验证难度较大。本文通过汇编语言层的操作系统模块功能模型构建,完成汇编语言层的设计以及验证,实现对汇编语言层设计的正确性验证。以安全可信操作系统为范例,进行了形式化验证。 展开更多
关键词 操作系统 验证 形式化 系统状态建模 汇编语言层
下载PDF
基于扩展GO-FLOW的多状态系统动态可靠性建模方法
2
作者 刘屹巍 李尧 王宇健 《飞机设计》 2019年第3期1-5,共5页
文中以多状态关联可重构系统为研究对象,拟突破多状态关联可重构系统的可靠性动态建模技术,研制出一套多状态关联可重构系统建模方法。针对现有GO-FLOW方法表达能力的不足的情况,对GO-FLOW操作符进行扩展定义与封装,拓展了操作符动态、... 文中以多状态关联可重构系统为研究对象,拟突破多状态关联可重构系统的可靠性动态建模技术,研制出一套多状态关联可重构系统建模方法。针对现有GO-FLOW方法表达能力的不足的情况,对GO-FLOW操作符进行扩展定义与封装,拓展了操作符动态、可重构、事件驱动等特性,实现了功能原理图到GO-FLOW模型扩展映射,结合面向对象的理念和思想,根据多状态系统功能原理,提出了扩展GO-FLOW建模流程。选取了几种典型的重构方式,对飞机伺服作动系统的可重构可靠性模型进行研究,以飞机伺服作动系统为实例验证了方法的有效性。提出利用扩展的语义操作符对动态重构系统进行直观建模的方法,极大提高了建模的适应能力和效率,应用实例表明,该方法是建立多状系统可靠性动态模型的可行途径。 展开更多
关键词 动态可靠性 扩展GO-FLOW方法 状态系统可靠性
原文传递
Unscented Transformation Based Robust Kalman Filter and Its Applications in Fermentation Process 被引量:12
3
作者 王建林 冯絮影 +1 位作者 赵利强 于涛 《Chinese Journal of Chemical Engineering》 SCIE EI CAS CSCD 2010年第3期412-418,共7页
State estimation is the precondition and foundation of a bioprocess monitoring and optimal control. However,there are many difficulties in dealing with a non-linear system,such as the instability of process, un-modele... State estimation is the precondition and foundation of a bioprocess monitoring and optimal control. However,there are many difficulties in dealing with a non-linear system,such as the instability of process, un-modeled dynamics,parameter sensitivity,etc.This paper discusses the principles and characteristics of three different approaches,extended Kalman filters,strong tracking filters and unscented transformation based Kalman filters.By introducing the unscented transformation method and a sub-optimal fading factor to correct the prediction error covariance,an improved Kalman filter,unscented transformation based robust Kalman filter,is proposed. The performance of the algorithm is compared with the strong tracking filter and unscented transformation based Kalman filter and illustrated in a typical case study for glutathione fermentation process.The results show that the proposed algorithm presents better accuracy and stability on the state estimation in numerical calculations. 展开更多
关键词 robust Kalman filter unscented transformation fermentation process nonlinear system
下载PDF
On Numerical Approach to Non-Markovian Stochastic Systems Modeling
4
作者 Eimutis Valakevicius Mindaugas Snipas 《Computer Technology and Application》 2012年第5期368-373,共6页
The paper considers the problem of representing non-Markovian systems that evolve stochastically over time. It is often necessary to use approximations in the case the system is non-Markovian. Phase type distribution ... The paper considers the problem of representing non-Markovian systems that evolve stochastically over time. It is often necessary to use approximations in the case the system is non-Markovian. Phase type distribution is by now indispensable tool in creation of stochastic system models. The paper suggests a method and software for evaluating stochastic systems approximations by Markov chains with continuous time and countable state space. The performance of a system is described in the event language used for generating the set of states and transition matrix between them. The example of a numerical model is presented. 展开更多
关键词 Non-Markovian system approximation phase type distribution Markov chain numerical model.
下载PDF
Measurement and calculation of solubility of quinine in supercritical carbon dioxide
5
作者 Fatemeh Zabihi Mehrdad Mirzajanzadeh +1 位作者 Jingfu Jia Yaping Zhao 《Chinese Journal of Chemical Engineering》 SCIE EI CAS CSCD 2017年第5期641-645,共5页
Solubility of quinine in supercritical carbon dioxide(SCCO_2) was experimentally measured in the pressure range of 8 to 24 MPa, at three constant temperatures: 308.15 K, 318.15 K and 328.15 K. Measurement was carried ... Solubility of quinine in supercritical carbon dioxide(SCCO_2) was experimentally measured in the pressure range of 8 to 24 MPa, at three constant temperatures: 308.15 K, 318.15 K and 328.15 K. Measurement was carried out in a semi-dynamic system. Experimental data were correlated by iso-fugacity model(based on cubic equations of state, CEOS), Modified Mendez–Santiago–Teja(MST) and Modified Bartle semi-empirical models. Two cubic equations of state: Peng–Robinson(PR) and Dashtizadeh–Pazuki–Ghotbi–Taghikhani(DPTG) were adopted for calculation of equilibrium parameters in CEOS modeling. Interaction coefficients(k_(ij)& l_(ij)) of van der Waals(vdW) mixing rules were considered as the correlation parameters in CEOS-based modeling and their contribution to the accuracy of model was investigated. Average Absolute Relative Deviation(AARD) between correlated and experimental data was calculated and compared as the index of validity and accuracy for different modeling systems. In this basis it was realized that the semi-empirical equations especially Modified MST can accurately support the theoretical studies on phase equilibrium behavior of quinine–SCCO_2 media. Among the cubic equations of state DPGT within two-parametric vd W mixing rules provided the best data fitting and PR within one-parametric vd W mixing rules demonstrated the highest deviation respecting to the experimental data. Overall, in each individual modeling system the best fitting was observed on the data points attained at 318 K, which could be perhaps due to the moderate thermodynamic state of supercritical phase. 展开更多
关键词 Supercritical fluid Solubility Semi-empirical model Iso-fugacity Quinine
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部