首页 | 本学科首页   官方微博 | 高级检索  
检索     
共有20条相似文献,以下是第1-20项 搜索用时 312 毫秒

1.  软件体系结构动态演化的元胞自动机模型研究  
   刘晓斌  杨贯中  欧阳柳波  李勇军《计算机工程与应用》,2015年第9期
   目前软件体系结构动态演化的元胞自动机模型存在描述单一、元胞间关系不明确、没有详细阐述动态演化过程应用约束条件的缺点。针对这些不足进行相关的研究,重新定义了软件体系结构动态演化的扩展元胞自动机模型,基于扩展元胞自动机模型结合演化应用约束条件,分析了软件体系结构的动态演化过程,运用元胞间控制约束条件和行为相关约束条件来正确地指导SA动态演化。提出了动点稳态转移的概念,对演化程度和一致性进行定义分析,此方法比以往的元胞自动机模型更能准确指导SA动态演化,促进SA动态演化的进一步研究。通过案例验证了该方法的应用价值和可行性,可以更全面地应用于软件体系结构的动态演化。    

2.  网构软件演化的业务一致性验证方法  
   包书勇  王忠群《计算机工程》,2011年第37卷第17期
   为提高网构软件的可信性,提出一种网构软件演化的业务一致性验证方法。基于接口自动机对由XYZ/ADL描述的系统进行语义解释,定义XYZ/ADL到接口自动机的转换规则,给出检验系统业务一致性的3个规则,结合实例给出业务一致性的检验过程。通过模型检测器Spin证明该方法能够验证网构软件演化的业务一致性。    

3.  一种面向动态软件体系结构的在线演化方法  被引次数:11
   余萍  马晓星  吕建  陶先平《软件学报》,2006年第17卷第6期
   为适应计算环境和用户需求在系统运行期间的变化,满足软件系统进行动态演化的需求,提出面向动态软件体系结构的在线演化方法,设计并实现了一种运行时刻的软件体系结构元模型,将原先运行时刻不可见的体系结构设计信息具体化为显式的体系结构实体,并与系统实现及系统规约之间保持因果关联.元模型的演化可通过反射实现对运行系统的修改和对规约的更新,所有演化行为都在良定义的体系结构元模型的指导下规范地进行,保证了演化前后系统的一致性、完整性和演化的可追溯性.基于该方法开发了可视化支撑平台Artemis-ARC系统,支持构件和服务的设计、开发、集成及动态演化,并通过简单的应用实例展示了在线演化的效果.    

4.  基于MDA的实时软件资源建模与模型转换的方法  
   吉鸣  黄志球  祝义  王珊珊  沈国华《计算机科学》,2011年第38卷第8期
   模型驱动体系结构(MDA)是一种以模型为中心的软件开发框架,其本质是元建模与模型转换。提出了一种基于MDA的实时软件资源建模与模型转换的方法。首先通过元建模抽象出包含资源信息的MARTS元模型以及价格时间自动机的元模型;然后利用模型转换语言ATL对MARTS元模型和价格时间自动机元模型构造转换规则,通过将对应的实例模型进行相互转换,实现在MDA下MAR"I'E模型到价格时间自动机模型的转换;最后通过形式化工具UPPAAL对模型转换结果进行形式化验证。实例分析表明了该方法的可行性与有效性,它能够提高实时软件资源建模的可信性。    

5.  一种层次式时间自动机模型检测方法  
   周宇  胡军  葛季栋《计算机应用与软件》,2012年第11期
   层次式时间自动机在软件系统建模过程中有着重要的应用.由于层次嵌套带来额外的复杂度,难以对之进行直接的形式化验证工作.提出一种平展算法,将层次式时间自动机转化为一组并行的顺序时间自动机,应用广播通道同步该自动机集合执行.在此基础之上实现一个原型系统可以将层次式时间自动机模型自动转化为模型检测工具UPPAAL的输入,从而可以对之进行验证.结合实时UML状态机图实例,证明了该方法的有效性.    

6.  基于自动机模型数据关联性能评估算法  被引次数:1
   梁冰  刘群《电子科技大学学报(自然科学版)》,2008年第37卷第4期
   提出了一种基于自动机理论的性能评估方法,通过在有限自动机模型中增加描述观测的时间序列,来扩展其对数据关联过程的表达能力:使用时序有限自动机模型来描述关联处理算法的模型;使用带时间属性的字符串表示目标航迹,对数据关联的时序有限自动机模型进行一致性和可达性分析,并在此基础上给出了性能评估算法,实验结果证明该方法可以有效地评价关联算法的性能.    

