SOZL (structured methodology + object-oriented methodology + Z language) is a language that attempts to integrate structured method, object-oriented method and formal method. The core of this language is predicate dat...SOZL (structured methodology + object-oriented methodology + Z language) is a language that attempts to integrate structured method, object-oriented method and formal method. The core of this language is predicate data flow diagram (PDFD). In order to eliminate the ambiguity of predicate data flow diagrams and their associated textual specifications, a formalization of the syntax and semantics of predicate data flow diagrams is necessary. In this paper we use Z notation to define an abstract syntax and the related structural constraints for the PDFD notation, and provide it with an axiomatic semantics based on the concept of data availability and functionality of predicate operation. Finally, an example is given to establish functionality consistent decomposition on hierarchical PDFD (HPDFD).展开更多
A new synthetical knowledge representation model that integrates the attribute grammar model with the semantic network model was presented. The model mainly uses symbols of attribute grammar to establish a set of sy...A new synthetical knowledge representation model that integrates the attribute grammar model with the semantic network model was presented. The model mainly uses symbols of attribute grammar to establish a set of syntax and semantic rules suitable for a semantic network. Based on the model,the paper introduces a formal method defining data flow diagrams (DFD) and also simply explains how to use the method.展开更多
Geochemistry is a powerful tool to help characterize the tectonic setting of igneous rocks associations.However,when continental mafic dykes and flood basalts are the target most of the proposed geochemical discrimina...Geochemistry is a powerful tool to help characterize the tectonic setting of igneous rocks associations.However,when continental mafic dykes and flood basalts are the target most of the proposed geochemical discrimination diagrams fail to correctly classify them,i.e.many mafic展开更多
The characteristics of a uniform-shear flow over a circular cylinder are in- vestigated numerically by using the alternative-direction implicit （ADI） algorithm and a fast Fourier transform （FFT） one in the exponen...The characteristics of a uniform-shear flow over a circular cylinder are in- vestigated numerically by using the alternative-direction implicit （ADI） algorithm and a fast Fourier transform （FFT） one in the exponential-polar coordinates for Re = 150 and 0 ≤ K ≤ 0.46. The diagram of lift-drag phase, implying the detail information about the fluctuations of drag and lift as well as the flow patterns in the wake and fluctuating pres- sure on the cylinder surface, is used to describe the effects of the shear rate on the flow. Results show that the upper （or lower） closed curve of a phase diagram corresponds to the first （or second） half shedding cycle. The lift-drag phase diagram will move down-left with the increase of shear rate K such that the lift is exerted from the upper side to the lower side, and the drag on the first half shedding cycle is smaller than that on the second half.展开更多
Liquid hydrogen storage and transportation is an effective method for large-scale transportation and utilization of hydrogen energy. Revealing the flow mechanism of cryogenic working fluid is the key to optimize heat ...Liquid hydrogen storage and transportation is an effective method for large-scale transportation and utilization of hydrogen energy. Revealing the flow mechanism of cryogenic working fluid is the key to optimize heat exchanger structure and hydrogen liquefaction process(LH2). The methods of cryogenic visualization experiment, theoretical analysis and numerical simulation are conducted to study the falling film flow characteristics with the effect of co-current gas flow in LH2spiral wound heat exchanger.The results show that the flow rate of mixed refrigerant has a great influence on liquid film spreading process, falling film flow pattern and heat transfer performance. The liquid film of LH2mixed refrigerant with column flow pattern can not uniformly and completely cover the tube wall surface. As liquid flow rate increases, the falling film flow pattern evolves into sheet-column flow and sheet flow, and liquid film completely covers the surface of tube wall. With the increase of shear effect of gas-phase mixed refrigerant in the same direction, the liquid film gradually becomes unstable, and the flow pattern eventually evolves into a mist flow.展开更多
A large number of nanopores and complex fracture structures in shale reservoirs results in multi-scale flow of oil. With the development of shale oil reservoirs, the permeability of multi-scale media undergoes changes...A large number of nanopores and complex fracture structures in shale reservoirs results in multi-scale flow of oil. With the development of shale oil reservoirs, the permeability of multi-scale media undergoes changes due to stress sensitivity, which plays a crucial role in controlling pressure propagation and oil flow. This paper proposes a multi-scale coupled flow mathematical model of matrix nanopores, induced fractures, and hydraulic fractures. In this model, the micro-scale effects of shale oil flow in fractal nanopores, fractal induced fracture network, and stress sensitivity of multi-scale media are considered. We solved the model iteratively using Pedrosa transform, semi-analytic Segmented Bessel function, Laplace transform. The results of this model exhibit good agreement with the numerical solution and field production data, confirming the high accuracy of the model. As well, the influence of stress sensitivity on permeability, pressure and production is analyzed. It is shown that the permeability and production decrease significantly when induced fractures are weakly supported. Closed induced fractures can inhibit interporosity flow in the stimulated reservoir volume (SRV). It has been shown in sensitivity analysis that hydraulic fractures are beneficial to early production, and induced fractures in SRV are beneficial to middle production. The model can characterize multi-scale flow characteristics of shale oil, providing theoretical guidance for rapid productivity evaluation.展开更多
From the early Taoist diagrams of the human body to the end of the Qing dynasty and the beginning of the Republic of China,Taoists exaggerated and deformed the human spine in a shape-shifting manner.It is likely that ...From the early Taoist diagrams of the human body to the end of the Qing dynasty and the beginning of the Republic of China,Taoists exaggerated and deformed the human spine in a shape-shifting manner.It is likely that medical practitioners were influenced by this style of representation,and there are also numerous diagrams of the human body with the curved spine in the lateral-view diagrams of viscera and Ming Tang Tu(明堂图Acupuncture and Moxibustion Chart),which constantly show the human torso in an elliptical“egg shape”.No later than the Ming dynasty,medical practitioners began to depict the actual physiological spinal curve of the human body.By the Qing dynasty,the depiction of the spinal curve in medical diagrams of the human figure showed a tendency to part ways with the Taoist freehand style of the previous generation.Although the representation of the curve of the spine was very crude,later medical images of the human body at least gradually straightened the spine and no longer depicted it in a shape-shifting manner.However,the curved spine in Taoist diagrams of the human body continued to exist,and the presentation of the curved spine never changed.This way of depicting its appearance,which is very different from reality,is shaped by Taoism's special way of perceiving and viewing the body,and may also contain another form of truth.展开更多
The flow field near a spur dike such as down flow and horseshoe vortex system(HVS)are susceptible to the topographic changes in the local scouring process,resulting in variation of the sediment transport with time.In ...The flow field near a spur dike such as down flow and horseshoe vortex system(HVS)are susceptible to the topographic changes in the local scouring process,resulting in variation of the sediment transport with time.In this study,large eddy simulations with fixed-bed at different scouring stages were conducted to investigate the changes in flow field.The results imply that the bed deformation leads to an increase in flow rate per unit area,which represent the capability of sediment transportation by water,in the scour hole.Moreover,the intensity of turbulent kinetic energy and bimodal motion near the sand bed induced by the HVS were also varied.However,the peak moments between the two sediment transport mechanisms were different.Hence,understanding the complex feedback mechanism between topography and flow field is essential for the local scour problem.展开更多
The geological and geographical position of the Northwest Himalayas makes it a vulnerable area for mass movements particularly landslides and debris flows. Mass movements have had a substantial impact on the study are...The geological and geographical position of the Northwest Himalayas makes it a vulnerable area for mass movements particularly landslides and debris flows. Mass movements have had a substantial impact on the study area which is extending along Karakorum Highway(KKH) from Besham to Chilas. Intense seismicity, deep gorges, steep terrain and extreme climatic events trigger multiple mountain hazards along the KKH, among which debris flow is recognized as the most destructive geohazard. This study aims to prepare a field-based debris flow inventory map at a regional scale along a 200 km stretch from Besham to Chilas. A total of 117 debris flows were identified in the field, and subsequently, a point-based debris-flow inventory and catchment delineation were performed through Arc GIS analysis. Regional scale debris flow susceptibility and propagation maps were prepared using Weighted Overlay Method(WOM) and Flow-R technique sequentially. Predisposing factors include slope, slope aspect, elevation, Topographic Roughness Index(TRI), Topographic Wetness Index(TWI), stream buffer, distance to faults, lithology rainfall, curvature, and collapsed material layer. The dataset was randomly divided into training data(75%) and validation data(25%). Results were validated through the Receiver Operator Characteristics(ROC) curve. Results show that Area Under the Curve(AUC) using WOM model is 79.2%. Flow-R propagation of debris flow shows that the 13.15%, 22.94%, and 63.91% areas are very high, high, and low susceptible to debris flow respectively. The propagation predicated by Flow-R validates the naturally occurring debris flow propagation as observed in the field surveys. The output of this research will provide valuable input to the decision makers for the site selection, designing of the prevention system, and for the protection of current infrastructure.展开更多
文摘SOZL (structured methodology + object-oriented methodology + Z language) is a language that attempts to integrate structured method, object-oriented method and formal method. The core of this language is predicate data flow diagram (PDFD). In order to eliminate the ambiguity of predicate data flow diagrams and their associated textual specifications, a formalization of the syntax and semantics of predicate data flow diagrams is necessary. In this paper we use Z notation to define an abstract syntax and the related structural constraints for the PDFD notation, and provide it with an axiomatic semantics based on the concept of data availability and functionality of predicate operation. Finally, an example is given to establish functionality consistent decomposition on hierarchical PDFD (HPDFD).
文摘A new synthetical knowledge representation model that integrates the attribute grammar model with the semantic network model was presented. The model mainly uses symbols of attribute grammar to establish a set of syntax and semantic rules suitable for a semantic network. Based on the model,the paper introduces a formal method defining data flow diagrams (DFD) and also simply explains how to use the method.
基金The Brazilian Sao Paulo State Research Foundation(FAPESP)partially supported this research(grants 2012/15824-6 and 2012/07243-3)
文摘Geochemistry is a powerful tool to help characterize the tectonic setting of igneous rocks associations.However,when continental mafic dykes and flood basalts are the target most of the proposed geochemical discrimination diagrams fail to correctly classify them,i.e.many mafic
基金supported by the National Natural Science Foundation of China(Nos.11202102 and11172140)the Specialized Research Fund for Doctoral Program of High Education(No.20123219120050)
文摘The characteristics of a uniform-shear flow over a circular cylinder are in- vestigated numerically by using the alternative-direction implicit （ADI） algorithm and a fast Fourier transform （FFT） one in the exponential-polar coordinates for Re = 150 and 0 ≤ K ≤ 0.46. The diagram of lift-drag phase, implying the detail information about the fluctuations of drag and lift as well as the flow patterns in the wake and fluctuating pres- sure on the cylinder surface, is used to describe the effects of the shear rate on the flow. Results show that the upper （or lower） closed curve of a phase diagram corresponds to the first （or second） half shedding cycle. The lift-drag phase diagram will move down-left with the increase of shear rate K such that the lift is exerted from the upper side to the lower side, and the drag on the first half shedding cycle is smaller than that on the second half.
基金supported by the National Natural Science Foundation of China(52304067,62273213)the Natural Science Foundation of Shandong Province of China(ZR2021QE073)+1 种基金the Natural Science Foundation of Shandong Province for Innovation and Development Joint Funds(ZR2022LZH001)the China Postdoctoral Science Foundation(2023M732111)。
文摘Liquid hydrogen storage and transportation is an effective method for large-scale transportation and utilization of hydrogen energy. Revealing the flow mechanism of cryogenic working fluid is the key to optimize heat exchanger structure and hydrogen liquefaction process(LH2). The methods of cryogenic visualization experiment, theoretical analysis and numerical simulation are conducted to study the falling film flow characteristics with the effect of co-current gas flow in LH2spiral wound heat exchanger.The results show that the flow rate of mixed refrigerant has a great influence on liquid film spreading process, falling film flow pattern and heat transfer performance. The liquid film of LH2mixed refrigerant with column flow pattern can not uniformly and completely cover the tube wall surface. As liquid flow rate increases, the falling film flow pattern evolves into sheet-column flow and sheet flow, and liquid film completely covers the surface of tube wall. With the increase of shear effect of gas-phase mixed refrigerant in the same direction, the liquid film gradually becomes unstable, and the flow pattern eventually evolves into a mist flow.
基金This study was supported by the National Natural Science Foundation of China(U22B2075,52274056,51974356).
文摘A large number of nanopores and complex fracture structures in shale reservoirs results in multi-scale flow of oil. With the development of shale oil reservoirs, the permeability of multi-scale media undergoes changes due to stress sensitivity, which plays a crucial role in controlling pressure propagation and oil flow. This paper proposes a multi-scale coupled flow mathematical model of matrix nanopores, induced fractures, and hydraulic fractures. In this model, the micro-scale effects of shale oil flow in fractal nanopores, fractal induced fracture network, and stress sensitivity of multi-scale media are considered. We solved the model iteratively using Pedrosa transform, semi-analytic Segmented Bessel function, Laplace transform. The results of this model exhibit good agreement with the numerical solution and field production data, confirming the high accuracy of the model. As well, the influence of stress sensitivity on permeability, pressure and production is analyzed. It is shown that the permeability and production decrease significantly when induced fractures are weakly supported. Closed induced fractures can inhibit interporosity flow in the stimulated reservoir volume (SRV). It has been shown in sensitivity analysis that hydraulic fractures are beneficial to early production, and induced fractures in SRV are beneficial to middle production. The model can characterize multi-scale flow characteristics of shale oil, providing theoretical guidance for rapid productivity evaluation.
基金financed from the grant of the Fundamental Research Funds for the Central Public Welfare Research Institutes(ZZ-2023001)。
文摘From the early Taoist diagrams of the human body to the end of the Qing dynasty and the beginning of the Republic of China,Taoists exaggerated and deformed the human spine in a shape-shifting manner.It is likely that medical practitioners were influenced by this style of representation,and there are also numerous diagrams of the human body with the curved spine in the lateral-view diagrams of viscera and Ming Tang Tu(明堂图Acupuncture and Moxibustion Chart),which constantly show the human torso in an elliptical“egg shape”.No later than the Ming dynasty,medical practitioners began to depict the actual physiological spinal curve of the human body.By the Qing dynasty,the depiction of the spinal curve in medical diagrams of the human figure showed a tendency to part ways with the Taoist freehand style of the previous generation.Although the representation of the curve of the spine was very crude,later medical images of the human body at least gradually straightened the spine and no longer depicted it in a shape-shifting manner.However,the curved spine in Taoist diagrams of the human body continued to exist,and the presentation of the curved spine never changed.This way of depicting its appearance,which is very different from reality,is shaped by Taoism's special way of perceiving and viewing the body,and may also contain another form of truth.
基金supported by Shenzhen Science and Technology Program(Grant No.JCYJ20220818102012024)Hong Kong Research Grants Council(Grant Nos.T21–602/16-R and RGC R5037–18)。
文摘The flow field near a spur dike such as down flow and horseshoe vortex system(HVS)are susceptible to the topographic changes in the local scouring process,resulting in variation of the sediment transport with time.In this study,large eddy simulations with fixed-bed at different scouring stages were conducted to investigate the changes in flow field.The results imply that the bed deformation leads to an increase in flow rate per unit area,which represent the capability of sediment transportation by water,in the scour hole.Moreover,the intensity of turbulent kinetic energy and bimodal motion near the sand bed induced by the HVS were also varied.However,the peak moments between the two sediment transport mechanisms were different.Hence,understanding the complex feedback mechanism between topography and flow field is essential for the local scour problem.
基金financially supported by the Higher Education Commission of Pakistan (HEC) grant under National Research Program for Universities (NRPU) with No: (20-14681/NRPU/R&D/HEC/20212021)。
文摘The geological and geographical position of the Northwest Himalayas makes it a vulnerable area for mass movements particularly landslides and debris flows. Mass movements have had a substantial impact on the study area which is extending along Karakorum Highway(KKH) from Besham to Chilas. Intense seismicity, deep gorges, steep terrain and extreme climatic events trigger multiple mountain hazards along the KKH, among which debris flow is recognized as the most destructive geohazard. This study aims to prepare a field-based debris flow inventory map at a regional scale along a 200 km stretch from Besham to Chilas. A total of 117 debris flows were identified in the field, and subsequently, a point-based debris-flow inventory and catchment delineation were performed through Arc GIS analysis. Regional scale debris flow susceptibility and propagation maps were prepared using Weighted Overlay Method(WOM) and Flow-R technique sequentially. Predisposing factors include slope, slope aspect, elevation, Topographic Roughness Index(TRI), Topographic Wetness Index(TWI), stream buffer, distance to faults, lithology rainfall, curvature, and collapsed material layer. The dataset was randomly divided into training data(75%) and validation data(25%). Results were validated through the Receiver Operator Characteristics(ROC) curve. Results show that Area Under the Curve(AUC) using WOM model is 79.2%. Flow-R propagation of debris flow shows that the 13.15%, 22.94%, and 63.91% areas are very high, high, and low susceptible to debris flow respectively. The propagation predicated by Flow-R validates the naturally occurring debris flow propagation as observed in the field surveys. The output of this research will provide valuable input to the decision makers for the site selection, designing of the prevention system, and for the protection of current infrastructure.
