An integration processing system of three-dimensional laser scanning information visualization in goaf was developed. It is provided with multiple functions, such as laser scanning information management for goaf, clo...An integration processing system of three-dimensional laser scanning information visualization in goaf was developed. It is provided with multiple functions, such as laser scanning information management for goaf, cloud data de-noising optimization, construction, display and operation of three-dimensional model, model editing, profile generation, calculation of goaf volume and roof area, Boolean calculation among models and interaction with the third party soft ware. Concerning this system with a concise interface, plentiful data input/output interfaces, it is featured with high integration, simple and convenient operations of applications. According to practice, in addition to being well-adapted, this system is favorably reliable and stable.展开更多
Nowadays, Model Driven Development (MDD) is a powerful technique for modelling complex systems and also for aligning business and information technology (IT), giving designers the ability to execute business models as...Nowadays, Model Driven Development (MDD) is a powerful technique for modelling complex systems and also for aligning business and information technology (IT), giving designers the ability to execute business models as they are intended to be run and behaved in the business environment. The Object Management Group (OMG) adopted many business standards into the Model Driven Architecture (MDA) environment e.g. Semantics of Business Vocabulary and Business Rules (SBVR), the Business Motivation Model (BMM), Business Process Modelling and Notation (BPMN) and Organisational Structure Model (OSM). These can work together to model different aspects of the enterprise at the business level. However, these models lack reasoning and dynamic simulation: there is no significant way to simulate discrete and continuous time system behaviour or to build arguments for reasoning about the design options within the OMG specifications. In this paper we propose an approach to overcoming this problem, by integrating a set of modelling tools into one single platform, taking advantage of meta-modelling techniques to integrate new tools with the OMG specifications in a model driven environment. The prospective framework should be able to tackle advanced analysis and design problems by intertwining design, reasoning and simulation to achieve a higher level of design maturity through implementing the desired scenario.展开更多
Reusing business process models and best practices can improve the productivity, quality and agility in the early development phases of enterprise software systems. To help developers reuse the business process models...Reusing business process models and best practices can improve the productivity, quality and agility in the early development phases of enterprise software systems. To help developers reuse the business process models and best practices, we propose a methodology and an integrated environment for business process modeling driven by the metamodel. Furthermore, we propose a process-template design method to unify the granularity and separate the commonality and variability of business processes so that business process models can be reused across different enterprise software systems. The proposed methodology enables to create reuse-oriented business process templates before the business process modeling. To support the proposed methodology, we developed an integrated environment for creating, reusing and verifying the business process models. As the key techniques, we describe the methodology and its integrated environment, including a metamodel and notations. We applied the methodology and integrated environment to an actual enterprise software development project, and evaluated that the productivity of business process modeling is improved by at least 46%. As the conclusion, this paper contributes to prove the effectiveness of the meta-model driven business process modeling methodology for the reuse of business process models.展开更多
This Automatic Speech Recognition (ASR) is the process which converts an acoustic signal captured by the microphone to written text. The motivation of the paper is to create a speech based Integrated Development Envir...This Automatic Speech Recognition (ASR) is the process which converts an acoustic signal captured by the microphone to written text. The motivation of the paper is to create a speech based Integrated Development Environment (IDE) for C program. This paper proposes a technique to facilitate the visually impaired people or the person with arm injuries with excellent programming skills that can code the C program through voice input. The proposed system accepts the C program as voice input and produces compiled C program as output. The user should utter each line of the C program through voice input. First the voice input is recognized as text. The recognized text will be converted into C program by using syntactic constructs of the C language. After conversion, C program will be fetched as input to the IDE. Furthermore, the IDE commands like open, save, close, compile, run are also given through voice input only. If any error occurs during the compilation process, the error is corrected through voice input only. The errors can be corrected by specifying the line number through voice input. Performance of the speech recognition system is analyzed by varying the vocabulary size as well as number of mixture components in HMM.展开更多
The integrated simulation and optimization technology of reservoir-wellbore-pipe network is developed to reflect the mutual influence and restriction among reservoir engineering,oil production engineering and surface ...The integrated simulation and optimization technology of reservoir-wellbore-pipe network is developed to reflect the mutual influence and restriction among reservoir engineering,oil production engineering and surface engineering,and to obtain the scheme with minimum conflict and optimal benefit in each step.This technology is based on the concept of global optimization to maximize production and profit,reduce costs and increase benefit.This paper elaborates the current situation of integrated simulation technology of reservoir-wellbore-pipe network both at home and abroad,discusses its correlation with the primary business of Sinopec and its development from three aspects of modeling,cloud platform and intellectualization.Suggestions on its future development are put forward from underlying data,software platform,popularization and application,and cross-border integration to provide means and guidance for the construction of intelligent oil and gas fields.The results show that the integrated simulation of reservoir-wellbore-pipe network can better reflect the optimization requirements of each step,avoid the ineffective operation of field equipment,and effectively improve the efficiency of research and management.Coupling solution,global optimization method and pressure fitting,which can make the simulation results reflect the real situation,are the key technologies for the network.The theoretical technology and main function research of integrated simulation technology have been mature,but the large-scale application and local function improvement of oil and gas fields are yet to be promoted.In the future,the integrated simulation of reservoir-wellbore-pipe network will develop from digitalization to modeling and intellectualization,from local simulation to cloud computing,and from manual intervention to intelligent decision-making.We suggest speeding up the construction of the unified database and model base of the whole underlying platform,strengthening the construction of software integration and integration platform with independent intellectual property rights,speeding up the popularization and application of intelligent oil and gas field demonstration projects,and strengthening the integration of oil and gas industry with artificial intelligence(AI),big data and block chain for its development.展开更多
TRISO-Model(tridimensional integrated software development model)是为处理软件开发的复杂性和动态性而提出的三维集成软件开发方法学,其中,多维模型之间的语义一致性维护以及对模型应用中公共操作部分的重用,提出了基于一致语义进...TRISO-Model(tridimensional integrated software development model)是为处理软件开发的复杂性和动态性而提出的三维集成软件开发方法学,其中,多维模型之间的语义一致性维护以及对模型应用中公共操作部分的重用,提出了基于一致语义进行模型管理的需求.给出了基于MDA(model driven architecture)进行模型管理的方法MDA-MMMethod(MDA based model management method),应用MDA的4层模型管理结构,基于MDA核心标准MOF(meta object facility)所提供的公共语义基础管理模型和元模型,MDA-MMMethod支持各种MDA模型操作标准实现在TRSIO-model应用中的重用.开发了相应的支持系统MDA-MMSystem(MDA based model management system),应用于SoftPM的项目实践中.与传统方法相比,模型应用的开发效率得到了显著提高,同时降低了开发成本.最后,给出了模型融合的应用实例介绍.展开更多
Inferring the fully qualified names(FQNs)of undeclared receiving objects and non-fully-qualified type names(non-FQNs)in partial code is critical for effectively searching,understanding,and reusing partial code.Existin...Inferring the fully qualified names(FQNs)of undeclared receiving objects and non-fully-qualified type names(non-FQNs)in partial code is critical for effectively searching,understanding,and reusing partial code.Existing type inference tools,such as COSTER and SNR,rely on a symbolic knowledge base and adopt a dictionary-lookup strategy to map simple names of undeclared receiving objects and non-FQNs to FQNs.However,building a symbolic knowledge base requires parsing compilable code files,which limits the collection of APIs and code contexts,resulting in out-of-vocabulary(OOV)failures.To overcome the limitations of a symbolic knowledge base for FQN inference,we implemented Ask Me Any Type(AMAT),a type of inference plugin embedded in web browsers and integrated development environment(IDE).Unlike the dictionary-lookup strategy,AMAT uses a cloze-style fill-in-the-blank strategy for type inference.By treating code as text,AMAT leverages a fine-tuned large language model(LLM)as a neural knowledge base,thereby preventing the need for code compilation.Experimental results show that AMAT outperforms state-of-the-art tools such as COSTER and SNR.In practice,developers can directly reuse partial code by inferring the FQNs of unresolved type names in real time.展开更多
The discipline of geography encompasses both natural and social sciences and has the natural advantage of enabling the study of sustainability from a transdisciplinary perspective.There are great opportunities for geo...The discipline of geography encompasses both natural and social sciences and has the natural advantage of enabling the study of sustainability from a transdisciplinary perspective.There are great opportunities for geographers to participate in sustainability research.However,while geographers have set sustainability goals,they have rarely clarified the details for reaching those goals.Current knowledge on the relationship between humans and the environment and the methodologies for studying this relationship are inadequate to solve the transdisciplinary questions in sustainability science.Five research areas:geographical processes;ecosystem services and human wellbeing;human-environmental systems;sustainable development;and geo-data and modelling for sustainability are proposed as those needed to help geography achieve sustainability.The key objective of promoting geography for sustainability is to reveal the mechanisms of human-environmental system dynamics.This depends on understanding the processes in the natural and social systems and their mutual feedback as well as clarifying the relationships between the structures,functional characteristics and interactions in the human-environmental systems at multiple scales.The advancement of geography and its methodologies and technologies will provide a more profound understanding of the future.Geographers have the responsibility of promoting the discipline as the key pathway for carrying natural and social sciences towards sustainability.展开更多
Urban-rural integration (URI) is a global challenge that is highly related to inequalities, poverty, economic growth, and other Sustainable Development Goals (SDGs). Existing research has evaluated the extent of URI a...Urban-rural integration (URI) is a global challenge that is highly related to inequalities, poverty, economic growth, and other Sustainable Development Goals (SDGs). Existing research has evaluated the extent of URI and explored its influencing factors, but urban-rural linkages are seldom incorporated in evaluation systems, and geographical factors are rarely recognized as the influencing factors. We construct a URI framework including regional economy, rural development, urban-rural linkage, and urban-rural gap. Based on a dataset consisting of 1,669 counties in China in 2020, we reveal the spatial pattern of URI and find a high correlation between the spatial pattern of URI and the relief degree of land surface (RDLS). Using structural equation modeling, we discover that topography has direct ( − 0.18, p < 0.001) and indirect ( − 0.17, p < 0.001) effects on URI. The indirect negative effects are mediated through the infrastructure, and the combination of localized advantages and modern technical conditions could mitigate the negative impact of topography. Finally, we identify 742 counties as lagging regions in URI, which can be clustered into eight types. Our findings could facilitate policy designing for those countries striving for integrated and sustainable development of urban and rural areas.展开更多
The measure of sustainable development has always been an important and difficulty subject, and the major evaluation model has three types: indicators based on system theory and methods, indicators relied on economic ...The measure of sustainable development has always been an important and difficulty subject, and the major evaluation model has three types: indicators based on system theory and methods, indicators relied on economic valuation of the environment, sustainability indicators including biophysical assessments. The ecological footprint analysis initiated by William E. Rees, one of the indicators including biophysical assessments, gets rid of the defects of the other models. Ecological footprint has gradually become popular on account of the measuring indexes based on scientific theory, innovative thought-way and its wide adaptability. This paper introduces the conception and computation method, making a progress and making up for the method of ecological footprint, and finally, makes an application analyses through Henan province regional sustainable development.展开更多
With the newly proposed Global Ocean Observing Integration, ocean observing scope has been expanded from the region to the global, therefore the need of large-scale ocean observing system integration has become more a...With the newly proposed Global Ocean Observing Integration, ocean observing scope has been expanded from the region to the global, therefore the need of large-scale ocean observing system integration has become more and more urgent. Currently, ocean observing systems enabled ocean sensor networks are commonly developed by different organizations using specific technologies and platforms, which brings several challenges in ocean observing instrument (OOI) access and ocean observing system seamless integration. Furthermore, the development of ocean observing systems often suffers from low efficiency due to the complex prograrmning and debugging process. To solve these problems, a novel model, Complex Virtual Instrument (CVI) Model, is proposed. The model provides formal definitions on observing instrument description file, CVI description file, model calculation method, development model and interaction standard. In addition, this model establishes mathematical expressions of two model calculation operations, meanwhile builds the mapping relationship between observing instrument description file and CVI description file. The CVI based on the new model can achieve automatic access to different OOIs, seamless integration and communication for heterogeneous environments, and further implement standardized data access and management for the global unified ocean observing network. Throughout the development, integration and application of such CVI, the rationality and feasibility of the model have been evaluated. The results confirm that the proposed model can effectively implement heterogeneous system integration, improve development efficiency, make full usage of reusable components, reduce development cost, and enhance overall software system quality. We believe that our new model has great significance to promote the large-scale ocean observing system integration.展开更多
Firstly, the development background of Ningbo Transportation Port & Shipping Industry is analyzed on a spatial scale. Based on that, the strategic goal of Ningbo transportation port Port & Shipping Industry is...Firstly, the development background of Ningbo Transportation Port & Shipping Industry is analyzed on a spatial scale. Based on that, the strategic goal of Ningbo transportation port Port & Shipping Industry is put forward, and strategic path analysis of strategic objectives is carried out. Finally, with the dynamic resource view, the strategic integration model of Ningbo Port & Shipping Industry is proposed.展开更多
基金Project(51274250)supported by the National Natural Science Foundation of ChinaProject(2012BAK09B02-05)supported by the National Key Technology R&D Program during the 12th Five-year Plan of China
文摘An integration processing system of three-dimensional laser scanning information visualization in goaf was developed. It is provided with multiple functions, such as laser scanning information management for goaf, cloud data de-noising optimization, construction, display and operation of three-dimensional model, model editing, profile generation, calculation of goaf volume and roof area, Boolean calculation among models and interaction with the third party soft ware. Concerning this system with a concise interface, plentiful data input/output interfaces, it is featured with high integration, simple and convenient operations of applications. According to practice, in addition to being well-adapted, this system is favorably reliable and stable.
文摘Nowadays, Model Driven Development (MDD) is a powerful technique for modelling complex systems and also for aligning business and information technology (IT), giving designers the ability to execute business models as they are intended to be run and behaved in the business environment. The Object Management Group (OMG) adopted many business standards into the Model Driven Architecture (MDA) environment e.g. Semantics of Business Vocabulary and Business Rules (SBVR), the Business Motivation Model (BMM), Business Process Modelling and Notation (BPMN) and Organisational Structure Model (OSM). These can work together to model different aspects of the enterprise at the business level. However, these models lack reasoning and dynamic simulation: there is no significant way to simulate discrete and continuous time system behaviour or to build arguments for reasoning about the design options within the OMG specifications. In this paper we propose an approach to overcoming this problem, by integrating a set of modelling tools into one single platform, taking advantage of meta-modelling techniques to integrate new tools with the OMG specifications in a model driven environment. The prospective framework should be able to tackle advanced analysis and design problems by intertwining design, reasoning and simulation to achieve a higher level of design maturity through implementing the desired scenario.
文摘Reusing business process models and best practices can improve the productivity, quality and agility in the early development phases of enterprise software systems. To help developers reuse the business process models and best practices, we propose a methodology and an integrated environment for business process modeling driven by the metamodel. Furthermore, we propose a process-template design method to unify the granularity and separate the commonality and variability of business processes so that business process models can be reused across different enterprise software systems. The proposed methodology enables to create reuse-oriented business process templates before the business process modeling. To support the proposed methodology, we developed an integrated environment for creating, reusing and verifying the business process models. As the key techniques, we describe the methodology and its integrated environment, including a metamodel and notations. We applied the methodology and integrated environment to an actual enterprise software development project, and evaluated that the productivity of business process modeling is improved by at least 46%. As the conclusion, this paper contributes to prove the effectiveness of the meta-model driven business process modeling methodology for the reuse of business process models.
文摘This Automatic Speech Recognition (ASR) is the process which converts an acoustic signal captured by the microphone to written text. The motivation of the paper is to create a speech based Integrated Development Environment (IDE) for C program. This paper proposes a technique to facilitate the visually impaired people or the person with arm injuries with excellent programming skills that can code the C program through voice input. The proposed system accepts the C program as voice input and produces compiled C program as output. The user should utter each line of the C program through voice input. First the voice input is recognized as text. The recognized text will be converted into C program by using syntactic constructs of the C language. After conversion, C program will be fetched as input to the IDE. Furthermore, the IDE commands like open, save, close, compile, run are also given through voice input only. If any error occurs during the compilation process, the error is corrected through voice input only. The errors can be corrected by specifying the line number through voice input. Performance of the speech recognition system is analyzed by varying the vocabulary size as well as number of mixture components in HMM.
基金funded by the SINOPEC Science and Technology Project(No.P18080).
文摘The integrated simulation and optimization technology of reservoir-wellbore-pipe network is developed to reflect the mutual influence and restriction among reservoir engineering,oil production engineering and surface engineering,and to obtain the scheme with minimum conflict and optimal benefit in each step.This technology is based on the concept of global optimization to maximize production and profit,reduce costs and increase benefit.This paper elaborates the current situation of integrated simulation technology of reservoir-wellbore-pipe network both at home and abroad,discusses its correlation with the primary business of Sinopec and its development from three aspects of modeling,cloud platform and intellectualization.Suggestions on its future development are put forward from underlying data,software platform,popularization and application,and cross-border integration to provide means and guidance for the construction of intelligent oil and gas fields.The results show that the integrated simulation of reservoir-wellbore-pipe network can better reflect the optimization requirements of each step,avoid the ineffective operation of field equipment,and effectively improve the efficiency of research and management.Coupling solution,global optimization method and pressure fitting,which can make the simulation results reflect the real situation,are the key technologies for the network.The theoretical technology and main function research of integrated simulation technology have been mature,but the large-scale application and local function improvement of oil and gas fields are yet to be promoted.In the future,the integrated simulation of reservoir-wellbore-pipe network will develop from digitalization to modeling and intellectualization,from local simulation to cloud computing,and from manual intervention to intelligent decision-making.We suggest speeding up the construction of the unified database and model base of the whole underlying platform,strengthening the construction of software integration and integration platform with independent intellectual property rights,speeding up the popularization and application of intelligent oil and gas field demonstration projects,and strengthening the integration of oil and gas industry with artificial intelligence(AI),big data and block chain for its development.
文摘TRISO-Model(tridimensional integrated software development model)是为处理软件开发的复杂性和动态性而提出的三维集成软件开发方法学,其中,多维模型之间的语义一致性维护以及对模型应用中公共操作部分的重用,提出了基于一致语义进行模型管理的需求.给出了基于MDA(model driven architecture)进行模型管理的方法MDA-MMMethod(MDA based model management method),应用MDA的4层模型管理结构,基于MDA核心标准MOF(meta object facility)所提供的公共语义基础管理模型和元模型,MDA-MMMethod支持各种MDA模型操作标准实现在TRSIO-model应用中的重用.开发了相应的支持系统MDA-MMSystem(MDA based model management system),应用于SoftPM的项目实践中.与传统方法相比,模型应用的开发效率得到了显著提高,同时降低了开发成本.最后,给出了模型融合的应用实例介绍.
基金Supported by the Key Scientific and Technological Research Projects of the Jiangxi Provincial Department of Education(GJJ2200303)the National Social Science Foundation Major Bidding Project(20&ZD068)。
文摘Inferring the fully qualified names(FQNs)of undeclared receiving objects and non-fully-qualified type names(non-FQNs)in partial code is critical for effectively searching,understanding,and reusing partial code.Existing type inference tools,such as COSTER and SNR,rely on a symbolic knowledge base and adopt a dictionary-lookup strategy to map simple names of undeclared receiving objects and non-FQNs to FQNs.However,building a symbolic knowledge base requires parsing compilable code files,which limits the collection of APIs and code contexts,resulting in out-of-vocabulary(OOV)failures.To overcome the limitations of a symbolic knowledge base for FQN inference,we implemented Ask Me Any Type(AMAT),a type of inference plugin embedded in web browsers and integrated development environment(IDE).Unlike the dictionary-lookup strategy,AMAT uses a cloze-style fill-in-the-blank strategy for type inference.By treating code as text,AMAT leverages a fine-tuned large language model(LLM)as a neural knowledge base,thereby preventing the need for code compilation.Experimental results show that AMAT outperforms state-of-the-art tools such as COSTER and SNR.In practice,developers can directly reuse partial code by inferring the FQNs of unresolved type names in real time.
基金funded by the National Key Research and Development Programme of China(No.2017YFA0604700)the National Natural Science Foundation of China(No.41991230)the Fundamental Research Funds for the Central Universities in China.
文摘The discipline of geography encompasses both natural and social sciences and has the natural advantage of enabling the study of sustainability from a transdisciplinary perspective.There are great opportunities for geographers to participate in sustainability research.However,while geographers have set sustainability goals,they have rarely clarified the details for reaching those goals.Current knowledge on the relationship between humans and the environment and the methodologies for studying this relationship are inadequate to solve the transdisciplinary questions in sustainability science.Five research areas:geographical processes;ecosystem services and human wellbeing;human-environmental systems;sustainable development;and geo-data and modelling for sustainability are proposed as those needed to help geography achieve sustainability.The key objective of promoting geography for sustainability is to reveal the mechanisms of human-environmental system dynamics.This depends on understanding the processes in the natural and social systems and their mutual feedback as well as clarifying the relationships between the structures,functional characteristics and interactions in the human-environmental systems at multiple scales.The advancement of geography and its methodologies and technologies will provide a more profound understanding of the future.Geographers have the responsibility of promoting the discipline as the key pathway for carrying natural and social sciences towards sustainability.
基金the National Natural Science Foundation of China(Grants No.T2261129477 and 41971220)the Strategic Priority Research Program of the Chinese Academy of Sciences(Grant No.XDA23070300).
文摘Urban-rural integration (URI) is a global challenge that is highly related to inequalities, poverty, economic growth, and other Sustainable Development Goals (SDGs). Existing research has evaluated the extent of URI and explored its influencing factors, but urban-rural linkages are seldom incorporated in evaluation systems, and geographical factors are rarely recognized as the influencing factors. We construct a URI framework including regional economy, rural development, urban-rural linkage, and urban-rural gap. Based on a dataset consisting of 1,669 counties in China in 2020, we reveal the spatial pattern of URI and find a high correlation between the spatial pattern of URI and the relief degree of land surface (RDLS). Using structural equation modeling, we discover that topography has direct ( − 0.18, p < 0.001) and indirect ( − 0.17, p < 0.001) effects on URI. The indirect negative effects are mediated through the infrastructure, and the combination of localized advantages and modern technical conditions could mitigate the negative impact of topography. Finally, we identify 742 counties as lagging regions in URI, which can be clustered into eight types. Our findings could facilitate policy designing for those countries striving for integrated and sustainable development of urban and rural areas.
文摘The measure of sustainable development has always been an important and difficulty subject, and the major evaluation model has three types: indicators based on system theory and methods, indicators relied on economic valuation of the environment, sustainability indicators including biophysical assessments. The ecological footprint analysis initiated by William E. Rees, one of the indicators including biophysical assessments, gets rid of the defects of the other models. Ecological footprint has gradually become popular on account of the measuring indexes based on scientific theory, innovative thought-way and its wide adaptability. This paper introduces the conception and computation method, making a progress and making up for the method of ecological footprint, and finally, makes an application analyses through Henan province regional sustainable development.
基金supported by the National Natural Science Foundation of China(Nos.41606112,61103196,61379127,61379128)the National High Technology Research and Development Program 863(No.2013AA09A506)
文摘With the newly proposed Global Ocean Observing Integration, ocean observing scope has been expanded from the region to the global, therefore the need of large-scale ocean observing system integration has become more and more urgent. Currently, ocean observing systems enabled ocean sensor networks are commonly developed by different organizations using specific technologies and platforms, which brings several challenges in ocean observing instrument (OOI) access and ocean observing system seamless integration. Furthermore, the development of ocean observing systems often suffers from low efficiency due to the complex prograrmning and debugging process. To solve these problems, a novel model, Complex Virtual Instrument (CVI) Model, is proposed. The model provides formal definitions on observing instrument description file, CVI description file, model calculation method, development model and interaction standard. In addition, this model establishes mathematical expressions of two model calculation operations, meanwhile builds the mapping relationship between observing instrument description file and CVI description file. The CVI based on the new model can achieve automatic access to different OOIs, seamless integration and communication for heterogeneous environments, and further implement standardized data access and management for the global unified ocean observing network. Throughout the development, integration and application of such CVI, the rationality and feasibility of the model have been evaluated. The results confirm that the proposed model can effectively implement heterogeneous system integration, improve development efficiency, make full usage of reusable components, reduce development cost, and enhance overall software system quality. We believe that our new model has great significance to promote the large-scale ocean observing system integration.
文摘Firstly, the development background of Ningbo Transportation Port & Shipping Industry is analyzed on a spatial scale. Based on that, the strategic goal of Ningbo transportation port Port & Shipping Industry is put forward, and strategic path analysis of strategic objectives is carried out. Finally, with the dynamic resource view, the strategic integration model of Ningbo Port & Shipping Industry is proposed.