Strata bound ore deposits of Au, Ag, Hg, Sb, As, Sn, Pb and Zn in southwest Yangtze massif are concentrated in Cambrian, Devonian, Upper Permian to Lower Triassic and rarely in other horizons, showing a strong time ...Strata bound ore deposits of Au, Ag, Hg, Sb, As, Sn, Pb and Zn in southwest Yangtze massif are concentrated in Cambrian, Devonian, Upper Permian to Lower Triassic and rarely in other horizons, showing a strong time bound feature. The metallogenic elements are highly enriched in these host strata and limited in other horizons. Isotope researches indicate that the metallogenic elements in the ore deposits mainly come from the host strata. The studies of trace elements in the host mudstone show lower w (Th)/ w (Sc), w (Th)/ w (U) ratios, higher mafic elements (such as Cr, Ni, Co) mass fractions than the average values of the same kind of rocks in the upper crust and the research area. The chondrite normalized REE patterns of mudstone in the host strata are quite different from the common mudstones and shales with relatively steep HREE slopes (relatively high w (Tb) n/ w (Yb) n ratios, between 1.48 and 2.00) and no or slightly negative Eu anomalies (high δ (Eu) ratios, between 0.79 and 0.89). The NASC normalized REE patterns of siliceous rocks in the host strata show the HREE enrichment (the w (La) n/ w (Yb) n ratios are less than 1), a little Eu positive anomalies and Ce depletion with high abundances of As, Se, Sb and Ba elements, which shows the hydrothermal deposit features. The NASC normalized REE patterns of the mudstone in the host strata are very similar to those of the hydrothermal siliceous rocks and to those of the tuffs and basalts except the higher total REE mass fractions. All of these geochemical characteristics suggest the existence of interior sources pouring into basin when the host strata were deposited. The research of basin evolution also indicates that the host strata were deposited in the pulling apart periods. It can be realized from these facts that the degree of enrichment and deficiency of the elements in the normal depositional strata is very limited, and it is only the particular horizons corresponding to the particular periods of the earth ’s evolution that can be the significant source beds because only in these unusual horizons can be highly enriched metallogenic elements. The interior sources corresponding to the pulling apart of basin evolution may be the main cause to make the mineralization of the strata bound ore deposits in southwest Yangtze massif take on time bound characteristics.展开更多
Along with process control,perception represents the main function performed by the Edge Layer of an Internet of Things(IoT)network.Many of these networks implement various applications where the response time does no...Along with process control,perception represents the main function performed by the Edge Layer of an Internet of Things(IoT)network.Many of these networks implement various applications where the response time does not represent an important parameter.However,in critical applications,this parameter represents a crucial aspect.One important sensing device used in IoT designs is the accelerometer.In most applications,the response time of the embedded driver software handling this device is generally not analysed and not taken into account.In this paper,we present the design and implementation of a predictable real-time driver stack for a popular accelerometer and gyroscope device family.We provide clear justifications for why this response time is extremely important for critical applications in the acquisition process of such data.We present extensive measurements and experimental results that demonstrate the predictability of our solution,making it suitable for critical real-time systems.展开更多
文摘Strata bound ore deposits of Au, Ag, Hg, Sb, As, Sn, Pb and Zn in southwest Yangtze massif are concentrated in Cambrian, Devonian, Upper Permian to Lower Triassic and rarely in other horizons, showing a strong time bound feature. The metallogenic elements are highly enriched in these host strata and limited in other horizons. Isotope researches indicate that the metallogenic elements in the ore deposits mainly come from the host strata. The studies of trace elements in the host mudstone show lower w (Th)/ w (Sc), w (Th)/ w (U) ratios, higher mafic elements (such as Cr, Ni, Co) mass fractions than the average values of the same kind of rocks in the upper crust and the research area. The chondrite normalized REE patterns of mudstone in the host strata are quite different from the common mudstones and shales with relatively steep HREE slopes (relatively high w (Tb) n/ w (Yb) n ratios, between 1.48 and 2.00) and no or slightly negative Eu anomalies (high δ (Eu) ratios, between 0.79 and 0.89). The NASC normalized REE patterns of siliceous rocks in the host strata show the HREE enrichment (the w (La) n/ w (Yb) n ratios are less than 1), a little Eu positive anomalies and Ce depletion with high abundances of As, Se, Sb and Ba elements, which shows the hydrothermal deposit features. The NASC normalized REE patterns of the mudstone in the host strata are very similar to those of the hydrothermal siliceous rocks and to those of the tuffs and basalts except the higher total REE mass fractions. All of these geochemical characteristics suggest the existence of interior sources pouring into basin when the host strata were deposited. The research of basin evolution also indicates that the host strata were deposited in the pulling apart periods. It can be realized from these facts that the degree of enrichment and deficiency of the elements in the normal depositional strata is very limited, and it is only the particular horizons corresponding to the particular periods of the earth ’s evolution that can be the significant source beds because only in these unusual horizons can be highly enriched metallogenic elements. The interior sources corresponding to the pulling apart of basin evolution may be the main cause to make the mineralization of the strata bound ore deposits in southwest Yangtze massif take on time bound characteristics.
文摘Along with process control,perception represents the main function performed by the Edge Layer of an Internet of Things(IoT)network.Many of these networks implement various applications where the response time does not represent an important parameter.However,in critical applications,this parameter represents a crucial aspect.One important sensing device used in IoT designs is the accelerometer.In most applications,the response time of the embedded driver software handling this device is generally not analysed and not taken into account.In this paper,we present the design and implementation of a predictable real-time driver stack for a popular accelerometer and gyroscope device family.We provide clear justifications for why this response time is extremely important for critical applications in the acquisition process of such data.We present extensive measurements and experimental results that demonstrate the predictability of our solution,making it suitable for critical real-time systems.
文摘状态迁移矩阵(state transition matrix,简称STM)是一种基于表结构的状态机建模方法,前端为表格形式,后端则具有严格的形式化定义,用于建模软件系统行为.但目前STM不具有时间语义,这极大地限制了该方法在实时嵌入式软件建模方面的应用.针对这一问题,提出了一种基于时间STM(time STM,简称TSTM)的形式化建模方法,通过为STM各单元格增加时间语义和约束,使其适用于实时软件行为刻画.此外,针对TSTM给出了一种基于界限模型检测(bounded model checking,简称BMC)技术的时间计算树逻辑(time computation tree logic,简称TCTL)模型检测方法,以验证TSTM时间及逻辑属性.最后,通过对某型号列控制软件进行TSTM建模与验证,证明了上述方法的有效性.
