【摘 要】
：
属性图文法广泛应用在软件设计阶段建模和分析阶段.命题式时序逻辑（propositional temporal logic）无法直接表达建模实体包含随时间演化的关联属性反应式规约,提出一种可支持通
【机 构】
：
南京航空航天大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金（No.61202002,No.61170043）,中央高校基本科研业务专项资助（No.NS2012135）.
论文部分内容阅读
属性图文法广泛应用在软件设计阶段建模和分析阶段.命题式时序逻辑（propositional temporal logic）无法直接表达建模实体包含随时间演化的关联属性反应式规约,提出一种可支持通用图文法转换系统中相应规约的验证方法,通过引入标记节点及属性,将包含相应关联属性的规约公式等价转换为命题式时序逻辑,从而可以间接支持该类型规约的验证.以流行的对象式属性图文法模型检测工具GROOVE 为平台,结合启发案例,验证了所提出方法的有效性.
其他文献
对信用风险的有效控制与管理,在现代商业银行日常运行过程中具有举足轻重的地位.基于信用风险系统是一个高度复杂的非线性动态系统,利用神经网络的自适应学习、并行分布处理
目的探讨间接胆红素（IDB）、一氧化氮（NO）及超敏C反应蛋白（hs-CRP）水平对阻塞性睡眠呼吸暂停低通气综合征（OSAHS）的影响。方法选取35例经多导睡眠图监测确诊的中、重度OSAHS患者为观察
高原老年人上消化道出血病例临床常见，由于老年人本身的因素使该病临床特点和治疗有其特殊性。现就我院1999年1月-2009年6月收治的480例老年上消化道出血患者的临床特点及治疗
针对云环境下多用户访问和大数据量存储的特点,提出了一种云环境下加密关键字搜索方案。与已有的大多数方案相比,该方案使用签名绑定关键字索引和其关联加密文件,实现了查询
在单相光伏并网逆变控制中,针对谐振频率高于截止频率时Bode图及其稳定判据的使用受到限制等问题,提出一种基于Nyquist图的谐波补偿方法。该方法将Nyquist曲线到临界稳定点（-1
目的观察阿奇霉素联合复方丹参注射液治疗小儿支气管肺炎的临床疗效与不良反应。方法 100例患儿随机分为观察组和对照组各50例。观察组给予阿奇霉素联合复方丹参注射液静脉滴
近20年来,众多国内外学者对实物期权进行了大量研究并得出结论:决策灵活性确实增加了项目整体评估价值.但这些研究基本上是从项目管理者角度进行分析的.本文着重从银行角度探
属性约简是粗糙集理论的核心问题,为了获得更多更稳定的最小属性约简,根据决策粗糙集模型将最小属性约简问题转化为决策风险最小化问题,并给出了新的适应度函数计算方法;在此基础上利用回溯搜索算法较强的全局搜索性能,提出了基于回溯搜索算法的决策粗糙集属性约简算法;对UCI数据集的实验结果以及与其他约简算法的比较表明,该算法能够得到更多的最小属性约简,而且能够在多次运行中保持约简结果个数的稳定性。
为了更好地提高短文本语义相似度分析能力,提出了基于神经网络和组合语义的短文本语义相似度分析算法。利用神经网络构建词义表示模型,结合局部和全局上下文信息学习词语在实
为了增强目标跟踪的速度和精度,提出了一种基于Gabor变换的快速跟踪算法。根据Gabor变换对人类视觉感受野良好的模拟能力,用多尺度多方向的Gabor滤波器对目标图像进行特征抽