7.  工作流多过程动态时序一致性的实时模型检测  被引次数:1
   杜彦华  范玉顺《机械工程学报》,2010年第46卷第2期
   现实企业中通常存在多个并行的工作过程,并且它们之间可能存在资源冲突。在运行阶段,动态验证资源约束下多个过程的时序一致性具有重要意义。基于实时模型检测技术,提出一种工作流多过程时序一致性动态验证方法。采用时间自动机(Time automata,TA)对多个并发过程建模,并将所需验证的时序约束转化为对TA模型的性质查询。当运行到检测点,依据已知的时间信息更新TA模型,再进行相关性质查询,从而完成时序约束的验证。该方法实用性较强,能够有效处理现实业务环境中资源约束情况下多个业务过程的动态时序验证问题。具有较好的柔性和扩展性,当时序约束发生变化时,仅需改变相应TA模型。本方法有多种实时模型检测工具或软件的支持。    

8.  基于细胞自动机的生长系统仿真模型研究  
   于乃功  阮晓钢《计算机仿真》,2005年第22卷第2期
   该文定义了一种广义生长系统,给出了其微分方程模型,在此基础上提出了一种基于广义生长系统生长机理和微分方程模型的细胞自动机仿真模型的设计方法,并利用此方法设计了广义生长系统的细胞自动机仿真模型(GCASM)。GCASM采用维的细胞自动机作为生长空间,采用Moore邻域作为其细胞邻域,演化规则根据生长系统生长机理和微分方程模型设计,GCASM细胞代表一个由广义生长系统状态变量确定的特定值。对GCASM进行的统计特性分析结果显示,模拟生长系统的细胞自动机仿真模型在数学期望意义下与所模拟的生长系统的动力学微分方程模型具有较好的一致性。    

9.  构件化嵌入式软件设计模型验证工具的研究  
   王锋  张弛《通讯世界》,2014年第21期
   基于模型设计与分析技术能够明显提高现代复杂嵌入式软件系统的可靠性,本文基于接口自动机模型设计实现了一个构件化嵌入式软件验证工具并进行了形式化验证。该工具的系统规约采用UML顺序图模型实现,能够对系统设计模型与场景式规约之间多种行为的一致性进行检验,并对实时接口自动机网络与具有时间约束顺序图模型的一致性行为进行检验。    

10.  基于时间自动机的实时工作流时序约束一致性验证  
   龙世荣  张广泉  汪宏海《苏州大学学报(工科版)》,2009年第29卷第6期
   提出一种基于时间自动机的实时工作流时间建模与验证方法.该方法首先将实时工作流的时间工作流图转换成时间自动机模型,再利用时间自动机的机制验证其时序约束一致性.    

11.  基于小波变换信息熵的自动机故障特征提取研究  
   潘铭志  潘宏侠  任海峰《火炮发射与控制学报》,2012年第4期
   研究了根据自动机机箱的短时冲击振动信号,从信息的定量描述方法出发,通过小波能谱熵、小波奇异谱熵、小波时间熵算法建立信息熵提取模型,实现故障特征提取.针对典型模拟信号的仿真分析,验证了所提出的信息熵指标可以对信号进行多层次特征提取.结合自动机故障诊断试验,进行自动机运动形态分解时域特征与不同空间信息熵指标特征提取.可用于小口径火炮高速自动机的在线监测与故障诊断.    

12.  基于普适计算的动态软件体系结构建模  
   贾朝光  吴卿  万健《计算机工程》,2010年第36卷第13期
   提出一种基于普适计算的自适应演化模型——DESM,通过对模型的内部定义来描述其结构功能,利用框图对普适环境的起因与演化时机的选择进行建模,从而确保系统的一致性。给出一个信息管理系统案例,验证了该模型的可行性与有效性,并借助时序图描述其内部演化过程。    

13.  基于场景自动机的网构软件演化  
   王茂光  曹怀虎《计算机科学》,2014年第41卷第11期
   网构软件是网络开放、动态和多变环境下软件系统基本形态的一种抽象,其演化性要求软件能根据应用需求和运行环境变化而动态演化。引入了软件需求工程中场景的概念,但不同的是不把场景作为一种静态的记录来使用,而是把场景作为一种动态记录来描述软件的动态演化特征。给出了场景的形式化定义及其互补、等价、子集等关系描述,提出了基于场景自动机的网构软件演化方法。软件的性质和行为可以由一系列应用场景来展现,系统的演化通过场景自动机来体现,这为系统自适应演化提供了一种新的解决方法,并支持系统更大粒度的复用。    

