Temporal knowledge graph completion(TKGC),which merges temporal information into traditional static knowledge graph completion(SKGC),has garnered increasing attention recently.Among numerous emerging approaches,transl...Temporal knowledge graph completion(TKGC),which merges temporal information into traditional static knowledge graph completion(SKGC),has garnered increasing attention recently.Among numerous emerging approaches,translation-based embedding models constitute a prominent approach in TKGC research.However,existing translation-based methods typically incorporate timestamps into entities or relations,rather than utilizing them independently.This practice fails to fully exploit the rich semantics inherent in temporal information,thereby weakening the expressive capability of models.To address this limitation,we propose embedding timestamps,like entities and relations,in one or more dedicated semantic spaces.After projecting all embeddings into a shared space,we use the relation-timestamp pair instead of the conventional relation embedding as the translation vector between head and tail entities.Our method elevates timestamps to the same representational significance as entities and relations.Based on this strategy,we introduce two novel translation-based embedding models:TE-TransR and TE-TransT.With the independent representation of timestamps,our method not only enhances capabilities in link prediction but also facilitates a relatively underexplored task,namely time prediction.To further bolster the precision and reliability of time prediction,we introduce a granular,time unit-based timestamp setting and a relation-specific evaluation protocol.Extensive experiments demonstrate that our models achieve strong performance on link prediction benchmarks,with TE-TransR outperforming existing baselines in the time prediction task.展开更多
Pipe cooling is an effective method of mass concrete temperature control, but its accurate and convenient numerical simulation is still a cumbersome problem. An improved embedded model, considering the water temperatu...Pipe cooling is an effective method of mass concrete temperature control, but its accurate and convenient numerical simulation is still a cumbersome problem. An improved embedded model, considering the water temperature variation along the pipe, was proposed for simulating the temperature field of early-age concrete structures containing cooling pipes. The improved model was verified with an engineering example. Then, the p-version self-adaption algorithm for the improved embedded model was deduced, and the initial values and boundary conditions were examined. Comparison of some numerical samples shows that the proposed model can provide satisfying precision and a higher efficiency. The analysis efficiency can be doubled at the same precision, even for a large-scale element. The p-version algorithm can fit grids of different sizes for the temperature field simulation. The convenience of the proposed algorithm lies in the possibility of locating more pipe segments in one element without the need of so regular a shape as in the explicit model.展开更多
Simulation of fluid flow in the fractured porous media is very important and challenging.Researchers have developed some models for fractured porous media.With the development of related research in recent years,the p...Simulation of fluid flow in the fractured porous media is very important and challenging.Researchers have developed some models for fractured porous media.With the development of related research in recent years,the prospect of embedded discrete fracture model(EDFM)is more and more bright.However,since the size of the fractures in the actual reservoir varies greatly,a very fine grid should be used which leads to a huge burden to the computing resources.To address this challenge,in the present paper,an upscaling based model is proposed.In this model,the flow in large-scale fractures is directly described by the EDFM while that in the small-scale fractures is upscaled through local simulation by EDFM.The EDFM is used to simulate the large-and small-scale fractures independently two times,so the new model is called dual embedded discrete fracture model(D-EDFM).In this paper,the detailed implementation process of D-EDFM is introduced and,through test cases,it is found the proposed model is a feasible method to simulate the flow in fractured porous media.展开更多
Aimed at the deficiencies of resources based time Petri nets （RBTPN） in doing scheduling analysis for distributed real-time embedded systems, the assemblage condition of complex scheduling sequences is presented to ...Aimed at the deficiencies of resources based time Petri nets （RBTPN） in doing scheduling analysis for distributed real-time embedded systems, the assemblage condition of complex scheduling sequences is presented to easily compute scheduling length and simplify scheduling analysis. Based on this, a new hierarchical RBTPN model is proposed. The model introduces the definition of transition border set, and represents it as an abstract transition. The abstract transition possesses all resources of the set, and has the highest priority of each resource; the cxecution time of abstract transition is the longest time of all possible scheduling sequences. According to the characteristics and assemblage condition of RBTPN, the refinement conditions of transition border set are given, and the conditions ensure the correction of scheduling analysis. As a result, it is easy for us to understand the scheduling model and perform scheduling analysis.展开更多
The need for simplified physical models representing frequency dependent soil impedances has been the motivation behind many researches throughout history. Generally, such models are generated to capture impedance fun...The need for simplified physical models representing frequency dependent soil impedances has been the motivation behind many researches throughout history. Generally, such models are generated to capture impedance functions in a wide range of excitation frequencies, which leads to relatively complex models. That is while there is just a limited range of frequencies that really influence the response of the structure. Here, a new methodology based on the response-matching concept is proposed, which can lead to the development of simpler discrete models. The idea is then used to upgrade an existing simple model of surface foundations to the case of embedded foundations. The applicability of the model in both frequency domain and time domain analyses of soil-structure systems with embedded foundations is discussed. Moreover, the accuracy of the results is compared with another existing discrete model for embedded foundations.展开更多
An embedded cell model is presented to obtain the effective elastic moduli for three-dimensional two-phase composites which is an exact analytic formula without any simplified approximation and can be expressed in an ...An embedded cell model is presented to obtain the effective elastic moduli for three-dimensional two-phase composites which is an exact analytic formula without any simplified approximation and can be expressed in an explicit form. For the different cells such as spherical inclusions and cracks surrounded by sphere and oblate ellipsoidal matrix, the effective elastic moduli are evaluated and the results are compared with those from various micromechanics models. These results show that the present model is direct, simple and efficient to deal with three-dimensional two-phase composites.展开更多
The paper addresses the problem of reconciling the modern control paradigm developed by R. Kalman in the sixties of the past century, and the centenary error-based design of the proportional, integrative and derivati...The paper addresses the problem of reconciling the modern control paradigm developed by R. Kalman in the sixties of the past century, and the centenary error-based design of the proportional, integrative and derivative （PID） controllers. This is done with the help of the error loop whose stability is proved to be necessary and sufficient for the close-loop plant stability. The error loop is built by cascading the uncertain plant-to-model discrepancies （causal, parametric, initial state, neglected dynamics）, which are driven by the design model output and by arbitrary bounded signals, with the control unit transfer functions. The embedded model control takes advantage of the error loop and its equations to design appropriate algorithms of the modern control theory （state predictor, control law, reference generator）, which guarantee the error loop stability and performance. A simulated multivariate case study shows modeling and control design steps and the coherence of the predicted and simulated performance.展开更多
Acid fracturing is an important means of reservoir stimulation,whose purpose is to form an incompletely closed acid-etched fracture as the flow channel for oil and gas during production.The length and conductivity of ...Acid fracturing is an important means of reservoir stimulation,whose purpose is to form an incompletely closed acid-etched fracture as the flow channel for oil and gas during production.The length and conductivity of acid-etched fractures can be used to evaluate acid fracturing and directly impact production.To study their influence on the stimulation effect and final production,an acid fracturing coupling model including a fracture propagation model coupled with reservoir flow and temperature field models is established for the first time in this study based on an embedded discrete fracture model(EDFM),which can realize the coupling of fracture propagation and reservoir flow and simplify the solution of fracture and reservoir temperatures.The simulation results of the acid fracturing coupling model are introduced into the productivity model,which is also based on the EDFM to analyze and evaluate well productivity.The results show that:(1)the EDFM can easily couple fracture propagation and reservoir flow and can be used to rapidly solve the temperature fields in the fracture and reservoir successfully for the first time.(2)Reservoir flow impacts the propagation of fractures by increasing or decreasing the leak-off velocity of the working fluid.(3)Temperature diffusion is much weaker than pressure diffusion during acid fracturing and is limited near the acid fracture.The reaction between the acid and rock increases the local temperature around the acid fracture,and may even exceed the initial formation temperature.(4)Raising the injection rate reasonably enhances H^(+) diffusion,increases the effective length of acid-etched fractures,enlarges the drainage area of oil and gas,and benefits long-term well production.展开更多
Enhanced geothermal system(EGS)is subject to the comprehensive effects of multiple physicalfields during the long-term heat extraction process,including hydraulic(H),thermal(T),mechanical(M)and chemical(C)fields.The e...Enhanced geothermal system(EGS)is subject to the comprehensive effects of multiple physicalfields during the long-term heat extraction process,including hydraulic(H),thermal(T),mechanical(M)and chemical(C)fields.The embedded discrete fracture model(EDFM)can effectively simulate the variations offlow,temperature,mechanical and concentrationfields in fractured reservoirs.At present,however,the thermo-hydro-mechanical-chemical(THMC)coupling model based on EDFM is less researched.In this paper,the THMC coupling model of fractured reservoir is established based on EDFM by considering the changes in reservoir heterogeneity and physical properties as well as watererock reactions.Then,the spatiotemporal evolution offlow,temperature,displacement and concentrationfields in the operation process of EGS is simulated and analyzed.And the following research results are obtained.First,when the permeability of the basement rock is low,the production temperature decrease during exploitation is gradual,allowing EGS to maintain a high exploitation temperature for an extended period.However,lower permeability may result in a decrease in the qualityflow rate from production wells,thereby affecting net heat extraction power.Second,when fracture permeability or fracture opening changes,EGS can output higher temperature stably for a certain period and then the temperature decreases at different amplitudes.When the fracture permeability increases to a certain value or the fracture opening decreases to a certain value,the influence of the change in fracture parameters on production temperature gets weak.Third,After 40 years of EGS operation,considering variable propertyfluids results in a 22 C lower exploitation temperature compared to using constant propertyfluids,and considering watererock reactions results in a 15 C lower exploitation temperature,with a 12.5%increase in reservoir average porosity.In conclusion,when researching a long-term operating EGS,it is necessary to comprehensively consider the influences of reservoir rock parameters,physical properties of injectedfluid,watererock reaction and other factors.And in the future,attention shall be paid to the two-way coupling of chemical reaction and mechanical deformation of other mineral compositions in the reservoir to the hydro-thermo-chemicalfield influence,so as to provide more accurate and reliable prediction for the engineering development and utilization of EGS reservoirs.展开更多
Robustness testing for safety-critical embedded software is still a challenge in its nascent stages. In this paper, we propose a practical methodology and implement an environment by employing model-based robustness t...Robustness testing for safety-critical embedded software is still a challenge in its nascent stages. In this paper, we propose a practical methodology and implement an environment by employing model-based robustness testing for embedded software systems. It is a system-level black-box testing approach in which the fault behaviors of embedded software is triggered with the aid of modelbased fault injection by the support of an executable model-driven hardware-in-loop （HIL） testing environment. The prototype implementation of the robustness testing environment based on the proposed approach is experimentally discussed and illustrated by industrial case studies based on several avionics-embedded software systems. The results show that our proposed and implemented robustness testing method and environment are effective to find more bugs, and reduce burdens of testing engineers to enhance efficiency of testing tasks, especially for testing complex embedded systems.展开更多
In order to solve the problem that the embedded software has the shortcoming of the platform dependence, this paper presents an embedded software analysis method based on the static structure model. Before control flo...In order to solve the problem that the embedded software has the shortcoming of the platform dependence, this paper presents an embedded software analysis method based on the static structure model. Before control flow and data flow analysis, a lexical analysis/syntax analysis method with simplified grammar and sentence depth is designed to analyze the embedded software. The experiments use the open source code of smart meters as a case, and the artificial faults as the test objects, repeating 30 times. Compared with the popular static analyzing tools PC-Lint and Splint, the method can accurately orient 91% faults, which is between PC-Lint＇s 95% and Splint＇s 85%. The result indicates that the correct rate of our method is acceptable. Meanwhile, by removing the platform-dependent operation with simplified syntax analysis, our method is independent of development environment. It also shows that the method is applicable to the compiled C（including embedded software） program.展开更多
As one of the main failure modes, embedded cracks occur in beam structures due to periodic loads. Hence it is useful to investigate the dynamic characteristics of a beam structure with an embedded crack for early crac...As one of the main failure modes, embedded cracks occur in beam structures due to periodic loads. Hence it is useful to investigate the dynamic characteristics of a beam structure with an embedded crack for early crack detection and diagnosis. A new four-beam model with local flexibilities at crack tips is developed to investigate the transverse vibration of a cantilever beam with an embedded horizontal crack; two separate beam segments are used to model the crack region to allow opening of crack surfaces. Each beam segment is considered as an Euler-Bernoulli beam. The governing equations and the matching and boundary conditions of the four-beam model are derived using Hamilton＇s principle. The natural frequencies and mode shapes of the four-beam model are calculated using the transfer matrix method. The effects of the crack length, depth, and location on the first three natural frequencies and mode shapes of the cracked cantilever beam are investigated. A continuous wavelet transform method is used to analyze the mode shapes of the cracked cantilever beam. It is shown that sudden changes in spatial variations of the wavelet coefficients of the mode shapes can be used to identify the length and location of an embedded horizontal crack. The first three natural frequencies and mode shapes of a cantilever beam with an embedded crack from the finite element method and an experimental investigation are used to validate the proposed model. Local deformations in the vicinity of the crack tips can be described by the proposed four-beam model, which cannot be captured by previous methods.展开更多
In recent years, mobile devices have become widespread and refined, and they have offered increased convenience in human life. For these reasons, a variety of embedded systems have been designed. Therefore, improving ...In recent years, mobile devices have become widespread and refined, and they have offered increased convenience in human life. For these reasons, a variety of embedded systems have been designed. Therefore, improving methods for developing of embedded software systematically has become an important issue. Platform-based design is one example of an embedded-system design method that can reduce the design cost via improving a design’s abstraction level. However, platform-based design lacks precise definitions for platforms and design processes. This paper provides an approach that combines the aspects and platform-based design methods for developing embedded software. The approach is built on platform-based design methodology and uses the separating of concerns (SoC) concept to define the aspects and to reduce the crosscutting concerns in embedded system modeling. For aspect issues, we use the extended UML notation with aspects to describe both the static structure and the dynamic structure of the embedded system. We used an example of a digital photo frame system to demonstrate our approach.展开更多
In shale gas reservoir stimulation,proppants are essential for sustaining fracture conductivity.However,increasing closing stress causes proppants to embed into the rock matrix,leading to a progressive decline in frac...In shale gas reservoir stimulation,proppants are essential for sustaining fracture conductivity.However,increasing closing stress causes proppants to embed into the rock matrix,leading to a progressive decline in fracture permeability and conductivity.Furthermore,rock creep contributes to long-term reductions in fracture performance.To elucidate the combined effects of proppant embedding and rock creep on sustained conductivity,this study conducted controlled experiments examining conductivity decay in propped fractures under varying closing stresses,explicitly accounting for both mechanisms.An embedded discrete fracture model was developed to simulate reservoir production under different conductivity decay scenarios,while evaluating the influence of proppant parameters on fracture performance.The results demonstrate that fracture conductivity diminishes rapidly with increasing stress,yet at 50 MPa,the decline becomes less pronounced.Simulated production profiles show strong agreement with actual gas well data,confirming the model’s accuracy and predictive capability.These findings suggest that employing a high proppant concentration with smaller particle size(5 kg/m^(2),70/140 mesh)is effective for maintaining long-term fracture conductivity and enhancing shale gas recovery.This study provides a rigorous framework for optimizing proppant selection and designing stimulation strategies that maximize reservoir performance over time.展开更多
With the development of computer technology, embedded control system plays an important role in modern industry. For the embedded system, traditional development methods are time-consuming and system is not easy to ma...With the development of computer technology, embedded control system plays an important role in modern industry. For the embedded system, traditional development methods are time-consuming and system is not easy to maintain. Domain-specific modeling provides a solution for the problems. In this paper, we proposed development architecture for embedded control systems based on MIC. GME is used to construct meta-model and application model, model in-terpreter interprets model and stores model information in xml format document. The final cross-platform codes are automatically generated by different templates and xml format document. This development method can reduce time and cost in the lifecycle of system development.展开更多
基金supported by the National Natural Science Foundation of China under Grant No.72293575.
文摘Temporal knowledge graph completion(TKGC),which merges temporal information into traditional static knowledge graph completion(SKGC),has garnered increasing attention recently.Among numerous emerging approaches,translation-based embedding models constitute a prominent approach in TKGC research.However,existing translation-based methods typically incorporate timestamps into entities or relations,rather than utilizing them independently.This practice fails to fully exploit the rich semantics inherent in temporal information,thereby weakening the expressive capability of models.To address this limitation,we propose embedding timestamps,like entities and relations,in one or more dedicated semantic spaces.After projecting all embeddings into a shared space,we use the relation-timestamp pair instead of the conventional relation embedding as the translation vector between head and tail entities.Our method elevates timestamps to the same representational significance as entities and relations.Based on this strategy,we introduce two novel translation-based embedding models:TE-TransR and TE-TransT.With the independent representation of timestamps,our method not only enhances capabilities in link prediction but also facilitates a relatively underexplored task,namely time prediction.To further bolster the precision and reliability of time prediction,we introduce a granular,time unit-based timestamp setting and a relation-specific evaluation protocol.Extensive experiments demonstrate that our models achieve strong performance on link prediction benchmarks,with TE-TransR outperforming existing baselines in the time prediction task.
基金supported by the National Natural Science Foundation of China(Grant No.51109071)
文摘Pipe cooling is an effective method of mass concrete temperature control, but its accurate and convenient numerical simulation is still a cumbersome problem. An improved embedded model, considering the water temperature variation along the pipe, was proposed for simulating the temperature field of early-age concrete structures containing cooling pipes. The improved model was verified with an engineering example. Then, the p-version self-adaption algorithm for the improved embedded model was deduced, and the initial values and boundary conditions were examined. Comparison of some numerical samples shows that the proposed model can provide satisfying precision and a higher efficiency. The analysis efficiency can be doubled at the same precision, even for a large-scale element. The p-version algorithm can fit grids of different sizes for the temperature field simulation. The convenience of the proposed algorithm lies in the possibility of locating more pipe segments in one element without the need of so regular a shape as in the explicit model.
基金supported by National Natural Science Foundations of China(Grant Nos.51706021,51936001 and 51804033)the Beijing Youth Talent Support Program(Grant No.CIT&TCD201804037)+1 种基金Joint Project of the Beijing Natural Science Foundation and the Beijing Municipal Education Commission(Grant No.KZ201810017023)the Great Wall Scholar program(Grant No.CIT&TCD20180313).
文摘Simulation of fluid flow in the fractured porous media is very important and challenging.Researchers have developed some models for fractured porous media.With the development of related research in recent years,the prospect of embedded discrete fracture model(EDFM)is more and more bright.However,since the size of the fractures in the actual reservoir varies greatly,a very fine grid should be used which leads to a huge burden to the computing resources.To address this challenge,in the present paper,an upscaling based model is proposed.In this model,the flow in large-scale fractures is directly described by the EDFM while that in the small-scale fractures is upscaled through local simulation by EDFM.The EDFM is used to simulate the large-and small-scale fractures independently two times,so the new model is called dual embedded discrete fracture model(D-EDFM).In this paper,the detailed implementation process of D-EDFM is introduced and,through test cases,it is found the proposed model is a feasible method to simulate the flow in fractured porous media.
文摘Aimed at the deficiencies of resources based time Petri nets （RBTPN） in doing scheduling analysis for distributed real-time embedded systems, the assemblage condition of complex scheduling sequences is presented to easily compute scheduling length and simplify scheduling analysis. Based on this, a new hierarchical RBTPN model is proposed. The model introduces the definition of transition border set, and represents it as an abstract transition. The abstract transition possesses all resources of the set, and has the highest priority of each resource; the cxecution time of abstract transition is the longest time of all possible scheduling sequences. According to the characteristics and assemblage condition of RBTPN, the refinement conditions of transition border set are given, and the conditions ensure the correction of scheduling analysis. As a result, it is easy for us to understand the scheduling model and perform scheduling analysis.
文摘The need for simplified physical models representing frequency dependent soil impedances has been the motivation behind many researches throughout history. Generally, such models are generated to capture impedance functions in a wide range of excitation frequencies, which leads to relatively complex models. That is while there is just a limited range of frequencies that really influence the response of the structure. Here, a new methodology based on the response-matching concept is proposed, which can lead to the development of simpler discrete models. The idea is then used to upgrade an existing simple model of surface foundations to the case of embedded foundations. The applicability of the model in both frequency domain and time domain analyses of soil-structure systems with embedded foundations is discussed. Moreover, the accuracy of the results is compared with another existing discrete model for embedded foundations.
基金The project supported by the National Natural Science Foundation of China (No.19704100) the National Natural Science Foundation of Chinese Academy of Sciences (No. KJ951-1-201)
文摘An embedded cell model is presented to obtain the effective elastic moduli for three-dimensional two-phase composites which is an exact analytic formula without any simplified approximation and can be expressed in an explicit form. For the different cells such as spherical inclusions and cracks surrounded by sphere and oblate ellipsoidal matrix, the effective elastic moduli are evaluated and the results are compared with those from various micromechanics models. These results show that the present model is direct, simple and efficient to deal with three-dimensional two-phase composites.
文摘The paper addresses the problem of reconciling the modern control paradigm developed by R. Kalman in the sixties of the past century, and the centenary error-based design of the proportional, integrative and derivative （PID） controllers. This is done with the help of the error loop whose stability is proved to be necessary and sufficient for the close-loop plant stability. The error loop is built by cascading the uncertain plant-to-model discrepancies （causal, parametric, initial state, neglected dynamics）, which are driven by the design model output and by arbitrary bounded signals, with the control unit transfer functions. The embedded model control takes advantage of the error loop and its equations to design appropriate algorithms of the modern control theory （state predictor, control law, reference generator）, which guarantee the error loop stability and performance. A simulated multivariate case study shows modeling and control design steps and the coherence of the predicted and simulated performance.
基金supported by the China Postdoctoral Sci-ence Foundation(2020M683360)National Natural Science Foundation of China(U19A2043).
文摘Acid fracturing is an important means of reservoir stimulation,whose purpose is to form an incompletely closed acid-etched fracture as the flow channel for oil and gas during production.The length and conductivity of acid-etched fractures can be used to evaluate acid fracturing and directly impact production.To study their influence on the stimulation effect and final production,an acid fracturing coupling model including a fracture propagation model coupled with reservoir flow and temperature field models is established for the first time in this study based on an embedded discrete fracture model(EDFM),which can realize the coupling of fracture propagation and reservoir flow and simplify the solution of fracture and reservoir temperatures.The simulation results of the acid fracturing coupling model are introduced into the productivity model,which is also based on the EDFM to analyze and evaluate well productivity.The results show that:(1)the EDFM can easily couple fracture propagation and reservoir flow and can be used to rapidly solve the temperature fields in the fracture and reservoir successfully for the first time.(2)Reservoir flow impacts the propagation of fractures by increasing or decreasing the leak-off velocity of the working fluid.(3)Temperature diffusion is much weaker than pressure diffusion during acid fracturing and is limited near the acid fracture.The reaction between the acid and rock increases the local temperature around the acid fracture,and may even exceed the initial formation temperature.(4)Raising the injection rate reasonably enhances H^(+) diffusion,increases the effective length of acid-etched fractures,enlarges the drainage area of oil and gas,and benefits long-term well production.
基金supported by Key Fund of the National Natural Science Foundation of China“A Study on the Mechanism of Heat and Mass Transfer in the Coupled THMC of Strong Geothermal System”(No.51936001)Open Fund Project of National Key Laboratory for Energy Efficiency and Clean Utilization(No.ZJUCEU2022001).
文摘Enhanced geothermal system(EGS)is subject to the comprehensive effects of multiple physicalfields during the long-term heat extraction process,including hydraulic(H),thermal(T),mechanical(M)and chemical(C)fields.The embedded discrete fracture model(EDFM)can effectively simulate the variations offlow,temperature,mechanical and concentrationfields in fractured reservoirs.At present,however,the thermo-hydro-mechanical-chemical(THMC)coupling model based on EDFM is less researched.In this paper,the THMC coupling model of fractured reservoir is established based on EDFM by considering the changes in reservoir heterogeneity and physical properties as well as watererock reactions.Then,the spatiotemporal evolution offlow,temperature,displacement and concentrationfields in the operation process of EGS is simulated and analyzed.And the following research results are obtained.First,when the permeability of the basement rock is low,the production temperature decrease during exploitation is gradual,allowing EGS to maintain a high exploitation temperature for an extended period.However,lower permeability may result in a decrease in the qualityflow rate from production wells,thereby affecting net heat extraction power.Second,when fracture permeability or fracture opening changes,EGS can output higher temperature stably for a certain period and then the temperature decreases at different amplitudes.When the fracture permeability increases to a certain value or the fracture opening decreases to a certain value,the influence of the change in fracture parameters on production temperature gets weak.Third,After 40 years of EGS operation,considering variable propertyfluids results in a 22 C lower exploitation temperature compared to using constant propertyfluids,and considering watererock reactions results in a 15 C lower exploitation temperature,with a 12.5%increase in reservoir average porosity.In conclusion,when researching a long-term operating EGS,it is necessary to comprehensively consider the influences of reservoir rock parameters,physical properties of injectedfluid,watererock reaction and other factors.And in the future,attention shall be paid to the two-way coupling of chemical reaction and mechanical deformation of other mineral compositions in the reservoir to the hydro-thermo-chemicalfield influence,so as to provide more accurate and reliable prediction for the engineering development and utilization of EGS reservoirs.
基金the Aeronautics Science Foundation of China(No.2011ZD51055)Science and Technology on Reliability&Environmental Engineering Laboratory(No.302367)the National Pre-Research Foundation of China(No.51319080201)
文摘Robustness testing for safety-critical embedded software is still a challenge in its nascent stages. In this paper, we propose a practical methodology and implement an environment by employing model-based robustness testing for embedded software systems. It is a system-level black-box testing approach in which the fault behaviors of embedded software is triggered with the aid of modelbased fault injection by the support of an executable model-driven hardware-in-loop （HIL） testing environment. The prototype implementation of the robustness testing environment based on the proposed approach is experimentally discussed and illustrated by industrial case studies based on several avionics-embedded software systems. The results show that our proposed and implemented robustness testing method and environment are effective to find more bugs, and reduce burdens of testing engineers to enhance efficiency of testing tasks, especially for testing complex embedded systems.
基金Supported by the National Natural Science Foundation of China(61303214)the Science and Technology Project of China State Grid Corp(KJ15-1-32)
文摘In order to solve the problem that the embedded software has the shortcoming of the platform dependence, this paper presents an embedded software analysis method based on the static structure model. Before control flow and data flow analysis, a lexical analysis/syntax analysis method with simplified grammar and sentence depth is designed to analyze the embedded software. The experiments use the open source code of smart meters as a case, and the artificial faults as the test objects, repeating 30 times. Compared with the popular static analyzing tools PC-Lint and Splint, the method can accurately orient 91% faults, which is between PC-Lint＇s 95% and Splint＇s 85%. The result indicates that the correct rate of our method is acceptable. Meanwhile, by removing the platform-dependent operation with simplified syntax analysis, our method is independent of development environment. It also shows that the method is applicable to the compiled C（including embedded software） program.
基金Supported by National Natural Science Foundation of China(Grant Nos.51035008,51304019)National Science Foundation of USA(Grant Nos.CMMI-1000830,CMMI-1229532)+1 种基金the University of Maryland Baltimore County Directed Research Initiative Fund ProgramFundamental Research Funds for the Central Universities,China(Grant No.FRF-TP-14-123A2)
文摘As one of the main failure modes, embedded cracks occur in beam structures due to periodic loads. Hence it is useful to investigate the dynamic characteristics of a beam structure with an embedded crack for early crack detection and diagnosis. A new four-beam model with local flexibilities at crack tips is developed to investigate the transverse vibration of a cantilever beam with an embedded horizontal crack; two separate beam segments are used to model the crack region to allow opening of crack surfaces. Each beam segment is considered as an Euler-Bernoulli beam. The governing equations and the matching and boundary conditions of the four-beam model are derived using Hamilton＇s principle. The natural frequencies and mode shapes of the four-beam model are calculated using the transfer matrix method. The effects of the crack length, depth, and location on the first three natural frequencies and mode shapes of the cracked cantilever beam are investigated. A continuous wavelet transform method is used to analyze the mode shapes of the cracked cantilever beam. It is shown that sudden changes in spatial variations of the wavelet coefficients of the mode shapes can be used to identify the length and location of an embedded horizontal crack. The first three natural frequencies and mode shapes of a cantilever beam with an embedded crack from the finite element method and an experimental investigation are used to validate the proposed model. Local deformations in the vicinity of the crack tips can be described by the proposed four-beam model, which cannot be captured by previous methods.
文摘In recent years, mobile devices have become widespread and refined, and they have offered increased convenience in human life. For these reasons, a variety of embedded systems have been designed. Therefore, improving methods for developing of embedded software systematically has become an important issue. Platform-based design is one example of an embedded-system design method that can reduce the design cost via improving a design’s abstraction level. However, platform-based design lacks precise definitions for platforms and design processes. This paper provides an approach that combines the aspects and platform-based design methods for developing embedded software. The approach is built on platform-based design methodology and uses the separating of concerns (SoC) concept to define the aspects and to reduce the crosscutting concerns in embedded system modeling. For aspect issues, we use the extended UML notation with aspects to describe both the static structure and the dynamic structure of the embedded system. We used an example of a digital photo frame system to demonstrate our approach.
基金supported by the National Natural Science Foundation of China(Nos.52204051,52304046).
文摘In shale gas reservoir stimulation,proppants are essential for sustaining fracture conductivity.However,increasing closing stress causes proppants to embed into the rock matrix,leading to a progressive decline in fracture permeability and conductivity.Furthermore,rock creep contributes to long-term reductions in fracture performance.To elucidate the combined effects of proppant embedding and rock creep on sustained conductivity,this study conducted controlled experiments examining conductivity decay in propped fractures under varying closing stresses,explicitly accounting for both mechanisms.An embedded discrete fracture model was developed to simulate reservoir production under different conductivity decay scenarios,while evaluating the influence of proppant parameters on fracture performance.The results demonstrate that fracture conductivity diminishes rapidly with increasing stress,yet at 50 MPa,the decline becomes less pronounced.Simulated production profiles show strong agreement with actual gas well data,confirming the model’s accuracy and predictive capability.These findings suggest that employing a high proppant concentration with smaller particle size(5 kg/m^(2),70/140 mesh)is effective for maintaining long-term fracture conductivity and enhancing shale gas recovery.This study provides a rigorous framework for optimizing proppant selection and designing stimulation strategies that maximize reservoir performance over time.
文摘With the development of computer technology, embedded control system plays an important role in modern industry. For the embedded system, traditional development methods are time-consuming and system is not easy to maintain. Domain-specific modeling provides a solution for the problems. In this paper, we proposed development architecture for embedded control systems based on MIC. GME is used to construct meta-model and application model, model in-terpreter interprets model and stores model information in xml format document. The final cross-platform codes are automatically generated by different templates and xml format document. This development method can reduce time and cost in the lifecycle of system development.
基金国家自然科学基金联合基金项目(U21A20485)浙江省“十四五”第二批本科省级教学改革备案项目(JGBA2024014)+2 种基金教育部产学合作协同育人项目(2501270945)2024年度浙江大学本科“AI赋能”示范课程建设项目(202424EE2501M)浙江大学第四批AI For Education系列实证教学研究项目(BKSY20251104)。
