Formal Modeling and Analysis of AADL Threads in Real Time Maude

This paper presents, without altering the AADL meta-model, a formal description of static and behavioral aspects of the AADL thread component. This active and concurrent applicative component of AADL poses many challenges to its formalization and analysis including instantaneous and/or delayed communications, concurrent tasks and time-dependent features, and the need to analyze correctness. This formalization, based on real-time object-oriented theories, allows not only a precise description of the semantics of threads composition with respect to their timing requirements but also makes possible the formal verification of behavioral properties.

基于ADL与ECM模型的出口供给弹性分析

以中国2005年7月到2010年6月间的数据为依托,基于动态模型实证对中国出口供给是否具有无限价格弹性进行研究后发现:中国出口供给的长期价格弹性为1.85;出口价格、产出能力、国内价格水平以及生产成本对出口供给的影响均存在滞后效应,其中产出能力对出口供给的影响最大。

基于ADL-GARCH的电价预测模型及其应用

根据电价序列的特点,首先利用动态计量经济理论构建出一般的自回归分布滞后ADL模型,通过检验统计量修正得到ARMA短期电价预测模型,然后对ARMA模型进行GARCH效应检验,最后根据检验结果构建出ARMA-GARCH的短期电价预测模型.利用新模型对美国加州电力市场的电价进行短期预测,结果表明,新模型能够有效地跟踪实际电价变化的趋势,具有较高的预测精度和良好的适应性.

“十四五”期间我国碳排放总量及其结构预测——基于混频数据ADL-MIDAS模型

针对我国"十四五"规划拟定"设立碳排放总量控制体系,逐步向碳排放的绝对量减排过渡"的目标,运用季度GDP、工业增加值等指标,构建基于宏观经济指标的混频数据模型ADL-MIDAS,对不确定性冲击下我国"十四五"期间二氧化碳排放总量及结构进行预测分析。结论表明,2021年全国碳排放量增速达到3.71%,较过去略有加快,而中期则呈现出低于2%的增长水平,并有负增长态势。预计到2025年,全国二氧化碳总排量接近115亿吨。较"十三五"时期相比,碳排放结构基本稳定,其中第二产业比重为82%~85%,较过去有1%的反弹,第三产业比重微幅降至14%以下,但交通物流产业碳排量增速显著。实证结果还表明,未来一段时间内经济增长的相对提速反而有利于降低碳排放。总体而言,中国碳排放量未来短期内略有反弹,但中长期增速仍将持续放缓。

数控机床热误差补偿高次多阶ADL模型应用分析

综合运用模糊聚类和灰色关联度理论对机床温度监测传感器进行了优选。同时针对现行常用的多元回归模型,采用自回归分布滞后模型(ADL模型)对数控机床热误差进行了建模。在获得较高精度基础上,对ADL模型进行扩展,提出了高次多阶ADL建模技术,并对其建模方法及精度进行了分析比对,实例证明,提出的高次多阶ADL模型在数控机床热误差补偿技术中具有较高的建模精度。

UML与ACME/ADL在运输业务管理系统体系结构建模中的应用

探讨了UML与ACME/ADL在运输业务管理系统体系结构建模中的应用问题。首先提出了软件体系结构的建模要素;然后用UML描述了系统体系结构的视图模型:进而用ACME/ADL描述了系统主要构件的交互模型;最后对这两种建模语言在体系结构建模方面的应用特性进行了比较和分析,得出了自己的结论。

基于ADL模型的海西州地区高血压发病情况研究

基于ADL模型的理论,通过建立ADL模型研究高血压月发病率和平均气压之间的关系。文章通过EViews软件对青海省海西州地区高血压发病率监测登记资料进行统计分析,并利用原始数据建立ADL模型,通过相关检验,确定所建立的ADL模型的合理性。

UML与ADL在软件体系结构建模中的应用研究

通过软件体系结构理论在实践中的应用,探讨了统一建模语言UML与体系结构描述语言ADL在软件体系结构建模中结合使用的方法和途径。着重研究了UML与XYZ/ADL在电梯控制系统体系结构建模中的应用问题,并运用基于构件的求精方法对该系统的主要组件进行了求精。

基于XYZ/ADL的异步Web服务组合描述与验证

以Web服务组合为研究对象,重点讨论了服务组合中异步通信行为和时间属性的形式化描述和验证。首先,从软件体系结构角度分析Web服务组合,采用基于时序逻辑的XYZ/ADL描述Web服务的交互行为和时间属性;然后,提出一种符合模型检测工具UPPAAL规约的时间异步通信模型TACM;最后,实现了XYZ/RE通信命令到TACM的映射,利用UPPAAL验证了服务组合系统异步通信行为的正确性。

基于XYZ/ADL的Web服务组合描述与验证

Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,本文从软件体系结构角度研究Web服务组合描述与验证方法.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法,提出了一种Web服务组合的描述与验证方法.XYZ/ADL是时序逻辑语言XYZ/E的扩展,考虑到多数Web服务具有实时特征,采用XYZ/E的实时扩展语言XYZ/RE表示系统应满足的时间约束.针对Web服务组合系统,根据XYZ/RE到时间自动机的映射规则将系统描述转换为对应的时间自动机,分别采用精化检验和模型检测两种技术验证Web服务组合的正确性;最后通过两个实例分析分别阐述了上述方法的可行性和有效性.

中国外汇储备调整速率的ADL与ECM模型分析

