检索结果-南通市图书馆

Towards automated model driven development with model transformation and domain specific languages

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Towards automated model driven development with model transf...

MoTransFrame:model Transfer Framework for CNNs on Low-Resource Edge Computing Node

作者： Cuong V.Nguyen Xhevi Qafmolla Department of Computer Science and Engineering Faculty of Electrical Engineering Czech Technical University in Prague

modeling plays a very important role in dealing with the complexity of software systems during their development and maintenance processes. As more complex models need to be developed, the importance of transformations between models grows. model transformations allow the definition and implementation of operations on models, also provide a chain that can enable the automated development of a system from its corresponding models. In this context, approaches to model transformation techniques promise to bring productivity and efficiency to the whole process. This paper outlines practices from current model transformation approaches and the benefit of using domain specific language （DSL） for modeling purposes. We also present the approach of using hybrid transformation with to support automation of model driven development. To achieve automation development we outline a formal approach to testing model transformation with automated test data generation.

关键词： model transformation Domain specific language model driven development.

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

Computers, Materials & Continua 2020年第12期65卷 2321-2334页

作者： Panyu Liu Huilin Ren Xiaojun Shi Yangyang Li Zhiping Cai Fang Liu Huacheng Zeng National University of Defense Technology Changsha410073China Training and Administration Department the Central Military CommissionBeijing100851China Department of Science and Technology China Electronics Technology Group CorporationBeijing100846China National Engineering Laboratory for Public Safety Risk Perception and Control by Big Data Beijing100041China School of Design Hunan UniversityChangsha410082China Department of Electrical and Computer Engineering University of LouisvilleLouisvilleKY 40292USA

Deep learning technology has been widely used in computer vision,speech recognition,natural language processing,and other related *** deep learning algorithm has high precision and high ***,the lack of resources in the edge terminal equipment makes it difficult to run deep learning algorithms that require more memory and computing *** this paper,we propose MoTransFrame,a general model processing framework for deep learning *** of designing a model compression algorithm with a high compression ratio,MoTransFrame can transplant popular convolutional neural networks models to resources-starved edge devices promptly and *** the integration method,Deep learning models can be converted into portable projects for Arduino,a typical edge device with limited *** experiments show that MoTransFrame has good adaptability in edge devices with limited *** is more flexible than other model transplantation *** can keep a small loss of model accuracy when the number of parameters is compressed by tens of *** the same time,the computational resources needed in the reasoning process are less than what the edge node could handle.

关键词： Edge computing convolutional neural network model transformation model compression

A multi-paradigm decision modeling framework for combat system effectiveness measurement based on domain-specific modeling

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Zhejiang University-Science C(Computers and Electronics) 2013年第5期14卷 311-331页

作者： Xiao-bo LI Yong-lin LEI Hans VANGHELUWE Wei-ping WANG Qun LI Institute of Simulation Engineering College of Information Systems and ManagementNational University of Defense Technology Department of Mathematics and Computer Science University of Antwerp

Decision modeling is an essential part of the combat system effectiveness simulation (CoSES), which needs to cope with the cognitive quality, diversity, flexibility, and higher abstraction of decision making. In this paper, a multi-paradigm decision modeling framework is proposed to support decision modeling at three levels of abstraction based on domain-specific modeling (DSM). This framework designs a domain-specific modeling language (DSML) for decision modeling to raise the abstraction level of modeling, transforms the domain-specific models to formalism-based models to enable formal analysis and early verification and validation, and implements the semantics of the DSML based on a Python scripts framework which incorporates the decision model into the whole simulation system. The case study shows that the proposed approach incorporates domain expertise and facilitates domain modeler's participation in CoSES to formulate the problem using DSML in the problem domain, and enables formal analysis and automatic implementation of the decision model in the solution domain.

关键词： Multi-paradigm modeling (MPM) Decision modeling Domain-specific modeling (DSM) Effectiveness measurement model transformation

Patient-specific modeling of facial soft tissue based on radial basis functions transformations of a standard three-dimensional finite element model

在线全文

学校读者我要写书评

暂无评论

Chinese Medical Journal 2012年第22期125卷 4066-4071页

作者： LOU Hang-di CHEN Si CHEN Gui XU Tian-min RONG Qi-guo Peking Univ Coll Engn Beijing 100081 Peoples R China Peking Univ Sch Stomatol Beijing 100081 Peoples R China

