In this paper, the authors continue the researches described in [1], that consists in a comparative study of two methods to eliminate the static hazard from logical functions, by using the form of Product of Sums (POS...In this paper, the authors continue the researches described in [1], that consists in a comparative study of two methods to eliminate the static hazard from logical functions, by using the form of Product of Sums (POS), static hazard “0”. In the first method, it used the consensus theorem to determine the cover term that is equal with the product of the two residual implicants, and in the second method it resolved a Boolean equation system. The authors observed that in the second method the digital hazard can be earlier detected. If the Boolean equation system is incompatible (doesn’t have solutions), the considered logical function doesn’t have the static 1 hazard regarding the coupled variable. Using the logical computations, this method permits to determine the needed transitions to eliminate the digital hazard.展开更多
In this article, firstly, we calculated and analyzed the patterns of Coulomb stress changes induced by a sequence of strong earthquakes that occurred in Songpan (松藩), Sichuan (四川) Province in 1973 and 1976, an...In this article, firstly, we calculated and analyzed the patterns of Coulomb stress changes induced by a sequence of strong earthquakes that occurred in Songpan (松藩), Sichuan (四川) Province in 1973 and 1976, and discovered that the Ms8.0 Wenchuan (汶川) earthquake of 2008 was epicentered in a relevant Coulomb stress triggering zone. This suggests that the Coulomb stress on the middle and southern segments of the Longmenshan (龙门山) fault zone increased after the Songpan sequence of strong earthquakes, and the stress increment might cause the 2008 Wenchuan earthquake having al- ready occurred somewhat ahead of time. Further, we calculated and analyzed Coulomb stress changes coinduced by both the Songpan sequence and the Ms8.0 Wenchuan mainshock. The result shows that the Ms6.4 Qingchuan (青川) earthquake of May 25, 2008 on the northeastern segment of the Longmenshan fault zone was triggered by the Wenchuan mainshock, and that the southwestern segment of the fault zone is also in the stress triggering zone. Besides, the Maoxian (茂县)-Wenchuan fault (i.e., the back-range fault of the Longmenshan fault zone), which extends parallel to the seismogenic fault of the Wenchuan earthquake, is in a shadow zone of the Coulomb stress changes, and therefore, its potential hazard for producing a strong or large earthquake in the near future could be reduced relatively.展开更多
伴随信息产业的快速发展和互联网保险的广泛运用,近几年来国际上出现了一种新型保险模式――P2P保险(Peer to Peer Insurance)。该模式基于互联网,通过聚集若干风险类型相似的投保人组建风险共担互助小组,风险互助小组成员间一般是亲戚...伴随信息产业的快速发展和互联网保险的广泛运用,近几年来国际上出现了一种新型保险模式――P2P保险(Peer to Peer Insurance)。该模式基于互联网,通过聚集若干风险类型相似的投保人组建风险共担互助小组,风险互助小组成员间一般是亲戚、朋友等熟人关系。P2P保险形成的相互监督机制和声誉机制,可以较好地解决传统保险市场中存在的道德风险问题。本文利用经济学中的比较静态分析方法,研究了P2P保险的道德风险问题,并从理论上证明了在P2P保险模式下,投保人会倾向于更加努力防范风险以降低出险概率,道德风险问题可以得到有效缓解。展开更多
文摘In this paper, the authors continue the researches described in [1], that consists in a comparative study of two methods to eliminate the static hazard from logical functions, by using the form of Product of Sums (POS), static hazard “0”. In the first method, it used the consensus theorem to determine the cover term that is equal with the product of the two residual implicants, and in the second method it resolved a Boolean equation system. The authors observed that in the second method the digital hazard can be earlier detected. If the Boolean equation system is incompatible (doesn’t have solutions), the considered logical function doesn’t have the static 1 hazard regarding the coupled variable. Using the logical computations, this method permits to determine the needed transitions to eliminate the digital hazard.
基金supported by the Open Fund Project of State Key Laboratory of Earthquake Dynamics (No. LED2008B01)
文摘In this article, firstly, we calculated and analyzed the patterns of Coulomb stress changes induced by a sequence of strong earthquakes that occurred in Songpan (松藩), Sichuan (四川) Province in 1973 and 1976, and discovered that the Ms8.0 Wenchuan (汶川) earthquake of 2008 was epicentered in a relevant Coulomb stress triggering zone. This suggests that the Coulomb stress on the middle and southern segments of the Longmenshan (龙门山) fault zone increased after the Songpan sequence of strong earthquakes, and the stress increment might cause the 2008 Wenchuan earthquake having al- ready occurred somewhat ahead of time. Further, we calculated and analyzed Coulomb stress changes coinduced by both the Songpan sequence and the Ms8.0 Wenchuan mainshock. The result shows that the Ms6.4 Qingchuan (青川) earthquake of May 25, 2008 on the northeastern segment of the Longmenshan fault zone was triggered by the Wenchuan mainshock, and that the southwestern segment of the fault zone is also in the stress triggering zone. Besides, the Maoxian (茂县)-Wenchuan fault (i.e., the back-range fault of the Longmenshan fault zone), which extends parallel to the seismogenic fault of the Wenchuan earthquake, is in a shadow zone of the Coulomb stress changes, and therefore, its potential hazard for producing a strong or large earthquake in the near future could be reduced relatively.
文摘伴随信息产业的快速发展和互联网保险的广泛运用,近几年来国际上出现了一种新型保险模式――P2P保险(Peer to Peer Insurance)。该模式基于互联网,通过聚集若干风险类型相似的投保人组建风险共担互助小组,风险互助小组成员间一般是亲戚、朋友等熟人关系。P2P保险形成的相互监督机制和声誉机制,可以较好地解决传统保险市场中存在的道德风险问题。本文利用经济学中的比较静态分析方法,研究了P2P保险的道德风险问题,并从理论上证明了在P2P保险模式下,投保人会倾向于更加努力防范风险以降低出险概率,道德风险问题可以得到有效缓解。