在非均衡框架下研究了中国外汇储备变化的特征,对其自身调整速率进行了动态分析。根据1992-2013年中国外汇储备及影响因素的季度数据,依据局部调整理论,建立了外汇储备规模的自回归分布滞后模型(ADL)与误差修正模型(ECM);通过可行的广义最小二乘法(FGLS)进行回归调整,获得了关于外汇储备长期及短期动态调整速率的基本方程。根据回归结果推算出外汇储备长期的调整速率为16.87%,短期波动偏离长期均衡时,将需8年左右时间以反向调整力度由非均衡状态回到均衡状态。实证结果表明中国外汇储备调整速率偏低,中国外汇储备居高的局面难以短时间解决。

基于控制因子ADL模型的短期水位预测方法

为有效提高水位预测精度,利用自回归分布滞后模型,结合站点水深调控计划、水位站流量因素等控制因子及其他相关站点水位信息,提出一种通过分析站点水位时间序列进行预测的方法。针对水位时间序列的特点,从模型选择、模型建模、模型实现开展研究。将该模型与其他常用时间序列预测模型应用于沙市水位站提前一天的水位预测实验及预测时间的扩展性实验,并对实验效果进行分析,结果表明,该模型能较好地拟合水位的变化趋势,提高模型预测的精确度。

DRTSADL可视化建模及其工具的设计与实现

提出了将DRTSADL进行可视化建模的设计方案:抽取基本建模元素,给出它们的BNF范式定义;按照体系结构的配置将这些元素连接起来,分别从静态结构方面和动态行为方面,完成整个软件系统的设计。最后给出了可视化建模支持工具的具体实现。

UML与ACME/ADL在体系结构建模中的应用

文章主要探讨统一建模语言(UML)与体系结构描述语言(ADL)在体系结构建模中的应用问题。首先,深入分析了UML/ADL在建模时各自的特点以及集成的可行性;然后,提出了一种把二者相结合的建模方案;最后,以一个外国专家管理信息系统为例,说明了UML/ADL的集成建模。

多学科协作模式结合循证护理对阿尔茨海默病患者ADL能力、认知功能及抑郁状态的影响

目的探讨多学科协作模式结合循证护理对阿尔茨海默病患者ADL能力、认知功能及抑郁状态的影响。方法选取2016年10月至2017年6月我院收治的60例阿尔茨海默病患者为研究对象,将其随机等分为对照组和观察组。对照组行常规阿尔茨海默病护理,观察组行多学科协作模式结合循证护理干预。比较两组护理前后的ADL能力(Barthel指数)、认知功能(ADAScog量表)及抑郁状态(GDS-15量表)。结果护理后12周观察组的Barthel指数、ADAScog量表及GDS-15量表评估结果持续改善,均好于对照组,差异有统计学意义(P<0.05)。结论多学科协作模式与循证护理对阿尔茨海默病患者ADL能力、认知功能及抑郁状态的影响相对更好,因此在阿尔茨海默病患者中的应用价值较高。

影响我国通货膨胀的经济因素分析——基于ADL模型估计

治理通货膨胀、保持物价水平稳定是中国货币政策的主要目标之一,而目前影响中国物价水平的原因十分复杂。研究表明,通胀预期因素、供给因素和货币供应量是中国通货膨胀的主要决定因素。资产价格和外部因素虽然在统计上不显著,但是房价和外汇储备的连续增长使得通胀水平有了上升的动力。为了防止通货膨胀水平的上升,政府应采取以下政策:PPI可以作为CPI的先行经济指标;利用政策积极引导通胀预期;积极推动人民币国际化改革;规范房地产供给制度,坚持制定并实施房地产调控政策。

UML/ADL在软件监控系统建模中的应用研究

以特定行业的软件监控系统为研究背景,运用UML/ADL集成建模方法进行建模和分析。首先进行了领域的需求分析,然后运用UML建立了对象结构模型和对象行为模型。验证了UML和ADL两种建模工具相集成的建模方法在工程应用中的可行性。

基于UML/ADL集成建模方法的集成计划模型研究

以集成供应链管理(ISCM)软件开发项目为研究背景,阐述UML与ADL集成建模方法在集成计划模型中的应用问题。首先用UML方法构建了一个集成计划系统的对象结构模型和行为模型,其中关键是提出了一个全新的计划集成构架,并引入了代理对象技术;进而重点讨论了基于ACME的集成计划软件构架设计问题,给出了一个可实现的构架模板;最后指明UML和ACME两种建模方法有效结合的实用价值。所提出的软件构架和集成建模方法论经工程验证是可行的,并取得了良好的应用效果。

基于ADL描述的ASIP模型体系架构

为了获取ASIP(专用指令集处理器)体系结构可执行模型,实现自动化设计,研究遵循"描述-综合"设计方法学,采取了ADL(体系结构描述语言)手段,构建了对象的"功能-结构-物理"三层描述,将复杂的ASIP系统划分为不同的模型视图.ADL允许设计者以纯行为形式描述抽象复杂系统,且语言本身很容易被软件捕捉执行,因此ADL规约将驱动整个ASIP设计流程.

深沪股市月收盘指数的ADL(p,q)模型

利用计量经济学软件EViews4.0,对深沪股市自开市至今2004年10月14年的大盘月收盘指数的波动进行了研究,建立了2个市场相应的ADL(p,q)模型,并对2个市场2004年11月的月收盘指数进行了短期预测分析.从而为广大投资者提供一种短期的数学预测方法,研判大盘走势,把握投资机会;同时还对2个市场进行了格兰特(Granger)因果性检验,发现在显著性水平α=0.05下,深市(沪市)大盘月收盘指数不是(却是)沪市(深市)大盘月收盘指数变化的原因.