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.展开更多
目的利用主客体互倚模型探讨克罗恩病患者及其配偶主观幸福感对婚姻调适的作用。方法采取方便抽样法,抽取南京市某3级甲等医院210对患者及配偶为研究对象,选用自制一般资料调查表、主观幸福感量表简表(Subjective Well-being Scale for ...目的利用主客体互倚模型探讨克罗恩病患者及其配偶主观幸福感对婚姻调适的作用。方法采取方便抽样法,抽取南京市某3级甲等医院210对患者及配偶为研究对象,选用自制一般资料调查表、主观幸福感量表简表(Subjective Well-being Scale for Chinese Citizens,SWBS-CC20)、Locke-Wollance婚姻调适测定(Locke-Wollance Marital Adjustment Test,LWMAT)对其进行调查。采用独立样本t检验和卡方检验比较夫妻主观幸福感和婚姻调适方面的差异,通过主客体互倚模型和Pearson分析法,分析夫妻双方主观幸福感对婚姻调适的影响。结果患者和配偶各自的主观幸福感均可以正向预测自身婚姻调适(β=0.67、0.71,P<0.01),即主体效应明显;同时,患者与配偶的主观幸福感均能正向预测对方的婚姻调适(β=0.47、0.46,P<0.01),即客体效应明显。结论克罗恩病患者及配偶的婚姻调适受自身及对方主观幸福感的交互影响,且主观幸福感与婚姻调适之间主体效应和客体效应显著。因此应将克罗恩病患者及配偶视为一个整体,关注夫妻双方的二元交互影响,积极探索以夫妻为中心的婚姻调适干预方案,对改善克罗恩病夫妻的心理适应有重要意义。展开更多
文摘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.
文摘目的利用主客体互倚模型探讨克罗恩病患者及其配偶主观幸福感对婚姻调适的作用。方法采取方便抽样法,抽取南京市某3级甲等医院210对患者及配偶为研究对象,选用自制一般资料调查表、主观幸福感量表简表(Subjective Well-being Scale for Chinese Citizens,SWBS-CC20)、Locke-Wollance婚姻调适测定(Locke-Wollance Marital Adjustment Test,LWMAT)对其进行调查。采用独立样本t检验和卡方检验比较夫妻主观幸福感和婚姻调适方面的差异,通过主客体互倚模型和Pearson分析法,分析夫妻双方主观幸福感对婚姻调适的影响。结果患者和配偶各自的主观幸福感均可以正向预测自身婚姻调适(β=0.67、0.71,P<0.01),即主体效应明显;同时,患者与配偶的主观幸福感均能正向预测对方的婚姻调适(β=0.47、0.46,P<0.01),即客体效应明显。结论克罗恩病患者及配偶的婚姻调适受自身及对方主观幸福感的交互影响,且主观幸福感与婚姻调适之间主体效应和客体效应显著。因此应将克罗恩病患者及配偶视为一个整体,关注夫妻双方的二元交互影响,积极探索以夫妻为中心的婚姻调适干预方案,对改善克罗恩病夫妻的心理适应有重要意义。
