To solve the problem that external systematic errors of the optical camera cannot be fully estimated due to limited computing resources,a unified dimensionality reduction representation method for the external systema...To solve the problem that external systematic errors of the optical camera cannot be fully estimated due to limited computing resources,a unified dimensionality reduction representation method for the external systematic errors of the optical camera is proposed,and autonomous relative optical navigation is realized.The camera translational and misalignment errors are converted into a three-dimensional rotation error,whose differential model can be established through specific attitude control and appropriate assumption.Then,the rotation error and the relative motion state are jointly estimated in an augmented Kalman filter framework.Compared with the traditional method that estimates the camera translational and misalignment errors,the proposed method reduces the computational complexity in that the estimated state dimension is reduced.Furthermore,as demonstrated by numerical simulation,the estimation accuracy is improved significantly.展开更多
For the interaction relation between geological object and engineering object in some fields related to water conservancy and hydropower, a unified modeling idea was proposed. On the basis of summarizing both advantag...For the interaction relation between geological object and engineering object in some fields related to water conservancy and hydropower, a unified modeling idea was proposed. On the basis of summarizing both advantages and disadvantages of existing modeling methods, an automatic unified modeling method of both engineering and geological objects based on tri-prism(TP) model was presented. Through the lossless correction algorithm of deviated drill holes contained in this method, the real deviated drill holes could be corrected into the equivalent virtual vertical ones. And the correction accuracy fully meets the requirements of unified modeling. With the virtual vertical drilling data, TIN construction of both cover layer and other stratums would be built in order to obtain the 3D geological model. Then, the engineering design data would be introduced into the 3D geological model for achieving unified modeling. For this process, the volume subdividing and restructuring principles were introduced to deal with the spatial relationships between engineering object and geological object. In order to improve the efficiency of unified modeling, the reconstruction of TIN based on constraint information was also applied in this method. At last, the feasibility and validation of the unified modeling method as well as its relevant key algorithms were verified by specific experiments and analysis of results.展开更多
This research paper defines the theoretical foundations and computational implementation of a non-conventional modeling and simulation methodology,inspired by the needs of problem solving for biological,agricultural,a...This research paper defines the theoretical foundations and computational implementation of a non-conventional modeling and simulation methodology,inspired by the needs of problem solving for biological,agricultural,aquacultural and environmental systems.The challenging practical problem is to develop a framework for automatic generation of causally right and balance-based,unified models that can also be applied for the effective coupling amongst the various(sophisticated field-specific,sensor data processing-based,upper level optimization-driven,etc.)models.The scientific problem addressed in this innovation is to develop Programmable Process Structures(PPS)by combining functional basis of systems theory,structural approach of net theory and computational principles of agent based modeling.PPS offers a novel framework for the automatic generation of easily extensible and connectible,unified models for the underlying complex systems.PPS models can be generated from one state and one transition meta-prototypes and from the transition oriented description of process structure.The models consist of unified state and transition elements.The local program containing prototype elements,derived also from the meta-prototypes,are responsible for the case-specific calculations.The integrity and consistency of PPS architecture are based on the meta-prototypes,prepared to distinguish between the conservation-laws-based measures and the signals.The simulation is based on data flows amongst the state and transition elements,as well as on the unification based data transfer between these elements and their calculating prototypes.This architecture and its AI language-based(Prolog)implementation support the integration of various field-and task-specific models,conveniently.The better understanding is helped by a simple example.The capabilities of the recently consolidated general methodology are discussed on the basis of some preliminary applications,focusing on the recently studied agricultural and aquacultural cases.展开更多
Well logging technology has accumulated a large amount of historical data through four generations of technological development,which forms the basis of well logging big data and digital assets.However,the value of th...Well logging technology has accumulated a large amount of historical data through four generations of technological development,which forms the basis of well logging big data and digital assets.However,the value of these data has not been well stored,managed and mined.With the development of cloud computing technology,it provides a rare development opportunity for logging big data private cloud.The traditional petrophysical evaluation and interpretation model has encountered great challenges in the face of new evaluation objects.The solution research of logging big data distributed storage,processing and learning functions integrated in logging big data private cloud has not been carried out yet.To establish a distributed logging big-data private cloud platform centered on a unifi ed learning model,which achieves the distributed storage and processing of logging big data and facilitates the learning of novel knowledge patterns via the unifi ed logging learning model integrating physical simulation and data models in a large-scale functional space,thus resolving the geo-engineering evaluation problem of geothermal fi elds.Based on the research idea of“logging big data cloud platform-unifi ed logging learning model-large function space-knowledge learning&discovery-application”,the theoretical foundation of unified learning model,cloud platform architecture,data storage and learning algorithm,arithmetic power allocation and platform monitoring,platform stability,data security,etc.have been carried on analysis.The designed logging big data cloud platform realizes parallel distributed storage and processing of data and learning algorithms.The feasibility of constructing a well logging big data cloud platform based on a unifi ed learning model of physics and data is analyzed in terms of the structure,ecology,management and security of the cloud platform.The case study shows that the logging big data cloud platform has obvious technical advantages over traditional logging evaluation methods in terms of knowledge discovery method,data software and results sharing,accuracy,speed and complexity.展开更多
The unified modeling language(UML) is one of the most commonly used modeling languages in the software industry.It simplifies the complex process of design by providing a set of graphical notations,which helps express...The unified modeling language(UML) is one of the most commonly used modeling languages in the software industry.It simplifies the complex process of design by providing a set of graphical notations,which helps express the objectoriented analysis and design of software projects.Although UML is applicable to different types of systems,domains,methods,and processes,it cannot express certain problem domain needs.Therefore,many extensions to UML have been proposed.In this paper,we propose a framework for integrating the UML extensions and then use the framework to propose an integrated unified modeling language-graphical(iUML-g) form.iUML-g integrates the existing UML extensions into one integrated form.This includes an integrated diagram for UML class,sequence,and use case diagrams.The proposed approach is evaluated using a case study.The proposed iUML-g is capable of modeling systems that use different domains.展开更多
Cyber physical systems (CPSs) can be found nowadays in various fields of activity. The increased interest for these systems as evidenced by the large number of applications led to complex research regarding the most s...Cyber physical systems (CPSs) can be found nowadays in various fields of activity. The increased interest for these systems as evidenced by the large number of applications led to complex research regarding the most suitable methods for design and development. A promising solution for specification, visualization, and documentation of CPSs uses the Object Management Group (OMG) unified modeling language (UML). UML models allow an intuitive approach for embedded systems design, helping end-users to specify the requirements. However, the UML models are represented in an informal language. Therefore, it is difficult to verify the correctness and completeness of a system design. The object constraint language (OCL) was defined to add constraints to UML, but it is deficient in strict notations of mathematics and logic that permits rigorous analysis and reasoning about the specifications. In this paper, we investigated how CPS applications modeled using UML deployment diagrams could be formally expressed and verified. We used Z language constructs and prototype verification system (PVS) as formal verification tools. Considering some relevant case studies presented in the literature, we investigated the opportunity of using this approach for validation of static properties in CPS UML models.展开更多
The prediction of fundus fluorescein angiography(FFA)images from fundus structural images is a cutting-edge research topic in ophthalmological image processing.Prediction comprises estimating FFA from fundus camera im...The prediction of fundus fluorescein angiography(FFA)images from fundus structural images is a cutting-edge research topic in ophthalmological image processing.Prediction comprises estimating FFA from fundus camera imaging,single-phase FFA from scanning laser ophthalmoscopy(SLO),and three-phase FFA also from SLO.Although many deep learning models are available,a single model can only perform one or two of these prediction tasks.To accomplish three prediction tasks using a unified method,we propose a unified deep learning model for predicting FFA images from fundus structure images using a supervised generative adversarial network.The three prediction tasks are processed as follows:data preparation,network training under FFA supervision,and FFA image prediction from fundus structure images on a test set.By comparing the FFA images predicted by our model,pix2pix,and CycleGAN,we demonstrate the remarkable progress achieved by our proposal.The high performance of our model is validated in terms of the peak signal-to-noise ratio,structural similarity index,and mean squared error.展开更多
This article presents a micro-macro unified model for predicting the deformation of metal matrix composites （MMCs）. A macro-scale model is developed to obtain the proper boundary conditions for the micro-scale model...This article presents a micro-macro unified model for predicting the deformation of metal matrix composites （MMCs）. A macro-scale model is developed to obtain the proper boundary conditions for the micro-scale model, which is used to assess the microstructural deformation of materials. The usage of the submodel technique in the analysis makes it possible to shed light on the stress and strain field at the microlevel. This is helpful to investigate the linkage between the microscopic and the macroscopic flow behavior of the composites. An iterative procedure is also proposed to find out the optimum parameters. The results show that the convergence can be attained after three iterations in computation. In order to demonstrate the reliability of mi- cro-macro unified model, results based on the continuum composite model are also investigated using the stress-strain relation of composite obtained from the iterations. By comparing the proposed unified model to the continuum composite model, it is clear that the former exhibits large plastic deformation in the case of little macroscopic deformation, and the stresses and strains obtained from the submodel are higher than those from the macroscopic deformation.展开更多
The capability requirements of the command, control, communication, computing, intelligence, surveillance, reconnaissance （C41SR） systems are full of uncertain and vague information, which makes it difficult to mode...The capability requirements of the command, control, communication, computing, intelligence, surveillance, reconnaissance （C41SR） systems are full of uncertain and vague information, which makes it difficult to model the C41SR architecture. The paper presents an approach to modeling the capability requirements with the fuzzy unified modeling language （UML） and building domain ontologies with fuzzy description logic （DL）. The UML modeling constructs are extended according to the meta model of Depart- ment of Defense Architecture Framework to improve their domain applicability, the fuzzy modeling mechanism is introduced to model the fuzzy efficiency features of capabilities, and the capability requirement models are converted into ontologies formalized in fuzzy DL so that the model consistency and reasonability can be checked with a DL reasoning system. Finally, a case study of C41SR capability requirements model checking is provided to demonstrate the availability and applicability of the method.展开更多
In order to provide a quantitative analysis and verification method for activity diagrams based business process modeling, a formal definition of activity diagrams is introduced. And the basic requirements for activit...In order to provide a quantitative analysis and verification method for activity diagrams based business process modeling, a formal definition of activity diagrams is introduced. And the basic requirements for activity diagrams based business process models are proposed. Furthermore, the standardized transformation technique between business process models and basic Petri nets is presented and the analysis method for the soundness and well-structured properties of business processes is introduced.展开更多
The current standard Unified Modeling Language(UML) could not model framework flexibility and extendibility adequately due to lack of appropriate constructs to distinguish framework hot-spots from kernel elements. A n...The current standard Unified Modeling Language(UML) could not model framework flexibility and extendibility adequately due to lack of appropriate constructs to distinguish framework hot-spots from kernel elements. A new UML profile that may customize UML for framework modeling was presented using the extension mechanisms of UML, providing a group of UML extensions to meet the needs of framework modeling. In this profile, the extended class diagrams and sequence diagrams were defined to straightforwardly identify the hot-spots and describe their instantiation restrictions. A transformation model based on design patterns was also put forward, such that the profile based framework design diagrams could be automatically mapped to the corresponding implementation diagrams. It was proved that the presented profile makes framework modeling more straightforwardly and therefore easier to understand and instantiate.展开更多
Background Non-suicidal self-injury(NSSI)is a significant health concern among adolescents and young adults,often resulting from adverse childhood experiences(ACEs).Dissociation,post-traumatic symptoms and attachment ...Background Non-suicidal self-injury(NSSI)is a significant health concern among adolescents and young adults,often resulting from adverse childhood experiences(ACEs).Dissociation,post-traumatic symptoms and attachment style may have a role in shaping such associations.Aims This study aims to provide a unified model of the impact of ACEs on NSSI,exploring complex post-traumatic stress disorder(cPTSD)symptoms and dissociation as potential mediators and the role of the predominant attachment style in affecting such associations.Methods 1010 young individuals attending the last year of high school participated in this cross-sectional study.ACEs,cPTSD,dissociation and NSSI were evaluated using self-report questionnaires.We fitted a path model of NSSI,with ACEs as exogenous variables and cPTSD and dissociation as sequential mediators.Secure,fearful and preoccupied attachment styles were modelled as grouping variables.Results Our findings showed that dissociation mediated the impact of ACEs on NSSI in subjects with a fearful attachment style,as opposed to those with a preoccupied attachment for whom cPTSD symptoms mediated the ACEs-NSSI association.Conclusions Attachment styles moderate the relationship between ACEs and NSSI,with either dissociation or post-traumatic symptomatology mediating the impact of ACEs on NSSI,depending on the predominant attachment style.Our results highlight the importance of attachment as a pathway modifier in the relationships between different psychopathology dimensions,providing a useful framework to better conceptualise the ACEs-NSSI association.展开更多
Presented a study on the design and implementation of spatial data modelingand application in the spatial data organization and management of a coalfield geologicalenvironment database.Based on analysis of a number of...Presented a study on the design and implementation of spatial data modelingand application in the spatial data organization and management of a coalfield geologicalenvironment database.Based on analysis of a number of existing data models and takinginto account the unique data structure and characteristic, methodology and key techniquesin the object-oriented spatial data modeling were proposed for the coalfield geological environment.The model building process was developed using object-oriented technologyand the Unified Modeling Language (UML) on the platform of ESRI geodatabase datamodels.A case study of spatial data modeling in UML was presented with successful implementationin the spatial database of the coalfield geological environment.The modelbuilding and implementation provided an effective way of representing the complexity andspecificity of coalfield geological environment spatial data and an integrated managementof spatial and property data.展开更多
This paper presents a multi-scale experimental investigation of the weathering degradation of red mudstone.Natural rocks were extracted from the surface ground to 120 m,inwhich three sets of samples were selected to c...This paper presents a multi-scale experimental investigation of the weathering degradation of red mudstone.Natural rocks were extracted from the surface ground to 120 m,inwhich three sets of samples were selected to consider the different initial rock fabrics.The long-term relative humidity(RH)cycles under two amplitudes were imposed on red mudstone to simulate the weathering process.After RH cycles,a series of uniaxial compression tests,Brazilian splitting tests and bender-extender element tests were carried out to examine the reduction in strength and stiffness.The objective of this study is to develop an extended stress-volume framework characterizing the degradation of natural red mudstone both at microscale and macroscale.Accompanied by the irreversible swelling of the rock specimen is the progressive degradation of strength,stiffness and Poisson's ratio.A unified exponential degradation model in terms of the irreversible volumetric strain was thus proposed to capture such a degradation pattern.The effect of the initial rock fabric was evident.The highest degradation rate and potential were identified in slightly weathered specimens.Significant slaking of aggregates and crack propagation were confirmed by scanning electron microscope(SEM)micrographs,which were considered as the main consequence of structure damage leading to degradation of mechanical properties.The structure damage during RH cycles denoted the hysteresis nature in the response to the cycling hydraulic reaction,in turn causing the increase in volumetric strain.Thus,the stress-volume relation rather than the suction relation was found in more reasonable agreement with the experimental results.展开更多
As the main component of computer integrated manufacturing system (CIMS), flexible manufacturing system (FMS) should be an open system with reusability and extenchaility. Moreover, as FMS is a complex asynchronous con...As the main component of computer integrated manufacturing system (CIMS), flexible manufacturing system (FMS) should be an open system with reusability and extenchaility. Moreover, as FMS is a complex asynchronous concurrent system, its model also should have the abilities to express the concurrency in the system and to analyze the behavior of the system. It is difficult to use any one method to model such a complex system as FMS. A modeling method using Object-oriented modeling language-unified modeling language (UML) and object-Oriented Petri nets (OPNs) is proposed. Class diagram in UML is used to represent the static relations among the objects in FMS. OPNs are used to model the dynamic behavior of the objects and conduct performance analysis. OPNs also can be used to identify the attributes and operations of the objects. The model can describe the system integrally and can be used to design FMS control software naturally.展开更多
The discovery and large-scale exploration of unconventional oil/gas resources since 1980s have been considered as the most important advancement in the history of petroleum geology;that has not only changed the balanc...The discovery and large-scale exploration of unconventional oil/gas resources since 1980s have been considered as the most important advancement in the history of petroleum geology;that has not only changed the balance of supply and demand in the global energy market,but also improved our understanding of the formation mechanisms and distribution characteristics of oil/gas reservoirs.However,what is the difference of conventional and unconventional resources and why they always related to each other in petroliferous basins is not clear.As the differences and correlations between unconventional and conventional resources are complex challenging issues and very critical for resources assessment and hydrocarbon exploration,this paper focused on studying the relationship of formations and distributions among different oil/gas reservoirs.Drilling results of 12,237 exploratory wells in 6 representative petroliferous basins of China and distribution characteristics for 52,926 oil/gas accumulations over the world were applied to clarify the formation conditions and genetic relations of different oil/gas reservoirs in a petroliferous basin,and then to establish a unified model to address the differences and correlations of conventional and unconventional reservoirs.In this model,conventional reservoirs formed in free hydrocarbon dynamic field with high porosity and permeability located above the boundary of hydrocarbon buoyancy-driven accumulation depth limit.Unconventional tight reservoirs formed in confined hydrocarbon dynamic field with low porosity and permeability located between hydrocarbon buoyancy-driven accumulation depth limit and hydrocarbon accumulation depth limit.Shale oil/gas reservoirs formed in the bound hydrocarbon dynamic field with low porosity and ultra-low permeability within the source rock layers.More than 75%of proved reserves around the world are discovered in the free hydrocarbon dynamic field,which is estimated to contain only 10%of originally generated hydrocarbons.Most of undiscovered resources distributed in the confined hydrocarbon dynamic field and the bound hydrocarbon dynamic field,which contains 90%of original generated hydrocarbons,implying a reasonable and promising area for future hydrocarbon explorations.The buried depths of hydrocarbon dynamic fields become shallow with the increase of heat flow,and the remaining oil/gas resources mainly exist in the deep area of“cold basin”with low geothermal gradient.Lithology changing in the hydrocarbon dynamic field causes local anomalies in the oil/gas dynamic mechanism,leading to the local formation of unconventional hydrocarbon reservoirs in the free hydrocarbon dynamic field or the occurrence of oil/gas enrichment sweet points with high porosity and permeability in the confined hydrocarbon dynamic field.The tectonic movements destroy the medium conditions and oil/gas components,which leads to the transformation of conventional oil/gas reservoirs formed in free hydrocarbon dynamic field to unconventional ones or unconventional ones formed in confined and bound hydrocarbon dynamic fields to conventional ones.展开更多
Fibre-reinforced polymer(FRP)has the advantages of high strength,light weight,corrosion resistance and convenient construction and is widely used in repairing and strengthening damaged concrete columns.Most of the exi...Fibre-reinforced polymer(FRP)has the advantages of high strength,light weight,corrosion resistance and convenient construction and is widely used in repairing and strengthening damaged concrete columns.Most of the existing strength models were built by regression analysis of experimental data;however,in this article,a new unified strength model is proposed using the Hoek-Brown failure criterion.To study the strength of FRP-confined damaged and undamaged concrete columns,900 test data were collected from the published literature and a large database that contains the cross-sectional shape of each specimen,the damage type,the damage level and the FRP-confined stiffness was established.A new strength model using the Hoek-Brown failure criterion was established and is suitable for both circular and square columns that are undamaged,load-damaged and fire-damaged.Based on the database,most of the existing strength models from the published literature and the model proposed in this paper were evaluated.The evaluation shows that the proposed model can predict the compressive strength for FRP-confined pre-damaged and undamaged concrete columns with good accuracy.展开更多
Stress relaxation ageing behavior of pre-deformed AA2219 is studied through stress relaxation age experiments and finite element(FE)simulation.The results show that the stress can promote the process of ageing precipi...Stress relaxation ageing behavior of pre-deformed AA2219 is studied through stress relaxation age experiments and finite element(FE)simulation.The results show that the stress can promote the process of ageing precipitation,and shorten the time to reach the peak strength.Meanwhile,the residual stress and yield strength increase along with the increase in the initial stress.Based on microstructure evolution and ageing strengthening theory,a unified constitutive model is established and incorporated into the FE simulation model through a user subroutine.It is found that the relative error of the radius is 3.6%compared with the experimental result and the springback is 16.8%.This indicates that the proposed stress relaxation ageing constitutive model provides a good prediction on the springback of such stiffened panel during its ageing process.展开更多
We propose a unified thermodynamic model of flow-induced crystallization of polymer(uFIC),which incorporates not only the conformational entropy reduction but also the contributions of flow-induced chain orientation,t...We propose a unified thermodynamic model of flow-induced crystallization of polymer(uFIC),which incorporates not only the conformational entropy reduction but also the contributions of flow-induced chain orientation,the interaction of ordered segments,and the free energy of crystal nucleus and crystal morphology.Specifically,it clarifies the determining parameters of the critical crystal nucleus size,and is able to account for the acceleration of nucleation,the emergence of precursor,different crystal morphologies and structures induced by flow.Based on the nucleation barrier under flow,we analyze at which condition precursor may occur and how flow affects the competition among different crystal forms such as orthorhombic and hexagonal phases of polyethylene.According to the uFIC model,the different crystal morphologies and structures in the flow-temperature space have been clarified,which give a good agreement with experiments of FIC.展开更多
The UK Met Office Unified Model（UM） is employed by many weather forecasting agencies around the globe. This model is designed to run across spatial and time scales and known to produce skillful predictions for large...The UK Met Office Unified Model（UM） is employed by many weather forecasting agencies around the globe. This model is designed to run across spatial and time scales and known to produce skillful predictions for large-scale weather systems. However, the model has only recently begun running operationally at horizontal grid spacings of ～1.5 km [e.g.,at the UK Met Office and the Korea Meteorological Administration（KMA）]. As its microphysics scheme was originally designed and tuned for large-scale precipitation systems, we investigate the performance of UM microphysics to determine potential inherent biases or weaknesses. Two rainfall cases from the KMA forecasting system are considered in this study： a Changma（quasi-stationary） front, and Typhoon Sanba（2012）. The UM output is compared to polarimetric radar observations in terms of simulated polarimetric radar variables. Results show that the UM generally underpredicts median reflectivity in stratiform rain, producing high reflectivity cores and precipitation gaps between them. This is partially due to the diagnostic rain intercept parameter formulation used in the one-moment microphysics scheme. Model drop size is generally both underand overpredicted compared to observations. UM frozen hydrometeors favor generic ice（crystals and snow） rather than graupel, which is reasonable for Changma and typhoon cases. The model performed best with the typhoon case in terms of simulated precipitation coverage.展开更多
基金supported by National Natural Science Foundation of China(Nos.U20B2055 and 61525301)Graduate Research Innovation Projects of Hunan Province,China(No.CX20210013)。
文摘To solve the problem that external systematic errors of the optical camera cannot be fully estimated due to limited computing resources,a unified dimensionality reduction representation method for the external systematic errors of the optical camera is proposed,and autonomous relative optical navigation is realized.The camera translational and misalignment errors are converted into a three-dimensional rotation error,whose differential model can be established through specific attitude control and appropriate assumption.Then,the rotation error and the relative motion state are jointly estimated in an augmented Kalman filter framework.Compared with the traditional method that estimates the camera translational and misalignment errors,the proposed method reduces the computational complexity in that the estimated state dimension is reduced.Furthermore,as demonstrated by numerical simulation,the estimation accuracy is improved significantly.
基金Project(BK2012812)supported by the Natural Science Foundation of Jiangsu Province,ChinaProject(51079053)supported by the National Natural Science Foundation of China+2 种基金Project(KYLX_0493)supported by the Scientific Research and Innovation Program for College Graduates of Jiangsu Province,ChinaProject(2014B38814)supported by the Fundamental Research Funds for Central Universities,ChinaProject(2014.1526)supported by the Open Research Fund Program of Key Laboratory of Geological Information of Ministry of Land and Resources,China
文摘For the interaction relation between geological object and engineering object in some fields related to water conservancy and hydropower, a unified modeling idea was proposed. On the basis of summarizing both advantages and disadvantages of existing modeling methods, an automatic unified modeling method of both engineering and geological objects based on tri-prism(TP) model was presented. Through the lossless correction algorithm of deviated drill holes contained in this method, the real deviated drill holes could be corrected into the equivalent virtual vertical ones. And the correction accuracy fully meets the requirements of unified modeling. With the virtual vertical drilling data, TIN construction of both cover layer and other stratums would be built in order to obtain the 3D geological model. Then, the engineering design data would be introduced into the 3D geological model for achieving unified modeling. For this process, the volume subdividing and restructuring principles were introduced to deal with the spatial relationships between engineering object and geological object. In order to improve the efficiency of unified modeling, the reconstruction of TIN based on constraint information was also applied in this method. At last, the feasibility and validation of the unified modeling method as well as its relevant key algorithms were verified by specific experiments and analysis of results.
文摘This research paper defines the theoretical foundations and computational implementation of a non-conventional modeling and simulation methodology,inspired by the needs of problem solving for biological,agricultural,aquacultural and environmental systems.The challenging practical problem is to develop a framework for automatic generation of causally right and balance-based,unified models that can also be applied for the effective coupling amongst the various(sophisticated field-specific,sensor data processing-based,upper level optimization-driven,etc.)models.The scientific problem addressed in this innovation is to develop Programmable Process Structures(PPS)by combining functional basis of systems theory,structural approach of net theory and computational principles of agent based modeling.PPS offers a novel framework for the automatic generation of easily extensible and connectible,unified models for the underlying complex systems.PPS models can be generated from one state and one transition meta-prototypes and from the transition oriented description of process structure.The models consist of unified state and transition elements.The local program containing prototype elements,derived also from the meta-prototypes,are responsible for the case-specific calculations.The integrity and consistency of PPS architecture are based on the meta-prototypes,prepared to distinguish between the conservation-laws-based measures and the signals.The simulation is based on data flows amongst the state and transition elements,as well as on the unification based data transfer between these elements and their calculating prototypes.This architecture and its AI language-based(Prolog)implementation support the integration of various field-and task-specific models,conveniently.The better understanding is helped by a simple example.The capabilities of the recently consolidated general methodology are discussed on the basis of some preliminary applications,focusing on the recently studied agricultural and aquacultural cases.
基金supported By Grant (PLN2022-14) of State Key Laboratory of Oil and Gas Reservoir Geology and Exploitation (Southwest Petroleum University)。
文摘Well logging technology has accumulated a large amount of historical data through four generations of technological development,which forms the basis of well logging big data and digital assets.However,the value of these data has not been well stored,managed and mined.With the development of cloud computing technology,it provides a rare development opportunity for logging big data private cloud.The traditional petrophysical evaluation and interpretation model has encountered great challenges in the face of new evaluation objects.The solution research of logging big data distributed storage,processing and learning functions integrated in logging big data private cloud has not been carried out yet.To establish a distributed logging big-data private cloud platform centered on a unifi ed learning model,which achieves the distributed storage and processing of logging big data and facilitates the learning of novel knowledge patterns via the unifi ed logging learning model integrating physical simulation and data models in a large-scale functional space,thus resolving the geo-engineering evaluation problem of geothermal fi elds.Based on the research idea of“logging big data cloud platform-unifi ed logging learning model-large function space-knowledge learning&discovery-application”,the theoretical foundation of unified learning model,cloud platform architecture,data storage and learning algorithm,arithmetic power allocation and platform monitoring,platform stability,data security,etc.have been carried on analysis.The designed logging big data cloud platform realizes parallel distributed storage and processing of data and learning algorithms.The feasibility of constructing a well logging big data cloud platform based on a unifi ed learning model of physics and data is analyzed in terms of the structure,ecology,management and security of the cloud platform.The case study shows that the logging big data cloud platform has obvious technical advantages over traditional logging evaluation methods in terms of knowledge discovery method,data software and results sharing,accuracy,speed and complexity.
基金supported by the King Fahd University of Petroleum and Minerals,Saudi Arabia(No.IN100046)
文摘The unified modeling language(UML) is one of the most commonly used modeling languages in the software industry.It simplifies the complex process of design by providing a set of graphical notations,which helps express the objectoriented analysis and design of software projects.Although UML is applicable to different types of systems,domains,methods,and processes,it cannot express certain problem domain needs.Therefore,many extensions to UML have been proposed.In this paper,we propose a framework for integrating the UML extensions and then use the framework to propose an integrated unified modeling language-graphical(iUML-g) form.iUML-g integrates the existing UML extensions into one integrated form.This includes an integrated diagram for UML class,sequence,and use case diagrams.The proposed approach is evaluated using a case study.The proposed iUML-g is capable of modeling systems that use different domains.
基金Project partially supported by the Strategic Grants POSDRU/88/1.5/S/50783 Project (No.50783,2009),POSDRU/107/1.5/S/77265 Project (No.77265,2010),Romaniathe European Social Fund for Investing in People, within the Sectoral Operational Programme Human Resources Development 2007-2013
文摘Cyber physical systems (CPSs) can be found nowadays in various fields of activity. The increased interest for these systems as evidenced by the large number of applications led to complex research regarding the most suitable methods for design and development. A promising solution for specification, visualization, and documentation of CPSs uses the Object Management Group (OMG) unified modeling language (UML). UML models allow an intuitive approach for embedded systems design, helping end-users to specify the requirements. However, the UML models are represented in an informal language. Therefore, it is difficult to verify the correctness and completeness of a system design. The object constraint language (OCL) was defined to add constraints to UML, but it is deficient in strict notations of mathematics and logic that permits rigorous analysis and reasoning about the specifications. In this paper, we investigated how CPS applications modeled using UML deployment diagrams could be formally expressed and verified. We used Z language constructs and prototype verification system (PVS) as formal verification tools. Considering some relevant case studies presented in the literature, we investigated the opportunity of using this approach for validation of static properties in CPS UML models.
基金supported in part by the Gusu Innovation and Entrepreneurship Leading Talents in Suzhou City,grant numbers ZXL2021425 and ZXL2022476Doctor of Innovation and Entrepreneurship Program in Jiangsu Province,grant number JSSCBS20211440+6 种基金Jiangsu Province Key R&D Program,grant number BE2019682Natural Science Foundation of Jiangsu Province,grant number BK20200214National Key R&D Program of China,grant number 2017YFB0403701National Natural Science Foundation of China,grant numbers 61605210,61675226,and 62075235Youth Innovation Promotion Association of Chinese Academy of Sciences,grant number 2019320Frontier Science Research Project of the Chinese Academy of Sciences,grant number QYZDB-SSW-JSC03Strategic Priority Research Program of the Chinese Academy of Sciences,grant number XDB02060000.
文摘The prediction of fundus fluorescein angiography(FFA)images from fundus structural images is a cutting-edge research topic in ophthalmological image processing.Prediction comprises estimating FFA from fundus camera imaging,single-phase FFA from scanning laser ophthalmoscopy(SLO),and three-phase FFA also from SLO.Although many deep learning models are available,a single model can only perform one or two of these prediction tasks.To accomplish three prediction tasks using a unified method,we propose a unified deep learning model for predicting FFA images from fundus structure images using a supervised generative adversarial network.The three prediction tasks are processed as follows:data preparation,network training under FFA supervision,and FFA image prediction from fundus structure images on a test set.By comparing the FFA images predicted by our model,pix2pix,and CycleGAN,we demonstrate the remarkable progress achieved by our proposal.The high performance of our model is validated in terms of the peak signal-to-noise ratio,structural similarity index,and mean squared error.
基金Aeronautical Basic Science Foundation of China (03H53048)
文摘This article presents a micro-macro unified model for predicting the deformation of metal matrix composites （MMCs）. A macro-scale model is developed to obtain the proper boundary conditions for the micro-scale model, which is used to assess the microstructural deformation of materials. The usage of the submodel technique in the analysis makes it possible to shed light on the stress and strain field at the microlevel. This is helpful to investigate the linkage between the microscopic and the macroscopic flow behavior of the composites. An iterative procedure is also proposed to find out the optimum parameters. The results show that the convergence can be attained after three iterations in computation. In order to demonstrate the reliability of mi- cro-macro unified model, results based on the continuum composite model are also investigated using the stress-strain relation of composite obtained from the iterations. By comparing the proposed unified model to the continuum composite model, it is clear that the former exhibits large plastic deformation in the case of little macroscopic deformation, and the stresses and strains obtained from the submodel are higher than those from the macroscopic deformation.
文摘The capability requirements of the command, control, communication, computing, intelligence, surveillance, reconnaissance （C41SR） systems are full of uncertain and vague information, which makes it difficult to model the C41SR architecture. The paper presents an approach to modeling the capability requirements with the fuzzy unified modeling language （UML） and building domain ontologies with fuzzy description logic （DL）. The UML modeling constructs are extended according to the meta model of Depart- ment of Defense Architecture Framework to improve their domain applicability, the fuzzy modeling mechanism is introduced to model the fuzzy efficiency features of capabilities, and the capability requirement models are converted into ontologies formalized in fuzzy DL so that the model consistency and reasonability can be checked with a DL reasoning system. Finally, a case study of C41SR capability requirements model checking is provided to demonstrate the availability and applicability of the method.
文摘In order to provide a quantitative analysis and verification method for activity diagrams based business process modeling, a formal definition of activity diagrams is introduced. And the basic requirements for activity diagrams based business process models are proposed. Furthermore, the standardized transformation technique between business process models and basic Petri nets is presented and the analysis method for the soundness and well-structured properties of business processes is introduced.
文摘The current standard Unified Modeling Language(UML) could not model framework flexibility and extendibility adequately due to lack of appropriate constructs to distinguish framework hot-spots from kernel elements. A new UML profile that may customize UML for framework modeling was presented using the extension mechanisms of UML, providing a group of UML extensions to meet the needs of framework modeling. In this profile, the extended class diagrams and sequence diagrams were defined to straightforwardly identify the hot-spots and describe their instantiation restrictions. A transformation model based on design patterns was also put forward, such that the profile based framework design diagrams could be automatically mapped to the corresponding implementation diagrams. It was proved that the presented profile makes framework modeling more straightforwardly and therefore easier to understand and instantiate.
基金supported by #NEXTGENERATIONEU(NGEU)and funded by the Ministry of University and Research(MUR),National Recovery and Resilience Plan(NRRP),project MNESYS(PE0000006)-(DN.155311.10.2022)supported by Sapienza Grant 2021(RM12117A60BDF685).
文摘Background Non-suicidal self-injury(NSSI)is a significant health concern among adolescents and young adults,often resulting from adverse childhood experiences(ACEs).Dissociation,post-traumatic symptoms and attachment style may have a role in shaping such associations.Aims This study aims to provide a unified model of the impact of ACEs on NSSI,exploring complex post-traumatic stress disorder(cPTSD)symptoms and dissociation as potential mediators and the role of the predominant attachment style in affecting such associations.Methods 1010 young individuals attending the last year of high school participated in this cross-sectional study.ACEs,cPTSD,dissociation and NSSI were evaluated using self-report questionnaires.We fitted a path model of NSSI,with ACEs as exogenous variables and cPTSD and dissociation as sequential mediators.Secure,fearful and preoccupied attachment styles were modelled as grouping variables.Results Our findings showed that dissociation mediated the impact of ACEs on NSSI in subjects with a fearful attachment style,as opposed to those with a preoccupied attachment for whom cPTSD symptoms mediated the ACEs-NSSI association.Conclusions Attachment styles moderate the relationship between ACEs and NSSI,with either dissociation or post-traumatic symptomatology mediating the impact of ACEs on NSSI,depending on the predominant attachment style.Our results highlight the importance of attachment as a pathway modifier in the relationships between different psychopathology dimensions,providing a useful framework to better conceptualise the ACEs-NSSI association.
基金Supported by the Natural Science Foundation of Shanxi Province(2008011028-2)
文摘Presented a study on the design and implementation of spatial data modelingand application in the spatial data organization and management of a coalfield geologicalenvironment database.Based on analysis of a number of existing data models and takinginto account the unique data structure and characteristic, methodology and key techniquesin the object-oriented spatial data modeling were proposed for the coalfield geological environment.The model building process was developed using object-oriented technologyand the Unified Modeling Language (UML) on the platform of ESRI geodatabase datamodels.A case study of spatial data modeling in UML was presented with successful implementationin the spatial database of the coalfield geological environment.The modelbuilding and implementation provided an effective way of representing the complexity andspecificity of coalfield geological environment spatial data and an integrated managementof spatial and property data.
基金The financial support from Project(Grant Nos.52278432,and 52168066)of National Natural Science Foundation of China and Project(Grant No.K2023G033)of the Science and Technology Research and Development Plan of China National Railway Group Co.,Ltd.were greatly appreciated.
文摘This paper presents a multi-scale experimental investigation of the weathering degradation of red mudstone.Natural rocks were extracted from the surface ground to 120 m,inwhich three sets of samples were selected to consider the different initial rock fabrics.The long-term relative humidity(RH)cycles under two amplitudes were imposed on red mudstone to simulate the weathering process.After RH cycles,a series of uniaxial compression tests,Brazilian splitting tests and bender-extender element tests were carried out to examine the reduction in strength and stiffness.The objective of this study is to develop an extended stress-volume framework characterizing the degradation of natural red mudstone both at microscale and macroscale.Accompanied by the irreversible swelling of the rock specimen is the progressive degradation of strength,stiffness and Poisson's ratio.A unified exponential degradation model in terms of the irreversible volumetric strain was thus proposed to capture such a degradation pattern.The effect of the initial rock fabric was evident.The highest degradation rate and potential were identified in slightly weathered specimens.Significant slaking of aggregates and crack propagation were confirmed by scanning electron microscope(SEM)micrographs,which were considered as the main consequence of structure damage leading to degradation of mechanical properties.The structure damage during RH cycles denoted the hysteresis nature in the response to the cycling hydraulic reaction,in turn causing the increase in volumetric strain.Thus,the stress-volume relation rather than the suction relation was found in more reasonable agreement with the experimental results.
基金This project is supported by National Natural Science Foundation of China !(59889505)
文摘As the main component of computer integrated manufacturing system (CIMS), flexible manufacturing system (FMS) should be an open system with reusability and extenchaility. Moreover, as FMS is a complex asynchronous concurrent system, its model also should have the abilities to express the concurrency in the system and to analyze the behavior of the system. It is difficult to use any one method to model such a complex system as FMS. A modeling method using Object-oriented modeling language-unified modeling language (UML) and object-Oriented Petri nets (OPNs) is proposed. Class diagram in UML is used to represent the static relations among the objects in FMS. OPNs are used to model the dynamic behavior of the objects and conduct performance analysis. OPNs also can be used to identify the attributes and operations of the objects. The model can describe the system integrally and can be used to design FMS control software naturally.
基金the Joint Fund of the National Natural Science Foundation of China under funding number of U19B6003-02-04the fund of A Theoretical Study of Marine Petroliferous System,Sichuan Basin,and the Science Foundation of China University of Petroleum,Beijing under funding number of 2462020BJRC005.
文摘The discovery and large-scale exploration of unconventional oil/gas resources since 1980s have been considered as the most important advancement in the history of petroleum geology;that has not only changed the balance of supply and demand in the global energy market,but also improved our understanding of the formation mechanisms and distribution characteristics of oil/gas reservoirs.However,what is the difference of conventional and unconventional resources and why they always related to each other in petroliferous basins is not clear.As the differences and correlations between unconventional and conventional resources are complex challenging issues and very critical for resources assessment and hydrocarbon exploration,this paper focused on studying the relationship of formations and distributions among different oil/gas reservoirs.Drilling results of 12,237 exploratory wells in 6 representative petroliferous basins of China and distribution characteristics for 52,926 oil/gas accumulations over the world were applied to clarify the formation conditions and genetic relations of different oil/gas reservoirs in a petroliferous basin,and then to establish a unified model to address the differences and correlations of conventional and unconventional reservoirs.In this model,conventional reservoirs formed in free hydrocarbon dynamic field with high porosity and permeability located above the boundary of hydrocarbon buoyancy-driven accumulation depth limit.Unconventional tight reservoirs formed in confined hydrocarbon dynamic field with low porosity and permeability located between hydrocarbon buoyancy-driven accumulation depth limit and hydrocarbon accumulation depth limit.Shale oil/gas reservoirs formed in the bound hydrocarbon dynamic field with low porosity and ultra-low permeability within the source rock layers.More than 75%of proved reserves around the world are discovered in the free hydrocarbon dynamic field,which is estimated to contain only 10%of originally generated hydrocarbons.Most of undiscovered resources distributed in the confined hydrocarbon dynamic field and the bound hydrocarbon dynamic field,which contains 90%of original generated hydrocarbons,implying a reasonable and promising area for future hydrocarbon explorations.The buried depths of hydrocarbon dynamic fields become shallow with the increase of heat flow,and the remaining oil/gas resources mainly exist in the deep area of“cold basin”with low geothermal gradient.Lithology changing in the hydrocarbon dynamic field causes local anomalies in the oil/gas dynamic mechanism,leading to the local formation of unconventional hydrocarbon reservoirs in the free hydrocarbon dynamic field or the occurrence of oil/gas enrichment sweet points with high porosity and permeability in the confined hydrocarbon dynamic field.The tectonic movements destroy the medium conditions and oil/gas components,which leads to the transformation of conventional oil/gas reservoirs formed in free hydrocarbon dynamic field to unconventional ones or unconventional ones formed in confined and bound hydrocarbon dynamic fields to conventional ones.
基金Project(2017M622540)supported by the China Postdoctoral Science FoundationProject(51808419)supported by the National Natural Science Foundation of China+1 种基金Project(2019CFB217)supported by the National Natural Science Foundation of Hubei Province,ChinaProject(201623)supported by the Science and Technology Project of Wuhan Urban and Rural Construction Committee,China。
文摘Fibre-reinforced polymer(FRP)has the advantages of high strength,light weight,corrosion resistance and convenient construction and is widely used in repairing and strengthening damaged concrete columns.Most of the existing strength models were built by regression analysis of experimental data;however,in this article,a new unified strength model is proposed using the Hoek-Brown failure criterion.To study the strength of FRP-confined damaged and undamaged concrete columns,900 test data were collected from the published literature and a large database that contains the cross-sectional shape of each specimen,the damage type,the damage level and the FRP-confined stiffness was established.A new strength model using the Hoek-Brown failure criterion was established and is suitable for both circular and square columns that are undamaged,load-damaged and fire-damaged.Based on the database,most of the existing strength models from the published literature and the model proposed in this paper were evaluated.The evaluation shows that the proposed model can predict the compressive strength for FRP-confined pre-damaged and undamaged concrete columns with good accuracy.
基金Project(2017YFB0306300)supported by the National Key Research and Development Program of ChinaProject(2014CB046602)supported by the National Basic Research Program of China+1 种基金Project(20120162110003)supported by Specialized Research Fund for the Doctoral Program of Higher Education of ChinaProject(51235010)supported by the National Natural Science Foundation of China
文摘Stress relaxation ageing behavior of pre-deformed AA2219 is studied through stress relaxation age experiments and finite element(FE)simulation.The results show that the stress can promote the process of ageing precipitation,and shorten the time to reach the peak strength.Meanwhile,the residual stress and yield strength increase along with the increase in the initial stress.Based on microstructure evolution and ageing strengthening theory,a unified constitutive model is established and incorporated into the FE simulation model through a user subroutine.It is found that the relative error of the radius is 3.6%compared with the experimental result and the springback is 16.8%.This indicates that the proposed stress relaxation ageing constitutive model provides a good prediction on the springback of such stiffened panel during its ageing process.
基金financially supported by the National Natural Science Foundation of China(Nos.51890872 and 51633009)the National Key R&D Program of China(2018YFB0704200)。
文摘We propose a unified thermodynamic model of flow-induced crystallization of polymer(uFIC),which incorporates not only the conformational entropy reduction but also the contributions of flow-induced chain orientation,the interaction of ordered segments,and the free energy of crystal nucleus and crystal morphology.Specifically,it clarifies the determining parameters of the critical crystal nucleus size,and is able to account for the acceleration of nucleation,the emergence of precursor,different crystal morphologies and structures induced by flow.Based on the nucleation barrier under flow,we analyze at which condition precursor may occur and how flow affects the competition among different crystal forms such as orthorhombic and hexagonal phases of polyethylene.According to the uFIC model,the different crystal morphologies and structures in the flow-temperature space have been clarified,which give a good agreement with experiments of FIC.
基金supported by a research grant of “Development of a Polarimetric Radar Data Simulator for Local Forecasting Model (Ⅱ)” by the KMAsupport was provided by a NOAA Warn-on-Forecast grant (Grant No. NA16OAR4320115)a National Science Foundation grant (Grant No. AGS-1261776)
文摘The UK Met Office Unified Model（UM） is employed by many weather forecasting agencies around the globe. This model is designed to run across spatial and time scales and known to produce skillful predictions for large-scale weather systems. However, the model has only recently begun running operationally at horizontal grid spacings of ～1.5 km [e.g.,at the UK Met Office and the Korea Meteorological Administration（KMA）]. As its microphysics scheme was originally designed and tuned for large-scale precipitation systems, we investigate the performance of UM microphysics to determine potential inherent biases or weaknesses. Two rainfall cases from the KMA forecasting system are considered in this study： a Changma（quasi-stationary） front, and Typhoon Sanba（2012）. The UM output is compared to polarimetric radar observations in terms of simulated polarimetric radar variables. Results show that the UM generally underpredicts median reflectivity in stratiform rain, producing high reflectivity cores and precipitation gaps between them. This is partially due to the diagnostic rain intercept parameter formulation used in the one-moment microphysics scheme. Model drop size is generally both underand overpredicted compared to observations. UM frozen hydrometeors favor generic ice（crystals and snow） rather than graupel, which is reasonable for Changma and typhoon cases. The model performed best with the typhoon case in terms of simulated precipitation coverage.
