In view of the deficiencies in aspects such as failure rate requirements and analysis assumptions of advisory circular,this paper investigates the sources of high safety requirements,and the top-down design method for...In view of the deficiencies in aspects such as failure rate requirements and analysis assumptions of advisory circular,this paper investigates the sources of high safety requirements,and the top-down design method for the flight control system life cycle.Correspondingly,measures are proposed,including enhancing the safety target value to 10^(−10)per flight hour and implementing development assurance.In view of the shortcomings of mainstream aircraft flight control systems,such as weak backup capability and complex fault reconfiguration logic,improvements have been made to the system’s operating modes,control channel allocation,and common mode failure mitigation schemes based on the existing flight control architecture.The flight control design trends and philosophies have been analyzed.A flight control system architecture scheme is proposed,which includes three operating modes and multi-level voters/monitors,three main control channels,and a backup system independent of the main control system,which has been confirmed through functional modeling simulations.The proposed method plays an important role in the architecture design of safety-critical flight control system.展开更多
Two-dimensional boundary layer flow of an incompressible third grade nanofluid over a stretching surface is investigated.Influence of thermophoresis and Brownian motion is considered in the presence of Newtonian heati...Two-dimensional boundary layer flow of an incompressible third grade nanofluid over a stretching surface is investigated.Influence of thermophoresis and Brownian motion is considered in the presence of Newtonian heating and viscous dissipation.Governing nonlinear problems of velocity, temperature and nanoparticle concentration are solved via homotopic procedure.Convergence is examined graphically and numerically. Results of temperature and nanoparticle concentration are plotted and discussed for various values of material parameters, Prandtl number, Lewis number, Newtonian heating parameter, Eckert number and thermophoresis and Brownian motion parameters. Numerical computations are performed. The results show that the change in temperature and nanoparticle concentration distribution functions is similar when we use higher values of material parameters β1 andβ2. It is seen that the temperature and thermal boundary layer thickness are increasing functions of Newtonian heating parameter γ.An increase in thermophoresis and Brownian motion parameters tends to an enhancement in the temperature.展开更多
Fuzzy Petri net(FPN) has been extensively applied in industrial fields for knowledge-based systems or systems with uncertainty.Although the applications of FPN are known to be successful,the theoretical research of FP...Fuzzy Petri net(FPN) has been extensively applied in industrial fields for knowledge-based systems or systems with uncertainty.Although the applications of FPN are known to be successful,the theoretical research of FPN is still at an initial stage.To pave a way for further study,this work explores related dynamic properties of FPN including reachability,boundedness,safeness,liveness and fairness.The whole methodology is divided into two phases.In the first phase,a comparison between elementary net system(EN_system) and FPN is established to prove that the FPN is an extensive formalism of Petri nets using a backwards-compatible extension method.Next,current research results of dynamic properties are utilized to analyze FPN model.The results illustrate that FPN model is bounded,safe,weak live and fair,and can support theoretical evidences for designing related decomposition algorithm.展开更多
The magnetohydrodynamic(MHD) boundary layer flow of Casson fluid in the presence of nanoparticles is investigated.Convective conditions of temperature and nanoparticle concentration are employed in the formulation. Th...The magnetohydrodynamic(MHD) boundary layer flow of Casson fluid in the presence of nanoparticles is investigated.Convective conditions of temperature and nanoparticle concentration are employed in the formulation. The flow is generated due to exponentially stretching surface. The governing boundary layer equations are reduced into the ordinary differential equations. Series solutions are presented to analyze the velocity, temperature and nanoparticle concentration fields. Temperature and nanoparticle concentration fields decrease when the values of Casson parameter enhance. It is found that the Biot numbers arising due to thermal and concentration convective conditions yield an enhancement in the temperature and concentration fields. Further, we observed that both the thermal and nanoparticle concentration boundary layer thicknesses are higher for the larger values of thermophoresis parameter. The effects of Brownian motion parameter on the temperature and nanoparticle concentration are reverse.展开更多
The controllable suspension system can improve the performances of off-road vehicles both on road and cross-country. So far, four controllable suspensions, that is, body height control, active, semi-active and slow-ac...The controllable suspension system can improve the performances of off-road vehicles both on road and cross-country. So far, four controllable suspensions, that is, body height control, active, semi-active and slow-active suspensions, have been developed. For off-road vehicles, the slow-active suspension and the semi-active suspension which have controllable stiffness, damping and body height are more appropriate to use. For many years, some control methodologies for controllable suspension systems have been developed along with the development of modern control theory, and two or more original control methods are integrated as a new control method. Today, for military or civilian off-road vehicles, the R&D of controllable suspension systems is ongoing.展开更多
随着区块链技术在各行各业的广泛应用,区块链系统的架构变得越来越复杂,这也增加了安全问题的数量.目前,在区块链系统中采用了模糊测试、符号执行等传统的漏洞检测方法,但这些技术无法有效检测出未知的漏洞.为了提高区块链系统的安全性...随着区块链技术在各行各业的广泛应用,区块链系统的架构变得越来越复杂,这也增加了安全问题的数量.目前,在区块链系统中采用了模糊测试、符号执行等传统的漏洞检测方法,但这些技术无法有效检测出未知的漏洞.为了提高区块链系统的安全性,提出基于形式化方法的区块链系统漏洞检测模型VDMBS(vulnerability detection model for blockchain systems),所提模型综合系统迁移状态、安全规约和节点间信任关系等多种安全因素,同时提供基于业务流程执行语言BPEL(business process execution language)的漏洞模型构建方法.最后,用NuSMV在基于区块链的电子投票选举系统上验证所提出的漏洞检测模型的有效性,实验结果表明,与现有的5种形式化测试工具相比,所提出的VDMBS模型能够检测出更多的区块链系统业务逻辑漏洞和智能合约漏洞.展开更多
In this paper,a series of new techniques are used to optimize typical laser scanning sensor.The integrated prototype is compared with traditional approach to demonstrate the much improved performance.In the research a...In this paper,a series of new techniques are used to optimize typical laser scanning sensor.The integrated prototype is compared with traditional approach to demonstrate the much improved performance.In the research and development,camera calibration is achieved by extracting characteristic points of the laser plane,so that the calibra- tion efficiency is improved significantly.With feedback control of its intensity,the laser is automatically adjusted for different material.A modified algorithm is presented to improve the accuracy of laser stripe extraction.The fusion of data extracted from left and right camera is completed with re-sampling technique.The scanner is integrated with a robot arm and some other machinery for on-line measurement and inspection,which provides a flexible measurement tool for reverse engineering.展开更多
Combined effects of Soret(thermal-diffusion) and Dufour(diffusion-thermo) in MHD stagnation point flow by a permeable stretching cylinder were studied. Analysis was examined in the presence of heat generation/absorpti...Combined effects of Soret(thermal-diffusion) and Dufour(diffusion-thermo) in MHD stagnation point flow by a permeable stretching cylinder were studied. Analysis was examined in the presence of heat generation/absorption and chemical reaction. The laws of conservation of mass, momentum, energy and concentration are found to lead to the mathematical development of the problem. Suitable transformations were used to convert the nonlinear partial differential equations into the ordinary differential equations. The series solutions of boundary layer equations through momentum, energy and concentration equations were obtained.Convergence of the developed series solutions was discussed via plots and numerical values. The behaviors of different physical parameters on the velocity components, temperature and concentration were obtained. Numerical values of Nusselt number, skin friction and Sherwood number with different parameters were computed and analyzed. It is found that Dufour and Soret numbers result in the enhancement of temperature and concentration distributions, respectively.展开更多
文摘In view of the deficiencies in aspects such as failure rate requirements and analysis assumptions of advisory circular,this paper investigates the sources of high safety requirements,and the top-down design method for the flight control system life cycle.Correspondingly,measures are proposed,including enhancing the safety target value to 10^(−10)per flight hour and implementing development assurance.In view of the shortcomings of mainstream aircraft flight control systems,such as weak backup capability and complex fault reconfiguration logic,improvements have been made to the system’s operating modes,control channel allocation,and common mode failure mitigation schemes based on the existing flight control architecture.The flight control design trends and philosophies have been analyzed.A flight control system architecture scheme is proposed,which includes three operating modes and multi-level voters/monitors,three main control channels,and a backup system independent of the main control system,which has been confirmed through functional modeling simulations.The proposed method plays an important role in the architecture design of safety-critical flight control system.
基金funded by the Deanship of Scientific Research (DSR), King Abdulaziz University (KAU), under Grant No. 37-130-35-HiCi
文摘Two-dimensional boundary layer flow of an incompressible third grade nanofluid over a stretching surface is investigated.Influence of thermophoresis and Brownian motion is considered in the presence of Newtonian heating and viscous dissipation.Governing nonlinear problems of velocity, temperature and nanoparticle concentration are solved via homotopic procedure.Convergence is examined graphically and numerically. Results of temperature and nanoparticle concentration are plotted and discussed for various values of material parameters, Prandtl number, Lewis number, Newtonian heating parameter, Eckert number and thermophoresis and Brownian motion parameters. Numerical computations are performed. The results show that the change in temperature and nanoparticle concentration distribution functions is similar when we use higher values of material parameters β1 andβ2. It is seen that the temperature and thermal boundary layer thickness are increasing functions of Newtonian heating parameter γ.An increase in thermophoresis and Brownian motion parameters tends to an enhancement in the temperature.
基金Project(R.J13000.7828.4F721)supported by Soft Computing Research Group(SCRP),Research Management Centre(RMC),UTM and Ministry of Higher Education Malaysia(MOHE)for Financial Support Through the Fundamental Research Grant Scheme(FRGS),MalaysiaProject(61462029)supported by the National Natural Science Foundation of China
文摘Fuzzy Petri net(FPN) has been extensively applied in industrial fields for knowledge-based systems or systems with uncertainty.Although the applications of FPN are known to be successful,the theoretical research of FPN is still at an initial stage.To pave a way for further study,this work explores related dynamic properties of FPN including reachability,boundedness,safeness,liveness and fairness.The whole methodology is divided into two phases.In the first phase,a comparison between elementary net system(EN_system) and FPN is established to prove that the FPN is an extensive formalism of Petri nets using a backwards-compatible extension method.Next,current research results of dynamic properties are utilized to analyze FPN model.The results illustrate that FPN model is bounded,safe,weak live and fair,and can support theoretical evidences for designing related decomposition algorithm.
文摘The magnetohydrodynamic(MHD) boundary layer flow of Casson fluid in the presence of nanoparticles is investigated.Convective conditions of temperature and nanoparticle concentration are employed in the formulation. The flow is generated due to exponentially stretching surface. The governing boundary layer equations are reduced into the ordinary differential equations. Series solutions are presented to analyze the velocity, temperature and nanoparticle concentration fields. Temperature and nanoparticle concentration fields decrease when the values of Casson parameter enhance. It is found that the Biot numbers arising due to thermal and concentration convective conditions yield an enhancement in the temperature and concentration fields. Further, we observed that both the thermal and nanoparticle concentration boundary layer thicknesses are higher for the larger values of thermophoresis parameter. The effects of Brownian motion parameter on the temperature and nanoparticle concentration are reverse.
文摘The controllable suspension system can improve the performances of off-road vehicles both on road and cross-country. So far, four controllable suspensions, that is, body height control, active, semi-active and slow-active suspensions, have been developed. For off-road vehicles, the slow-active suspension and the semi-active suspension which have controllable stiffness, damping and body height are more appropriate to use. For many years, some control methodologies for controllable suspension systems have been developed along with the development of modern control theory, and two or more original control methods are integrated as a new control method. Today, for military or civilian off-road vehicles, the R&D of controllable suspension systems is ongoing.
文摘随着区块链技术在各行各业的广泛应用,区块链系统的架构变得越来越复杂,这也增加了安全问题的数量.目前,在区块链系统中采用了模糊测试、符号执行等传统的漏洞检测方法,但这些技术无法有效检测出未知的漏洞.为了提高区块链系统的安全性,提出基于形式化方法的区块链系统漏洞检测模型VDMBS(vulnerability detection model for blockchain systems),所提模型综合系统迁移状态、安全规约和节点间信任关系等多种安全因素,同时提供基于业务流程执行语言BPEL(business process execution language)的漏洞模型构建方法.最后,用NuSMV在基于区块链的电子投票选举系统上验证所提出的漏洞检测模型的有效性,实验结果表明,与现有的5种形式化测试工具相比,所提出的VDMBS模型能够检测出更多的区块链系统业务逻辑漏洞和智能合约漏洞.
文摘In this paper,a series of new techniques are used to optimize typical laser scanning sensor.The integrated prototype is compared with traditional approach to demonstrate the much improved performance.In the research and development,camera calibration is achieved by extracting characteristic points of the laser plane,so that the calibra- tion efficiency is improved significantly.With feedback control of its intensity,the laser is automatically adjusted for different material.A modified algorithm is presented to improve the accuracy of laser stripe extraction.The fusion of data extracted from left and right camera is completed with re-sampling technique.The scanner is integrated with a robot arm and some other machinery for on-line measurement and inspection,which provides a flexible measurement tool for reverse engineering.
文摘Combined effects of Soret(thermal-diffusion) and Dufour(diffusion-thermo) in MHD stagnation point flow by a permeable stretching cylinder were studied. Analysis was examined in the presence of heat generation/absorption and chemical reaction. The laws of conservation of mass, momentum, energy and concentration are found to lead to the mathematical development of the problem. Suitable transformations were used to convert the nonlinear partial differential equations into the ordinary differential equations. The series solutions of boundary layer equations through momentum, energy and concentration equations were obtained.Convergence of the developed series solutions was discussed via plots and numerical values. The behaviors of different physical parameters on the velocity components, temperature and concentration were obtained. Numerical values of Nusselt number, skin friction and Sherwood number with different parameters were computed and analyzed. It is found that Dufour and Soret numbers result in the enhancement of temperature and concentration distributions, respectively.
