The human motion generation model can extract structural features from existing human motion capture data,and the generated data makes animated characters move.The 3D human motion capture sequences contain complex spa...The human motion generation model can extract structural features from existing human motion capture data,and the generated data makes animated characters move.The 3D human motion capture sequences contain complex spatial-temporal structures,and the deep learning model can fully describe the potential semantic structure of human motion.To improve the authenticity of the generated human motion sequences,we propose a multi-task motion generation model that consists of a discriminator and a generator.The discriminator classifies motion sequences into different styles according to their similarity to the mean spatial-temporal templates from motion sequences of 17 crucial human joints in three-freedom degrees.And target motion sequences are created with these styles by the generator.Unlike traditional related works,our model can handle multiple tasks,such as identifying styles and generating data.In addition,by extracting 17 crucial joints from 29 human joints,our model avoids data redundancy and improves the accuracy of model recognition.The experimental results show that the discriminator of the model can effectively recognize diversified movements,and the generated data can correctly fit the actual data.The combination of discriminator and generator solves the problem of low reuse rate of motion data,and the generated motion sequences are more suitable for actual movement.展开更多
Algorithms for numeric data classification have been applied for text classification. Usually the vector space model is used to represent text collections. The characteristics of this representation such as sparsity a...Algorithms for numeric data classification have been applied for text classification. Usually the vector space model is used to represent text collections. The characteristics of this representation such as sparsity and high dimensionality sometimes impair the quality of general-purpose classifiers. Networks can be used to represent text collections, avoiding the high sparsity and allowing to model relationships among different objects that compose a text collection. Such network- based representations can improve the quality of the classification results. One of the simplest ways to represent textual collections by a network is through a bipartite heterogeneous network, which is composed of objects that represent the documents connected to objects that represent the terms. Heterogeneous bipartite networks do not require computation of similarities or relations among the objects and can be used to model any type of text collection. Due to the advantages of representing text collections through bipartite heterogeneous networks, in this article we present a text classifier which builds a classification model using the structure of a bipartite heterogeneous network. Such an algorithm, referred to as IMBHN (Inductive Model Based on Bipartite Heterogeneous Network), induces a classification model assigning weights to objects that represent the terms for each class of the text collection. An empirical evaluation using a large amount of text collections from different domains shows that the proposed IMBHN algorithm produces significantly better results than k-NN, C4.5, SVM, and Naive Bayes algorithms.展开更多
This paper presents an improvement of Herbrand's theorem.We propose a method for specifying a subuniverse of the Herbrand universe of a clause set S for each argument of predicate symbols and function symbols in S...This paper presents an improvement of Herbrand's theorem.We propose a method for specifying a subuniverse of the Herbrand universe of a clause set S for each argument of predicate symbols and function symbols in S.We prove that a clause set S is unsatisfiable if and only if there is a finite unsatisfiable set of ground instances of clauses of S that are derived by only instantiating each variable,which appears as an argument of predicate symbols or function symbols,in S over its corresponding argument's sub-universe of the Herbrand universe of S.Because such sub-universes are usually smaller(sometimes considerably)than the Herbrand universe of S,the number of ground instances may decrease considerably in many cases.We present an algorithm for automatically deriving the sub-universes for arguments in a given clause set,and show the correctness of our improvement.Moreover,we introduce an application of our approach to model generation theorem proving for non-range-restricted problems,show the range-restriction transformation algorithm based on our improvement and provide examples on benchmark problems to demonstrate the power of our approach.展开更多
In order to investigate the hydrocarbon generation process and gas potentials of source rocks in deepwater area of the Qiongdongnan Basin, kinetic parameters of gas generation (activation energy distribution and freq...In order to investigate the hydrocarbon generation process and gas potentials of source rocks in deepwater area of the Qiongdongnan Basin, kinetic parameters of gas generation (activation energy distribution and frequency factor) of the Yacheng Formation source rocks (coal and neritic mudstones) was determined by thermal simulation experiments in the closed system and the specific KINETICS Software. The results show that the activation energy (Ea) distribution of C1–C5 generation ranges from 50 to 74 kcal/mol with a frequency factor of 2.4×1015 s–1 for the neritic mudstone and the Ea distribution of C1–C5 generation ranges from 49 to 73 kcal/mol with a frequency factor of 8.92×1013 s–1 for the coal. On the basis of these kinetic parameters and combined with the data of sedimentary burial and paleothermal histories, the gas generation model of the Yacheng Formation source rocks closer to geological condition was worked out, indicating its main gas generation stage at Ro (vitrinite reflectance) of 1.25%–2.8%. Meanwhile, the gas generation process of the source rocks of different structural locations (central part, southern slope and south low uplift) in the Lingshui Sag was simulated. Among them, the gas generation of the Yacheng Formation source rocks in the central part and the southern slope of the sag entered the main gas window at 10 and 5 Ma respectively and the peak gas generation in the southern slope occurred at 3 Ma. The very late peak gas generation and the relatively large gas potential indices (GPI:20×10^8–60×10^8 m^3/km^2) would provide favorable conditions for the accumulation of large natural gas reserves in the deepwater area.展开更多
In accordance with the relative movement between end-milling cutter and workpiece surface, a theoretical generation model for milled surface was established with the movement error of principal axle considered. Then t...In accordance with the relative movement between end-milling cutter and workpiece surface, a theoretical generation model for milled surface was established with the movement error of principal axle considered. Then the milled surfaces under various cutting condition were simulated, the results of which showed that end milled surfaces were of "vaulted profile", heights of surface irregularty at various points to be different with maximum value in the middle and smaller at both sides, the difference were determined by diameter of milling cutter, feeding speed, ratio between the diameter of milling cutter and teeth point curve radius and width of workpiece. The study results can be applied to quality prediction of milled surfaces for precision and/or super precision milling operation.展开更多
High-k metal gate stacks are being used to suppress the gate leakage due to tunneling for sub-45 nm technology nodes.The reliability of thin dielectric films becomes a limitation to device manufacturing,especially to ...High-k metal gate stacks are being used to suppress the gate leakage due to tunneling for sub-45 nm technology nodes.The reliability of thin dielectric films becomes a limitation to device manufacturing,especially to the breakdown characteristic.In this work,a breakdown simulator based on a percolation model and the kinetic Monte Carlo method is set up,and the intrinsic relation between time to breakdown and trap generation rate R is studied by TDDB simulation.It is found that all degradation factors,such as trap generation rate time exponent m,Weibull slope β and percolation factor s,each could be expressed as a function of trap density time exponent α.Based on the percolation relation and power law lifetime projection,a temperature related trap generation model is proposed.The validity of this model is confirmed by comparing with experiment results.For other device and material conditions,the percolation relation provides a new way to study the relationship between trap generation and lifetime projection.展开更多
A generation planning model of six main power grids in China is developed to evaluate the potential of advanced power generation technologies into the Chinese power system as CDM (clean development mechanism). It is...A generation planning model of six main power grids in China is developed to evaluate the potential of advanced power generation technologies into the Chinese power system as CDM (clean development mechanism). It is investigated how delivered coal price, on-grid power price, and environmental protection may influence the potential of advanced thermal power generation as CDM projects. One finding from the baseline analysis is that coal price, on-grid power price, and environmental protection policy have only a small significance to the grid-wide specific CO2 emissions of thermal power generation up to the year 2026, while the best thermal generation mix is influenced largely by environmental protection policy. And it is found that not only the price of CER (certified emission reduction) and the length of crediting period but also on-grid power price and the reduction of air pollutants in the baseline have a significant influence on the potential of the CDM activities.展开更多
In the framework of an overlapping generations model, forward-looking monetary policy roles and backward-looking monetary policy rules were investigated. It is shown that the monetary steady state is more likely to be...In the framework of an overlapping generations model, forward-looking monetary policy roles and backward-looking monetary policy rules were investigated. It is shown that the monetary steady state is more likely to be indeterminate under an active forwardlooking rule than under the corresponding backward-looking rule. It is also shown that backward-looking roles can render the monetary steady state unstable.展开更多
The geochemical analysis and experimental simulation are comprehensively used to systematically study the hydrocarbon generation material,organic matter enrichment and hydrocarbon generation model of Paleogene source ...The geochemical analysis and experimental simulation are comprehensively used to systematically study the hydrocarbon generation material,organic matter enrichment and hydrocarbon generation model of Paleogene source rock in the Western Qaidam Depression,Qaidam Basin,NW China.Three main factors result in low TOC values of saline lacustrine source rock of the Qaidam Basin:relatively poor nutrient supply inhibits the algal bloom,too fast deposition rate causes the dilution of organic matter,and high organic matter conversion efficiency causes the low residual organic carbon.For this type of hydrogen-rich organic matter,due to the reduction of organic carbon during hydrocarbon generation,TOC needs to be restored based on maturity before evaluating organic matter abundance.The hydrocarbon generation of saline lacustrine source rocks of the Qaidam Basin is from two parts:soluble organic matter and insoluble organic matter.The soluble organic matter is inherited from organisms and preserved in saline lacustrine basins.It generates hydrocarbons during low-maturity stage,and the formed hydrocarbons are rich in complex compounds such as NOS,and undergo secondary cracking to form light components in the later stage;the hydrocarbon generation model of insoluble organic matter conforms to the traditional“Tissot”model,with an oil generation peak corresponding to Ro of 1.0%.展开更多
In the modern analogue design, Transistor Level Fault Simulation (TLFS) plays the im-portant part since every fault in the whole circuit has to be simulated at that level. Unfortunately, it is a very CPU intensive tas...In the modern analogue design, Transistor Level Fault Simulation (TLFS) plays the im-portant part since every fault in the whole circuit has to be simulated at that level. Unfortunately, it is a very CPU intensive task even though it maintains the high accuracy. Therefore, High Level Fault Modeling (HLFM) and High Level Fault Simulation (HLFS) are required in order to alleviate the efforts of simulation. In this paper, different HLFM approaches are reviewed at the device level during last two decades. We clarify their domains of application and evaluate their strengths and current limitations. We also analyze causes of faults and introduce various test approaches.展开更多
The social internet of things(SIoT)is one of the emerging paradigms that was proposed to solve the problems of network service discovery,navigability,and service composition.The SIoT aims to socialize the IoT devices ...The social internet of things(SIoT)is one of the emerging paradigms that was proposed to solve the problems of network service discovery,navigability,and service composition.The SIoT aims to socialize the IoT devices and shape the interconnection between them into social interaction just like human beings.In IoT,an object can offer multiple services and different objects can offer the same services with different parameters and interest factors.The proliferation of offered services led to difficulties during service customization and service filtering.This problem is known as service explosion.The selection of suitable service that fits the requirements of applications and objects is a challenging task.To address these issues,we propose an efficient automated query-based service search model based on the local network navigability concept for the SIoT.In the proposed model,objects can use information from their friends or friends of their friends while searching for the desired services,rather than exploring a global network.We employ a centrality metric that computes the degree of importance for each object in the social IoT that helps in selecting neighboring objects with high centrality scores.The distributed nature of our navigation model results in high scalability and short navigation times.We verified the efficacy of our model on a real-world SIoT-related dataset.The experimental results confirm the validity of our model in terms of scalability,navigability,and the desired objects that provide services are determined quickly via the shortest path,which in return improves the service search process in the SIoT.展开更多
The Internet of Things(IoT)has the potential to be applied to social networks due to innovative characteristics and sophisticated solutions that challenge traditional uses.Social network analysis(SNA)is a good example...The Internet of Things(IoT)has the potential to be applied to social networks due to innovative characteristics and sophisticated solutions that challenge traditional uses.Social network analysis(SNA)is a good example that has recently gained a lot of scientific attention.It has its roots in social and economic research,as well as the evaluation of network science,such as graph theory.Scientists in this area have subverted predefined theories,offering revolutionary ones regarding interconnected networks,and they have highlighted the mystery of six degrees of separation with confirmation of the small-world phenomenon.The motivation of this study is to understand and capture the clustering properties of large networks and social networks.We present a network growth model in this paper and build a scale-free artificial social network with controllable clustering coefficients.The random walk technique is paired with a triangle generating scheme in our proposed model.As a result,the clustering controlmechanism and preferential attachment(PA)have been realized.This research builds on the present random walk model.We took numerous measurements for validation,including degree behavior and the measure of clustering decay in terms of node degree,among other things.Finally,we conclude that our suggested random walk model is more efficient and accurate than previous state-of-the-art methods,and hence it could be a viable alternative for societal evolution.展开更多
The Dongpu Depression is a secondary salt-bearing tectonic unit in the Bohai Bay Basin,eastern China.The depositional environment of this depression regarding its Paleogene strata is clearly different in plane,includi...The Dongpu Depression is a secondary salt-bearing tectonic unit in the Bohai Bay Basin,eastern China.The depositional environment of this depression regarding its Paleogene strata is clearly different in plane,including the saltwater environment(SE)in the north,the freshwater environment(FE)in the south and the brackish water environment(BE)in the middle.The result of oil and gas exploration in the Dongpu Depression shows that more than 90%of the proven oil reserves are distributed in the northern saltwater environment.Previous studies indicate that the organic geochemistry characteristics and the hydrocarbon generation capacity of the source rocks are very clearly diverse under different environments,which results in the significant differences in the proved reserves between the north and the south.In order to further explore the differences in the hydrocarbon generation capacity of the source rocks under distinct depositional environments and the mechanism of their occurrence,three samples from different depositional environments(W18-5 for SE,H7-18 for BE,CH9 for FE)were used for confined gold tube pyrolysis experiments.The results show that the CH4 yields of W18-5,H7-18 and CH9 increase with increasing temperature,the maximum yields being 405.62 mg/g TOC,388.56 mg/g TOC and 367.89 mg/g TOC,respectively.The liquid hydrocarbon yields of W18-5,H7-18 and CH9 firstly increase with increasing temperature and then decrease after the critical temperatures.The maximum yields of C6-14 are 149.54 mg/g TOC,140.18 mg/g TOC and 116.94 mg/g TOC,the maximum yields of C14+being 852.4 mg/g TOC,652.6 mg/g TOC and 596.41 mg/g TOC,respectively for W18-5,H7-18 and CH9.To summarize,the order of hydrocarbon potential from high to low is W18-5,H7-18 and CH9.On this basis,through analyzing the influencing factors of hydrocarbon differences,this paper reveals that the saltwater environment is characterized by 4 factors:higher salinity,halophilic algae,high paleo-productivity and a strongly reducing environment,which are beneficial to the enrichment of organic matter and lead to the formation of high levels of sapropelite and exinite.According to the variation of oil and gas components in the pyrolysis experiments,the hydrocarbon generation process is divided into three stages:kerogen cracking,oil cracking and C2-5 cracking.Combined with hydrocarbon generation characteristics and stages,the evolutionary model of hydrocarbon generation for source rocks under different environments is established.展开更多
With increased exploration in the faulted basins of eastern China,petroleum exploration in this region has been challenged by unclear remaining petroleum resources distribution,complex reservoir and hydrocarbon enrich...With increased exploration in the faulted basins of eastern China,petroleum exploration in this region has been challenged by unclear remaining petroleum resources distribution,complex reservoir and hydrocarbon enrichment patterns,and lacking of suitable exploration techniques.Aiming at resolving these problems,studies on source rocks,reservoirs,hydrocarbon accumulation and geophysical prospection were carried out by laboratory analysis,reservoir anatomy,and seismic analysis.A highlyefficient hydrocarbon generation/expulsion model of source rocks in saline environment was established,which aided in the discovery of a new set of source rocks in the Jiyang Depression.This study also reveals the formation process of high-quality reservoir by alternating acid and alkaline fluids during deposition and diagenesis,and pattern of secondary pores development in deep clastic rocks.Through the fine anatomy of the oil reservoirs,an orderly distribution pattern of the oil reservoirs is established,and the potential exploration targets in the undrilled area are identified.In addition,single-point highdensity seismic acquisition and high-resolution imaging technologies are developed,enabling fine and efficient exploration in areas with high exploration maturity.The research result plays a leading and demonstrative role in the fine and efficient exploration of faulted basins in eastern China.展开更多
Climate change caused by past,current,and future greenhouse gas emissions has become a major concern for scientists in the field in many countries and regions of the world.This study modelled future precipitation chan...Climate change caused by past,current,and future greenhouse gas emissions has become a major concern for scientists in the field in many countries and regions of the world.This study modelled future precipitation change by downscaling a set of large-scale climate predictor variables(predictors)from the second generation Canadian Earth System Model(CanESM2)under two Representative Concentration Pathway(RCP)emission scenarios(RCP4.5 and RCP8.5)in the semi-arid Borana lowland,southern Ethiopia.The Statistical DownScaling Model(SDSM)4.2.9 was employed to downscale and project future precipitation change in the middle(2036-2065;2050s)and far(2066-2095;2080s)future at the local scale.Historical precipitation observations from eight meteorological stations stretching from 1981 to 1995 and 1996 to 2005 were used for the model calibration and validation,respectively,and the time period of 1981-2018 was considered and used as the baseline period to analyze future precipitation change.The results revealed that the surface-specific humidity and the geopotential height at 500 hPa were the preferred large-scale predictors.Compared to the middle future(2050s),precipitation showed a much greater increase in the far future(2080s)under both RCP4.5 and RCP8.5 scenarios at all meteorological stations(except Teletele and Dillo stations).At Teltele station,the projected annual precipitation will decrease by 26.53%(2050s)and 39.45%(2080s)under RCP4.5 scenario,and 34.99%(2050s)and 60.62%(2080s)under RCP8.5 scenario.Seasonally,the main rainy period would shift from spring(March to May)to autumn(September to November)at Dehas,Dire,Moyale,and Teltele stations,but for Arero and Yabelo stations,spring would consistently receive more precipitation than autumn.It can be concluded that future precipitation in the semi-arid Borana lowland is predicted to differ under the two climate scenarios(RCP4.5 and RCP8.5),showing an increasing trend at most meteorological stations.This information could be helpful for policymakers to design adaptation plans in water resources management,and we suggest that the government should give more attention to improve early warning systems in drought-prone areas by providing dependable climate forecast information as early as possible.展开更多
This paper discusses the disaggregation of the Federal Highway Administration’s Freight Analysis Framework(FAF)database(version 3.0)on freight origin-destination data and the development of linear regression equation...This paper discusses the disaggregation of the Federal Highway Administration’s Freight Analysis Framework(FAF)database(version 3.0)on freight origin-destination data and the development of linear regression equations to describe the relationships between commodity-based freight trip productions/attractions to specific economic variables.Instead of generating a production/attraction equation for each commodity,commodities are grouped in certain ways to simplify model development and application.We consider three grouping methods and two model selection criteria(with and without intercepts),which are compared in terms of goodness of fit with two data sets(FAF versions 2.0 and 3.0).Furthermore,the freight generation models are validated using county-level economic data in California and applied to predict year 2015 commodity outputs.The results of this study can help city,county,metropolitan and state level planning agencies develop their own customized freight demand generation models without performing costly large-scale surveys.展开更多
In light of the possibility of reignition when unsealing the closed fire zones, the occurrence of reignition was simulated by a home-made experimental device, hydrogen variety rule from combustion to unsealing was ana...In light of the possibility of reignition when unsealing the closed fire zones, the occurrence of reignition was simulated by a home-made experimental device, hydrogen variety rule from combustion to unsealing was analyzed, the three-stage generation model of hydrogen during reignition in fire zone was put forward and the probability that hydrogen was taken as an indicator gas was discussed. The results show that: when fire zone is ready to unseal, which is filled with hydrogen at a high concentration, it is more prone to reignite.展开更多
Immature crude oils are a kind of unconventional petroleum resources. They are generated through early low-temperature biochemical/chemical reactions of some specific organic matter. Their geological reserves explored...Immature crude oils are a kind of unconventional petroleum resources. They are generated through early low-temperature biochemical/chemical reactions of some specific organic matter. Their geological reserves explored are as high as several hundred million tons in China. Based on a detailed organic geochemical study, five genetic mechanisms of immature oils have been proposed in this paper for early hydrocarbon generation from suberinite, resinite, bacteria-reworked terrestrial organic matter, biolipids and sulphur-rich macromolecules respectively.展开更多
Generation of mouse models carrying a defined point mutation,especially disease-related point mutations,is of considerable interest for research in biology and medicine.The standard method based on embryonic stem cell...Generation of mouse models carrying a defined point mutation,especially disease-related point mutations,is of considerable interest for research in biology and medicine.The standard method based on embryonic stem cell(ESC)-mediated homologous recombination(HR)is time-and labor-consuming.展开更多
An integration processing system of three-dimensional laser scanning information visualization in goaf was developed. It is provided with multiple functions, such as laser scanning information management for goaf, clo...An integration processing system of three-dimensional laser scanning information visualization in goaf was developed. It is provided with multiple functions, such as laser scanning information management for goaf, cloud data de-noising optimization, construction, display and operation of three-dimensional model, model editing, profile generation, calculation of goaf volume and roof area, Boolean calculation among models and interaction with the third party soft ware. Concerning this system with a concise interface, plentiful data input/output interfaces, it is featured with high integration, simple and convenient operations of applications. According to practice, in addition to being well-adapted, this system is favorably reliable and stable.展开更多
文摘The human motion generation model can extract structural features from existing human motion capture data,and the generated data makes animated characters move.The 3D human motion capture sequences contain complex spatial-temporal structures,and the deep learning model can fully describe the potential semantic structure of human motion.To improve the authenticity of the generated human motion sequences,we propose a multi-task motion generation model that consists of a discriminator and a generator.The discriminator classifies motion sequences into different styles according to their similarity to the mean spatial-temporal templates from motion sequences of 17 crucial human joints in three-freedom degrees.And target motion sequences are created with these styles by the generator.Unlike traditional related works,our model can handle multiple tasks,such as identifying styles and generating data.In addition,by extracting 17 crucial joints from 29 human joints,our model avoids data redundancy and improves the accuracy of model recognition.The experimental results show that the discriminator of the model can effectively recognize diversified movements,and the generated data can correctly fit the actual data.The combination of discriminator and generator solves the problem of low reuse rate of motion data,and the generated motion sequences are more suitable for actual movement.
基金supported by So Paulo Research Foundation(FAPESP)of Brasil under Grant Nos.2011/12823-6,2011/23689-9,and 2011/19850-9
文摘Algorithms for numeric data classification have been applied for text classification. Usually the vector space model is used to represent text collections. The characteristics of this representation such as sparsity and high dimensionality sometimes impair the quality of general-purpose classifiers. Networks can be used to represent text collections, avoiding the high sparsity and allowing to model relationships among different objects that compose a text collection. Such network- based representations can improve the quality of the classification results. One of the simplest ways to represent textual collections by a network is through a bipartite heterogeneous network, which is composed of objects that represent the documents connected to objects that represent the terms. Heterogeneous bipartite networks do not require computation of similarities or relations among the objects and can be used to model any type of text collection. Due to the advantages of representing text collections through bipartite heterogeneous networks, in this article we present a text classifier which builds a classification model using the structure of a bipartite heterogeneous network. Such an algorithm, referred to as IMBHN (Inductive Model Based on Bipartite Heterogeneous Network), induces a classification model assigning weights to objects that represent the terms for each class of the text collection. An empirical evaluation using a large amount of text collections from different domains shows that the proposed IMBHN algorithm produces significantly better results than k-NN, C4.5, SVM, and Naive Bayes algorithms.
基金This work was supported partially by TOYOAKI Scholarship Foundation,Japan.
文摘This paper presents an improvement of Herbrand's theorem.We propose a method for specifying a subuniverse of the Herbrand universe of a clause set S for each argument of predicate symbols and function symbols in S.We prove that a clause set S is unsatisfiable if and only if there is a finite unsatisfiable set of ground instances of clauses of S that are derived by only instantiating each variable,which appears as an argument of predicate symbols or function symbols,in S over its corresponding argument's sub-universe of the Herbrand universe of S.Because such sub-universes are usually smaller(sometimes considerably)than the Herbrand universe of S,the number of ground instances may decrease considerably in many cases.We present an algorithm for automatically deriving the sub-universes for arguments in a given clause set,and show the correctness of our improvement.Moreover,we introduce an application of our approach to model generation theorem proving for non-range-restricted problems,show the range-restriction transformation algorithm based on our improvement and provide examples on benchmark problems to demonstrate the power of our approach.
基金The National Science and Technology Major Project of China under contract No.2011ZX05025-002
文摘In order to investigate the hydrocarbon generation process and gas potentials of source rocks in deepwater area of the Qiongdongnan Basin, kinetic parameters of gas generation (activation energy distribution and frequency factor) of the Yacheng Formation source rocks (coal and neritic mudstones) was determined by thermal simulation experiments in the closed system and the specific KINETICS Software. The results show that the activation energy (Ea) distribution of C1–C5 generation ranges from 50 to 74 kcal/mol with a frequency factor of 2.4×1015 s–1 for the neritic mudstone and the Ea distribution of C1–C5 generation ranges from 49 to 73 kcal/mol with a frequency factor of 8.92×1013 s–1 for the coal. On the basis of these kinetic parameters and combined with the data of sedimentary burial and paleothermal histories, the gas generation model of the Yacheng Formation source rocks closer to geological condition was worked out, indicating its main gas generation stage at Ro (vitrinite reflectance) of 1.25%–2.8%. Meanwhile, the gas generation process of the source rocks of different structural locations (central part, southern slope and south low uplift) in the Lingshui Sag was simulated. Among them, the gas generation of the Yacheng Formation source rocks in the central part and the southern slope of the sag entered the main gas window at 10 and 5 Ma respectively and the peak gas generation in the southern slope occurred at 3 Ma. The very late peak gas generation and the relatively large gas potential indices (GPI:20×10^8–60×10^8 m^3/km^2) would provide favorable conditions for the accumulation of large natural gas reserves in the deepwater area.
文摘In accordance with the relative movement between end-milling cutter and workpiece surface, a theoretical generation model for milled surface was established with the movement error of principal axle considered. Then the milled surfaces under various cutting condition were simulated, the results of which showed that end milled surfaces were of "vaulted profile", heights of surface irregularty at various points to be different with maximum value in the middle and smaller at both sides, the difference were determined by diameter of milling cutter, feeding speed, ratio between the diameter of milling cutter and teeth point curve radius and width of workpiece. The study results can be applied to quality prediction of milled surfaces for precision and/or super precision milling operation.
基金supported by the National High Technology Research and Development Program of China(Grant No.SS2015AA010601)the National Natural Science Foundation of China(Grant Nos.61176091 and 61306129)the Opening Project of Key Laboratory of Microelectronics Devices&Integrated Technology,Institute of Micro Electronics of Chinese Academy of Sciences
文摘High-k metal gate stacks are being used to suppress the gate leakage due to tunneling for sub-45 nm technology nodes.The reliability of thin dielectric films becomes a limitation to device manufacturing,especially to the breakdown characteristic.In this work,a breakdown simulator based on a percolation model and the kinetic Monte Carlo method is set up,and the intrinsic relation between time to breakdown and trap generation rate R is studied by TDDB simulation.It is found that all degradation factors,such as trap generation rate time exponent m,Weibull slope β and percolation factor s,each could be expressed as a function of trap density time exponent α.Based on the percolation relation and power law lifetime projection,a temperature related trap generation model is proposed.The validity of this model is confirmed by comparing with experiment results.For other device and material conditions,the percolation relation provides a new way to study the relationship between trap generation and lifetime projection.
文摘A generation planning model of six main power grids in China is developed to evaluate the potential of advanced power generation technologies into the Chinese power system as CDM (clean development mechanism). It is investigated how delivered coal price, on-grid power price, and environmental protection may influence the potential of advanced thermal power generation as CDM projects. One finding from the baseline analysis is that coal price, on-grid power price, and environmental protection policy have only a small significance to the grid-wide specific CO2 emissions of thermal power generation up to the year 2026, while the best thermal generation mix is influenced largely by environmental protection policy. And it is found that not only the price of CER (certified emission reduction) and the length of crediting period but also on-grid power price and the reduction of air pollutants in the baseline have a significant influence on the potential of the CDM activities.
基金Project supported by National Natural Science Foundation of China (Grant No. 70071012)
文摘In the framework of an overlapping generations model, forward-looking monetary policy roles and backward-looking monetary policy rules were investigated. It is shown that the monetary steady state is more likely to be indeterminate under an active forwardlooking rule than under the corresponding backward-looking rule. It is also shown that backward-looking roles can render the monetary steady state unstable.
基金Supported by the PetroChina Science and Technology Project(2021DJ1808).
文摘The geochemical analysis and experimental simulation are comprehensively used to systematically study the hydrocarbon generation material,organic matter enrichment and hydrocarbon generation model of Paleogene source rock in the Western Qaidam Depression,Qaidam Basin,NW China.Three main factors result in low TOC values of saline lacustrine source rock of the Qaidam Basin:relatively poor nutrient supply inhibits the algal bloom,too fast deposition rate causes the dilution of organic matter,and high organic matter conversion efficiency causes the low residual organic carbon.For this type of hydrogen-rich organic matter,due to the reduction of organic carbon during hydrocarbon generation,TOC needs to be restored based on maturity before evaluating organic matter abundance.The hydrocarbon generation of saline lacustrine source rocks of the Qaidam Basin is from two parts:soluble organic matter and insoluble organic matter.The soluble organic matter is inherited from organisms and preserved in saline lacustrine basins.It generates hydrocarbons during low-maturity stage,and the formed hydrocarbons are rich in complex compounds such as NOS,and undergo secondary cracking to form light components in the later stage;the hydrocarbon generation model of insoluble organic matter conforms to the traditional“Tissot”model,with an oil generation peak corresponding to Ro of 1.0%.
基金Supported by the Fundamental Research Grand Scheme(Ref: frgs 2/2010/TK/UTP/0318, Ministry of High Education (MOHE)MalaysiaShort Tem Internal Research Fund (STIRF No. 20/10.11)) provided by Research Enterprise Office, Universiti Teknologi Petronas, Malaysia in 2010-2012
文摘In the modern analogue design, Transistor Level Fault Simulation (TLFS) plays the im-portant part since every fault in the whole circuit has to be simulated at that level. Unfortunately, it is a very CPU intensive task even though it maintains the high accuracy. Therefore, High Level Fault Modeling (HLFM) and High Level Fault Simulation (HLFS) are required in order to alleviate the efforts of simulation. In this paper, different HLFM approaches are reviewed at the device level during last two decades. We clarify their domains of application and evaluate their strengths and current limitations. We also analyze causes of faults and introduce various test approaches.
基金This work was supported by the National Research Foundation of Korea(NRF)grant funded by the Korean government(MSIT)(2020R1A2B5B01002145).
文摘The social internet of things(SIoT)is one of the emerging paradigms that was proposed to solve the problems of network service discovery,navigability,and service composition.The SIoT aims to socialize the IoT devices and shape the interconnection between them into social interaction just like human beings.In IoT,an object can offer multiple services and different objects can offer the same services with different parameters and interest factors.The proliferation of offered services led to difficulties during service customization and service filtering.This problem is known as service explosion.The selection of suitable service that fits the requirements of applications and objects is a challenging task.To address these issues,we propose an efficient automated query-based service search model based on the local network navigability concept for the SIoT.In the proposed model,objects can use information from their friends or friends of their friends while searching for the desired services,rather than exploring a global network.We employ a centrality metric that computes the degree of importance for each object in the social IoT that helps in selecting neighboring objects with high centrality scores.The distributed nature of our navigation model results in high scalability and short navigation times.We verified the efficacy of our model on a real-world SIoT-related dataset.The experimental results confirm the validity of our model in terms of scalability,navigability,and the desired objects that provide services are determined quickly via the shortest path,which in return improves the service search process in the SIoT.
基金This work was supported in part by the Basic Science Research Program through the National Research Foundation of Korea(NRF)funded by the Ministry of Education under Grant NRF-2019R1A2C1006159 and Grant NRF-2021R1A6A1A03039493in part by the 2021 Yeungnam University Research Grant。
文摘The Internet of Things(IoT)has the potential to be applied to social networks due to innovative characteristics and sophisticated solutions that challenge traditional uses.Social network analysis(SNA)is a good example that has recently gained a lot of scientific attention.It has its roots in social and economic research,as well as the evaluation of network science,such as graph theory.Scientists in this area have subverted predefined theories,offering revolutionary ones regarding interconnected networks,and they have highlighted the mystery of six degrees of separation with confirmation of the small-world phenomenon.The motivation of this study is to understand and capture the clustering properties of large networks and social networks.We present a network growth model in this paper and build a scale-free artificial social network with controllable clustering coefficients.The random walk technique is paired with a triangle generating scheme in our proposed model.As a result,the clustering controlmechanism and preferential attachment(PA)have been realized.This research builds on the present random walk model.We took numerous measurements for validation,including degree behavior and the measure of clustering decay in terms of node degree,among other things.Finally,we conclude that our suggested random walk model is more efficient and accurate than previous state-of-the-art methods,and hence it could be a viable alternative for societal evolution.
基金granted by the Science Foundation of the Chinese University of Petroleum,Beijing(Grant No.2462020YXZZ021)the National Natural Science Foundation of China(Grant No.41872128)。
文摘The Dongpu Depression is a secondary salt-bearing tectonic unit in the Bohai Bay Basin,eastern China.The depositional environment of this depression regarding its Paleogene strata is clearly different in plane,including the saltwater environment(SE)in the north,the freshwater environment(FE)in the south and the brackish water environment(BE)in the middle.The result of oil and gas exploration in the Dongpu Depression shows that more than 90%of the proven oil reserves are distributed in the northern saltwater environment.Previous studies indicate that the organic geochemistry characteristics and the hydrocarbon generation capacity of the source rocks are very clearly diverse under different environments,which results in the significant differences in the proved reserves between the north and the south.In order to further explore the differences in the hydrocarbon generation capacity of the source rocks under distinct depositional environments and the mechanism of their occurrence,three samples from different depositional environments(W18-5 for SE,H7-18 for BE,CH9 for FE)were used for confined gold tube pyrolysis experiments.The results show that the CH4 yields of W18-5,H7-18 and CH9 increase with increasing temperature,the maximum yields being 405.62 mg/g TOC,388.56 mg/g TOC and 367.89 mg/g TOC,respectively.The liquid hydrocarbon yields of W18-5,H7-18 and CH9 firstly increase with increasing temperature and then decrease after the critical temperatures.The maximum yields of C6-14 are 149.54 mg/g TOC,140.18 mg/g TOC and 116.94 mg/g TOC,the maximum yields of C14+being 852.4 mg/g TOC,652.6 mg/g TOC and 596.41 mg/g TOC,respectively for W18-5,H7-18 and CH9.To summarize,the order of hydrocarbon potential from high to low is W18-5,H7-18 and CH9.On this basis,through analyzing the influencing factors of hydrocarbon differences,this paper reveals that the saltwater environment is characterized by 4 factors:higher salinity,halophilic algae,high paleo-productivity and a strongly reducing environment,which are beneficial to the enrichment of organic matter and lead to the formation of high levels of sapropelite and exinite.According to the variation of oil and gas components in the pyrolysis experiments,the hydrocarbon generation process is divided into three stages:kerogen cracking,oil cracking and C2-5 cracking.Combined with hydrocarbon generation characteristics and stages,the evolutionary model of hydrocarbon generation for source rocks under different environments is established.
基金This study is funded by the National major science&technology special project entitled Critical Technologies for Fine Exploration in the Bohai Bay Basin(No.2011ZX0500).
文摘With increased exploration in the faulted basins of eastern China,petroleum exploration in this region has been challenged by unclear remaining petroleum resources distribution,complex reservoir and hydrocarbon enrichment patterns,and lacking of suitable exploration techniques.Aiming at resolving these problems,studies on source rocks,reservoirs,hydrocarbon accumulation and geophysical prospection were carried out by laboratory analysis,reservoir anatomy,and seismic analysis.A highlyefficient hydrocarbon generation/expulsion model of source rocks in saline environment was established,which aided in the discovery of a new set of source rocks in the Jiyang Depression.This study also reveals the formation process of high-quality reservoir by alternating acid and alkaline fluids during deposition and diagenesis,and pattern of secondary pores development in deep clastic rocks.Through the fine anatomy of the oil reservoirs,an orderly distribution pattern of the oil reservoirs is established,and the potential exploration targets in the undrilled area are identified.In addition,single-point highdensity seismic acquisition and high-resolution imaging technologies are developed,enabling fine and efficient exploration in areas with high exploration maturity.The research result plays a leading and demonstrative role in the fine and efficient exploration of faulted basins in eastern China.
文摘Climate change caused by past,current,and future greenhouse gas emissions has become a major concern for scientists in the field in many countries and regions of the world.This study modelled future precipitation change by downscaling a set of large-scale climate predictor variables(predictors)from the second generation Canadian Earth System Model(CanESM2)under two Representative Concentration Pathway(RCP)emission scenarios(RCP4.5 and RCP8.5)in the semi-arid Borana lowland,southern Ethiopia.The Statistical DownScaling Model(SDSM)4.2.9 was employed to downscale and project future precipitation change in the middle(2036-2065;2050s)and far(2066-2095;2080s)future at the local scale.Historical precipitation observations from eight meteorological stations stretching from 1981 to 1995 and 1996 to 2005 were used for the model calibration and validation,respectively,and the time period of 1981-2018 was considered and used as the baseline period to analyze future precipitation change.The results revealed that the surface-specific humidity and the geopotential height at 500 hPa were the preferred large-scale predictors.Compared to the middle future(2050s),precipitation showed a much greater increase in the far future(2080s)under both RCP4.5 and RCP8.5 scenarios at all meteorological stations(except Teletele and Dillo stations).At Teltele station,the projected annual precipitation will decrease by 26.53%(2050s)and 39.45%(2080s)under RCP4.5 scenario,and 34.99%(2050s)and 60.62%(2080s)under RCP8.5 scenario.Seasonally,the main rainy period would shift from spring(March to May)to autumn(September to November)at Dehas,Dire,Moyale,and Teltele stations,but for Arero and Yabelo stations,spring would consistently receive more precipitation than autumn.It can be concluded that future precipitation in the semi-arid Borana lowland is predicted to differ under the two climate scenarios(RCP4.5 and RCP8.5),showing an increasing trend at most meteorological stations.This information could be helpful for policymakers to design adaptation plans in water resources management,and we suggest that the government should give more attention to improve early warning systems in drought-prone areas by providing dependable climate forecast information as early as possible.
文摘This paper discusses the disaggregation of the Federal Highway Administration’s Freight Analysis Framework(FAF)database(version 3.0)on freight origin-destination data and the development of linear regression equations to describe the relationships between commodity-based freight trip productions/attractions to specific economic variables.Instead of generating a production/attraction equation for each commodity,commodities are grouped in certain ways to simplify model development and application.We consider three grouping methods and two model selection criteria(with and without intercepts),which are compared in terms of goodness of fit with two data sets(FAF versions 2.0 and 3.0).Furthermore,the freight generation models are validated using county-level economic data in California and applied to predict year 2015 commodity outputs.The results of this study can help city,county,metropolitan and state level planning agencies develop their own customized freight demand generation models without performing costly large-scale surveys.
基金supported by the National Natural Science Foundation of China (No.50604014)the Program for New Century Excellent Talent Project(No.NCET-08-0838)the Research Fund of the State Key Laboratory of Coal Resources and Safe Mining,CUMT (No.09KF11)
文摘In light of the possibility of reignition when unsealing the closed fire zones, the occurrence of reignition was simulated by a home-made experimental device, hydrogen variety rule from combustion to unsealing was analyzed, the three-stage generation model of hydrogen during reignition in fire zone was put forward and the probability that hydrogen was taken as an indicator gas was discussed. The results show that: when fire zone is ready to unseal, which is filled with hydrogen at a high concentration, it is more prone to reignite.
文摘Immature crude oils are a kind of unconventional petroleum resources. They are generated through early low-temperature biochemical/chemical reactions of some specific organic matter. Their geological reserves explored are as high as several hundred million tons in China. Based on a detailed organic geochemical study, five genetic mechanisms of immature oils have been proposed in this paper for early hydrocarbon generation from suberinite, resinite, bacteria-reworked terrestrial organic matter, biolipids and sulphur-rich macromolecules respectively.
基金supported by the Ministry of Science and Technology of China (2014CB964803 and 2015AA020307)the National Natural Science Foundation of China (Nos. 31530048, 31601163 and 81672117)+1 种基金he Chinese Academy of Sciences (XDB19010204 and QYZDJ-SSW-SMC023)the Shanghai Municipal Commission for Science and Technology(16JC1420500, 17JC1400900 and 17140901500)
文摘Generation of mouse models carrying a defined point mutation,especially disease-related point mutations,is of considerable interest for research in biology and medicine.The standard method based on embryonic stem cell(ESC)-mediated homologous recombination(HR)is time-and labor-consuming.
基金Project(51274250)supported by the National Natural Science Foundation of ChinaProject(2012BAK09B02-05)supported by the National Key Technology R&D Program during the 12th Five-year Plan of China
文摘An integration processing system of three-dimensional laser scanning information visualization in goaf was developed. It is provided with multiple functions, such as laser scanning information management for goaf, cloud data de-noising optimization, construction, display and operation of three-dimensional model, model editing, profile generation, calculation of goaf volume and roof area, Boolean calculation among models and interaction with the third party soft ware. Concerning this system with a concise interface, plentiful data input/output interfaces, it is featured with high integration, simple and convenient operations of applications. According to practice, in addition to being well-adapted, this system is favorably reliable and stable.