A recent experimental finding replicated an earlier research result, both of which demonstrated conflict with a specific Standard Model prediction. The “Muon g - 2” studies have indicated that the degree of muon pre...A recent experimental finding replicated an earlier research result, both of which demonstrated conflict with a specific Standard Model prediction. The “Muon g - 2” studies have indicated that the degree of muon precession predicted by the Model is not the same as observed. The researchers offer many posteriori atheoretical hypotheses as possible explanations of their findings, but no fundamental theoretical understanding of the near discovery is among them. This article describes both an explication for the unexpected result and describes its underlying mechanism based on an existing cosmological theory, the Probabilistic Spacetime Theory. The paper also discusses the potential value of this theory.展开更多
Formal verification is fundamental in many phases of digital systems design. The most successful verification procedures employ Ordered Binary Decision Diagrams (OBDDs) as canonical representation for both Boolean cir...Formal verification is fundamental in many phases of digital systems design. The most successful verification procedures employ Ordered Binary Decision Diagrams (OBDDs) as canonical representation for both Boolean circuit specifications and logic designs, but these methods require a large amount of memory and time. Due to these limitations, several models of Decision Diagrams have been studied and other verification techniques have been proposed. In this paper, we have used probabilistic verification with Galois (or finite) field GF(2m) modifying the CUDD package for the computation of signatures in classical OBDDs, and for the construction of Mod2-OBDDs (also known as ?-OBDDs). Mod2-OBDDs have been constructed with a two-level layer of ?-nodes using a positive Davio expansion (pDE) for a given variable. The sizes of the Mod2-OBDDs obtained with our method are lower than the Mod2-OBDDs sizes obtained with other similar methods.展开更多
Recently some P2P systems have constructed the small world network using the small world model so as to improve the routing performance.In this paper,we propose a novel probabilistic cache scheme to construct the smal...Recently some P2P systems have constructed the small world network using the small world model so as to improve the routing performance.In this paper,we propose a novel probabilistic cache scheme to construct the small world network based on the small world model and use it to improve CAN,that is,PCCAN(Probabilistic Cache-based CAN).PCCAN caches the long contact.It uses the worm routing replacing mechanism and probabilistic replacing strategy on the cache.The probabilistic cache scheme proves to be an efficient approach to model the small world phenomenon.Experiments in both the static and the dynamic network show that PCCAN can converge to the steady state with the cache scheme,and the routing performance is significantly improved with additional low overheads in the network compared with CAN.展开更多
Impacts of climatic change on agriculture and adaptation are of key concern of scientific research. However, vast uncertainties exist among global climates model output, emission scenarios, scale transformation and cr...Impacts of climatic change on agriculture and adaptation are of key concern of scientific research. However, vast uncertainties exist among global climates model output, emission scenarios, scale transformation and crop model parameterization. In order to reduce these uncertainties, we integrate output results of four IPCC emission scenarios of A1FI, A2, B1 and B2, and five global climatic patterns of HadCM3, PCM, CGCM2, CSIRO2 and ECHAM4 in this study. Based on 20 databases of future climatic change scenarios from the Climatic Research Unit (CRU) , the scenario data of the climatic daily median values are generated on research sites with the global mean temperature increase of 1 ℃(GMT+1D), 2 ℃ (GMT+2D) and 3 ℃(GMT+3D). The impact of CO2 fertilization effect on wheat biomass for GMT+1D, GMT+2D and GMT+3D in China’s wheat-producing areas is studied in the process model, CERES-Wheat and probabilistic forecasting method. The research results show the CO2 fertilization effect can compensate reduction of wheat biomass with warming temperature in a strong compensating effect. Under the CO2 fertilization effect, the rain-fed and irrigated wheat biomasses increase respectively, and the increment of biomass goes up with temperature rising. The rain-fed wheat biomass increase is greater than the irrigated wheat biomass. Without consideration of CO2 fertilization effect, both irrigated and rain-fed wheat biomasses reduce, and there is a higher probability for the irrigated wheat biomass than that of the rain-fed wheat biomass.展开更多
Impacts of climatic change on agriculture and adaptation are of key concern of scientific research. However, vast uncertainties exist among global climates model output, emission scenarios, scale transformation and cr...Impacts of climatic change on agriculture and adaptation are of key concern of scientific research. However, vast uncertainties exist among global climates model output, emission scenarios, scale transformation and crop model parameterization. In order to reduce these uncertainties, we integrate output results of four IPCC emission scenarios of A1 FI, A2, B1 and B2, and five global climatic patterns of HadCM3, PCM, CGCM2, CSIRO2 and ECHAM4 in this study. Based on 20 databases of future climatic change scenarios from the Climatic Research Unit （CRU） , the scenario data of the climatic daily median values are generated on research sites with the global mean temperature increase of 1℃（GMT＋ID）, 2℃（GMT＋2D） and 3℃（GMT＋3D）. The impact of CO2 fertilization effect on wheat biomass for GMT＋I D, GMT＋2D and GMT＋3D in China＇s wheat-producing areas is studied in the process model, CERES-Wheat and probabilistic forecasting method. The research results show the CO2 fertilization effect can compensate reduction of wheat biomass with warming temperature in a strong compensating effect. Under the CO2 fertilization effect, the rain-fed and irrigated wheat biomasses increase respectively, and the increment of biomass goes up with temperature rising. The rain-fed wheat biomass increase is greater than the irrigated wheat biomass. Without consideration of CO2 fertilization effect, both irrigated and rain-fed wheat biomasses reduce, and there is a higher probability for the irrigated wheat biomass than that of the rain-fed wheat biomass.展开更多
文摘A recent experimental finding replicated an earlier research result, both of which demonstrated conflict with a specific Standard Model prediction. The “Muon g - 2” studies have indicated that the degree of muon precession predicted by the Model is not the same as observed. The researchers offer many posteriori atheoretical hypotheses as possible explanations of their findings, but no fundamental theoretical understanding of the near discovery is among them. This article describes both an explication for the unexpected result and describes its underlying mechanism based on an existing cosmological theory, the Probabilistic Spacetime Theory. The paper also discusses the potential value of this theory.
文摘Formal verification is fundamental in many phases of digital systems design. The most successful verification procedures employ Ordered Binary Decision Diagrams (OBDDs) as canonical representation for both Boolean circuit specifications and logic designs, but these methods require a large amount of memory and time. Due to these limitations, several models of Decision Diagrams have been studied and other verification techniques have been proposed. In this paper, we have used probabilistic verification with Galois (or finite) field GF(2m) modifying the CUDD package for the computation of signatures in classical OBDDs, and for the construction of Mod2-OBDDs (also known as ?-OBDDs). Mod2-OBDDs have been constructed with a two-level layer of ?-nodes using a positive Davio expansion (pDE) for a given variable. The sizes of the Mod2-OBDDs obtained with our method are lower than the Mod2-OBDDs sizes obtained with other similar methods.
基金Sponsored by the Science & Technology Committee of Shanghai Municipality Key Technologies R&D Project(Grant No.03dz15027)the Science & Technology Committee of Shanghai Municipality Key Project(Grant No.025115032).
文摘Recently some P2P systems have constructed the small world network using the small world model so as to improve the routing performance.In this paper,we propose a novel probabilistic cache scheme to construct the small world network based on the small world model and use it to improve CAN,that is,PCCAN(Probabilistic Cache-based CAN).PCCAN caches the long contact.It uses the worm routing replacing mechanism and probabilistic replacing strategy on the cache.The probabilistic cache scheme proves to be an efficient approach to model the small world phenomenon.Experiments in both the static and the dynamic network show that PCCAN can converge to the steady state with the cache scheme,and the routing performance is significantly improved with additional low overheads in the network compared with CAN.
基金National Natural Science Foundation of China, No.41071030
文摘Impacts of climatic change on agriculture and adaptation are of key concern of scientific research. However, vast uncertainties exist among global climates model output, emission scenarios, scale transformation and crop model parameterization. In order to reduce these uncertainties, we integrate output results of four IPCC emission scenarios of A1FI, A2, B1 and B2, and five global climatic patterns of HadCM3, PCM, CGCM2, CSIRO2 and ECHAM4 in this study. Based on 20 databases of future climatic change scenarios from the Climatic Research Unit (CRU) , the scenario data of the climatic daily median values are generated on research sites with the global mean temperature increase of 1 ℃(GMT+1D), 2 ℃ (GMT+2D) and 3 ℃(GMT+3D). The impact of CO2 fertilization effect on wheat biomass for GMT+1D, GMT+2D and GMT+3D in China’s wheat-producing areas is studied in the process model, CERES-Wheat and probabilistic forecasting method. The research results show the CO2 fertilization effect can compensate reduction of wheat biomass with warming temperature in a strong compensating effect. Under the CO2 fertilization effect, the rain-fed and irrigated wheat biomasses increase respectively, and the increment of biomass goes up with temperature rising. The rain-fed wheat biomass increase is greater than the irrigated wheat biomass. Without consideration of CO2 fertilization effect, both irrigated and rain-fed wheat biomasses reduce, and there is a higher probability for the irrigated wheat biomass than that of the rain-fed wheat biomass.
基金National Natural Science Foundation of China, No.41071030
文摘Impacts of climatic change on agriculture and adaptation are of key concern of scientific research. However, vast uncertainties exist among global climates model output, emission scenarios, scale transformation and crop model parameterization. In order to reduce these uncertainties, we integrate output results of four IPCC emission scenarios of A1 FI, A2, B1 and B2, and five global climatic patterns of HadCM3, PCM, CGCM2, CSIRO2 and ECHAM4 in this study. Based on 20 databases of future climatic change scenarios from the Climatic Research Unit （CRU） , the scenario data of the climatic daily median values are generated on research sites with the global mean temperature increase of 1℃（GMT＋ID）, 2℃（GMT＋2D） and 3℃（GMT＋3D）. The impact of CO2 fertilization effect on wheat biomass for GMT＋I D, GMT＋2D and GMT＋3D in China＇s wheat-producing areas is studied in the process model, CERES-Wheat and probabilistic forecasting method. The research results show the CO2 fertilization effect can compensate reduction of wheat biomass with warming temperature in a strong compensating effect. Under the CO2 fertilization effect, the rain-fed and irrigated wheat biomasses increase respectively, and the increment of biomass goes up with temperature rising. The rain-fed wheat biomass increase is greater than the irrigated wheat biomass. Without consideration of CO2 fertilization effect, both irrigated and rain-fed wheat biomasses reduce, and there is a higher probability for the irrigated wheat biomass than that of the rain-fed wheat biomass.