Background An important purpose of orthodontic treatment is to gain the harmonic soft tissue profile. This article describes a novel way to build patient-specific models of facial soft tissues by transforming a standard finite element （FE） model into one that has two stages： a first transformation and a second transformation, so as to evaluate the facial soft tissue changes after orthodontic treatment for individual patients. Methods The radial basis functions （RBFs） interpolation method was used to transform the standard FE model into a patient-specific one based on landmark points. A combined strategy for selecting landmark points was developed in this study： manually for the first transformation and automatically for the second transformation. Four typical patients were chosen to validate the effectiveness of this transformation method. Results The results showed good similarity between the transformed FE models and the computed tomography （CT） models. The absolute values of average deviations were in the range of 0.375-0.700 mm at the lip-mouth region after the first transformation, and they decreased to a range of 0.116-0.286 mm after the second transformation. Conclusions The modeling results show that the second transformation resulted in enhanced accuracy compared to the first transformation. Because of these results, a third transformation is usually not necessary.

关键词： finite element model facial soft tissue model transformation radial basis functions landmark points

Optimal containment control of continuous-time multi-agent systems with unknown disturbances using data-driven approach

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2020年第10期63卷 270-272页

作者： Zhinan PENG Jiefu ZHANG Jiangping HU Rui HUANG Bijoy Kumar GHOSH School of Automation Engineering University of Electronic Science and Technology of China Department of Mathematics and Statistics Texas Tech University

Dear editor,Containment control problems of multi-agent systems (MASs) have attracted considerable attention in recent years owing to their widespread use in applications pertaining to spacecraft control,sensor networ... 详细信息

关键词： High-order multi-agent systems unmatched disturbances Containment control critic- actor network model transformation

A New Approach to Development of Composite Web Services

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural Sciences 2006年第1期11卷 211-216页

作者： YANG Yan-ping TAN Qing-ping YU Jin-shan LIU Feng College of Computer National University of Defense Technology Changsha 410073 Hunan China

With the requirement for complex Web Services steadily increasing, there is a growing interest for reusing basic, existing Web Services to composite new ones. We present a composite Web Services development approach driven by model driven architecture （MDA） ,using UML（Unified modeling Language） class diagram to model structure HM （Plateform Independent Platform） and UML activity diagram to model behavior PIM, then by model transformation converting the PIMs to specific Web Services specification platforms and execution platform to get the corresponding PSMs （platform specific models）. The main contributions of this paper are the all-around solution to Web Services composition development and the transformation rules for structure and behavior model of Web Services between PIMs and PSMs.

关键词： Web service composition MDA model transformation UML

Formal Verification of TASM models by Translating into UPPAAL

在线全文

学校读者我要写书评

暂无评论

Journal of Donghua University(English Edition) 2012年第1期29卷 51-54页

作者：胡凯张腾杨志斌顾斌蒋树姜泮昌 School of Computer Science and Engineering Beihang University Beijing Institute of Control Engineering

Timed abstract state machine(TASM) is a formal specification language used to specify and simulate the behavior of real-time systems. Formal verification of TASM model can be fulfilled through model checking activities by translating into UPPAAL. Firstly, the translational semantics from TASM to UPPAAL is presented through atlas transformation language(ATL). Secondly, the implementation of the proposed model transformation tool TASM2UPPAAL is provided. Finally, a case study is given to illustrate the automatic transformation from TASM model to UPPAAL model.

关键词： timed abstract state machine(TASM) formal verification model transformation atlas transformation language(ATL) UPPAAL

AADL2TASM: a Verification and Analysis Tool for AADL models

在线全文

学校读者我要写书评

暂无评论

Journal of Donghua University(English Edition) 2012年第1期29卷 94-98页

作者：蒋树胡凯杨志斌顾斌张腾姜泮昌 School of Computer Science and Engineering Beihang University Beijing Institute of Control Engineering

Architecture analysis and design language (AADL) is an architecture description language standard for embedded real-time systems and it is widely used in safety-critical applications. For facilitating verification and analysis, model transformation is one of the methods. A synchronous subset of AADL and a general methodology for translating the AADL subset into timed abstract state machine (TASM) were studied . Based on the atlas transformation language (ATL) framework, the associated translating tool AADL2TASM was implemented by defining the meta-model of both AADL and TASM, and the ATL transformation rules. A case study with property verification of the AADL model was also presented for validating the tool.

关键词： architecture analysis and design language (AADL) timed abstract state machine (TASM) model transformation atlas transformation language (ATL)

Two-stage Kalman Filter for Linear System with Correlated Noises

在线全文

学校读者我要写书评

暂无评论

Two-stage Kalman Filter for Linear System with Correlated No...