Homogeneous binary function products are frequently encountered in the sub-universes modeled by databases,spanning from genealogical trees and sports to education and healthcare,etc.Their properties must be discovered...Homogeneous binary function products are frequently encountered in the sub-universes modeled by databases,spanning from genealogical trees and sports to education and healthcare,etc.Their properties must be discovered and enforced by the software applications managing such data to guarantee plausibility.The(Elementary)Mathematical Data Model provides 17 types of dyadic-based homogeneous binary function product constraint categories.MatBase,an intelligent data and knowledge base management system prototype,allows database designers to simply declare them by only clicking corresponding checkboxes and automatically generates code for enforcing them.This paper describes the algorithms that MatBase uses for enforcing all 17 types of homogeneous binary function product constraint,which may also be employed by developers without access to MatBase.展开更多
This paper presents a new method for recover- ing paleoporosity of sandstone reservoirs and quantita- tively defines the evolution process of porosity. This method is based on the principle that the present is the key...This paper presents a new method for recover- ing paleoporosity of sandstone reservoirs and quantita- tively defines the evolution process of porosity. This method is based on the principle that the present is the key to the past. We take the middle Es3 member in Niuzhuang Sag, Dongying Depression, and Bohai Bay Basin as an example. The method used in this study considers the present porosity as a constraint condition, and the influences of both constructive diagenesis and destructive diagenesis to divide the porosity evolution process into two independent processes, namely porosity increase and porosity decrease. An evolution model of sandstone porosity can be established by combining both the pore increase and pore decrease effects. Our study reveals that the porosity decrease model is a continuous function of burial depth and burial time, whereas the porosity increase model mainly occurs in an acidified window for paleo- temperature of 70℃ to 90℃. The porosity evolution process can be divided into the following phases： normal compaction, acidification and pore increase, and post- acidification compaction. Thus, the porosity evolution model becomes a piecewise function of three subsections. Examples show that the method can be applied effectively in recovering the paleoporosity of sandstone reservoirs and simulating the porosity evolution process.展开更多
文摘Homogeneous binary function products are frequently encountered in the sub-universes modeled by databases,spanning from genealogical trees and sports to education and healthcare,etc.Their properties must be discovered and enforced by the software applications managing such data to guarantee plausibility.The(Elementary)Mathematical Data Model provides 17 types of dyadic-based homogeneous binary function product constraint categories.MatBase,an intelligent data and knowledge base management system prototype,allows database designers to simply declare them by only clicking corresponding checkboxes and automatically generates code for enforcing them.This paper describes the algorithms that MatBase uses for enforcing all 17 types of homogeneous binary function product constraint,which may also be employed by developers without access to MatBase.
文摘This paper presents a new method for recover- ing paleoporosity of sandstone reservoirs and quantita- tively defines the evolution process of porosity. This method is based on the principle that the present is the key to the past. We take the middle Es3 member in Niuzhuang Sag, Dongying Depression, and Bohai Bay Basin as an example. The method used in this study considers the present porosity as a constraint condition, and the influences of both constructive diagenesis and destructive diagenesis to divide the porosity evolution process into two independent processes, namely porosity increase and porosity decrease. An evolution model of sandstone porosity can be established by combining both the pore increase and pore decrease effects. Our study reveals that the porosity decrease model is a continuous function of burial depth and burial time, whereas the porosity increase model mainly occurs in an acidified window for paleo- temperature of 70℃ to 90℃. The porosity evolution process can be divided into the following phases： normal compaction, acidification and pore increase, and post- acidification compaction. Thus, the porosity evolution model becomes a piecewise function of three subsections. Examples show that the method can be applied effectively in recovering the paleoporosity of sandstone reservoirs and simulating the porosity evolution process.
