The rapid development of wearable and portable electronics has dramatically increased the application for miniaturized energy storage components.Stamping micro-supercapacitors(MSCs)with planar interdigital configurati...The rapid development of wearable and portable electronics has dramatically increased the application for miniaturized energy storage components.Stamping micro-supercapacitors(MSCs)with planar interdigital configurations are considered as a promising candidate to meet the requirements.In this review,recent progress of the different stamping materials and various stamping technologies are first discussed.The merits of each material,manufacturing process of each stamping method and the properties of stamping MSCs are scrutinized,respectively.Further insights on technical difficulties and scientific challenges are finally demonstrated,including the limited thickness of printed electrodes,poor overlay accuracy and printing resolution.展开更多
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.展开更多
Matching features such as curve segments in stereo images play a very important role in scene recomtruction. In this paper, a stereo matching algorithm for the trajectories composed of time stamped points is proposed....Matching features such as curve segments in stereo images play a very important role in scene recomtruction. In this paper, a stereo matching algorithm for the trajectories composed of time stamped points is proposed. Based on time stamped points, planar curve match measurements are given first, such as time constraint, cross-ratio invariant constraint and eplpolar geometry constraint; then, a trajectory matching method is proposed based on epipolar geometry constraint and cross-ratio invariant constraint. In order to match the planar curve segments projected by perspective projection system, the curve start time and end time are selected first to prepare match candidates. Then, the epipolar equation is used to discard the unmatched curve segment candidates. At last, a cross ratio invariant constxaint is used to find the most matched curve segments. If their match measurement is higher than the specialized threshold, a candidate with the least cross ratio difference is then selected as the match result; otherwise, no match is found. Unlike the conventional planar curve segments matching algorithm, this paper presents a weakly calibrated binocular stereo vision system which is based on wide baseline. The stamped points are obtained by targets detecting method of flying objects from image sequences. Due to wide baseline, there must exist the projection not in epipolar monotonic order or the curve segments located in very short distance and keeping the epipolar monotonic order. By using the method mentioned above, experiments are made to match planar curve segments not only in epipolar monotonic order but also not in epipolar monotonic order. The results show that the performance of our curve matching algorithm is effective for matching the arc-like planar trajectories composed of time stamped points.展开更多
Roll-stamping technology,a new process with both roll-forming and stamping characteristics,is suitable for manufacturing ultra-high-strength beam parts,especially variable cross-section beam parts.The rib groove is a ...Roll-stamping technology,a new process with both roll-forming and stamping characteristics,is suitable for manufacturing ultra-high-strength beam parts,especially variable cross-section beam parts.The rib groove is a local shape often used in automotive parts for positioning,avoidance,and stiffness strengthening on longitudinal and stiffening beams.In this study,two typical rib grooves,the flat-and round-bottom rib grooves,were selected to investigate the characteristics of the roll-stamping process of rib grooves.Using the ABAQUS software platform,a simulation analysis model of rib-groove roll stamping was established and different size rib grooves produced by the roll-stamping process were compared and analyzed.The results show that when the fillet radius of the rib groove increases,the maximum Mises stress,the maximum strain,and the maximum thinning rate decrease.For roll stamping,the minimum safe fillet radii of the two types of rib grooves are 8 and 4 mm,respectively.展开更多
In order t o evaluate inertial effect on sheet deformation in the simulation of stamping pr ocesses by dynamic explicit FEM, an analytic model is established for analyzing cylindrical cup drawing process. The main fa...In order t o evaluate inertial effect on sheet deformation in the simulation of stamping pr ocesses by dynamic explicit FEM, an analytic model is established for analyzing cylindrical cup drawing process. The main factors governing the extent of inerti al effect on sheet deformation pattern are investigated by energy method, and th e approach to the selection of reasonable tool speed for dynamic analysis of sta mping processes is proposed. The effectiveness of the present approach is furthe r demonstrated and justified by the numerical result herewith provided.展开更多
为了辨识油气智慧管道系统中存在的信息安全风险,通过基于系统论事故分析模型(systems-theoretic accident modeling and process,STAMP)的方法,对油气智慧管道系统的信息物理安全进行全面评估与分析。首先,系统综合分析了油气智慧管道...为了辨识油气智慧管道系统中存在的信息安全风险,通过基于系统论事故分析模型(systems-theoretic accident modeling and process,STAMP)的方法,对油气智慧管道系统的信息物理安全进行全面评估与分析。首先,系统综合分析了油气智慧管道涉及的设备、设施、工艺、元件,评估其安全性。其次,通过建立STAMP模型,深入分析了各层级、元件之间的反馈信息与控制动作,形成了明确的控制反馈回路,突显了元件之间的关联与控制关系。在此基础上,系统辨识出了潜在的信息风险因素,推导并构建了可能发生的系统失效场景。以天然气输气首站油气智慧管道系统为例,研究验证了基于STAMP模型的可行性和有效性。结果显示,该方法不仅直观地描述了元件之间的关联与控制关系,而且从物理层功能安全的角度全面考虑了信息风险,特别凸显了过程控制系统(process control systems,PCS)及易受攻击的操作员站。与传统方法相比,本研究所提出的方法将信息物理安全风险因素的识别率提升至80%以上,提高了40%以上,有助于避免不必要的安全措施冗余设计,提高了安全风险管控的准确性。展开更多
安全生产事故往往由多组织交互、多因素耦合造成,事故原因涉及多个组织。为预防和遏制多组织生产安全事故的发生,基于系统理论事故建模与过程模型(Systems-Theory Accident Modeling and Process,STAMP)、24Model,构建一种用于多组织事...安全生产事故往往由多组织交互、多因素耦合造成,事故原因涉及多个组织。为预防和遏制多组织生产安全事故的发生,基于系统理论事故建模与过程模型(Systems-Theory Accident Modeling and Process,STAMP)、24Model,构建一种用于多组织事故分析的方法,并以青岛石油爆炸事故为例进行事故原因分析。结果显示:STAMP-24Model可以分组织,分层次且有效、全面、详细地分析涉及多个组织的事故原因,探究多组织之间的交互关系;对事故进行动态演化分析,可得到各组织不安全动作耦合关系与形成的事故失效链及管控失效路径,进而为预防多组织事故提供思路和参考。展开更多
与传统列控系统相比,全自动无人驾驶运营场景更加复杂多变,潜在的危险及致因具有更强的隐蔽性和复杂性,给运营安全带来了新的挑战。针对以上问题,提出一种STAMP(Systems-Theoretic Accident Model and Process)与模型检验相结合的复杂...与传统列控系统相比,全自动无人驾驶运营场景更加复杂多变,潜在的危险及致因具有更强的隐蔽性和复杂性,给运营安全带来了新的挑战。针对以上问题,提出一种STAMP(Systems-Theoretic Accident Model and Process)与模型检验相结合的复杂运营场景安全验证方法。首先,基于STAMP理论构建运营场景分层控制结构模型,辨识潜在的不安全控制行为、分析危险致因和安全约束;其次,定义分层控制结构模型与安全状态机模型间的基本转换规则,基于分层控制结构模型、安全约束和转换规则,构建运营场景安全状态机模型;最后,针对提取的安全约束,利用数据流图建立安全属性验证模型,结合模型检验技术,对运营场景安全状态机模型进行形式化验证。以全自动无人驾驶运营场景中列车自动进站停车为例,对方法进行验证分析。结果表明,当STAMP理论提取的安全约束通过了场景安全状态机模型的验证时,表示在该场景中对应的不安全控制行为没有发生且不导致相应危险。该方法结合系统安全分析与形式化建模验证的优势,降低了运营场景建模的难度,构建的运营场景形式化模型满足系统安全约束,可以作为全自动无人驾驶系统安全设计和安全改进的重要基础。展开更多
Accidents in engineered systems are usually generated by complex socio-technical factors.It is beneficial to investigate the increasing complexity and coupling of these factors from the perspective of system safety.Ba...Accidents in engineered systems are usually generated by complex socio-technical factors.It is beneficial to investigate the increasing complexity and coupling of these factors from the perspective of system safety.Based on system and control theories,System-Theoretic Accident Model and Processes(STAMP)is a widely recognized approach for accident analysis.In this paper,we propose a STAMP-Game model to analyze accidents in oil and gas storage and transportation systems.Stakeholders in accident analysis by STAMP can be regarded as players of a game.Game theory can,thus,be adopted in accident analysis to depict the competition and cooperation between stakeholders.Subsequently,we established a game model to study the strategies of both supervisory and supervised entities.The obtained results demonstrate that the proposed game model allows for identifying the effectiveness deficiency of the supervisory entity,and the safety and protection altitudes of the supervised entity.The STAMP-Game model can generate quantitative parameters for supporting the behavior and strategy selections of the supervisory and supervised entities.The quantitative data obtained can be used to guide the safety improvement,to reduce the costs of safety regulation violation and accident risk.展开更多
为有效防范遏制重特大生产安全事故发生,基于设计的“452”逻辑架构,构建了事故致因数据库,定量解析致因及作用关系权重,并通过优化系统理论事故建模与过程(Systems-Theory Accident Modeling and Process,STAMP)模型及决策与实验室(Dec...为有效防范遏制重特大生产安全事故发生,基于设计的“452”逻辑架构,构建了事故致因数据库,定量解析致因及作用关系权重,并通过优化系统理论事故建模与过程(Systems-Theory Accident Modeling and Process,STAMP)模型及决策与实验室(Decision Making Trial and Evaluation Laboratory,DEMATEL)分析法的叠加模型(STAMP-DEMATEL),推演关键致因及其作用关系,搭建致因分层控制结构,系统分析安全约束管控策略。研究揭示了监督检查计划落实、作业行为管理、关键技术水平等6个关键致因及监督检查计划落实-关键技术水平、作业行为管理-安全操作规程执行等5对关键作用关系,涉及政府与企业、企业内部两类主体关系范畴,管-人、管-物两类要素关系。对关键作用关系进行致因、要素、主体层面安全约束的系统分析,可为整个安全生产系统平衡运行提供决策支持,在支持系统风险管理、监管资源分配、风险预警等方面发挥重要作用。展开更多
基金the support and funding from China Scholarship Council(CSC)support by the Leibniz Program of the German Research Foundation(SCHM 1298/26-1)。
文摘The rapid development of wearable and portable electronics has dramatically increased the application for miniaturized energy storage components.Stamping micro-supercapacitors(MSCs)with planar interdigital configurations are considered as a promising candidate to meet the requirements.In this review,recent progress of the different stamping materials and various stamping technologies are first discussed.The merits of each material,manufacturing process of each stamping method and the properties of stamping MSCs are scrutinized,respectively.Further insights on technical difficulties and scientific challenges are finally demonstrated,including the limited thickness of printed electrodes,poor overlay accuracy and printing resolution.
文摘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.
基金The National Natural Science Founda-tion of China (No.60135020) and the National Defence Key Pre-research Project of China (No.413010701-3)
文摘Matching features such as curve segments in stereo images play a very important role in scene recomtruction. In this paper, a stereo matching algorithm for the trajectories composed of time stamped points is proposed. Based on time stamped points, planar curve match measurements are given first, such as time constraint, cross-ratio invariant constraint and eplpolar geometry constraint; then, a trajectory matching method is proposed based on epipolar geometry constraint and cross-ratio invariant constraint. In order to match the planar curve segments projected by perspective projection system, the curve start time and end time are selected first to prepare match candidates. Then, the epipolar equation is used to discard the unmatched curve segment candidates. At last, a cross ratio invariant constxaint is used to find the most matched curve segments. If their match measurement is higher than the specialized threshold, a candidate with the least cross ratio difference is then selected as the match result; otherwise, no match is found. Unlike the conventional planar curve segments matching algorithm, this paper presents a weakly calibrated binocular stereo vision system which is based on wide baseline. The stamped points are obtained by targets detecting method of flying objects from image sequences. Due to wide baseline, there must exist the projection not in epipolar monotonic order or the curve segments located in very short distance and keeping the epipolar monotonic order. By using the method mentioned above, experiments are made to match planar curve segments not only in epipolar monotonic order but also not in epipolar monotonic order. The results show that the performance of our curve matching algorithm is effective for matching the arc-like planar trajectories composed of time stamped points.
基金National Key R&D Program Funding Project(No.2017YFB0304404).
文摘Roll-stamping technology,a new process with both roll-forming and stamping characteristics,is suitable for manufacturing ultra-high-strength beam parts,especially variable cross-section beam parts.The rib groove is a local shape often used in automotive parts for positioning,avoidance,and stiffness strengthening on longitudinal and stiffening beams.In this study,two typical rib grooves,the flat-and round-bottom rib grooves,were selected to investigate the characteristics of the roll-stamping process of rib grooves.Using the ABAQUS software platform,a simulation analysis model of rib-groove roll stamping was established and different size rib grooves produced by the roll-stamping process were compared and analyzed.The results show that when the fillet radius of the rib groove increases,the maximum Mises stress,the maximum strain,and the maximum thinning rate decrease.For roll stamping,the minimum safe fillet radii of the two types of rib grooves are 8 and 4 mm,respectively.
文摘In order t o evaluate inertial effect on sheet deformation in the simulation of stamping pr ocesses by dynamic explicit FEM, an analytic model is established for analyzing cylindrical cup drawing process. The main factors governing the extent of inerti al effect on sheet deformation pattern are investigated by energy method, and th e approach to the selection of reasonable tool speed for dynamic analysis of sta mping processes is proposed. The effectiveness of the present approach is furthe r demonstrated and justified by the numerical result herewith provided.
文摘为了辨识油气智慧管道系统中存在的信息安全风险,通过基于系统论事故分析模型(systems-theoretic accident modeling and process,STAMP)的方法,对油气智慧管道系统的信息物理安全进行全面评估与分析。首先,系统综合分析了油气智慧管道涉及的设备、设施、工艺、元件,评估其安全性。其次,通过建立STAMP模型,深入分析了各层级、元件之间的反馈信息与控制动作,形成了明确的控制反馈回路,突显了元件之间的关联与控制关系。在此基础上,系统辨识出了潜在的信息风险因素,推导并构建了可能发生的系统失效场景。以天然气输气首站油气智慧管道系统为例,研究验证了基于STAMP模型的可行性和有效性。结果显示,该方法不仅直观地描述了元件之间的关联与控制关系,而且从物理层功能安全的角度全面考虑了信息风险,特别凸显了过程控制系统(process control systems,PCS)及易受攻击的操作员站。与传统方法相比,本研究所提出的方法将信息物理安全风险因素的识别率提升至80%以上,提高了40%以上,有助于避免不必要的安全措施冗余设计,提高了安全风险管控的准确性。
文摘安全生产事故往往由多组织交互、多因素耦合造成,事故原因涉及多个组织。为预防和遏制多组织生产安全事故的发生,基于系统理论事故建模与过程模型(Systems-Theory Accident Modeling and Process,STAMP)、24Model,构建一种用于多组织事故分析的方法,并以青岛石油爆炸事故为例进行事故原因分析。结果显示:STAMP-24Model可以分组织,分层次且有效、全面、详细地分析涉及多个组织的事故原因,探究多组织之间的交互关系;对事故进行动态演化分析,可得到各组织不安全动作耦合关系与形成的事故失效链及管控失效路径,进而为预防多组织事故提供思路和参考。
文摘与传统列控系统相比,全自动无人驾驶运营场景更加复杂多变,潜在的危险及致因具有更强的隐蔽性和复杂性,给运营安全带来了新的挑战。针对以上问题,提出一种STAMP(Systems-Theoretic Accident Model and Process)与模型检验相结合的复杂运营场景安全验证方法。首先,基于STAMP理论构建运营场景分层控制结构模型,辨识潜在的不安全控制行为、分析危险致因和安全约束;其次,定义分层控制结构模型与安全状态机模型间的基本转换规则,基于分层控制结构模型、安全约束和转换规则,构建运营场景安全状态机模型;最后,针对提取的安全约束,利用数据流图建立安全属性验证模型,结合模型检验技术,对运营场景安全状态机模型进行形式化验证。以全自动无人驾驶运营场景中列车自动进站停车为例,对方法进行验证分析。结果表明,当STAMP理论提取的安全约束通过了场景安全状态机模型的验证时,表示在该场景中对应的不安全控制行为没有发生且不导致相应危险。该方法结合系统安全分析与形式化建模验证的优势,降低了运营场景建模的难度,构建的运营场景形式化模型满足系统安全约束,可以作为全自动无人驾驶系统安全设计和安全改进的重要基础。
基金supported by the National Natural Science Foundation of China(Grant No.52004030)the R&D Program of Beijing Municipal Education Commission(Grant No.KM202310016003)the Exchange Program of High-end Foreign Experts of Ministry of Science and Technology,China(Grant No.G2022178013L)。
文摘Accidents in engineered systems are usually generated by complex socio-technical factors.It is beneficial to investigate the increasing complexity and coupling of these factors from the perspective of system safety.Based on system and control theories,System-Theoretic Accident Model and Processes(STAMP)is a widely recognized approach for accident analysis.In this paper,we propose a STAMP-Game model to analyze accidents in oil and gas storage and transportation systems.Stakeholders in accident analysis by STAMP can be regarded as players of a game.Game theory can,thus,be adopted in accident analysis to depict the competition and cooperation between stakeholders.Subsequently,we established a game model to study the strategies of both supervisory and supervised entities.The obtained results demonstrate that the proposed game model allows for identifying the effectiveness deficiency of the supervisory entity,and the safety and protection altitudes of the supervised entity.The STAMP-Game model can generate quantitative parameters for supporting the behavior and strategy selections of the supervisory and supervised entities.The quantitative data obtained can be used to guide the safety improvement,to reduce the costs of safety regulation violation and accident risk.
文摘为有效防范遏制重特大生产安全事故发生,基于设计的“452”逻辑架构,构建了事故致因数据库,定量解析致因及作用关系权重,并通过优化系统理论事故建模与过程(Systems-Theory Accident Modeling and Process,STAMP)模型及决策与实验室(Decision Making Trial and Evaluation Laboratory,DEMATEL)分析法的叠加模型(STAMP-DEMATEL),推演关键致因及其作用关系,搭建致因分层控制结构,系统分析安全约束管控策略。研究揭示了监督检查计划落实、作业行为管理、关键技术水平等6个关键致因及监督检查计划落实-关键技术水平、作业行为管理-安全操作规程执行等5对关键作用关系,涉及政府与企业、企业内部两类主体关系范畴,管-人、管-物两类要素关系。对关键作用关系进行致因、要素、主体层面安全约束的系统分析,可为整个安全生产系统平衡运行提供决策支持,在支持系统风险管理、监管资源分配、风险预警等方面发挥重要作用。