赣南牛岭钨矿床是近年新发现的典型石英脉型钨矿床。在矿床野外地质调查的基础上,本文选择矿区中细粒斑状黑云母花岗岩、含钨石英脉开展高精度测年研究,获得牛岭黑云母花岗岩LA-ICP-MS锆石U-Pb年龄为156±1 Ma(MSWD=0.94),辉钼矿Re...赣南牛岭钨矿床是近年新发现的典型石英脉型钨矿床。在矿床野外地质调查的基础上,本文选择矿区中细粒斑状黑云母花岗岩、含钨石英脉开展高精度测年研究,获得牛岭黑云母花岗岩LA-ICP-MS锆石U-Pb年龄为156±1 Ma(MSWD=0.94),辉钼矿Re-Os等时线年龄为156.8±6.3 Ma (MSWD=0.01),白云母40Ar-39Ar阶段升温坪年龄为157.2±1.0 Ma (MSWD=0.31)。上述测试结果一致表明,牛岭钨矿床成岩成矿作用均发生于晚侏罗世。辉钼矿Re/Os同位素及成矿母岩性质反映成矿金属来自于地壳。综合华南侏罗纪-白垩纪地质事件序列和动力学研究成果,认为古太平洋板块西向俯冲机制下的安第斯型陆缘弧后环境可能是矿床的理想成矿构造背景。展开更多
目的探讨水中平板步行训练对脑卒中患者步行功能的影响。方法 2015年7月至2017年10月,33例脑梗死患者随机分为对照组(n=16)和治疗组(n=17)。对照组采用常规水中运动训练,治疗组加水中平板步行训练,共6周。治疗前后采用Berg平衡量表、计...目的探讨水中平板步行训练对脑卒中患者步行功能的影响。方法 2015年7月至2017年10月,33例脑梗死患者随机分为对照组(n=16)和治疗组(n=17)。对照组采用常规水中运动训练,治疗组加水中平板步行训练,共6周。治疗前后采用Berg平衡量表、计时起立走测试、2分钟步行测试和步态分析进行评定。结果治疗后,两组各项指标均较治疗前改善(t> 2.536, P <0.05),治疗组Berg平衡量表评分、计时起立-走测试、2分钟步行测试、患侧步长、步速和步宽均优于对照组(t> 2.057, P <0.05),Berg平衡量表改善率显著优于对照组(χ~2=33, P <0.001)。结论水中平板步行训练可改善脑卒中患者的步行功能。展开更多
Reachability-based analysis and temporal analysis are used to verify the properties of concurrent systems, and it is important to exploit fast and efficient methods. This paper gives semantics of temporal formulae wit...Reachability-based analysis and temporal analysis are used to verify the properties of concurrent systems, and it is important to exploit fast and efficient methods. This paper gives semantics of temporal formulae with edges of the transition system of Petri net, and then presents a fast temporal analyzing method, which takes advantage of both Petri net and temporal logic. The method only expands a path of equivalence trace while the path does not satisfy a property according to trace semantics of Petri net, and can validate directly the property on Petri net. Moreover, we exploit a minimal degree of in-out of a node as heuristics to select a path of an equivalence trace. Finally, we demonstrate the validity of the method that decreases state spaces and improves the verification system with the experimental results.展开更多
In order to realize distributed computing of Ada95, this paper discusses Ada95's distributed system model and an implement model of Ada95's distributed computing-- workstation cluster model. Under this model,...In order to realize distributed computing of Ada95, this paper discusses Ada95's distributed system model and an implement model of Ada95's distributed computing-- workstation cluster model. Under this model, we presents a pre-allocation strategy for allocating the computation quantity of distributed units evenly among workstations and also reducing the communication expense between those distributed units.展开更多
文摘赣南牛岭钨矿床是近年新发现的典型石英脉型钨矿床。在矿床野外地质调查的基础上,本文选择矿区中细粒斑状黑云母花岗岩、含钨石英脉开展高精度测年研究,获得牛岭黑云母花岗岩LA-ICP-MS锆石U-Pb年龄为156±1 Ma(MSWD=0.94),辉钼矿Re-Os等时线年龄为156.8±6.3 Ma (MSWD=0.01),白云母40Ar-39Ar阶段升温坪年龄为157.2±1.0 Ma (MSWD=0.31)。上述测试结果一致表明,牛岭钨矿床成岩成矿作用均发生于晚侏罗世。辉钼矿Re/Os同位素及成矿母岩性质反映成矿金属来自于地壳。综合华南侏罗纪-白垩纪地质事件序列和动力学研究成果,认为古太平洋板块西向俯冲机制下的安第斯型陆缘弧后环境可能是矿床的理想成矿构造背景。
文摘目的探讨水中平板步行训练对脑卒中患者步行功能的影响。方法 2015年7月至2017年10月,33例脑梗死患者随机分为对照组(n=16)和治疗组(n=17)。对照组采用常规水中运动训练,治疗组加水中平板步行训练,共6周。治疗前后采用Berg平衡量表、计时起立走测试、2分钟步行测试和步态分析进行评定。结果治疗后,两组各项指标均较治疗前改善(t> 2.536, P <0.05),治疗组Berg平衡量表评分、计时起立-走测试、2分钟步行测试、患侧步长、步速和步宽均优于对照组(t> 2.057, P <0.05),Berg平衡量表改善率显著优于对照组(χ~2=33, P <0.001)。结论水中平板步行训练可改善脑卒中患者的步行功能。
文摘Reachability-based analysis and temporal analysis are used to verify the properties of concurrent systems, and it is important to exploit fast and efficient methods. This paper gives semantics of temporal formulae with edges of the transition system of Petri net, and then presents a fast temporal analyzing method, which takes advantage of both Petri net and temporal logic. The method only expands a path of equivalence trace while the path does not satisfy a property according to trace semantics of Petri net, and can validate directly the property on Petri net. Moreover, we exploit a minimal degree of in-out of a node as heuristics to select a path of an equivalence trace. Finally, we demonstrate the validity of the method that decreases state spaces and improves the verification system with the experimental results.
文摘In order to realize distributed computing of Ada95, this paper discusses Ada95's distributed system model and an implement model of Ada95's distributed computing-- workstation cluster model. Under this model, we presents a pre-allocation strategy for allocating the computation quantity of distributed units evenly among workstations and also reducing the communication expense between those distributed units.
