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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
文摘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.
基金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.
基金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.
文摘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.
基金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.
文摘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.
文摘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.