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.展开更多
Conventional fault tree and reliability analysis do not reflect the characteristics of basic events as non stationary and ergodic process. To overcome these drawbacks, theory of fuzzy sets is employed to run fault tre...Conventional fault tree and reliability analysis do not reflect the characteristics of basic events as non stationary and ergodic process. To overcome these drawbacks, theory of fuzzy sets is employed to run fault tree analysis(FTA) of roller oscillating tooth gear drive(ROTGD), the relative frequencies of basic events are considered as symmetrical normal fuzzy numbers, from the logical relationship between different events in the fault tree and fuzzy operators AND and OR, fuzzy probability of top event is solved. Finally, an example is given to demonstrate a real ROTGD system.展开更多
我国东北地区气候寒冷,低温事件会严重影响树木生长。水曲柳是东北地区珍贵的用材树种,目前关于其纤维解剖特征对低温的响应与适应策略还知之甚少。为此,以小兴安岭地区水曲柳子代测定林为研究对象,采用树轮年代学和木材解剖学方法,研...我国东北地区气候寒冷,低温事件会严重影响树木生长。水曲柳是东北地区珍贵的用材树种,目前关于其纤维解剖特征对低温的响应与适应策略还知之甚少。为此,以小兴安岭地区水曲柳子代测定林为研究对象,采用树轮年代学和木材解剖学方法,研究水曲柳纤维解剖特征与主要气候因子之间关系,明确低温对木材纤维解剖特征的影响。结果表明,小兴安岭地区水曲柳木纤维解剖特征具有较大的年际变化,木纤维细胞数量(fiber cell number,FN)、木纤维细胞总面积(total fiber cell area,TFA)与年轮宽度(ring width,RW)存在极显著正相关关系,在幼龄林阶段均呈现先升后降的变化趋势。木纤维细胞密度(fiber density,FD)和总体平均木纤维细胞壁增强指数(square of the total-to-bound ratio,(T/B)2)呈现逐年下降的趋势。平均木纤维细胞面积(mean fiber cell area,MFA)和木纤维细胞壁厚度(overall mean thickness of all fiber cell walls,CWTall)呈现逐年增加的趋势。水曲柳纤维解剖特征受温度影响较大,尤其是生长季最低温。低温事件使水曲柳的径向生长受到抑制,年轮宽度、木纤维细胞数量、平均木纤维细胞面积、木纤维细胞总面积和木纤维细胞占比(mean percentage of fiber cell area within xylem,RFTA)较非低温年分别显著下降32.6%、20.3%、22.4%、45.9%和9.4%,而木纤维细胞密度升高11.6%。在面对低温事件时,水曲柳会采取减少木纤维细胞数量、提高木纤维细胞密度这一相对保守的生存策略。研究结果为小兴安岭地区耐寒水曲柳选育提供科学依据。展开更多
基金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.
文摘Conventional fault tree and reliability analysis do not reflect the characteristics of basic events as non stationary and ergodic process. To overcome these drawbacks, theory of fuzzy sets is employed to run fault tree analysis(FTA) of roller oscillating tooth gear drive(ROTGD), the relative frequencies of basic events are considered as symmetrical normal fuzzy numbers, from the logical relationship between different events in the fault tree and fuzzy operators AND and OR, fuzzy probability of top event is solved. Finally, an example is given to demonstrate a real ROTGD system.
文摘我国东北地区气候寒冷,低温事件会严重影响树木生长。水曲柳是东北地区珍贵的用材树种,目前关于其纤维解剖特征对低温的响应与适应策略还知之甚少。为此,以小兴安岭地区水曲柳子代测定林为研究对象,采用树轮年代学和木材解剖学方法,研究水曲柳纤维解剖特征与主要气候因子之间关系,明确低温对木材纤维解剖特征的影响。结果表明,小兴安岭地区水曲柳木纤维解剖特征具有较大的年际变化,木纤维细胞数量(fiber cell number,FN)、木纤维细胞总面积(total fiber cell area,TFA)与年轮宽度(ring width,RW)存在极显著正相关关系,在幼龄林阶段均呈现先升后降的变化趋势。木纤维细胞密度(fiber density,FD)和总体平均木纤维细胞壁增强指数(square of the total-to-bound ratio,(T/B)2)呈现逐年下降的趋势。平均木纤维细胞面积(mean fiber cell area,MFA)和木纤维细胞壁厚度(overall mean thickness of all fiber cell walls,CWTall)呈现逐年增加的趋势。水曲柳纤维解剖特征受温度影响较大,尤其是生长季最低温。低温事件使水曲柳的径向生长受到抑制,年轮宽度、木纤维细胞数量、平均木纤维细胞面积、木纤维细胞总面积和木纤维细胞占比(mean percentage of fiber cell area within xylem,RFTA)较非低温年分别显著下降32.6%、20.3%、22.4%、45.9%和9.4%,而木纤维细胞密度升高11.6%。在面对低温事件时,水曲柳会采取减少木纤维细胞数量、提高木纤维细胞密度这一相对保守的生存策略。研究结果为小兴安岭地区耐寒水曲柳选育提供科学依据。
