与传统列控系统相比,全自动无人驾驶运营场景更加复杂多变,潜在的危险及致因具有更强的隐蔽性和复杂性,给运营安全带来了新的挑战。针对以上问题,提出一种STAMP(Systems-Theoretic Accident Model and Process)与模型检验相结合的复杂...与传统列控系统相比,全自动无人驾驶运营场景更加复杂多变,潜在的危险及致因具有更强的隐蔽性和复杂性,给运营安全带来了新的挑战。针对以上问题,提出一种STAMP(Systems-Theoretic Accident Model and Process)与模型检验相结合的复杂运营场景安全验证方法。首先,基于STAMP理论构建运营场景分层控制结构模型,辨识潜在的不安全控制行为、分析危险致因和安全约束;其次,定义分层控制结构模型与安全状态机模型间的基本转换规则,基于分层控制结构模型、安全约束和转换规则,构建运营场景安全状态机模型;最后,针对提取的安全约束,利用数据流图建立安全属性验证模型,结合模型检验技术,对运营场景安全状态机模型进行形式化验证。以全自动无人驾驶运营场景中列车自动进站停车为例,对方法进行验证分析。结果表明,当STAMP理论提取的安全约束通过了场景安全状态机模型的验证时,表示在该场景中对应的不安全控制行为没有发生且不导致相应危险。该方法结合系统安全分析与形式化建模验证的优势,降低了运营场景建模的难度,构建的运营场景形式化模型满足系统安全约束,可以作为全自动无人驾驶系统安全设计和安全改进的重要基础。展开更多
时序分析是合成孔径雷达干涉测量(InSAR)的一项关键技术,它被广泛应用于监测广阔地区的地表缓慢形变。这种方法能够提供大范围、大面积的形变监测。其中,StaMPS PS方法凭借适用范围广、开源等优点,受到众多学者的使用。但在时序InSAR中...时序分析是合成孔径雷达干涉测量(InSAR)的一项关键技术,它被广泛应用于监测广阔地区的地表缓慢形变。这种方法能够提供大范围、大面积的形变监测。其中,StaMPS PS方法凭借适用范围广、开源等优点,受到众多学者的使用。但在时序InSAR中,对流层延迟相位会导致形变监测精度的降低,因此,以合肥市为研究区域,分析了经验模型线性改正、GACOS(generic atmospheric correction online service for InSAR)改正和欧洲中期天气预报中心(ECMWF)最新发布的ERA5数据集改正,并对比这3种方法在时序InSAR反演形变速率中的改正效果。通过计算得到研究区的标准差,进行比较分析和验证。其中线性改正、ERA5和GACOS改正后的标准差分别降低了21.71%、16.14%、10.38%。对于合肥区域,这3种方法均可减弱对流层延迟的影响,且精度都有所提高,其中线性改正效果最好,适用性更高,ERA5和GACOS受天气以及地面监测点密度等影响,在该区域改正效果较差。展开更多
为分析化学品船智能液货系统的安全性,采用系统理论事故模型与过程(System-Theoretic Accident Model and Processes, STAMP)方法,构建了化学品船智能液货系统控制反馈模型;基于系统理论过程分析(System-Theoretic Process Analysis, ST...为分析化学品船智能液货系统的安全性,采用系统理论事故模型与过程(System-Theoretic Accident Model and Processes, STAMP)方法,构建了化学品船智能液货系统控制反馈模型;基于系统理论过程分析(System-Theoretic Process Analysis, STPA),确定系统级事故,识别不安全控制行为并分析不安全控制行为关键致因;将不安全控制行为作为风险因素,利用三角模糊数对不安全控制行为风险进行量化。结果表明,26种不安全控制行为中,泵管阀动态调节、人员监测、数据采集、货品相容性判定等因素对风险影响程度较高。该分析结果可为化学品船智能液货系统的应用和安全管理提供参考。展开更多
Among the bottlenecks that hinder the improvement of the production efficiency of hot stamping are high strength and difficulty in edge cutting and hole punching.Starting from the preparation of hot stamping multiphas...Among the bottlenecks that hinder the improvement of the production efficiency of hot stamping are high strength and difficulty in edge cutting and hole punching.Starting from the preparation of hot stamping multiphase microstructure materials,this paper developed a plate quenching die system with controllable surface temperature and prepared four types of hot stamping plates with different martensite volume fractions.Then,straight edge cold cutting experiments were performed to study the influence of cutting clearance and cutting force on fracture quality.The results show that the bright zone is the largest when the cutting clearance is 0.14 mm,and the cutting experience coefficient of the hot stamping sheet with each martensite volume fraction is obtained when the cutting clearance is 0.14 mm.The research results of this paper were applied to the production of hot stamping parts.展开更多
Stamping is a critical step in the manufacture of metallic bipolar plates.Typically,residual stress and a spring back effect appear on the bipolar plate after the stamping process,which impacts on the performance and ...Stamping is a critical step in the manufacture of metallic bipolar plates.Typically,residual stress and a spring back effect appear on the bipolar plate after the stamping process,which impacts on the performance and lifetime of the proton exchange membrane fuel cell(PEMFC).The residual stress and spring back behavior which occur as a result of stamping a bipolar plate are investigated in this study.The effects of the punch radius,the die radius,the channel depth,and the clearance between the punch and the die on the residual stress and forming quality of the bipolar plate are examined.The stamping process can be divided into three stages.The high stress area and the middle section residual stress area were selected to study the formation process and to obtain the composition of the residual stress regions.Spring back was mainly related to the position of the fixed end of the sheet and the degree of plastic deformation,and the sheet thickness have increased by 2μm after spring back.Based on the results of finite element analysis,as described by the distribution of residual stress,the formation,the thickness of the middle cross section and the equivalent plastic strain,it was found that all the tool parameters affected the distribution of the residual stress.This research can provide a design reference for the manufacture of metallic bipolar plates based on the stamping process.展开更多
With the improvement of safety performance,car parts have different requirements for material strength and energy absorption performance.The conventional 1500-MPa hot stamping steel cannot well meet the requirements.C...With the improvement of safety performance,car parts have different requirements for material strength and energy absorption performance.The conventional 1500-MPa hot stamping steel cannot well meet the requirements.Considering the new generation 600-MPa hot stamping steel,this study investigates the applicable car parts and hot stamping process,then designs a new body-in-white(BIW)crash test for obtaining the crash performance of the new material.Through the actual part development and crash test,it is verified that the application of the new generation hot stamping steel can improve the crash performance of BIW.展开更多
Prostate cancer is the most commonly diagnosed cancer and the second leading cause of cancer mortality in men in the Western World. In the initial stages, prostate cancer is dependent on androgens for growth which is ...Prostate cancer is the most commonly diagnosed cancer and the second leading cause of cancer mortality in men in the Western World. In the initial stages, prostate cancer is dependent on androgens for growth which is the basis for androgen ablation therapy. The effects of androgens are mediated by the Androgen Receptor (AR). Therefore, studies focus on the identification of AR-regulated genes that are also highly expressed in the prostate. STAMP family genes STAMP1/STEAP2 and STAMP2/STEAP4 have only expressed in androgen receptor-positive cells, the role of AR in STAMP family gene expression is an important question. STEAP (Six Transmembrane Epithelial Antigen of Prostate) is the first characterized prostate of enriched six transmembrane gene, expressed in metastatic prostate cancer samples, it is tempting to speculate that STAMP/STEAP family genes may be involved in similar functions with a role for both the normal biology and pathophysiology of the prostate. Using siRNA technology in LNCaP cells expressing STAMP genes per se, an apoptosis panel including pro-apoptotic and/or apoptotic molecules was assayed by RT-PCR, By this research project, prostate-specific STAMP gene family and its regulatory effects on the p53- and caspase-related pathways were characterized.展开更多
This study looked at the impact of the Nigerian stamp duty tax on the growth of the economy.Time series data were employed spanning the years 1999-2020.For various years,related data were extracted from the Central Ba...This study looked at the impact of the Nigerian stamp duty tax on the growth of the economy.Time series data were employed spanning the years 1999-2020.For various years,related data were extracted from the Central Bank of Nigeria Statistical Bulletin,the Bureau of National Statistics,and Federal Inland Revenue Service reports.E-view 9.0 was used to test the hypothesis using the ordinary least square.The study outcome revealed that stamp duty has an insignificant and positive impact on Nigeria’s economic growth.It was recommended that the government improve public entities and provide strong government investment as a source of domestic revenue generated from various business activities.展开更多
文摘与传统列控系统相比,全自动无人驾驶运营场景更加复杂多变,潜在的危险及致因具有更强的隐蔽性和复杂性,给运营安全带来了新的挑战。针对以上问题,提出一种STAMP(Systems-Theoretic Accident Model and Process)与模型检验相结合的复杂运营场景安全验证方法。首先,基于STAMP理论构建运营场景分层控制结构模型,辨识潜在的不安全控制行为、分析危险致因和安全约束;其次,定义分层控制结构模型与安全状态机模型间的基本转换规则,基于分层控制结构模型、安全约束和转换规则,构建运营场景安全状态机模型;最后,针对提取的安全约束,利用数据流图建立安全属性验证模型,结合模型检验技术,对运营场景安全状态机模型进行形式化验证。以全自动无人驾驶运营场景中列车自动进站停车为例,对方法进行验证分析。结果表明,当STAMP理论提取的安全约束通过了场景安全状态机模型的验证时,表示在该场景中对应的不安全控制行为没有发生且不导致相应危险。该方法结合系统安全分析与形式化建模验证的优势,降低了运营场景建模的难度,构建的运营场景形式化模型满足系统安全约束,可以作为全自动无人驾驶系统安全设计和安全改进的重要基础。
文摘时序分析是合成孔径雷达干涉测量(InSAR)的一项关键技术,它被广泛应用于监测广阔地区的地表缓慢形变。这种方法能够提供大范围、大面积的形变监测。其中,StaMPS PS方法凭借适用范围广、开源等优点,受到众多学者的使用。但在时序InSAR中,对流层延迟相位会导致形变监测精度的降低,因此,以合肥市为研究区域,分析了经验模型线性改正、GACOS(generic atmospheric correction online service for InSAR)改正和欧洲中期天气预报中心(ECMWF)最新发布的ERA5数据集改正,并对比这3种方法在时序InSAR反演形变速率中的改正效果。通过计算得到研究区的标准差,进行比较分析和验证。其中线性改正、ERA5和GACOS改正后的标准差分别降低了21.71%、16.14%、10.38%。对于合肥区域,这3种方法均可减弱对流层延迟的影响,且精度都有所提高,其中线性改正效果最好,适用性更高,ERA5和GACOS受天气以及地面监测点密度等影响,在该区域改正效果较差。
文摘为分析化学品船智能液货系统的安全性,采用系统理论事故模型与过程(System-Theoretic Accident Model and Processes, STAMP)方法,构建了化学品船智能液货系统控制反馈模型;基于系统理论过程分析(System-Theoretic Process Analysis, STPA),确定系统级事故,识别不安全控制行为并分析不安全控制行为关键致因;将不安全控制行为作为风险因素,利用三角模糊数对不安全控制行为风险进行量化。结果表明,26种不安全控制行为中,泵管阀动态调节、人员监测、数据采集、货品相容性判定等因素对风险影响程度较高。该分析结果可为化学品船智能液货系统的应用和安全管理提供参考。
文摘Among the bottlenecks that hinder the improvement of the production efficiency of hot stamping are high strength and difficulty in edge cutting and hole punching.Starting from the preparation of hot stamping multiphase microstructure materials,this paper developed a plate quenching die system with controllable surface temperature and prepared four types of hot stamping plates with different martensite volume fractions.Then,straight edge cold cutting experiments were performed to study the influence of cutting clearance and cutting force on fracture quality.The results show that the bright zone is the largest when the cutting clearance is 0.14 mm,and the cutting experience coefficient of the hot stamping sheet with each martensite volume fraction is obtained when the cutting clearance is 0.14 mm.The research results of this paper were applied to the production of hot stamping parts.
基金This research was supported by the Sichuan Science and Technology Program(2023YFS0355).
文摘Stamping is a critical step in the manufacture of metallic bipolar plates.Typically,residual stress and a spring back effect appear on the bipolar plate after the stamping process,which impacts on the performance and lifetime of the proton exchange membrane fuel cell(PEMFC).The residual stress and spring back behavior which occur as a result of stamping a bipolar plate are investigated in this study.The effects of the punch radius,the die radius,the channel depth,and the clearance between the punch and the die on the residual stress and forming quality of the bipolar plate are examined.The stamping process can be divided into three stages.The high stress area and the middle section residual stress area were selected to study the formation process and to obtain the composition of the residual stress regions.Spring back was mainly related to the position of the fixed end of the sheet and the degree of plastic deformation,and the sheet thickness have increased by 2μm after spring back.Based on the results of finite element analysis,as described by the distribution of residual stress,the formation,the thickness of the middle cross section and the equivalent plastic strain,it was found that all the tool parameters affected the distribution of the residual stress.This research can provide a design reference for the manufacture of metallic bipolar plates based on the stamping process.
文摘With the improvement of safety performance,car parts have different requirements for material strength and energy absorption performance.The conventional 1500-MPa hot stamping steel cannot well meet the requirements.Considering the new generation 600-MPa hot stamping steel,this study investigates the applicable car parts and hot stamping process,then designs a new body-in-white(BIW)crash test for obtaining the crash performance of the new material.Through the actual part development and crash test,it is verified that the application of the new generation hot stamping steel can improve the crash performance of BIW.
文摘Prostate cancer is the most commonly diagnosed cancer and the second leading cause of cancer mortality in men in the Western World. In the initial stages, prostate cancer is dependent on androgens for growth which is the basis for androgen ablation therapy. The effects of androgens are mediated by the Androgen Receptor (AR). Therefore, studies focus on the identification of AR-regulated genes that are also highly expressed in the prostate. STAMP family genes STAMP1/STEAP2 and STAMP2/STEAP4 have only expressed in androgen receptor-positive cells, the role of AR in STAMP family gene expression is an important question. STEAP (Six Transmembrane Epithelial Antigen of Prostate) is the first characterized prostate of enriched six transmembrane gene, expressed in metastatic prostate cancer samples, it is tempting to speculate that STAMP/STEAP family genes may be involved in similar functions with a role for both the normal biology and pathophysiology of the prostate. Using siRNA technology in LNCaP cells expressing STAMP genes per se, an apoptosis panel including pro-apoptotic and/or apoptotic molecules was assayed by RT-PCR, By this research project, prostate-specific STAMP gene family and its regulatory effects on the p53- and caspase-related pathways were characterized.
文摘This study looked at the impact of the Nigerian stamp duty tax on the growth of the economy.Time series data were employed spanning the years 1999-2020.For various years,related data were extracted from the Central Bank of Nigeria Statistical Bulletin,the Bureau of National Statistics,and Federal Inland Revenue Service reports.E-view 9.0 was used to test the hypothesis using the ordinary least square.The study outcome revealed that stamp duty has an insignificant and positive impact on Nigeria’s economic growth.It was recommended that the government improve public entities and provide strong government investment as a source of domestic revenue generated from various business activities.
