We present a unique approach for communication deadlock analysis for actor-model which has an under-approximated analysis result. Our analysis detects narrowly defined communication deadlocks by finding a cyclic depen...We present a unique approach for communication deadlock analysis for actor-model which has an under-approximated analysis result. Our analysis detects narrowly defined communication deadlocks by finding a cyclic dependency relation in a novel dependency graph called the slave dependency graph. The slave dependency graph is based on a new relationship between Actors, slave dependency, defined by us. After that, we implement this theory in Soot, an analysis tool for Java, and use it to analyze actor-based Java program realized by Akka, a Java library that allows actor-based programming. We argue that our analysis can detect a specific kind of communication deadlock with the precise result, but has many limitations.展开更多
目的:调查不孕症初诊夫妻的生育压力、二元应对和生育生活质量现状,探讨二元应对在生育压力与生育生活质量间的主客体互倚中介效应。方法:本研究为横断面研究设计,采取便利抽样法选取2023年9—11月本中心初诊不孕症、拟进行辅助生殖治疗...目的:调查不孕症初诊夫妻的生育压力、二元应对和生育生活质量现状,探讨二元应对在生育压力与生育生活质量间的主客体互倚中介效应。方法:本研究为横断面研究设计,采取便利抽样法选取2023年9—11月本中心初诊不孕症、拟进行辅助生殖治疗的267对夫妻为研究对象。采用一般资料调查表、生育压力量表(fertility problem inventory,FPI)、二元应对量表(dyadic coping inventory,DCI)和生育生活质量量表(fertility quality of life,FertiQoL)对不孕症夫妻的生育压力、二元应对和生育生活质量进行调查。采用SPSS 26.0软件对数据进行统计分析,运用R4.3.2软件进行主客体互倚中介效应分析。结果:共发放问卷不孕症夫妻267对,回收有效问卷257对,有效回收率为96.25%。Pearson相关分析显示,不孕症夫妻生育压力与二元应对、生育生活质量呈显著相关性(均P<0.001)。主体-主体效应中,二元应对在女方及男方的生育压力和生育生活质量间的主体中介效应均成立(β=-0.35,P<0.05和β=-0.09,P<0.05);伴侣-主体效应中,女方的生育压力能够通过影响男方的二元应对影响男方的生育生活质量(β=-0.04,P<0.05);男方的二元应对能够通过影响女方的二元应对影响女方的生育生活质量(β=0.06,P<0.05)。结论:不孕症夫妻在应对疾病过程中的行为反应是相互关联、相互影响的,临床诊治不孕症时在考虑一方生育压力的同时,还要考虑其自身及其与配偶之间的生育压力的相互影响,给予相应的干预措施提高双方的生育生活质量。展开更多
文摘We present a unique approach for communication deadlock analysis for actor-model which has an under-approximated analysis result. Our analysis detects narrowly defined communication deadlocks by finding a cyclic dependency relation in a novel dependency graph called the slave dependency graph. The slave dependency graph is based on a new relationship between Actors, slave dependency, defined by us. After that, we implement this theory in Soot, an analysis tool for Java, and use it to analyze actor-based Java program realized by Akka, a Java library that allows actor-based programming. We argue that our analysis can detect a specific kind of communication deadlock with the precise result, but has many limitations.
文摘目的:调查不孕症初诊夫妻的生育压力、二元应对和生育生活质量现状,探讨二元应对在生育压力与生育生活质量间的主客体互倚中介效应。方法:本研究为横断面研究设计,采取便利抽样法选取2023年9—11月本中心初诊不孕症、拟进行辅助生殖治疗的267对夫妻为研究对象。采用一般资料调查表、生育压力量表(fertility problem inventory,FPI)、二元应对量表(dyadic coping inventory,DCI)和生育生活质量量表(fertility quality of life,FertiQoL)对不孕症夫妻的生育压力、二元应对和生育生活质量进行调查。采用SPSS 26.0软件对数据进行统计分析,运用R4.3.2软件进行主客体互倚中介效应分析。结果:共发放问卷不孕症夫妻267对,回收有效问卷257对,有效回收率为96.25%。Pearson相关分析显示,不孕症夫妻生育压力与二元应对、生育生活质量呈显著相关性(均P<0.001)。主体-主体效应中,二元应对在女方及男方的生育压力和生育生活质量间的主体中介效应均成立(β=-0.35,P<0.05和β=-0.09,P<0.05);伴侣-主体效应中,女方的生育压力能够通过影响男方的二元应对影响男方的生育生活质量(β=-0.04,P<0.05);男方的二元应对能够通过影响女方的二元应对影响女方的生育生活质量(β=0.06,P<0.05)。结论:不孕症夫妻在应对疾病过程中的行为反应是相互关联、相互影响的,临床诊治不孕症时在考虑一方生育压力的同时,还要考虑其自身及其与配偶之间的生育压力的相互影响,给予相应的干预措施提高双方的生育生活质量。
