The propagation of single-event effects(SEEs)on a Xilinx Zynq-7000 system on chip(SoC)was inves-tigated using heavy-ion microbeam radiation.The irradia-tion results reveal several functional blocks’sensitivity locati...The propagation of single-event effects(SEEs)on a Xilinx Zynq-7000 system on chip(SoC)was inves-tigated using heavy-ion microbeam radiation.The irradia-tion results reveal several functional blocks’sensitivity locations and cross sections,for instance,the arithmetic logic unit,register,D-cache,and peripheral,while irradi-ating the on-chip memory(OCM)region.Moreover,event tree analysis was executed based on the obtained microbeam irradiation results.This study quantitatively assesses the probabilities of SEE propagation from the OCM to other blocks in the SoC.展开更多
Demonstrating theoretically the possibility that the financial market, albeit incomplete, has equilibrium and that this equilibrium is efficient and has been an important topic at the frontier of the research on gener...Demonstrating theoretically the possibility that the financial market, albeit incomplete, has equilibrium and that this equilibrium is efficient and has been an important topic at the frontier of the research on general equilibrium for financial markets. The paper examines the asymptotic properties of incomplete financial markets taking into accounting the asset structure. The paper deals with a case in which a structure of securities relates to the asymptotic inefficiency.展开更多
In this paper,the irrational-behavior-proof conditions in a class of stochastic dynamic games over event trees are presented.Four kinds of irrational-behavior-proof conditions are proposed by the imputation distributi...In this paper,the irrational-behavior-proof conditions in a class of stochastic dynamic games over event trees are presented.Four kinds of irrational-behavior-proof conditions are proposed by the imputation distribution procedure,and their relationships are discussed.More specific properties for the general transformation of characteristic functions are developed,based on which,the irrational-behavior-proof conditions are proved to be true in a transformed cooperative game.展开更多
A state/event fault tree(SEFT)is a modeling technique for describing the causal chains of events leading to failure in software-controlled complex systems.Such systems are ubiquitous in all areas of everyday life,and ...A state/event fault tree(SEFT)is a modeling technique for describing the causal chains of events leading to failure in software-controlled complex systems.Such systems are ubiquitous in all areas of everyday life,and safety and reliability analyses are increasingly required for these systems.SEFTs combine elements from the traditional fault tree with elements from state-based techniques.In the context of the real-time safety-critical systems,SEFTs do not describe the time properties and important timedependent system behaviors that can lead to system failures.Further,SEFTs lack the precise semantics required for formally modeling time behaviors.In this paper,we present a qualitative analysis method for SEFTs based on transformation from SEFT to timed automata(TA),and use the model checker UPPAAL to verify system requirements’properties.The combination of SEFT and TA is an important step towards an integrated design and verification process for real-time safety-critical systems.Finally,we present a case study of a powerboat autopilot system to confirm our method is viable and valid after achieving the verification goal step by step.展开更多
总结论述了基于图论的故障诊断和定位技术、基于软件定义网络(Software Defined Network,SDN)架构的故障诊断和恢复技术、基于故障追踪的故障预测方法、基于事件驱动的故障预测方法。从故障诊断方法的优点、缺点进行对比分析,从故障预...总结论述了基于图论的故障诊断和定位技术、基于软件定义网络(Software Defined Network,SDN)架构的故障诊断和恢复技术、基于故障追踪的故障预测方法、基于事件驱动的故障预测方法。从故障诊断方法的优点、缺点进行对比分析,从故障预测的模型输入、应用范围、优点和不足等方面进行对比分析,对发展趋势进行分析总结,以实例验证了所总结的故障诊断和预测方法。展开更多
基金This work was supported by the National Natural Science Foundation of China(Nos.11575138,11835006,11690040,11690043,and 11705216)the Innovation Center of Radiation Application(No.KFZC2019050321)the China Scholarships Council program(No.201906280343).
文摘The propagation of single-event effects(SEEs)on a Xilinx Zynq-7000 system on chip(SoC)was inves-tigated using heavy-ion microbeam radiation.The irradia-tion results reveal several functional blocks’sensitivity locations and cross sections,for instance,the arithmetic logic unit,register,D-cache,and peripheral,while irradi-ating the on-chip memory(OCM)region.Moreover,event tree analysis was executed based on the obtained microbeam irradiation results.This study quantitatively assesses the probabilities of SEE propagation from the OCM to other blocks in the SoC.
文摘Demonstrating theoretically the possibility that the financial market, albeit incomplete, has equilibrium and that this equilibrium is efficient and has been an important topic at the frontier of the research on general equilibrium for financial markets. The paper examines the asymptotic properties of incomplete financial markets taking into accounting the asset structure. The paper deals with a case in which a structure of securities relates to the asymptotic inefficiency.
基金supported by National Natural Science Foundation of China(No.72171126)China Postdoctoral Science Foundation(No.2016M600525)Qingdao Postdoctoral Application Research Project(No.2016029).
文摘In this paper,the irrational-behavior-proof conditions in a class of stochastic dynamic games over event trees are presented.Four kinds of irrational-behavior-proof conditions are proposed by the imputation distribution procedure,and their relationships are discussed.More specific properties for the general transformation of characteristic functions are developed,based on which,the irrational-behavior-proof conditions are proved to be true in a transformed cooperative game.
基金supported by the National Natural Science Foundation of China(11832012)
文摘A state/event fault tree(SEFT)is a modeling technique for describing the causal chains of events leading to failure in software-controlled complex systems.Such systems are ubiquitous in all areas of everyday life,and safety and reliability analyses are increasingly required for these systems.SEFTs combine elements from the traditional fault tree with elements from state-based techniques.In the context of the real-time safety-critical systems,SEFTs do not describe the time properties and important timedependent system behaviors that can lead to system failures.Further,SEFTs lack the precise semantics required for formally modeling time behaviors.In this paper,we present a qualitative analysis method for SEFTs based on transformation from SEFT to timed automata(TA),and use the model checker UPPAAL to verify system requirements’properties.The combination of SEFT and TA is an important step towards an integrated design and verification process for real-time safety-critical systems.Finally,we present a case study of a powerboat autopilot system to confirm our method is viable and valid after achieving the verification goal step by step.
文摘总结论述了基于图论的故障诊断和定位技术、基于软件定义网络(Software Defined Network,SDN)架构的故障诊断和恢复技术、基于故障追踪的故障预测方法、基于事件驱动的故障预测方法。从故障诊断方法的优点、缺点进行对比分析,从故障预测的模型输入、应用范围、优点和不足等方面进行对比分析,对发展趋势进行分析总结,以实例验证了所总结的故障诊断和预测方法。
