Recent years,neural networks(NNs)have received increasing attention from both academia and industry.So far significant diversity among existing NNs as well as their hardware platforms makes NN programming a daunting t...Recent years,neural networks(NNs)have received increasing attention from both academia and industry.So far significant diversity among existing NNs as well as their hardware platforms makes NN programming a daunting task.In this paper,a domain-specific language(DSL)for NNs,neural network language(NNL)is proposed to deliver productivity of NN programming and portable performance of NN execution on different hardware platforms.The productivity and flexibility of NN programming are enabled by abstracting NNs as a directed graph of blocks.The language describes 4 representative and widely used NNs and runs them on 3 different hardware platforms(CPU,GPU and NN accelerator).Experimental results show that NNs written with the proposed language are,on average,14.5%better than the baseline implementations across these 3 platforms.Moreover,compared with the Caffe framework that specifically targets the GPU platform,the code can achieve similar performance.展开更多
Domain-specific metamodeling language(DSMML) defined by informal method cannot strictly represent its structural semantics,so its properties such as consistency cannot be holistically and systematically verified.In re...Domain-specific metamodeling language(DSMML) defined by informal method cannot strictly represent its structural semantics,so its properties such as consistency cannot be holistically and systematically verified.In response,the paper proposes a formal representation of the structural semantics of DSMML named extensible markup language(XML) based metamodeling language(XMML) and its metamodels consistency verification method.Firstly,we describe our approach of formalization,based on this,the method of consistency verification of XMML and its metamodels based on first-order logical inference is presented;then,the formalization automatic mapping engine for metamodels is designed to show the feasibility of our formal method.展开更多
在航空航天领域,系统的复杂度快速增长,这对基于模型的系统工程的开展带来巨大的挑战,尤以复杂系统的需求分析为甚。需求分析过程缺乏针对性的支持模型的工具。针对基于模型的系统工程中的这一问题,根据领域建模的思想,引入领域特定语言...在航空航天领域,系统的复杂度快速增长,这对基于模型的系统工程的开展带来巨大的挑战,尤以复杂系统的需求分析为甚。需求分析过程缺乏针对性的支持模型的工具。针对基于模型的系统工程中的这一问题,根据领域建模的思想,引入领域特定语言(domain specific language, DSL)的概念,提出一种构建DSL进行需求分析的方法,并针对基于模型的系统工程(model based system engineering, MBSE)中需求分析的需要构建相应的DSL。首先,从基于模型的系统工程方法论角度,对工程应用中的需求捕获与分解进行了分析;接着,通过扩展后的GOPPRR(graph object property port role relationship)元元模型依据需要,构建了DSL的具体语法与语义;最后,以具体的系统为例与系统建模语言分析方法做出了对比。结果表明,所构建的DSL在进行复杂系统的需求分析与建模时,与实际需要契合,在各个环节都具有针对性强、形式化的优点,有利于保证需求分析与建模工作的正确性。展开更多
Activity-oriented context-aware （AOCA） applications are representative in pervasive computing. These appli- cations recognize daily-life human activities, perceive the environment status related to the activities, a...Activity-oriented context-aware （AOCA） applications are representative in pervasive computing. These appli- cations recognize daily-life human activities, perceive the environment status related to the activities, and react to ensure the smooth performance of the activities. Existing research proposed a specific light-weight, incremental method to support the development of such applications; however it is not easy to learn and use. This paper aims to facilitate the development of such applications and improve the productivity of developers. We propose AocML, a textual domain-specific language which provides a high-level abstraction of AOCA applications. Specifically, we first show the software model of AOCA applications and the abstract syntax of AocML. Then, we introduce the concrete syntax of AocML. We also implement the tools for AocML, including the development environment as well as the generation of Java code and ontology specification. Moreover, we use a case study and evaluation to demonstrate the advantages of AocML.展开更多
说实话，我开始不喜欢DSL这个词了。因为每次没等我把DSL三个字母全部说出来，我的朋友都已经背过耳朵去了。这玩意已经在俺们这个圈子里说烂了。Domain Specific Language，啊？难道我平时写的每行代码不都是和具体的领域相关的嘛。凭...说实话，我开始不喜欢DSL这个词了。因为每次没等我把DSL三个字母全部说出来，我的朋友都已经背过耳朵去了。这玩意已经在俺们这个圈子里说烂了。Domain Specific Language，啊？难道我平时写的每行代码不都是和具体的领域相关的嘛。凭啥你写的是DSL，我写的就是陈旧腐朽的Java代码？我不禁要问了，咋写才算DSL？展开更多
基金the National Key Research and Development Program of China(No.2017YFA0700902,2017YFB1003101)the National Natural Science Foundation of China(No.61472396,61432016,61473275,61522211,61532016,61521092,61502446,61672491,61602441,61602446,61732002,61702478)+3 种基金the 973 Program of China(No.2015CB358800)National Science and Technology Major Project(No.2018ZX01031102)the Transformation and Transfer of Scientific and Technological Achievements of Chinese Academy of Sciences(No.KFJ-HGZX-013)Strategic Priority Research Program of Chinese Academy of Sciences(No.XDBS01050200).
文摘Recent years,neural networks(NNs)have received increasing attention from both academia and industry.So far significant diversity among existing NNs as well as their hardware platforms makes NN programming a daunting task.In this paper,a domain-specific language(DSL)for NNs,neural network language(NNL)is proposed to deliver productivity of NN programming and portable performance of NN execution on different hardware platforms.The productivity and flexibility of NN programming are enabled by abstracting NNs as a directed graph of blocks.The language describes 4 representative and widely used NNs and runs them on 3 different hardware platforms(CPU,GPU and NN accelerator).Experimental results show that NNs written with the proposed language are,on average,14.5%better than the baseline implementations across these 3 platforms.Moreover,compared with the Caffe framework that specifically targets the GPU platform,the code can achieve similar performance.
基金the Yunnan Provincial Department of Education Research Fund Key Project(No.2011z025)General Project(No.2011y214)
文摘Domain-specific metamodeling language(DSMML) defined by informal method cannot strictly represent its structural semantics,so its properties such as consistency cannot be holistically and systematically verified.In response,the paper proposes a formal representation of the structural semantics of DSMML named extensible markup language(XML) based metamodeling language(XMML) and its metamodels consistency verification method.Firstly,we describe our approach of formalization,based on this,the method of consistency verification of XMML and its metamodels based on first-order logical inference is presented;then,the formalization automatic mapping engine for metamodels is designed to show the feasibility of our formal method.
文摘在航空航天领域,系统的复杂度快速增长,这对基于模型的系统工程的开展带来巨大的挑战,尤以复杂系统的需求分析为甚。需求分析过程缺乏针对性的支持模型的工具。针对基于模型的系统工程中的这一问题,根据领域建模的思想,引入领域特定语言(domain specific language, DSL)的概念,提出一种构建DSL进行需求分析的方法,并针对基于模型的系统工程(model based system engineering, MBSE)中需求分析的需要构建相应的DSL。首先,从基于模型的系统工程方法论角度,对工程应用中的需求捕获与分解进行了分析;接着,通过扩展后的GOPPRR(graph object property port role relationship)元元模型依据需要,构建了DSL的具体语法与语义;最后,以具体的系统为例与系统建模语言分析方法做出了对比。结果表明,所构建的DSL在进行复杂系统的需求分析与建模时,与实际需要契合,在各个环节都具有针对性强、形式化的优点,有利于保证需求分析与建模工作的正确性。
基金The work was supported by the National Key Research and Development Program of China under Grant No. 2017YFB1001801, the National Natural Science Foundation of China under Grant Nos. 61702263, 61761136003, and 61373011, the Natural Science Foundation of Jiangsu Province of China under Grant No. BK20171427, and the Fundamental Research Funds for the Central Universities of China under Grant No. 30917011322.
文摘Activity-oriented context-aware （AOCA） applications are representative in pervasive computing. These appli- cations recognize daily-life human activities, perceive the environment status related to the activities, and react to ensure the smooth performance of the activities. Existing research proposed a specific light-weight, incremental method to support the development of such applications; however it is not easy to learn and use. This paper aims to facilitate the development of such applications and improve the productivity of developers. We propose AocML, a textual domain-specific language which provides a high-level abstraction of AOCA applications. Specifically, we first show the software model of AOCA applications and the abstract syntax of AocML. Then, we introduce the concrete syntax of AocML. We also implement the tools for AocML, including the development environment as well as the generation of Java code and ontology specification. Moreover, we use a case study and evaluation to demonstrate the advantages of AocML.
文摘说实话，我开始不喜欢DSL这个词了。因为每次没等我把DSL三个字母全部说出来，我的朋友都已经背过耳朵去了。这玩意已经在俺们这个圈子里说烂了。Domain Specific Language，啊？难道我平时写的每行代码不都是和具体的领域相关的嘛。凭啥你写的是DSL，我写的就是陈旧腐朽的Java代码？我不禁要问了，咋写才算DSL？
