An essential step for the realization of free-form surface structures is to create an efficient structural gird that satisfies not only the architectural aesthetics,but also the structural performance.Employing the ma...An essential step for the realization of free-form surface structures is to create an efficient structural gird that satisfies not only the architectural aesthetics,but also the structural performance.Employing the main stress trajectories as the representation of force flows on a free-form surface,an automatic grid generation approach is proposed for the architectural design.The algorithm automatically plots the main stress trajectories on a 3D free-form surface,and adopts a modified advancing front meshing technique to generate the structural grid.Based on the proposed algorithm,an automatic grid generator named "St-Surmesh" is developed for the practical architectural design of free-form surface structure.The surface geometry of one of the Sun Valleys in Expo Axis for the Expo Shanghai 2010 is selected as a numerical example for validating the proposed approach.Comparative studies are performed to demonstrate how different structural grids affect the design of a free-form surface structure.展开更多
With the purpose of enhancing effective collaboration between architects and structural engineers in the building design field, an integration tool was developed for supporting information exchange from architectural ...With the purpose of enhancing effective collaboration between architects and structural engineers in the building design field, an integration tool was developed for supporting information exchange from architectural model to structural model. The PKPM （Bopomofo acronym, a Chinese building design software） structural model and an industry foundation classes （IFC） data model were adopted and analyzed to design the framework of the integration tool. The technique of mixed program languages （C＋＋ and FORTRAN） was applied to developing the tool software, and the connectivity relationships and intersection nodes between the structural elements were optimized and simplified. A case study was implemented to illustrate the method to use the integration tool for information exchange from IFC-format architectural model to PKPM structural model. The results show that the tool can extract the information of architectural model and form a corresponding structural model. The presented method can help to enhance the modeline efficiency at the structural design phase.展开更多
Integrated with an improved architectural vulnerability factor （AVF） computing model, a new architectural level soft error reliability analysis framework, SS-SERA （soft error reliability analysis based on SimpleSca...Integrated with an improved architectural vulnerability factor （AVF） computing model, a new architectural level soft error reliability analysis framework, SS-SERA （soft error reliability analysis based on SimpleScalar）, was developed. SS-SERA was used to estimate the AVFs for various on-chip structures accurately. Experimental results show that the AVFs of issue queue （IQ）, register update units （RUU）, load store queue （LSQ） and functional unit （FU） are 38.11%, 22.17%, 23.05% and 24.43%, respectively. For address-based structures, i.e., levell data cache （LID）, DTLB, level2 unified cache （L2U）, levell instruction cache （LII） and ITLB, AVFs of their data arrays are 22.86%, 27.57%, 14.80%, 8.25% and 12.58%, lower than their tag arrays＇ AVFs which are 30.01%, 28.89%, 17.69%, 10.26% and 13.84%, respectively. Furthermore, using the AVF values obtained with SS-SERA, a qualitative and quantitative analysis of the AVF variation and predictability was performed for the structures studied. Experimental results show that the AVF exhibits significant variations across different structures and workloads, and is influenced by multiple microarchitectural metrics and their interactions. Besides, AVFs of SPEC2K floating point programs exhibit better predictability than SPEC2K integer programs.展开更多
During architectural conception phase,building maintenance problematic is mostly a result of the unintentional use of preconceived architectonical solutions rather than a consequence of a specific influence of mainten...During architectural conception phase,building maintenance problematic is mostly a result of the unintentional use of preconceived architectonical solutions rather than a consequence of a specific influence of maintenance requirements.Hardly the architect in the act of design understands the importance of these solutions in the service life span of a building.Being aware of this,is it possible for the architect to be supplied with a decision support system that allows him to consider the implications of building maintenance since the early design phases? Having awareness of this problem and its consequences in the early design phases a research project was started at the Faculty Engineering of the University of Oporto(FEUP),under which the implications of building maintenance in the act of architectural design is studied.This article presents the methodology developed to identify the needs of maintenance of buildings based on a DSS-decision support system that provides simple tools the architect can use in design phase.This methodology is based on decomposition of building parts-Elements Source of Maintenance ESM-,and subsequently,a set of functional requirements that determine the performance regarding building maintenance on account of architectural decisions.Relevant maintenance actions are defined: Inspection,Pro-action,Cleaning,Correction,Replacement,Legal enforcement,Limits of use.One can thus set up a relationship between the act of design and its performance framework based on behavior,intervention and the ownership of the work of architecture.Using a Multicriteria Analysis(MCA) a qualitative evaluation of different options based on maintenance requirements accomplishment.Conclusions on the importance of architectural conception concerning the building maintenance were clearly arrived at and the utility of the developed decision support tool was also highlighted.展开更多
Because CASE (computer aided software engineering) environment is a kind of complex system software, its software architecture is very important. From the viewpoint of software architecture, this paper first presents ...Because CASE (computer aided software engineering) environment is a kind of complex system software, its software architecture is very important. From the viewpoint of software architecture, this paper first presents TBus architectural style, which is a kind of CASE environment architectural style based on ToolBus, then describes the architectural model and system's behavior in formal method, researches and analyzes the corresponding tool structural model. Last the paper implements a TBus architectural instance-LambdaBridge, which proves the validity of ToolBus and TBus architectural styles.展开更多
Image super-resolution reconstruction technology is currently widely used in medical imaging,video surveillance,and industrial quality inspection.It not only enhances image quality but also improves details and visual...Image super-resolution reconstruction technology is currently widely used in medical imaging,video surveillance,and industrial quality inspection.It not only enhances image quality but also improves details and visual perception,significantly increasing the utility of low-resolution images.In this study,an improved image superresolution reconstruction model based on Generative Adversarial Networks(SRGAN)was proposed.This model introduced a channel and spatial attention mechanism(CSAB)in the generator,allowing it to effectively leverage the information from the input image to enhance feature representations and capture important details.The discriminator was designed with an improved PatchGAN architecture,which more accurately captured local details and texture information of the image.With these enhanced generator and discriminator architectures and an optimized loss function design,this method demonstrated superior performance in image quality assessment metrics.Experimental results showed that this model outperforms traditional methods,presenting more detailed and realistic image details in the visual effects.展开更多
With the continuous expansion of deep underground engineering and the growing demand for safety monitoring,microseismic monitoring has become a core method for early warning of rock mass fracture and engineering stabi...With the continuous expansion of deep underground engineering and the growing demand for safety monitoring,microseismic monitoring has become a core method for early warning of rock mass fracture and engineering stability assessment.To address problems in existing methods,such as low data processing efficiency and poor phase recognition accuracy under low signal-to-noise ratio(SNR)conditions in complex geological environments,this study proposes an intelligent phase picking model based on ResUNet.The model integrates the residual learning mechanism of ResNet with the multi-scale feature extraction capability of UNet,effectively mitigating the vanishing gradient problem in deep networks.It also achieves cross-layer fusion of shallow detail features and deep semantic features through skip connections in the encoder-decoder structure.Compared with traditional short-time average/long-time average(STA/LTA)algorithms and advanced neural network models such as PhaseNet and EQTransformer,ResUNet shows superior performance in picking P-and S-wave phases.The model was trained on 400000 labeled microseismic signals from the Stanford earthquake dataset(STEAD)and was successfully applied to the Shizhuyuan polymetallic mine in Hunan Province,China.The results demonstrate that ResUNet achieves high picking accuracy and robustness in complex geological conditions,offering reliable technical support for early warning of disasters such as rockburst in deep underground engineering.展开更多
Model-based system-of-systems(SOS)engineering(MBSoSE)is becoming a promising solution for the design of SoS with increasing complexity.However,bridging the models from the design phase to the simulation phase poses si...Model-based system-of-systems(SOS)engineering(MBSoSE)is becoming a promising solution for the design of SoS with increasing complexity.However,bridging the models from the design phase to the simulation phase poses significant challenges and requires an integrated approach.In this study,a unified requirement modeling approach is proposed based on unified architecture framework(UAF).Theoretical models are proposed which compose formalized descriptions from both topdown and bottom-up perspectives.Based on the description,the UAF profile is proposed to represent the SoS mission and constituent systems(CS)goal.Moreover,the agent-based simulation information is also described based on the overview,design concepts,and details(ODD)protocol as the complement part of the SoS profile,which can be transformed into different simulation platforms based on the eXtensible markup language(XML)technology and model-to-text method.In this way,the design of the SoS is simulated automatically in the early design stage.Finally,the method is implemented and an example is given to illustrate the whole process.展开更多
Architecture framework has become an effective method recently to describe the system of systems(SoS)architecture,such as the United States(US)Department of Defense Architecture Framework Version 2.0(DoDAF2.0).As a vi...Architecture framework has become an effective method recently to describe the system of systems(SoS)architecture,such as the United States(US)Department of Defense Architecture Framework Version 2.0(DoDAF2.0).As a viewpoint in DoDAF2.0,the operational viewpoint(OV)describes operational activities,nodes,and resource flows.The OV models are important for SoS architecture development.However,as the SoS complexity increases,constructing OV models with traditional methods exposes shortcomings,such as inefficient data collection and low modeling standards.Therefore,we propose an intelligent modeling method for five OV models,including operational resource flow OV-2,organizational relationships OV-4,operational activity hierarchy OV-5a,operational activities model OV-5b,and operational activity sequences OV-6c.The main idea of the method is to extract OV architecture data from text and generate interoperable OV models.First,we construct the OV meta model based on the DoDAF2.0 meta model(DM2).Second,OV architecture named entities is recognized from text based on the bidirectional long short-term memory and conditional random field(BiLSTM-CRF)model.And OV architecture relationships are collected with relationship extraction rules.Finally,we define the generation rules for OV models and develop an OV modeling tool.We use unmanned surface vehicles(USV)swarm target defense SoS architecture as a case to verify the feasibility and effectiveness of the intelligent modeling method.展开更多
首先归纳了AADL(architecture analysis and design language)的发展历程及其主要建模元素.其次,从模型驱动设计与实现的角度综述了AADL在不同阶段的研究与应用,总结了研究热点,分析了现有研究的不足,并对AADL的建模与分析工具、应用实...首先归纳了AADL(architecture analysis and design language)的发展历程及其主要建模元素.其次,从模型驱动设计与实现的角度综述了AADL在不同阶段的研究与应用,总结了研究热点,分析了现有研究的不足,并对AADL的建模与分析工具、应用实践进行了概述.最后,探讨了AADL的发展与研究方向.展开更多
介绍了汽车嵌入式系统的内涵,回顾了汽车嵌入式系统的技术发展历史,分析了未来汽车嵌入式系统发展的特点,并得出以下结论:开发一个高效、可靠的汽车嵌入式系统离不开简明精确的开发方法、完善细致的体系架构和详细合理的开发流程.在此...介绍了汽车嵌入式系统的内涵,回顾了汽车嵌入式系统的技术发展历史,分析了未来汽车嵌入式系统发展的特点,并得出以下结论:开发一个高效、可靠的汽车嵌入式系统离不开简明精确的开发方法、完善细致的体系架构和详细合理的开发流程.在此基础上,概括了汽车嵌入式系统开发的技术体系,并具体地从基于模型的开发方法、基于AUTOSAR(automotive open system architecture)的体系架构以及基于V模式的开发流程3个方面介绍了该技术体系.这三者分别从对象的描述、对象的层次结构和开发的时间顺序3个不同的方面对嵌入式系统的开发方法做了定义和约束,从而保证了这个开发体系的可靠性和完整性.展开更多
提出了一种基于时间抽象状态机(timed abstract state machine,简称TASM)的AADL(architecture analysis and design language)模型验证方法.分别给出了AADL子集和TASM的抽象语法,并基于语义函数和类ML的元语言形式定义转换规则.在此基础...提出了一种基于时间抽象状态机(timed abstract state machine,简称TASM)的AADL(architecture analysis and design language)模型验证方法.分别给出了AADL子集和TASM的抽象语法,并基于语义函数和类ML的元语言形式定义转换规则.在此基础上,基于AADL开源建模环境OSATE(open source AADL tool environment)设计并实现了AADL模型验证与分析工具AADL2TASM,并基于航天器导航、制导与控制系统(guidance,navigation and control)进行了实例性验证.展开更多
能够提供更强计算能力的多核处理器将在安全关键系统中得到广泛应用,但是由于现代处理器所使用的流水线、乱序执行、动态分支预测、Cache等性能提高机制以及多核之间的资源共享,使得系统的最坏执行时间分析变得非常困难.为此,国际学术...能够提供更强计算能力的多核处理器将在安全关键系统中得到广泛应用,但是由于现代处理器所使用的流水线、乱序执行、动态分支预测、Cache等性能提高机制以及多核之间的资源共享,使得系统的最坏执行时间分析变得非常困难.为此,国际学术界提出时间可预测系统设计的思想,以降低系统的最坏执行时间分析难度.已有研究主要关注硬件层次及其编译方法的调整和优化,而较少关注软件层次,即,时间可预测多线程代码的构造方法以及到多核硬件平台的映射.提出一种基于同步语言模型驱动的时间可预测多线程代码生成方法,并对代码生成器的语义保持进行证明;提出一种基于AADL(architecture analysis and design language)的时间可预测多核体系结构模型,作为研究的目标平台;最后,给出多线程代码到多核体系结构模型的映射方法,并给出系统性质的分析框架.展开更多
基金Project(51378457)supported by the National Natural Science Foundation of China
文摘An essential step for the realization of free-form surface structures is to create an efficient structural gird that satisfies not only the architectural aesthetics,but also the structural performance.Employing the main stress trajectories as the representation of force flows on a free-form surface,an automatic grid generation approach is proposed for the architectural design.The algorithm automatically plots the main stress trajectories on a 3D free-form surface,and adopts a modified advancing front meshing technique to generate the structural grid.Based on the proposed algorithm,an automatic grid generator named "St-Surmesh" is developed for the practical architectural design of free-form surface structure.The surface geometry of one of the Sun Valleys in Expo Axis for the Expo Shanghai 2010 is selected as a numerical example for validating the proposed approach.Comparative studies are performed to demonstrate how different structural grids affect the design of a free-form surface structure.
基金Project(2006BAJ01B01-01) supported by the National Key Technologies R&D Program of China during the 11th Five-Year Plan Period
文摘With the purpose of enhancing effective collaboration between architects and structural engineers in the building design field, an integration tool was developed for supporting information exchange from architectural model to structural model. The PKPM （Bopomofo acronym, a Chinese building design software） structural model and an industry foundation classes （IFC） data model were adopted and analyzed to design the framework of the integration tool. The technique of mixed program languages （C＋＋ and FORTRAN） was applied to developing the tool software, and the connectivity relationships and intersection nodes between the structural elements were optimized and simplified. A case study was implemented to illustrate the method to use the integration tool for information exchange from IFC-format architectural model to PKPM structural model. The results show that the tool can extract the information of architectural model and form a corresponding structural model. The presented method can help to enhance the modeline efficiency at the structural design phase.
基金Projects(60970036,60873016,61170045)supported by the National Natural Science Foundation of ChinaProjects(2009AA01Z102,2009AA01Z124)supported by the National High Technology Development Program of China
文摘Integrated with an improved architectural vulnerability factor （AVF） computing model, a new architectural level soft error reliability analysis framework, SS-SERA （soft error reliability analysis based on SimpleScalar）, was developed. SS-SERA was used to estimate the AVFs for various on-chip structures accurately. Experimental results show that the AVFs of issue queue （IQ）, register update units （RUU）, load store queue （LSQ） and functional unit （FU） are 38.11%, 22.17%, 23.05% and 24.43%, respectively. For address-based structures, i.e., levell data cache （LID）, DTLB, level2 unified cache （L2U）, levell instruction cache （LII） and ITLB, AVFs of their data arrays are 22.86%, 27.57%, 14.80%, 8.25% and 12.58%, lower than their tag arrays＇ AVFs which are 30.01%, 28.89%, 17.69%, 10.26% and 13.84%, respectively. Furthermore, using the AVF values obtained with SS-SERA, a qualitative and quantitative analysis of the AVF variation and predictability was performed for the structures studied. Experimental results show that the AVF exhibits significant variations across different structures and workloads, and is influenced by multiple microarchitectural metrics and their interactions. Besides, AVFs of SPEC2K floating point programs exhibit better predictability than SPEC2K integer programs.
文摘During architectural conception phase,building maintenance problematic is mostly a result of the unintentional use of preconceived architectonical solutions rather than a consequence of a specific influence of maintenance requirements.Hardly the architect in the act of design understands the importance of these solutions in the service life span of a building.Being aware of this,is it possible for the architect to be supplied with a decision support system that allows him to consider the implications of building maintenance since the early design phases? Having awareness of this problem and its consequences in the early design phases a research project was started at the Faculty Engineering of the University of Oporto(FEUP),under which the implications of building maintenance in the act of architectural design is studied.This article presents the methodology developed to identify the needs of maintenance of buildings based on a DSS-decision support system that provides simple tools the architect can use in design phase.This methodology is based on decomposition of building parts-Elements Source of Maintenance ESM-,and subsequently,a set of functional requirements that determine the performance regarding building maintenance on account of architectural decisions.Relevant maintenance actions are defined: Inspection,Pro-action,Cleaning,Correction,Replacement,Legal enforcement,Limits of use.One can thus set up a relationship between the act of design and its performance framework based on behavior,intervention and the ownership of the work of architecture.Using a Multicriteria Analysis(MCA) a qualitative evaluation of different options based on maintenance requirements accomplishment.Conclusions on the importance of architectural conception concerning the building maintenance were clearly arrived at and the utility of the developed decision support tool was also highlighted.
文摘Because CASE (computer aided software engineering) environment is a kind of complex system software, its software architecture is very important. From the viewpoint of software architecture, this paper first presents TBus architectural style, which is a kind of CASE environment architectural style based on ToolBus, then describes the architectural model and system's behavior in formal method, researches and analyzes the corresponding tool structural model. Last the paper implements a TBus architectural instance-LambdaBridge, which proves the validity of ToolBus and TBus architectural styles.
文摘Image super-resolution reconstruction technology is currently widely used in medical imaging,video surveillance,and industrial quality inspection.It not only enhances image quality but also improves details and visual perception,significantly increasing the utility of low-resolution images.In this study,an improved image superresolution reconstruction model based on Generative Adversarial Networks(SRGAN)was proposed.This model introduced a channel and spatial attention mechanism(CSAB)in the generator,allowing it to effectively leverage the information from the input image to enhance feature representations and capture important details.The discriminator was designed with an improved PatchGAN architecture,which more accurately captured local details and texture information of the image.With these enhanced generator and discriminator architectures and an optimized loss function design,this method demonstrated superior performance in image quality assessment metrics.Experimental results showed that this model outperforms traditional methods,presenting more detailed and realistic image details in the visual effects.
基金Project(2022YFC2905100)supported by the National Key Research and Development Program of ChinaProject(52174098)supported by the National Natural Science Foundation of China。
文摘With the continuous expansion of deep underground engineering and the growing demand for safety monitoring,microseismic monitoring has become a core method for early warning of rock mass fracture and engineering stability assessment.To address problems in existing methods,such as low data processing efficiency and poor phase recognition accuracy under low signal-to-noise ratio(SNR)conditions in complex geological environments,this study proposes an intelligent phase picking model based on ResUNet.The model integrates the residual learning mechanism of ResNet with the multi-scale feature extraction capability of UNet,effectively mitigating the vanishing gradient problem in deep networks.It also achieves cross-layer fusion of shallow detail features and deep semantic features through skip connections in the encoder-decoder structure.Compared with traditional short-time average/long-time average(STA/LTA)algorithms and advanced neural network models such as PhaseNet and EQTransformer,ResUNet shows superior performance in picking P-and S-wave phases.The model was trained on 400000 labeled microseismic signals from the Stanford earthquake dataset(STEAD)and was successfully applied to the Shizhuyuan polymetallic mine in Hunan Province,China.The results demonstrate that ResUNet achieves high picking accuracy and robustness in complex geological conditions,offering reliable technical support for early warning of disasters such as rockburst in deep underground engineering.
基金Fifth Electronic Research Institute of the Ministry of Industry and Information Technology(HK07202200877)Pre-research Project on Civil Aerospace Technologies of CNSA(D020101)+2 种基金Zhejiang Provincial Science and Technology Plan Project(2022C01052)Frontier Scientific Research Program of Deep Space Exploration Laboratory(2022-QYKYJHHXYF-018,2022-QYKYJH-GCXD-001)Zhiyuan Laboratory(ZYL2024001)。
文摘Model-based system-of-systems(SOS)engineering(MBSoSE)is becoming a promising solution for the design of SoS with increasing complexity.However,bridging the models from the design phase to the simulation phase poses significant challenges and requires an integrated approach.In this study,a unified requirement modeling approach is proposed based on unified architecture framework(UAF).Theoretical models are proposed which compose formalized descriptions from both topdown and bottom-up perspectives.Based on the description,the UAF profile is proposed to represent the SoS mission and constituent systems(CS)goal.Moreover,the agent-based simulation information is also described based on the overview,design concepts,and details(ODD)protocol as the complement part of the SoS profile,which can be transformed into different simulation platforms based on the eXtensible markup language(XML)technology and model-to-text method.In this way,the design of the SoS is simulated automatically in the early design stage.Finally,the method is implemented and an example is given to illustrate the whole process.
基金National Natural Science Foundation of China(71690233,71971213,71901214)。
文摘Architecture framework has become an effective method recently to describe the system of systems(SoS)architecture,such as the United States(US)Department of Defense Architecture Framework Version 2.0(DoDAF2.0).As a viewpoint in DoDAF2.0,the operational viewpoint(OV)describes operational activities,nodes,and resource flows.The OV models are important for SoS architecture development.However,as the SoS complexity increases,constructing OV models with traditional methods exposes shortcomings,such as inefficient data collection and low modeling standards.Therefore,we propose an intelligent modeling method for five OV models,including operational resource flow OV-2,organizational relationships OV-4,operational activity hierarchy OV-5a,operational activities model OV-5b,and operational activity sequences OV-6c.The main idea of the method is to extract OV architecture data from text and generate interoperable OV models.First,we construct the OV meta model based on the DoDAF2.0 meta model(DM2).Second,OV architecture named entities is recognized from text based on the bidirectional long short-term memory and conditional random field(BiLSTM-CRF)model.And OV architecture relationships are collected with relationship extraction rules.Finally,we define the generation rules for OV models and develop an OV modeling tool.We use unmanned surface vehicles(USV)swarm target defense SoS architecture as a case to verify the feasibility and effectiveness of the intelligent modeling method.
文摘首先归纳了AADL(architecture analysis and design language)的发展历程及其主要建模元素.其次,从模型驱动设计与实现的角度综述了AADL在不同阶段的研究与应用,总结了研究热点,分析了现有研究的不足,并对AADL的建模与分析工具、应用实践进行了概述.最后,探讨了AADL的发展与研究方向.
基金Supported by the National Natural Science Foundation of China under Grant No.60473064(国家自然科学基金)the National High-Tech Research and Development Plan of China under Grant Nos.2007AA010301,2005AA112030(国家高技术研究发展计划(863))+2 种基金the National Basic Research Program of China under Grant No.2005CB321805(国家重点基础研究发展计划(973))the Key Technologies R&D Program of China under Grant No.2003BA904B02 (国家科技攻关计划)the National Key Technology R&D Program of China under Grant No.2006BAH02A02(国家科技支撑计划)
文摘介绍了汽车嵌入式系统的内涵,回顾了汽车嵌入式系统的技术发展历史,分析了未来汽车嵌入式系统发展的特点,并得出以下结论:开发一个高效、可靠的汽车嵌入式系统离不开简明精确的开发方法、完善细致的体系架构和详细合理的开发流程.在此基础上,概括了汽车嵌入式系统开发的技术体系,并具体地从基于模型的开发方法、基于AUTOSAR(automotive open system architecture)的体系架构以及基于V模式的开发流程3个方面介绍了该技术体系.这三者分别从对象的描述、对象的层次结构和开发的时间顺序3个不同的方面对嵌入式系统的开发方法做了定义和约束,从而保证了这个开发体系的可靠性和完整性.
文摘提出了一种基于时间抽象状态机(timed abstract state machine,简称TASM)的AADL(architecture analysis and design language)模型验证方法.分别给出了AADL子集和TASM的抽象语法,并基于语义函数和类ML的元语言形式定义转换规则.在此基础上,基于AADL开源建模环境OSATE(open source AADL tool environment)设计并实现了AADL模型验证与分析工具AADL2TASM,并基于航天器导航、制导与控制系统(guidance,navigation and control)进行了实例性验证.
文摘能够提供更强计算能力的多核处理器将在安全关键系统中得到广泛应用,但是由于现代处理器所使用的流水线、乱序执行、动态分支预测、Cache等性能提高机制以及多核之间的资源共享,使得系统的最坏执行时间分析变得非常困难.为此,国际学术界提出时间可预测系统设计的思想,以降低系统的最坏执行时间分析难度.已有研究主要关注硬件层次及其编译方法的调整和优化,而较少关注软件层次,即,时间可预测多线程代码的构造方法以及到多核硬件平台的映射.提出一种基于同步语言模型驱动的时间可预测多线程代码生成方法,并对代码生成器的语义保持进行证明;提出一种基于AADL(architecture analysis and design language)的时间可预测多核体系结构模型,作为研究的目标平台;最后,给出多线程代码到多核体系结构模型的映射方法,并给出系统性质的分析框架.
基金the National Natural Science Foundation of Chinaunder Grant Nos.9061201190412011+1 种基金60403030(国家自然科学基金)the National Basic Research Program of Chinaunder Grant No.2005CB321800(国家重点基础研究发展计划(973))