14.  基于本体的特征模型演化的一致性验证  
   何文民  沈国华  黄志球      范大娟《计算机应用研究》,2013年第30卷第7期
   针对特征模型的演化导致特征间的冲突问题, 从特征模型的演化方面进行研究, 提出了一种基于本体的特征模型演化的一致性验证方法。首先采用本体理论方法对特征模型的演化进行分析和建模, 建立本体的特征模型元模型; 其次基于上述元模型, 为网上购物系统实例建立相应的网上购物的领域特征模型, 根据需求裁剪出产品特征模型; 然后在Eclipse集成开发环境下, 通过Jena推理机加载规则和产品特征模型进行一致性验证, 当检测到冲突时, 采用演化策略来消除冲突; 最后通过实例研究说明了该方法的有效性。    

15.  UML模型检测方法的研究  
   张频  罗贵明《计算机应用》,2007年第27卷第10期
   统一建模语言(UML)是设计和分析软件系统最常用的方法,如何保证UML模型满足某些特性是一个非常重要的问题,而模型检测是一种能够有效提高系统可靠性的自动化技术。研究了使用简单进程元语言解释器(SPIN)对UML模型进行检测的方法。首先对UML模型进行形式化描述,使用层次自动机来描述状态图,然后根据层次自动机的操作语义将状态图和类图的部分信息转化为SPIN的输入语言PROMELA,使用SPIN来验证模型是否满足给定的线性时序逻辑所描述的系统约束,通过LTL公式描述顺序图的方式来验证与状态图之间的一致性问题。项目组基于此方法还开发了一套模型检测工具UMLChecker。    

16.  实时模型检测中基于驻留环的精确加速  
   尹传龙  庄雷  王从银《电子学报》,2011年第39卷第3期
    在控制系统和外界环境之间经常会出现时间度量差距.对这些系统用时间自动机建模,并运用符号模型检测技术进行验证时,会引起符号状态空间的片段问题.精确加速技术在不改变系统可达性的前提下解决了片段问题.针对可加速环引起的片段问题,本文提出一种基于驻留环实现精确加速的方法.驻留环的长度固定,不依赖于可加速环的窗口,因而构造的自动机模型更简单,能提高精确加速的速度,并能够降低精确加速的时间和空间开销.    

17.  基于本体的可信软件演化框架模型*  被引次数:1
   李季  刘春梅《计算机应用研究》,2010年第27卷第12期
   为系统化地考虑开放环境对软件可信性的影响和驱动作用,提出了一种基于本体空间并支持动态演化的框架模型。该模型采用本体空间的方法解决用户、系统和环境三者之间交互的语义问题,在此基础上,通过预定义的规则对软件行为的可信性和自主调整的必要性进行评估,依据评估结果从微观层次的规约制导和宏观层次的人机协同在软件生命周期内对其调整、配置与修正。应用实例及测试结果验证了该框架模型的有效性与可行性。    

18.  一种基于目标的过程实例演化方法  被引次数:1
   陈诚  顾毓清《软件学报》,2002年第13卷第8期
   过程具有长生命周期、分布式结构、异构等特性.为适应不可预料的环境变化,过程还需要不断地演化.提出一种过程实例的演化方法以控制对过程实例的改变.它可以检查并保证演化前后的过程实例具备"基于目标的行为一致性",从而避免用户对过程的盲目修改.目标作为行为一致的标准,需要分析演化后的过程实例来保证它可以完成目标.通过用Büchi自动机描述过程实例和其目标的语义,一个过程实例是否能够完成其目标是可判定的.    

19.  AADL分级调度模型的分析与验证  
   符宁  杜承烈  李建良  刘志强  彭寒《计算机研究与发展》,2015年第52卷第1期
   针对嵌入式系统体系结构分析设计语言(architecture analysis and design language,AADL)分级调度模型的分析问题,提出了基于模型检验的可调度性分析和验证方法.基于时间自动机理论,将AADL分级调度模型转换为时间自动机网络,将待验证性质描述为时序逻辑公式,通过模型检验工具对可调度性进行分析和验证.研究结果表明,使用模型检验方法来分析AADL分级调度模型的可调度性是可行的.相对其他方法而言,该方法利用了形式化方法的穷举性来分析系统的性质,分析结果更加精确.    

20.  基于演化硬件的交通流模型自适应优化  
   聂鑫  李元香  王珑  柳林《计算机科学》,2011年第38卷第5期
   BML模型是用于研究城市路网结构中交通流特征的细胞自动机模型。基于软件的模拟及演化优化方式存在着运算效率低、优化速度慢等缺陷,极大地限制了交通流模型的实时应用能力。针对这一问题,提出将演化硬件与细胞自动机相结合,实现交通流模型的在线演化。同时对I3ML模型进行了改进,以便能够依据现实车流状况进行交通灯信号的自适应调节。实验结果表明,将演化硬件技术用于交通流模型的自适应优化,对于研制智能交通系统是一种可行的途径。    

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号