Resource Type

Journal Article 6

Year

2017 1

2016 1

2015 2

2005 1

2002 1

Keywords

Annotation 1

Coq 1

Gcov 1

Gradual refinement 1

Heterogeneity 1

MPSoC 1

Multi-core processor 1

Native simulation 1

Performance estimation 1

Profiling 1

Refinement 1

Representative chip operating point 1

Schedule refining 1

Structured operational semantics 1

Unified Modeling Language (UML)-Statecharts 1

aquaculture products processing 1

development strategy 1

dynamics 1

earth's gravity field model 1

frequency and response functions 1

open ︾

Search scope:

排序： Display mode:

Mechanized semantics and refinement of UML-Statecharts Article

Feng SHENG, Liang DOU, Zong-yuan YANG

Frontiers of Information Technology & Electronic Engineering 2017, Volume 18, Issue 11,   Pages 1773-1783 doi: 10.1631/FITEE.1601196

Abstract: However, the semantics of UML is not precisely defined and the correctness of refinement relations cannotthe theorem proof assistant Coq to formalize and mechanize the semantics of UMLStatecharts and the refinementBased on the mechanized semantics, the desired properties of both the semantics and the refinement relationsThis approach provides a promising way to obtain certified fault-free modeling and refinement.

Keywords： Unified Modeling Language (UML)-Statecharts     Coq     Refinement     Structured operational semantics    

HTML PDF Collect

Research of Refinement Methods of Dynamic Model Based on Frequency Response Functions

Zhu Dangdang,Feng Yaoqi,Xiang Shuhong

Strategic Study of CAE 2005, Volume 7, Issue 8,   Pages 89-94

Abstract:

This paper summarized the development of dynamic model improvement methods, and researched the refinement

Keywords： spacecraft     dynamics     frequency and response functions     model refinement    

HTML PDF Collect

Schedule refinement for homogeneousmulti-core processors in the presence of manufacturing-caused heterogeneity

Zhi-xiang CHEN,Zhao-lin LI,Shan CAO,Fang WANG,Jie ZHOU

Frontiers of Information Technology & Electronic Engineering 2015, Volume 16, Issue 12,   Pages 1018-1033 doi: 10.1631/FITEE.1500035

Abstract: Multi-core homogeneous processors have been widely used to deal with computation-intensive embedded applications. However, with the continuous down scaling of CMOS technology, within-die variations in the manufacturing process lead to a significant spread in the operating speeds of cores within homogeneous multi-core processors. Task scheduling approaches, which do not consider such heterogeneity caused by within-die variations, can lead to an overly pessimistic result in terms of performance. To realize an optimal performance according to the actual maximum clock frequencies at which cores can run, we present a heterogeneity-aware schedule refining (HASR) scheme by fully exploiting the heterogeneities of homogeneous multi-core processors in embedded domains. We analyze and show how the actual maximum frequencies of cores are used to guide the scheduling. In the scheme, representative chip operating points are selected and the corresponding optimal schedules are generated as candidate schedules. During the booting of each chip, according to the actual maximum clock frequencies of cores, one of the candidate schedules is bound to the chip to maximize the performance. A set of applications are designed to evaluate the proposed scheme. Experimental results show that the proposed scheme can improve the performance by an average value of 22.2%, compared with the baseline schedule based on the worst case timing analysis. Compared with the conventional task scheduling approach based on the actual maximum clock frequencies, the proposed scheme also improves the performance by up to 12%.

Keywords： Schedule refining     Multi-core processor     Heterogeneity     Representative chip operating point    

HTML PDF Collect

Development Strategy for Aquaculture Products Refinement Processing, Quality and Safety

Xue Changhu,Zhai Yuxiu,Li Laihao,Xiong Shanbai,Yao Lin and Li Zhaojie

Strategic Study of CAE 2016, Volume 18, Issue 3,   Pages 43-48 doi: 10.15302/J-SSCAE-2016.03.007

Abstract:

The current status and problems on aquaculture products refinement processing industry in China are

Keywords： aquaculture products processing     quality safety     development strategy    

HTML PDF Collect

Application of Satellite Gravity Gradiometry Data to the Refinement of the Earth’s Gravity Field

Ning Jinsheng,Luo Zhicai,Chen Yongqi

Strategic Study of CAE 2002, Volume 4, Issue 7,   Pages 23-28

Abstract:

In recent times, one of the primary scientific objectives of physical geodesy is to determine the geoid with centimeter level and to develop the ultra high global earth’s gravity field model，and for this purpose satellite gravity gradiometry is one of the most promising techniques. This paper first comments on the main progress of satellite gravity gradiometry, and then discusses some theories and methods for refining the earth´s gravity field using satellite gravity gradiometry data.

Keywords： satellite gravity gradiometry     satellite gravity gradiometry boundary value problem     earth's gravity field model     geoid    

HTML PDF Collect

Profiling and annotation combined method formultimedia application specificMPSoCperformance estimation

Kai HUANG,Xiao-xu ZHANG,Si-wen XIU,Dan-dan ZHENG,Min YU,De MA,Kai HUANG,Gang CHEN,Xiao-lang YAN

Frontiers of Information Technology & Electronic Engineering 2015, Volume 16, Issue 2,   Pages 135-151 doi: 10.1631/FITEE.1400239

Abstract: computation part is annotated to a transaction accurate model for further analysis, by which a gradual refinement

Keywords： MPSoC     Gradual refinement     Native simulation     Performance estimation     Profiling     Annotation     Gcov    

HTML PDF Collect

Title Author Date Type Operation

Mechanized semantics and refinement of UML-Statecharts

Feng SHENG, Liang DOU, Zong-yuan YANG

Journal Article

Research of Refinement Methods of Dynamic Model Based on Frequency Response Functions

Zhu Dangdang,Feng Yaoqi,Xiang Shuhong

Journal Article

Schedule refinement for homogeneousmulti-core processors in the presence of manufacturing-caused heterogeneity

Zhi-xiang CHEN,Zhao-lin LI,Shan CAO,Fang WANG,Jie ZHOU

Journal Article

Development Strategy for Aquaculture Products Refinement Processing, Quality and Safety

Xue Changhu,Zhai Yuxiu,Li Laihao,Xiong Shanbai,Yao Lin and Li Zhaojie

Journal Article

Application of Satellite Gravity Gradiometry Data to the Refinement of the Earth’s Gravity Field

Ning Jinsheng,Luo Zhicai,Chen Yongqi

Journal Article

Profiling and annotation combined method formultimedia application specificMPSoCperformance estimation

Kai HUANG,Xiao-xu ZHANG,Si-wen XIU,Dan-dan ZHENG,Min YU,De MA,Kai HUANG,Gang CHEN,Xiao-lang YAN

Journal Article